 Are 0 and b nonequal?
True
Let f be 3/15 + -1*2/10. Let q be 1/1*(-86)/(-2). Suppose -4*l - q + 19 = f. Which is greater: -5 or l?
-5
Let t(d) = 4*d - 12. Let j be t(-5). Let m be 0 + -1 + j/(-40). Which is bigger: m or 0?
0
Suppose -3*b = 5*s + 14, 3*b + s + 4 = 2*b. Let y be b - ((-6)/21 - 3). Let x = 0.25 - 0.3. Which is bigger: y or x?
y
Let i be ((-5)/15)/(15/27). Which is greater: i or 2?
2
Let h = -3 + 11/4. Let s = 0.65 - -0.35. Which is greater: s or h?
s
Let d = 0.01 - -0.09. Let b = -267/28 - -72/7. Is d <= b?
True
Suppose w = -5*k - 9 - 0, 14 = -2*k - 3*w. Do -1/108 and k have the same value?
False
Let i = -278710/39 - -7147. Let n = i - -1/13. Which is greater: 1 or n?
1
Let z be ((-7)/(-273)*-3)/(1 - 0). Which is bigger: z or 1?
1
Let b be 111/2*4/(-70). Let c = -7632 - -114431/15. Let o = b - c. Which is smaller: o or 0?
0
Let r = -163 + 812/5. Let t be 2/10 - 55/25. Are t and r non-equal?
True
Let h be (84/15 + -6)*15. Let o = -12 + 4. Which is greater: o or h?
h
Suppose 35 = 3*t - 4*n, -t + n + 10 = -0*n. Suppose -2*d + t*u = 11, 4*d - 3*u = -u + 2. Let r = 35/2 + -16. Is r at least d?
False
Let k = -6.94 - -7. Let f = k + 0.34. Which is bigger: 1 or f?
1
Suppose 2*f - 8 = -0*f. Let s(r) = -r**3 + 9*r**2 + r - 5. Let k be s(9). Is k at least as big as f?
True
Let b = -689/5 + 138. Is 4 at most b?
False
Suppose z - 3*z + 8 = 0. Suppose 11 = 3*o - z. Is o smaller than 5?
False
Let h be (-1)/(1/(-4)*1/1). Which is smaller: -3 or h?
-3
Let k = 0.09 - 2.09. Let q = -6 - -4. Let d = k - q. Which is smaller: d or 2/7?
d
Let z be 3 - (0 - -9)/(-3). Are z and 9/2 non-equal?
True
Let p be 4 + 4*(-45)/50. Which is greater: -10/7 or p?
p
Suppose w + 2*z = 5*w + 14, z + 17 = -2*w. Which is smaller: w or -4?
w
Suppose z + 15 = -0*z. Let m = 12 + z. Suppose 4*n - 2*n + 4 = 0. Which is smaller: m or n?
m
Suppose 4 = 6*x - 8. Are 1/2 and x equal?
False
Let r be (56/10)/((-2)/10*-1). Do r and 29 have different values?
True
Let h(l) = 3*l - 12. Let y be h(5). Suppose -z + 4 = -2*k, y*z + 4*k = -0*k - 8. Suppose 2*v + 0 = 2. Is z equal to v?
False
Suppose 5*f - 8 + 3 = 0. Let z = -1.3 + 2. Which is bigger: f or z?
f
Let m be (-8)/(-16)*(-2)/4. Which is smaller: 1 or m?
m
Let t be (-1)/((-10)/16)*-5. Let s be 575/(-65) - (-6)/(-39). Which is smaller: s or t?
s
Let m = 241 - 432. Let c = 4013/21 + m. Let b = -45 - -44. Which is bigger: b or c?
c
Suppose -2*x + 3 = z, 13*x = 4*z + 11*x - 2. Do 12 and z have different values?
True
Let a = -1.2 - -1.5. Let t = a + 8.7. Is t smaller than 0.2?
False
Let s(x) = x**2 - 9*x + 5. Let q be s(8). Let z be 4/(-12) - 7/q. Suppose -z*r - 2 = -0*r. Is r at least 4/9?
False
Let c be ((-63)/(-15) - 4)*1. Is c != 0?
True
Let y(t) = -3*t - 3. Let m be y(4). Let l = -5 + m. Let d be (-16)/l - (-1 + 1). Which is smaller: d or 0?
0
Suppose b - 6 = 4*w - 7*w, 4*w - 8 = 2*b. Let y = 1 + -1. Let r = y - b. Is -2/11 bigger than r?
False
Let o = -12 - -12. Let s = -0.07 + -0.13. Which is greater: s or o?
o
Let k = 1.46 - -119.54. Which is greater: 1 or k?
k
Let k(t) = -t**2 - 2*t + 2. Let y be k(3). Let r be (-14)/(-35) - y/5. Which is smaller: 4 or r?
r
Let j = 15.3 - 15. Is j at least as big as 2?
False
Let u be (-7 + 3)/(2/9). Let r = 18 + u. Is -7 > r?
False
Suppose -3*d = -8*d. Is d at most as big as 1?
True
Suppose 3*p + 2 = 2*p - u, 0 = -u. Let q be (-2 - 2 - -4)/(1 + -2). Which is bigger: p or q?
q
Suppose 0 = 5*r - 0*r - 60. Let j = 12 - r. Is j smaller than -2?
False
Let c = -5 + 7. Let l(n) = n**2 - n + 3. Let b be l(0). Are c and b non-equal?
True
Let b be 60/(-40) - (-2)/4. Let m = 1 - 3. Which is greater: m or b?
b
Let r = -26/177 + -2548/59. Let q(v) = 3*v**2 + 7*v + 3. Let g be q(-5). Let h = r + g. Which is smaller: h or 0?
h
Let i = 0 - 0. Let o = 0 + i. Let w be 8 + ((-26)/4 - 1). Which is smaller: w or o?
o
Let w be 1/(-4) + 4034/40. Let q = -101 + w. Which is smaller: -2 or q?
-2
Let n = 12 - 8. Suppose 4*t - 6 = 2*t. Is n <= t?
False
Let f = 3/215 - 469/2795. Let r = 1 + -1. Suppose x + x = r. Which is smaller: x or f?
f
Let n be 1/(5*(-4)/(-28)). Which is smaller: 2 or n?
n
Let r be (-2)/4 - 52/(-8). Suppose -4*y = -r - 2. Which is smaller: 1 or y?
1
Let c(a) = -a**3 - 16*a**2 - 16*a - 2. Let g be c(-15). Is 12 greater than or equal to g?
False
Let m(l) = l + 4. Let f be m(-6). Let p be 18 - 3 - (2 + f). Let b be ((-4)/(-3))/((-5)/p). Which is greater: b or -3?
-3
Suppose -4*i + 32 = -0*i. Let a = i + -7. Is a at most 0.7?
False
Let s be 2 + -2 + -8 - 2. Let h be (s + 12)*(-3)/14. Which is smaller: 0 or h?
h
Suppose p + 4*p = 70. Is 14 at least as big as p?
True
Let g = -43/3 + 15. Are g and 1 unequal?
True
Let v = -9 - -5. Let a be (-10)/8*(0 - v). Which is bigger: -4 or a?
-4
Let q be 0/1 - 2/(-3). Let i = -146 - -147. Which is smaller: i or q?
q
Let x = 1064/18315 + -2/495. Is -1 bigger than x?
False
Suppose -4*s - d = 1 - 8, -2*s = 5*d - 17. Suppose -4*q + 5*f = -14, q - s + 8 = -4*f. Which is bigger: 3/5 or q?
q
Let b = -11.2 - -0.2. Let w be (4/(-6) + 1)*-3. Is b greater than or equal to w?
False
Let f be (12*6/192)/(1*-3). Is 1 <= f?
False
Suppose -5*r = -4*r + 2. Let o = 16 - 4. Suppose 0 = -4*j - 2*i - o, 4*j + 5*i + 9 = j. Which is bigger: j or r?
r
Let w(r) = -2*r + 4. Let u be w(4). Let n be u*(0 - 2)/20. Is -10 at least as big as n?
False
Let q be -1*1 - (-5 - 4). Let x be 0 - (-1*2 + 0). Suppose q - x = -3*d. Which is smaller: d or 0?
d
Let l = -3 - -1. Let n = 0.04 - 2.04. Let k = n - l. Is -1 at most k?
True
Let v = -228 + 172. Is v equal to -57?
False
Let q = 3227 + -1827. Let h be 6/q*(-495)/(-6). Let s = h + 3/40. Which is bigger: -1 or s?
s
Suppose 153 = 102*t - 93*t. Are 20 and t non-equal?
True
Let k(i) = i**3 + 3*i**2 - 1. Let c be k(-2). Let p(j) = -j - 2. Let y be p(-6). Is c at most y?
True
Let g = 6 + 4. Suppose -5*v - 5*t = -g, t - 2*t + 1 = 0. Is 2/3 at most as big as v?
True
Suppose n + 24 = -2*n. Let r be (-12)/n + (-6)/4. Which is smaller: 1 or r?
r
Let j = 14 - 11. Let q be -6 + j + 26/2. Are q and 9 nonequal?
True
Let w be (-1 - -21) + (-4 - -1). Which is smaller: w or 19?
w
Suppose -79 = -2*j + 4*t + 37, -2*t + 142 = 3*j. Which is smaller: 48 or j?
48
Let j(u) = u**2 + 18*u + 18. Let o be j(-17). Which is smaller: 3/17 or o?
3/17
Let i be 3/((-189)/5) + (-4)/(-18). Is i at least 0?
True
Let o(d) = -d**2 + 9*d - 3. Let q be 6/(-15) - (-94)/10. Let p be o(q). Which is smaller: -4 or p?
-4
Let l = 10 - 3. Let y = 1.7 + 8.3. Let h = l - y. Which is smaller: h or 0?
h
Let m = 113 - 159. Are m and -45 nonequal?
True
Let y(i) = -3*i**2 + 4*i. Let o(q) = -4*q**2 + 5*q + 1. Let j(p) = -2*o(p) + 3*y(p). Let u(w) be the first derivative of j(w). Let c be u(2). Is -1 at least c?
True
Let g = 7 - -10. Let s be -16 + g - 16/10. Are s and -0.1 unequal?
True
Suppose -40 = -5*u + s, 32 = 6*u - 2*u + s. Suppose -u = -2*l, 2*i + 0*l + l = 12. Let z be 4/(-9) + i/(-18). Which is greater: 2 or z?
2
Let b = 416/35 + -58/5. Suppose o + 4 = s + 7, 0 = s + 2*o - 9. Suppose 3*t = -r - 3 - s, -t = 1. Which is smaller: r or b?
r
Let u be 0/(-2)*(-1 - -2). Suppose -2*g + 5 - 1 = u. Which is greater: 4/5 or g?
g
Let q be (-21)/2*(-4)/6. Let f = 3 - 0. Suppose q*c = f*c. Is c smaller than -1?
False
Let k be 1*-4 + (-16)/(-12). Which is smaller: k or -4?
-4
Let s(m) = m + 10. Let u be s(-8). Let b be (-30)/8 - u/8. Which is greater: -6 or b?
b
Let p be 16944/(-45) + 2/3. Let l = p + 376. Is 1 less than l?
False
Let l(f) = -f**2 - f + 3. Let n be l(0). Let q(k) = -k**2 + 10*k + 15. Let x(d) = -d + 5. Let z be x(-6). Let b be q(z). Are n and b unequal?
True
Suppose 64 = 25*f + 14. Let i be 1 - -3*4/42. Is i greater than or equal to f?
False
Let v(f) = -f - 3. Let z be v(-6). Suppose -z = 2*j - 3*j. Suppose -2*x - x + j*n = -6, -n = 5*x - 22. Which is smaller: x or 5?
x
Let x(w) = w**2 + 5*w + 6. Let p be x(-4). Suppose -3*y - 2*a - 1 = p*y, -2*y - 4*a - 10 = 0. Let l be 5*(6/(-15))/y. Is -2 bigger than l?
False
Let h = 2497/16 + -156. Is h < -1?
False
Let n(x) = 4*x + 2. Let v be n(-3). Let l = v - -11. Let z = -0.1 - -0.3. Is l at least z?
True
Let g = 14 + -1. Suppose -5*c = -2*j + 14, -5*j - 3*c - g - 14 = 0. Which is greater: -4 or j?
j
Suppose 3*k = -4*k + 112. Is 15 > k?
False
Let g = -0.0