w be h(0). Let j be (w/(-7) - 4) + -2. Do 2 and j have the same value?
False
Let o be -14 + (0 - (-3 + 10)). Let l be o*((-1)/(-321) - 0). Which is greater: l or 0?
0
Suppose 0 = -z - 2*d + 47 - 9, 3*z - 4*d = 114. Let y = z - 8. Let a = y - 31. Which is greater: -2/67 or a?
-2/67
Suppose 5 = 6*k - 7. Suppose -6*f + 2*f - 34 = -x, 0 = k*x - 4. Is f >= -9?
True
Suppose 3*y + 184 = -2*a, -3*y + 4*a = y + 252. Let i = y + 30. Suppose -s + 67 = -2*o, o + 11*s = 9*s - 21. Is i greater than or equal to o?
False
Let u(c) = -136*c**2 + 172*c + 22. Let f be u(-6). Does f = -5907?
False
Suppose -56 + 864 = c + o, 4*c - 3*o = 3239. Let f = c - 807. Let d be ((-7)/(-6))/(1 - 0). Is f greater than or equal to d?
True
Let h(w) = 38*w + 1034. Let g be h(-5). Is g equal to 846?
False
Suppose 3*t = 5*v - 10, -2 - 8 = 2*t. Let p(o) = -30*o**3 - 4*o - 7. Let f be p(3). Let i = 5791/7 + f. Which is bigger: i or v?
v
Let r = 5519 - 5518.917. Which is greater: r or -5?
r
Let l = 0.4 + -1.4. Let q = -74027/5 + 14808. Which is smaller: q or l?
l
Let i = 2771 + -2772.8. Which is smaller: i or 3/5?
i
Let f(b) = -2*b - 21. Let p be f(-8). Let v(u) = -u**3 - 6*u**2 - 7*u - 8. Let y be v(p). Suppose -y*t - 5*g + 3 = -22, 2*t - 15 = -3*g. Is -3.2 >= t?
False
Let k(a) = a**3 + 7*a**2 + 4*a - 8. Let x be k(-6). Let r be (6/9)/(x/18). Let w(v) = v**3 - 16*v**2 - 25*v + 140. Let f be w(17). Which is smaller: r or f?
r
Let s = 0.122 + 72.878. Let t = s - 71. Let r = t - 2.5. Do r and -2/19 have the same value?
False
Let o = 29335/196 + 1131/49. Which is greater: 172 or o?
o
Let o be 1 - (-3)/((-1350)/454). Suppose -2*f - 5*h + 37 = -38, -11*h = f - 165. Is f less than or equal to o?
False
Suppose 30*r + 179 = -1. Let q = 7 + -12. Let p = -5.2 - q. Is r <= p?
True
Let d(t) = 6*t**2 + 95*t - 13. Let j be d(-16). Suppose 5*h + 41 = -j*m, -65*m = -62*m - 3*h + 33. Which is greater: -11 or m?
-11
Let l = -509.9 - -490. Let d = -18.9 - l. Is d at least as big as 264?
False
Let z = -557114/88783 - -295/47. Which is smaller: z or -1?
-1
Let g(k) = 8*k**2 - 16*k + 45. Let f(q) = 7*q**2 - 16*q + 44. Let x(i) = -7*f(i) + 6*g(i). Let r be x(13). Let z = -1053 + 110563/105. Which is greater: r or z?
r
Let w be (-6)/4 - (339/(-6) - 0). Let u be 144/15 + 22/w. Suppose u*h + 432 = -6*h. Which is smaller: h or -28?
-28
Let x = -45.1 + -0.86. Let s = x - -47. Which is greater: 0 or s?
s
Let u(a) = -a**3 + 8*a**2 + 12*a - 20. Let b be u(9). Suppose b*l - 433 = -34. Let p = -52 + l. Which is bigger: 19/5 or p?
p
Suppose 8 - 11 = b. Let g be (4/114)/(b/(83 + -2)). Which is smaller: 0 or g?
g
Let d be (2 - 2/4)/((-456)/1199584). Is d smaller than -0.1?
True
Suppose 0 = 6*c - 7*c + 5*a - 6, 9 = -4*c + 5*a. Let g(k) = -3*k - 10. Let t be g(11). Let v be ((-4)/t)/((-7)/(49/(-14))). Which is smaller: v or c?
c
Let y = 1936 - 1965. Let x be -1 - 4/(8/38). Let f be (x/(-1))/(2/(-3)). Which is smaller: y or f?
f
Let r(w) = -5*w**3 - 14*w + 22. Let q be r(2). Is -46 greater than q?
False
Let i be ((-4)/(-8) + 5/20)*4. Suppose 0 = -i*p + 48 - 0. Let r = 11 + p. Is r less than 28?
True
Let k = -530.1266 - -0.3266. Let n = 530 + k. Let b be 20*1*(1 - 0). Is n greater than b?
False
Let y = 24092 - 21127. Which is greater: -1/2 or y?
y
Suppose y - 5187 = 33*p - 29*p, 4 = 2*p. Which is smaller: 5196 or y?
y
Let j be ((-2)/3)/(15/45) - -5. Let r = -5 + 10. Suppose -2*v + 3 = -r*z, 5*z - 3*z + j = -v. Which is smaller: -7/4 or v?
-7/4
Suppose 2050*w = 2045*w - 485. Let k = -8950/27 + 82294/351. Let v = k - w. Which is smaller: 1 or v?
v
Suppose -622 = 3*b - s + 22, b = -5*s - 220. Which is greater: b or -219?
b
Suppose 2*a + 61 - 1775 = -2*f, 5*a - 849 = -f. Let j = -805 + f. Are j and 51 unequal?
True
Let r = 19907 + -139693/7. Let a = r + 50. Let x = -1 - -1. Which is bigger: a or x?
a
Let o(u) = -237*u - 713. Let l be o(-3). Is -40/13 greater than or equal to l?
False
Let p = 13/33 + -383/1056. Suppose -2*r + 103 - 29 = 4*z, 2*z = -5*r + 169. Suppose 65*u - 98 = -r. Which is greater: u or p?
u
Let k = -89.41 - -90. Let w = -0.47 + k. Is 6 greater than w?
True
Let w(i) = i**2 + 11*i + 171. Let l be w(0). Let x = 38 - l. Is x != -131?
True
Suppose 0 = 4*j + 170*j + 11832. Which is bigger: -64 or j?
-64
Suppose -4*b - 20 = -4*a - a, 2*a + 4*b + 20 = 0. Let m be 5181/(-5) - (-41)/205. Let x = m + 71486/69. Do a and x have different values?
True
Let f(z) = -z**3 + 5*z**2 - 8*z + 10. Let q be 400/104 - (-2)/13. Let v be f(q). Is 0.18 smaller than v?
False
Let y(r) = 7*r**2 - 5. Let u be y(-5). Let k be 16/u*(-65)/26. Let h = -3/17 - k. Which is smaller: 0 or h?
0
Let f be (0/13)/(-1*2). Let o be -2 - (5 + f - 5). Is o at least as big as 4?
False
Let t = -158 - -159. Let o be -4 + (600/295)/(t/2). Which is bigger: 0.1 or o?
0.1
Suppose -c + 12054 = 13*c. Suppose -c*d + 516 = -863*d. Is -2 <= d?
False
Let m = 1192 - 1781. Let w = m + 617. Are -1/5 and w equal?
False
Suppose 51*d - 43*d = 48. Let w(f) = 66*f - 384. Let i be w(d). Is 10 at least i?
False
Let c = -220.45 + 255. Let x = c - 34. Let s = x - 3.55. Is s bigger than -1/3?
False
Let i = 84728 + -298496747/3523. Are i and -1 non-equal?
True
Let i(j) = 2*j**3 + 78*j**2 - 714*j - 18. Let n be i(11). Is 8457/2 <= n?
False
Let t be (-4)/(-6)*10/4. Let y = 444 - 436. Suppose 8*b + y = 12*b. Are b and t unequal?
True
Let v = 31 - 31.39. Let g = -0.4 - v. Let t = g + -0.39. Which is smaller: t or 4?
t
Let w be (-20)/20 + 14/(-1). Let m = 18 + w. Let f be 117/15 + m/15. Which is greater: 36/5 or f?
f
Suppose -150*s + 29342 - 10361 + 42369 = 0. Is s less than or equal to 408?
False
Let n be 1/(((-252)/(-7))/6 + 71214/(-11868)). Does -1975 = n?
False
Let h be ((-38207)/26)/((-21)/6). Suppose 3*g - 1816 = -553. Let f = h - g. Which is smaller: f or -1?
f
Let r = -32.83 - -2.63. Let l = r + 32. Let n = 0.1192 - -0.0808. Is l less than n?
False
Let r = -165 + 133. Let y be (-146)/22 + (r - -33). Is y not equal to -7?
True
Let d be 22/7*(-1)/2. Let k = 5447 - 5450. Is d at most k?
False
Suppose 2*d - 31 = -3*w + 74, 0 = -2*d - 4*w + 110. Let p be d - 45 - 4/(-11). Which is greater: p or 0?
p
Let d be 1342/12045*-6 - (-6)/9. Which is smaller: d or 0?
d
Let m = 0.4508 + -0.5778. Is m equal to 2?
False
Let o = -4266 + 4270. Let j = -11 - -5. Which is bigger: j or o?
o
Let w = 45 + -261. Let f = 215 + w. Which is smaller: f or 8/63?
f
Let q = -189/8 + 133261/5640. Do q and 0 have different values?
True
Suppose 7 = 5*n - 8. Let f = 22703/5340 + -2/1335. Which is greater: n or f?
f
Let j be (91/(-117) - 2/9)*2/26421. Which is smaller: 0 or j?
j
Let a = 2430/13 + -187. Let b = 31574 + -31574.2. Which is smaller: a or b?
b
Let f(m) = 140 + 32*m - 40*m + 26*m + 3*m + 34. Let c be f(-9). Which is smaller: -23 or c?
-23
Suppose 4*x + 3*d + 4 = 3*x, -2*x - 8 = -d. Let h = -12 - -11. Let b be 1 - (h/(-8) + x + 5). Is -1 not equal to b?
True
Let g = 536/265 - 33/53. Which is smaller: -4/51 or g?
-4/51
Let l = -54463/2160 - -401/16. Let a = -2/135 + l. Which is greater: -4 or a?
a
Suppose 30*g + 93 = 25*g + 4*v, 4*g - 2*v = -78. Let y be (-13)/(26/12) - g. Which is smaller: 14 or y?
14
Let o = 182 - 110. Let v be -22*(-3)/o - 23/92. Is v less than 63?
True
Let j = 41 - 46. Let n be 1*1*(0 + -3) - j. Are 9/14 and n nonequal?
True
Let o be 0/(-2) - (-1 + -3) - 38. Let d = o - -44. Does -4 = d?
False
Suppose 3*i = -5*d - 1264, 4*i - 2*d = -2464 + 770. Let p be ((-5)/(-60)*4)/(5/(14 - 6359)). Is p < i?
False
Let h(f) = f**2 - 6*f - 1. Let z be h(7). Let t be z/(-11) - (-7)/7. Let b(i) = -15*i - 104. Let r be b(-7). Is r != t?
True
Suppose 51 = 17*u - 20*u. Suppose -r - 15 + 168 = -3*z, 2*r = -3*z - 162. Let q be (-8)/12 - z/(-3). Which is smaller: u or q?
q
Let s(d) = d**3 - 7*d**2 + 6*d - 8. Suppose -6*x - 3 = -27. Let b(g) = -g**3 + 3*g**2 + 7*g - 6. Let z be b(x). Let t be s(z). Is t greater than -1?
False
Let a = -2322.72 - -2250. Let y = a - 1.28. Let z = -74.4 - y. Which is smaller: z or -5?
-5
Let r(s) be the third derivative of 7*s**5/30 - 7*s**4/24 + 5*s**3/6 - 18*s**2. Let o be r(2). Let b = -45 + o. Which is bigger: 6 or b?
6
Let z be (-42078)/(-21038) + ((-272)/(-68) - (0 - -6)). Is z at least as big as 0?
True
Let a = -52508756/4513 + 11635. Is 1 greater than or equal to a?
Tru