ig as 10?
True
Let t(c) = -c**3 - 11*c**2 + 9*c + 3. Let y be t(-12). Let a = 40 - y. Let i(v) = -v**2 + 3*v + 4. Let j be i(4). Is a bigger than j?
True
Let s(m) = -5*m + 13*m + 0 + 4 - 3*m. Let f be s(1). Which is bigger: 10 or f?
10
Suppose -q = -2*k + 6, 4*q + 0 + 10 = k. Let v be 0/(q/(-1 + 0)). Suppose -6*m + 7*m - 4 = v. Which is greater: 7 or m?
7
Let h be ((-200)/(-12) + -2)/(6/9). Let k = h + -22. Which is smaller: k or -2/53?
-2/53
Let f = -160 - -145. Which is smaller: -13 or f?
f
Let q be (-9)/(-3) - ((-27)/4)/(-3). Which is smaller: q or 0.02?
0.02
Let h = -104 + 103. Let c be h*((-91)/(-18) - 5). Which is greater: -1 or c?
c
Suppose 0 = 2*y - 2 + 10. Suppose 3*g + 5 = -t + 22, 0 = 3*t - 4*g + 1. Which is smaller: y or t?
y
Let q(x) be the second derivative of -6*x - x**2 - 1/12*x**4 + 0 - 1/2*x**3. Let l be q(-4). Is -6 at least as big as l?
True
Let f be 36/(-162) - (-236)/9. Let t be 10/(-40) + f/8. Which is bigger: 18 or t?
18
Let g(d) = -5*d - 19. Let l be g(-10). Let z = 60 - l. Let r be 2/4*(z - 8). Which is smaller: 10 or r?
10
Let b = 68 + -68. Let n be -1 + 0 + (-2 - (b + -3)). Which is smaller: 1/3 or n?
n
Suppose 0 = 4*x - 14*x - 1190. Is x less than -2/9?
True
Let x(f) = -f**2 - 33*f + 254. Let d be x(6). Is 0 != d?
True
Suppose -14*n + 26 = 208. Is n equal to -19?
False
Let c be (2 + 0)*(-4 - (-2 - 3)). Let s be 0 + 2/(80/12 - c). Is 0 != s?
True
Suppose 0 = -3*u - 3*g + 39, -2*u = -u - 3*g - 9. Suppose 10*s + 60 = u*s. Let v be -6*(-4 - (-129)/s). Which is greater: -1/3 or v?
-1/3
Let c be (0 + -1)/(8/(-18)). Let g be 5 + (-2)/(-6)*9. Let i = g - 5. Do c and i have the same value?
False
Let k be ((-21)/(-9))/((-217)/1674). Let a be 2/(-3) - (-110)/(-6). Is k greater than a?
True
Suppose -250*z = -97*z - 153. Let b = -324 + 9395/29. Which is bigger: z or b?
z
Suppose 5*x = 39 - 9. Let b = -10 + x. Let n = -5 - b. Is -3 bigger than n?
False
Let o = -2/1009 - -43403/8072. Which is smaller: 6 or o?
o
Let u be (450/(-20))/(1/(-2)). Suppose 0*m - u = -5*m. Let q be (-1)/((-102)/m)*-2. Which is smaller: -1 or q?
-1
Let p(o) = 6*o**3 + 1 - 10*o**3 + o**2 + 0*o**2 - o. Let k be p(1). Let r be 3/(-2 - (k - 0)). Do r and 2 have the same value?
False
Let r(t) = 2*t**3 + t**2 - 2*t - 1. Let n be r(0). Is -32/43 < n?
False
Suppose 1 + 4 = 5*j. Let g(u) = -5*u + 24. Let b be g(2). Let m be 17/((-9282)/60) - (-8)/b. Which is greater: m or j?
j
Let v be -32*(-11)/(440/50). Which is smaller: 36 or v?
36
Let x = -23 - -15. Let l be (15 - -1)*(-12)/x. Let s(o) = -o**2 - 20*o + 23. Let k be s(0). Which is greater: l or k?
l
Let y = 10128140/3741 + -8122/3. Do -1 and y have the same value?
False
Suppose 0 = -11*t + 12*t - 3*d - 50, 3*t - 3*d = 174. Is t at most 61?
False
Suppose -5*i = l + 1805 + 1607, 0 = -5*i - 3*l - 3416. Let d = 5443/8 + i. Which is greater: -3 or d?
d
Let m be 9/(-3)*(-80)/(-6). Let j(r) = -r**2 + 4*r + 6. Let o be j(9). Does m = o?
False
Let o(c) = -4*c**3 - c**2 + 12*c + 40. Let f be o(-4). Is f less than or equal to 232?
True
Suppose -o = 2*o + 3. Suppose 2*d + 18 = 5*d. Let u = d - 3. Which is greater: o or u?
u
Let y(c) = 19*c**2 - 5*c + 17. Let j be y(3). Which is smaller: 174 or j?
j
Let b be 7/((-301)/(-46)) + -1. Let g = -275 + 276. Is b at most g?
True
Let y = 32 + -29. Suppose 26 = -y*x + 41. Is -7 not equal to x?
True
Let p = -852 + 9369/11. Let c = 0 - 1. Which is bigger: c or p?
p
Suppose -4*m = -5*h - 193, -2*m = -99*h + 96*h - 97. Which is bigger: 54 or m?
54
Let i be (2/(-25))/(4/(-20))*5. Suppose 0*q = q - 3, j = -i*q. Which is greater: -10 or j?
j
Let h = -0.121 + -0.569. Let t = -1.69 - h. Which is bigger: -34 or t?
t
Let x(j) = 5*j**2 - 4*j + 6. Let d be x(-5). Let t = d - 2261/15. Which is smaller: t or -1?
-1
Suppose -5*z = 2*t - 29, -z + 2*t - 9 = -2*z. Suppose 2*m + 3*a = -55, -2*m + z*a - 21 = -m. Is 2 at most m?
False
Let z = -11 + 67. Let u = -56.1 + z. Are -5 and u equal?
False
Suppose 0 = 2*n + 5*n + 49. Let f(d) = d**2 + 7*d - 2. Let t be f(n). Which is smaller: t or -3?
-3
Suppose 6*m - 153 + 213 = 0. Is m at most -10?
True
Let y be ((-4)/279)/(13/((-351)/(-90))). Is 1 greater than y?
True
Let n = 14 - 8. Let f(p) = p**3 - 11*p**2 - 11*p - 1. Let k be f(12). Suppose -5*x + k = -24. Do n and x have different values?
True
Suppose -2 = 2*h + 4*q + 2, 5 = -3*h - 5*q. Suppose -3*w + h*w = 0. Suppose -4*x = -w*x. Which is smaller: x or -2/11?
-2/11
Let m be (5/(-4))/(7/(-28)). Suppose -r = -8 + m. Let x = 8 - 8.03. Is x > r?
False
Let h = 1032 + -696. Which is greater: 1 or h?
h
Let p(x) = x**3 - 3*x**2. Let r be p(3). Let n be 99/(-30) + (r - -3). Let i = -7 + 6. Which is greater: n or i?
n
Let g be 3 + (2/(-5) - 130/50). Suppose 0 = -g*z + 4*z - 4. Is -13 at least as big as z?
False
Suppose -13*x + 12*x = 0. Suppose 2*p - u + 3 = -x*u, 3*u = -3*p - 18. Which is smaller: p or -2?
p
Let w be 2/(0 - 8 - -6). Are w and 0.23 equal?
False
Let q = -6 - -6. Suppose q = 2*c + 14 + 8. Let m = -11 - c. Which is bigger: m or -6/5?
m
Suppose 21*m = 27*m - 12. Suppose 0 = -m*j + 21 - 5. Are 37/5 and j equal?
False
Let g be (-120 - -13)*1/(-4). Let p be (3 - 16)/((-1)/(-2)). Let x = p + g. Which is smaller: 2 or x?
x
Let i = -1 + 0. Let u be (1/2 - 1)*(-147)/539. Which is greater: i or u?
u
Let c be (-1)/(1 - (-18)/(-15)). Suppose -3*h - 2*x + 3 = x, h + 17 = c*x. Suppose -k + 3*q = 3 + 2, 9 = -2*k + 5*q. Is k smaller than h?
False
Let z = 3295041126871/36947770422 + 30/44301883. Let f = z + -535/6. Which is smaller: 0 or f?
0
Let t = 0 + -1. Let q be 1 + -3 + 3 + t. Let i = 13256 - 13256. Is q bigger than i?
False
Suppose 4*s = 4*y + 2*s + 24, 3*s - 20 = 2*y. Let w = y - 5. Let n = w - -10. Is n at most 0.5?
False
Let z = 3 - 6. Let k(c) = 3*c**2 - 2*c**3 - 2*c + 4*c + 3*c**3 + 2 - c. Let v be k(z). Is 2 at least v?
True
Let s = -193 + 193. Let c = 39 + -32. Which is smaller: s or c?
s
Suppose 3*p = -0 - 6, -2*p - 13 = -3*s. Suppose -4*g - 3*o = 14, 3*o = s*g + o + 2. Let r be 4/14 - 40/42. Is r less than g?
False
Suppose -17 = -4*n + 11. Let v be ((-10)/n)/(1/(-7)). Let c = v - 7. Is 1 smaller than c?
True
Suppose 5*n = 2*n - 246. Let m = n + 266. Let l = m - 538/3. Do 4 and l have the same value?
False
Suppose -h + 2*h - s - 1 = 0, -5*s = -4*h. Suppose -3*p + h*r - 24 = 2*r, 23 = -p + 4*r. Let t be 2/3 - 1/p. Which is bigger: 5/7 or t?
t
Let p = 0.0488 + -0.1488. Is p at most 24?
True
Let k = 0.2 - 0.25. Let u = -16 + 14.7. Let v = -1.3 - u. Is k <= v?
True
Let u = -397 + 396. Which is smaller: u or 2/109?
u
Suppose 0*l = -l - 72. Suppose -2*m - 26*a - 144 = -22*a, 0 = 4*a. Does l = m?
True
Suppose 9*s - 5*s = 184. Suppose -l = -3*j - 0*l + s, 0 = 2*j + 5*l - 59. Which is smaller: j or 1?
1
Let d be -3 - ((-11)/(-3))/(-1). Suppose 5*p + 4*z - 58 = 0, -3*z - 52 = -4*p - 18. Let u be (2/p)/((-2)/(-4)). Which is smaller: d or u?
u
Let i = 97 - 105. Let h be (-41)/(-78) - (-4)/i. Does -1 = h?
False
Let t be 6*(-5)/100*21/28. Is t at most as big as 0?
True
Let u be ((-494)/(-127) - 3) + -1. Which is smaller: -1 or u?
-1
Let l be (0/1)/(-2 - -1). Let g be -18*7/(84/16). Let c be 10/(-14)*((-308)/g)/11. Is l <= c?
False
Let z = -3.27 + 3.2. Let u = 32 - 32.17. Let n = z - u. Which is greater: -0.14 or n?
n
Suppose 2*v + m = -1174 + 121, v + 4*m = -537. Do -524 and v have the same value?
False
Suppose 0 = -m + 2 - 0. Suppose -4*d = -m*d. Let h be (3/(-6))/(5/(-6)). Which is bigger: h or d?
h
Suppose -205 - 2 = 9*x. Is -68/3 less than x?
False
Suppose -2*z + 2*n + 22 = z, -36 = -5*z + 3*n. Let x = z + -10. Is -3 at least as big as x?
True
Suppose 0 = -l - 7 - 25. Let c = l + 14. Do c and -17 have the same value?
False
Let d(g) = g**3 - 2*g**2 + g. Let z be d(2). Let t be 0*1/z - -1. Let b be t + -1 + -2 + 0. Does -1/2 = b?
False
Let m = 0.26 - 0.62. Let h = 0.36 + m. Are h and -37 non-equal?
True
Let o(q) = -q**3 + 7*q**2 + 16*q + 9. Let z be o(9). Suppose 5*u + 40 = u. Is z equal to u?
False
Let t = -1144 + 14854/13. Which is smaller: 0 or t?
t
Suppose 17*g - 3374 = 10974. Which is greater: g or 845?
845
Let r(v) = -4*v**2 + 36*v + 62. Let j be r(14). Is -217 less than or equal to j?
False
Let d = -23 + 13. Let h be (8/d)/((-4)/120). Let o be 30/h + (1 - 0). Are o and 2 nonequal?
True
Let z = -0.073 - 