er: k or -1?
-1
Let d(v) = 6*v. Let f be d(1). Let z(t) be the second derivative of -t**5/20 + 5*t**4/12 + 5*t**3/6 + 3*t**2 - 2*t. Let o be z(f). Is 1/5 greater than o?
True
Suppose -g - 3 - 2 = 0, 0 = 5*x + g. Which is bigger: -4/63 or x?
x
Let f = -2.08 + -1.92. Which is greater: -13 or f?
f
Let q = -40 + 41. Is -5/13 equal to q?
False
Suppose -5*u + 3*w + 38 = 0, 4*w + w = 5*u - 40. Which is greater: 9 or u?
9
Suppose -g = -3*k - 3, -k - 2*k = 3*g + 3. Is -2 < g?
True
Let q(u) = -u**2 + 3*u - 2. Let d be q(4). Let n(s) = -s - 14. Let b be n(-8). Let z be b + 0*(-1)/2. Is z < d?
False
Let f = 1.8 + 0.2. Suppose l - 3*l + 6 = 0. Are f and l non-equal?
True
Suppose 3*d - 3*c = -21, -2*c + c - 11 = 5*d. Let r be 1 + -3 + 1 + -1. Is r <= d?
False
Let k = 838282/6905 - 3/1381. Let m = 121 - k. Are 1 and m equal?
False
Let y = 7 - 10. Let s be y/1*(-1)/(-3). Is s greater than or equal to -3/4?
False
Let i = 8 - 2. Is 6 bigger than i?
False
Suppose 1 = 3*y + 10. Suppose -16 = 3*i + i. Is y greater than i?
True
Let b be 0/((-2)/(-4)*2). Let l be (b - 1/2) + 2. Which is bigger: l or 2?
2
Suppose g = 2*a - 2 + 21, -3*a + 3*g - 27 = 0. Let z be -11 + -1 - (-8 - -5). Is z greater than or equal to a?
True
Suppose 4 + 3 = -k - 4*m, -3*m + 16 = 5*k. Suppose -137 - 3 = k*z. Is z bigger than -29?
True
Let t(x) = -x**2 - x + 2. Let h = 1 + -1. Let y be t(h). Suppose 0*p - 5*z = p + 18, y*p + 3*z = -8. Which is greater: p or 1?
p
Let z = -5328/211057 + -2/2741. Let a = -164/385 - z. Are -0.1 and a unequal?
True
Let t = -2 + -4. Suppose 6*g - 5*n = 3*g, 0 = -2*g - 3*n. Are g and t unequal?
True
Let u be -1 - -2*2/2. Let i be (-1 - -63)/(-1 - -6). Let w = 424/35 - i. Which is bigger: w or u?
u
Suppose 4*a - 4 = 4*k, 4*k + 11 = -9. Let s be (a/8)/((-1)/(-80)). Let n be (-7)/5 + (-16)/s. Which is greater: n or 1/8?
1/8
Suppose -5*c + 18 = t - 0, 5*c - 27 = -4*t. Let k(w) = w. Let z be k(2). Which is bigger: z or t?
t
Let v = -2 - -1. Let k be v + 3/(42/20). Let o(t) = t + 9. Let l be o(-9). Is k less than l?
False
Let u(l) = -l**3 + 15*l**2 - 12*l - 29. Let r be u(14). Is -4/57 less than or equal to r?
False
Let m be (-11)/((-22)/(-4)) + 2. Is m >= -15/22?
True
Let k = 615/4 + -156. Let p be (1/(-2))/(1/6). Which is smaller: p or k?
p
Suppose -6*x + x = 0. Let f be 0/(3 - (2 - 1)). Suppose 4*z + f*z = x. Which is smaller: 2 or z?
z
Let o = 0.02 + -0.12. Is o <= -0.2?
False
Let s = 0 + -2. Let b = -20/13 + 47/39. Is s < b?
True
Let q be (-2)/8 + (-309)/12. Is -25 > q?
True
Let q(p) = -3*p**2 - 2*p - 9. Let h(g) = 4*g**2 + 3*g + 13. Let t(w) = -5*h(w) - 7*q(w). Let o be t(3). Let c be (-13 - 1)*1/o. Is -5 at least as big as c?
False
Let f be 3/(-6)*(0 + 0). Is f smaller than -3/22?
False
Let h = -12851/475 - -929/25. Let q = -10 + h. Which is greater: q or 0?
q
Let n(v) be the first derivative of -v**3/3 + 7*v**2/2 + 4*v - 2. Let y be n(7). Is 4 at most y?
True
Let s be 2/((10*(-2)/(-5))/10). Suppose 3*t + 2*t = 25. Is t bigger than s?
False
Let a be (2/(-4))/((-90)/(-36)). Which is greater: a or 1?
1
Suppose 4*f = -5*q + 210, 0*q + 3*q = -2*f + 106. Let o = 90 - f. Suppose 0 = 4*n - 5*p + o, -5*p = -2*n - 32 + 2. Which is bigger: n or -3?
-3
Let p = 4 - 2. Let a be 2 + 2 - (-56)/(-14). Which is smaller: a or p?
a
Let t(j) = -2*j + 0*j**3 + j**3 + 2 - 8 + 4*j**2. Let d be t(-4). Let r be -1 + (1 - d/5). Which is smaller: r or 2?
r
Suppose -5*d = w + 2*w + 21, 5*w = 2*d - 4. Is -2/7 smaller than d?
False
Suppose -3 = 2*h - 23. Suppose 3*y + 2*y = h. Let x(j) = -j**2 + 9*j + 10. Let z be x(10). Is z greater than y?
False
Let c = 733/675 + -25/27. Which is greater: 1 or c?
1
Let m = -38 + 38. Which is bigger: 7/6 or m?
7/6
Let j be 2/(4/(-6))*1. Suppose 0*l - 2*l + z = -11, 2*z = 3*l - 18. Suppose -12 = 5*i + r, i - l*r + 8 + 7 = 0. Is j greater than or equal to i?
True
Let n = -1 - 0. Suppose -2*w - 1 = -3*w. Which is smaller: n or w?
n
Let i = -4 - -4.6. Let u = -0.37 + i. Let m = u - 0.03. Which is bigger: m or 1/4?
1/4
Let d = -11959/4 + 2971. Which is smaller: d or -19?
-19
Let b = -0.2 - -0.2. Let q = 0.3 - b. Do -1/7 and q have the same value?
False
Let l = 1 + -1.9. Do 2/7 and l have the same value?
False
Let l(x) = -x + 6. Let f be l(6). Suppose 4*v - w = w - 8, -v + w - 3 = 0. Let u = f + v. Which is greater: -2 or u?
u
Let i(a) = a**3 + 7*a**2 - 9*a - 5. Suppose b = -b - 16. Let d be i(b). Suppose 0 = d*r + 2 + 1. Is 1/9 bigger than r?
True
Let c(b) = b + 4. Let r be c(-4). Suppose q + 3 - 4 = r. Is q at least as big as 2/17?
True
Let h(x) = -x + x**2 + 8 - 7*x + 3*x. Let n be h(6). Is n > 0?
True
Suppose n = 3*n. Let a = 43 - 40. Suppose n = 4*g - 4*t + 5 + 3, -a*g = 2*t + 1. Is -2/3 equal to g?
False
Let u = 6 - 3. Suppose 15 = -0*f - 5*f, 5*n - u*f - 14 = 0. Let i = n - -1. Is i less than or equal to 1?
False
Let z be (3 - 3)/(5/1). Which is bigger: z or 2/159?
2/159
Let n = -302/9 + 1970/63. Is n at most -3?
False
Let o = -19 - -22. Suppose -p + o*p - 30 = -4*t, 0 = -2*t - 5*p + 3. Which is smaller: 8 or t?
8
Suppose -3*l + 5*r = -11, l + 2*r - 6 = 5. Let q = -19 + l. Which is smaller: q or -11?
q
Let m = 99 + -98. Suppose 5*c - 24 = 6. Let h be 16/c - 2/2. Which is smaller: m or h?
m
Let v(p) = p - 1. Suppose -4*r = r - 10. Let d be v(r). Let i = 184 + -1290/7. Do i and d have the same value?
False
Let j be 0/(3 - (3 - 2)). Which is greater: 1/10 or j?
1/10
Let z = 63 + -70. Are -8 and z equal?
False
Let o = -4 - 0. Let h = -4 - o. Let m = -2.7 + 0.7. Which is smaller: m or h?
m
Suppose -5*z + 8 = -7. Suppose 4 = 3*k - 5. Suppose -9 = -2*t - i - k, -t + 2*i = 2. Is z at least as big as t?
True
Suppose 0 = 5*o - 9*o + 24. Let h be (-2)/(1*(-4)/o). Which is greater: h or 5?
5
Let d(t) = -13*t - 1. Let b be d(-1). Let n be (-5)/((-5)/((-890)/b)). Let i = n + 74. Which is smaller: -1 or i?
-1
Suppose 3*f - 2*r + 2 - 1 = 0, -1 = 4*f - 3*r. Suppose y = 6*y - 15. Let i be (0 - (-4)/(-6))*y. Are f and i unequal?
True
Suppose -3*f - 29 = 3*d - 2*f, 4*d + 2*f + 38 = 0. Which is bigger: -6 or d?
-6
Let u(o) = -4*o. Let m be u(-1). Suppose -9 = 3*y - m*y. Let n be -2 + (48/y)/2. Which is bigger: 1 or n?
1
Suppose -4*q - 17 = f + q, -f + 15 = -3*q. Suppose f = 5*o + 18. Is -1 at least as big as o?
True
Let m be 6*(10/9 + -1). Let s = m + -19/33. Which is greater: s or 1?
1
Suppose 4*n + 16 = 12. Which is smaller: 4/7 or n?
n
Let v be 2/(-11) - 84/22. Let b be (-78)/(-24) + 1/v. Suppose -b*k - 4 + 1 = 0. Is k bigger than -1/4?
False
Let v = 37 + -28. Are 9 and v equal?
True
Suppose 0 = -0*o - 5*o + 15. Suppose -c + 16 = -o*c. Is c less than or equal to -8?
True
Suppose 0 = -v - 4*c + 21, 3*c = -5*v - 2*c + 45. Let n be (-161)/455 + 1/v. Is n equal to 0?
False
Let w(c) = c**2 - 10*c + 10. Suppose 7*x + 2*n - 53 = 2*x, 5*x - n = 41. Let i be w(x). Let y = 4 + -5. Which is smaller: i or y?
y
Suppose 4*w - 6*x + 4*x = -22, -2*x - 8 = w. Let u be (-1 + 0)/((-3)/6). Suppose -29 = 3*l + 2*f, l - 2*f = u*f + 9. Do l and w have the same value?
False
Let h = 0.87 + 0.13. Is h bigger than -2/37?
True
Let u be 94/(-6) - (-5)/105*-7. Which is bigger: -15 or u?
-15
Let o(b) = b**2 - 5*b - 6. Let s be o(6). Suppose 4*p - 5*p + 15 = s. Suppose -2*c + p - 5 = 0. Which is greater: c or 2?
c
Suppose b + 12 = -4*r, -5*b + 3 = 4*r - 1. Suppose 0 = -5*q + 25, b*i + q - 36 = -3*q. Which is smaller: i or -1?
-1
Let g = -0.38 + 4.98. Let h = g + -4. Do h and -1 have the same value?
False
Let t be (-10)/25 + 8/20. Which is smaller: t or 1/76?
t
Let o be 6 - (0 + 0/(-3)). Let q(t) = -15*t**3 - t**2 + t + 1. Let x be q(-1). Suppose k = 2*n - o, 2*n + 2*k = -k + x. Is 1/3 greater than n?
False
Let u = -1.3 - 2.7. Is -3 not equal to u?
True
Suppose -2*f + 3*j + 45 = -7*f, 4*j + 9 = -f. Suppose -2*i = -4, 3*s - 5*i = -s - 50. Is s > f?
False
Suppose 13918 = -3*t - 52847. Let n = t - -1446502/65. Let q = n - -12/13. Which is smaller: 1 or q?
q
Let n = 4/13 + -67/91. Suppose -t + 6 = -1. Suppose -3*x - 2*m + t = 0, -7 + 0 = 2*x - m. Is x smaller than n?
True
Let l be (2/6)/((-5)/15). Let j be (-3)/(-4)*(-24)/(-99). Which is greater: j or l?
j
Let z be 1170/7*16/20. Let c = -134 + z. Which is greater: -1/4 or c?
-1/4
Let a(r) = -5*r - 5. Let p be a(-4). Suppose x + 15 = 5*o, 2*x - p = -2*o + 3.