or 37?
37
Let o = -0.2126 - -0.2126. Which is smaller: o or -8/199?
-8/199
Let s(t) = -t - 10. Suppose -g - 4*g - 45 = -4*c, -57 = 4*g + c. Let n be s(g). Suppose -4*b = -4*f + 3*f, n*b = -3*f - 45. Is -12 at most f?
True
Let m = 3441.92 + -3442. Is m equal to -9/4?
False
Let s(p) = 4*p**3 - p**2 + 3*p + 5. Let o be s(-2). Suppose -5*c = -2*c + w + 109, 5*w + 113 = -3*c. Which is smaller: c or o?
o
Let s = 8.4 + 210.6. Let x = 220 - s. Is 0.14 at least as big as x?
False
Let h = 582.104 - 0.104. Let s = h + -549. Let m = -4 - -3. Which is bigger: m or s?
s
Let i(w) = -14*w**2 + 87*w - 370. Let t be i(4). Is -246 at least as big as t?
True
Suppose -10*r + 2*r - 8*r + 29824 = 0. Which is bigger: 1863 or r?
r
Let i be (-4863)/54 + (-4)/(-72). Is -35 bigger than i?
True
Suppose z - 6 = -2*z. Suppose z*i + c - 1 = -0*i, -3*c = 3. Which is smaller: i or 3/17?
3/17
Let p = 259 + -154. Let v = p - 104. Which is smaller: 10/81 or v?
10/81
Let n(f) = f**2 + 2*f - 49. Let m be n(12). Let s be (m/(-6))/(-7) - 10/4. Which is bigger: 0.01 or s?
s
Let i = 102967/3491709 - -2/20661. Do i and -1 have different values?
True
Let i be (5 - 40/5) + 15. Let a be (2*(-1 - -2))/((-4)/14). Which is greater: a or i?
i
Let c(q) = -q**3 + 22*q**2 - 60*q + 56. Let i be c(19). Which is bigger: 3/4390 or i?
3/4390
Suppose -154*k - 6293 - 15883 = 0. Which is bigger: k or -58?
-58
Let s = 228 + -226. Suppose s*j + w + 3 = 6*j, -3*j + w + 3 = 0. Is -8/29 at least j?
False
Let p(g) = g**2 - 2*g + 5. Let m(o) = o**3 + 14*o**2 + 4*o + 34. Let f be m(-14). Let s = f + 25. Let k be p(s). Which is bigger: k or 6?
k
Let k be 329*(-1)/((-49)/42). Let b = -282 + k. Is b less than 7/32?
True
Let x = -182 + 278. Suppose 88*h = x*h - 184. Are h and 68/3 equal?
False
Suppose 101*q = 16*q - 1955. Which is smaller: -42 or q?
-42
Suppose 3*v - 2 = 4. Let b be 30/5 + (-4 - -104). Let t be (b + v)/3*(-8)/6. Is t less than -49?
False
Let i(g) = 9*g**2 - 13*g - 4. Let t be i(4). Let j be 1*3/(-12) + (-2794)/t. Which is bigger: j or -37?
j
Let v be (-3)/21 - (-110277)/(-30975) - -5. Let b = 32/25 - v. Is -5 >= b?
False
Suppose -20*k + 2 = -5*v - 23*k, v - 5*k + 6 = 0. Which is greater: v or -2/809?
-2/809
Suppose -37*s + 13*s + 1416 = 0. Suppose -2*d + 92 + 93 = 3*h, 126 = 2*h + 2*d. Let i = s - h. Which is smaller: -2/3 or i?
-2/3
Let v be ((-24)/(-596)*11)/(10 + (-333)/36). Is v not equal to 1?
True
Suppose 77*x = 73*x. Suppose x = 10*r - 17*r. Let c = -4/87 - 38/435. Is c less than r?
True
Let v(a) = -a**2 - 25*a - 45. Let d be v(-2). Are -1/2358 and d non-equal?
True
Let h(m) = -4*m**2 + 300*m + 484. Let a be h(69). Is 2140 bigger than a?
False
Suppose 27*g = -113*g - 364 + 84. Which is smaller: 12 or g?
g
Let f(z) = z**3 - 12*z**2 + 4*z - 111. Let d be f(16). Do d and -1 have different values?
True
Suppose 0 = 3*v + 5*v - 760. Suppose 94*o = v*o. Let w = 0.05 + 0.35. Is o bigger than w?
False
Suppose z + v + 8 = 0, 3 = -3*z + 4*v - 0*v. Let k be (7 - (z + 11))*31*2. Let h = k + -89. Is h at most -28?
False
Let o = 4339 + 1497. Is 5837 at least o?
True
Let y = -58064 + 37834. Which is greater: -20229 or y?
-20229
Let p = -6158 + 6286. Let a(i) = -5*i**2 + 5*i - 4. Let o be a(-5). Let n = o + p. Which is bigger: -25 or n?
-25
Suppose 0 = 27*a - 52372 - 13940. Let w be 101*12/a - 8/16. Which is smaller: w or 1?
w
Let u(w) = 94*w - 953. Let v be u(8). Is v at least as big as -223?
True
Let s be ((-809)/(-4))/(36/144). Is s < 7?
False
Suppose 45*q - 41*q - t = 8851, 5*t = -q + 2176. Which is greater: q or 2212?
2212
Let r = 70/23 + -865/322. Suppose -17 - 10 = -3*z. Let d = z + -10. Which is bigger: d or r?
r
Let r be (-4 - -5)*(-2 - 7)/(-3). Suppose 15 = 12*t + r. Is t < 11?
True
Let c = -3306 - -3231. Which is greater: 2 or c?
2
Let q be 8/2 - (-198 - -202). Which is greater: 240 or q?
240
Let n = 3348 - 3347.9. Is n less than or equal to 5?
True
Let n be (24/16)/(1/2). Suppose -5*r + 36 = 3*m, -n*m - 3*r + 6*r = -12. Suppose -b + 6 = -m*l + 4*l, -3*b = -2*l - 18. Is b < 6?
False
Suppose -4*m = -2*a - 12, 2 = 4*m - a - 6. Let u = -33389 - -634431/19. Is m not equal to u?
True
Let d = 0 - 3. Let p be (-1139)/595 - ((-6)/7)/(-3). Which is greater: d or p?
p
Suppose -4*h - 3*l = -66, -2*l + 47 - 141 = -5*h. Suppose -3*n = 4*v - 118 - 71, 5*n - 2*v = 315. Let d be h/n + 16/(-7). Are -2 and d equal?
True
Let g = 6155/3 - 2032. Suppose 1197 = 13*v + 50*v. Is v < g?
True
Suppose -4*j = 4*k + 4012, -286*k + 281*k = -10. Which is greater: -1013 or j?
j
Suppose 0 = -t - t + 8. Suppose 0 = 170*d - 195*d + 650. Suppose 0 = t*m - d - 2. Are m and 12 unequal?
True
Let j(p) = 2*p**2 + 19*p - 8. Let c be j(-10). Suppose c*t + 194 = -g - g, 0 = -4*t - 12. Does g = -94?
True
Let u = -3 + 2.75. Let w = 0.3 + u. Let j(z) = 449*z - 448. Let o be j(1). Which is greater: o or w?
o
Let i(a) = a**3 - 8*a**2 + 10*a - 9. Let d be i(7). Let p be 81/6*d/9. Let m = -77222 - -77240. Is m >= p?
True
Let o(v) = -v**3 + 9*v**2 + 5*v - 21. Let d be o(9). Let z be d/9*(19 - 10). Let x be 23/(-92) + (-3)/(z/(-10)). Is 3 equal to x?
False
Let x = -147/4 + 1041/28. Suppose -v = 5*i - 16, i = -0*v - 2*v + 14. Suppose 5*l + v + 4 = 0. Is x greater than or equal to l?
True
Let d(n) = 3*n**3 - 15*n**2 - 145*n - 5. Let m be d(-6). Let u(j) = j**3 + 6*j**2 - 9*j - 12. Let h be u(-10). Which is smaller: m or h?
m
Suppose 5*s = 217 + 88. Let n = -11706 + 11765. Which is smaller: n or s?
n
Let k be (-32)/(-80) - (81864/(-5))/8. Which is smaller: k or 6142/3?
k
Let h(i) = -i**3 - 5*i**2 - 5*i + 3. Let y be h(-4). Suppose 0 = 19*m - 218 - 67. Suppose m*a - 81 = 6*a. Which is smaller: a or y?
y
Let d be (0 - (-5 + 4))/(-1). Let p = 13 + d. Let k be p/((-6)/2) - 36/(-4). Is 4 at least as big as k?
False
Let q(l) = l**3 - 12*l**2 + 18*l + 20. Suppose -15*c - 48 = -198. Let b be q(c). Which is bigger: b or -1/378?
b
Let l = -2299/350 - -12/175. Which is greater: l or -0.103?
-0.103
Let n = 425 + 80. Suppose 4*s - 2068 = -3*i, 4*s = 3*i + 10 + 1962. Is n greater than s?
False
Suppose 3*j + 2*j = 30. Suppose j*w - 5*w - 10 = 2*x, 5*w - 4*x - 20 = 0. Let p be (-6 - -2) + (-329)/(-63). Is w not equal to p?
True
Let t = 381 + -128. Suppose -99 = 14*z - t. Are z and 12 unequal?
True
Suppose 733 = -12*y - 347. Let x be (-5)/y*(14 + -5). Is x at most as big as 0.055?
False
Let a = 413.42 - 405. Is a > 1/2?
True
Let t(b) = -b**2 - 54*b + 1444. Let u be t(-74). Let f be 68 + (-3)/(-2 - 1). Let y = 34 - f. Is y at least as big as u?
True
Suppose 19372 - 32797 = -15*f. Which is smaller: f or 874?
874
Let r be 125442/90 + 2/10. Let n be r/(-1275) - (-12)/9. Which is smaller: 1 or n?
n
Suppose 4*i + 5*y = -5 + 4, -20 = 4*y. Suppose -442 = i*n + 632. Let a be (-718)/n + (-12)/3. Do a and -1 have the same value?
False
Let o be (-550)/2*(13 - (-1424)/(-80)). Is o at least as big as 7925/6?
False
Let r be 7 + (-20 + 22 - (5 - -3)). Do -23/151 and r have different values?
True
Let q = -615/34 - -16109/884. Which is smaller: q or 0.1?
0.1
Let i = -10/129 - -397/5676. Let a = -120 + 119. Which is smaller: i or a?
a
Let v = -663/20 + -129/20. Which is smaller: v or -2?
v
Suppose -35 = -m - 5*i + 9*i, 4*m - i = 80. Suppose 15 = -d + 5*z, -2*d + 4*z + 10 = 2*z. Let p = m + d. Which is smaller: 30 or p?
p
Suppose -4*h = 4*h + 32. Let d be 222/(-18)*9 - h*1. Which is smaller: d or -106?
d
Let m be ((-26)/(-390))/(72/105) + 3/(-24). Let g(y) = -y**2 + 2*y - 1. Let u be g(-2). Let d(k) = k + 10. Let v be d(u). Do v and m have the same value?
False
Suppose -4*r = 4*d - 3*d + 1, -19 = 3*d - 4*r. Let p be 3/(6*(d/16)/(-5)). Suppose -5*t + p = 4*x - t, 0 = -x + 5*t - 16. Which is smaller: x or -2/23?
x
Suppose -17*m = -14*m, 4*z - 2744 = 5*m. Let q = z + -313504/457. Which is greater: q or 0?
0
Let j = 13 + -25. Let p(w) = -2*w - 11*w + w**3 + 6 - 13 - 6 + 11*w**2. Let l be p(j). Which is smaller: l or 0?
l
Let q = -1129 - -1903. Is q less than 774?
False
Let j = 67.1 - -19.9. Let l = 123 - 46. Let z = l - j. Is z equal to -0.02?
False
Let h be 1*152/2 - -2. Let f(p) = -5*p + 48. Suppose -2*i - 2 = -5*s, 3*s = -i - 4*i - 36. Let v be f(i). Is h <= v?
True
Suppose -5*t - 3*a + 391 = 0, -3*t + 3*a = t - 302. Suppose -756 = 104*b - t*b. Is -36 < b?
True
Suppose -1001 = -349*j +