 1. Let m be b(0). Let i = 1.1 + -3.1. Which is smaller: m or i?
i
Let b = -0.138 - -0.438. Which is greater: b or 12?
12
Let f = 66 - 460/7. Let c be (8/10)/(4/10). Suppose -3*p = 0, -4 + c = -2*l + p. Is l at least as big as f?
True
Let i = 0 - 1. Let v = -199 - -1993/10. Is i smaller than v?
True
Let r = -9 + 11. Is r bigger than -0.4?
True
Let v = -16 + 15. Which is smaller: 3/14 or v?
v
Let c(r) = -2*r - 11. Let z be c(-8). Suppose 2*h - 5*k = -12, 3*h - 2*k = -z*k + 3. Are h and -1 equal?
True
Let h be 3 + 1 + 1 + -4. Which is smaller: h or -1/6?
-1/6
Suppose -2*t + 4 = -0*t. Suppose -t*v - 2 = -0. Does -2/13 = v?
False
Let m be (0 + 3)/((-6)/(-4)). Which is bigger: 3 or m?
3
Let v be -15*((-769)/(-275) - 1). Let l = v + 132/5. Which is greater: l or -2?
l
Let j = -0.4 + 0.42. Let t = j - -0.18. Let k = 0.1 + t. Is k at most as big as 1?
True
Let q = -16 + 13. Which is bigger: q or 2?
2
Let b be (1*4/(-12))/1. Let l = -4 + 1. Let w = l + 2.9. Do b and w have different values?
True
Let d = -6/53 + 139/1696. Is 0 smaller than d?
False
Let x = -12 + 15. Is x smaller than 15?
True
Let w(u) = u**3 - 4*u**2 + u + 4. Let i be w(3). Let c be i - 3/((-39)/28). Suppose 7*t - 5 = 2*t. Is c > t?
False
Suppose 0 = -2*b + 7*b - 5. Let z = 1/1163 - 6991/15119. Which is smaller: z or b?
z
Let u(y) = y**3 - 9*y**2 - 10*y + 1. Let c be u(10). Suppose -d - 7 = c. Is -6 at least d?
True
Let f be ((-6)/4)/((-12)/(-64)). Which is smaller: -7 or f?
f
Let n = -0.0318 - -22.1318. Let p = -22 + n. Is p greater than 8?
False
Suppose 3*f - 39 = 4*f. Which is greater: -40 or f?
f
Let b be ((-11)/(-6))/(4/8). Which is bigger: b or 5?
5
Let a = 9 - 9. Let l = 0.6 - a. Let v = -0.9 + l. Is v bigger than -0.1?
False
Let g = 56.828 + 0.172. Is g not equal to -2?
True
Suppose -w + 6*w = 3*p + 40, 0 = 3*p + w + 10. Which is bigger: p or -7?
p
Suppose 2*l + 3*p = 5, 5*l = -0*p - 4*p + 2. Let d be (-1)/(3/42*l). Is 5 > d?
False
Let c = 2 - 6. Let x = c + 2. Let t be (-4)/(-28)*(0 - x). Are 5 and t unequal?
True
Let c = 4 - 4. Suppose 6 = -c*n + 3*n. Let l = -6 - -8. Is l less than n?
False
Let v = 20 + -19. Which is smaller: 1/9 or v?
1/9
Let r(k) = -k**3 + 7*k**2 - 9*k + 9. Let j be r(6). Which is greater: j or -11?
j
Suppose -m = 2*m + 3. Let i(a) = -3*a**3 - a**2 + 1. Let h be i(1). Let s = h - m. Is -2 > s?
False
Let h(f) = f + 10. Let l be h(-8). Suppose l*z + 7 = -9. Let x(o) = -o**2 - 9*o - 7. Let d be x(z). Which is smaller: -2/5 or d?
-2/5
Let q = -4/5 - -1/20. Let n(g) = g - 7. Let p be n(5). Is p <= q?
True
Let l = 0.28 - 0.3. Let x = 0.04 - 0.06. Let v = l - x. Is -3/2 greater than v?
False
Suppose 10*b + 493 = -7*b. Which is smaller: -32 or b?
-32
Suppose -3*y = 9, -3*w - 4*y = 1 + 5. Let x = 0 + 0. Suppose x*f = -4*f + 4. Which is smaller: f or w?
f
Let f(b) = -b**3 - 14*b**2 + 16*b + 16. Let k be f(-15). Let j be k - 4/8*-2. Which is smaller: 4 or j?
j
Let s = 35.3 - -64.61. Let k = s + -98. Let x = -0.09 - k. Which is greater: x or -1/7?
-1/7
Let s = -29 + 31. Which is smaller: 0 or s?
0
Let c = -3 - -2. Let u(f) = -f**2 - 6*f - 3. Let x be u(-6). Let j be x/(-8)*(-4)/(-3). Is j at least c?
True
Let r(m) = m**3 - 4*m**2 - m + 4. Let g be r(4). Suppose g*z + 2*z = 0. Do z and 1 have different values?
True
Let i = 6.1 - 6.092. Is i at most as big as -1?
False
Let s be 34/867*(-3)/16. Is s equal to -1?
False
Suppose -4*g = b + 61, -g = g - 6. Let f = b + 514/7. Which is smaller: 1 or f?
f
Suppose 3*s + 1 = 7. Let j be 1/s*(9 - 7). Which is bigger: j or -3?
j
Let w be 6/(-2)*4/3. Let m(t) = t**3 + 5*t**2 + 6*t + 2. Let j be m(w). Is j bigger than -6?
False
Let f = -7 + 5. Let a = -0.49 - -0.39. Which is greater: a or f?
a
Let t be (-1)/5 - 537/15. Let c = -143/4 - t. Is c bigger than 0?
True
Let h(k) = k**3 + 2*k**2 - 2*k + 2. Let x = 3 - 6. Let a be 0/4 + (x - 0). Let u be h(a). Which is smaller: 0 or u?
u
Let g = -23/54 + -2/27. Which is bigger: g or 0?
0
Let b(v) = v**2 - 4*v + 4. Let g be b(4). Is g at least as big as 4?
True
Suppose -4*m + 6*m + 42 = 0. Let n be (2 + 40/m)*3. Is 0 smaller than n?
True
Suppose 5*d = -0*d - 45. Let j(m) = -m**3 - 9*m**2 - m - 10. Let w be j(d). Is w not equal to 2/5?
True
Suppose 60 = -l - 3*l + 5*h, 5*l + 2*h = -42. Let c = -14 - l. Let a be ((-3)/(-4))/(5/c). Are a and 0 unequal?
True
Suppose -12 = 2*t + t. Let p be 1/t - 22/(-24). Let z be 2/6 + (-15)/(-9). Which is smaller: p or z?
p
Let u = -10/93 - 8/93. Which is smaller: -1 or u?
-1
Let i = -4412/21 + 210. Suppose 0 = 3*b - 4*b + 1. Is b at least i?
True
Let t = 1 + 3. Suppose -6 = 3*p + t*s, -3*s + 4 = -p - 5*s. Let d be ((1 + -1)/p)/(-2). Which is smaller: -2/9 or d?
-2/9
Let l(d) = -d + 5. Let x be l(4). Suppose -m + x = -0. Which is smaller: m or 3?
m
Let z = -109/4 + 27. Let v(g) = g**2. Let j(a) = -3*a**2 - 4*a - 4. Let l(r) = j(r) + 2*v(r). Let n be l(-3). Which is smaller: z or n?
n
Let j = -4 - -4. Let h be 24/(-9) + (j - -3). Which is greater: h or -1?
h
Let t = -1228/1395 - 4/465. Is t greater than or equal to 0?
False
Let x(g) = 3*g - 60. Let b be x(0). Is b greater than or equal to -60?
True
Suppose -5 + 80 = 5*y. Let t = -43 - -59. Which is smaller: y or t?
y
Let x = -6 + 4. Let b be -1*0*(x + 1). Let y(u) = u**3 - 5*u**2 - 1. Let k be y(5). Which is greater: k or b?
b
Let j be (1/2)/(1/2). Let v be 131/483 + -1 + j. Let g = 1/69 + v. Is g greater than or equal to 0?
True
Suppose -4*g - 26 = 5*q, 0 = -8*g + 3*g + 5. Are q and -5 equal?
False
Let c be 2/(-1)*1/(-2). Let o(f) = 3*f**3 - 1. Let a be o(c). Which is greater: a or 1/2?
a
Let p be -1 + (0 - 1*-1). Let k be 0 - ((-8)/(-1))/4. Which is greater: p or k?
p
Let s = -1.48 - 5.62. Let g = -7 - s. Let b = 80 - 563/7. Which is smaller: g or b?
b
Let d = 0.033 + -0.033. Which is greater: d or -1?
d
Suppose 2*v + 0 = 5*o + 2, 0 = 3*v + 3*o - 3. Suppose 0 = -n + 3*n - 220. Let d be (-8)/n*(-90)/12. Does v = d?
False
Suppose -n + 4*l - 14 = -6*n, -4*n = 2*l - 16. Let a be n/(-9) - 28/(-24). Is a greater than or equal to 0?
True
Suppose o = -u - u + 10, 18 = o + 4*u. Let w = 5 + -5. Let f be (w - (-7 + 2)) + -2. Is f equal to o?
False
Let x be (-1)/(-3) + (-13)/21. Let q = 0.08 + -1.48. Let l = q - -1.3. Is x != l?
True
Let d(c) = c**3 + 3*c**2 + 5*c + 2. Let t be d(-5). Which is smaller: t or -72?
t
Let s be (-12)/(-42) + (-64)/77. Suppose 1 + 1 = -2*x. Are x and s unequal?
True
Let m = 0.28 - 27.28. Let u = m - -31. Does u = 1?
False
Let u(b) = 4*b**2 - 4*b**2 + 1 + 5*b**2 + b**3. Let w be u(-5). Let r = -82/3 + 28. Is w >= r?
True
Let l be (-2 + (-35)/(-14))/((-2)/56). Which is bigger: -8 or l?
-8
Let b be 5 + 2 + -1 + 0. Let s be (1/(-3))/(6/18). Let k be 0*(b/3 + s). Is 0 greater than k?
False
Let p = 2 + -2.13. Which is smaller: -1 or p?
-1
Let b(t) = -t**3 - 12*t**2 - 10*t + 27. Let h be b(-11). Do h and 16 have the same value?
True
Let f be (-31)/(-2)*(1 + 1). Let k = f + -153/5. Let z be (-1*1)/(-4 - -5). Is z at most k?
True
Let i = 2.2 + -2. Let j = -0.03 - -0.18. Let a = 0.05 - j. Which is smaller: a or i?
a
Suppose -10*d = 168 - 8. Is d != -17?
True
Let k = 540/7 - 77. Let g be (-1)/(-4) - 152/(-32). Suppose s = g*s. Does k = s?
False
Let y = -924856101 - -35376670716771/38251. Let t = y - 2/1319. Is t bigger than 0?
False
Suppose -4*o + o - 4*v + 71 = 0, 2*v - 95 = -5*o. Let m be (-6)/21 + o/35. Let h = -3 - -2. Are h and m unequal?
True
Let y be 6 + (4/(-2) - -2). Let w = -4 + y. Let l = 1 - w. Is 1/8 <= l?
False
Suppose 3*a + s - 16 = 0, 4*a - s - 26 = -0*s. Let c(z) = -z + 7. Let b be c(a). Which is greater: b or 4?
4
Let p be 4/(-12) + (-30)/(-9) + -2. Are -1.9 and p equal?
False
Suppose -5*m - 38 = -4*s, -5*s = 4*m + m - 70. Let u be 4/(-6) + (-4)/s. Which is smaller: u or -8/5?
-8/5
Let d = -3 - 1. Let i(s) = -3*s - 7. Let g(v) = -4*v - 8. Let o(u) = 4*g(u) - 5*i(u). Let m be o(d). Is 6 >= m?
False
Let y = -40.96 - -40. Let f = 0.04 - y. Let g be 2/8 + (-1)/(-28). Is g <= f?
True
Let f be (-64)/(-10) + (-8)/20. Let o(r) = -r**3 + 7*r**2 - 9*r + 9. Let y be o(f). Is y bigger than -10?
True
Let m(c) = -c**2 + 9*c + 12. Let f be m(11). Is f less than or equal to -10?
True
Let v(s) = -9*s + 1. Let t(q) = -4*q. Let z(h) = -7*t(h) + 3*v(h). Let k be z(0). Suppose 0*d = -k*d. Which is bigger: