 337?
True
Let b(o) = -47 + 5 - 6 + 3*o + 8. Let l be b(15). Suppose 2*r - 2*r = -l*r. Is 1/51 smaller than r?
False
Suppose 22 = 9*y - 25*y - 6*y. Which is bigger: 20/53 or y?
20/53
Let u be (-1 - 0) + (3 - -1). Suppose 37 = 3*t - n, -10*t - 3*n = -6*t - 71. Suppose 2*o + u*o + 3*v = 16, -o + 3*v = -t. Which is smaller: o or 2/7?
2/7
Let a(c) = 4*c**2 + 40*c + 9. Let m be a(-10). Let j be (8/(-12))/((-2)/6). Suppose -5*o + 15 = 0, o + j*o - 54 = -5*x. Is m bigger than x?
False
Let i = -11467 - -10651. Is i equal to -810?
False
Suppose -40 = -26*g + 16*g. Suppose -8*d + 13*d + z + 274 = 0, 4*d = g*z - 224. Which is smaller: d or -54?
d
Let w be -10*5/(-20)*(-84)/(-530355). Which is bigger: w or -0.1?
w
Let t = 195 - 83. Let x = t + -180. Let m = 29 + x. Is -40 at least m?
False
Let z(u) = 2*u**3 + 2*u**2 - 7*u + 4. Let x be z(3). Let l be (-31)/x - (-9)/45. Let k = 3.04 + -2.94. Which is greater: k or l?
k
Let v(z) = z**3 - 3*z**2 + 5*z - 4. Let u be v(2). Suppose -u*f + 18 = 5*h, f = -3*f + 4*h + 8. Which is smaller: f or 51/10?
f
Let f = -15 + 17. Let k be 11 - -1*(f - 6). Suppose -12*v + 125 = -k*v. Is v <= 24?
False
Suppose 28*i = 27*i - 4*t - 274, 5*t = 2*i + 574. Which is smaller: -276 or i?
i
Suppose -10394*g + 10410*g = -5696. Is g at most as big as -356?
True
Suppose 21*m - 18*m + 2*x = 22, 4*m - 4*x = 16. Let l be ((-28)/(-36))/(7/m). Does l = 3.23?
False
Let v be (-596)/(-3 - -4) - -3*(-2)/6. Is v > -608?
True
Let d = 455 + -287. Is 153 < d?
True
Let z = -489 - -489. Is 12/35 not equal to z?
True
Let p(x) = 22*x**3 - 33*x**2 + 14*x - 79. Let b be p(5). Which is smaller: 1915 or b?
1915
Let z be (11 - 17)/(-2 - (-2 - 2)). Let l = 7 - 33. Let w be z/(l/(-7) + 2/7). Which is smaller: 0.05 or w?
w
Let v(w) = w**3 - 2*w**2 + w - 36. Let f be v(0). Is -18 < f?
False
Let x = 227 + 187. Let w = 413.9 - x. Is w at most 114?
True
Let k = 177 - 177. Let a be ((-5)/5 + k)*-61. Which is greater: a or 62?
62
Let x be 15/12 - (((-265350)/40 - -12) + -2). Is x greater than or equal to 6626?
False
Suppose -2*b + 172 = -3*y, 4*y - 116 = 4*b - 468. Which is smaller: 82 or b?
82
Let h be -8 - -120 - (1 + 0/2). Suppose -l = -6*l, -3*d - 5*l = h. Is d bigger than -35?
False
Let d(n) = -6*n**3 - 272*n**2 + 23*n - 30. Let y be d(-8). Is -14550 < y?
False
Let d be 2956/385 - (-140)/3850 - (-1 + 9). Which is greater: d or -174?
d
Let m(x) = 9*x**2 - 85*x. Let v be m(7). Let n be (-114)/(-304) - v/16. Suppose -2*j = -y + 7, -2*j + 25 = 4*y - 3. Which is bigger: y or n?
n
Let r = -95851/30 + 14976/5. Let i = r - -46765/234. Suppose -22*n = -6*n + n. Which is smaller: i or n?
n
Let b = -12069/19 + 636. Which is smaller: 2 or b?
b
Suppose 2*i = -2*a - 28, 114*i + 11 = -4*a + 119*i. Let g be (-9)/(a/(-422)) - 7. Is g at most -430?
False
Let h(g) = -g**2 + 60*g + 58. Let o be h(-26). Is o <= -2180?
False
Suppose 11*i - 1620 = 360. Let f = i + -46. Is 133 greater than f?
False
Let h be (145716/22112)/(9/(-14)) - 4. Let k = h - -2/2073. Which is greater: -1/3 or k?
-1/3
Let u(r) = 2*r**3 - 104*r**2 + 57. Let j be u(52). Is 62 != j?
True
Let d = -270 + 268. Which is smaller: d or 3.02?
d
Let b(g) = g**2 - 2*g - 5. Let u be b(4). Let y = u + -1. Suppose y*w - w - 30 = 5*p, -3*p + 5 = 4*w. Are p and -4 nonequal?
True
Let j be ((-6)/(-4) - 1)*10. Suppose -2*g - 8 = -2*q, g - j*q = 2*g + 4. Let c be (-7)/g + -2 - 2. Is c <= -2?
True
Let c = 408 - 423. Let l be (-8)/((-40)/c) + (-1 - -6). Is 26/9 less than l?
False
Suppose -3*c + 16 = 4*t, 5*c + t = 16 + 5. Suppose 3*j = c*n - 4, -4*n = -12*j + 7*j - 4. Is 7/94 bigger than j?
True
Let w be (30/(-90))/(((-8)/3246)/(2/6)). Which is smaller: w or 44?
44
Let n = -1171 + 779. Which is greater: n or -390?
-390
Let b(x) = 3*x**3 + 9*x**2 + 15*x + 12. Let i be b(-6). Suppose -a + 5 - 1 = 0, -2*u + a - 810 = 0. Is u greater than i?
False
Let f be -386*((-2640)/32)/(-33)*1/(-5). Is f less than or equal to 193?
True
Suppose 2*z + 12*w - 538 = 0, -39*z + 40*z - 297 = w. Which is greater: z or 287?
z
Let k = -14097.108 - -14097. Does 0.11 = k?
False
Let p be 6*(-1)/((-12)/8). Suppose 21 = -t + 3*i, i - p*i = 3*t + 27. Let l be (-4)/3 + (-8)/t. Which is greater: 0 or l?
0
Let z = 388 + -387. Let s be 4 - ((42/7 - -1) + -17). Is z less than or equal to s?
True
Let j be 1/70*-1*4. Suppose -92 = -5*k - 4*v, -3*k + 4*v - 36 + 104 = 0. Suppose -h - 3*f + 14 - 2 = 0, -3*h - k = -5*f. Which is smaller: h or j?
j
Suppose 0 = 5*y - 40 - 95. Suppose 8 = y*q - 23*q. Suppose 0 = q*t + t + 6. Is t > 2?
False
Let v(a) = 26 + 8 - 3*a - 14. Let c be v(6). Suppose -c*p = 3*p - 3*y + 134, 0 = -p - 4*y - 13. Is -24 < p?
False
Let q = 12 + -45. Let a = 39 + q. Let i be (a/(-1845)*3)/(7/35). Which is smaller: i or 0?
i
Let d = 5086 - 5133. Is -50 at most d?
True
Let a = 0.101 - 0.073. Let m = a - 0.218. Let d = 2.19 + m. Is 3/5 at most d?
True
Let v = 1902 - 1902. Suppose g - 36 = -g. Suppose g - 6 = z. Is z < v?
False
Let h = -3.7 + -81.3. Let d = 85.2 + h. Which is bigger: d or 62?
62
Let s be (-17)/(17/(-8)) + 92. Suppose -3*a = -2*j + s, 4*a + 172 = -a - 2*j. Which is smaller: a or -33?
a
Let z be 1799/(-21)*45/30*-2. Is z > 263?
False
Let u be 69/(-12) - 2*(-3 - 0). Which is greater: u or 0.1859?
u
Let y = -11/28 - -717/2324. Which is smaller: y or -1?
-1
Suppose -d + 5*p + 89 = 3*d, -47 = -2*d + 5*p. Let f(x) = x**2 + 2*x - 1. Let m be f(0). Let o be 22/m*(-2 + 1). Is o less than or equal to d?
False
Let f = 1 - 1. Suppose 0 = -4*k - 4*j, -5*k + 0 = 3*j + 2. Let d be k + 74/570 + 16/20. Which is smaller: f or d?
d
Let z = 1265 - 775. Let l = z - 490.2. Which is greater: 43/3 or l?
43/3
Let b = -87.733 - -0.033. Let l = b - -87.7. Which is bigger: 0.528 or l?
0.528
Suppose 171*k = -325451 + 875387. Is 3215 less than k?
True
Let w be 7 + -22 + -2*2. Suppose 95*s + 156 = -1744. Which is smaller: s or w?
s
Suppose -195 = -0*j + 5*j. Let f = j + 37. Let w be (-7)/f - (-3 - -2). Is w greater than 4?
True
Let j = 5517 - 82753/15. Does j = 707?
False
Let z be (-4*3*1/(-8))/((-6)/4). Is z > 1/1654?
False
Let g(b) = b + 9. Suppose -15*x = 85 + 80. Let q be g(x). Is -2 greater than or equal to q?
True
Let r be (-22)/(29 - 18)*(-2 + 10). Is r greater than or equal to -27?
True
Let m(j) be the second derivative of -11*j**4/12 - 4*j**3/3 - 19*j**2/2 + 108*j. Let q be m(-4). Which is bigger: q or -162?
-162
Let o = -378.9685 - 0.0315. Let h = o + 335. Let g = 1 + -1.1. Is h smaller than g?
True
Let k be (-1 - -1)*(6 - 7)*-1. Suppose k = -6*t - 94 - 86. Is -92/3 not equal to t?
True
Suppose -22*p + 23 = -25*p + 26*p. Is p < 10/161?
False
Let j(b) = b**2 + 6*b - 31. Let z be 2*(-24)/(-12)*(-18)/8. Let d be j(z). Let y = 1414 - 7092/5. Is d greater than y?
True
Let o be (-2 - -4)*(-1104)/(552/23). Is o at least -101?
True
Let f(x) = -x**2 - 48*x + 7. Let r(g) = -2*g**2 - 48*g + 7. Let s(c) = 5*f(c) - 6*r(c). Let b be s(-7). Which is bigger: -8/27 or b?
b
Let d = -281 + 81. Let a = -197 - d. Which is smaller: -0.009 or a?
-0.009
Let l = 4293 + -4292. Is 1036 bigger than l?
True
Let g = 32521 - 19362. Which is greater: g or 13158?
g
Let y = -561 - -2207/4. Let a = 605/68 + y. Which is smaller: a or 6?
a
Let o(z) = -z**3 - 10*z**2 + 2*z + 9. Let y be o(-4). Let s be (6/(-24))/(y/10). Which is smaller: -1 or s?
-1
Let p be (138/9)/(2217/(-3645) - 36/(-60)). Is p greater than or equal to -1863?
True
Suppose -2*l + 127 = c + 125, 0 = -3*l - 2*c + 4. Is -2/5 >= l?
False
Let o = -1376 + 1320.1. Let a = 139 - 83. Let j = a + o. Which is bigger: 1.8 or j?
1.8
Let a be 2*-1*5/20*-28. Suppose 2*y = a + 208. Is 111 at most as big as y?
True
Suppose 3*q + 2*q = 2*a - 8808, -2*a - 5*q = -8828. Suppose 12*r + a = -1255. Is r <= -472?
True
Suppose 20*r + 127 + 113 = 0. Let a be 46/10*(r - -11). Which is bigger: 2 or a?
2
Let w be (1 - (-34)/(-90)*3)/((-192)/87264). Is 62 at most w?
False
Let f(x) = -x**2 + 36*x + 418. Let m be f(46). Let t be 0 - m/(-210)*(0 - -2). Which is smaller: 1 or t?
t
Suppose 3*p - 3*h - 10 = 8*p, 21 = -4*p - 5*h. Let g be 24/(-12) + 610/606 + p. Which is greater: 1 or g?
1
Let p(a) = -118*a - 2330. Let k be p(-16). Is k at least as big as -444?
True
Suppose 0 = 5*c - 5*b - 5, 0 = 5*c - 5*b + 3*b + 4. Let w be -7 + 12 + (-8 - (-4 - c)). Which is greater: 