+ 1169804/9. Is h < c?
True
Let r(g) = 233*g - 1804. Let a be r(9). Is 264 at most as big as a?
True
Let t = -634.073 + 0.073. Let i = t + 607. Are i and 8 equal?
False
Let q be ((-74)/(-16) + -5)/((-42)/(-28)). Which is bigger: 35 or q?
35
Let h = -68.1 + 64.13. Let a = 0.03 - h. Let y = 938 + -937.7. Do a and y have the same value?
False
Let m = 31 + -12. Suppose -4*j - 2*j + 132 = 0. Suppose m*n = j*n - 3. Which is smaller: 3/7 or n?
3/7
Let h = 3808 + -2871. Is -1/4 smaller than h?
True
Suppose -66 - 60 + 126 = 10*r. Is r < -3/958?
False
Let t = -6383 + -1863. Let a = t - -2910836/353. Which is smaller: a or 0?
a
Let x be (-770)/(-112) + -7 + (-89)/(-8) + 6. Which is greater: -122 or x?
x
Let m = -76559 + 611163/8. Is -163 less than m?
False
Suppose -f - 3*h - 12 = -0*h, -h = -5*f - 76. Let w be ((-6)/90)/(3/f)*-79. Which is smaller: -27 or w?
-27
Let h be (-49)/(-21) - 2/(-3). Let a(q) = 37*q - 108. Let y be a(h). Is y at least as big as -4?
True
Let z be 12/27 - (-25909)/(-117). Let p = z - -232. Does 16 = p?
False
Let t = -304.315 - -303. Let p = t + 1.31. Which is greater: 1/2 or p?
1/2
Suppose 27*i + 84 + 279 = -258. Which is greater: i or -0.089?
-0.089
Let b = 6/110851 - 9979152/47333377. Which is smaller: 0 or b?
b
Let s = -1222 + 1231.49. Let a = s - 9.6. Let i = 0.06 + 0.24. Is a < i?
True
Let h = 2.2 + 39.8. Let z = -21.045 + 0.045. Let c = z + h. Is -1 bigger than c?
False
Suppose -27*x = -11*x. Suppose x = -24*t + 27*t - 24. Which is bigger: 0 or t?
t
Let p(t) = -9*t**2 - 20*t - 37. Let x(n) = 5*n**2 + 10*n + 18. Let u(d) = -6*p(d) - 11*x(d). Let w be u(-3). Is -16 equal to w?
False
Let h be (-5 - -3) + 4 - 0. Suppose 0 = -4*w - h*y - 8, -w + 4*y + 12 = y. Suppose 4*m = 4*x + 112, 5*m - 2*x = -w*m + 137. Which is greater: 26 or m?
m
Let f = 697517207/5635 - 123783. Let q = f - -90142/50715. Let p be -1 + 2 - (2 - 2). Which is smaller: p or q?
p
Suppose -4*x + o + 2*o = -39, 5*o + 43 = 3*x. Let q = -1685 - -1678. Is x equal to q?
False
Suppose 0 = 5*i + 29 - 54. Suppose -7 = i*j - 57. Suppose 3*c + j*v - 5*v + 2 = 0, -4*c - 3*v = -1. Which is greater: c or -2?
c
Let t = -953 - -901. Suppose 2*a + 124 = 12. Let m = t - a. Which is bigger: m or -4/3?
m
Let x = -4934 + 4155. Is -2 equal to x?
False
Let b(x) = x**3 + 4*x**2 - 8*x - 6. Let v be b(-5). Let i(k) = k**3 + 14*k**2 + 42*k - 43. Let j be i(-7). Is j < v?
True
Let x(r) = r**2 - 5*r + 4. Let q be x(4). Let c = -32.3 + 10.7. Let s = 21.7 + c. Which is smaller: s or q?
q
Let n = -2254.09 - -2254. Which is smaller: n or -45?
-45
Let k = 947139997 + -9987591253954/10545. Let l = k + 1/555. Which is smaller: l or 1?
1
Let t be (2/(-6))/((-770)/259730). Let b = 337/3 - t. Which is smaller: 1 or b?
b
Let j = 312.104 - 312. Let l = -0.296 - -0.3. Let k = l - j. Which is greater: k or 1?
1
Let c = 2072 + -2071.9. Let k = -0.1 + 10.6. Let a = k + -12. Is c at most as big as a?
False
Let r = -64.9434 - 0.0566. Which is smaller: r or 2/5?
r
Let p = -3886 + 11660/3. Which is bigger: p or -521?
p
Let a(i) = 6*i - 11. Let l be a(3). Suppose l*g - 20 - 1 = 0. Let x(n) = -2*n + 1. Let d be x(g). Which is smaller: -25/4 or d?
-25/4
Let q = 344629 - 332566911/965. Which is bigger: 0 or q?
q
Let b = 55 + 24. Let m = -102 + b. Which is smaller: 0.5 or m?
m
Suppose 35 = 5*v, -18*v + 22*v - 14323 = 5*j. Is j > -2857?
False
Let u be (4 - -41) + -4 - (-19 + 8 - -11). Which is bigger: u or 21?
u
Let l = -11575 - -752277/65. Are -1 and l nonequal?
True
Let s(m) = m - 12. Let k be s(8). Let g(t) = t**3 + 7*t**2 - 9*t - 8. Let r be g(k). Is 76 at least as big as r?
True
Suppose 0 = 2*z - 5*h + 35 - 103, 5*z - h = 147. Let y = -28 + 136. Suppose 3*l = -24 + y. Is l <= z?
True
Let o(x) = x**2 - 6*x + 1. Let m be o(6). Let u be (-12)/48 - 235/(-460). Is m at least as big as u?
True
Suppose -7 = -q + u + 1, 27 = -q - 4*u. Is q bigger than -3345?
True
Let t = 4808 - 4851.53. Which is bigger: -1 or t?
-1
Let r = 8731 + -8733. Is -15.15 less than r?
True
Let o be 1478/(-6) - 1306/(-1959). Which is smaller: o or -247?
-247
Let q be (-2)/6 + (-2)/(-6). Let y(m) be the first derivative of 3*m**2/2 + 4*m - 487. Let i be y(q). Is 4 at least i?
True
Let g be 212/10 - 20/(-25). Let m(k) = 2*k + 92. Let d be m(0). Suppose -5*h + 9*h = d. Which is greater: g or h?
h
Let b = 1 - 24. Suppose -1755 - 2445 = 28*s. Let x = 126 + s. Is b at least x?
True
Let b be (2 - (-3663)/(-1920)) + 2/(-20). Which is smaller: b or -0.05?
-0.05
Let t be (-534)/4*(98/42 - 5). Do 356 and t have the same value?
True
Let b = 11909 + 9988. Is b at most as big as 21897?
True
Let o = 810 + -1370. Let y = -560 - o. Is y > 12/11?
False
Let i(s) = 3*s - 10. Let f(r) = -r. Let h(v) = 6*f(v) + i(v). Let p be h(-5). Suppose -p*z + 15 = -5*q, 6 = -q + 3*z - 3. Is -3/49 != q?
True
Suppose -3*a = 6, 4*a - 416 = -4*y + 2*y. Let g = 179 - y. Does g = -230/7?
False
Let c be (-200823)/(-917)*((36/(-2))/2 + 0). Is c less than -1973?
False
Suppose 641*x - 645*x - 2*q = 826, q - 3 = 0. Which is bigger: x or -8?
-8
Let v = -450 - -295. Let h = 154.968 + v. Is h equal to -2?
False
Let w be (-3)/2 + (-222)/(-4). Let v = 59 - w. Let d(q) = 5*q - 1. Let u be d(v). Which is smaller: u or -1?
-1
Let k be 25155/430*8/(-18). Suppose -3*c + 4 = -2*l + 74, -3*c - 4*l - 94 = 0. Is c >= k?
True
Suppose -3*p - 5*l + 710 = 0, -l = -2*p - 0*l + 495. Let w = p + -287. Is -41 at most as big as w?
False
Let z = -0.12 - 15.88. Let n = 15.87 + z. Let y = 274 + -274. Do y and n have the same value?
False
Let j be (((-12)/420)/(3/(-42)))/(274/440). Is 1 less than or equal to j?
False
Suppose 14*n - 262 + 480 = -454. Which is smaller: -31 or n?
n
Let d = -0.9 - -1.2. Let r = -0.512 + 0.59. Let h = r - 24.078. Is d smaller than h?
False
Let u = -1829 + 93284/51. Let y = -89 + 89. Which is smaller: y or u?
y
Let i be ((-275)/165)/((-5)/(-2)) + (-6506)/(-3). Is i != 2170?
True
Let h = -266.7 - -268.7. Let t = 4.2 - 4.33. Is t greater than or equal to h?
False
Let k be 1 + (-258)/(-110) + (-44 - -25 - -15). Is k at most as big as -1?
False
Suppose -5*r + 92 = b, -2*b - 44 = -2*r - 0*r. Let t = 8 - 3. Let o(h) = 4*h - 2. Let q be o(t). Do q and r have different values?
True
Suppose 1416 = 66*c - 60*c. Suppose 0 = c*x - 231*x - 555. Is 112 <= x?
False
Let z(k) = -15*k + 42*k - 168 + 10*k. Let r be z(10). Is r >= 203?
False
Let r = -21 + 20.2. Let p = -0.3 - r. Let v = p - 0.52. Which is bigger: 0 or v?
0
Suppose 9 = -5*z + 5*v + 239, -5*z = 4*v - 230. Suppose 39*j = 37*j + z. Which is smaller: j or 22?
22
Let t = 93.19 - 93. Let h = t - 0.09. Which is bigger: h or 1.06?
1.06
Let u be ((-29)/(-4))/((-201)/804). Let j = -31 + 30. Is u <= j?
True
Let p be ((-29642)/(-5) - 2) + 62/(-155). Suppose 17*l - 1996 - p = 0. Which is smaller: l or 1?
1
Suppose -3*t + 7 = 2*z - 6*t, -z - 16 = 5*t. Which is bigger: -25/28 or z?
-25/28
Suppose f + u = 160, -3*f - u - 3*u + 477 = 0. Let b = 1.0878 + -0.0878. Is f not equal to b?
True
Let x be (26/(-12))/(3/27). Suppose 0 = m + 2, -5*n - 5*m - 90 = 0. Let w be 6/24 - (-340)/n. Is x at most as big as w?
False
Let l(j) = -3*j + 14. Suppose -10*z + 22 = -28. Let a be l(z). Which is bigger: -10/23 or a?
-10/23
Let a = -6280 - -16208678/2581. Which is smaller: -1 or a?
-1
Let q = 1333 + -1361.35. Let f = 0.65 - q. Let g = -27 + f. Is 14 < g?
False
Suppose 2*j + 18 = -o + 2*o, -5*o + 3*j = -83. Suppose -167 = 4*w + 3*c - 118, w + 18 = 5*c. Let m = o + w. Which is smaller: m or 18/5?
m
Suppose -66*d + 150089 + 74487 = -550*d. Are -5110/11 and d equal?
False
Let b(f) = -f + 27*f**2 - 2*f**3 - 10 + 0*f**3 + 3*f**3 - 28*f**2. Let s be b(-3). Which is bigger: 0.2 or s?
0.2
Let f be 2 + -4 + (-120)/2. Let u = 47 + f. Let d be ((4/u)/(-4))/(1/3). Is d greater than -1?
True
Let s = -2115 - -2071. Which is bigger: s or -2?
-2
Suppose 0 = -16*d + 773 + 187. Let i be (-1686)/d - 5/(-50). Which is smaller: -57/2 or i?
-57/2
Let u = -0.463 + -73.337. Let h = u - -75. Which is greater: h or -3?
h
Let m = 2333 - 2313.9. Is 1/24 <= m?
True
Suppose -41*a + 980 = -34*a. Suppose -153*y + 13 = -a*y. Is -3/44 less than or equal to y?
True
Suppose 3*i - 4*n = i - 172, -4*n - 444 = 5*i. Let o = 158 + i. Suppose -19 + o = -s. Which is bigger: -52 or s?
s
Let n = 7226/33 + -219. Su