m = -z + 78. Let u = 1309/19 - z. Let g = u + 500/57. Which is greater: 9 or g?
9
Let d = 66.06 + -46.06. Is 75 not equal to d?
True
Let j be (20/(-14))/((-8)/28). Let x be (-5)/(-10)*-4 - (-5 - 0). Suppose -j = -x*u + 4. Which is bigger: 4 or u?
4
Let y be ((-22)/524876)/(7/(-28)). Which is smaller: 0 or y?
0
Let n be ((-1156)/170)/(2/41). Which is greater: n or -140?
n
Let n(z) = z**3 + 12*z**2 + 20*z. Let q be n(-2). Let h = -33/62 - 129/806. Is h bigger than q?
False
Let o = -98 + 183. Suppose 4*q + o = -319. Is -100 at most as big as q?
False
Let s be (-126)/(-27)*3 - 2217. Which is greater: -2204 or s?
s
Let m be (2 - 32/12)*-12*(-83)/(-664). Is 1/47797 bigger than m?
False
Let c = -101.21 + 68.21. Which is bigger: 40 or c?
40
Let p = 1567.97 - 1568. Which is greater: p or -37?
p
Let d = 15279/3088 - 79/16. Let x(i) = i**2 + 2*i - 4. Let m be x(0). Let u be 1*(m/4 + 0). Are d and u non-equal?
True
Suppose 2*j + 79 = 5*j - 4*q, 0 = 3*j + 3*q - 72. Let l = 25 - j. Let h be (-154)/(-292) - (26/4 - 6). Is l >= h?
False
Let w(n) = -n**3 + 4*n**2 - 4*n + 5. Suppose 170*t - 168*t - 4 = 0. Let z be w(t). Which is greater: 19/3 or z?
19/3
Suppose 0*m = -m - 19. Suppose -5*k = c + 7, 4*c + k + 11 + 55 = 0. Is c < m?
False
Let g be 8/(-34)*1*(-1 + 7). Let i = 139/34 - g. Which is greater: i or -1?
i
Let w = -943 + 467. Let z = w + 475. Let n(p) = -2*p + 1. Let a be n(1). Does z = a?
True
Let r = 25.2 + -84.2. Let c = r + -242. Is c less than -1?
True
Suppose -2*v - 379 = -469. Let p be 275/6 + -2 + (-5)/(-10). Is v less than or equal to p?
False
Let i be (-1 - (-44)/(-12))/((-24)/36774 - 0). Which is greater: 7150 or i?
i
Let m = -5 - -2. Let o = 3 + m. Let j be ((-20)/80)/((-549)/(-72)). Which is greater: j or o?
o
Let k = -79 + 104. Let u = k + -49. Let f = 12 + u. Which is smaller: 1/4 or f?
f
Let i = 233 + 168. Let u = 400.46 - i. Which is smaller: -9 or u?
-9
Let r be (-30)/(-8) + -2 + 2/8. Suppose -4*y - c - 7 - 1 = 0, r*y + c = -4. Is y at most as big as 39?
True
Let y = 101 + -98. Suppose 2*f + 124 + 142 = 5*b, -199 = -4*b - y*f. Let s = b + -84. Is s bigger than -2?
False
Let s = 8284855/41228 - 4421/22. Which is smaller: 1 or s?
s
Let m(x) = x**2 - 7*x. Let f be m(-10). Suppose -86*v = -81*v - 3*b - 853, -5*b - 515 = -3*v. Is v at least as big as f?
True
Let l = -1353.266 + 723.41. Let p = l + 630. Which is smaller: 0 or p?
0
Let z = 102.413 - 102.513. Let s = -10299/76 + 271/2. Which is greater: s or z?
s
Let c = -36 + 43. Let z = c + -89. Let s = z - -81.6. Are s and 9 nonequal?
True
Suppose 2*v = -2, -517*c + 512*c = -2*v + 2758. Is -554 < c?
True
Suppose 0 = -44*v - 216*v - 138 - 122. Suppose -2*l + 2 = -l. Let o = l + -3. Is o less than or equal to v?
True
Suppose 3*s - 200 = 8*s. Let c be (10/25)/((-2)/s). Suppose -5*g = -4*r - 0*g - 9, 3*r = 5*g - c. Is 6/17 smaller than r?
False
Let s = 3525 - 3491. Let d(a) = 36*a**2 + 1. Let h be d(1). Which is greater: h or s?
h
Let c(t) = 162*t + 9. Suppose 0 = d + 5*f + 32, -7*d + 2*d = 2*f + 45. Let p be c(d). Let r = p - -46123/41. Which is bigger: r or 1?
1
Let k = -911.74 + -14.26. Let z = -937 - k. Let x be ((-2)/12)/((-2)/(-3)). Are x and z equal?
False
Let y = 4343 + -4100. Which is smaller: y or 244?
y
Let j = -87.943 - 0.057. Let w = -88.1 - j. Which is smaller: -4/23 or w?
-4/23
Let h = -52165/5073 + 638/57. Which is smaller: h or 0?
0
Suppose 34 = 3*s - 3*g + 247, -4*g - 12 = 0. Let q = 72 + s. Let c = 16 + q. Is c greater than 15?
False
Let s = -31.6 + -155.4. Let x = 186.919 + s. Are 0.2 and x nonequal?
True
Let u = 510 + -499.82. Let z = -0.18 + u. Let o be -4 - (-6 + (-55)/(-30)). Is z >= o?
True
Let r(d) = 3*d**2 + 20. Let x be r(0). Suppose 24*n = x*n - 8. Let o be 7/18*(-1)/14*n. Is o <= 0.1?
True
Suppose 2*c + 4*z + 298 = 0, -5*z = 4*c - 6*c - 280. Let f = 391/122 + -226/61. Is f at least as big as c?
True
Let g = 8552/394131 + -1/1663. Which is smaller: -1 or g?
-1
Let j(h) = h**3 - 40*h**2 + 41*h - 79. Let m be j(39). Let y(c) = c**3 + c**2 - c - 1. Let v be y(0). Let o be 5/12 + v/4. Are o and m nonequal?
True
Let r be (-3344)/2331 - -1 - (-15)/35. Let g = -35727/34 - -130823461/124542. Let c = r + g. Which is smaller: -1 or c?
-1
Let z be (2559/(-4240))/(-1) - (-9 + 528/55). Is z not equal to 1?
True
Let h(j) = 1 + 12*j**2 + 2 - 4*j**2 - 2. Let q be h(-1). Let t be (q/(-18))/(2/6). Is t <= -3?
False
Suppose 13*o - 368 = 620. Suppose -74*i + o*i - 168 = 0. Which is greater: 83 or i?
i
Let o = -50.4708 + 7.4708. Let c be (-2)/(-5) - (-28)/(-45). Is c <= o?
False
Let i = 72.5178 - -1.1522. Let m = i - 74. Let o = m - -0.43. Which is bigger: o or -53?
o
Let s be 2/(-7 - 6123/(-871)). Which is smaller: -173 or s?
-173
Let q = -547 + -1723. Which is smaller: 2/3 or q?
q
Let v = -2 - -4. Let a = 27 + -31. Let o be (189/35 + -5)*(-14)/a. Is v greater than o?
True
Suppose 0 = -14*k + 27*k + 9750. Let s = k - -565. Which is smaller: s or -187?
-187
Suppose 0 = b + 3*b - 64. Suppose -6 = -b*v + 10. Is v less than or equal to 4/61?
False
Let s = 1213 - 1252. Let f be (154/(-28))/((-2)/(-40)). Let w = -768/7 - f. Which is smaller: w or s?
s
Let l be (-3 + 1 + 1)*3. Let j be (3 + 227)/(l/(-3)). Suppose 2*p - 91 = -3*x, 5*x - p + 87 = j. Are x and 29 nonequal?
False
Let q = 726 - 757.945. Let o = q - 0.055. Let f = 32.16 + o. Which is greater: f or 2?
2
Suppose -5*n + 20 = -0*n. Let s = -563 - -559. Let f = s + n. Which is smaller: -10/21 or f?
-10/21
Let h(f) = -3*f + 22. Let m be h(4). Suppose -41 + 31 = m*n. Which is greater: n or 1/5?
1/5
Let g be ((-384)/(-160))/((-2)/(-45)). Let p be (-6)/10 - 1856/40. Let u = 101 + p. Is g less than or equal to u?
True
Let y be (303/(-6))/(4/(-8)). Suppose 0 = y*x - 100*x - 7. Do x and 7 have the same value?
True
Let z = -1.23 - -167.23. Let x = 108 - z. Let s = 27 + x. Which is bigger: s or 0.1?
0.1
Let w(k) = -6*k**2 + 185*k - 173. Let i(n) = -2*n**2 + 62*n - 58. Let u(d) = 11*i(d) - 4*w(d). Let t be u(26). Does t = -103?
False
Let q(f) = -f**3 - 7*f**2 + 6*f + 39. Let z be q(-7). Let u be 1*z/(-7) + 1425/399. Let m be ((-7)/(-14))/((-10)/u). Is m greater than -0.2?
False
Suppose -5215 = 18*i - 2011. Which is smaller: i or -1256/7?
-1256/7
Let c = -36.027 + 36. Let v = c + 0.067. Let y = -6.04 + v. Which is smaller: 0.3 or y?
y
Let i be 477/(-240) + 1 + 1. Suppose 3*h + 6 = 0, -2*p + 4*h + 2 + 26 = 0. Suppose 0 = -22*q + 12*q - p. Are i and q nonequal?
True
Let c = -36696 + 149931/4. Do c and 787 have the same value?
False
Let l = -24 - -54. Suppose -9*r + l*r = 105. Let j = -14 - -21. Which is greater: j or r?
j
Suppose -a = -349 + 97. Suppose a = 5*c - 68. Is 65 greater than or equal to c?
True
Let g = -39991579270022/991 + 40354776926. Let n = g - 4706. Which is smaller: n or -1?
-1
Let j be (28 - 24)/(4/(-5)) + (-4)/(-2). Do -4/247 and j have different values?
True
Let j be (8 - 581/28) + 13. Is j bigger than 13/191?
True
Let d be 6/(-9)*(-12)/20. Let q = -448041/40 - -11201. Which is greater: d or q?
d
Suppose -9 = 6*z - 9*z. Suppose -z*w - 39 = -189. Suppose l - 10 = h - 2*h, -5*l + w = -4*h. Which is smaller: l or 9?
9
Let d = -32933 - -32933. Is -2/10259 at least as big as d?
False
Suppose 0 = -12*m - 1105 + 493. Which is smaller: -45 or m?
m
Let r be (-13)/(455/10) + (-144)/(-14). Let t = 27 - r. Suppose -5*j + 13 + t = 0. Is j < 3?
False
Suppose 0*s + s - 1 = 0. Let v be (-4)/(-4 - (-14)/4). Suppose -18 - 6 = v*t. Which is greater: t or s?
s
Let m be (-2 - 1) + -4 - -401. Let l = -401 + m. Which is smaller: -2 or l?
l
Let r be (-40311)/(-2457) + -26 - (-4)/14. Is -8 at most r?
False
Suppose 0 = 3*t + 4*t - 35. Suppose -5*z = 16*u - 11*u + 230, 4*u = -t*z - 228. Is z at most as big as -480/11?
True
Let m(b) be the second derivative of 2*b**3 + 36*b**2 - 129*b. Let h be m(-13). Do -84 and h have different values?
False
Suppose b = -u + 4, -2*b + 4*u = 8*u - 2. Let n be ((-10)/4)/(b/(-56)). Let z be (-1)/((4/(-3))/(n/(-15))). Are z and 2/211 unequal?
True
Let n be 1015/1305 - (-2)/9 - (-4)/(3 + -5). Let z = 603507/215 + -2807. Are z and n nonequal?
True
Let i = -14299 + 14301. Which is smaller: i or -0.603?
-0.603
Let m = -4 + 5. Let g(i) = 4*i**2 + 27*i - 13. Let f be g(-7). Let y be 46/(-16) - f/2. Which is smaller: m or y?
y
Le