?
False
Let h = 78252 + -78256. Suppose 0 = m + 2 - 0. Let n be 1 + 6/(-2) - m. Is h greater than n?
False
Let p be (-1062)/(-3540)*((-7)/(-3) + -1). Is p at least as big as -1/690?
True
Suppose 3*f + 140 = -160. Let n = f + 109. Suppose n*x = 2*z + 7*x + 200, -z - 3*x = 96. Is -99 bigger than z?
False
Suppose 0 = -2*j + 6, 2*l + 5*j - 21 + 14 = 0. Which is bigger: -12/227 or l?
-12/227
Let m = -5792069/622 - -9312. Is 1 != m?
True
Let w = -14479 + 15372. Is w not equal to 899?
True
Suppose 4*u + 46 = 66. Suppose 3*p + u*f = 16, -p + 28 = -2*p + 5*f. Is -2 at most as big as p?
False
Let f(y) = 3*y**3 - 11*y**2 + 4*y - 9. Let l(k) = -k**3 + k**2 + k + 1. Let n(j) = f(j) + 4*l(j). Let q be n(-9). Are 87 and q equal?
False
Let q(j) = 2*j + 22. Let v be q(-7). Let o be 2/13 - v/52. Suppose 2*a + o = 16. Which is bigger: 7 or a?
a
Let b be (-1375)/825 - -22*(-43)/(-6). Which is bigger: 155 or b?
b
Let a = -123 - -123. Which is smaller: 18/37 or a?
a
Let a = -0.0284 - 0.1516. Is 6/11 at most as big as a?
False
Let g = 8 - 6. Let p = 23.433 - 27.633. Is p < g?
True
Let h = 10 - 5. Let v be 66/h - -1*1. Let m be -30*(23/(-2) - -11). Which is smaller: m or v?
v
Let s = 1.42 - -4.38. Let g = s + 30.2. Is g at least as big as -0.2?
True
Let j = 15.03 + -14. Let t = -6.07 - j. Which is smaller: 2/7 or t?
t
Let f(t) be the second derivative of t**4/4 - 7*t**3/3 - 37*t**2/2 - 49*t. Let k be f(9). Suppose -3*w = 5*n - 405, 3*n + 4*w - 317 = -74. Is n at least k?
True
Let i = -574 - -373. Let k = -12 - i. Which is smaller: k or 190?
k
Let s = 112039/23001 + 111/697. Is s smaller than 4?
False
Let n = 112 - 97. Suppose -8 + 23 = -n*o. Which is smaller: o or 2/83?
o
Let g = 314.3 + -386. Let c = g - -75. Which is smaller: 2/9 or c?
2/9
Let s = -751.062 + 751. Let m = 4.958 - -0.042. Which is greater: s or m?
m
Suppose 12*u + 18 = -54. Let r = 19 + -23. Let b be (6/(-50)*-1)/(u/r). Which is smaller: 1 or b?
b
Let q be (-2)/8*276/(-23). Suppose o + 2*o = 4*u + 21, 3*u = -q*o. Let h = -3 - u. Is -1 at most h?
True
Let g = 1953 - 9753/5. Let n = -7 + 9. Suppose 5*u - 3*u = n. Is g at least as big as u?
True
Let k = 71 - 73.6. Let c = 2.4 + k. Let v = -0.37 + 0.17. Does v = c?
True
Let a = -0.2 + 0. Suppose -5*y - 9*b = -4*b + 20, 4*y - b = -26. Let k be 21 + 15/10*(-16)/y. Is k less than a?
False
Let d = -53 - -26. Let n = 45 + d. Suppose -n + 0 = 2*x. Which is smaller: x or 1?
x
Let l = 178 + -198.6. Let w = -20.683 - l. Let r = -0.13 - w. Is -2/7 < r?
True
Suppose -5*l - r - 449 = 0, 2*r = l + 29 + 52. Let u = l - -89. Let o be (-10 + 9)/(2 + (-1 - u)). Is -2 <= o?
True
Suppose 0 = -5*p + 3*h - 11, -86*h + 84*h + 4 = 0. Which is bigger: -42/145 or p?
-42/145
Let s = -23 + 32. Suppose -s*w - 330 = -12*w. Suppose -2*h = 5*g - 554, 2*g + 5*h + 72 = 302. Is g less than or equal to w?
True
Let f be -34 + 23 - 32/(-3). Let x = 3.03 + -0.03. Let r = x + -12. Which is greater: f or r?
f
Let t = -178 - -2135/12. Let g(a) = a**2 + 10*a + 8. Suppose -4*r - 2*c - 28 = 0, -3*r + r + 4*c - 34 = 0. Let v be g(r). Is t at least v?
True
Let x be -14 + 121/11 - -427. Is x at most 424?
True
Let l = -316 + 496. Let b be (400/l)/((-2)/(-5)). Is b at most 7?
True
Suppose -5*p - 5*z + z = -1572, -z = -3*p + 933. Suppose 3*q + p = 588. Are 91 and q non-equal?
True
Let w be 10237 - 147/105*(1 - -4). Which is smaller: 10231 or w?
w
Let k = -240665/12 - -20068. Let r be (-12)/(-18) + (-182)/(-12). Let u = r - k. Which is smaller: u or 4?
u
Let g = 19069 + -18393. Which is greater: 1.3 or g?
g
Suppose 2*t - 36 + 126 = 0. Let y(i) be the third derivative of -25*i**4/24 + 26*i**3 + 41*i**2 - i. Let a be y(8). Is t smaller than a?
True
Let c = -9110 + 9109.5. Is 190/3 at least c?
True
Let a = 0.3 + -0.1. Let m = -4.4 - -4.41. Let z = m + 7.99. Which is bigger: z or a?
z
Let d = -2.7475 - -12.7475. Let j = -0.26 + 0.1. Are j and d unequal?
True
Suppose -3*c = -q + 10, 1 = c - 1. Suppose 8*b = 14*b. Suppose b*s = -2*s + 30. Is s > q?
False
Suppose 0 = 269*n + 185 + 84 - 0. Is n at most as big as -5/1802?
True
Let t = -1200 - -1742. Let y = t - 393. Which is smaller: -1 or y?
-1
Let m = 91228 + -1003505/11. Let z = -3 - -3. Suppose j = -z*j. Which is bigger: m or j?
m
Suppose y - 28 = 2*d, 144 = -5*d + 5*y + 59. Is d at most -69/7?
True
Suppose -14225 - 14815 = -15*y. Suppose 31*x + 2993 = -y. Is -157 < x?
False
Suppose 0 = 20*a + 129*a + 149. Is -309.4 greater than or equal to a?
False
Let q be (37 - 46)*(2/(-3))/2. Suppose 11 = -q*z + 4*z. Suppose z*y = 5 + 6. Which is smaller: 5 or y?
y
Suppose -47*f = 9*f + 39*f + 91675. Does -962 = f?
False
Let g be ((-32)/(-48))/(2/72). Let s be -2 + 1446/54 + (-4)/(-18). Suppose 0 = -2*z - s + 71. Is z != g?
True
Let w = 532 - 237. Suppose -3*z - w = -5*n - z, 305 = 5*n - 4*z. Which is bigger: 54 or n?
n
Let j(x) = 14*x + 359. Let q be j(-24). Let o(v) = v**2 - 21*v - 38. Let w be o(q). Let y be 39*1/4 - 2. Which is smaller: y or w?
y
Suppose -13*q - 36502 - 10118 = 8*q. Is -2218 >= q?
True
Let b = 34 + -34. Let p(u) = u + 4. Let j be p(b). Suppose 2*n = -j*n. Is n less than 3/5?
True
Let a be 2/(-3) + 10/(-6). Let w(j) = -j**2 + 16*j - 30. Let k be w(14). Let t be (4 - 7) + 0 - k. Is a < t?
True
Let h = -170 + 201. Is h less than or equal to -37?
False
Let t = 51 + -71. Let z be (-64)/16 - (t + -1). Is 15 at most z?
True
Let v be ((-1140)/40 + -25)/(2/4). Which is smaller: -89 or v?
v
Let v = -3965 + 4024. Suppose -4 = -2*k - 10. Which is smaller: v or k?
k
Let f = -23 + 78. Let t = -68 + f. Does t = -2/9?
False
Let z = 0.004 - 9.004. Suppose -2*m - 13 = 2*f - 15, 0 = -f + 5*m + 1. Which is greater: z or f?
f
Let c(s) = 28*s + 4514. Let o be c(-165). Is o <= -65?
True
Let g be (3 + (0 - 3))/2. Suppose g = t + 3*t - 16. Suppose 4 = 2*l - 4*n - 2, t*l - 6 = 5*n. Which is smaller: l or 2/127?
l
Suppose m + 2*m + 17 = -5*w, 3*m = w + 7. Let b = 105707/5 + -21141. Is m greater than or equal to b?
True
Suppose -6 = 5*q - 4*v - 19, -2*q = 5*v - 25. Suppose -c = -3*c - 2*z + 34, q*z = -2*c + 22. Let l = -42 + c. Does 1 = l?
False
Let r = 157 - 138.8. Let l = r - 18.02. Is l greater than or equal to 0.4?
False
Let r = -289842 - -2618728/9. Which is greater: 1128 or r?
1128
Let s be 2 - ((-15)/(-10) - (-2)/4). Let f = 0.015 - -0.285. Is s at most f?
True
Let b = -1845 + 2282. Is 437 bigger than b?
False
Let t(q) = -12*q**3 + q**2 + 2*q. Let x be t(-1). Suppose g + k = 3*k + x, k = -3*g + 61. Is g less than or equal to 20?
True
Let a(w) = -145*w + 5493. Let u be a(37). Is 186 < u?
False
Let k = 99233/75 + -1323. Is 1 bigger than k?
True
Let b = -41118 + 41113. Let r = -2.81 + 2.7. Which is bigger: r or b?
r
Let a be 3142/(-6) + (-45)/(-9) + 1. Is 0.1 at most as big as a?
False
Let a = 296.4 - 71.4. Let n = a + -223.9. Which is smaller: n or -7/5?
-7/5
Suppose -b = -5*t - 199, 5*b - 115 = -0*t + 3*t. Let w = -34 - t. Suppose w*c = 119 + 25. Which is bigger: c or 25?
25
Let d(m) = 8*m - 41. Let b(r) = -4*r + 20. Let t(f) = -5*b(f) - 3*d(f). Let o be t(-19). Let u be (-18)/o + (-1)/715*-97. Which is greater: 0 or u?
0
Let y = -85 - -77.4. Let d = y - 38.4. Let c = -45 - d. Is 27/4 less than c?
False
Let p be 9 + ((-6263)/(-1566) - 13). Which is bigger: 0 or p?
0
Let o be (-33)/77 - 9/(-21). Suppose o = -2*s + 41 + 43. Is 36 smaller than s?
True
Suppose -2*c + 6 = n, -2*c = -8 + 2. Suppose -3*r + 83 = -o + r, n = 4*o + 4*r + 292. Let q be (6/o)/((-72)/(-15)). Is 0 less than q?
False
Suppose 37*v = 32*v + 8920. Suppose 48*b - 1672 = v. Which is smaller: 74 or b?
b
Let y = -1192.86872 - 0.13128. Which is greater: y or -0.3?
-0.3
Let l be ((-5)/(-20))/(9/(-204))*-3. Is 21 smaller than l?
False
Let c(b) = 3*b**2 - 93*b + 450. Let i be c(6). Which is greater: i or -7/2447?
i
Let f = -1/2873 - 2410/1330199. Are 1 and f equal?
False
Let b be (9 - 15) + 3*2. Suppose b = 2*p, -5*q + 3*p = -23 - 17. Which is greater: 156/19 or q?
156/19
Suppose -5*h = -t + 72, -3*t - 77 + 345 = -2*h. Suppose 12*k - 10*k = t. Let b = 158 + -113. Which is smaller: b or k?
b
Suppose -12*l + 1452 = -1056. Let z = l - 209. Let x = 76 + -911/12. Which is greater: x or z?
x
Suppose u - 3 = -3*t, -t + 8 = u - 1. Let h = u - 10. Suppose -h*v - 2 = 24. Which is bigger: v or -57/4?
v
Suppose -11*a - 20