 d or 1?
1
Suppose 2*g + 8 - 38 = 0. Let d be (-7)/12 + 5/g. Which is greater: d or 0.8?
0.8
Let p be (4 + -1)/((-3)/8). Which is smaller: -9 or p?
-9
Suppose -20 + 4 = 4*k. Let f = 1.9 + -1.2. Let o = f - -0.3. Which is bigger: k or o?
o
Let w(j) = j - 13. Let y be w(12). Which is greater: y or 0.09?
0.09
Let t = 29 + -206/7. Which is smaller: -1 or t?
-1
Let g(c) = -c + 3. Let h be g(7). Let r be h/(-14) - (-72)/(-105). Which is smaller: 1 or r?
r
Let a(y) = -2*y - y**3 - 24*y**2 + 18*y**2 + 1 + 0. Let u be a(-5). Is -14 at least as big as u?
True
Let j be (-5)/(-1)*(-4)/50. Let i be 6 + 1 + -4 + 2. Suppose 20 = -5*k, -7 = i*m - 0*m + 3*k. Is m greater than or equal to j?
True
Suppose 3*f = v - 4, 0 = 2*f - f + v. Does f = -3?
False
Let j(p) = -p**3 + 9*p**2 - 7*p - 2. Let t be j(8). Let a be (-2 + 1)/((-2)/14). Which is bigger: t or a?
a
Let z be (1/15)/((-3)/(-9)). Let b(m) = -m**3. Let v be b(-1). Suppose v = 5*h - 4. Which is smaller: h or z?
z
Suppose 0 - 16 = 4*d. Which is smaller: -3 or d?
d
Let g(v) = v**3 - v**2 + 2*v - 3. Let z be g(2). Let a = -62 + 61.9. Which is smaller: z or a?
a
Let w = 24 - 23. Let l be ((-420)/99)/4 - -1. Is l > w?
False
Let f be (-5)/(-25) - (-166)/(-5). Let d be (0 - f/18) + -2. Does d = -1?
False
Let c(b) = b**2 + 5*b - 8. Let y = 0 + -6. Let k be c(y). Let q be 1 + (-1)/(-1)*k. Which is smaller: 0 or q?
q
Suppose -4*m + 18 = 2*p + 3*p, 3*p - 5*m = -4. Suppose -5*k = -p - 3. Is 3 at most as big as k?
False
Let d = 3 - 20. Is d greater than -18?
True
Let p be ((-10)/(-60))/((-1)/4). Which is greater: 5 or p?
5
Suppose 4*g - 6 = 6. Let r be (g/(-4))/((-2)/(-8)). Is -1 greater than r?
True
Suppose -2 = 2*r + 14. Which is bigger: -9 or r?
r
Let s be 1/2 - (-34)/(-4). Let d = -17/2 - s. Which is greater: -1 or d?
d
Let i be 69102/228*(-8)/(-6). Let t = -404 + i. Which is smaller: t or 1?
t
Suppose 2*x = 2*b + 22, -3 = 5*b - 18. Let z be (-4)/x - 11/(-63). Suppose 5*c - c + 4 = 0. Which is smaller: c or z?
c
Let m be 14/6 + 2/(-6). Let b be (-1 + 2)/((-1)/m). Let r = 28 - 30. Is r <= b?
True
Let c = 16 + -9. Let m be -2 + c/(98/24). Does m = 2?
False
Let z = 0.21 - -0.89. Let v = z + -0.2. Let n = -0.1 - v. Which is smaller: -0.2 or n?
n
Let h = -7 + 7. Let i = 1/63 + -22/63. Is i > h?
False
Let j(h) = 3*h**2 - 25*h + 5. Let t be j(8). Is -3 > t?
False
Let v be -1*(-9)/(-6)*-6. Suppose -2*c + 3 = -v. Is -0.1 < c?
True
Let s be 18/10 - (0 + 2). Let q = 11 - 11. Which is greater: q or s?
q
Let o be (-254)/(-4) + (-1)/2. Suppose 0 = 4*l - 3*u + o, -16 = 5*l + 4*u + 24. Do l and -13 have different values?
True
Suppose -u = -0*u - 4. Let i be u/((-2 - -1) + -6). Does i = -1?
False
Let d = 1/13 + 9/52. Suppose t + 5 = 6*t. Is d not equal to t?
True
Let t = -9 + 14. Do t and -1 have the same value?
False
Let u be (-4)/(-150)*5*5. Is 1 >= u?
True
Let j = 0 + -0.1. Let d = -1.4 - -0.5. Let x = j + d. Do x and 2 have different values?
True
Let t = -1 - -2. Let x = 110 + -101.1. Let w = x + -9. Which is smaller: t or w?
w
Let r(i) = -3*i - 83. Let o be r(-29). Suppose 5 = 3*g + u, -16 = -5*g - u - 5. Which is smaller: g or o?
g
Suppose 0 = 11*x - 7 - 4. Which is greater: x or 33?
33
Let n be -2 + (0 - (1 - 3)). Let k(s) = s**2 + 8*s + 10. Let u be k(-7). Let j be (-3)/45 - 1/u. Which is smaller: n or j?
j
Suppose 0 = -0*o + o. Let c(b) = -b**2 - 6*b - 6. Let k be c(-4). Let g = k + o. Is g != 3?
True
Let g = 3 - 3.1. Let c = 1.3 - 1. Let m = c + g. Which is bigger: 2/5 or m?
2/5
Let o = 472/3 + -156. Which is greater: o or 1?
o
Let r = 1.09 - -4.81. Let c = 6 - r. Which is greater: c or -2/3?
c
Suppose 2*y + 2 = -0*y. Suppose 30 = -5*o + 5*i, -20 = -9*i + 4*i. Let w be (-1)/(o/(4/6)). Is w less than y?
False
Let v = 112 - 561/5. Let m be 0 - 2 - (7 - 2). Let u be 2/m - (-9)/7. Is u at most v?
False
Let l(i) = -i**3 + 5*i**2 - 2*i. Let m be l(2). Suppose -9*s + 49 = -41. Is s at least m?
True
Let i = 12 - 7. Let u be i/(-20) + (-14)/(-8). Is u less than 1?
False
Suppose -2*j - 2*u + 8 = -j, 0 = -3*j - 4*u + 18. Suppose -o - 7 = -2*l + j, -5*l = -3*o - 26. Let h be (-5)/o - 2 - -1. Is 0.1 at most as big as h?
False
Suppose 4*w = -w. Which is greater: w or -2/27?
w
Let z be (6 + 8/(-2))/7. Is 0.2 equal to z?
False
Let t = 0.9 + -0.97. Let s = t + -0.23. Let d = 8.9 - 9. Is d not equal to s?
True
Let i(n) = -n**2 + 6*n - 2. Let j be i(4). Let u be 1 + (-1)/((-4)/j). Suppose -4*f = -5 - 11. Which is bigger: f or u?
f
Let d = 36 + -38. Which is bigger: d or 0.3?
0.3
Let i(c) = c**3 + c - 3. Let w be i(0). Let o = w + 5. Do o and 2 have different values?
False
Let s = 7 - 5. Suppose -s*w = 2*w. Suppose w = -4*d - d + 5. Is d at least -2/13?
True
Suppose 5*r - 14 = 1. Do r and 7 have the same value?
False
Let y = -0.15 - -0.2. Let m = -0.43 - -3.38. Let n = m + y. Which is smaller: -1 or n?
-1
Suppose -b - 4*i = -3*i - 7, -2*b = 4*i - 18. Suppose 3*h + 27 = 3*z, -5*z + b*h + 15 = 6*h. Let y = -4 - z. Is -8 less than y?
False
Let t = -0.43 + 7.63. Let o = 1.2 - t. Is o greater than 0?
False
Let n = 1 - -61. Is 61 greater than n?
False
Let x = 26 - 25. Let c = -47.3 - -40. Let h = 7 + c. Which is greater: x or h?
x
Let u(b) = -2*b + 16. Let v be u(7). Suppose -2*o + 4*a - 2*a + 10 = 0, -v*a + 26 = 2*o. Is 9 > o?
False
Let q = -5 - -5.1. Let a be (-4)/(-6) - (-2)/(-6). Which is smaller: q or a?
q
Let o(n) = n - 8. Let z = -7 + 12. Suppose -c + 4 = -z. Let j be o(c). Which is smaller: 1/14 or j?
1/14
Let y be (-2)/(-7) - 66/(-14). Suppose -4*x - y*g = -x + 6, 4*g = 5*x - 27. Is 3 at least x?
True
Let n = 20 - 12. Is n smaller than 7?
False
Let x be 212/792 + (-2)/9. Are x and -1 equal?
False
Let f = -0.3 + 0.1. Let i = 1 - 3. Which is greater: f or i?
f
Suppose -4*q - 248 = -2*n, 3*q + 0*n + 197 = -4*n. Is -64 greater than q?
False
Let i(q) = -6*q. Let r(m) = 7*m - 1. Let h(t) = -6*i(t) - 5*r(t). Let z be h(-12). Which is smaller: z or -5?
z
Let n be 3/2*-2 + 33. Let u be (-12)/n - 4/(-10). Let s = 4 - 3. Is s at least as big as u?
True
Let l = -4.11 + 0.11. Let a = l - -2. Let d = 1 + a. Is -0.1 < d?
False
Let w be 14/(-49) + (-107)/(-7). Let t be (8/20)/((-21)/w). Suppose 0*p + p - 2 = 0. Do t and p have the same value?
False
Suppose 0*o = 5*d - 2*o - 1, -4*o = -5*d + 7. Let c = -47/2 + 22. Does d = c?
False
Let g be ((-9)/17)/(3/(-2)). Is g >= 1?
False
Let j = -330 - -335. Suppose -2*r = -6*r + 16. Which is smaller: j or r?
r
Let z be (4/8*0)/3. Is 4/13 < z?
False
Let h = -0.115 + -10.885. Is h greater than -2/3?
False
Let h = 469/6 + -78. Suppose -6 + 2 = -2*u. Let z be u/10 - 1/5. Which is bigger: z or h?
h
Let z = -11.08 - -11. Let p = 0.18 + z. Is p equal to -0.17?
False
Let b be 59 - -5*2/(-5). Let x be 3/b*59 + -3. Is x at most 1?
True
Suppose -15*f - 18 = -18*f. Which is smaller: f or 2?
2
Let k(r) = -2*r - 11. Let z be k(-3). Is z >= -3?
False
Let f = 3.75 - -0.15. Let b = 0.9 - f. Is b greater than 1?
False
Let t = 19 - 5. Let y be (-2)/2 - 63/t. Which is smaller: y or -6?
-6
Let p be -1 + 2 + (18 - 1/1). Is 0.2 at most as big as p?
True
Let h = -22 + 16. Let l = h - -8. Let f = l - 1. Which is greater: 0.1 or f?
f
Let c(o) = -o - 12. Let n be c(-16). Let s be (1 + 0)*(n + -4). Let t be (-1)/24 + (-1)/3. Which is bigger: s or t?
s
Let o be -1 + 3/(0 + 1). Are o and 2 equal?
True
Let h = 9 + -7. Let d be h + (-5)/((-15)/9). Let b(r) = -r + 7. Let g be b(d). Do g and -1 have the same value?
False
Let x = 13 - 14. Which is bigger: -14 or x?
x
Suppose -12*z + 17*z + 5 = 0. Which is bigger: z or 14?
14
Let m be 1/(-1*(-1)/2). Suppose b + m = -2*j, -5*b + 12 = 4*j - 5*j. Suppose 0 = -0*h + h + 3*r + 2, h + 2 = 4*r. Do h and j have different values?
False
Let k be (-3)/3 + 1/1. Suppose -m + 4*m + 27 = k. Let t be (-10)/(-12) - (-6)/m. Is t >= -1?
True
Suppose -4*z - 2 = 6, 4*z = -5*k + 2. Suppose 3*p = -5*v + 8 + 9, -14 = -k*p - 4*v. Which is greater: -1/3 or p?
-1/3
Let b(z) = z**2 - 8*z + 7. Let r be b(7). Suppose -x - x + 22 = r. Is 12 at least as big as x?
True
Let c = 54203/87 - 623. Let d = 9/29 + c. Let z = -16/35 - -2/35. Is d at most as big as z?
False
Let l = 46 + -19. Let b be ((-6)/l)/(1/(-6)). Which is smaller: b or 2?
b
Suppose 0 = 5*a - 1 + 46. Let z = a - -5. Is z less than -7/2?
True
Suppose 2*v + 3*t - 42 