is smaller: a or 48?
48
Let s = -79 + 78.59. Let b = s - -0.01. Let m = b + 1.4. Is -2 < m?
True
Let j be (-2 - -3)*(-5)/15. Does j = -7?
False
Let i = 1 - -2. Let l = 0 + i. Is 1 > l?
False
Let q be (1 + 1)/2 - -20. Let s be -1*(-6)/q - 0. Let v = 0.4 - 0.5. Which is smaller: s or v?
v
Let a(j) = -j**3 + 3*j**2 - 3*j + 3. Let o be a(3). Is o bigger than -3?
False
Let s = 15 - 17. Are 4 and s unequal?
True
Suppose -6*a + 11 = -3*a - 2*p, -6 = -3*a - 3*p. Suppose 2*n - a*n = 5. Are -4 and n non-equal?
True
Let p = 0.2 - 0. Let y = 12.1 - 12. Which is smaller: p or y?
y
Let r = -43 + 43.5. Let g(n) = -5*n**2 - 2*n. Let a(s) = -9*s**2 - 4*s. Let l(p) = -4*a(p) + 7*g(p). Let b be l(-2). Is b < r?
True
Let u be (-1 + 5)*4 + -1. Let h be (-5)/2*18/u. Which is smaller: -6 or h?
-6
Let f(d) = d**3 + 2*d**2 - 3*d. Let r = 3 + -6. Let n be f(r). Which is greater: 2 or n?
2
Let z be (-2)/8*12/63. Is z equal to 1?
False
Suppose 1 - 3 = -2*a. Let o = -1 + a. Is 0 at most as big as o?
True
Let b be (1 - 2) + 18/14. Which is smaller: -1 or b?
-1
Let x(a) = 2*a - 5*a + a + 11 + a. Let g be x(10). Which is smaller: 0 or g?
0
Let z be -2 - (0 + (-1 - -2)). Let p(j) = -j**2 - 2*j + 2. Let n be p(z). Is -2/5 bigger than n?
True
Let u be 9 - (1 - (0 + 0)). Suppose -3*n + 2*a = -17, 0 = 4*n - 2*a - 20. Suppose n*h - h = u. Which is greater: h or 5?
5
Let v = 12533/4 + -3153. Let l = v - -20. Let q = -2 + 3. Which is smaller: q or l?
l
Let c(i) = -2 + 1 + 6 - 6*i**2 - i + i**3. Let l be c(6). Let x = 0.3 - 1.3. Is l greater than or equal to x?
True
Let j(w) be the third derivative of -w**6/120 + 2*w**5/15 - 3*w**4/8 + 5*w**3/3 + w**2. Let y be j(7). Is y at most as big as -4?
True
Let m = -11 + 8. Let s(f) be the second derivative of -f**4/6 + f**3/6 - 8*f. Let v be s(1). Do v and m have the same value?
False
Let c be (-2)/5 + (-141)/(-15). Let i(t) = -8*t - 13. Let k be i(c). Let a be 0 - -1 - k/(-75). Is a equal to 0?
False
Let n = 320 + -2884/9. Is n not equal to 1?
True
Suppose 2*n = -n + 9. Let z be 4*1*n/(-18). Is z >= 5?
False
Suppose 12 = 4*b, 5*b = 2*d - 3*d + 17. Let i(l) = 1 - 3*l + 3*l - l**d - 7*l. Let k be i(-7). Is k smaller than 2/13?
False
Let s be 3/((-3)/7) - -1. Let o be (-9)/s - (-34)/(-12). Are o and -1 nonequal?
True
Let y(r) = 2*r**2 + 3*r + 2. Let d be y(-3). Let j = 8 - d. Is j equal to -3?
True
Suppose -5*x = 8*b - 4*b + 24, 2*x = -8. Is 2/71 != b?
True
Let t be 5/(-10) + (-35)/6. Which is bigger: -5 or t?
-5
Let l = -0.3 + 0.4. Let b = l + -0.3. Which is smaller: b or 0?
b
Let s(n) = -n**3 - 10*n**2 - 8*n + 9. Let y be s(-9). Suppose 3*w - w = y. Which is smaller: 1 or w?
w
Let b be 0 - 0 - (-11)/(-22). Let n(f) = -f**2 - 4*f + 1. Suppose 2*p + 16 = -5*h, 4*p + 4*h + 20 + 0 = 0. Let q be n(p). Which is smaller: q or b?
b
Suppose 2*q = -w - 5, -3*q + 22 = -3*w - 2*q. Let s(h) = -h**2 - 8*h - 6. Let f be s(w). Let n be f + 9/(-3) - -1. Which is smaller: -1/2 or n?
n
Let n(c) = -c**3 - 3*c**2 - 4*c - 3. Let x be n(-2). Does 3/23 = x?
False
Let k be ((-20)/(-45))/(4/6). Let y = -6 + 9. Suppose 3*u + y = 6*u. Is u at most k?
False
Suppose 2*x - 11 = -35. Let z be (-4)/(-9)*(-9)/x. Let c = -0.2 - -0.6. Which is greater: c or z?
c
Suppose 0 = c - 6*c - n + 2, -2*c - 4 = -2*n. Is 8 < c?
False
Let k = -64 - -64. Which is bigger: -0.053 or k?
k
Let r be -5 - (-1)/((-1)/(-2)). Let g be (-8)/12*6 + 0. Which is bigger: g or r?
r
Let r(a) = a**2 + 3*a - 12. Suppose -4*z - 14 - 6 = 0. Let f be r(z). Is 1 <= f?
False
Let h be (-2 + 1)/((-4)/(-92)). Is -22 greater than or equal to h?
True
Let t(n) = -n**2 - 5*n + 5. Suppose 0 = 2*l + p + 5, -4*l = -2*p + 37 - 7. Let i be t(l). Suppose c = i*c - 8. Is 1 greater than c?
False
Let a(t) = -t**2 + t - 1. Let f(d) = -3*d**2 + 13*d - 1. Let b(y) = -2*a(y) + f(y). Let k be b(11). Which is smaller: k or -7?
-7
Let q(v) = -v**3 - 8*v**2 + 20*v + 1. Let g be q(-10). Which is smaller: -3/7 or g?
-3/7
Let z = 10 + -7. Suppose 0 = b + z*b. Suppose b*w - w = 0. Is w at most 0?
True
Let n = -3 - -1. Suppose -4 = l + 2. Let k = l + 7. Which is smaller: k or n?
n
Let f = -5 - -7. Suppose -f - 3 = 5*y. Which is greater: -2 or y?
y
Let c = -0.327 + -0.063. Let a = c + -0.01. Let d = -0.5 - a. Is d bigger than 0.2?
False
Let h(a) = a**3 + 2*a**2 + 2. Let f(m) = -m**2 + 5*m - 2. Let v be f(5). Let n be h(v). Is n greater than 3?
False
Let y be (-1)/((-1 + 2)/(-19)). Is y greater than 20?
False
Let c be (1/(20/8))/((-2)/10). Let n be (-2)/2*-1*-2. Let z be 2/4*0 + n. Is z at most c?
True
Let x(y) = y**2 + y - 6. Let s be x(0). Let m be (3 - -3)*4/s. Do m and -1 have the same value?
False
Let r be (-15103)/(-220) + 1/(-4). Let q = 69 - r. Is 1 equal to q?
False
Suppose -f - 6 - 1 = 0. Let k(j) = -2*j - 8. Let l be k(f). Let w be (2/l)/(5 - 6). Which is greater: w or 0?
0
Let u = -1 - -3. Suppose -u*g + 9 = g. Suppose -2 = k - 2*k. Is g not equal to k?
True
Let g = 55 - 54. Is -1/54 equal to g?
False
Suppose -3 = 10*t - 13*t. Which is smaller: 10/7 or t?
t
Let h be 2/6 + 144/(-189). Which is greater: -1 or h?
h
Let t(u) = -u**3 + 5*u**2 - u - 1. Let y be t(4). Let v = -12 + y. Is -9/4 >= v?
False
Suppose 5*p - 17 = 4*w, -17 = -0*w - w - 3*p. Are 3/4 and w non-equal?
True
Suppose 3*q = -2 + 5. Is 12/5 >= q?
True
Let y(k) = 4*k - 1. Let d be y(-2). Let c be -1*1 + (-3)/d. Let f = 1 + -2. Is c at most as big as f?
False
Let h(c) = 2*c - 15. Let r be h(8). Are 1/18 and r equal?
False
Suppose 2*z + 5*k = 24, 4*z = -2*k - 0*k + 32. Let q = -6 + z. Which is smaller: -1 or q?
-1
Let o(s) = -2*s. Let k be o(0). Which is smaller: 1/10 or k?
k
Let z be -3 - -1 - -2 - -1. Let h be 76/40 + -2*1. Is h at most z?
True
Let i be ((-1)/2)/((-475)/(-100)). Suppose 0 = h + 3 - 2. Is h bigger than i?
False
Let j be (-2)/6 + 121/(-33). Which is smaller: j or -11/4?
j
Let o be 3/12 + 9/(-4). Let i be (-15)/4 + (-90)/(-120). Is i equal to o?
False
Let q(f) = -f**3 + 5*f**2 - 4*f + 2. Let m be q(4). Suppose 3*x + 13 = 4*h, h = -4*x + m*x + 6. Is -2/5 != x?
True
Suppose 3 = 2*z + 11. Is z equal to -5?
False
Let k(p) = -p**3 - p**2 + 3*p. Let x be k(-3). Let r be ((-4)/6)/(6/x). Let y = -10/13 + 43/39. Is y at least r?
True
Let b be ((-3)/(-15))/((-6)/(-5)). Suppose 2*u = -3*u - 3*x - 29, -u + 8 = -4*x. Let y = 3 + u. Which is greater: y or b?
b
Let i = 3 + -2. Let z be i/3 - 169/3. Let t be -2 + 1/((-26)/z). Which is smaller: t or 0?
0
Suppose -y + 0*y + 20 = 0. Let g = 14 - y. Let w be (-5)/5*(5 + 1). Is w at least g?
True
Let n = -7 - 0. Let i = 7.1 + n. Let s = i - 0.1. Which is smaller: s or -5?
-5
Let r be (8/(-5))/(8694/855). Let v = r - -1/69. Which is bigger: 0 or v?
0
Suppose -4*v - 16 = -8*v. Suppose -x + 0*x + 4 = 0. Suppose 0 = v*t + x. Is t < -1?
False
Suppose 5*v - 74 = 5*d + v, 4*d = 4*v - 56. Suppose 2*j = 10 + 12. Let y be (-2)/(d/j) - 1. Which is smaller: y or -1?
-1
Let u(p) = p. Let a = -9 + 6. Let q = a + 3. Let l be u(q). Which is greater: -1 or l?
l
Let t = -809/3 - -266. Let h = -0.5 - -0.5. Is t equal to h?
False
Let p(b) = 2*b - 9. Let n be p(7). Suppose 0 = -r + 4*m + n, -r - 4*r + 57 = -4*m. Let q = r - 37/3. Is q smaller than 0?
False
Let x be 1/((-2)/(4 + 44)). Are -24 and x equal?
True
Let v(y) be the second derivative of y**5/20 - 3*y**4/4 + y**3/6 - 11*y**2/2 - 2*y. Suppose 5*a = 43 + 2. Let s be v(a). Is s < -1/2?
True
Let f be (-3)/5 + 94/(-10). Let h(y) = -y**2 - 10*y - 3. Let u(o) = -o**2 - 10*o - 4. Let m(v) = 4*h(v) - 3*u(v). Let q be m(f). Which is smaller: -3/5 or q?
-3/5
Let g = -26 + 23. Which is bigger: -9/5 or g?
-9/5
Let z = 14/17 - 8/51. Is -0.1 < z?
True
Let t be 14/10 + (-42)/28. Is 0 > t?
True
Let f be ((-6)/28)/((-27)/36). Let x = -0.13 + 0.83. Are f and x equal?
False
Let o = -4 - -3. Let c = 65 - 62. Let v be c + (-1)/o*-1. Which is bigger: v or 3?
3
Let t be (1/2)/((-2)/(-4)). Which is bigger: t or 2/3?
t
Let f = 17.2 - 14. Let x = 3 - f. Which is smaller: 1 or x?
x
Let v be -2 - -5 - (-2)/2. Let d be 2/(-2)*v/18. Let p = -131 - -1443/11. Which is greater: d or p?
p
Let y be 4 + (105/(-4))/7. Does -16/5 = y?
False
Let i be -3*(2 - (-55)/(-27)). Let m = 31/36 - i. Which is smaller: 1 or m?
m
Suppose -c - 4 + 3 = 0. Suppose -2*w + 2*y = 0, -8*w = -4*w + y - 10. Which is smaller: c or w?
c
Let x be (