et k = a - l. Which is bigger: -1 or k?
k
Let y = 8 + -5. Let v(p) = 2*p + y*p - 6*p + 6. Let w be v(6). Is 0.2 less than w?
False
Let l be ((-3)/16)/((-12)/16). Which is smaller: 3/8 or l?
l
Let x be ((-1)/2)/((-1)/10). Is 11/2 at least as big as x?
True
Let t be 56/(-6) - (-2)/(-3). Let s = 42 - 36. Let f be t/(-12) + s/(-12). Is -1 bigger than f?
False
Let g = -0.202 + -8.798. Is g <= 6?
True
Let h = 15 - 10. Suppose 0 = -0*x + h*x. Let q = 29/12 - 9/4. Is x greater than q?
False
Let f be -1*(2 - -4) - -1. Let h be f/(-20)*1/1. Which is greater: h or -1?
h
Let m(g) = -g**3 + 4*g**2 - 2*g + 2. Let c be m(4). Let w be ((-4)/c)/((-16)/(-24)). Is -2 <= w?
True
Suppose -4 = -2*q, q + 2 = -3*f + 4. Suppose 2*g + 0*g = f. Let k = 53 - 54. Which is smaller: g or k?
k
Let o = 6.5 + -7. Let k = o + 0.7. Which is greater: 3/5 or k?
3/5
Let f = -3 + 3. Let w = -1 + f. Is w at most as big as -1?
True
Let r = -6.22 - 0.78. Which is bigger: r or -0.1?
-0.1
Suppose z - 6 = -18. Are -12 and z nonequal?
False
Let k = 2 - 2. Let a = 2 - 9. Let j = -5 - a. Which is bigger: j or k?
j
Let x be 6/33 + 20/11. Suppose -4*h + 0*h = -4, -4*z + 2 = -x*h. Which is smaller: 6 or z?
z
Let g(s) = s**2 - 5*s - 6. Let h be g(6). Let y = -0.1 + 0. Let c = -2.9 + y. Which is smaller: c or h?
c
Let c(o) = o**3 - 3*o**2 - 4*o. Let s be c(-1). Let r be 2 - ((-90)/(-23) + -2). Is r greater than s?
True
Let b = 4.1 + -4. Let s = b + -1.1. Let l = -0.9 + 0.87. Does s = l?
False
Suppose 0 = -13*x + 2*x. Is 5/11 at most as big as x?
False
Let h be 2/10*15/(-6). Let x(t) = t**2 - 9*t - 8. Let n be x(10). Let k be (12/(-8) + n)*0. Is k at least as big as h?
True
Let o(w) = w**3 - 2*w**2 + 4*w - 6. Let c be o(2). Are c and 33 equal?
False
Let c be ((-1)/2)/((-2)/12). Let x be (-1)/((9/21)/(-3)). Suppose d - 3*s + 1 = 0, 0 = 3*d - x*s + c*s - 2. Which is greater: d or 3?
3
Let a(v) = v**2 - 6*v + 7. Let p be a(5). Let h = 73 + -145. Let l be p/3 - h/(-81). Which is smaller: l or 0?
l
Let j = -1865/102 - -109/6. Is j at most as big as -2/17?
True
Let c(l) = l**3 - 5*l**2 - 6*l + 2. Let y be c(6). Let u be 1/((4/(-6))/y). Let m be -1 - 1 - 0 - u. Which is bigger: 1/4 or m?
m
Let d be (-202)/156 - 2/(-3). Let q = 9/130 - 2/65. Let j = d - q. Which is bigger: j or 0?
0
Let a = 0.03 + 2.97. Is 2 less than or equal to a?
True
Suppose 3*d + 3*k = -39, -d = -5*d - k - 40. Let x be (0 - d/15) + -1. Which is smaller: -3 or x?
-3
Let p = 42.2 - 42. Let d = 361095/68 - 5310. Let o = 8/17 - d. Is p greater than o?
False
Let f(t) be the third derivative of t**5/60 - t**4/24 - t**3/6 - 3*t**2. Let v be f(3). Suppose 5*j + 5 = -v. Is -1 >= j?
True
Let v = 0.17 + -0.3. Let z = -0.07 + v. Let s = -6 + 4. Is z not equal to s?
True
Let l = -0.64 + -0.06. Let k = 0.9 + -0.3. Let x = k + l. Is -2 smaller than x?
True
Let b = 3 + -3. Let w(g) = g**3 - 8*g**2 + 5*g + 6. Let i be w(6). Let c be (-10)/i - (-1)/(-2). Which is greater: c or b?
b
Let m = 24 - 13. Suppose 3*p - m = -2*f, 0 = 5*p + f + f - 13. Suppose 2*k - 2*l + 2 + 4 = 0, k = 5*l - 15. Which is greater: k or p?
p
Suppose 0 = 2*k - 0 + 8. Suppose 0 = 2*x - 0 + 8. Is x less than or equal to k?
True
Let b = -1.7 + -10.3. Let u = b - -13. Which is smaller: u or -6?
-6
Let c = -5 + 4. Are -12 and c equal?
False
Let t be 0/(-3) + 2 - -3. Suppose -4*b + 15 = t*s, -4*b - 9 = -3*s - b. Suppose -s*y = -1 + 4. Do y and 2/7 have different values?
True
Suppose -8 + 4 = -v. Suppose -2*s - 3*s - 5*y = -10, s - v*y + 8 = 0. Let h be 4/10 + 23/(-45). Which is smaller: s or h?
h
Let w(o) = -5*o**3 - 2*o**2 - o - 4. Let x be w(-2). Is 30 at least x?
True
Let s be (16/(-24))/(2/(-9)). Let t be -1 + 3 - (-3)/s. Let m be (-2)/28*(-4 + 0). Is m bigger than t?
False
Let i = -0.5 + 0.5. Let c = i - 0.2. Let m be (1 + 0)/(14/(-4)). Is c smaller than m?
False
Let v be (-2)/(-4) + (-2)/20. Let b = -65 - -68.3. Let a = -0.3 + b. Which is greater: v or a?
a
Let w = -74 + 67.8. Is 0.1 at least w?
True
Let l(j) = -3*j - 18. Let w be l(-6). Which is smaller: -8/13 or w?
-8/13
Let t = -1.06 + 2.06. Which is greater: 47 or t?
47
Suppose -3*m + 47 = 5*v, 5*v - 5*m = -4 + 19. Which is smaller: v or 3?
3
Suppose 9*l - 4*l - 15 = 0. Let y = 1 - -6. Let w(q) = -q**3 + 8*q**2 - 6*q - 5. Let j be w(y). Is l less than or equal to j?
False
Let l(o) = o**3 + 11*o**2 - o + 14. Let v be l(-12). Do v and -118 have different values?
False
Let l = -1 - -5. Suppose 2 = l*q - 10. Is q at least 2?
True
Let t = 5.03 + -5. Let p = t + -0.05. Let s = -0.22 - p. Is -0.1 equal to s?
False
Let j = 2.72 - 5.71. Let l = j - 0.01. Which is smaller: -1/3 or l?
l
Suppose -5*z + 7*z + 11 = -3*o, 2*o = 3*z + 10. Which is bigger: -9/5 or o?
o
Let v = -2.4 - -3.4. Is v bigger than -1/14?
True
Let o(t) = 4*t**2 - t. Let q be o(-1). Suppose -3 = q*h + 12. Let b be (27/(-24))/(3/4). Is b at most as big as h?
False
Suppose 0 = 4*v - 3*v - 5. Suppose -v*q - 4*x = 7, 4 = -2*q + x + 9. Do -1/5 and q have different values?
True
Let q be 2 + (-4 - 6/(-4)). Which is greater: q or -3?
q
Suppose 0*c - 25 = -5*c. Suppose 2*q + 4*r = q + 1, -5*q + r = -c. Let d = 0 - q. Are -2 and d unequal?
True
Suppose 3*z = 2*z + a + 98, 2*a - 314 = -3*z. Let y = 920/9 - z. Which is greater: -1 or y?
y
Let o = 1/1404 - -4055/220428. Let p = -2481157/61230 + 2581/65. Let g = o - p. Which is bigger: 2 or g?
2
Let z = 0 + 1. Let j = -2.9 + 3. Which is bigger: j or z?
z
Suppose 2*a + 1 = 3. Let n = 3 - a. Let p be 12/(-16)*(2 + -3). Which is greater: p or n?
n
Let c(m) = -m**3 - 3*m**2 - 3*m. Let f be c(-2). Is 2/11 <= f?
True
Suppose -3*u = 9 - 6. Is -1/43 less than u?
False
Suppose -10*f = 39 + 1. Suppose -4*b + 4*d - 16 = 2*d, -4*b - 2*d = 0. Is f <= b?
True
Let h(m) = -m**3 - 8*m**2 + 9*m. Let y be h(-9). Suppose -3*k - 5*w - 35 = 0, -5*k - 2 - 39 = 4*w. Let u be ((-2)/6)/(k/(-3)). Which is smaller: y or u?
u
Let v be -1 + (-7)/((-147)/12). Are v and -1 nonequal?
True
Let n = 3 + -3.15. Let b = -0.05 + n. Is -1/5 less than or equal to b?
True
Suppose 3*r - 6*r = 3. Is 2/45 at most r?
False
Let a be (-72)/(-16) - 2/4. Let z be (-51)/105 + a/20. Is z at most 0?
True
Let z = -9 - -9. Suppose 4*m = -z*m + 4. Is 4/11 less than m?
True
Suppose 0 = 5*w - 5*l + 6 - 1, 25 = 3*w + 4*l. Suppose -2*v = -2*x - 12, -5*v - 16 = -w*v + 5*x. Let s be v - 2 - (-3)/6. Is 2 less than s?
False
Let a = 65 - 65. Let d = -8 + 8. Is a less than d?
False
Let y = 4 + -4. Let q = y + 1. Is q < -0.1?
False
Suppose 2*a = -4*p - p + 33, -2*a = -3*p + 7. Which is greater: -7 or a?
a
Let b = 5 + -70. Is b greater than or equal to -64?
False
Suppose 0 = -5*l + 2*r + 4, 2*r = 3*r - 3. Suppose l*f - 5 = -3, -y + 5*f - 7 = 0. Do y and -2 have the same value?
True
Let r(p) = 0*p + 2*p + 6 - 1. Let v be r(-4). Let c(s) = 3*s + 10. Let f be c(-4). Which is smaller: v or f?
v
Let q(x) = -x + 2. Let m be q(-3). Suppose 24 = 3*f - l - 3*l, -2*f + l + 11 = 0. Which is greater: f or m?
m
Let q(u) = u**3 + 3*u**2 + 4*u + 2. Let b be q(-2). Let x = b + -2. Which is smaller: -5/2 or x?
x
Let y be ((-2)/6)/((-2)/(-6)). Let a(s) = -s**3 + s**2. Let b be a(1). Is b at least as big as y?
True
Let o be 24/(-108) - 21/27. Which is bigger: o or 3/11?
3/11
Let i(v) be the first derivative of -1/2*v**2 - 3 + 3*v. Let q be i(3). Do q and -5 have the same value?
False
Suppose 0*j + 4 = 4*j. Let k = 3/19 + 10/57. Which is smaller: k or j?
k
Suppose 173 = -14*d + 495. Which is greater: 22 or d?
d
Let b(a) be the second derivative of a**3/2 - 21*a**2/2 + 3*a. Let o(l) = -l + 7. Let s(x) = 2*b(x) + 7*o(x). Let w be s(8). Which is greater: -2 or w?
w
Suppose q = -2*b - 1 + 5, 16 = 3*b + 4*q. Is b bigger than 2/53?
False
Let u be (12/8)/(6/16). Suppose 2*n + r - 5*r - 12 = 0, -u*n + 12 = -4*r. Which is bigger: 0.04 or n?
0.04
Let m = -26 + 40. Suppose -4*y = -m - 2. Is y smaller than 3?
False
Suppose -2*s + 4*s = -4. Which is smaller: -1 or s?
s
Suppose 2*s - 5*s = i - 38, 4*s = -4*i + 48. Is 13 less than or equal to s?
True
Let f = -35 + 25. Which is smaller: -9 or f?
f
Let h(u) = -u**2 + 6*u - 9. Let w be h(6). Let a be (6/w)/(8/84). Which is bigger: a or -6?
-6
Let x be 132/(-9) + 2/(-6). Let z be (x/25)/(2/(-5)). Is 1 greater than z?
False
Let z(m) = -17*m - 69. Let f be z(-4). Which is smaller: 1/