big as 12?
False
Let l = 476 + -385. Let v be 3/6*1/(-2). Which is smaller: l or v?
v
Let q(v) = v**3 + 8*v**2 - 10*v - 9. Let n be q(-9). Let p be 1/((n - -2)/(-10)). Which is greater: p or -6?
p
Let h = 1006 + -1005. Which is greater: -7/38 or h?
h
Let f(m) = -m**2 + 8*m - 10. Let a be f(9). Is a smaller than -181/9?
False
Let y = 486 - 479.98. Let l = y - 6. Let h = l - 0.12. Is h at least as big as -2/35?
False
Let z = 36 + -56. Let a = 19.1 + z. Let l = 1670 + -1669. Are l and a non-equal?
True
Suppose -m = 5*k - 16, 4*m = k + 30 + 13. Let t be 1 - 19*(0 + 1). Let d = t + m. Is d at least 0?
False
Let z(h) be the second derivative of h**4/12 - h**3/2 + h**2 - 6*h. Let f be z(2). Is f <= 2/7?
True
Let t = -1155 - -879. Which is greater: t or -275?
-275
Let h(q) = 2*q**3 - 4*q**2 - 2*q + 8. Let a be h(5). Let x = -110 + a. Is 1/3 > x?
False
Let m(h) = -h. Let v be m(-8). Suppose -4*s = l + 23, 2 = -s + 4*l - v. Which is bigger: -3 or s?
-3
Let j = -133.7 + 131. Which is greater: j or 1?
1
Let j(u) be the third derivative of u**6/120 + u**5/10 - u**4/3 - 7*u**3/6 - 20*u**2. Let n be j(-7). Let o be ((-6)/(-8))/((-7)/4). Which is smaller: n or o?
o
Let u = 13453/1057 + -89/7. Which is greater: u or -1?
u
Let i = 0.9 - 1.2. Suppose 2*d - p = -204, 5*d + 2*p + 75 + 426 = 0. Let u = d - -705/7. Is u > i?
True
Let o(g) = -g + 24. Let f be o(18). Suppose -3*q = -f*q + 171. Which is greater: 56 or q?
q
Let n = -47 + 50. Let s be n - (0 + (-46)/(-14)). Which is smaller: 0 or s?
s
Suppose 0*f - 4*f + 12 = 0. Let m be (-1)/(-4)*436/f. Let v = m - 36. Which is smaller: 0.1 or v?
0.1
Let z be (-2)/1*1/(-2). Let g be (z - 1)/(6/(-6)). Suppose 6 = 3*v - g. Which is bigger: v or 1?
v
Let c(w) = 2*w**2 - 15*w - 15. Let d be c(8). Is 1 bigger than d?
True
Suppose -h - 1 + 15 = 0. Let o = h - 9. Suppose o*x - 5*l = -5, -6*x + 4 = -2*x + 4*l. Which is smaller: x or -1/4?
-1/4
Let r be (-3 - -1)*(-5)/(-10). Suppose -5*h = -4*f - 2, 3*f + 5*h + 2 + 17 = 0. Is r < f?
False
Let v = 73 - 223/3. Let w = 128 - 129. Which is smaller: v or w?
v
Suppose 0 = -23*c - 474 - 400. Which is bigger: c or 3/8?
3/8
Let r be ((-306)/(-132))/(3*(-3)/24). Is r at most as big as -5?
True
Let f = 3/334 - 9525/668. Which is smaller: -14 or f?
f
Let a be 6/15 + (-76)/90. Suppose -6*l + 15 - 3 = 0. Suppose 8 - l = -6*f. Which is smaller: a or f?
f
Let b = 3533/95 - 187/5. Let u(m) = -7*m**2 + 2*m + 2. Let v(r) = -4*r**2 + r + 1. Let n(g) = -3*u(g) + 5*v(g). Let f be n(1). Is b at least f?
True
Suppose -4*t = 2*c + 18, 3*t - 5*c = t + 21. Let q = 288.95 + -297. Let z = q - -0.05. Which is smaller: z or t?
z
Suppose -24 = 12*x - 12. Is x smaller than -14/79?
True
Suppose -6*j = -16*j + 1310. Are j and 131 nonequal?
False
Let h = 0.4 + 2.6. Suppose 14*o + 57*o = -710. Which is smaller: o or h?
o
Let j = 9 - -2. Suppose -85*w + 90*w = 50. Is j less than or equal to w?
False
Let q = -19.6 + 20.6. Let j be 1 - (42/(-27) - -3). Let c = 1/3 + j. Which is smaller: q or c?
c
Let g = -1.007 + 0.007. Let l = -32.96 - -33. Are g and l unequal?
True
Suppose 3 = -l - 2*r - 72, 4*l + 5*r = -288. Which is greater: l or 0?
0
Let r = 55 - 1597/29. Let u(c) = -16*c + 3*c**2 - 17*c + 35*c + c**3. Let x be u(-2). Do x and r have the same value?
False
Let u = -252 + 325. Does 69 = u?
False
Let a = 2.57 + -2.58. Which is bigger: -4 or a?
a
Let m be 5*3/(-21)*383. Let q = m + 273. Let n be 0/(-1 - 2/(-1)). Which is smaller: q or n?
q
Let l = -243/2 + 965/8. Let m(p) = p**3 + 11*p**2 + 10*p. Let z be m(-10). Is l at most as big as z?
True
Let l(g) = -g**3 - 6*g**2 + g + 9. Let i be l(-6). Suppose -n - i = 2*n. Let c be 18/165*(-10)/(-3). Is n greater than c?
False
Suppose -4*g = 5 + 3. Let l be ((-37800)/(-117))/21 + -16. Which is greater: g or l?
l
Let n be (-4027)/(-55) - 6/15. Let s = n - 73. Let p = 205 - 205.5. Is p smaller than s?
True
Suppose -4*h = -h - 702. Let o = 2572/11 - h. Suppose 5*r + 4 = -2*s - 14, 0 = -s - r - 3. Is o at most as big as s?
True
Let x be 3*1 - 11076/156. Which is smaller: -70 or x?
-70
Let o be (-23)/(-3)*(-6)/(-40). Let k = 1/4 + o. Let x(w) = -572*w + 6864. Let j be x(12). Are k and j unequal?
True
Let z(b) = -b**2 - b + 6. Let v be z(2). Which is smaller: 20/19 or v?
v
Let x = -33/82 - -37/41. Is x < 293?
True
Let m(r) = -r**3 + 5*r**2 + 2*r - 8. Let l be m(5). Let i be l/(-3) + 1/(-3). Let c be (14 - 10) + 6*i. Which is bigger: c or -4/7?
-4/7
Let g = -3 + -3. Let z = 32 + -37.5. Let b = z - g. Does b = 0.1?
False
Let k(p) = 6*p**2 - 16*p**3 - p**2 + 6*p**2 + 1 - 10*p**2 - 2*p. Let b be k(1). Let j = -41 - -24. Which is smaller: b or j?
j
Let c be 27/2*5/30*4. Suppose 36 = -0*n + 4*n. Is n greater than c?
False
Suppose -4*g = -6*g. Let p be (g + -1)/(5 + -6). Let r be -1 - p - 20/(-15). Is r less than or equal to -6?
False
Let g be (-2 - -3)*-4 - 3. Let s = -6 - g. Let x = 4.4 + -4.51. Which is smaller: x or s?
x
Let i = -33 - -23. Let t = -0.09 + 10.49. Let z = i + t. Are z and 1 nonequal?
True
Let q = -964 - -18298/19. Which is smaller: q or -2?
-2
Suppose -41*h + 1584 = -3582. Which is smaller: h or 127?
h
Let f be 228/(-252) - ((-24)/63)/(-4). Which is greater: -4/13 or f?
-4/13
Let f(r) = r**2 + 31*r + 132. Let q be f(-5). Which is smaller: 37/19 or q?
37/19
Let m be 3*(-1 - 0)*209/285. Which is smaller: m or -3?
-3
Let y = 1405 + -1406. Do y and -4 have the same value?
False
Let c = -403 + 402.99. Let g = 0.2 + -0.4. Which is bigger: g or c?
c
Let h be (303*-1 - 27/9)/1. Is -306 equal to h?
True
Let n(p) = 7*p**2 - 26*p - 88. Let l be n(-3). Which is greater: l or 429/8?
429/8
Let q be 1*(-136)/(-36) + (-12)/(-54). Is 14/3 > q?
True
Let c be 6 - ((-413)/7 + 4). Let o be (3/(-9))/((-7)/1302). Which is smaller: o or c?
c
Suppose -6*r = -2*r - 84. Suppose 0 = -3*x + 3*z + 6, -5*x - r = -3*x + 3*z. Is -3 greater than x?
False
Suppose 4*y - 5*h + 32 = -h, 2*h = -2*y - 8. Let x be (-3)/y + 4/8. Is x at most as big as -2/21?
False
Let c = -35 - -55. Suppose -570 = -51*w + 21*w. Is c smaller than w?
False
Let b = 12 - -7. Suppose b + 106 = 4*h - 3*j, -3*h - 2*j = -98. Which is smaller: 1 or h?
1
Suppose -95 = 2*y - 5*g, -y - g + 6*g - 55 = 0. Which is smaller: y or 7?
y
Let c = 5 + -1. Suppose 0 = -2*k + 2*m + 14, -4*k - c*m + 20 = -0*k. Suppose j - k = -3. Which is smaller: 4 or j?
j
Let v = -62 - -90. Let s = -25 + v. Let w = 0.07 + 0.03. Is s not equal to w?
True
Let d(c) be the second derivative of c**4/12 + c**3/3 + 3*c**2/2 + 2*c. Let v be d(-2). Suppose g + u - 3 = -0, -2*u = g - 2. Is g less than v?
False
Let l = -1360 - -1360. Which is smaller: l or 1/2402?
l
Let d = 0 - 0. Let r be -3 - -4 - 2239/(-9). Let a = r - 250. Do d and a have different values?
True
Suppose 0 = -j - 3, 2*u - 3*u + 5*j - 26 = 0. Let r = 60 + u. Let q be 2/r - (-9 + 9). Is 1 > q?
True
Let m = 310 + -309. Which is bigger: m or 8/5?
8/5
Let y be ((-7)/(-210))/((-12)/(-1775)) - 5. Is 0 at most y?
False
Let j = -10.32 + 3.32. Which is greater: 16.1 or j?
16.1
Let n = 1.6 + 1.5. Let a = 22.9 + n. Which is smaller: 1 or a?
1
Let p be (-4)/(-14) - (-9251)/(-4). Let g = -2313 - p. Let m = -169/420 - g. Is m at most 0?
False
Let i = -69 - -49. Let h(w) = -71*w - 235. Let j be h(-3). Which is smaller: i or j?
j
Let n = 3 - 1. Suppose g + g + n = 0. Suppose -w - 5 + 4 = 0. Do w and g have the same value?
True
Suppose -4*k + 43 = 3*t, -2*k + 18 = -3*t + t. Suppose 15 = k*x - 5*x. Is -2 greater than x?
False
Suppose -11*h = -14*h. Suppose 33 = -f - 2*z - 3*z, 5 = -5*z. Let k be f*(-2)/12*3. Which is bigger: h or k?
k
Suppose 0 = 3*s + 4*y + 14, -3*y + y - 6 = s. Let p(o) = -o**2 + 5*o + 10. Let z be p(7). Is s > z?
True
Let f(q) = -5*q**3 - 11*q**2 + 9*q - 3. Let h be f(2). Which is smaller: -341/5 or h?
h
Let d(t) = -t**3 - 15*t**2 - 30*t - 9. Let y be d(-11). Which is smaller: y or -161?
y
Let l be ((-9)/6)/(6/16). Let c = 94/25 + l. Which is smaller: -1 or c?
-1
Let i be (-16)/(-128) - -227*3/(-8). Let b be (-53)/(-7) - (i/35 + 2). Is 9 greater than or equal to b?
True
Let w be (2 - 3)*2 + 4. Let p be 2*(-5)/(30/(-9)). Is p > w?
True
Suppose 3*m + 6 = 0, v - 6*v + 60 = -5*m. Suppose -b + v = -s + 6*s, -4*s = -12. Which is smaller: -7 or b?
-7
Suppose 6*t - 62 = -44. Suppose 0 = -3*y + 4*i + 18, -3*i 