0/7
Suppose 3*v = -6, 0 = s - 2*v + 5*v - 4. Suppose 3*c - 4*u - 8 = 0, -5*c + s*c + 45 = -5*u. Which is smaller: c or -3?
c
Suppose -5*q + 81 = -d + 33, -2*d = -q + 15. Are q and 47/6 equal?
False
Let r = -189147/23 + 8239. Which is bigger: r or 14?
r
Let j(n) = n**2 + 2*n + 3. Suppose -5*m - 30 = -10. Let w be j(m). Which is smaller: 12 or w?
w
Let s(m) be the first derivative of m**4/4 + 4*m**3/3 - 2*m**2 + 2*m - 3. Suppose 0 = -4*l + 6*l + 10. Let t be s(l). Which is smaller: t or -1?
t
Let o(x) = x**3 - 13*x**2 - 15*x + 34. Let c be o(14). Which is greater: 15 or c?
c
Let u = -398 + 216. Let m = -719/4 - u. Which is bigger: m or 1?
m
Let r(w) = 21*w**2 - w + 2. Let n be r(1). Let i = n - 24. Do 1 and i have the same value?
False
Let d = -6490 + 6491. Let v be (-8)/(-6)*(-18)/(-4). Suppose -4*u + v = 18. Which is greater: d or u?
d
Suppose 0 = 3*n + 4*u - 3*u - 11, 2*u - 18 = -4*n. Let w = -685 + 683. Which is bigger: n or w?
n
Let j be 38 + -34 + (-6 - 0). Which is smaller: -18/23 or j?
j
Let l = 107.786 + 0.214. Let b = l - 109. Which is smaller: -2/3 or b?
b
Let i = -3 + 11. Let a(d) = -d + 8. Let k be a(i). Let t = -119 + 96. Which is bigger: k or t?
k
Let i be -3*(-1112)/12068 + 8/(-28). Does i = -1?
False
Let u(r) = -5 + r + 7*r + 4. Let p be u(3). Let x = 22 - p. Is x <= -10/7?
False
Let t = -7 + 8.9. Let s = t - 1.7. Which is smaller: -8 or s?
-8
Let s = 74186/3 - 23596. Let r = s + -1122. Is r < 12?
True
Let h(x) = -x**3 - 2*x. Let z(q) = -q**3 + 16*q**2 - 15*q + 2. Let p be z(15). Let k be h(p). Which is greater: -11 or k?
-11
Suppose -3*l - c - 22 = -l, -42 = 3*l - 3*c. Is l smaller than -9?
True
Let r = -3/445 - 2953/24030. Does 1 = r?
False
Suppose -5*t + 58 + 2 = 0. Let g be (-1 + 2)/(-1*1/(-12)). Is g smaller than t?
False
Let z be (273/(-14))/(-2*(-9)/(-24)). Is 27 != z?
True
Suppose r + 2 = 6. Suppose -2*i = -5*u + 15, -u = -6*u - 3*i + 15. Which is bigger: r or u?
r
Suppose 0 = -2*i + 3*i + 26. Let j = -15 - i. Suppose -2*z + 6 = -18. Is j less than or equal to z?
True
Let d = 65 - 50.8. Let s = -15 + d. Let j = s + 0.85. Do 2 and j have different values?
True
Suppose -5*y - n = 121, 4*n - 116 = 93*y - 88*y. Suppose -4*v = -3*t - 227, -5*t = -4*v + 393 - 12. Let g = 52 + t. Is g smaller than y?
True
Suppose -4*f - 9 + 5 = 0. Let o be (f - -2) + 1 + -2. Suppose 0 = -4*x - o*x. Does x = -0.02?
False
Suppose 0 = -28*x + 25*x - 15. Let c be (44/55)/((-14)/x). Is -8 at most c?
True
Let y = 32 + -10. Let o be y*(-4)/12 - -2. Is -4 at least as big as o?
True
Let l(f) = 4*f - 18 + 0*f - 2*f + f. Let p be l(12). Suppose 4*y - p = -14. Which is smaller: y or 5?
y
Let z = -373 + 97. Let y = z - -160. Let m = -461/4 - y. Is 2 less than or equal to m?
False
Let h = -1238 + 1238. Is -3/113 >= h?
False
Suppose -3*o - 84 = -2*g, 3*g - 43 = -4*o + 66. Suppose -14*r = 3 + g. Suppose -3*i - 4 = t, 0 = i + 3*i + 4*t. Which is smaller: r or i?
r
Let a(v) = -v**3 + 16*v**2 + 15*v + 35. Let g be a(17). Is -1/500 greater than or equal to g?
False
Let u = -6/1015 - 1/35. Which is smaller: u or 3/5?
u
Suppose -6*r = 3 - 21. Suppose z + 18 = 13, -2*m + z + r = 0. Is m at most -43?
False
Let h be 4/18 + (-2)/9. Let u = -413/1070 - 3/214. Which is greater: h or u?
h
Let g = -6 + 5.28. Let v = g - -0.12. Let a(d) = -d**2 + 5*d + 24. Let o be a(8). Which is bigger: v or o?
o
Let o be ((-12)/(-10))/((-36)/(-240)). Let k(g) = 0 + g**2 + 0 + 8*g - 2*g**2 - 1. Let r be k(o). Is -5 not equal to r?
True
Let m(t) = -t**2 - 57*t - 355. Let k be m(-50). Which is bigger: k or -52/11?
-52/11
Let f = 2190 + -2618. Is -428 at most as big as f?
True
Let i(b) = -1 - b + 2*b + b**3 - 4*b**2 - b**2 + 4*b. Let s be i(4). Let q(n) = -n**3 + n**2 + 2. Let o be q(0). Which is greater: s or o?
s
Suppose 0 = w + 5*o + 3, w + o + 0 = 1. Suppose -1 - w = -3*y. Is 1/2 >= y?
False
Let x be 102/88 + 2/(-8). Let q(g) = -4*g**3 + 19*g**2 - 22*g + 3. Let u be q(3). Is x greater than u?
True
Let j be ((-6)/(-14))/(20/(-7)). Let y = 6412 + -6411. Is y less than or equal to j?
False
Let u be (-54)/(-3)*(-9)/78. Which is smaller: u or -2?
u
Let z = 0.06 + 0.92. Is z bigger than -3?
True
Let y = 56 + -55.954. Let u = y + -0.376. Let j = -0.13 - u. Is 0.3 at most as big as j?
False
Suppose -3*s + 61 = -2*j, 17 + 49 = 3*s - 3*j. Is s equal to 118/7?
False
Suppose 0 = -745*q - 1235*q - 1980. Let o be (-1*1)/(2/(-68)). Let n be (3/o)/((-3)/(-4)). Which is greater: q or n?
n
Suppose -3*n + 5*s = -1, -2*n - s - 6 = -6*s. Let i be 6/n*((-2)/(-6) - 0). Is i at least as big as -1?
True
Let y(i) = 5*i - 17. Let r be y(4). Suppose 21 + 17 = 2*k + r*s, -4*s + 9 = k. Which is smaller: k or 24?
24
Let i(f) = -f**3 - 9*f**2 + 9*f - 8. Let d be i(-10). Suppose d*z - 3*h = h + 16, 0 = -2*z + 5*h + 21. Is z greater than -2?
False
Let d = -30 - 3. Let r = -33.11 - d. Which is greater: r or -1/4?
r
Let l(q) = -85*q - 1093. Let c be l(-13). Is 36 >= c?
True
Let v = -273 + 185. Let c = 65.9 + v. Let p = -22 - c. Which is bigger: p or -3/2?
p
Let a = -15 - -29. Suppose 11*z = a*z. Suppose 4*n - 2 - 2 = z. Does 0 = n?
False
Suppose -3*s - 17 = 4*z, 4*s = 5*s - z + 1. Let m = 1 - -1. Suppose -3*f + 7 = -2*a, -7 = -5*a + 4*a - m*f. Which is smaller: a or s?
s
Let b(t) = t**3 + 16*t**2 + 48*t. Let m be b(-4). Which is smaller: m or 2/761?
m
Let h = 8.11 + -4.41. Which is smaller: -2 or h?
-2
Let u be 2 + (4 + -5 - -4). Suppose -t = u*t - 420. Suppose -5*z - t = 5*o, 4*o - 8 = 8*o. Is z <= -13?
False
Let v = -10585 + 116351/11. Which is bigger: 2 or v?
2
Let l(o) = 2*o - 2. Let r = 6 - 5. Let g be l(r). Suppose -2*m - 2*z = -g*z + 2, -z = -5*m + 1. Are -3 and m equal?
False
Suppose -3*r = b - 3, 4*b - 12 = -0*b. Let c(y) = -5*y**3 + 3*y**2 - y + 2. Let d be c(2). Let z = d - -30. Which is greater: r or z?
z
Suppose w - 25 = 5*i - 2*w, -3*w = -15. Let r = -942 - -1877/2. Is r smaller than i?
True
Suppose 0 = 6*k + k + 224. Let u = k + 23. Which is smaller: -6 or u?
u
Let k(i) = 5 - 5 - 3*i + 2. Let j be k(1). Does j = 1/6?
False
Let v = -19 + 16. Let r(i) = i**2 + 2*i + 2. Let q be r(v). Suppose 4*b = -4*a + 36, 0*a = -4*b - q*a + 39. Which is greater: b or 5?
b
Let z = 23.01 - 22.4. Which is smaller: 5/3 or z?
z
Suppose 0 = -i - 1, -2 = -4*s - 4*i - 26. Let r(l) be the first derivative of -l**4/4 - 4*l**3/3 + 5*l**2/2 + l + 7. Let z be r(s). Is z greater than 2?
False
Let g = -34 + 62. Let n = g + -42. Let c = -13 - n. Which is smaller: 2/9 or c?
2/9
Let u = 6 + -2. Let p be 3*((-10)/(-3) - 2). Suppose p*r + 5*a = -2, -r - u*a - 1 - 5 = 0. Which is greater: r or 1?
r
Let z(f) = -f**2 + 12 + 3*f + 2*f + f. Suppose -2*w - 5*r = -26, 0*r = -w + 4*r. Let j be z(w). Are j and -2 nonequal?
True
Let w(l) = 5*l + 21. Let p be w(-6). Let y = p - -12. Let c be -1 + (1 + 1 - 0). Which is bigger: y or c?
y
Let f be 1340/469 + (-2)/(2/3). Is f at least -6?
True
Let s be 172/(-22) + 6*7/(-231). Let u(g) = -3*g - 21. Let w be u(s). Which is smaller: 7 or w?
w
Let o(s) = -2*s**2 - 18*s + 2. Let p be o(-8). Do p and -5/3 have different values?
True
Suppose 0 = -2*o + 13 - 3. Suppose 0*t + 4*t - 11 = 5*x, -3 = o*x - 2*t. Let m be (-22)/20 + 6/(-15). Which is greater: m or x?
x
Suppose -a - 4 = -3*c, c - 5 = -3*c + a. Suppose 5*t - 6*t = 28. Let r be ((-2)/(-80))/(t/(-15) + -2). Which is bigger: c or r?
c
Let q(i) = 2 - 5*i - i**2 + 2 + 12*i**3 + 3*i - 5. Let p be q(-1). Let d = p + 11. Is d != 4/15?
True
Let b(v) = -29*v + 6. Let z be b(-6). Let n be ((-2)/(-4))/(3/z). Let x be ((-7)/(-5))/(n/25). Which is greater: x or 1?
x
Let j be ((-169)/26)/(6/(-4) + 1). Which is smaller: j or 4?
4
Suppose 75 = 4*t + 63. Suppose -3*b + 3*d = 3, 0*b - t*b = -5*d + 5. Is -2/65 < b?
True
Let d be (-2)/(-2)*(15/1)/(-15). Is 6/55 smaller than d?
False
Let b(f) = f**3 - 15*f**2 + 25*f + 7. Let v be b(13). Which is bigger: -14/3 or v?
-14/3
Let l(f) be the third derivative of f**4/8 - 3*f**3/2 + f**2. Let m be l(4). Is m >= 11?
False
Let l be 36/(-90) - (-2 - 37/5). Suppose 3*o + 4*a - 14 = o, -3*a + 42 = 5*o. Is o equal to l?
True
Let x = -25/7 - -468/133. Suppose -19 = -4*s + 1. Suppose 5*m - 5*y - 6 + 1 = 0, 5*y = 2*m - s. Which is bigger: m or x?
m
Let y(j) = -19*j - 85. Let m(k) = -4*k - 17. Let s(c) = 11*m(c) - 2*y(c). Let h be s(-4). Which