19734 - 8/897. Let u be 2*2/(-22)*-1. Let t = z + u. Is 0 > t?
True
Let s(f) = -f**3 + 12*f**2 + 4. Let v be s(12). Suppose 6 = -v*n + 2. Which is greater: 2/19 or n?
2/19
Let m = 7 - -2. Let u = -7.31 - -0.31. Let i = m + u. Is i at most as big as -0.1?
False
Let a(d) = -4*d**2 - 2*d + 1. Let t be a(1). Suppose 4*y + 13 + 3 = 0. Is t greater than or equal to y?
False
Let d = 21 + -21. Is d < 1?
True
Let y be 0 + (-5)/(10/4). Let k be (y/(-3))/((-25)/15). Is 1 less than k?
False
Let z be (-2)/8 + (-291)/(-12). Suppose -4*k - o = 27, -3*k - k - 4*o = z. Let h = -11 - k. Which is smaller: h or -3?
h
Suppose 0 = x + p - 4, -6*p = -5*x - 7*p + 4. Which is smaller: 1/5 or x?
x
Suppose -5*m - 42 - 19 = -o, 3*m = -o + 101. Suppose -2*f - g = -47, 2*g = -5*f + o + 34. Suppose -4*i + 2*w - f = 0, -5*i + 3*w - w = 30. Is -4 less than i?
False
Let n be ((-45)/(-27))/(1/87). Let b be (-10)/n - (-2 - -2). Is -1 bigger than b?
False
Suppose -4*u - 36 = 5*u. Let o = 4 + -6. Let b = o - -1. Which is greater: b or u?
b
Let w be 3 - (204/(-10))/(-6). Which is smaller: w or -1?
-1
Suppose 4*f - l = 3, -5*l = -5*f + 9 + 6. Suppose 2*k + f*k = 0. Is k greater than 1?
False
Let h = -3 + 1. Let f(x) = x**2 + 8 - 3 + 0 - 4*x - x. Let i be f(4). Which is bigger: i or h?
i
Let k = 14 + -10. Let f = -3 + k. Are f and 2/7 equal?
False
Let u = 0.07 - -0.13. Are u and -0.4 non-equal?
True
Let x = -41 - -29. Let i = -8 - x. Suppose -3*g + i*g + 1 = 0. Which is greater: g or -4/3?
g
Suppose -1 - 6 = -m. Let a = 8 - m. Suppose -3*w = -2*w + a. Which is smaller: w or 0.1?
w
Suppose 0 = -3*g + 5 + 13. Let n = -8 - -13. Which is smaller: n or g?
n
Let h = 759 - 756. Suppose 0 = -q - 1 - 5. Are h and q unequal?
True
Let z be 3/((-24)/50) - (-8)/32. Is z less than or equal to 2?
True
Let w be (-4)/(-2) + 2 + -2. Suppose 2*n = 3*n - 2. Suppose -s + n*s = 3. Which is bigger: w or s?
s
Let o be (-6 + 4)/(1*-1). Suppose o*w + 2 = -0. Is w at least 3/8?
False
Let y = 2/267 + -548/1869. Is -4 smaller than y?
True
Let s = -6 + 2. Let k be (-1)/(-4) + 13/s. Are -3 and k nonequal?
False
Let z be 116/(-14) + 2/7. Let p be (5 - 1) + 2/2 + -12. Do p and z have the same value?
False
Let z be 2/(-10) - 141/(-180). Which is greater: z or 2?
2
Suppose 4*k + 14 = -v + 3, k - 1 = v. Let b be 0*v*(-3)/(-9). Let h = 0.3 - 0.4. Which is smaller: b or h?
h
Suppose 0*k - 20 = -2*k. Let t = k - 14. Is t smaller than -5?
False
Let d be -2 + 3*2/6. Let s = -6 + 6. Which is greater: s or d?
s
Let z be (-30)/20 - (-5)/2. Which is bigger: 12 or z?
12
Let u(j) = -4*j**2 + j + 15. Let q(v) = -5*v**2 + v + 14. Let c(o) = 5*q(o) - 6*u(o). Let l be c(0). Let n be 5/l*2*2. Which is bigger: -1/7 or n?
-1/7
Let v be (14/18)/((-36)/54). Which is bigger: v or 0?
0
Let n = 1268 - 2605/2. Is n < -35?
False
Let r be 22 + 2/(-4)*-2. Let y be (-360)/(-50)*(-30)/(-9). Which is bigger: y or r?
y
Let b be 2 + (-2 - -4)*1. Suppose 5*l = -5*y + 20, 2*y + 7 = 3*l + b*y. Is 2 less than l?
False
Suppose -5*q = 3*j - 24, 8 + 13 = 5*q + 2*j. Suppose -q*v + 5*v = 0. Which is greater: -4/13 or v?
v
Let n be (-3)/27 - 0/3. Is 1 less than n?
False
Let p be 364/(-18) + (-4)/(-18). Let c be 2/(-12) + 10/p. Which is greater: c or 0?
0
Let v = -2.3 + -12.7. Is v less than or equal to 2/5?
True
Let l = -12 + 20. Suppose l*z = 7*z + 1. Which is greater: z or -2/55?
z
Let x = -181471/286 + 1269/2. Is x at most as big as 1?
True
Let v = 62 - 41. Let m be 2*(3 + v/(-6)). Is 1/5 at most m?
False
Suppose -4*z - 28 = -3*d - d, 4*z + 4*d + 20 = 0. Which is bigger: 1 or z?
1
Let u be (2 - 2)*3/6. Suppose 4*v - 13 + 37 = u. Let i be (-1)/(-55) + v/(-33). Do 1 and i have the same value?
False
Let z be 2 + (-1 - -2)*0. Suppose t = -4 + z. Are -3 and t unequal?
True
Let z = -23.79 + 24. Let t = z + 0.09. Is t less than or equal to 0.1?
False
Let x be (-26)/(-65) - 57/(-5). Which is smaller: 11 or x?
11
Let n be 2/4*(3 + -3). Let t be 2 + 2/(-4)*n. Are t and 10 non-equal?
True
Suppose -3*m + 1 = -2*m. Suppose -5*g - 10 = w - 4*w, -2*g = -2*w + 4. Which is smaller: m or w?
w
Let z be (-6)/(-3)*-4 + 0. Let g be (4/(-30))/(z/12). Suppose -4*x + 2*x + 4*y - 4 = 0, 5*y - 5 = 0. Which is greater: x or g?
g
Suppose q = 5*q - 8. Let f be q*(-1)/(-4)*-2. Does 1/7 = f?
False
Let j = -216/515 + 2/103. Let k = 4 + 8. Let y = 10 - k. Which is smaller: j or y?
y
Let v = 2 - 3. Let a(f) = f**2 + 7*f + 4. Let n be a(-6). Let s be n + (48/23)/1. Are v and s nonequal?
True
Let n = -5/12 + 1/3. Suppose 4*p - 3*p = 4. Let k = -3 + p. Which is bigger: k or n?
k
Let s(o) = -o**2 - 6*o - 8. Let z be s(-3). Which is greater: z or 38?
38
Let t = -14 + 14. Let w be 4/2 - (-24)/(-9). Is t > w?
True
Let a be 3 + -3 - -3 - 1. Let y be 0/(-2 - (-2 + 1)). Suppose -5*j + 7 = -4*g, y = -j - 0*j + 2*g - 1. Which is greater: a or j?
j
Let l be 2/(4*(-3)/(-90)). Does l = 14?
False
Let v be 58/210 - (7 - 5). Let u = -13/7 - v. Which is smaller: 1 or u?
u
Let t = -8.7 + 11. Let f = -2.1 + t. Which is greater: -5 or f?
f
Let j = 67 + -97. Let a be (-5)/j + (-3)/18. Which is bigger: a or -1/4?
a
Let b be (3*-8)/((-5)/(5 - 10)). Is b != -145/6?
True
Suppose 5*s - 594 = 1216. Let u = 3248/9 - s. Is u >= -2?
True
Let p = -10505 + 31784/3. Let a be 2 + (-2 - -4) - 92. Let x = p + a. Is x greater than 3?
False
Let u(w) = w**3 + 9*w**2 + 6*w - 6. Suppose 2*h - 16 = 4*h. Let q be u(h). Which is greater: q or 11?
11
Suppose 8*z - 3*z - 4*y = -79, 2*y + 43 = -3*z. Which is smaller: -13 or z?
z
Let m(v) = v - 2. Let j be m(2). Let t be 4/42*(3 - -3). Which is smaller: t or j?
j
Let o(z) = -4*z - 38. Let a be o(-12). Is a not equal to 64/7?
True
Let v = 12324/7 - 1756. Which is greater: v or 4?
v
Let q = 17.9 + 1.1. Let g = 19.01 - q. Which is greater: g or 0.1?
0.1
Let w = 1.8 + 1.25. Let y = w - 0.05. Which is smaller: -1 or y?
-1
Let i = -315625/44 - -7175. Let l = -5/11 + i. Which is bigger: l or 0.2?
l
Let j be 23/(-12) - 42/(-168). Are -1 and j nonequal?
True
Let w(k) = 9*k + 26. Let z(c) = 4*c + 13. Let i(x) = -3*w(x) + 7*z(x). Let q be i(-14). Let d be 2/(-8) - (0 - 0). Which is greater: d or q?
d
Suppose 0 = 5*w - 9 + 9. Which is bigger: w or -5/8?
w
Let i(a) = -a**3 + 5*a**2 - 4*a - 1. Let m be i(3). Suppose -4*q + 3*f = -4, m*q - 11 = -5*f - 41. Let u = -1 + -1. Is u >= q?
True
Let r(z) = -z**2 - 3*z - 3. Let j be r(-4). Let a be 6/4*-2 - j. Is 4 < a?
False
Let l = 0 - -3. Let a = -2 + l. Is a at most -1/4?
False
Let f be 0 + 3/((-9)/(-3)). Suppose 3*k - f = b, -2*k = -k + 3*b + 13. Is k != -1/4?
True
Let x = -94/3 - -464/15. Suppose 0 = -2*h + 4*h. Let s be h/((3*2)/3). Is x less than s?
True
Let x(c) = -c. Let b be x(-1). Suppose -z = 2 - b. Let h = 2 + z. Which is greater: h or -2/5?
h
Let b be 17/(-1 - -2) + (-2 - 1). Which is greater: b or 15?
15
Let n = -13064/315 + 290/7. Which is bigger: n or 1?
1
Let s be ((-9)/15)/(1/(-25)). Suppose s*p - 18 = 18*p. Is p equal to -4?
False
Suppose -4*z + z - 3 = 0. Let b(x) = 494*x**3 - x**2 - x. Let r be b(z). Let s = r - -2478/5. Which is bigger: 1 or s?
s
Let c be 603/567 + 2/(-7). Does 0 = c?
False
Let p = 0.92 - -0.18. Let c = p - 1. Which is smaller: c or 0.2?
c
Let p(g) = -133*g**3 - g**2 - g + 1. Let j be p(1). Let w = -672/5 - j. Let r be (-1 - -2) + (0 - 0). Which is bigger: r or w?
r
Let g = -433/28 - -63/4. Let y = 1.2 - 0.5. Let q = y + 0.3. Which is smaller: g or q?
g
Let v(h) = 2 + 3*h**2 + 4*h - 6*h**2 + 2*h**2. Suppose 0 = m - 4*m + 4*t + 23, t = -2*m + 8. Let x be v(m). Which is greater: x or -4?
x
Suppose 0 = -5*i + 35 + 255. Which is greater: i or 59?
59
Suppose -16 = 3*t - 28. Which is greater: 5 or t?
5
Let m(l) = 3*l - 30. Let c be m(13). Which is smaller: c or 12?
c
Suppose -18 = -x - 15. Which is greater: 4 or x?
4
Let b = -4 + 6. Suppose b*k = 5*l - 11, -2*k - 2*l + 17 = -k. Which is smaller: k or 6?
6
Let p = 71/20 - 23/10. Let b = 3 + -2. Which is bigger: b or p?
p
Let h be (-111)/12 - 2/(-8). Let x(l) = -l - 4. Let u be x(h). Is 4 less than or equal to u?
True
Let u be ((-1)/(-2))/((-22)/(-136)). Let x = 838/153 - 1214/561. Let s = x - u. Is s at least as big as 1?
False
Let j = 76 + -531/7. Let n(x) = x**2 + 2*x - 4. Let m be n(-3). Which is greater: j or m?
j
Let o(n) = -n**3 - 5*n**2 + 5*n - 4. Let q be o(-6). Let v