 Are g and q equal?
False
Let x = -76 + 96. Suppose -2*n - x = 3*n. Let f be (-2)/((-16)/(-22)) - 2. Does f = n?
False
Let b = -16.7 + 15. Let f = -0.7 - b. Is 170 less than f?
False
Let n be ((-20)/110 - 434/33)*12/(-8). Is 7 at most as big as n?
True
Let z be (-1 + -2)*334/(-7348). Let t be (1 - 1)*(-2)/4. Is t at least z?
False
Let l(p) = 3*p**2 + p - 17. Let g be l(8). Suppose -23*t - 22 = -g. Suppose 3*j = -3 + 24. Is t less than or equal to j?
True
Let h be 1/(9/(-2)) + 980/(-45) + 24. Let z be (-20)/11 - (-4)/(-22). Which is smaller: h or z?
z
Let z(v) = -v**3 + 6*v**2 + 8*v - 39. Let u be z(6). Which is smaller: 12 or u?
u
Let y = -0.0175 + -189.0825. Let v = y + 189. Do 10.7 and v have different values?
True
Let c be 6/(-20) + 8642/30015. Which is smaller: 0.1 or c?
c
Let p = -266 - -90. Let w be 0 + p/12 + 2. Let q be -15 - (4 - -11)/(-5). Is q >= w?
True
Suppose u + 9*f - 5*f + 4 = 0, -4*u + 1 = -f. Are u and 13/76 unequal?
True
Let r(t) = t**2 - 10*t + 17. Let b be r(9). Let u be (4/10 - b/30)*-3. Which is smaller: u or -3/14?
u
Let w(c) = -74*c + 4. Let a be w(-1). Let f = a - 78. Is 1/19 at least as big as f?
True
Let h = -525 + 529. Suppose 0*b = -5*b - 55. Let a be 476/77 - (-2)/b. Is h less than or equal to a?
True
Let s = 3652127/56 - 65221. Does s = -5?
False
Let b = 2 - 3. Let k be (1 - 24) + (98 - 79). Which is smaller: b or k?
k
Let z = 323.416687 - 0.006687. Let a = z + -322. Let u = a + -1.41. Which is greater: -12 or u?
u
Let r = 82/43 - 418/129. Which is smaller: r or 34?
r
Let f be (2/3)/((-2)/(-12)). Let t = 747 + -795. Let c be (t/(-20))/f + 18/(-5). Is c <= -10/3?
False
Let q = -42 - 18. Let l = 2689.2 + -2749. Let r = q - l. Which is bigger: -16/3 or r?
r
Suppose 2*z - 4*w + 30 = -0*z, 0 = 4*z - 2*w + 48. Let k be 5/(-3)*(z + 8). Suppose s - k*a - 7 = -21, 4*s = 4*a - 8. Which is smaller: s or 3/17?
3/17
Let i(p) = -p**2 + 9*p + 22. Let u be i(10). Let y = 23 - u. Suppose 17*r - y*r = -120. Is r greater than -19?
False
Let x be (-3)/1 + -415 - (-2 + 5). Is -1/3 bigger than x?
True
Let z(i) = -8*i - 220. Let d be z(-28). Suppose 3*a + 0*n + d = -n, 6 = -4*a - 2*n. Is -3/31 at most a?
False
Let d = -687 + 699. Let z = -5 + 7. Suppose -4*j + c = d, 0*j - z*c + 6 = j. Which is bigger: 0.1 or j?
0.1
Let p be ((4 - 11) + 459/54)*(-4)/21. Which is greater: -4404 or p?
p
Let u = 2430 + -2430.2. Which is smaller: 7.29 or u?
u
Let m = -170 - -199. Let c = m + -28. Is c smaller than -148?
False
Let w(a) = 18*a - 408. Let h(n) = 21*n - 409. Let z(y) = 4*h(y) - 5*w(y). Let s be z(59). Which is greater: 52 or s?
52
Let b(u) = 17 - 4 + 18*u + 2*u**2 - 2*u**2 + u**2. Let k be b(-19). Suppose 0 = 6*c - 52 - k. Is c smaller than 15?
True
Let j = -22 - -23. Let k = 179/3 + -1405/24. Which is smaller: k or j?
j
Let x = 10624.7 + -10532.7. Let s = 0.6 + -0.4. Is s < x?
True
Let k be (20/6)/((-14)/84). Let o be (6/(-555))/((-148)/k + -4). Which is smaller: o or -1?
-1
Let o(s) = -2*s**2 + 23*s + 43. Let g be o(14). Let a = 85 + -123. Let z = a + 11. Is g bigger than z?
False
Let k be (-14)/(-11697)*21/(-28). Which is bigger: -1 or k?
k
Let n = 572017/537 + -6391/6. Which is bigger: 1 or n?
1
Let c(o) = 2*o**3 + 14*o**2 - 87*o + 11. Let v be c(-11). Let l = -19329/64 + 302. Which is bigger: v or l?
v
Suppose -13*u - 35095 - 110271 = 0. Let l = -190190/17 - u. Which is greater: -6 or l?
l
Let v(o) = o**2 + 8*o + 15. Let y be v(-6). Suppose 0 = t - 4, -2*g - g + 96 = y*t. Suppose -l - 6*f + f + 10 = 0, -4*f - 16 = 0. Is g greater than l?
False
Let p be 25*((-19)/(570/(-3114)) - (-2 + -1)). Is 2669 less than or equal to p?
True
Suppose -2*n = 12*n + 28*n + 65352. Is -1556 at most n?
True
Suppose 16*o + 54 = 214. Let q be (8/6)/((-20)/(-30)). Let r be (-3)/(-2)*q/(-21)*o. Which is smaller: r or -1?
r
Let x = 812 + 8046. Do x and 8858 have the same value?
True
Let c = -10735.9 + 10213. Let n = 523 + c. Which is smaller: n or -20/9?
-20/9
Suppose -4*c + 0*c = -8. Let t(k) = -26 + 5 + 2*k - 2*k + c*k. Let y be t(6). Is y < -7?
True
Suppose 16*x = 87 - 55. Suppose -b + 5*k - 153 = 0, x*k = -2*b - 131 - 151. Which is greater: -145 or b?
b
Let p(b) = -10*b**2 - 54 + 68 - 2*b - b**3 - 3 + 9. Let c(o) = -o**2 - 6*o - 9. Let z be c(-6). Let r be p(z). Are r and -43 nonequal?
False
Let q(w) = 3*w**2 - 43*w + 59. Let v be q(22). Let j = v - 584. Which is smaller: j or -27?
-27
Let y(n) = -2*n**2 + 6*n + 5. Suppose -2*a + 5 + 21 = 2*c, c = -4*a - 2. Let z = c + -14. Let h be y(z). Is h greater than or equal to 2?
False
Let f = 1.72277 - 0.15777. Is f at most 0?
False
Let o = 321 + -329. Let g(x) = x**3 + 6*x**2 - 16*x. Let l be g(o). Which is greater: 3 or l?
3
Let y = 1.19 + -14.59. Let m = -0.3 + 2.7. Let p = m + y. Which is smaller: 2 or p?
p
Let c = -5.535 + 95.565. Let z = -90 + c. Let w = -0.3 - -0.3. Is z >= w?
True
Let i = -62.857 - 0.143. Let j = -33973 - -33972.9. Which is greater: i or j?
j
Let y = 44 + -60. Let t = 50 + y. Suppose 5*n = 2*g - 38, -2*n = 2*n + 2*g + t. Is -10 smaller than n?
True
Let s = 36561 - 24586. Is s at least -1?
True
Suppose 103*u - 106*u = -399. Let o = u - 123. Is -5 != o?
True
Let t(y) = y**3 - 14*y**2 - 9*y - 13. Let u be t(16). Let s = u + -356. Which is bigger: 2/305 or s?
2/305
Let b = 1266 + -16451/13. Let v = 1.04 - 0.04. Which is bigger: v or b?
v
Suppose -3*n + 17*n = 168. Let b be (1530/n)/(-3)*(-6)/(-3). Which is smaller: -169/2 or b?
b
Let w = 260/731 + -5066929/14247921. Is 1 > w?
True
Suppose 28 + 53 = 3*x. Let s(l) = -17*l + 55. Let o be s(3). Let b be (-2*54/o)/(-1). Is x at most as big as b?
True
Let j = 22347 - 22049. Are j and 4456/15 equal?
False
Suppose -11*z + 10*z + 183 = -2*c, -5*c = 5. Suppose 5*p + 0*h = 2*h - z, h = 4*p + 146. Which is smaller: p or -38?
-38
Let s be ((-132)/(-9) + -11 + -12)/((-47)/(-3)). Is -1 equal to s?
False
Let w be 4*((28/(-18))/7)/((-136)/153). Which is smaller: w or 60/337?
60/337
Let n be (-4)/(-12) - 130/498. Suppose 43*x + 23*x = 0. Which is bigger: n or x?
n
Let y = -79 + 37. Suppose a + 2*c + 15 = 0, 1302 = 5*a - 4*c + 1265. Which is smaller: y or a?
y
Suppose 338 = -4*t - 5*z - 696, 0 = 2*z - 4. Let h = -51891 - -258156/5. Let p = h - t. Is p not equal to 0?
True
Suppose -20 = -4*n + j, 2*n = -2*n - 4*j + 20. Suppose -1 - 4 = n*z, -4*h = -2*z - 958. Let a = h - 3343/14. Is 0 greater than a?
False
Let p = -56 - -58. Suppose 5*d + 2*t - 6 = -0*t, -p = -2*d - t. Suppose 4*k + 4*i = 28, 2*k - 9 = 5*i - d. Are k and 12 equal?
False
Suppose -75*q - 1153724 = 63*q - 327242. Which is greater: q or -5988?
-5988
Let m(u) = -153*u**2 + 4*u - 3. Suppose -2*g + 10 = -5*g - 4*v, -18 = -5*g + 2*v. Let x be m(g). Let a = 2443/4 + x. Is 4 >= a?
True
Let z(m) = -m**3 - 29*m**2 - 15*m - 34. Let t be z(-28). Which is smaller: t or -403?
-403
Let d = 181.082 + -181. Let i = d + 0.118. Which is greater: i or -0.23?
i
Let x be (-1)/5 - ((-858)/65 + 13). Which is smaller: x or 30/107?
x
Let f = 31.97 + -31.97. Which is smaller: f or 9640?
f
Let b be (-30 - 0)*174/145. Let a be b/63*3/(-6). Which is greater: a or -205?
a
Let v be (-18)/(-1 - 5) - (1 - 123). Suppose 127*a = v*a + 2. Is a less than -12?
False
Let q(d) = d**3 - d + 3. Let p be q(0). Suppose -48 = -15*y + p*y. Suppose 68 = n - 5*t - 2, 0 = -y*n - 3*t + 211. Is n at least as big as 55?
True
Let r be (40/6 - 1) + (-4)/(-12). Suppose -14 = -4*c + r. Suppose -c*q + q = -4. Which is greater: 2/161 or q?
q
Let x be 1/(((-4)/(-80)*4)/(-1)). Let q be ((-11)/2 - x) + (-28)/8. Are q and -9 non-equal?
True
Suppose -o - 184 + 112 = 0. Suppose 3*a - v - 44 = -268, 4*v = -3*a - 214. Let j = o - a. Is 6/5 less than j?
True
Let l = -17003/6696 - 2/837. Let s = 1421/24 + l. Which is smaller: s or 58?
s
Suppose 0*b + 5*b + 780 = 0. Suppose 403*x = -r + 407*x - 160, -5*r - 37*x - 743 = 0. Is r equal to b?
True
Let z(l) = 4*l**3 + 4*l**2 - 20*l + 37. Let x be z(6). Which is smaller: 930 or x?
x
Suppose 42*f = 17*f + 75. Let x be (-8 + 6)*f + 6. Which is greater: -9/20 or x?
x
Suppose -4*l + 30074 = -3*j - 70205, -l + j + 25070 = 0. Are l and 25069 unequal?
False
Suppose 2*p + 3*u = -0*u + 4206, -10526 = -5*p - 2*u. Suppose 3*j - 558 = -p. Let w = j - -8778/17. Which is smaller: 0 or w?
0
Let u = -57.372 + 45.3. Let l = 0.072 + u. Le