 Is -6/41 at most as big as h?
True
Let z = -2.698 - -3.698. Which is greater: z or -66.3?
z
Let o = -3007 - -3007. Is o not equal to 8/2129?
True
Let m = 83 + -126. Let l(y) = 553*y - 5568. Let i be l(10). Which is smaller: i or m?
m
Suppose 5*q + 5*v = 6*q + 100, 4*q = -2*v - 400. Are 8 and q equal?
False
Let m be (1/(-8))/(5*2/(-80)). Which is greater: m or 2/1839?
m
Let h = -3214 - -3213. Which is bigger: h or 640.5?
640.5
Let n be (-31583)/7 - (-9 + (513/(-7))/(-9)). Is -4509 at most as big as n?
False
Let j = 2.79 - 3.79. Is j < -10481?
False
Let h = 4.713 - -1.287. Which is smaller: h or -143?
-143
Let i(l) = -l**2 - 3*l - 19. Let x = 265 - 275. Let c be i(x). Which is smaller: -90 or c?
-90
Let w(v) = -v**2 + 35*v + 153. Let u(h) = h**3 - 10*h**2 - 37*h + 13. Let f be u(13). Let p be w(f). Is -3.8 less than or equal to p?
True
Suppose 4*k = -4*d + 12, 0 = -4*k + 2*k + 4*d - 24. Let f be -68*(-8)/320*k. Is f > -2?
False
Let g = -16.602 + 0.002. Let n = g - 13.4. Which is bigger: n or 3?
3
Let n be (7080/(-21594))/(-2*1/(-2)). Is n smaller than -1?
False
Let w = 49 + -21. Suppose u + 25 - w = 0. Let z be (u/(-10))/(-1 - (-4)/16). Which is smaller: -26 or z?
-26
Suppose -4*q = f - 7, 20*q = 21*q - f - 8. Suppose q*i = -2*p, 5*i = 5*p - 0*i - 50. Suppose 3*z - 29 = -4*c, -c + 22 = -z + 4*c. Which is smaller: z or p?
z
Let a = -35.11 + 37.2. Let v = a - 14.09. Is v at most as big as -4?
True
Suppose -4*v = -i + 20, -v = -4*i + 53 + 102. Suppose 3*l = 2*y + 3963, -41*l + 38*l = 4*y - 3963. Let b = 1359 - l. Which is greater: b or i?
i
Let v(l) = 3*l**3 - 5*l**2 + l - 2. Let h be v(2). Suppose -3*g = f - 14, -h*g = 5*f - g - 34. Suppose 14 = -9*x + f. Which is bigger: x or 2/281?
2/281
Let a be -2*1 - (632 - (11 + 4)). Which is smaller: a or -623?
-623
Let q(k) = 101*k - 6. Let i be q(-3). Let t = 128 - i. Let z = -1327/3 + t. Is z not equal to -4?
True
Let u be 39/9 - 4/(-6). Suppose 4 = -2*w + q + 2*q, -u*w = -3*q + 1. Let l be ((-208)/273)/((-5)/(35/6)). Which is smaller: w or l?
l
Let t = -146770 - -146769.94. Let d = -56 + 112. Which is greater: d or t?
d
Suppose -5*h - 3186 = -4*r + 988, -4 = -2*h. Let g = r + -969. Are 72 and g equal?
False
Suppose 0 = r + 2 + 4. Let m be (6/4)/((3/2)/3). Suppose -3*t + 5 = z, 3*t + 2*t + m*z = 15. Which is smaller: r or t?
r
Let g = -194 - -128. Let u = 66 + g. Let h = -5119/4065 - -19/15. Does u = h?
False
Let g = -29270 + 24550. Which is smaller: -4723 or g?
-4723
Let w be 15659/(-595) - -10 - -19. Which is smaller: w or 3?
w
Let s be -4 + 37/6 + (-10 - -8). Suppose 4*f + 48 = 5*q, 0*q + 2*q - 3*f = 15. Let u = q + -11. Which is bigger: u or s?
u
Let o(m) = -11*m + 15. Suppose -26 = -x + 4*z, 2*x - 3*z - 39 = -2*x. Let c be o(x). Let b be (-51 + 0)*(-7 - -8). Is c bigger than b?
False
Let z = 53 - 18. Let l = z + -33. Suppose 4*y = -2*v + v - 8, -5*v + l*y = 62. Which is smaller: v or 1/4?
v
Let x = -1307 + 1301. Let b = 24.95 - 25. Is b < x?
False
Suppose -174 - 36 = 10*f. Suppose -4*p = 2*s + 58, 3*p - 3*s + 26 = -8*s. Which is smaller: f or p?
f
Let h = 1040386083843/9035 + -115150648. Let s = 1/695 - h. Let p be ((-18)/4)/3*-2. Is p bigger than s?
True
Let u be 1/2*(12/4 + 854 + -3). Is 426 > u?
False
Suppose 4*m + 21*v - 20*v - 2668 = 0, 0 = -m - v + 667. Let t = 3316/5 - m. Do t and -5 have the same value?
False
Let x be 616/98 + (-2)/7. Let u(r) = 5*r - 28. Let f be u(x). Is 6/7 < f?
True
Let t = -4974 - -2967. Which is bigger: 0.1 or t?
0.1
Let p = 8595 - 3774. Which is bigger: p or 4820?
p
Suppose -4*t + 0 + 4 = 0. Let d = 698 - 47455/68. Which is smaller: t or d?
d
Let g(l) = l**2 + 24*l + 108. Let w be g(-19). Is w >= 49/4?
True
Let b = 3375 + -3374. Is b <= -20/129?
False
Let z = -26 - -16. Let f(o) = 5*o**2 - 8*o + 13. Let k be f(2). Suppose -10*u = k + 103. Which is bigger: z or u?
z
Let f = -250 - -472. Let x = -195 + f. Is x at least as big as 28?
False
Suppose 3*t + 0*w - 4*w = 22, -3*t - 5*w = 14. Let m be (-4 + 2)/t*1. Let s = 756 + -73330/97. Which is smaller: s or m?
m
Let p = -0.19 - -0.04. Let k = 3.65 + p. Let w = 485/34 + -234/17. Is k > w?
True
Let j(m) = 9*m - 15 + 59 + 9 + 34 + 2*m. Let l be j(-8). Is l >= -2/383?
False
Let a(f) = 3*f**2 + 15*f + 10. Let z be a(-6). Suppose -18*g = -z - 62. Are 19/4 and g equal?
False
Suppose 0*n - 5*s - 19 = -n, n = -s - 5. Is n <= 0.454?
True
Let n = 144305/3188 + -12/797. Let j(s) = 9670*s + 48395. Let h be j(-5). Is n >= h?
True
Let k(r) = 27*r - 243. Let j(g) = 2*g**2 - 7*g + 12. Let l be j(3). Let n be k(l). Which is smaller: -1/212 or n?
-1/212
Let a = 216 - 292. Let k = -76.06 - a. Which is smaller: 3/5 or k?
k
Let r be (-740)/(-364) + 2*-1. Let t = r - -82/273. Is -1 less than t?
True
Suppose y + 1121 - 393 = 0. Let j = 496 + y. Which is greater: j or -231?
-231
Let u = -438570764/43127 + 71185/7. Which is bigger: u or 0?
u
Let t(o) = -84*o + 579. Let v be t(7). Suppose 0*i = -5*i - 35. Which is greater: v or i?
i
Let o be (-18)/(-189) - (710/(-21))/2. Let y be (7 + -3)/((-4)/10). Let l = y - -10. Is o >= l?
True
Let q = 498658/935 + -5872/11. Is q <= -1?
False
Suppose 0 = 26*w - 30*w. Let i = 917/20 + -179/4. Are i and w equal?
False
Let n(z) = 4*z**3 - 2*z**2 + 5. Let y be n(2). Let l(m) = -m - 2*m + 12 + 0 - 2. Let o be l(-6). Are y and o equal?
False
Let k be (122/(-12)*-3)/((-2)/4). Let r = 66 + k. Suppose -4*j = j + r. Which is smaller: j or -17/7?
-17/7
Let j(p) = -14*p + 52. Let d = -305 - -311. Let m be j(d). Suppose 0 = -5*s - c - 160, 67 = -5*s + 3*c - 93. Do m and s have the same value?
True
Let g = 212 + -404. Let b = g + 383. Let d = -785/4 + b. Which is smaller: d or -4?
d
Let u = 0.342 - -0.018. Let h = u - -1. Let a = h + -0.36. Which is bigger: a or -1/11?
a
Let f = -2.8 - -1.1. Let c = f + 1.9. Let m = 3 - 2. Is c greater than m?
False
Let s be (-4 - -2) + 1*(0 - -2). Let h be (0 - (4 + s)) + 6. Suppose m = 2*l - 28, -3*m = -h*l + 35 + 37. Which is smaller: 1 or m?
m
Suppose 0 = 16591*j - 16648*j - 1572 - 480. Is -8 < j?
False
Let j be (84/(-10))/(2/(-10)). Let q(o) = 5*o + 37. Let v be q(9). Let r be (1*18/36)/(1/v). Are r and j nonequal?
True
Let l(r) = 5*r**2 + 35*r + 16. Let b = -314 - -309. Let g be l(b). Is -30 less than g?
False
Let u = 0.35 + -0.35. Suppose -5*w + 17 = 4*f, -w = -4*f + 2*w + 9. Let j be 4 + 1*((-76)/64 - f). Which is bigger: j or u?
u
Let h = -2.69 - -2.4. Let s = -0.11 + 0.12. Let d = s - h. Is -4/7 at least d?
False
Let z(x) = -x**3 - 6*x**2 + 7*x - 10. Let t be z(-7). Let b(m) be the first derivative of -3*m**2/2 - 19*m + 17. Let v be b(t). Which is smaller: 12 or v?
v
Let n be (-1 + 14/6)*-3. Let u = -16.95 - -0.25. Let b = 17 + u. Which is smaller: n or b?
n
Let m = -748.7 + 755.953. Let d = -0.747 - m. Let t = 23/3 + -22/3. Which is bigger: d or t?
t
Suppose -5*i + 80 = -10*r + 8*r, -67 = -3*i + 5*r. Let w be (((-4)/(-2))/i)/((-8)/(-56)). Is -2/977 equal to w?
False
Let c = -356 - -571. Let w = c - 214.9. Which is smaller: 12.6 or w?
w
Let q = -2261 + 2140. Is -116 < q?
False
Let k = -140 + 69. Let s = k + 59. Let m be (-430)/154 - (s/(-21) - 1). Is m > -1?
False
Let x be (-10)/6 + 4 + 11/(77/(-14)). Which is bigger: x or 27.05?
27.05
Let r(c) = c**3 + 2*c**2 + 6*c - 19. Let d be r(-6). Let k be ((-4 - 394)/(-1))/(-2). Is k smaller than d?
False
Let j(u) = -u**2 - 59*u - 780. Let o be j(-39). Which is smaller: o or 1/27692?
o
Let j(z) = 7*z**2 + z - 8. Let m be j(4). Let i = m + 157. Suppose -70 + i = 5*f. Which is greater: f or -1?
f
Let p(d) = -65*d + 231. Let o be p(5). Which is greater: -569/6 or o?
o
Suppose l - 161 - 1035 = -2*s, 0 = -l + 3*s + 1221. Suppose -24 = 1214*q - l*q. Does -11 = q?
False
Let j be ((-97130)/(-4674) - 1105/663) + 4/38. Is j at least 19?
True
Let o(y) = -322 + 176 + 188 + 2*y. Let j be o(-20). Suppose 6 = -j*x, -p + 5*p = x - 25. Which is bigger: p or -44/7?
-44/7
Let f be (2/(-10))/(5802/(-15)*(-2)/4). Is 1 < f?
False
Suppose q + r - 31 = 0, -2*q - 1877 = 4*r - 1949. Let u be 2/(-4) - (-68)/104. Which is smaller: q or u?
u
Let n be 868/140 + 3/(-15). Let l be (2/3)/((-4)/(-18)). Suppose -3*c = -l*v + 39, 5*c = -3*v - 39 + n. Do -9 and c have the same value?
True
Let d = -1829 - -1826.043. Let r = d + 0.957. Is r less than or equal to 16?
True
Su