2 or n?
-1282
Suppose 5*p = 568 - 68. Suppose 48*v = 28*v + p. Let a(c) = c**2 + c - 4. Let n be a(0). Is n greater than or equal to v?
False
Suppose 211*b - 1987515 = 703682 + 420842. Which is smaller: 14750 or b?
b
Let z = 885 + -778. Is 35 equal to z?
False
Let c = -1185.281 - -1.281. Which is smaller: c or 0?
c
Let f = -0.17 - -0.005. Let s = -0.035 + f. Let w = s - -0.1. Is w > -7/3?
True
Let h = -149 + 149. Let k be (h - -2) + 4 + (-35)/11. Is k at least as big as 2?
True
Suppose 0 = 3*x - 6, 29*x + 1326 = -4*t + 24*x. Which is bigger: t or -313?
-313
Let s be (-686)/(-147) + 7/21. Let f be 14/(-21) - (-538)/78. Is f smaller than s?
False
Let q = 709167884/16791 + -42235. Are q and 1 equal?
False
Suppose 0 = 11*i - 5*i + 2418. Let u = i - -1207/3. Are u and 0 equal?
False
Let k = -8 + 14. Let x = -0.665 + 0.845. Is x greater than k?
False
Let z = 29509 + -47209. Are z and -17700 non-equal?
False
Suppose -3*y + 2252 = y. Suppose -10*z + y - 113 = 0. Let r be (-3 + 1)*z/(-6). Is r not equal to 16?
True
Suppose 316*s + 162*s = 81*s + 24217. Is 1554/25 greater than s?
True
Suppose -4*l + 4 = 3*k, k - l - 8 = 4*k. Let r(j) = -7*j + 102. Let y(q) = -2*q + 25. Let w(d) = k*r(d) + 18*y(d). Let n be w(3). Is n less than 19?
True
Let d = -1489244/111 + 13417. Let l = -179 - -6625/37. Let b = l - d. Which is smaller: -6 or b?
-6
Suppose -2*n + 4*n = -2. Suppose 5*w - 45 = -5*k, w = -4*k + 102 - 78. Let y be (-5)/(-40) + -10 + 3 + k. Is y bigger than n?
False
Let h = 2.73 - 2.83. Are -12 and h equal?
False
Let r be 1/(-2)*((-1088)/108 + 10). Is -6 greater than r?
False
Suppose -6*c + 510 = 120. Is c <= 59?
False
Suppose -3*g + 2*j = -30, -4*g + 9 = -j - 31. Let r(s) = 6*s + s**3 - 4 + g*s**2 - 27*s**2 + 2*s + 8*s**2. Let y be r(8). Which is smaller: y or -6?
-6
Let w = -5752 + 5750.891. Which is bigger: w or 2/9?
2/9
Let j = -4/40769935 + 245203435486/171233727. Let p = j - 1432. Let g = -328499 - -328498. Which is smaller: g or p?
g
Suppose -122*n + 42600 - 19964 + 118396 = 0. Is n less than or equal to 1157?
True
Let w be 57*34/30 + (-1)/20*-8. Which is smaller: 703/11 or w?
703/11
Let q = 29 - 51. Let m be (4/5)/((-34)/(-1615)). Let y = m + -61. Which is greater: q or y?
q
Let o = -20.9 - -21. Let b = 2.213 + -2.883. Is b greater than o?
False
Let s = 148.8 + -135. Let b = s - 13.5. Is -2 smaller than b?
True
Let s = 1404 - 1381. Which is bigger: s or 28?
28
Let y = 3872.2 + -3872. Which is smaller: -219 or y?
-219
Let d(w) = -14*w**2 + 797*w - 1595. Let j be d(2). Which is smaller: j or 28?
j
Let p(i) = -3*i**3 - 21*i**2 + i + 10. Let f be p(-7). Let k be (((-20)/3)/5)/((-2)/f). Do k and 6 have the same value?
False
Suppose 10452 = -18*z - 6702. Which is smaller: z or 2/7?
z
Let j = 496 + -497. Let k = -4 - -5. Let i be (-18)/21 - (0 - k). Which is bigger: j or i?
i
Suppose -96 = 3*x - p + 67, -132 = 2*x + 4*p. Which is smaller: -0.02 or x?
x
Let i(k) = -402*k - 1. Let v be i(-2). Let w = 2711 - v. Let g be 4/22 - w/1782. Which is greater: g or 0?
0
Suppose 0 = -3*f + 6*f + 102. Let l = 0.025 - 0.965. Let r = l - -1.94. Is r not equal to f?
True
Let m(t) = -2*t - 58. Let w be m(0). Let p(h) = -38*h**2 - h - 1. Let v be p(-1). Let u = w - v. Is -21 < u?
True
Let j be (2/(-4))/(141/27 + -5). Let q(n) = 7*n**2 - 4*n + 2. Let t(y) = 6*y**2 - 4*y + 2. Let p(g) = -5*q(g) + 6*t(g). Let f be p(3). Which is bigger: f or j?
f
Let f be (438/9)/(4 + 65/(-15)). Let u = -145 - f. Which is greater: u or 11/6?
11/6
Let k be 5 - (-1 + 4 + 4) - 22. Is -304/13 > k?
True
Let w = -77 - -76. Let g = -0.208 + 0.18. Let a = 28.972 - g. Which is smaller: a or w?
w
Let a = 24/37 - 7/296. Suppose -4*m - 5 = 4*h + 11, 4*m - 4*h = 8. Let v = 0 - m. Which is greater: a or v?
v
Let l = -838 + 810. Let s = -27.926 - l. Is 1 >= s?
True
Suppose 3*z - q + 426 = 0, -67 = z + 5*q + 91. Let g = 30 + z. Which is greater: g or -112?
-112
Let n = -507 - -293. Let k = -214 - n. Is k != 5/4?
True
Let z = -485.3 + 471.3. Do z and -134 have different values?
True
Let h(d) = 8*d + 4*d - 153 - 2*d - 6*d + 7*d. Let g be h(14). Is g less than 1/58?
False
Let o = 182.6 + -2.6. Let g = 180.1 - o. Which is smaller: g or 7.6?
g
Let c = -191 - -207. Let z be (-12)/c - 1*241/(-12). Is 20 <= z?
False
Let m = 12943 + -28380. Which is greater: -15436 or m?
-15436
Let k = -1439 + 812. Let v = 688 + k. Is -2/7 not equal to v?
True
Let g(z) = -14489*z**2 - z - 8. Let a be g(1). Do a and -14497 have the same value?
False
Let z = -2285 - -3188. Which is bigger: 907 or z?
907
Suppose 3*d = -2*u + 15595, d + 10*u - 5193 = 8*u. Is 5202 greater than d?
True
Let p be 416/(-9) - 4/(-18). Let a = -142 + 95. Let t = a - p. Are -4/25 and t equal?
False
Let b be 35/5 + (7394/(-17) + 0 - -3). Do -426 and b have the same value?
False
Suppose 2*z - 36*z + 2074 = 0. Suppose 70*h = z*h - 405. Which is greater: h or -47?
h
Let a(h) = 5*h + 16. Let y be a(-3). Let w be (-6 + 23)*2*(0 - y). Is -36 bigger than w?
False
Let v = -3430/33 - -106630/1023. Which is smaller: -1 or v?
-1
Let n(o) be the third derivative of 1/24*o**4 - 49/6*o**3 + 0 + 0*o + 11*o**2. Let p be n(23). Are -26 and p equal?
True
Let z = 34 - 32. Suppose 4*j + z = 6. Let l(t) = -4*t - 129. Let s be l(-33). Which is smaller: s or j?
j
Suppose 4*o - 93 = 3*p, 134 = 5*o - 3*p + 17. Let k be 24 - (48/o - (-10)/(-2)). Which is smaller: 16 or k?
16
Let v be (21/(-84))/(2*(-2)/32). Suppose 4*f + 3*s - 8 = 0, 3*s = -v*f - 0*s + 4. Suppose -p = -11 - f. Which is smaller: 6 or p?
6
Let m = -1 - -2. Let y be 31 + -27 - 22040/(-34). Let x = y - 652. Which is bigger: x or m?
m
Let d(l) = l - 3 + 3*l**2 + 0*l**2 - 4*l**2 + 2*l**2. Let k be d(-2). Let h be -19 - (1/k)/((-3)/(-12)). Is -16 >= h?
False
Let v(s) = -4*s**2 - 32*s + 140. Let f be v(4). Which is greater: -41 or f?
-41
Suppose 0 = 23*g - 26*g - 30. Let n be -7 + 80/12 - g/3. Are n and -7 nonequal?
True
Let c(h) = h**3 - 6*h**2 - 8*h + 8. Suppose -25*s + 112 = -9*s. Let g be c(s). Which is bigger: g or 19?
19
Let f = -0.474 - -0.064. Let a = f - 5.79. Let x = a - -5.7. Which is bigger: -3 or x?
x
Let a be 2*(-2)/(-2 - -1). Suppose a*r = -2*r - 66. Let f = 18 - 31. Is f at most as big as r?
True
Let f = -30677 + 29939. Which is greater: -13 or f?
-13
Let h be (3501/4)/(6/4*(-95 - -97)). Which is smaller: h or 293?
h
Suppose -5*x - 177 = -92. Let y be (-9)/4*x/((-204)/800). Which is smaller: -148 or y?
y
Let l = 3071105/29 + -105886. Which is smaller: 13 or l?
13
Let f = 125 + -111. Let h = f + -13.96. Let j = 0.16 + h. Are 0.16 and j unequal?
True
Let v be 2 + -3 + 14 + 1. Suppose -2*d + 5*b = 8, 4*d - 4*b + 9*b - v = 0. Let y be 8/(-45)*4/48. Are d and y non-equal?
True
Suppose -3*f + 3*g - 241 = -5*f, 5*g + 88 = f. Are f and 563/5 non-equal?
True
Let i = 118327 + -118408. Suppose u - 156 = 3*u. Which is smaller: i or u?
i
Let o = -14.45 + 14.75. Let u = 61 - 55.4. Let x = u - 3.6. Is x smaller than o?
False
Let c(x) = -4*x - 10. Let v(j) = j**2 + j - 1. Let z(k) = -c(k) + v(k). Let w be z(-3). Suppose -4*m - w*m + 7 = 0. Do m and 6 have the same value?
False
Let o = -2439713179/54669168924 - 5651/753756. Let h = 1/2501 + o. Let f be ((-7)/(-6))/(-7) + 6/36. Which is smaller: f or h?
h
Let n be ((-1)/(-4))/(20/13760). Let w = n - 851/5. Is w greater than or equal to 3?
False
Let k(t) = -2*t**2 + 34. Let x be k(-4). Suppose -158 = 3*m + 4*z, 3*m - x*z - 52 = 4*m. Do -52 and m have different values?
True
Let g be ((-21)/(-63) - (0 + 1))/((-34)/(-51)). Which is bigger: -1/3039 or g?
-1/3039
Let z be 2385/21 - (-14)/(784/24). Does z = 111?
False
Suppose 0 = 2*d + 3*d + 15. Let b be (-1*(3 + d))/(-1). Let g be (-26)/(-2717)*5/(-5). Which is smaller: b or g?
g
Let b = -61 + 64. Suppose -c + 2*l = -462, -2*c - b*c - 5*l + 2265 = 0. Is c greater than 457?
False
Let c = -104.237 - -0.237. Let d = c - -103.97. Let l = 12 - 12.3. Which is greater: d or l?
d
Suppose 0 = 5*b + u - 0*u + 333, -3*u + 255 = -4*b. Let m = b - -55. Let h(g) = g**3 + 10*g**2 - 11*g. Let y be h(m). Are y and -4/17 equal?
False
Let f = -265.0435 - -265. Let x = -0.0465 + f. Is -3 less than x?
True
Suppose 183 = -43*l - 126586 - 90295. Which is bigger: -5046 or l?
-5046
Let c be (-2 + (4 - 264))/(-2). Suppose 6*k - 37 - c = 0. Is k greater than 