k?
k
Let b = 69 + -77. Is -10 smaller than b?
True
Let l(q) = 34*q**2 + 3*q. Let o be l(1). Which is smaller: 36 or o?
36
Let q be (1/(-2))/(9/(-4)). Suppose k = 1 - 0. Let g = k + 0. Is g equal to q?
False
Suppose -7*l + 24 = -3*l + 4*c, 4*l - 14 = -2*c. Let y be l + (2 - 0) + -7. Let f be ((-3)/2)/(9/y). Is 0 less than f?
True
Suppose 18*q - 21*q - 3 = 0. Let m = 121 + -2301/19. Which is bigger: q or m?
m
Let x(z) = -2*z - 1. Let k be x(-1). Let r = 4977/17 + -293. Let i = 6/119 - r. Which is smaller: k or i?
i
Let x = 702/11 - 710/11. Does -1 = x?
False
Let v = 16 - 16. Let a = v - 5. Are -3 and a equal?
False
Let k = 21/13 + -11/39. Let z be (-87)/(-27) - 4/18. Let t(b) = -b + 4. Let f be t(z). Which is smaller: k or f?
f
Let b = -39.7 + 38. Is b < -1/3?
True
Let j be ((-3 - 10) + 2)*1. Let z = j - -15. Suppose 2*t = -z*x + 5*t - 26, -3*x + 5*t = 25. Which is smaller: x or -4?
x
Let r = -55114078/105 - -3690489/7. Let o = 6814/3 - r. Let i = -45 - o. Which is greater: i or -1?
i
Let k be -3 - (19/(-3) - -3). Let q = -7.94 + 8. Let j = -0.24 - q. Which is smaller: j or k?
j
Suppose -5*m = -0*m - 5. Let t be 0/1*(-2)/(-4). Suppose -x = -t + 2. Are m and x equal?
False
Suppose -3*s + 4*s - 10 = 0. Is 10 at least s?
True
Let x = -2677/4 + 700. Let d = x - 31. Let f = -0.1 + 0.1. Is f smaller than d?
False
Let l = 1.48 + -10.18. Let s = l + 9. Which is bigger: -1 or s?
s
Let t = 3 + -1. Is -0.09 <= t?
True
Let u(p) = 3*p - 1. Suppose -w - 1 + 3 = 0. Let a be u(w). Let t = -5 + a. Which is greater: t or 0.4?
0.4
Let k(l) = l**2 - 5*l - 2. Let m be k(5). Let i be (2/1)/12 - 6/36. Is m >= i?
False
Suppose -3*r + w = 3, -r - 9 = 2*r + w. Which is bigger: -3 or r?
r
Suppose 0 = 2*o - 4*o. Suppose u = -o*u. Is 0 less than u?
False
Let c = 33 - 199/6. Which is smaller: c or 0?
c
Let c = 21.7 + -22. Let r = 0.01 - 0.31. Is c > r?
False
Let b be (1143/5)/3 + 1/(-5). Is b > 76?
False
Let c be 292/(-20) + 2/(-5). Is -13 not equal to c?
True
Suppose -3*v = 0, 3*v + 21 = 3*h - 0*v. Let x be (-11)/1 + -4 + h. Is x > -8?
False
Let l(j) = -4*j + 32. Let z be l(-10). Is z equal to 72?
True
Suppose -a - 5*p = 3*a + 13, 3*a + 4 = 2*p. Which is smaller: -5/9 or a?
a
Let q(r) = -r**3 - 4*r**2 + 5*r + 4. Let z be q(-5). Suppose 4*p + z = -0. Which is smaller: p or -2?
-2
Let i(u) be the third derivative of u**4/24 - 13*u**3/6 - u**2. Let n be i(12). Are -4 and n unequal?
True
Let j be (-2)/6 - 4/12. Let z = j + 1/3. Which is greater: z or 0.05?
0.05
Let u be 3/(-6) - (-1)/1. Let o be -2*(-3 - 16/(-4)). Which is greater: o or u?
u
Let z = -1721/528 + 37/11. Which is greater: 1 or z?
1
Suppose -2*b = 3*z + 29, 0*z - 2*z + 3*b - 28 = 0. Let u be 51*(z/12 + 1). Which is bigger: 3 or u?
u
Suppose 8*o - 10*o = 0. Suppose -2*n = -o*n. Which is smaller: -2 or n?
-2
Let r be 4327/(-5004) - (-2)/(-8). Let o = r - -1/278. Which is smaller: o or -2?
-2
Let n = 3 + -1. Suppose 0*y = -n*y - 2. Let p = 5 + -7. Which is bigger: y or p?
y
Suppose 2*u - 3*u - 31 = 0. Let w = 15 + u. Let s be ((-6)/8)/(30/w). Which is greater: s or 0?
s
Let d = 17 - 23. Which is bigger: d or -8?
d
Let l(r) = r**2 + 4*r - 6. Let k be l(-5). Let n = 0 - k. Suppose c + n = -0*c. Which is greater: -2 or c?
c
Suppose 2*w - 64 = 2*u, -4*u - 4*w = -6*u - 72. Is u smaller than -27?
True
Let x(k) = k**3 - 4*k**2 - 4*k - 4. Let z = 14 + -9. Let o be x(z). Is o > -3/8?
True
Let z = -2 + 1.9. Let n(s) = -s + 3*s - 8*s + 4*s**2 - 7 + s**3. Let i be n(-5). Are i and z equal?
False
Let y be 0*1*3/(-6). Suppose -d = -y*d. Suppose -2*u - u = d. Is u at most -2/9?
False
Let t = 0.4 - 1.4. Let w = -1 + 1.6. Which is smaller: w or t?
t
Let x be 2 - 9/(-12)*-4. Is x != 3/35?
True
Suppose 2*m + 52 = -2*m. Let d(t) = t**3 - 6*t**2 + 3*t - 2. Let z be d(5). Which is greater: z or m?
z
Let w = 143399/1550 - 12/775. Let g = w + -97. Which is bigger: -5 or g?
g
Let h = -0.1 - 3.4. Let b = -2.4 - h. Let t = b + -0.1. Which is bigger: t or 1/2?
t
Let x = 1230 + -67648/55. Which is greater: -1 or x?
x
Let c(h) be the first derivative of h**5/60 + 5*h**4/24 + h**3/3 + h**2/2 + 2. Let i(l) be the second derivative of c(l). Let u be i(-4). Is -1 < u?
False
Let k(v) = -v**2 - 4*v. Let a be k(-5). Let z = 6 + a. Is 0 bigger than z?
False
Let c = 2.4 - 2.4. Do 0.2 and c have the same value?
False
Let s = 10 - 11. Let d be (-3 + 64/22)/s. Is 0 at least as big as d?
False
Suppose 4*n - 6 = 14. Suppose 0*d - n*d = l + 42, 5*d = 2*l - 51. Is d >= -10?
True
Let r = -20 - -6. Which is smaller: -0.1 or r?
r
Let y(k) = 2*k - 2*k**3 + 4*k - 3*k**2 - 2*k. Let m be y(-3). Let q be (-1)/(-3) - 5/m. Which is greater: 2/7 or q?
2/7
Let j = -82 - -81.9. Which is greater: j or -40?
j
Suppose 0 = q + 3*k - 1, -5*q + 20 = 3*k + 3. Suppose 0*a - 4*a = q*n - 24, -n + 9 = 4*a. Let r be (0 - (-1)/1)*a. Is -2/5 < r?
True
Let h(d) = -3*d + 18. Let x be h(13). Which is smaller: -22 or x?
-22
Let r = 5 - 3. Let k be (-23)/60 + r/8. Which is bigger: -1 or k?
k
Let l = -1 - -1. Suppose 4*y = 5*y. Is l bigger than y?
False
Let z = -79 - -156. Suppose 4*b = 3*b + z. Let w = b - 233/3. Which is smaller: 0 or w?
w
Let g = -0.18 - 0.02. Suppose 4*u - 8 = -4*q, 3*u + q + 0 = 2. Suppose 2*o = -2*f + 8, u = -5*f - 3*o - 10 + 24. Which is bigger: g or f?
f
Let d = -22 - -16. Which is smaller: d or -9?
-9
Let u = -11 + 8.5. Let p = -0.5 - u. Let m = 2 - p. Is -1/4 > m?
False
Let g(v) = v**2 - 5*v + 1. Let u be g(5). Let j be u/(-3) - 327/(-9). Let l be (1/6)/((-9)/j). Which is smaller: l or 0?
l
Let d = 0.98 + 0.02. Is 3.4 greater than or equal to d?
True
Let p be (-14)/(-4)*4/7. Let u be (-2)/(-8)*2*p. Let k = -183/7 - -26. Which is smaller: u or k?
k
Let j(m) be the first derivative of m**3/3 - m**2 - 3*m + 6. Let s be j(3). Is 0 > s?
False
Suppose 0 = 2*u - 11 + 5. Let k be ((-6)/5)/((-4)/10). Are k and u nonequal?
False
Suppose -4*l + 0*l = -32. Is l at least 6?
True
Let s = -9 - -13. Suppose -v + s = 3*v + 4*t, -v + 5 = -3*t. Suppose 7*m - v*m = -5. Is m <= -1?
True
Suppose -5*d = -2*r + 6, -4*r - 3 = -3*d - 1. Let x be ((-4)/30)/((-1)/(-3)). Which is bigger: x or d?
x
Let j be -4*(-3 + 2) + -6. Is j at most as big as -2/3?
True
Suppose -3*c + 0*c + 24 = 0. Let d be (-1 - (-10)/c)*2. Let q = 8 - 6. Is q > d?
True
Let w = -19 + 18.9. Which is bigger: w or -2/5?
w
Suppose 0 = 4*u + 2*i - 22, -8*i + 3*i = -u - 11. Let q be (-1 + 2)*(-44)/u. Which is smaller: -12 or q?
-12
Let n = 0.45 - 19.45. Which is bigger: -0.1 or n?
-0.1
Let q(y) be the first derivative of -y**4/4 + y**3/3 - 2*y - 1. Let j be q(-2). Suppose 0 = 2*i + j - 4. Which is smaller: -2 or i?
i
Let m = 28 + -28. Which is smaller: -1/28 or m?
-1/28
Let w(p) = p**2 + p - 2. Let i be w(-3). Suppose x = -y, -x + 2*y - 2 = i. Is 0 at most x?
False
Let l = 4.4 + -4. Let m = 0.3 - l. Suppose -2*y + 15 = 3*y. Which is smaller: m or y?
m
Suppose k + 50 = 3*y, -6*y + 81 = -y - 4*k. Let n = y + -12. Suppose 4 = -4*b + 5*b. Is b less than n?
True
Let m = 17 - 4. Are 13 and m equal?
True
Let l = 6 - 12. Let g = 7 + l. Which is greater: g or -1/3?
g
Let v(j) = -5*j**3 + 3*j**2 - 13*j + 7. Let l(p) = 2*p**3 - p**2 + 6*p - 3. Let m(a) = -7*l(a) - 3*v(a). Let x be m(3). Is x smaller than -1?
False
Let t(u) = u**2 + u - 3. Let d be t(-3). Suppose 5*g = -d - 7. Let a = -4 - g. Which is bigger: -3 or a?
a
Suppose 6*y - 2*y = 0. Suppose 1 - 7 = -3*f. Do f and y have different values?
True
Suppose n - 3*f = 18, 0 = 5*n + 2*f + f. Suppose 0 = -n*l + 9 - 3. Let i = 2 + -1. Is l smaller than i?
False
Suppose -3*h + 4*c + 99 = 35, 0 = -5*h + 4*c + 96. Suppose 0 = -4*g + h. Is 4 at most as big as g?
True
Let g = 848 + -1661/2. Let d = g + -17. Does d = 2?
False
Let h be ((-7)/(-4))/(-1 + 66/72). Is -22 less than h?
True
Let o(z) = -3*z + 14. Let c be o(7). Is c != -6?
True
Let i be -2*(-1)/(-4)*4. Let c be ((-4)/18)/1*165. Let f = 36 + c. Which is smaller: i or f?
i
Suppose 2*s - 4*g = 0, 5*g - 10 = 3*g. Suppose -4*b + 26 = 3*t - 8*t, -2*b + t + s = 0. Which is smaller: b or 5?
b
Let a = 0.21 + -0.15. Which is smaller: -1 or a?
-1
Let n = 39 + -38. Which is smaller: n or 7/3?
n
Let f = -55/714 + 1/21. Which is smaller: 0 or f?
f
Let i be ((-528)/35)/(-8) + -2. Is -1 >= i?
False
Let p = 5.8 - 5. Let x = 7 - 6. Let g = p - x. Is g <