r than j?
True
Suppose i + 3*l - 12 = -2*i, 0 = -3*l. Let r be 2/8 - 1/i. Which is greater: 2 or r?
2
Suppose m - 3*m = -5*h, 4*m + 3*h + 52 = 0. Let l = -35 - -24. Which is smaller: l or m?
l
Let b(d) = d**3 + 5*d**2 + 5*d + 5. Let h be b(-5). Let p be (-2)/5 - 13/h. Which is smaller: -4 or p?
-4
Let f(h) be the second derivative of h**5/120 + h**4/12 + h**3/6 - 2*h. Let q(z) be the second derivative of f(z). Let k be q(-2). Which is bigger: k or 1?
1
Let x = 4 + 7. Is x at least 11?
True
Let p = 0.3 - -1.7. Let y = 2.4 + -2.4. Is y bigger than p?
False
Let s = -0.56 + 0.36. Let y(q) = q - 4. Let h be y(2). Is s at most as big as h?
False
Let r be ((136/(-96))/1)/(1/2). Does r = -3?
False
Let a(c) = 5*c + 1. Let l be a(1). Suppose -2*b - l = -0*b. Which is smaller: -1 or b?
b
Suppose -3*r + k = -0*r + 5, -4*k - 19 = r. Let i(w) = 2*w**3 + w + 1. Suppose -3 = 4*l + 1. Let d be i(l). Is r < d?
True
Let y(u) = -u**2 + 4*u - 2. Let v be y(2). Let a = -6 + 2.8. Let z = -0.8 + a. Which is bigger: z or v?
v
Suppose -2 = 4*q + 2. Which is smaller: q or 0?
q
Let k(p) = -3*p**3 - 2*p**2 + 1. Let r be k(2). Which is smaller: -63/2 or r?
-63/2
Let n be ((1 + -2)*0)/(-1). Let o = -1 + n. Which is greater: o or 1/4?
1/4
Let q = -12 - -10.9. Let j = -0.3 + -0.7. Let w = q - j. Is 1/2 bigger than w?
True
Let p(y) = y - 2. Let q be p(3). Which is bigger: q or -2/33?
q
Let m(o) = -o**3 - 5*o**2 + o + 4. Let c be m(-5). Let d = -0.2 + 0.2. Which is smaller: d or c?
c
Suppose 28*i + 5 = 33*i. Let n = 1.9 + 0.8. Let d = 3 - n. Which is smaller: i or d?
d
Let w be (-1)/(-5)*10/3. Which is greater: w or 0.1?
w
Suppose 2 = -k + 3*a + 10, 17 = 4*k + 3*a. Suppose 3*n + 4*x = -3, 2*x - k*x = n + 1. Let y be 1*((n - -2) + -2). Is y at most as big as 3?
True
Suppose 5*k - k + 40 = 0. Let q = 7 - k. Do 18 and q have the same value?
False
Let h be 5 + -3 - (111/3 - 3). Is -32 greater than or equal to h?
True
Let y = -16.9 + 2.1. Which is smaller: 2/5 or y?
y
Let q be 1*(0 - 4/10). Let a(r) = -r**2 - 4*r - 4. Let z be a(-3). Is z at least as big as q?
False
Let h(i) be the third derivative of i**5/60 + 5*i**4/24 + i**3/2 - 3*i**2. Let f be h(-4). Which is smaller: f or -2/3?
f
Let u(p) = -10*p**2 + p**3 - 5 - 3*p + 13*p - 2*p**3. Let f be u(-11). Suppose 0 = -4*s - t + 17, 5*t = -6*s + s + 25. Are f and s nonequal?
True
Suppose 3 = d, -3*d - 45 = -5*v - 184. Do v and -27 have the same value?
False
Let r = -21/104 + 1/13. Suppose 0*g = g + 3*n, -5*n = 0. Is r at most g?
True
Let l(t) = t**3 + 8*t**2 + t. Let k be l(-4). Let j be (-2)/7 + (-72)/(-7). Let z be 16/k*j/12. Which is bigger: z or -2/3?
z
Let m be (16/20)/((-4)/(-20)). Are m and 4 equal?
True
Let j be (-8)/(-30)*15/10. Which is smaller: -1 or j?
-1
Let u be (9/(-6))/(2/(-25)). Let l = -37/2 + u. Is l at most as big as 0.06?
False
Let w = -81 + 80. Suppose 0 = z - 1 + 2. Is w >= z?
True
Let q be 1/(-4)*(-46)/(-22). Let p = -3/11 - q. Which is greater: p or 1?
1
Let f(u) = -5*u**2 - 2*u + 2. Let r be f(-2). Let w = r + 8. Is -6 at most w?
True
Suppose 3 = -5*a + 23. Let g(j) = -j**2 + 8*j + 8. Let z be g(7). Suppose z*i - 18*i = -9. Is a < i?
False
Let n be 243/4 + 2 + -3. Let v = n - 60. Let c = 20 - 21. Does c = v?
False
Suppose 86 = -4*t + 90. Is -5 bigger than t?
False
Let z = -1.6 + -9.4. Which is smaller: -0.1 or z?
z
Let z be (-2)/12*(-5)/(170/8). Which is bigger: z or -1?
z
Let r = -2.81 - -2.7. Let k = 7.11 + r. Let y = -7.1 + k. Which is smaller: y or -0.3?
-0.3
Let g be (-98*(-1)/12 - -4)*2. Which is greater: 23 or g?
g
Let n(l) be the first derivative of -l**4/4 + 8*l + 3. Let q be n(0). Does 8 = q?
True
Let c(i) = -i**2 + 2*i - 1. Let x be c(3). Let t be 6*x/(-14)*7. Let a be 3*-1*8/t. Which is bigger: a or -1?
-1
Let h = -1.74 + -5.36. Let n = -13 - -6. Let k = h - n. Which is bigger: -4 or k?
k
Let g(c) = -8*c**2 + c. Let m be g(1). Let z be 40/(-7) + 2/m. Let p = -6 - z. Which is smaller: p or 2?
p
Suppose -2*p = -1 + 3. Let n(f) = f. Suppose 0 = -2*m + 3*m. Let r be n(m). Which is smaller: p or r?
p
Suppose 28 = 13*v - 6*v. Let o be (-1)/((-1)/5) + 0. Suppose o*n + 10 = 25. Which is smaller: v or n?
n
Let b be -5*(86/5)/(-2). Let w be (-1)/b + -6 + 6. Are w and 1 equal?
False
Let c(f) = f**3 + 7*f**2 - f - 11. Let b be c(-7). Are b and 6 equal?
False
Suppose 0*p = -5*p - 30. Let n be ((-4)/p)/(2/15). Suppose q = -2*a + 4, -3 = -4*a + 5*q + n. Which is smaller: 1 or a?
1
Let l = -17 - -15. Which is greater: -6/5 or l?
-6/5
Let n = 1747/6 - 291. Suppose -4*h - 16 = 5*l, 4*l + 2*h - 4 = 3*h. Is n >= l?
True
Suppose 0 = -p + 1 + 19. Is p less than 20?
False
Let x(z) = z**3 - 5*z**2 - 7*z + 5. Let o(f) = f**2 - 4*f + 6. Let v be o(4). Let m be x(v). Which is smaller: m or -2/13?
m
Let c be ((-2)/(-4) - 0)/(77/506). Which is smaller: c or 4?
c
Let b = -3 + 2.9. Let c = -118.4 + 118. Which is smaller: c or b?
c
Let r(p) be the second derivative of p**6/720 - p**5/60 - p**4/4 + 2*p. Let f(s) be the third derivative of r(s). Let y be f(2). Is y less than 0?
False
Suppose 1 = -2*m - 1. Suppose 2*a - 12 = -a. Let j be ((-52)/5)/a + 1. Is j > m?
False
Let a = -0.9 + -0.1. Let l = 1 - a. Let t = -2.1 + l. Which is smaller: t or -0.2?
-0.2
Let a = 0 - -5. Let c(q) = q**2 + 2*q + 3. Let z be c(-3). Is z <= a?
False
Let r = -0.04 + -0.96. Let s = 3 + r. Which is bigger: s or -1?
s
Let q = -2.1 + -1.9. Which is bigger: q or 2/3?
2/3
Let v = 13 - 9. Is 2 at least as big as v?
False
Let i = 124 + -119. Which is smaller: i or 7?
i
Let b(s) = -5*s + 5. Let u be b(7). Let i be (-6)/7*u/18. Are 2 and i non-equal?
True
Suppose -l + 0 = -5. Suppose 4*q + l*z = 375, -2*q + 3*z + 351 = 2*q. Let n be (-8)/q*15/(-6). Which is smaller: n or 0?
0
Let w be (-17)/4 - (-6)/24. Let l = 0 - 9. Let u(t) = t**2 + 9*t - 2. Let o be u(l). Is w at least as big as o?
False
Let c = 7 - 1. Let o be c/(-30) - 12/(-10). Suppose -2 = -3*m + 4. Are o and m nonequal?
True
Suppose -4*n + 25 = 4*v - 5*n, 0 = -4*v + 5*n + 13. Let a be (3 + -6)*21/3. Let j be 6/a + 23/v. Which is smaller: 2 or j?
2
Let d be (-62 + 96)*(1 - 2)*1. Is -2 <= d?
False
Let z(g) = -g - 2. Let t be z(-1). Let h = -29/4 + 253/36. Which is bigger: h or t?
h
Let s be (1 + (-4)/2)/1. Let x(u) = -u**2 + 4*u. Suppose -2*m + 16 = m + 2*r, 0 = 5*m - 2*r - 16. Let h be x(m). Which is greater: h or s?
h
Let q be 2/(-7) - 1287/28. Let v(r) = 8*r + 6. Let u be v(5). Let a = u + q. Is a greater than -1?
True
Let l = 1 - 0.8. Let w = -0.037 - 4.763. Let q = w + 5. Are q and l nonequal?
False
Let v = -39 - -30. Which is smaller: v or -10?
-10
Suppose -4*i - i = 0. Let b be ((-1)/(-17) - -2) + -2. Is i > b?
False
Suppose 3 = 4*c - 1. Suppose -3*u = -5 + 2. Let k be u/1 + (-2)/8. Does c = k?
False
Suppose -3 = 2*t - 3*t. Suppose t = 5*v - 2. Is v smaller than -2/9?
False
Let v(u) = -2*u - 17. Let k be v(-8). Which is smaller: -6/13 or k?
k
Let s be (-2 - -1 - 3) + 11. Are 6 and s nonequal?
True
Suppose 0*n - 15 = -3*n. Suppose -42 = n*d + 28. Is d at least as big as -13?
False
Suppose -2*x + 2*f = -12, -3*x - 5 - 1 = 3*f. Let a be -3 + (x - (0 + -2)). Which is smaller: a or -0.5?
-0.5
Let t(y) = y**3 + 1. Let n be t(0). Which is smaller: n or -1/16?
-1/16
Let x(u) = -5*u + 29. Let b be x(6). Is b at least as big as 4?
False
Let a = 92/3 - 30. Suppose 2*d + 4*o + 12 = 0, 3*o + 9 = -2*d - d. Suppose -4*c = -d*c. Which is smaller: c or a?
c
Let s = -2805/7 + 16375/42. Is -11 < s?
True
Suppose -t - 10 = t. Let c be ((-104)/(-40))/(4/t). Let u = -3 - c. Which is smaller: -1 or u?
-1
Let z = 12 + -11. Which is smaller: 5/7 or z?
5/7
Let p(t) = -2*t**3 - 2*t**2 - t. Let s be -3 - (3 + -5) - 0. Let n be p(s). Let i be (n/(-12))/(2/(-6)). Is i equal to -2/3?
False
Suppose -3*m + t = -8, m + 4*m + 4*t = 19. Is 1 at most m?
True
Let i be (3/4)/(3/1). Let l = -1 + 0.3. Let d = 0.6 + l. Which is greater: d or i?
i
Let g be ((-2)/(-3))/2 - 6/(-9). Is g > -2.7?
True
Let x = 46 - 38. Let h(o) = -o**3 + 2*o**2 - 2*o + 3. Let d be h(2). Which is bigger: d or x?
x
Let k be ((-2)/(-14))/((-4)/8). Suppose 16 + 0 = u + 4*i, -81 = -3*u - i. Let q = u - 86/3. Which is greater: k or q?
k
Suppose 0 = -3*q + q + 5*u + 35, -31 = -4*q - 3*u. Suppose -4*f - f - q = 0. Are f and -4 unequal?
True
Let h = -0.1 - -0.3. Le