is greater: 0 or y?
y
Suppose 0 = 2*y + 4, -5*w + 3*y + 48 + 148 = 0. Which is smaller: w or 39?
w
Let k be (-3)/(-7) + 58/(-70). Let w(y) = -y + 4. Let b be w(2). Let r = 3 - b. Which is bigger: k or r?
r
Let p(f) = 2*f + 22. Let a be p(-5). Are 12 and a equal?
True
Let h be (-46)/6 + (-2)/6. Let x(q) = 7*q**2 + 7*q - 14. Let m(w) = -w**2 + 1. Let r(a) = 6*m(a) + x(a). Let u be r(h). Is 1/3 at least as big as u?
True
Let a = 117 - 587/5. Are 27 and a unequal?
True
Let s(z) = z**3 + 6*z**2 - 10*z - 2. Let f be s(-7). Let l = f + -12. Let w = -4 + l. Is w at least 4?
False
Let j = 12 + -12. Which is smaller: -1 or j?
-1
Let r = -113/207 - -33/23. Which is greater: 1 or r?
1
Suppose 3 = -c + k, 4*c + 2*k = 5*k - 10. Let z(b) = 3*b**3 + 2*b**2 + 3*b + 2. Let n be z(-1). Is n smaller than c?
True
Let l(v) = v**3 + 5*v**2 - v - 3. Suppose k - 2*s - 15 = 3*s, 0 = 2*k - 4*s - 6. Let f be l(k). Suppose -3*q = -0*q - 3. Is f != q?
True
Let r(z) = z - 5. Let t be r(3). Let m = -36 + 38. Which is greater: m or t?
m
Let z = -91 + 89.6. Is z at most as big as 1?
True
Suppose -u - 2*z = -3, 8*z - 12 = 2*u + 3*z. Is -10/9 smaller than u?
True
Let y = 461 + -2313/5. Is y greater than or equal to -3?
True
Let i be (4 + (-568)/140)*5. Are 1 and i unequal?
True
Let c(g) = g**2 - g + 1. Let r(p) = 4*p**2 - 10*p + 6. Let q(s) = 6*c(s) - r(s). Let l be q(-3). Let m be l/(-10)*6/(-9). Do m and 1 have the same value?
False
Let k(d) be the second derivative of -d**5/20 - 5*d**4/12 + 7*d**3/6 + 5*d**2/2 + d. Let t be k(-6). Let u be -18 - -19 - (-26)/(-18). Which is bigger: u or t?
u
Let y = 0.2 - -0.8. Let s be -7*1 - (4 - (-4 + 12)). Is y not equal to s?
True
Suppose 3 = 3*a, 4*l = -l - 4*a + 34. Let f be (1/(-2))/(l/18). Suppose -k - 18 = -4*r, -5*k + 5*r = 26 + 4. Which is bigger: k or f?
f
Let o be 18/11*(-16)/(-24). Let k = -167/22 + o. Let n = -6 - k. Which is smaller: n or -3?
-3
Let c = 23 + -39. Let n = 8 + c. Let a be (-2)/n*(-8)/3. Which is smaller: 0.2 or a?
a
Let c = -2 - -5. Suppose -6 = 2*f - 0*f - c*h, 0 = f - 4*h + 13. Let u be f + (-2)/1 + -1. Does 2/11 = u?
False
Suppose 0 = -2*s - 2*b - 22, 9 - 44 = 4*s + b. Let d be 1*(2 - s/(-5)). Which is bigger: d or 3?
3
Let c be (6/(-15))/((-2)/5). Which is smaller: 2 or c?
c
Let g = -8 - -8. Suppose -5*o + 177 = 17. Suppose 3*m = 4*x - 19, -5*x - 5*m + 12 - o = g. Which is smaller: 3/5 or x?
3/5
Suppose -1 = -4*z + 15. Let b be z - 6 - 9/(-4). Suppose 4*k = -0*k. Which is smaller: k or b?
k
Let d = 88/3 + -30. Is -16 <= d?
True
Let u be (-42)/(-12)*40/14. Let v = u - 7. Let y = -6 - -10. Is y smaller than v?
False
Suppose -31 - 101 = -6*r. Are r and 24 equal?
False
Let v be (1 - -3) + ((-27)/21 - 3). Are v and 8 unequal?
True
Let k be 1 - ((8 - 4) + 2). Is k >= -5?
True
Let h(w) = -4*w**3 + w**2. Let r be h(-1). Suppose -r = -5*g, -5*g = 2*u - 4 + 1. Is u >= -1?
True
Let l = 185/4 + -46. Are l and 0 nonequal?
True
Let d be 2/(1/(-2)*-4). Let t = 16 - 11. Is t > d?
True
Suppose 0 = c + 5*k - 38, c + 46 = 3*c + 4*k. Which is bigger: 14 or c?
14
Let b = 179/1416 + -5/59. Let v = b - 11/8. Which is bigger: -2 or v?
v
Let y = 3.05 + -0.05. Is -4 equal to y?
False
Let a = 22 - -19. Which is smaller: a or 40?
40
Let k(u) = u - 3. Let f be k(6). Suppose -7*c + f*c = -24. Let x be (-26)/c + (-4)/6. Is -4 greater than or equal to x?
True
Let k = -48 - -67. Is -1 less than or equal to k?
True
Suppose -5 - 121 = -3*w. Which is bigger: 40 or w?
w
Let v = 111 - 557/5. Let y = -7/2 + 4. Is v less than y?
True
Let f = -0.15 - -0.23. Which is smaller: 0 or f?
0
Suppose 0*r = 4*r - 12. Let z = -2 - -6. Are r and z non-equal?
True
Suppose 0 = -5*f - 1 - 24. Let j = 3 + -8. Is f < j?
False
Let j = -6.8 - -7. Is j at least -1?
True
Let m = 6 + -7. Let l = -0.7 - m. Which is bigger: l or -2/9?
l
Let p be ((-2)/70)/((-6)/30). Which is smaller: -0.2 or p?
-0.2
Let x = -10.2 + 11.2. Are x and -26 nonequal?
True
Suppose -3*i = 2*i + 40. Let q(f) = f**3 + 9*f**2 + 9*f + 9. Let o be q(i). Is o greater than -1/5?
True
Suppose -4*x = -7*x + 39. Suppose 0 = -5*i + 2*u + 2 - 3, 4*i - x = -3*u. Do -2/5 and i have the same value?
False
Suppose -2*f + 8 = -12. Let n(c) = -c + 15. Let l be n(f). Which is smaller: 7 or l?
l
Let v = 1.8 + -9.8. Let i = v - -12. Let l = i - 3.8. Is -3/4 at least l?
False
Let x = -23.9 - -24. Which is greater: x or 0.8?
0.8
Let d be 3/(-6) - (-1)/2. Let x be 0 - 0 - 18*-1. Let a be 4/(-18) + 40/x. Is a smaller than d?
False
Let y be -1*4/(-18) + 0. Which is smaller: 1 or y?
y
Let f be (16/4 - 8)/((-2)/12). Is 22 <= f?
True
Suppose 2*j - 2 + 8 = 0. Suppose -h - 1 = 1. Which is greater: j or h?
h
Suppose 0 = -4*a + 3*l - 19, 4*l = -3*a - 6 + 23. Is a >= 1?
False
Suppose 0 = -2*u + 6, -5*x = 2*u - 4*u + 41. Let o = x + -2. Let p be 2/(-3)*3/o. Is p greater than or equal to -1?
True
Suppose 3*q = -0*q + 48. Suppose -3*i + i = -q. Suppose -2*d + 2*m + 4 = 8, -2*d = 2*m - i. Which is bigger: 0 or d?
d
Let k be 1 + -1 + (0 - 3). Suppose -11*t + 13*t + 4 = 0. Which is greater: k or t?
t
Suppose 4*j + h - 8 = -1, 2*j - h = 5. Let i = 311 + -929/3. Is i smaller than j?
True
Let v be (-44)/(-7)*(-1017)/36. Let j = v - -178. Which is greater: -2/5 or j?
j
Suppose 5*b + 4*q - 2 - 4 = 0, 2*b - 5*q + 24 = 0. Which is smaller: -1/13 or b?
b
Let i = 0.077 - -8.523. Let b = i - 3. Let c = b - 6. Which is bigger: 1 or c?
1
Let o = -35 - -38.1. Let p = o + -3. Let i = -70 - -70. Which is greater: i or p?
p
Let u = -4.2 + 6.2. Is 5 less than u?
False
Let y = 42 + -44. Let p = -6 - -3. Is y bigger than p?
True
Let q be 1*(-2 + 4 - 0). Suppose 0*v = -v - q. Let p be 1*(1 + v/(-2)). Is 2 at most as big as p?
True
Let j(g) = -2*g - 24. Let v be j(-12). Which is smaller: -1/5 or v?
-1/5
Suppose -12 = -3*j + 2*h, 3*h + 3 = -5*j + 2*j. Suppose 28 = 4*l + j*p, 2*l + p = -p + 18. Which is bigger: l or 2?
l
Suppose 0 = -2*l - 2 + 2. Which is bigger: 3/17 or l?
3/17
Let l be 137/((-2)/4*-6). Let b = -46 + l. Suppose c + 1 = -5*a, 0*a + 3 = a - 3*c. Which is smaller: a or b?
b
Let w = 0.1 - -0.9. Let q = -1.1 + w. Let i = 17/2 + -9. Which is smaller: i or q?
i
Let b be (-3)/(-6)*34 - -2. Is 19 less than or equal to b?
True
Let u = -8.9 - 1.1. Which is greater: 1 or u?
1
Let v(w) = w**3 + 3*w**2 - 6*w - 3. Let c be v(-4). Is 5 at least as big as c?
True
Let w be 5 - (0 - -3) - -2. Let b = w + -5. Is -6/5 bigger than b?
False
Let t(i) = -10*i + 3. Let w be t(-3). Let d = w + -16. Suppose -5*r - d = 3. Does r = -4?
True
Let c be (-3)/(-4)*50/15. Is -3 >= c?
False
Let i(w) = w**2 + 2*w - 4. Let k be i(-3). Which is bigger: k or 8?
8
Suppose -2*k = 3*k + 15. Let f be (-3)/k - 22/18. Which is smaller: 1 or f?
f
Let k = -4.1 - -4.2. Is 4 equal to k?
False
Let o be 4/(-2)*(-10)/4. Suppose 3*v + 5*k = -9, 0*v = -3*v + 2*k + 12. Suppose -3*j - v*a = -4 + 14, o*a + 25 = 2*j. Which is smaller: -1/5 or j?
-1/5
Suppose 13*f = 14*f - 9. Which is smaller: f or 10?
f
Let x(n) = -5*n**3 + n**2. Let d be x(-1). Let h be (2/4)/(d/4). Which is smaller: h or -1/2?
-1/2
Let o = 22 + -17. Suppose 0 + 4 = f. Is o at most f?
False
Let c = 41 + -22. Let l = 37/2 - c. Is l less than or equal to 0?
True
Suppose 0 = -4*z - 8, -2*z - 8 = 4*p. Let t be (0 + p)*2 - -1. Let x = 222 - 1996/9. Is t at most x?
True
Let a be 0 - (-2 - 6/(-4)). Suppose -17 + 14 = -3*o. Which is smaller: a or o?
a
Let v = 171/13 - 8511/650. Which is bigger: v or -1?
v
Let m = -2 - -1. Let j be -2 + 6 + -2 + m. Let s = 0.2 + -0.3. Which is greater: j or s?
j
Let z = -2 - -1. Do z and 0 have the same value?
False
Let x = -1 + 0.9. Let i = 0.06 + x. Let p = i + -0.96. Which is greater: 0 or p?
0
Let n = -0.22 + 0.53. Is n smaller than -1?
False
Let a = 3756059/84 - 21345/28. Let q = -305925/7 + a. Let p = q + -249. Which is bigger: p or -1?
p
Suppose g = -3*j + 4, 2*g - 2*j - 9 = -7*j. Let s = g - 0. Let c = -7 + s. Is 6/5 > c?
True
Suppose 0 = 5*u + 3*t + t + 156, 2*t = -8. Which is smaller: u or -26?
u
Suppose 0 = -5*g - 10, 3*o + 13*g = 9*g - 17. Is o bigger than -16/7?
False
Let g be 1*(-2 + 3 - 0). Let w be g/(-1) - (2 - 2). Let t be -1 + 2 + (w - 4). Is -3 smaller than t?
False
Let s = -0.84 + -0.16. Are 18 and s unequal?
True
Let s(r) = r**2 + r + 2. Let z be s(-2). Which is smaller: 5 or z?
z