?
False
Suppose 3*c + 666 = 12*q - 17*q, -q = 5*c + 120. Which is smaller: q or -141?
-141
Suppose -4 = -5*m + 2*b, 2*m - 2*b + 2 = -3*b. Let v be 1/6*(m - -158). Suppose -133 = 45*r - 49*r + 5*k, r - 47 = 4*k. Which is bigger: v or r?
r
Suppose 5*z + 4*u - 3 = -73, 0 = -4*z + 4*u - 20. Let g = -2.9217 + 3.2217. Is z not equal to g?
True
Let u = -0.17168 - -0.15668. Which is smaller: 0.46 or u?
u
Let r = -157660/3 - -1096474/21. Which is smaller: r or -339?
r
Let o = -333 + 176. Let l = o - -473/3. Is 33 at most l?
False
Let i be (70/6)/((-9)/(-27)). Suppose 3*c - i = -4*c. Suppose 3*g + 3 = 0, -2*g + 16 = -c*p + 2*g. Which is greater: p or -14/5?
-14/5
Let r = -2871 - -2875. Which is smaller: -12/7 or r?
-12/7
Let j = -36 + 25. Let l = -5.6 - 4.4. Let s = l - j. Is 7/6 at most as big as s?
False
Let g(o) = o**2 + 20*o - 524. Let h be g(-35). Is h at least as big as 2/2491?
True
Let w = 1451/50 - 388961/13050. Let c = w - 3/29. Suppose -44*f = t - 42*f - 9, 20 = 4*f. Is c bigger than t?
True
Suppose l = -114 - 92. Let y = -321 - l. Are -116 and y non-equal?
True
Suppose 4 = 4*s - 3*k, -2*k + 1 = 5*s - 4. Let m be 506/(-8) + (2 - s) - 2. Let d = m + 67. Is 2 at most as big as d?
True
Let n = 630 - 1388. Let t = n + 757.96. Which is smaller: -49 or t?
-49
Suppose 4*r + 4 = 0, 0 = 4*j - 2*r - 153 - 593. Is 182 smaller than j?
True
Let r = 511 - 549. Let k be (-181)/5 - (-2)/10. Which is smaller: r or k?
r
Let q = -73.867 - 0.133. Let b = 123690 - 123688. Is q bigger than b?
False
Let g(x) = x**3 + 27*x**2 + 50*x. Let k be g(-25). Let m = -1416736/19 - -74531. Let o = m + 34. Which is smaller: o or k?
o
Let h = 1258 - 725. Let f = h - 532. Is f smaller than -4/19?
False
Suppose -v - 5*f + 24 = 0, 2*f - 14 = -v + 5*v. Let o be (81/(-9) - 6) + 16650/1147. Is o less than or equal to v?
False
Suppose -96*d + 16033 = 16129. Let y be (-2)/(-3) - 1438/2148. Which is bigger: y or d?
y
Let m be (-9)/(2106/22878) + -1 + -3. Which is smaller: m or -102?
-102
Suppose m - 5*m + 2*g + 5440 = 0, m - 1358 = g. Let l be m/54 + 4/(-18). Is 25 at most as big as l?
True
Suppose -s = 9*s + s + 1232. Is s less than -3/8?
True
Let v = -0.188 + -89.812. Let n = -90.039 - v. Let i = n + -0.961. Is -31/3 less than i?
True
Suppose 40 = -5*w + 2*r + r, -5*r + 5 = 4*w. Let m be (-45)/(-27)*32/w. Let k = -218/21 - m. Which is greater: -2/3 or k?
k
Let u(c) = -c**2 + c - 4. Let t be u(4). Let p = -9.4 - 131.6. Let q = p + 142. Which is smaller: t or q?
t
Let v(h) = 6*h + 2. Let a be v(-2). Let w = 170 - 170. Let k be w - (19 + -6 + -2). Is k at most a?
True
Suppose -1997*f + 80 = -2005*f. Does -21/4 = f?
False
Let f = -1962 - -2017. Let j = -6 + 16. Let y be (f/22)/(j/8). Which is bigger: 0 or y?
y
Let t(n) = n**2 - 10*n - 135. Let h be t(-8). Suppose 0 = 5*o + 4*i - 2, 0 = -o + 4*i + 1 + h. Is -2/79 at most as big as o?
True
Let i = -0.6 - -79.2. Let v = 0.01 - 78.01. Let b = i + v. Which is smaller: b or 2/9?
2/9
Suppose -4*t + 5*p - 8 = 0, 5*t + 0*p + 3*p + 10 = 0. Let h = 3.4658 + -0.0458. Let v = h + -3.35. Is v != t?
True
Let b(m) = m**2 - 15*m - 221. Let c be b(-9). Which is bigger: -6 or c?
c
Suppose -4*p + 5*v + 56 = v, 3*v - 54 = -5*p. Suppose -3*x + 64 - p = l, -54 = -l - 4*x. Let o(q) = 462*q - 13813. Let g be o(30). Which is greater: l or g?
g
Suppose 687 = f + 4*s, -2*f + 713 = s - 626. Which is smaller: 666 or f?
666
Let y = 77.9567 - 78. Let p = y + 0.0433. Which is greater: p or -0.19?
p
Suppose 0*z - 3*z = -24. Let j be (39/(-2))/(6/z). Let o be (0 - 2)/(-2*4/(-96)). Which is greater: o or j?
o
Let z = -14997.504 - -14999. Which is greater: 1/4 or z?
z
Let d be 78 - -1 - 4/2. Let p = -314 + 392. Is d greater than or equal to p?
False
Let w(p) = p**2 - 15*p + 6. Let u be w(14). Let a be (-81)/u*4/(-6) + -2. Do a and -10 have the same value?
False
Let m be -118 + 118 - 3*-1*1. Suppose -k + 24 = 3*b, m*k + 4*b = 68 + 4. Do k and 17 have the same value?
False
Suppose 30 = 16*h - 10*h. Suppose -9*k + 12*k = 2*u - 229, -h*u = -3*k - 226. Which is greater: -74 or k?
-74
Let v = -68/481 + 14705/46176. Which is greater: v or 0?
v
Let f(g) = g**3 - 12*g**2 - 27*g + 18. Let n be f(13). Let u be ((-1984)/n)/(-2) + 6. Which is smaller: u or 1?
u
Let m be 3/(-3) + (-16181)/(-209). Let r = m - 13904/171. Is -6 not equal to r?
True
Let m(x) = -9*x + 458. Let u be m(27). Are u and 221 unequal?
True
Let z(v) = 2*v**2 + 27*v - 45. Suppose 0 = -2*a + 11 - 41. Let s be z(a). Which is bigger: s or -26?
s
Let t = 34569733/1914465 - -1/54699. Which is smaller: t or 17?
17
Let o = -2199 + 2486. Which is smaller: 282 or o?
282
Let f = -98 + -94. Is f at most as big as -3?
True
Let f be 1116/(-14) + (-74)/259. Is -639/8 less than f?
False
Let g(p) = -p**3 + p**2 + 2*p + 1. Let j be g(0). Suppose 0 = -5*u + u - 692. Let s = -170 - u. Which is smaller: s or j?
j
Let y(f) = -402*f + 2380. Let g be y(6). Which is smaller: -1 or g?
g
Let i = 334/5 - 67. Let q = 0.091 + -60.091. Let v = q - -66. Is i < v?
True
Suppose 2*v - v = -3*m - 15, 4*m + 20 = 0. Let t(k) = -k**2 - 17*k + 66. Let u be t(v). Which is smaller: u or 65?
65
Suppose 26*k - 2*v - 35 = 23*k, -v - 63 = -5*k. Suppose 6*m = -1 + k. Which is bigger: m or -3?
m
Let o(y) = y**3 - 12*y**2 - 65*y - 40. Let i be o(15). Which is smaller: 0.8 or i?
i
Let h be (63/6)/(-3)*-2. Let p(g) = 2*g + 19. Let m be p(-8). Suppose -3*j = -2*n - 7, 0 = m*j - 3*n - n - 11. Are j and h nonequal?
True
Let u be (-3)/(-1)*9/45. Let q = -3.9 + 4. Which is bigger: q or u?
u
Let y = 7.6 + -15.8. Let w = 79 - 80. Which is bigger: w or y?
w
Let s be 78/(-51)*-4 - (-5 + 11). Is s at most as big as -1.133?
False
Let z = 134 + -137. Let j(i) = -2*i + 34. Let y be j(15). Let c be (126/35)/(y/(-10)). Which is bigger: z or c?
z
Suppose b - 18 = -3*u, -4*u + 46 = 5*b + 11. Suppose -2*d = 2*d, -d = u*l - 2*d. Which is smaller: l or 1/102?
l
Let t(a) = 7*a**2 - 466*a - 157. Let u be t(53). Is 2/7 at least u?
True
Let q = 0 + -3. Let k(l) = 108*l - 81. Let u be k(4). Let n be ((-6)/5)/(3 - u/130). Which is bigger: q or n?
q
Let v(u) = 109*u - 204*u - 39 + 104*u - 7. Let q be v(5). Is -6/13 greater than or equal to q?
True
Suppose 0 = 255*y + 90*y - 43815. Is 13/2 equal to y?
False
Let t be 3168/28 + (-26)/182. Suppose 0 = 15*l - 83 - 1612. Is l >= t?
True
Let g = 0.20432 + 11.06568. Which is smaller: g or -1?
-1
Let b = 6501 - 201522/31. Does -2 = b?
False
Let v = -41527 + 28298. Are -13228 and v non-equal?
True
Let x(n) = n**2 - 23*n - 49. Let c be x(27). Suppose c*w = 54*w + 80. Is 78/5 < w?
True
Let s = -520 - -513.59. Let u = -28.49 + s. Let x = 35 + u. Which is greater: -5 or x?
x
Suppose -21*m = -25*m - 140. Let c = m - -49. Which is smaller: c or 15?
c
Let t be ((-3)/4)/((-9)/(-6)). Let g = -478/105 - -187/42. Which is smaller: t or g?
t
Let b be (-2847)/(-221) - 12 - (-1 - -2)*1. Which is smaller: b or -0.0051?
b
Let u(t) = t**3 + 13*t**2 + 29*t - 5. Let m be u(-10). Suppose 4*k = o + 3*o - 16, m*o - 44 = -k. Which is bigger: 21 or o?
21
Let x be 5/(-40) + 16548/(-32). Suppose 0 = 5*d - 15, -2*d + 2606 = 5*k - 0*d. Let h = k + x. Which is smaller: h or -1/4?
-1/4
Let a = -3/3827 - -1163513/133945. Let m = a - 42/5. Is 44 greater than m?
True
Suppose -286*o = -290*o + 12. Let g be 0*((-35)/(-10) - o). Which is bigger: g or 5/98?
5/98
Let w = -853 - -1030. Which is greater: w or 175?
w
Suppose 89*u = 91*u - 16. Suppose -2*v - v = -12, -4*k - v = -u. Which is smaller: k or 39/16?
k
Suppose -5*s = 5*s - 620. Let m = s - 61. Which is smaller: 15/8 or m?
m
Let i = -9663/5 + 1924. Let l be 45/6*20/(-15). Which is smaller: l or i?
l
Suppose -253*p = t - 258*p + 23997, t - 3*p + 23997 = 0. Is -23997 >= t?
True
Let b = -12.7 + -5.6. Let k = b - -18.4. Which is smaller: k or 0.15?
k
Let w = 0.1429 - -1.0571. Is w at least 16.1?
False
Let d(x) = -5*x**3 + 22*x**2 - 2*x + 4. Let c be d(4). Suppose 3*m + 3 + 3 = 0. Let a be 3/((-3 - m)/(-9)). Which is greater: c or a?
c
Let a(k) = k**3 - k - 12. Let p be a(0). Let h be (-3)/p + (-66)/(-24). Suppose -4*y - 5*d = -28, h*y + 5*d - 18 = 4*y. Is y greater than or equal to 20/7?
False
Suppose 22 = 4*t + 3*w, 2*w - 5*w = 3*t - 18. Suppose 5 = -t*q - 3*y, -9*y + 10 = -2*q - 13*y. Is -102 less than q?
True
Let q = 2/2905 + -2911/