et q be k(-16). Are 3 and q equal?
False
Let f = -6 + 6.8. Let d = -4.8 + f. Which is smaller: d or -1?
d
Let c be (8 - 3)*(-34)/5. Let k be 4/(-24) + c/12. Which is greater: -10/3 or k?
k
Let h be (-330)/792 + (-6)/(-8). Let g = -0.11 - -4.11. Let r = g + -3. Which is greater: r or h?
r
Suppose 4*a - 27 = -7. Is 4 at least as big as a?
False
Let w = -1 + 1. Let q = 3.8 + -0.8. Which is smaller: w or q?
w
Suppose -7*z + 2*z = 100. Let k be (3/10)/((-24)/z). Let p = 12 - 11.7. Is k bigger than p?
False
Let n = 1 + -2. Which is smaller: -3/8 or n?
n
Suppose 5*j - 8 = -3*a, 2*a = -3 + 5. Suppose -s = 2*u, -8*u + 4*u = -4*s. Suppose u = -f + 3, 2*o + 2*f - 7 = 9. Is j less than o?
True
Suppose 5*j + l = -l + 64, -5*j + 52 = -4*l. Let w = -10 + j. Is w equal to -2/11?
False
Let q = 20 - 20.41. Let n = -0.01 - q. Let r = -0.2 + n. Do 1 and r have the same value?
False
Let f = 4793 - 23779/5. Let q be (-514)/(-14) + (-4)/(-14). Let p = f - q. Which is smaller: p or 0?
0
Let m = 53 - 369/7. Let r = 24 + -25.95. Let i = -0.05 + r. Is m at least i?
True
Suppose 5*u = 5*n + 170, -u = -2*n - 0*u - 69. Is n at most -33?
True
Let h = -2.4 + 2.3. Let o = 1.1 + h. Let i = -0.1 - -0.3. Which is smaller: i or o?
i
Let a = -3.5 - -1.5. Let f be (0 + -1)/3*1. Which is smaller: a or f?
a
Let q = -3 + 4. Let s = -7 + q. Is s > -4?
False
Let w = 226 + -226.2. Which is smaller: w or 64?
w
Suppose -u = -2*u + 8. Let d(s) = -5*s**2 + 12*s + 6. Let l(w) = 11*w**2 - 25*w - 13. Let m(i) = 9*d(i) + 4*l(i). Let j be m(u). Is 2 > j?
False
Let w = -1.4 - 0.6. Let r = w + 0. Which is smaller: r or -0.2?
r
Let s(a) = 2*a**2 - 3*a - 3. Let l be s(-2). Suppose -l + 30 = 3*p + 4*h, -4*p + 15 = -5*h. Suppose n = -5*w - p, 4*w + 0*n - n = -4. Are w and -1/4 equal?
False
Let f be 0/(3/(12/(-8))). Let x = 245/6 + -41. Is x less than f?
True
Let r = -18 + 15. Is r equal to -6?
False
Let z = -37 + 37. Is z greater than 1/29?
False
Let s be (-4)/(-1)*1/(-4)*-73. Is s <= 73?
True
Suppose 4*y + 35 = -y. Let c(q) = -q**3 + 7*q**2 + 6*q + 11. Let l be c(8). Is l > y?
True
Suppose -u = 2*h - 3, -2*h - 2*u + 1 = 3. Suppose -4*b = -n, b = -7*n + h*n. Let j = -2.24 + 0.24. Which is smaller: j or n?
j
Let x be -1 - (3 - (-1 - -1)). Let o be (-3)/(0 + 6)*x. Suppose -3*b - 5*r = 10, 0 = -5*b - o*r + 7*r + 10. Does b = 1?
False
Suppose -3*p - 24 = p. Is p at most -6?
True
Let g be 36/3*1/(-3). Is g at least -3?
False
Let s = -0.9 + -1.1. Is -1/3 less than s?
False
Let s = 6 - 1. Suppose -5*b + 3*t = -81, t + 21 = b + 4. Let f be 4/s*b/(-6). Is f not equal to -4?
True
Suppose -l - 2 = -0. Let g be ((-3)/(-6))/(3/l). Which is smaller: -1 or g?
-1
Let o be (2/(-3))/(-2 + (-1)/(-1)). Is 22 >= o?
True
Let l be (-4)/16*-4*-19. Is -19 bigger than l?
False
Suppose 5*i = -o - o - 3, 4*i = -4*o. Are i and -1/4 nonequal?
True
Suppose 0 = 3*u - 31 + 1. Let o = -9 + u. Which is bigger: -2/23 or o?
o
Let f = 10 - 8. Suppose 0 = -f*t + t - 1. Is t at most as big as 1?
True
Let d be -1*(-1 + 1 + 1). Let t(h) be the first derivative of -7*h**4/4 + h**2/2 + h - 4. Let u be t(d). Does u = 8?
False
Let w = 1.02 + -2.42. Let l = 0.3 - 0.2. Which is smaller: w or l?
w
Suppose 4*f + 0*f - 2*v + 2 = 0, 0 = -2*f + 3*v - 11. Is f at most as big as 12/11?
False
Let q = -30 - -40. Which is smaller: q or 7?
7
Let p = -108/35 - -14/5. Suppose 0 = -5*i + 5, -2 - 1 = -o - 4*i. Which is smaller: o or p?
o
Let z = -2.9 + 3. Let f be 0 - (0 + (-14)/(-3)). Let i = f + 76/15. Which is greater: z or i?
i
Let o = -1.97 + 1.6. Let d = 0.07 + o. Let u = d - -0.4. Is u > 0?
True
Suppose 0 = 5*p - 3 - 7. Suppose 2*u + 18 = 3*x, -1 = -x - 3*u - 6. Let a = -5 + x. Which is smaller: a or p?
a
Suppose 5*t + 2*y - 2 = 0, 0*t - 2*t = -3*y - 16. Let l be (1*(t - 3))/(-1). Let w be 747/(-153) - -1*5. Is l equal to w?
False
Suppose -4*g - 7 = -11*g. Which is smaller: g or 0?
0
Let n(a) = -a + 7. Let x be n(8). Let w = -8 - -6. Which is smaller: x or w?
w
Let h be (1 - -2)*(-2)/(-6). Which is bigger: h or -4/7?
h
Let s(z) = z**3 + 13*z**2 + z + 3. Let o be s(-13). Is o >= -10?
True
Let z be (-12)/16 - 10/8. Let v = z - -3. Which is smaller: v or -3?
-3
Let u(o) = o + 2. Let c be u(-2). Suppose c*m + 5*m - 5 = 0. Let i = 1 + -2. Which is smaller: m or i?
i
Let t = -7001/15 - -467. Which is bigger: 0 or t?
t
Let c(u) = -16*u**3 + 29*u**2 - 5*u + 34. Let k(l) = 3*l**3 - 6*l**2 + l - 7. Let z(t) = -2*c(t) - 11*k(t). Let v be z(8). Is 2/13 smaller than v?
True
Let f = -1 - 3. Suppose 2*w = -3*w - 60. Let u be w/42 + f/35. Is u bigger than 2?
False
Suppose u + 0*u = -2*j + 42, -2*u + 18 = j. Let n be (-4)/j - 532/(-2079). Which is bigger: -1 or n?
n
Let g = -31 + 27. Is 4 greater than g?
True
Let y be (2 + 1)/(-3) + 23. Do y and 23 have the same value?
False
Let v = -5 - -10. Suppose -5*i - 7 = 4*z - 3, 5*i - 5 = v*z. Does i = -5/4?
False
Let w = 1258 - 21392/17. Which is bigger: -1 or w?
w
Let o be (0*2/4)/(-2). Is o not equal to -2/19?
True
Let d be (117/6 + -3)*2. Let u be 3/(-15) - d/(-15). Which is bigger: u or 3?
3
Let g be (1 - 3)/(-1)*-2. Is g bigger than -6?
True
Let d = -466 - -28893/62. Which is greater: 0 or d?
d
Let h(y) = 2*y**3 - 6*y**2 + 3*y + 4. Let s be h(4). Let a be (-6)/8 - (-52)/s. Is a < 0.04?
False
Suppose 3*p + 1 = 7. Let t be ((-4)/(-6))/(p/6). Let z be 3/t*(-4)/21. Which is greater: 0 or z?
0
Let q be (-1)/(-3) - 95/195. Is q equal to 4?
False
Let k be 1 - (-2 - (12 - 2)). Let b = k + -5. Suppose -4*n = -b - 0. Is n greater than 2?
False
Suppose -7*j = -j. Let v be 95/105 - (1 - j). Does 0.1 = v?
False
Let c(l) = -25*l - 1. Let r be c(-1). Suppose 5*q + r + 21 = 0. Which is smaller: q or -8?
q
Suppose -9*i = -5*i. Suppose i = 3*y - 5*y. Is 2/19 <= y?
False
Let l be 6*(-2)/8*2. Let h be (10/15)/((-1)/l). Which is smaller: h or -2?
-2
Let u = 2/607 - -1807/4249. Which is greater: u or -0.3?
u
Let l = 14 + -11.94. Let c = l + -0.06. Let v = c - 1. Is 1/2 less than or equal to v?
True
Let j(v) = v + 14. Let s be j(-6). Let t = s - 7. Let l be -1*(t + -1) - -1. Is 3/5 at most l?
True
Suppose -t = 3*t - 3*o - 9, 0 = 5*t - 4*o - 11. Is 5 less than t?
False
Suppose -5*b - 509 = 5*p - 2*b, -p - 95 = 4*b. Let s = 369337/3565 - 3/3565. Let o = p + s. Which is greater: 0 or o?
o
Let m = -5 + 5.1. Which is smaller: 3 or m?
m
Let i be (2 - 11)*4/(-6). Suppose 5*r - 4*h = 24, 2*h + 0*h = -2*r + i. Suppose 0 = q + t - 3, 2*t = -2*t - 4. Is r equal to q?
True
Let n = -0.008 + 0.508. Let u = -1.5 + 2. Let x = u + n. Which is bigger: x or -1/3?
x
Let k = -193 - -120. Is k less than or equal to -73?
True
Let o = 0.083 + -0.973. Let h = -0.11 + o. Which is greater: -7 or h?
h
Let w be (-5 - -3)*2/4. Let c = w + 4. Do 2 and c have different values?
True
Let k be (-1)/1 - (-3)/2. Suppose -2*p - 3*p = 5. Let a be p/1*(-2)/2. Is k smaller than a?
True
Suppose 4*s = -0*s - x + 83, x = -5*s + 105. Suppose -c - 10 = -2*n, 5*n + 3*c = 4*c + s. Suppose -4 = -n*w + 4*p, -4*w - p = p + 20. Are w and -3 non-equal?
False
Let b = -6.249 - -0.339. Let g = b - -6. Which is bigger: g or 0.1?
0.1
Let v(b) = b**3 + 5*b**2 + b + 7. Let u be v(-5). Which is bigger: -0.1 or u?
u
Let f be (4/(-60))/(4/3). Let n = -10891 - -653557/60. Let j = n - f. Is 1 at most j?
True
Let g = -38 + 63. Suppose -g = b - 5*z, 4*b - 2*z - 1 + 11 = 0. Let t be ((-51)/18 + 3)*-8. Which is bigger: b or t?
b
Let h = 215 - 215.1. Let k = 1354 + -6718/5. Let m = -10 + k. Which is greater: m or h?
m
Let y = 62 + -62.04. Is 5 > y?
True
Suppose 3*b = -4*g + 15, 0*g - 2*b = g. Let s be g/(-9) + (-25)/3. Let q = s - -28/3. Is q > 0?
True
Let o = 0.02 - -7.98. Let c = -48 - -49. Are o and c unequal?
True
Let w = 13 - 18. Let f(g) = g**2 + 10*g - 16. Let n be f(-11). Is w at least as big as n?
True
Let i = 19/6 - 3/2. Is i >= 2?
False
Let s = -3 + 4. Let q = 1 + s. Which is smaller: q or 3?
q
Let v be 208/(-7) - 4/14. Which is greater: -29 or v?
-29
Let m = -59 - -89. Let q = m + -48. Which is smaller: -19 or q?
-19
Suppose l = -3*t - 31, -4*t - 4 = 16. Is l at most as big as -16?
True
Suppose -2 = k - 1. Suppose 0 = -w - 3, 2*l - w = 3 + 4. Suppose 10 = x - l*x + 2*s, -20 = 5*x - 4*s. Which is smaller: k or x?
k
Suppose -4 = -4*y + 5*k + 3, -3*y + 19 = -k. Let w = y - 5. Are 3 and w unequal?
False
L