t t be l(-11). Is -5 at most as big as t?
False
Let s = -0.5 - -0.8. Let v = 0.7 + s. Which is smaller: -3 or v?
-3
Let o be ((-99)/(-330))/(6/(-16)). Suppose 19 = -2*j - w + 4*w, -4*j - 3*w + 7 = 0. Which is greater: j or o?
o
Let p(h) = -3*h + 20. Let f be p(7). Let j = 111 + -447/4. Is f greater than j?
False
Suppose 2*z = 5*z + 6. Let i be 0/3*z/(-2). Suppose -a = g - 3, 2*g + i - 8 = -4*a. Which is bigger: 0 or a?
a
Let b be (4/(-12))/((-1)/(-2)). Suppose -4*d = 0, -5*h + 0*h + 5*d - 5 = 0. Is b > h?
True
Let g(w) = w**2 - 14*w + 14. Let i be g(13). Let b = -2 - i. Which is greater: -2 or b?
-2
Let c = -37 + 37.1. Which is bigger: -10 or c?
c
Suppose -2*b = 3*b - 650. Let q = 908/7 - b. Do q and 1 have different values?
True
Suppose 4*k - 22 = l, -5*k + 17 = 4*l - 0. Which is bigger: k or 6?
6
Let i be -6*1/(-4)*2. Let y(x) be the third derivative of -x**5/60 + 5*x**4/24 + 7*x**3/6 + 2*x**2. Let d be y(6). Are d and i nonequal?
True
Let c be (-8)/(-20)*(-15)/24. Are -1/5 and c equal?
False
Let a be (27 - 1)*2/4. Let t(p) = -p + 14. Let n be t(0). Is a at most n?
True
Let r be (-2 + 0)/(-2)*5. Suppose 0 = p + r*t + 6, 4*t - 12 = -4*p + 2*t. Let l = p - 3. Is l greater than -2/3?
True
Let f = 30 + -31. Let v(c) = c**2 - 2*c - 3. Let z be v(3). Which is bigger: z or f?
z
Let w be 2 + -25 + 1 + 1. Let t be w/45 - 2/(-3). Suppose 2*p + 0 + 4 = -2*l, 1 = -4*l + 3*p. Which is smaller: t or l?
l
Suppose -2*n - 3 = n. Let c = 1.73 - 1.63. Which is smaller: c or n?
n
Suppose 0*t + 2*g - 10 = -2*t, 5*g = 3*t - 15. Suppose 0 = 3*h - 4*h - t, -h + 31 = 3*v. Is 12 less than or equal to v?
True
Suppose -4*f - f = 30. Is -3 at least f?
True
Let k(g) = -g - 16. Let a be k(-11). Is -5 < a?
False
Let j be (-4 - 160/(-35))*14/4. Which is bigger: j or 1?
j
Suppose l - z - 6 = 0, 3*z - 2*z + 14 = 5*l. Suppose l*t - 9 = t. Are t and 8 equal?
False
Suppose -40 = -f - 4*f. Let j be 451/484 - 6/f. Is 1 bigger than j?
True
Let o(k) = k**2 - 7*k + 1. Let a be o(6). Let c = a - -8. Suppose s = 3*v - c + 2, v = -5*s - 5. Which is greater: 3/8 or v?
3/8
Let s = -3 + 5. Suppose -4 = -v, -s*p - p + 29 = 5*v. Suppose -p = 2*r - 11. Which is bigger: -2/7 or r?
r
Let w = -64.57 - -65. Let s = 0.03 - w. Let j = -0.46 - s. Which is smaller: j or 1/4?
j
Let s be 69/54 + 1/3. Let l = 10/9 - s. Let q = -0.2 + 0.1. Which is greater: q or l?
q
Let r(p) = p**3 - 5*p**2 - 6*p - 1. Let t be r(6). Which is smaller: 2 or t?
t
Suppose 0 = -4*c - z - 132, 4*c - 4*z + 34 = -78. Is c equal to 2/5?
False
Let z = 1716/95 + -272/15. Is z > 0?
False
Let u be 22*(-2)/((-12)/(-9)). Let y = u + 232/7. Which is smaller: 0 or y?
0
Let g = -0.08 + -1.52. Let f = 1.9 + g. Which is greater: f or 0.2?
f
Let b = -26576 - -7255256/273. Let x = 10/39 + b. Which is bigger: x or -1?
x
Let v = 218/35 + -24/5. Which is bigger: v or 2?
2
Suppose 4*v + 4 = 4*l - v, 3*l + 3*v = 30. Let n be -7 - (-4)/l*3. Which is smaller: -4 or n?
n
Let f be 6 - (-1)/((-1)/2). Suppose f*l - 4 = 2*l. Let m = -1 + 3. Is l at most as big as m?
True
Suppose 0 = g + d + 4 - 23, -15 = -3*d. Let h = g + -13. Which is smaller: h or 1/9?
1/9
Let t = 78 + -49. Let o = 21 - t. Do -9 and o have the same value?
False
Let u = -29 + 4. Let s be 2/10 - (-55)/u. Do -2 and s have different values?
False
Suppose -3*x - 5*t + 11 = 0, -2*x + 0*t = 3*t - 6. Let c(j) = -j - 4. Let i be c(x). Let p be (-3)/((-9)/(-6) + 0). Which is greater: p or i?
i
Let o = 14 + -10. Suppose 4*g - 31 = 3*a, 36 = -o*a + g + 3*g. Let p(i) = -i**2 - 6*i - 2. Let h be p(a). Which is smaller: h or 2?
2
Let t = -3 + 7. Suppose 2*o + 12 = 2*j + 2*j, t*o - 24 = -4*j. Let m be (-30)/3*(-1)/o. Which is smaller: 1 or m?
1
Suppose -4*w + 5*w = 1, 3*w - 8 = 5*s. Which is smaller: s or -3?
-3
Let x(j) = j**3 + 13*j**2 - 13*j + 13. Let z be x(-14). Is 2/5 at least z?
True
Let z = -115 + 129. Which is smaller: 29/2 or z?
z
Let f be ((-4)/44)/(2/4). Is f >= 0.4?
False
Let j = 0.15 - 0.12. Let n = 2/11 - 15/22. Is j at most n?
False
Suppose 7*i = 2*i + 5. Let y = 0 - i. Let j be (-1 - 0)/(44/8). Which is greater: j or y?
j
Let n = 8 + -9. Let x be (n - 0)*6/(-6). Let c be (0 + -2)*x/10. Which is bigger: c or -1?
c
Let y = 38 - 7. Let m = -20 + y. Suppose 3*r - 5 = -m. Is r less than or equal to -3?
False
Let u = 49 - 48. Let r be 1 + -1*(-2)/5. Which is smaller: u or r?
u
Let v be (2/3)/1 - (-129)/9. Which is greater: 49/3 or v?
49/3
Let r be 2/9 - 182/(-3960). Let q = r + -1/55. Suppose 8*w - 5 = 3*w. Which is greater: w or q?
w
Let a(h) = -h**3 - 3*h**2 + 3*h - 2. Let s be a(-4). Let y be (s/(-3))/((-10)/(-12)). Is -1/4 != y?
True
Suppose w + 3 = 4*w. Suppose 0 = 3*b + 2*a + 4 + w, b - 3*a + 9 = 0. Which is smaller: b or 1/2?
b
Let c = -21.038 + 0.038. Which is bigger: 0.1 or c?
0.1
Let w = 4 - 4. Let g = -2 + w. Do -2 and g have the same value?
True
Suppose -4*t + 13 = -63. Let c = t + -11. Suppose 3*o - 5*n - 31 = 0, -4*n - 29 = -2*o - o. Which is bigger: c or o?
c
Let n = -1.5 - -2.35. Let f = n + -0.8. Which is greater: 2/7 or f?
2/7
Let b(y) = -y**2 - 12*y. Let a(f) = f**2 + 13*f - 1. Let l(i) = -6*a(i) - 7*b(i). Let d be l(-5). Let x be 1 + 4/d + 0. Which is smaller: x or 4?
4
Let c(y) = y**2 - 3*y + 3. Let r be 3/(-2)*4/(-3). Let v be c(r). Let g(n) = -n**2 + 3*n - 1. Let t be g(v). Is 1 smaller than t?
False
Suppose q + c + 3 + 0 = 0, c = 5*q + 3. Let z be 2/44*(-4)/(-2). Which is smaller: z or q?
q
Let j(y) = -y**3 - 7*y**2 + y + 7. Let v be j(-7). Is v <= 1?
True
Let p = 172/3 - 58. Is p < -1/16?
True
Let p be (-15)/(-1) - (4 + -4). Let y = 15 - p. Do y and -0.19 have different values?
True
Let d = -146/65 + 24/13. Is d smaller than -14/9?
False
Let y be 0/(8/(-12)*-3). Suppose y = 2*q - 6*q + 8. Let n be 4/(-18) + 22/18. Is q != n?
True
Suppose -i - 4*k + 93 = -4*i, 0 = -4*k - 12. Let y = 103/3 + i. Is y > 0?
False
Let o = 159 - 138. Does 22 = o?
False
Let g = 0.042 + -0.082. Is 0.03 at most as big as g?
False
Let v(o) = -o + 4. Let l(f) = -f**2 - 4*f + 4. Let n be l(-4). Let x be v(n). Is -10/7 at least as big as x?
False
Suppose 0 = -19*j + 14*j - 5. Suppose -3*z + 8 - 2 = 0. Which is greater: z or j?
z
Let k = 2.2 + -2.5. Let s = 0.4 + k. Which is bigger: 6 or s?
6
Suppose o - b + 33 = -5, 4*b = -o - 13. Is o greater than -34?
True
Let o(c) = c**2 + c + 2. Let z be o(0). Let n = z + -7. Let r = n + 4. Which is smaller: r or 0?
r
Let t = 1.53 - 1.5. Let w = -0.23 + t. Which is smaller: w or 5?
w
Let g(l) = l**2 - 8*l. Let r be g(7). Is -3 <= r?
False
Let t = 33.2 - 33. Which is smaller: t or -0.05?
-0.05
Let q = -3 - -2. Let t be q/(14/8 - 2). Suppose 3*k - 4*k = -i, -3*k - t*i + 28 = 0. Is 4 < k?
False
Let p = 15 - 14. Let r(o) = -o**2 + 8*o - 1. Let g be r(7). Which is smaller: p or g?
p
Let r be (-6)/10*170/(-153). Is r at least as big as 61?
False
Let d be (-2 - -2) + (-20)/14. Which is smaller: -1 or d?
d
Let n = -47/132 + 1/44. Which is smaller: -1 or n?
-1
Let l be -2 - ((-27)/33 - 1). Do 0 and l have different values?
True
Let m = 38 - 37. Which is greater: -1 or m?
m
Let s(y) = -7*y**2 - y - 1. Let l be s(-1). Which is bigger: -9 or l?
l
Let i = -12 - -11.9. Which is smaller: i or 3?
i
Let a = -4 - -6. Suppose a*t = -t + 3. Let j be (-29)/(-8) - (12*1)/3. Is j at least t?
False
Let r = -4.5 + 0.5. Let z = -8.9 + 13. Let l = z + r. Is -0.1 at most l?
True
Suppose u = -f - 36, -f = -3*f + u - 72. Let l be (-44)/f + (-8)/36. Is 1 at most l?
True
Let t = 5 - 13. Let n = 6 + t. Let x = n + 1.9. Is -2/5 >= x?
False
Let k(u) = -2*u**2 + 2*u + 1. Let a be k(3). Let l = a + 23. Suppose l + 4 = d + 3*z, 0 = 4*d - 5*z + 21. Do 2/3 and d have different values?
True
Let w(o) = -o**3 - 3*o**2 + 10*o - 6. Let b be w(-5). Is b != 4?
True
Let y(h) = h**2 + 16*h - 1. Let o be y(-16). Which is bigger: 2/123 or o?
2/123
Let t(f) = -f**3 - f**2 + 5. Let q be t(0). Is q less than or equal to 5?
True
Suppose -8*k = -3*k. Is -4/17 at most k?
True
Let r(w) = 22*w**3 - 23*w**3 + w**2 + 2*w - 3*w**2 - 2. Let q be r(-3). Is q at least as big as 1?
True
Let w = -605/511 + 3/73. Is 0 less than w?
False
Let r be 8/14*(-24)/(-16). Is r at least 1?
False
Let x = 1.2 + -0.2. Suppose 3*y + 5*q = 37, y - q = -6 + 5. Suppose -2*m - y*s + 20 = 0, 3*m + 0 = -s + 5. Which is smaller: m or x?
m
L