r: -1/5 or x?
-1/5
Let d = -1252 + 21266/17. Let p = d + 92/119. Suppose -3*q + 1 = -2. Which is bigger: q or p?
q
Let r = -14.26 + 0.26. Are -1/4 and r unequal?
True
Suppose 2*u + 14 = -0. Is -7 less than u?
False
Let u = -2 - -3. Suppose -3*b = 3*z - 6, 4 + u = 4*b + z. Is 1/3 smaller than b?
True
Let c = 34.02 - -0.98. Which is greater: c or 0.2?
c
Suppose -c = 7*t - 5*t - 6, 7 = -t + 2*c. Is -13 > t?
False
Let u be 1/4 - (-7)/4. Let o be 3 + 3 + -8 - u. Is o > -5?
True
Suppose -6*t + 20 = -28. Which is greater: t or 23/3?
t
Suppose 0 = -2*c + 3*p + 93426 - 14468, 3*c + p = 118437. Let k = c - 1815837/46. Let y = 18/23 - k. Which is bigger: y or -5?
y
Let k(o) be the third derivative of o**6/120 - o**5/20 + o**4/8 - o**2. Let r be k(2). Let u = 2 + -1. Is r < u?
False
Let z(v) = -v**3 - 4*v - 6 + 7*v + 3*v**2 + 2*v. Let f be 1 + (0 - 2) - -5. Let o be z(f). Is -2 less than o?
False
Let w = 2 + -2.2. Let j = 0.11 - 0.51. Is w != j?
True
Let z(x) = -x**2 + 8*x - 7. Let l be 160/28 + 4/14. Let m be z(l). Suppose 0 = m*q - 0*q - 5. Which is smaller: q or 2/7?
2/7
Suppose -3*c = 2*c. Suppose -d - v = 4 - 3, -5*d + 5*v - 5 = c. Let w = -1 - 1. Is d > w?
True
Let d = 8 + -23. Let a be (4/(-3))/(10/d). Let m be 1*(a + (-5 - -2)). Which is smaller: m or 2/9?
m
Let g = -7 + 11. Suppose 4*l - z = g*z - 14, -2*z + 7 = -3*l. Which is smaller: -2 or l?
-2
Let j(p) = -2*p**2 + 10*p - 3. Let g be j(4). Is 5 greater than or equal to g?
True
Let z = -41 + 44.9. Let c = z - 4. Is 0 less than or equal to c?
False
Let b(g) = g**2 + 12*g - 50. Let a be b(-16). Are 15 and a non-equal?
True
Let b(q) = 2*q**2 + 2. Let j be b(-2). Suppose -5*z - j = -0. Does z = -0.3?
False
Let r be -4 - 1/2*0. Let s(d) = -d**2 - 4*d - 2. Let y be s(r). Let k be y/(-6)*0 - -2. Does 1/2 = k?
False
Let f(x) = 17*x**3 + 2*x**2 - x. Let u be f(1). Let v = u + -16. Is v smaller than 3?
True
Suppose 8*c - 356 + 52 = 0. Is c greater than or equal to 38?
True
Let h be 9/(-12) - (-85)/(-20). Let m be h/(-35) - 93/63. Is m greater than 0?
False
Let j be (-2)/14 - 11/21. Let z = 0.2 - 0. Is j != z?
True
Suppose -13 + 6 = -o - 2*n, 25 = 5*o + 5*n. Suppose -3*s = 4*q - 4, 4*s - 2*q = -o + 1. Let d be 40/154 + (-4)/(-14). Which is bigger: d or s?
d
Let j be -1 + (3 - -4) - -1. Which is smaller: -2 or j?
-2
Let o(v) = v**2 + v. Let c be o(-4). Suppose 4*z + 0*z = -q - 12, -2*z + q = c. Suppose -23 = 5*n - 8. Which is bigger: z or n?
n
Suppose -2*r - r + 1 = -u, 2*u = -5*r + 20. Suppose -4 = 2*o + 3*z - 10, 3*o - z + r = 0. Which is bigger: 2/19 or o?
2/19
Let c be -1 - 1 - (-64)/36. Is 2/7 at most c?
False
Let p = 0.968 - -0.032. Let n = 9 + -5. Which is bigger: p or n?
n
Let c = 28 - 66. Does -0.2 = c?
False
Let m = 0.02 + 10.98. Let r = m - 7. Let f = r + -3.9. Which is bigger: -0.3 or f?
f
Let n = -12 - -9. Let c = -2 + 2. Is c at least as big as n?
True
Suppose 2*w - 14 = -0*w. Let h = -10 + w. Let c be (10/(-6))/((-4)/h). Which is smaller: c or -2?
-2
Let t(h) = -2*h + 6. Let b be t(4). Suppose -z = -0*z + 4*g + 3, 5*z + 3*g + 15 = 0. Which is bigger: b or z?
b
Let g = -1/3 - -46/111. Which is greater: 1 or g?
1
Let v = 2897767/84 + -34498. Let k = -3/28 - v. Let g = 2 - 0. Which is smaller: g or k?
k
Let m be (2/((-8)/(-6)))/(3/(-4)). Let j(u) = -2*u - 8. Let c be j(-6). Suppose -5*y - 4*w = 10, -2*y + 6 = -5*y + c*w. Is y at most m?
True
Let a = 165 + -117. Let f be (-12)/a*(-1 + 0). Which is bigger: 0.2 or f?
f
Suppose 5*z + 5*i = 3*i - 4, 0 = -5*z + 4*i + 8. Which is smaller: z or -4/7?
-4/7
Let v = 0.2 - 0. Suppose 3*h = -3*r - 24, -h = 3*h - 4*r - 8. Let z be (-40)/(-15) - (0 - h). Which is smaller: v or z?
z
Let q be -30*(-1)/2 - (-4 + 2). Which is greater: q or 19?
19
Let f be (1 + -7)*1/(-3). Let m be (8/(-40))/(f/4). Are m and 0 non-equal?
True
Let f be -1 + -3*50/(-15). Which is smaller: f or 8?
8
Let p = -2 + 27. Suppose -3*b = -4*c - 11, -2*c - p = -4*b - 7*c. Let y be ((45/6)/b)/(-3). Which is smaller: 0 or y?
y
Suppose 4*r + 5*b - 2 = -3, 2 = -2*b. Let m be (-6)/(-8) + r/(-12). Let z(y) = -y**3 + 2*y**2 + 2*y - 2. Let k be z(2). Which is greater: k or m?
k
Suppose 0 = 5*f - f. Is -3 > f?
False
Suppose -5*z - 5*h = 75, -2*h - 40 = -0*z + 3*z. Let k be 2 - (-1)/(4/z). Which is smaller: k or -1?
-1
Suppose -2 = 4*f + 6, 11 = d - 5*f. Is d equal to 1/4?
False
Let x = -1869/34 - -55. Is x < 0?
False
Let p(k) = k**3 - 12*k**2 - 3*k + 29. Let d be p(12). Is -7 bigger than d?
False
Suppose -14*k + 15 = -19*k. Suppose 0 = 4*j - 4. Let i(y) = -3*y - 1. Let b be i(j). Which is bigger: b or k?
k
Let x = 10 - 12. Let a = x + -3. Which is smaller: a or -4?
a
Let q = -117 - -60. Is q at least as big as -57?
True
Suppose 2 - 22 = -4*y. Suppose -n - 8 = -3*g + 2, y*n - 7 = -4*g. Let z = 0 + n. Which is bigger: 1 or z?
1
Let u = -7 + 11. Suppose -4 - 5 = -3*o. Suppose 3*t + 3 = -3, -o*x = t - 7. Which is smaller: x or u?
x
Let b(y) = y**2 + y + 1. Suppose 3*w + 6 = 4*w. Let f be (-6)/(-9) + (-10)/w. Let d be b(f). Is d <= 3?
True
Let p = 6 + -3. Suppose -p = -2*b - 1. Suppose c = -0*c - b. Is c not equal to -2?
True
Let a = 22 + -35. Let z(k) = -2*k**2 - 27*k - 76. Let q be z(-3). Is q at least a?
True
Let z(q) = q**2 - 2*q + 4. Let h be z(4). Suppose -g - h = -4*g. Is g bigger than 5?
False
Let w = -9 - -11. Suppose 0 = w*v - 0*v - 5*a - 12, 5*v - 2*a - 30 = 0. Does 8 = v?
False
Let m = 1 - 1.2. Let z = 21 - 21.3. Which is smaller: z or m?
z
Let m(k) be the third derivative of -k**4/12 - 3*k**2. Let d be m(-1). Suppose -j + 4*g = 3, -j + d*g = j. Is j != -0.2?
True
Suppose h = -3*h. Let c be (h - -1)*(-10)/25. Suppose 0 + 1 = -v. Is v > c?
False
Suppose -5*c = -3*u + 7, -u - 5*c = -2*u + 9. Let f(w) = w**3 + w**2 + w + 5. Let r be f(0). Let h be ((-2)/15)/(1/r). Does h = u?
False
Let r be (57/18)/((-1)/9). Let a = 29 + r. Let t = 50 - 47. Do a and t have the same value?
False
Suppose -2*z = 2*q + 96, -4*q - 4*z - 186 = -3*z. Which is smaller: q or -47?
-47
Let j = 4 + 5. Suppose -6 - 4 = -p. Which is greater: j or p?
p
Suppose 0*z - 6 = -3*z. Suppose z*m + 10 = 0, 4*m = 5*g + 5*m. Which is smaller: -1 or g?
-1
Let g = 2 + -1.4. Let o = g - -7.4. Let x = 13 - o. Which is smaller: 0 or x?
0
Let v = 5 + -10. Is -1 < v?
False
Let q be (-4)/252*-6*3. Which is smaller: q or 0.02?
0.02
Let b = 4 + -2. Let l be 321/105 + (-1 - b). Is -1 less than l?
True
Let l = 0 + 0. Let r(g) = g**3 + g**2 + g + 15. Let m be r(l). Let q = m - 33/2. Is -1 >= q?
True
Suppose z + 9 = -3*z - 5*v, 0 = 5*z + 4*v. Which is bigger: 11/4 or z?
z
Let u = 482/91 + -72207/455. Let n = u + 154. Let g = 23/30 - n. Which is bigger: -1 or g?
g
Let x(j) = -j**2 - 10*j + 6. Let k be x(-10). Suppose 3*c = -12, 6*c - 2*c + 8 = 2*b. Let v = k + b. Is 1 < v?
True
Let i(v) = v + 3. Let b = 2 + -1. Let r be 1 + (b - 0) - 5. Let o be i(r). Which is smaller: o or 3/8?
o
Let a be ((-22)/(-99))/((-1)/(-3)). Suppose -5 = 5*x, 5 = -5*f - 2*x + 3. Is f less than or equal to a?
True
Let p(t) = t**2 + 6*t. Suppose -q - q = -36. Suppose -y - 2*y - q = 0. Let a be p(y). Does a = 2/13?
False
Let d = 14.8 + -22. Let r = 8 + -15. Let g = d - r. Which is smaller: g or 1?
g
Suppose -m = -1 - 0. Let t = 6 - 7. Is t equal to m?
False
Let a = 59171/2630 + 2/1315. Is 23 < a?
False
Suppose 6*s - 3*s = -4*c + 5, 4*s = 12. Suppose x - 2 = -2*k + 2*x, 3 = 3*k - x. Let t be k/(-10)*4*1. Which is smaller: c or t?
c
Suppose 10*j + 79 = 79. Let q = -275 - -5501/20. Is q at least j?
True
Let u(r) = -r**2 + 3*r + 11. Let p be u(5). Is -1 at most as big as p?
True
Let b = 0.11 - 0.11. Let v(n) = n**2 - 7*n + 5. Let f be v(7). Suppose 0 = -2*p + h, 2*p - 4*p = f*h. Is p > b?
False
Let m be ((-4)/(-2))/(1*-7). Let y = 115 - 113. Which is smaller: y or m?
m
Suppose -3*j - 5*y + 1 + 0 = 0, 0 = 4*j - 2*y + 16. Let m = j - -6. Suppose m*f + 2*f = 30. Which is greater: f or 5?
f
Suppose -6 = -j - 4*f + f, 4*j - 6 = -3*f. Suppose j = -m - 1 + 4. Let v be m/(-2) + 7/14. Which is bigger: -4 or v?
v
Let z = 335/4 - 83. Is 2 at most z?
False
Let c = -24.2 - -27. Let w = -0.8 + c. Is 1 less than w?
True
Let i be (-105)/14*(46/(-25) + 2). Let q = 1 - 0. Suppose -3 + q = x. Is i <= x?
False
Suppose 21*j = 18*j - 195. Is -66 > j?
False
Let t(c) = -c**2 + 6*c - 6. Let f be t(3). Is 