g?
s
Let o be (0/1)/(2*1). Let g(i) = -i**3 + 6*i**2 + 7*i - 9. Let q be g(7). Let y be ((-4)/6)/((-21)/q). Which is smaller: y or o?
y
Suppose -2*q + 1 - 3 = 4*c, -q = 4*c + 1. Let z be ((-1)/2)/((-189)/18). Let x = z - 10/21. Which is smaller: x or c?
x
Let r be -3 - -169*(-2)/(-132). Let u = r - 2/33. Let c be (3/2)/((-6)/8). Which is smaller: c or u?
c
Let m(x) = -5*x - 1. Let q be m(-1). Let i be 48/(-45) + q/6. Is i at most as big as 1?
True
Let g(m) = m**3 + 6*m**2 + 4*m - 4. Let a(b) = -b - 3. Let x be a(-6). Let k = -2 - x. Let z be g(k). Which is bigger: z or 0?
z
Suppose 4*g - 5*o - 20 = 0, -3*g + 4*g + 2*o + 8 = 0. Suppose -q + 6 = p - g*p, -q - 5*p = 2. Let y = q + -5. Is y less than or equal to 3?
True
Let k be (16/(-4) + 3)*2. Let u be 8/30 - k/(-5). Suppose -1 = -a - 2. Is a equal to u?
False
Let z = 2.1 + -11.1. Let s = -9.2 - z. Which is bigger: 0.3 or s?
0.3
Let d be (-210)/4*(-76)/(-6). Let i be 2/3 + d/30. Let o = 21 + i. Which is smaller: o or 0?
o
Let l = 4 + -4. Suppose m + 5*p - 1 = 0, m - 3*p = -3*m + 4. Is l at most m?
True
Let b be (16/(-3))/(4/(-6)). Let z be ((-1)/(b/(-12)))/(-9). Which is bigger: z or 0?
0
Suppose 0 = 5*v - 8*v - 36. Is v >= -11?
False
Let r be (8/(-12))/((-2)/6). Let w = 61/2 + -30. Which is bigger: w or r?
r
Suppose -86 = 4*f + 5*t, -4*f - 55 = -f - t. Which is smaller: f or -56/3?
f
Suppose 0 = 3*g + 5*b + 12, 4*g - 2*g + 8 = -3*b. Let n be ((-2)/3)/(g/(-6)). Is -7/4 > n?
False
Let f(x) = -x**2 + 8*x + 24. Let h be f(11). Do h and 1/5 have the same value?
False
Let c = 7 + -6. Is 1 less than c?
False
Let q be 26/7 + (-6)/(-21). Let p(o) = 3*o + 2. Let c be p(q). Let x be 2 + c/(-4) - -2. Which is greater: 0 or x?
x
Suppose 0 = 5*b, 0*x + b = -x + 4. Suppose 2*z - q = 8, -3*z + 5 + 7 = -q. Is z greater than x?
False
Let w = 16 + -16.1. Which is greater: w or -6?
w
Let j(t) = -t**2 + 5*t. Let g be j(4). Suppose s + s - g = 0. Suppose -4*i - 4*z - z - 28 = 0, -2*i = -s*z - 4. Which is bigger: -1 or i?
-1
Let s be 1 + 0 - 2/5. Suppose -3*q + 18 = -42. Suppose 5*z - q - 5 = -5*i, z = 3*i - 7. Which is bigger: s or z?
z
Suppose -o + 0*q = -q, 0 = -2*o - q. Let n be (-18)/495*(o - 5). Is n at least as big as -2/3?
True
Let x = 0 - 7. Let u = 9 - 15. Let d = x - u. Do d and -1 have the same value?
True
Let d = -2 + 3. Let w = 14063/300 + -189/4. Let i = -1/25 - w. Is i bigger than d?
False
Let c = -2 - -2. Let j = c + -0.3. Let x be (-2 + 4)*(-2)/14. Is j at most x?
True
Let z = 0.8 - 0.74. Let y = 0.94 + z. Let p = 0 + y. Which is smaller: -0.1 or p?
-0.1
Let u be 18/(-48) - 2/(-4). Is -1 equal to u?
False
Let i(x) = -x**3 - x**2 - 2. Let p be i(-2). Suppose -u + 6 = 5*h - p*h, 12 = 5*u - 3*h. Is 3 <= u?
True
Suppose -3*h - 11 = 16. Which is smaller: h or -5?
h
Let y = 95 + -95. Is 2/275 not equal to y?
True
Let y = 6 - 2. Let b(k) = 2*k - 3. Let n be b(y). Suppose 6*o + n = o. Is 0 > o?
True
Let i = 1 + -0.98. Let o = 0.18 + i. Is 5 less than or equal to o?
False
Let k be 1*8*(-5 + 6). Suppose 0 = 4*o + k - 32. Suppose -2*n + 4 = -o*n. Which is greater: n or 1/4?
1/4
Let u be (-1)/(-3) + 33/9. Let v(q) = -q**2 + 13*q + 15. Let o be v(13). Let n be 2*(o/6)/1. Is u not equal to n?
True
Let b = -29 - -28. Suppose -5*k + 21 = 6. Which is smaller: k or b?
b
Let y(i) = i - 1. Let o be y(-3). Let r(x) = x**3 - x**2. Let n be r(-1). Let s be -3*n/3*-2. Is s != o?
False
Let u = 0.04 + -0.34. Is u greater than or equal to 3?
False
Let l = 7/12 + -1/3. Is l at most -89?
False
Suppose -d - 5 = -o, d - 2 = 2*d. Let t be o - (-3)/(-3) - 1. Which is smaller: t or 3/7?
3/7
Let y = -0.8 - 0.2. Is 5 equal to y?
False
Let r = -1859/7 - -265. Let z be 0/(0 + 2*-1). Which is smaller: r or z?
r
Let v(a) = -a**2 - 4*a + 2. Let z be (-1)/3 - (-38)/6. Let k = -10 + z. Let r be v(k). Which is greater: 3 or r?
3
Suppose 4*x = 3*m - 343, 0 = -3*x - x - m - 355. Let f be (-4)/10 - (-6102)/(-70). Let w = f - x. Which is bigger: w or 1?
1
Let k be 8/(-10)*(-100)/40. Is k < 0?
False
Let o = -3/2 - -17/14. Let t(x) = -2*x - 9. Let y be t(-5). Which is smaller: o or y?
o
Let q = 0.08 - 0.38. Let w = q + 0.4. Which is smaller: w or 4?
w
Suppose 0 = 5*v + 4 + 16. Let r be -2 - 2/(-4)*2. Let s be ((-3)/54)/(r/v). Is s at least -1?
True
Let u = 19/3 - 6. Is 5 at most as big as u?
False
Suppose 5*u - 4*u - 6 = 0. Suppose 2*k - 4*t + u = 0, k + 2 = -t - 1. Which is bigger: k or 0.3?
0.3
Let q be ((-357)/2)/(-7)*(-4)/6. Are -18 and q nonequal?
True
Suppose 6*p + 88 = 2*p. Let g be p/(-5) - (-6)/(-15). Are g and 5 unequal?
True
Let h = -38 - -59. Let d = h + -64/3. Let x = 1.3 + -0.3. Which is smaller: x or d?
d
Let y be (6/52)/(6/(-24)). Which is smaller: y or -1?
-1
Suppose -3*w + 34 - 1 = 0. Which is greater: 10 or w?
w
Let w = -0.81 + -41.19. Is w not equal to -0.1?
True
Suppose 2 = 3*g - 16. Suppose 3*m + g + 6 = 0. Let w be (2/10)/(m/10). Is 2/9 smaller than w?
False
Suppose -m - 7 = -8*m. Let l be 130/164 - 1/2. Let d = l - 218/1025. Is m >= d?
True
Let f = -75 - -41. Which is smaller: -35 or f?
-35
Let m = -53 + -31. Let g = m - -926/11. Which is greater: g or 0?
g
Let n be 0 - (3 + -5 - 6). Let d = n + -19. Let c be ((-2)/5)/(d/(-5)). Is c at most -1?
False
Let g(c) = -3*c**2 + 2*c**2 + 11*c + 0*c**2 - 4*c - 6. Let p be g(5). Is p >= 4?
True
Let w be (24/30)/(2/10). Suppose -w*k = -2 + 6. Suppose 2*r + 2 = 2*h - 2, -r - 4 = -3*h. Is r != k?
False
Let m = 1026 + -1031.51. Let l = m - 1.59. Let n = l - -7. Is n != -5?
True
Let y = 152/255 - -6/85. Is -14/3 at most as big as y?
True
Let d = 0.2 + -0.3. Let u = -0.9 + 1. Let t = u - d. Which is greater: -1 or t?
t
Let g = 56.4 + -62.02. Let w = g + 6. Let d = w - -0.02. Is d equal to 2/5?
True
Let q be (90/120)/(2/(-12)). Which is bigger: q or -1?
-1
Suppose 2 - 12 = -2*d. Suppose d*f = 3*s - s - 15, 3*s = -3*f + 12. Which is smaller: f or 2/19?
f
Let o be (4/(-6))/(6/9). Which is smaller: o or 1/138?
o
Let x = -5/56 - 515/504. Which is bigger: x or -2?
x
Let x(b) = -2*b**2 + b. Suppose 4*l - 3*i + 8 = 0, -2*i = 2*l + 3*i - 22. Let k be x(l). Let d = 331/9 + -37. Is k <= d?
True
Let u = 403/3 - 138. Which is bigger: -3 or u?
-3
Let g = 2339/52 - 45. Is g equal to -1?
False
Let z(o) = -o**3 + 9*o**2 - 10*o + 10. Let n be z(8). Let m = n + 12. Let b(x) = x**3 - 7*x**2 + 6*x + 1. Let i be b(m). Is i smaller than -1/4?
False
Let z be -5*(36/10 - 3). Let m be -2*z/(-6)*1. Let w be -2 - (3 - (-3)/m). Which is smaller: w or -3?
-3
Let z = 23 + -53. Is -28 equal to z?
False
Let r be (-6)/(-5)*(-35)/49. Suppose -3*a - 2 - 4 = 0. Which is smaller: a or r?
a
Let j = 11 - 3. Suppose 0 = i + i + j. Suppose k = y - 8, -3*k + 5*y = -6*k + 16. Is i > k?
False
Suppose -2*z + 6 = -0. Suppose -14 = 3*p + 5*i, p + 15 = 5*i + 37. Let j be z/27*20 - p. Which is bigger: j or 0?
j
Let n = 0.02 - 3.22. Let u = -40 + 37. Let a = n - u. Which is bigger: a or -3?
a
Let j be 0 + (-354927)/15 + 3. Let w = -23734 - j. Let i = w + 75. Does i = 0?
False
Let n = 487/5 + -97. Let t = 1/5 + n. Let u be -1*(2 + -1) - -1. Which is bigger: u or t?
t
Let h = 71 + -139/2. Let t = -81.5 - -82.5. Is h at least as big as t?
True
Let i = 5.02 + -0.02. Which is smaller: 6 or i?
i
Suppose -2*x - 2*v = 6, 2*x + 5*v + 13 = 1. Do x and 0 have the same value?
False
Suppose 3*d + u - 2 = 2*d, 0 = -2*d + 5*u - 3. Let v(n) = -n**2 + n + 2. Let h be v(2). Let r = h + 3. Is d less than r?
True
Let u = 3.6 + -3.8. Which is smaller: 6 or u?
u
Let i be (128/11)/(-2) + 4/(-22). Which is greater: -5 or i?
-5
Let a = -0.7 + 0.64. Which is smaller: 2/5 or a?
a
Let a = 9.59 + 0.41. Let m = -38 + 22. Let j = a + m. Which is greater: j or 0?
0
Suppose 0 = 2*n - 4*n + 10. Suppose -n*x - 35 = -5*a, -5*x = a - 4*x + 3. Which is smaller: a or 0?
0
Suppose 4 = -c - 3*c + 3*t, -4*t = 3*c + 28. Suppose -5*p + 0*x = 2*x + 31, -3 = x. Is c <= p?
False
Suppose 5*n + 16 - 1 = 4*t, 4*n + 2*t - 14 = 0. Are 2/9 and n unequal?
True
Let a = -1745/63 + 230/9. Let k = 127/56 + a. Are -1 and k equal?
False
Let o be 3 + (2 - 0) + -6. Let s be 1/9*1*3. Which is greater: s or o?
s
Let q = -8 + 12. Is 1 at most q?
True
Let j be -5*1/2*(-112)/(-105). Which is smaller: 2/3 or j?
j
Let k be -3*-1*11/3. Suppose 0*d - d = -12. Which is greater: k or d?
d
Let r = -738/5 + 1