?
-1
Suppose -2*q = 3*r - 470, -q + 5*r + 131 = -104. Let m = q + -223. Which is smaller: m or 8?
8
Let m be -4245*(-5 - -6) + (8 - 13). Which is greater: -4251 or m?
m
Let c be 75640/(-6314) - 2/(-7). Let r = 2734762/41 + -66698. Let h = c + r. Which is greater: h or -9?
h
Let j be 16/(-2) + (557 - -2). Let m = j - 575. Which is greater: m or -25?
m
Let x = -754682/7 + 107535. Let s = x - -276. Is s at least as big as -7?
True
Let m = 3150 - 59881/19. Which is bigger: m or 0?
0
Let u be (-9 - 9)*3/(9/(-2)). Suppose 0 = -i - u*i. Let b be 605/(-195) - (0 + -3 - i). Which is bigger: b or 0?
0
Suppose 0 = -2*v + 30 - 28. Let y be (-1)/6*(2 + 6 - v). Which is smaller: 0 or y?
y
Let d = 121342789/1473 - 82378. Do 0 and d have different values?
True
Let y = -0.368 + -156.632. Let q = -163 - y. Suppose 0 = 2*x - 6*x. Is q equal to x?
False
Suppose -9 = 3*h, -5*j + 4 - 1 = -h. Let u = -8.9 + 9. Let n = u - 0.2. Which is smaller: j or n?
n
Let k = -75 - -174. Let v be (k/(-225))/(2/5). Suppose 3 = 5*l - 3*d, 1 = 3*l + 4*d + 5. Are v and l nonequal?
True
Let z = 254.2 - 253. Let b = -8.6 + 8.5. Is b greater than or equal to z?
False
Let t be (-4)/6 - (46392/(-36) + 8). Which is smaller: 1282 or t?
t
Suppose 135*x + 168 = 138*x. Is 115 at least as big as x?
True
Let m(g) = -g**3 + 2*g**2 - 3*g + 4. Let r be 6 + 4*15/(-10). Let f be m(r). Do 45/13 and f have different values?
True
Let b = 23319 + -23376. Suppose 0*j = -2*j. Which is greater: j or b?
j
Let n be (-12)/42 - ((-4157)/21 + 18/(-54)). Which is bigger: 204 or n?
204
Let s = 4078 + -4028. Which is greater: 685/14 or s?
s
Suppose -2*u + 0*g - 3*g + 852 = 0, 3*g - 2112 = -5*u. Suppose -u = -11*a - 79. Let q = a - 57. Which is greater: -28 or q?
q
Suppose 0 = 25*n - 52*n - 99279. Is n greater than -3674?
False
Let q = -629 - -592.38. Let n = q + 36. Let h = -0.52 - n. Which is smaller: h or -1.1?
-1.1
Let u = -101 + 11. Let c = u + 96.6. Let m = c - 9.6. Is m != 8?
True
Let z be (-3)/(-7) + (94160/77)/5. Suppose 0 = z*p - 250*p. Which is greater: p or 2/395?
2/395
Let k(t) = 10*t + 2. Let p be k(-2). Let h = 17/432 + -56279/3024. Are h and p non-equal?
True
Let h = 259 + -257. Let t be (h/20)/(-5 + 233/45). Does -1/4 = t?
False
Let t(r) = r + 3. Let p be t(-2). Let g be (p - 8/6) + 98/(-147). Which is bigger: g or 52/15?
52/15
Let c = -260 + 1039/4. Suppose -2*m + 88 = -2*f, 0*m + f + 208 = 5*m. Let z = 40 - m. Is z not equal to c?
True
Let z(m) = -m**3 + m**2 + 2*m + 2. Let g be z(2). Let a be (-23796)/(-135) + (-1 - g/(-5)). Is a greater than or equal to 176?
False
Let y be (2/((-20)/(-54)) + -5)/((-30)/(-25)). Let p = -15.1 + 144.1. Which is bigger: p or y?
p
Let j = -4044 + 6109. Is 2064 bigger than j?
False
Let x(j) = j**3 + 6*j**2 + 102*j + 386. Let k be x(-4). Are 0.0887 and k equal?
False
Suppose -2*w = -5*d + 12, 2*w + 8 = d + 3*w. Suppose 3*t = -4*j - 17 - d, 0 = 2*t - 2. Let n be (-2)/(-11) - -6*(-272)/264. Is j less than or equal to n?
True
Let l = 0 - -2. Let u = l - 5. Let j be (52/(-16) - u)/1. Which is greater: j or 0?
0
Let i = -4520 - -4519. Let a = -647481/209 - -3098. Is i less than a?
True
Let m = -456 - -457. Let u = -0.17 - m. Which is greater: 1 or u?
1
Suppose -5*z + 2*x + 1 = -34, 4*z - 45 = 5*x. Suppose z*t = -2*o + 5, 0*o - 4 = 2*o + 2*t. Is o greater than -60/11?
True
Suppose 56*u = 8*u - 78*u. Is 99/151 equal to u?
False
Let q be 1 + 14 - 510/30. Which is bigger: q or -2413?
q
Let m = 28218 - 423266/15. Let q = -3 + 4. Which is greater: m or q?
q
Let f(z) = -23*z**2 + 2*z - 1. Let a be f(1). Suppose 0 = -23*c + 9 + 83. Suppose -6*m - 2 = -c*m, 0 = -5*p + 5*m - 100. Which is smaller: a or p?
a
Suppose -300 = 2*l + l. Suppose -23*m + 302 = -3*k - 28*m, k + 3*m + 102 = 0. Which is smaller: k or l?
l
Let g = -493.9765 - -494. Let b = 0.0765 + g. Which is bigger: b or -1/387?
b
Suppose 321 = -13*v + 165. Which is smaller: -143 or v?
-143
Let c be (6/(-14)*784/168)/(2/11). Are 5/33 and c nonequal?
True
Let c = -0.801 - -377.801. Let l = c - 298. Which is smaller: l or 1?
1
Let x(n) = -3*n**2 - 63*n - 130. Let m be x(-3). Which is smaller: m or 28?
28
Let v be (42/8)/(1/4). Let a(t) = -2*t**2 - 44*t - 58. Let u be a(-23). Let b be (4 - u/(-24))*(2 + -65). Is v bigger than b?
False
Let u be 12/469*(-6230)/(-534). Is 1 greater than u?
True
Suppose -5*n - 3*j + 21 = 0, -4 = -2*j - 0. Let l be (-66)/(-24) - (8 + -3 + -6). Does l = n?
False
Suppose 4*u = -12, -2*x - u - 9 = -4. Let w = 14325151/544 - 26333. Does x = w?
False
Let s = -0.99 - -0.18. Let y = 54.19 - s. Let q = y - 54. Which is smaller: q or -3/28?
-3/28
Let r = -7.03 + 7. Let w = -0.225 - -0.255. Let p = w + r. Which is greater: p or 0.8?
0.8
Suppose -2*o + 6*o + 48 = 0. Let w be -3 - 40/o - 195/(-9). Let y be 4/w*((-2)/4 + -3). Is 0 not equal to y?
True
Suppose 0 = -5*r - 4*h + 29, h = -0 - 4. Let u be (-3)/r + 352/588. Let w = 1/49 + u. Which is greater: -10 or w?
w
Suppose 49 + 27 = t + x, -t + 61 = -2*x. Suppose 0 = g - t + 3. Suppose -5*b - 4*m = -332 - 20, -65 = -b + m. Is g greater than b?
False
Let j(b) = -39*b + 1. Let f be j(-7). Let m = 2458/9 - f. Is m <= 0?
True
Let d be 4 + 6/4*-2 + 2. Suppose 10*c = 9*c - d. Let q = -4.62 - 0.38. Is q bigger than c?
False
Let b = 147 - 65. Let v = -90 + b. Do v and 2/9 have the same value?
False
Let p(z) = -z**2 - 5*z - 4. Let g be p(7). Let d = 148 + g. Is 61 at most as big as d?
False
Let b(q) = -8*q**3 + 3*q**2 + 3*q - 6. Let j be b(-3). Suppose -2*t - 212 = -j. Let i = 2 - 2. Is i less than t?
True
Suppose 2*h - p + 11 = 0, 32*p = h + 29*p + 23. Let d = -21.901 - 0.069. Let l = d + -0.03. Are h and l non-equal?
True
Let h = 19440 + -19428. Which is greater: h or 0.369?
h
Let w = 17127 - 17127. Is w < 34/1353?
True
Let s = 126 + -118. Let a be (s - (-131)/(-16))*20/(-21). Is a smaller than 0?
False
Let g be ((-13)/(-3))/(2/6). Suppose -3 = -4*r + g. Suppose -3*j = 3*y - 21, 3*j - 45 = -5*y - 16. Is r at most as big as j?
False
Let m = -51006.31 - -50768. Let s = m - -238. Which is smaller: 0 or s?
s
Let z(c) = c**2 + 2*c. Let i be z(-2). Let h be 5/((-280)/5092) - 3/(-2). Let w = -89 - h. Is i at least w?
False
Let s be 533/(-41) + (-3175000)/(-244232). Is s != -1?
True
Let m(t) = t**3 + 19*t**2 - 44*t - 40. Let o be m(-21). Let c be ((-4)/(-6))/o + 36/54. Is -5/129 at most c?
True
Suppose n - 43 - 65 = v, 4*v = 5*n - 540. Suppose -2*g - g - n = 5*f, f - 3*g + 18 = 0. Let p be f*-2*1/54. Is p at most as big as 1?
True
Suppose 59*x = 66*x - 1435. Let p = 171 - x. Which is greater: -104/3 or p?
p
Let g(c) = -2*c**2 - 181*c + 856. Let v be g(-95). Suppose -5*w + 22 = 7. Suppose l + l = -5*j - 15, w*j = l + 24. Which is greater: l or v?
v
Suppose 21*y + 28284 - 7053 = 0. Let a be y/(-5379) + 12/(-66). Is 1 smaller than a?
False
Let u be (0 + 3)/(69/(-5290)). Is u bigger than -231?
True
Let l = 6050 + -5873. Which is bigger: 181 or l?
181
Let m(l) = -l**2 - l + 4. Let n be m(1). Suppose 0 = n*z + 12 - 20, 0 = -2*i - 2*z + 10. Is i > 6?
False
Let k(u) = u**3 - 20*u**2 - 10*u - 232. Let t be k(21). Which is bigger: 4/1619 or t?
4/1619
Let f = 33.92 + -33.73. Which is bigger: 1/71 or f?
f
Let d = -0.04 - -201.04. Let t = -191 - -190. Is d greater than or equal to t?
True
Let j = 237 + -130. Let z = 107.2 - j. Is 2/9 greater than z?
True
Let z(u) = -25*u + 1020. Let b be z(53). Suppose 4*q + 5*p = -1201, -3*p - 1456 - 55 = 5*q. Which is bigger: q or b?
q
Let p be 3/2*(-42)/9. Let q be (0/p - 2)/(-7). Is q smaller than -8?
False
Suppose 3*g - 3*k - 128 = -4*k, -162 = -4*g + 3*k. Let w be g/(-21) + (-3)/(-1). Which is greater: w or 2/11?
w
Let g(b) = -b**3 + 6*b**2 + b - 11. Let m be 40/(-42)*-12 + 72/(-168). Let r = m - 5. Let t be g(r). Are t and -5 nonequal?
False
Let h = 27589/3 + -120370861/13089. Which is bigger: -1 or h?
h
Let s(k) = -k**3 + 3*k**2 - 13*k - 37. Let q be s(-2). Is q equal to 374/37?
False
Let a = -82 + 69. Let n(b) = b**2 + 15*b + 8. Let x be n(-13). Which is greater: a or x?
a
Let b = -3478630/231 + 15059. Which is smaller: -3 or b?
-3
Let b(k) = 3*k**3 - 5*k**2 + 3*k + 4. Let g be b(3). Suppose 4*t + 241 = 5*a, -49*a - 45 = -50*a + 4*t. Is a less than g?
False
Suppose 0 = 2*w + z + 180, 4*w - 2*z + 390 = 46. Let v = 90 + w. Let j(f) = -36*f - 6. L