b?
True
Suppose 3 - 7 = 2*d + 4*c, 4*d = -3*c - 13. Which is smaller: -2 or d?
d
Suppose -w - 102 = -69. Which is smaller: w or -32?
w
Let j be (6 - 6)/(0 - -2). Let s be 32/(-34) - (-1 - 0). Which is smaller: s or j?
j
Suppose 0 = -7*b + 23 - 79. Which is bigger: 0 or b?
0
Let b = -14 - -1. Let w = -11 - b. Is w equal to 5?
False
Let t be (-18)/6 - -2*2. Is t at most 3/19?
False
Suppose 0 = 4*c - 3*c + 6. Let m be (c/10)/((-3)/2). Which is bigger: 0 or m?
m
Suppose 0*o - 110 = -5*o. Are o and 23 equal?
False
Let j be (-1053)/855 - (-6)/10. Which is greater: 0 or j?
0
Let j(m) = -m**2 - m - 3. Let h be j(0). Let n be 0/(-1) + h + -1. Let c be n*(1 + 6/(-4)). Are c and -0.2 unequal?
True
Suppose 5*w = w - 20. Is w less than -6?
False
Let v = -0.018 - 5.982. Do 0.2 and v have different values?
True
Let u = -0.2 + 1.2. Let o = -2/201 + 209/804. Is o bigger than u?
False
Let f = 21.1 + -0.1. Let l = f - 22. Do 0.01 and l have different values?
True
Suppose -4*n + 9 + 15 = 0. Suppose n = 2*l + o + o, -5 = l - o. Are -1 and l nonequal?
False
Let g = -20 - -71/3. Do 4 and g have the same value?
False
Let d(f) = -f**2 + 10*f - 9. Let r be d(9). Let u be ((-1)/(-2) + r)*-6. Is -4 < u?
True
Suppose -k - 2*k - 18 = 0. Let q(a) = -a**2 - 6. Let h be q(0). Is k bigger than h?
False
Let d be 0 - (-1)/(-2)*-2. Let q = 203515/2148 - -2/537. Let z = q - 8709/92. Is d > z?
True
Let p(q) = -q**3 - 3*q**2 + 3*q + 1. Let a be p(-3). Let i be a/10 + 2/5. Suppose -2*b + 2*v = -2*v - 14, -2*v = -4*b + 10. Are i and b equal?
False
Let h be 110/(-108) - (0 - 1). Which is smaller: 0 or h?
h
Suppose 2*p = 6*p - 44. Let x(a) = a**3 - 10*a**2 - 10*a - 6. Let g be x(p). Suppose -5*z = -8 - 2. Is g <= z?
False
Let r = -110/3 - -37. Which is bigger: 9 or r?
9
Let w(s) = -s + 4. Let c be w(6). Let r be 2*(-1 + 0)/c. Let j be 2/3*9/24. Which is bigger: j or r?
r
Let d = -2055/7 - -293. Let s(h) = -2*h**3 - 9*h**2 + 6*h + 5. Let k be s(-5). Suppose k*g = 5*g. Which is greater: g or d?
g
Let p = 19.6 - 18. Let v = 0.6 - p. Is 1/2 less than v?
False
Suppose 5*r + 12 = 9*r. Suppose 0 = -w + 2*a - 1 + 9, r*w = -2*a - 16. Is -1/2 >= w?
True
Let p(t) = -t - 9. Let h be p(-11). Which is greater: 2/3 or h?
h
Suppose -4*b = -5*y + 22, 3*y + 1 = 7. Is b not equal to 3?
True
Suppose 1418 = -2*c + 4*c. Let z = c + -19145/27. Which is bigger: z or 0?
0
Let v = 1045 - 9391/9. Which is smaller: v or -1/4?
-1/4
Let j = -8 + 6. Is j equal to -4/7?
False
Suppose 3*y - 3 = 3*w - 7*w, -5 = -5*y + 2*w. Let v = 4 + 1. Suppose -q + 2*s = -5, v*q - 6 - 5 = 3*s. Is q smaller than y?
False
Let d = -6 - -3. Which is smaller: d or -7?
-7
Suppose 31 = 5*h + 4*t, 2*h - t = 4*t + 19. Let s = h - 5. Which is smaller: 1 or s?
1
Suppose 5*y - 219 = -2*k, 533 - 43 = 5*k + y. Which is greater: 98 or k?
98
Let p(v) = v**2 + 14*v + 12. Let o be p(-13). Which is bigger: -19/9 or o?
o
Let y be (14/(-10))/(-1) + -1. Let q = 13.65 - -0.35. Let p = 16 - q. Which is bigger: p or y?
p
Suppose 11*i = 12*i + 47. Is i smaller than -48?
False
Let r(h) = h**3 - h**2 - h + 9. Let g be r(0). Suppose -4*c + 11 = -g. Is c != 0.2?
True
Let w = 0.4 - 1. Which is greater: 2/11 or w?
2/11
Let k(m) = m**2 + 2*m - 2. Let l be k(1). Let y be (-1)/(2/(8/(-34))). Is y bigger than l?
False
Suppose 10*m = 8*m. Is 0 greater than m?
False
Let k(s) = -s**3 + 4*s**2 - 5*s + 4. Let n be k(4). Which is bigger: 2 or n?
2
Let u be ((-6)/(-2))/((-32)/(-8)). Let w = -5/12 - -1/12. Are w and u unequal?
True
Let g be 2/(-9) - 80/(-36). Let b be (-3 + 1)*3/g. Does b = -4?
False
Let n be (-1 + ((-4)/2 - 4))*1. Which is bigger: 1 or n?
1
Let q = -114 - -65. Is q at most -49?
True
Let c = 15/38 + 2/19. Which is bigger: 1 or c?
1
Let n = 7 + -13/2. Suppose 2*y - 3*p = -1, -4*y - 3*p - 13 = 2*p. Which is smaller: y or n?
y
Let i be ((-80)/15)/(3/9). Let d be (2/(-36))/(8/i). Which is smaller: 0 or d?
0
Let d(c) = -3*c + 7*c - 4 - 3*c + 5. Let j be d(6). Do 8 and j have the same value?
False
Suppose -2*b - 24 = 2*b. Let r be 5/7 + b/(-21). Is r greater than -2?
True
Let i = -0.2 + -2.8. Let u = 0.2 - 0.3. Which is smaller: u or i?
i
Let k = -5 - 0. Let n = k + 15. Let x = n + -6. Is 1 at least as big as x?
False
Let h be 5/(-6)*(-6)/(-15). Is h greater than 1?
False
Let r = 0.31 - 0.11. Let a = 1.5 - 0.4. Let t = a - 1. Which is greater: r or t?
r
Let p be 3/(-1) + 84/30. Suppose 2*v - 7*v = 0. Is p not equal to v?
True
Let h be ((-4)/99)/(2/(-3)). Let k = -1277678/99 - -12906. Let z = k + h. Is z bigger than -1?
True
Suppose 0 = -6*m - 93 - 51. Which is smaller: m or -26?
-26
Suppose 1 = -3*d + 2*d. Let h = -7 + 14. Suppose 2*f + h - 3 = 0. Is f smaller than d?
True
Let p = 0.07 - 0.07. Let d = p + 0.9. Let z = d + -1. Which is bigger: z or -2?
z
Let h = 0.1 - 0.17. Let j = -77.07 + 75. Let t = j - h. Do t and 1 have the same value?
False
Suppose -h = -2*h + 2. Let t be 2/h - (-1 + 4). Suppose j = 2*j + 1. Is t != j?
True
Let x = -13683/21199 - 2/1247. Which is greater: x or -1?
x
Let l(u) = u**2 + u - 2. Let c be l(-3). Let q be 3/4 + (-15)/c. Is -5 equal to q?
False
Let h(k) = -k - 1. Let y be h(-3). Let m be 1 + (3 - (3 - y)). Suppose 9*j = 4*j + 15. Is j at most m?
True
Let w be (-1 - (-479)/(-3))/(-10). Let k = 16 - w. Is k equal to -1?
False
Suppose 4*h = -5*x + 22, 1 = -2*h - 3. Suppose 16 = 2*b + x. Suppose b*r - 4 = r. Which is greater: 2/21 or r?
r
Let f = -24154/33 - -732. Suppose -i - i = 0. Is i greater than or equal to f?
False
Let v = -11 - -14. Is v less than -2?
False
Let x(f) = f**2 + 5*f - 9. Let s be x(-8). Suppose 0 = -v - 2*v + 4*n + s, 0 = 3*v + 2*n + 3. Let j = -331/63 - -55/9. Which is smaller: v or j?
j
Let q(l) = -l - 20. Let r be q(-9). Let z be 3 + r/(33/(-18)). Which is smaller: z or 10?
z
Let s be (-4*(-4)/16)/(-1). Which is greater: -0.2 or s?
-0.2
Let i = 3.58 - 0.58. Which is bigger: -0.1 or i?
i
Suppose -4*o = -2 + 6. Suppose -24 = -4*z - 4. Let f be (-1)/(-4)*(6 - z). Which is greater: o or f?
f
Suppose 0 = 4*y + 38 + 10. Let i be 5/((-15)/2)*y. Suppose i = -0*j + 4*j - 4*b, -2*j - b - 11 = 0. Which is bigger: j or -2?
-2
Let x be 8/16*(-2 + 2). Is 21/17 <= x?
False
Let u(i) = -i**2 + i - 1. Let v(f) = 6*f**2 - 3*f + 2. Let c(x) = -3*u(x) - v(x). Let l be c(-1). Suppose -2*g - 5 = 3*g. Is l bigger than g?
False
Let u be 92/12 - 4/6. Let f = u + -2. Which is greater: 6 or f?
6
Let b = 27 + -7. Let t be (-2 - b) + 2/(-2). Let d be (-10 - -7) + t/(-9). Which is smaller: 1 or d?
d
Let b be ((-2)/(-3))/((-64)/30 - -2). Let c be (-4)/((1 - -1)/2). Is b > c?
False
Let v be (-242)/(-55) + (-4)/1. Is v != 3?
True
Suppose 5*v - 3*v - 10 = 0. Let i = v + -5. Let r = 0 - -0.1. Is i bigger than r?
False
Let x = -54 - -49. Suppose 3*o = -2*i - 14, -10 - 11 = 3*i + 5*o. Which is greater: i or x?
x
Let g be ((-1)/(2/4))/(-1). Let o be g/7 + (-16)/7. Is o not equal to -2?
False
Let g = 0.07 + 0.43. Let n = 0.8 - 0.9. Which is bigger: n or g?
g
Suppose -3 = 5*u + 2*v + 7, -3*u + 2*v = -10. Which is smaller: -2/7 or u?
-2/7
Suppose -3*z - 5 = 5*u, -36 = -4*z - u + 5*u. Suppose -r + z = 0, -2*g + g - 2*r + 10 = 0. Do 0.4 and g have the same value?
False
Suppose 2*m = -4 - 2. Let z = m + 6. Is z at most 1?
False
Let q be 9/(-1 - 2) - -4. Is -1/4 <= q?
True
Let s(w) = w**3 - 12*w**2 + 3*w - 16. Let r be s(12). Let u = r - 17. Does u = -1?
False
Let t be (-2)/10 - (-1)/5. Does t = 1?
False
Let o = -487 - -474. Let d be -1 + 13*-1*1. Which is smaller: o or d?
d
Suppose -3*x - 5*f = 25, -2*x + 25 = -4*f - f. Is 0 at least x?
True
Let y = 68.8 + -76.79. Let q = y + 8. Is 0 smaller than q?
True
Let s = -9 - -9. Let d = 1.1 + -9.3. Let o = d + 8. Which is greater: s or o?
s
Let b = 3 - 2. Let z be -1 + (-64)/(-13) + -4. Which is bigger: z or b?
b
Let q = -0.02 - 0.98. Is q at most as big as 2?
True
Suppose -q - 86 = -5*w, 5*w - 3*w + q = 33. Suppose -4*i + 7 = 5*f, 0*f = 5*f - 4*i + w. Are -8/7 and f non-equal?
True
Let w be -7 + 96/18 - (2 - 3). Suppose i + 5*d = -26, 4*d = -3*i - d - 28. Let c be 2 - (0 - 2*i). Is w at most c?
True
Suppose -z = 2*z + 36. Let v = z - -13. Which is smaller: v or 0?
0
Let g = -5 + 25. Let y be -2*(-1)/g*-6. Which is bigger: y or -1?
y
Let u = 2 + 0. Let n = -2 - -3.5. Let c = 0.5 - n. Is c > u?
False
Suppose -2*v +