e 4 and c nonequal?
True
Suppose 5*w - 5 = -5*u, -5*u - 5 = -4*w + 8. Let j = -17 - -17. Which is bigger: j or u?
j
Let l be (-1 - (0 + -2)) + 0. Let c(g) = g**2 + 2*g. Let v be c(-1). Is l greater than v?
True
Let t = 0.79 - 0.8. Is 0.1 greater than or equal to t?
True
Let l = -8 + 7.6. Is l less than 0.5?
True
Let s = 5637/10 + -563. Is s bigger than 1?
False
Suppose 4*x = -71 - 129. Is -50 bigger than x?
False
Let h be 16/(-12)*(-3)/2. Let f be 10/4 + h/(-4). Suppose -10 - 5 = -5*n. Which is smaller: f or n?
f
Suppose -9 - 11 = c. Which is greater: -19 or c?
-19
Suppose a + 2 - 14 = 0. Let b be ((-12)/8)/(63/a). Is b greater than -1/4?
False
Suppose 0 = -r - 4*r + 100. Which is greater: r or 19?
r
Let o = -0.14 + 0.14. Is 9 equal to o?
False
Suppose -h = -4*h. Let l = h + 0. Let v = -58 + 58.3. Is l greater than v?
False
Let u = -815/707 - -1/101. Let h be (-5 + 3)*(-1)/(-2). Are h and u unequal?
True
Let o = -0.41 - 2.59. Let v be -22 - (-3 - (-3 + 1)). Let a be 8/(-14) + (-6)/v. Does a = o?
False
Let n be (-195)/(-10)*167/12. Let m = 271 - n. Which is smaller: 1 or m?
m
Let h(w) = -w**3 + w**2 + 1. Let b(z) = 4*z**3 - 2*z**2 - 4. Let p(i) = b(i) + 3*h(i). Let l be p(1). Suppose -g - g = 0. Is g less than l?
True
Let t = 5 + -4.7. Let i = t + 0.7. Let h = -16 - -46/3. Is i smaller than h?
False
Let d be ((-30)/(-225))/(1/(-5)). Which is greater: -9 or d?
d
Let l(w) = -3*w + 6. Let m be l(4). Let r be (-4 + 7)*(-2)/m. Let g = 2.1 + -2. Which is smaller: r or g?
g
Let g = -5 + 2. Which is smaller: g or -11/7?
g
Suppose -q = -2*q - 7. Let l(g) = g**3 + 7*g**2 - g - 5. Let b be l(q). Does b = 2?
True
Suppose 3*d + 7 = 7. Which is greater: d or -2?
d
Let u = -92 + 92. Let x be ((-3)/(-46))/((-6)/(-40)). Let t = -96/115 + x. Is u < t?
False
Suppose 3*k = -4*n - 4, -n - 2*n + 39 = -3*k. Are -7 and k non-equal?
True
Suppose 1 - 16 = -5*g. Suppose g*w = -0*w + 15. Let n = 3 - w. Is n != -2?
False
Let y = 3 + -4. Suppose -4*t = -6*t. Which is bigger: t or y?
t
Let h(c) = c**2 + 2*c - 2. Let x be h(0). Let m be (-1)/4 + 3/12. Which is smaller: m or x?
x
Let b be ((-1)/1 + 0)/(-1). Let z = 50.7 + -65.7. Which is smaller: b or z?
z
Let g be -1 + 1 + 1 - -8. Suppose -3 - 22 = -2*d - 3*u, -5*u + 31 = 2*d. Which is greater: d or g?
g
Suppose 3*q + 21 = 54. Let n(p) = p**3 - 12*p**2 + 11*p + 1. Let w be n(q). Let m be (-4)/16*8/(-6). Which is smaller: m or w?
m
Let b = -196 - -292. Let v be 2691/28 + (-2)/8. Let a = b - v. Is a not equal to 0?
True
Let m = -5 + 17. Suppose -3*k + 2 = 2*a, 7*k - 4*k - 3*a = m. Is 2 at least k?
True
Let n = 58 - 55. Is n <= -1?
False
Let q = 833/20 + -169/4. Let r = 2 - 8. Let n = r + 4. Which is greater: n or q?
q
Let q(l) = -2. Let o(y) = y - 1. Let a(i) = 3*o(i) - 2*q(i). Let x be a(1). Let s = x - 2. Are 1 and s nonequal?
True
Let a(r) = 2*r + 11. Let k be a(-5). Is k at most -1/4?
False
Let s be (-4)/(-6) + 11/(-12). Let u be ((-21)/(-6))/(-1) + 4. Are u and s nonequal?
True
Let m = -3 + 10/3. Let a = -0.35 - -3.25. Let x = a + -3. Are x and m non-equal?
True
Let p = -90 + 83. Is -3 < p?
False
Let q = 106 + -529/5. Is -1 > q?
False
Let j be (2/(-4))/((-11)/374). Which is bigger: j or 18?
18
Let h = 87757/5 - 17414. Let c = -137 + h. Let b = -135.93 + 136. Which is bigger: b or c?
c
Suppose 0 = 4*c - 2*c + 4, g - 2*c = 0. Let x be g/(-8)*(-1 + 1). Are 3/8 and x nonequal?
True
Suppose 12 = -30*z + 24*z. Are -17/8 and z non-equal?
True
Let y be (3 + -2)*(3 + -2). Let d = 79 - 313/4. Which is smaller: d or y?
d
Let v = 5.15 + 0.85. Is -1 less than or equal to v?
True
Let l = 31 - 339/11. Which is smaller: 0 or l?
0
Suppose 4*p - 33 = -5*r, 0 = 3*p - 5*p + 4*r + 36. Let g = 12 - p. Which is bigger: -2/3 or g?
g
Suppose 5*a - 4*s - 345 = -5*s, -a - 4*s = -50. Suppose 4*n + a = -3*n. Which is greater: 1 or n?
1
Suppose 5*b + 34 = -3*n, -4*n - 17 = 3*b + 10. Which is smaller: b or -4?
b
Let t = 4 - -4. Which is greater: t or 0?
t
Let v = 2/9697 + -10399/3403647. Which is bigger: v or -1?
v
Let r(q) = q**2 - 6*q. Suppose -j + 5*x + 6 = 0, -3*j + x + x + 18 = 0. Let w be r(j). Is -3/7 less than or equal to w?
True
Let g = 2 - 3. Which is smaller: 1 or g?
g
Let k(b) = b**2 - b + 1. Let o be k(-2). Is 7 less than o?
False
Let g(a) = 2*a - 11. Let y be g(6). Is y != 2?
True
Let i = -12.1 - -12. Is i smaller than 2/11?
True
Let i = 0.14 + 0.06. Let w = 0.3 - 0.3. Which is smaller: i or w?
w
Let o = -0.4 + 0.7. Let y = -3.9 + 2.6. Let w = y + o. Is -2/5 < w?
False
Suppose -21*f - 36 = -19*f. Are f and -18 nonequal?
False
Let r(f) = 8*f + 59. Let i be r(-9). Which is greater: i or -14?
i
Let b = 1 + -1. Let y = -47 - -26. Let a be (2/y)/((-6)/9). Is b equal to a?
False
Let r be 32/520*(-1345)/18. Let w = 40/9 + r. Let y be 0/(2*-1 - -4). Which is smaller: w or y?
w
Let f be 34/(-9) + 4/(-18). Let s = -4 - f. Which is bigger: 0.4 or s?
0.4
Suppose -13*t - 5*t + 198 = 0. Which is bigger: 12 or t?
12
Let z be 0/(3*(1 - 2)/(-1)). Is 3 greater than or equal to z?
True
Suppose -6*i - 25 = 47. Which is bigger: 1 or i?
1
Suppose -c + 4 = 2*r, 3*c - 5 = 4*r + 7. Is r greater than -2/23?
True
Let i = -52 - -158/3. Suppose -3*x - x = -4. Which is smaller: i or x?
i
Let b = 58/5 + -12. Which is bigger: b or -0.1?
-0.1
Let u(w) = -w**3 + 11*w**2 + 11*w + 12. Let p be u(12). Suppose 3*d - h = -1, 2*d - h + p*h = 0. Let v = -145 - -1597/11. Which is smaller: v or d?
d
Let j be (-1*1)/(9/45). Let a(z) = -z**3 - 5*z**2 - 2*z. Let r be a(j). Which is greater: r or 9?
r
Let u be (3 + -2)/(1 - 2). Suppose -3*z + 17 - 20 = 0. Is z at most u?
True
Let p be (-10)/20*-1*4. Let o be (8/(-4))/1 + p. Is 1/4 > o?
True
Let g = -13/36 - -1/36. Suppose -2*m = -3*m + 1. Which is greater: g or m?
m
Let j(z) = z - 3. Let n be j(6). Suppose -4 = -t + n*t. Suppose -2 = o - 0*o. Is o greater than t?
False
Let z = -521.2 + 521. Suppose -2*a - 3 = 5*g, 3*a - 1 = -4*g - 2. Suppose -m + a = -0*m. Are z and m non-equal?
True
Let k be (-8)/(-28) + 4/(-14). Suppose w + k = 2. Which is smaller: 4/7 or w?
4/7
Let i = -4 - -8. Let r(z) = -i*z + 2*z + 1 + z + z**2 - 5*z**2. Let y be r(1). Is -4 greater than y?
False
Let m be 142/6*(-12)/16. Let g = 931/52 + m. Is 0 less than g?
True
Let b = -30 + 54. Let k(w) = -w**3 + 16*w**2 - 14*w - 11. Let s be k(15). Let q be s/(b/9) - 1. Is q greater than -0.3?
True
Let t(r) = -r**2 + 8*r + 1. Let a be t(8). Which is bigger: -3/14 or a?
a
Let j be 26/7 - 2/(-7). Suppose d - j = -d. Suppose 20 = -d*f - 2*f. Is f bigger than -4?
False
Suppose 8*f - 505 = 3*f. Suppose -2*v + 4*v = -p + 17, 5*p + 2*v = f. Suppose -4*m = h - p, h + 3*m - m = 11. Which is smaller: -3/7 or h?
-3/7
Let u be 2 - (3 - (-10)/4). Is -5 <= u?
True
Let o(s) = -s**2 + 6*s + 19. Let w be o(8). Let b(n) = n + 8. Let y be b(-6). Does w = y?
False
Let z(w) = w**2 + 7*w + 7. Let x = -10 - -4. Let r be z(x). Suppose -3*f + 2 + r = k, 0 = -k. Which is smaller: 1/2 or f?
1/2
Suppose -5*g = -4*i - 0 + 3, -5*g + 5*i = 0. Are 1 and g nonequal?
True
Let f = 246/13 + -1851/104. Are f and 0 equal?
False
Suppose -2*l + 3 = -l. Suppose 5*w = 27 - 7. Is l smaller than w?
True
Let a = 2.4 - 2. Let q(v) = -v**3. Let s be q(-1). Let u be 0/s*(-3 - -4). Which is smaller: u or a?
u
Let d = 206 + -2680/13. Which is greater: d or -0.02?
-0.02
Suppose y = -z + 92, 3*y + 4*z - 81 = 200. Let u be (-3)/(-21) - y/21. Which is bigger: u or 0.1?
0.1
Suppose 0 = -0*v - 2*v + 78. Let j = v - 17. Suppose 4*g - 22 = g - 5*l, 4*g - j = -3*l. Is 4 at least g?
True
Let s be -1 + (-3 - -1) - -9. Suppose -s*i = -2*i. Is i equal to 0?
True
Suppose 0 = -0*m - 3*m. Let h be m/4 - (1 + -7). Let c be 16/6 - 4/h. Which is smaller: c or 0.1?
0.1
Let a = 28 - 28.2. Is a greater than or equal to -1/2?
True
Let s = -19.1 - -19. Is 4/13 > s?
True
Suppose 2*r = -0*r + 2*j + 12, 2 = -j. Suppose -r*u + 3*g = 5, u = 5*u - 5*g + 11. Let p be 1 + ((-6)/(-21) - u). Which is smaller: -1 or p?
-1
Let g = -3 + 17. Let k = g + -13. Which is smaller: 2/9 or k?
2/9
Let g = -34.04 + 34. Let q = -1 - -0.96. Let w = q - g. Which is bigger: w or -1?
w
Let s = -10 + 13. Suppose -s*g - 22 - 11 = 0. Which is smaller: -10 or g?
g
Let k(c) = c**3 - 7*c**2 + 7*c - 6. Let i be k(6). Which is greater: i or 1?
1
Let u(m) = -2*m**2 - m + 8. Let i