 or 0?
0
Let p = 8 + -8. Which is greater: -1 or p?
p
Let a = -36 + 18. Let p be 2/(-6)*a/(-2). Let w be 7/(-21) + 14/p. Is w at least -5?
True
Let y(t) = -9*t + 28. Let v be y(3). Let b = 1 + -1. Let g be (0 - (0 + b))/1. Is v less than or equal to g?
False
Let t be 14/35*5*1/(-2). Which is greater: t or 1/56?
1/56
Let i = -2 - -2. Let j be 29 - (i - 4/(-2)). Let g = -245/9 + j. Which is bigger: 1 or g?
1
Let s be (-12)/(-16) + 26/8. Let q(u) = u**3 + u + 4. Let b be q(0). Is s < b?
False
Let c(b) = -b**3 - 7*b**2 - b - 3. Let w be c(-7). Suppose w*u + 18 = u. Let x be 4/u*(-2)/(-6). Which is greater: -1 or x?
x
Let h = 0.264 + -0.064. Does 0.3 = h?
False
Suppose -5*g + 0*g + 15 = 0. Which is smaller: 2 or g?
2
Let n = -2.5 + 3.1. Is 1/4 bigger than n?
False
Let p be -38 - 2/(-4)*-2. Let s be ((-22)/9)/(p/(-6)). Let l = s - -2/13. Which is smaller: -1 or l?
-1
Let x = 10 - 20. Let y = x - -6. Let g be (-1)/(-4) - (-18)/(-8). Is y smaller than g?
True
Let w be 2/(-4) + 26/4. Suppose y - w*y = 0. Is y less than 5?
True
Suppose 0 = -q - 2*u + 11, -5*q - 16 = -3*u - 6. Let i = 0.8 + -1.1. Let s = 0.4 + i. Is s at most as big as q?
True
Let f = 10 - 4. Suppose 3*t = -3*a - 3, 4*a = -0*t - 3*t - f. Suppose 3*o + 0*o + 6 = m, -5 = -m + t*o. Which is bigger: m or 2?
m
Let t = -7 + 5. Is t not equal to 7?
True
Let t = 0.273 - 31.073. Let f = t - -27. Let d = f + 0.8. Does d = -0.1?
False
Let j = -465 - -7901/17. Which is smaller: 1 or j?
j
Let i = 4.5 + -4.4. Is i > -6?
True
Let w be 4/(5/(10/4)). Suppose 5 = -b - w. Which is smaller: b or -4?
b
Let l = 0.08 + -0.38. Let s = -0.62 - 2.08. Let d = s + l. Is d at least 1?
False
Let m(y) = y**2 - 4*y + 4. Let a be m(4). Let b(n) = -n**2 + 4*n + 5. Let x be b(4). Let z = -2 + x. Which is smaller: z or a?
z
Let q be (-15)/(-20) + (15/12)/5. Is -1/18 <= q?
True
Let h be -4 + 0 + 0 + 0. Let f be 12/(-135) - h/(-30). Which is smaller: f or 0?
f
Let f = -5647408/479 - -11790. Let x = -2401/1437 + f. Is x at most 0?
True
Let x = 6 + -3.2. Let c = 3 - x. Suppose -4*l - 2 = -5*v, -2*v = -3*l - l + 4. Which is bigger: l or c?
l
Suppose -2*i - 16 = 3*k, k + 12 = -0*i - 2*i. Let f be k + 5 - 9/4. Which is greater: f or 1?
1
Let z = -92 + 59. Is -133/4 less than or equal to z?
True
Let d = 1 - 0. Let o = -1333/7 + 190. Is o less than or equal to d?
True
Let c(h) = h**2 + 8*h - 8. Let z be c(-9). Is z at most -0.042?
False
Let h be 66/10 - 12/20. Let w = -6 + 13. Which is smaller: w or h?
h
Let y(f) = 4*f + 16. Let q(r) = -r - 5. Let a(u) = 7*q(u) + 2*y(u). Let v be (0 + 1)/(1/5). Let b be a(v). Are 2 and b unequal?
False
Let s be 3/12 + 0 - (-21)/(-36). Let i be 6/(-9)*3/19. Which is greater: s or i?
i
Let i(h) = -16*h - 3. Let y be i(-3). Which is smaller: y or 44?
44
Let i = -3 + 6. Let r = 7/2 - i. Which is bigger: r or 0?
r
Let h(d) = -3*d + 24. Let g be h(16). Is -24 at least g?
True
Let n = -37/7 - -39/7. Let f be 1/3*3/7. Let i = f - n. Which is smaller: 0.3 or i?
i
Let s = 4 + 11. Let r = -27/2 + s. Let x = 0.3 - 0.4. Is x less than or equal to r?
True
Let d = -85 + 90. Is 5 at most as big as d?
True
Suppose -1 = 2*w - 3. Let n = 73/2 + -661/18. Is w smaller than n?
False
Let u(d) = -d - 1. Let b be u(0). Which is bigger: -4/3 or b?
b
Let m be 2/(-12) + (-31)/(-6). Let v = 10 + -5. Are m and v nonequal?
False
Let y = 7.8 + -7.82. Which is bigger: -4/7 or y?
y
Let o = -5 + -3. Let b = o - -6. Which is smaller: 0.3 or b?
b
Let t = 0 - 1. Let x = -216317 + 11248125/52. Let y = x + 27/4. Are t and y nonequal?
True
Let r = -13 + 4. Which is greater: r or 1/2?
1/2
Suppose -4*f - x = f + 1, -5*x - 5 = -f. Which is bigger: -1/4 or f?
f
Let h = -5364448/15 - -357378. Let i = -252 - h. Is i <= -0.1?
True
Let l = -14.2 + -3.8. Let f = -13 - l. Let r = -5 + f. Is 0.03 at least as big as r?
True
Let t = -163/4 + 87/2. Is 3 smaller than t?
False
Let n be 1144/((-4)/(-2)) - -2. Suppose 3*c + s - 124 + n = 0, 3*c - 4*s = -450. Let i be (-4)/18 - c/(-54). Is i < -3?
False
Let o be (-2)/(-3) - 4/33. Suppose 1 = 2*t - 3. Which is smaller: o or t?
o
Let z(p) = p**3 - p + 2. Let n be z(0). Suppose n = -4*d - 6. Let t = d + 1. Which is greater: t or 1/5?
1/5
Let a = 0.1 - 0.5. Let l = -0.5 - a. Let j = 1 - 1. Is l greater than j?
False
Let t = 21 - 19. Which is smaller: t or 1/2?
1/2
Let u(r) = r. Let g(v) = 2*v + 2. Let j(k) = -g(k) + 3*u(k). Let b be j(2). Which is bigger: 2/13 or b?
2/13
Let y = 16 - 30. Let d = -13 - y. Is d less than 0?
False
Let r(g) = -g**2 - g. Let o be 5*(12/10)/(-3). Let m be r(o). Let b(w) = -w**2 - 5*w - 1. Let h be b(-5). Which is greater: h or m?
h
Let d be 3*(1 + -4 + 0). Let n be (-5 + 1)/(6/(-3)). Let c be (n/(-3))/((-6)/d). Is c not equal to 2?
True
Let z = 132 + -91. Which is greater: z or 39?
z
Suppose 5*f = -0*f + 2*o + 60, -3*f - o = -25. Let c be (-7)/(-5) - 30/f. Which is smaller: -3 or c?
-3
Suppose -2*x - 2 = -5*f, -10 + 26 = -4*x + 4*f. Let n = x + 6. Let h be (n - 1) + (-4)/(-10). Is h equal to -2?
False
Let w be (-2)/(-2) + -7 + 2. Let g = w - 9. Let s be g/(-6) + 0 + -2. Which is smaller: s or 0?
0
Let a be 10/(-5) + -1*1. Let f be (-3 - -3)/(-1 - a). Let p be (3/27)/(1/(-2)). Is f != p?
True
Let m(t) = t**2 + 5*t. Let v be m(-5). Let w be (-3)/(-9)*v + 3. Let b(o) = o**2 - 5*o + 4. Let s be b(w). Are s and -3/4 equal?
False
Let w(j) = 3*j**2 + 47*j - 17. Let c be w(-15). Are -47 and c unequal?
False
Let y = 1451/4 + -373. Let l = -377/36 - y. Is l bigger than -1?
True
Let k(m) = -6*m - 1. Let d be k(1). Is -7 not equal to d?
False
Suppose -3*b - 3*r - 30 = 0, -3*b - 2*r - 34 = 3*r. Is -15/2 equal to b?
False
Let h = -245/3 + 81. Are h and 0.1 non-equal?
True
Suppose w = -2*w + 21. Let l be 9/w + (-4)/14. Let m = 66.9 + -67. Is l at least as big as m?
True
Let w be (-23)/22 + -3 + 4. Suppose -3*z + q - 4 = 0, -8 + 0 = -5*z - 2*q. Is w <= z?
True
Let a(t) = -t - 1. Let p be a(9). Let u = -3 - p. Let v = u - 5. Do 2 and v have the same value?
True
Let x = -38 + 41. Is x at least 2/3?
True
Let o = -17 + 14. Is o > 9?
False
Let p(b) = b**2 + 9*b + 5. Let k be p(-8). Let x be (k/(-12))/((-2)/(-8)). Which is smaller: x or -2/7?
-2/7
Suppose -2*b + 13 = 3, -k = 5*b - 20. Which is smaller: k or -4?
k
Let y be 153/(-63) - 3/(-7). Which is bigger: y or 1?
1
Let c be (5 - 12) + (-1)/(-1). Let u be -2*1 - 21/c. Which is smaller: u or 1?
1
Let b = -78 - -52. Is -27 bigger than b?
False
Let g(x) = -4*x**2 - 3*x - 1. Let o(k) = -3*k**2 - 2*k - 2. Let c(f) = 4*g(f) - 5*o(f). Let z be c(-5). Is -1 smaller than z?
False
Let x(h) = -8*h + 1. Let f(a) = -a**3 + 6*a**2 + 8*a - 6. Let z be f(7). Let j be x(z). Is j at least -7?
True
Let z = 4 - 3. Let u = -2 + z. Let i = 0 + u. Is -1 < i?
False
Let p be 2 + 3/(-21)*13. Let j = p - -1/42. Suppose 3*b = 4*b. Is j at most b?
False
Let g(c) = -c**2 + 8*c + 1. Let a be g(7). Suppose -a*k + 12 = -4*k. Are 2 and k equal?
False
Let c be ((-4)/(-6))/(4/14). Let w = -3 - -6. Let q = c - w. Which is bigger: 1 or q?
1
Let a = 4 + -8. Let m = -11 - -7. Is a > m?
False
Suppose 16 = -u + 2*u. Suppose 4*w - 22 = -v, w + u = 3*w - 2*v. Is w greater than or equal to 5?
True
Suppose -5 = -3*o + 8*o. Which is smaller: 0 or o?
o
Let w(y) = y + 8. Let f be w(-7). Which is smaller: 9/20 or f?
9/20
Let h be (-10)/(-6) + (2 - 1)*-2. Let n(b) = b**2 - 5*b. Let q be n(5). Which is smaller: h or q?
h
Let v = 0 + 0. Suppose v = -4*b + 14 - 2. Is 3 < b?
False
Suppose -313 = -4*m + 7. Let v(s) = -24*s - 6. Let n be v(8). Let r be m/n - 2/(-9). Are 1 and r unequal?
True
Let u(c) = -2*c**3 - c**2 + c + 2. Let a be u(-2). Suppose -a = 3*f + f. Are 2 and f non-equal?
True
Suppose 6 - 2 = 2*k. Suppose 0 = -5*q + k*q + 3, t + q = 1. Let w = t - -2. Which is smaller: w or 1?
1
Let x = 144 - 152. Which is greater: x or 2/13?
2/13
Let k(r) = r + 4*r**2 - 4*r + 5*r + 12*r**2 + 1. Let p be k(-1). Is 14 at most as big as p?
True
Let u be ((-1)/(-3))/((-13)/(-39)). Which is bigger: u or 6/5?
6/5
Let i = -0.728 + -0.272. Suppose r = 3*n + 5, 4*r = 2*n - 7 - 13. Which is greater: i or r?
i
Suppose 3*y - 4*y = 0. Is y at least -2/13?
True
Let i = 0.02 - -0.98. Let d = 0 - i. Suppose 4*q - n = n, n = -3*q. Which is bigger: d or q?
q
Let g = -68 + 474/7. Is -1/3 greater than or equal to g?
False
Let