se -r + 27*x = 22*x - 58, -4*r - 4*x = -256. Are r and 70 unequal?
True
Let f = -2031 + 1537. Is f less than 0?
True
Suppose 0 = 5*c + 32 + 293. Let j = 327/5 + c. Let t be (8/3)/((-28)/21 + 2) + -1. Which is bigger: t or j?
t
Let u = 2992.99 - 2993. Let f = -28/9 + 47/18. Which is smaller: u or f?
f
Let t be -4*(-7 + 2 + 2) - -4. Suppose t*l - 11*l = 5. Which is smaller: 4/57 or l?
4/57
Let d = 3.09 - 3.79. Suppose h = -5*m - 3, -15 = 5*h - 2*m + 5*m. Let v be (-1)/h*6/8. Which is greater: d or v?
v
Suppose 14*p + 2 = 16*p + 2*r, -4*p = 3*r - 1. Which is greater: -17/16 or p?
-17/16
Suppose 2*l = -0*l + 100. Suppose 2*r = 3*t + 36, 4*r + 3*t - l = 22. Suppose -3*n + 3*u = -2*u + r, 0 = -u. Are -6 and n non-equal?
False
Let l = 1/454 - 61519/908. Let v = l + 4073/60. Is v at most 2/7?
True
Let t be ((-36)/10)/(3/20). Let q = t - -16. Let z(v) = -v**3 - 8*v**2 + v + 7. Let n be z(q). Which is smaller: n or -3/5?
n
Let v be (-1 + -1 - -4)/((-8)/(-12)). Is -172 not equal to v?
True
Let g be (-9)/(-15)*3/(-117). Let q = -1/109285 - -81867/284141. Let p = q + g. Is p not equal to -1?
True
Let z = -1302 + 6489/5. Is -4 < z?
False
Let o = -12 + 14. Let k be (-10 - -10) + o/89. Suppose 0*z = -2*z + 4, -2*z + 4 = l. Which is bigger: l or k?
k
Let r = -369 + -278. Which is smaller: r or -646?
r
Let u be 15/(1/5*(-7 + 8)). Let q = u + -81. Which is greater: q or -2?
-2
Suppose 3*j = -2*j - 55. Let f(h) = -h**3 - 10*h**2 + 12*h - 1. Let n be f(-11). Is n at least j?
False
Let u be 4/1 - (35 - -3). Let v be 8/48 - u/12. Do 3 and v have the same value?
True
Let v = 20705/9 - 6929/3. Is v less than -9?
True
Let d = -30 + 35. Suppose t = -d*t. Let r = -2.99 - -3. Are r and t equal?
False
Suppose 182 = l - 4*l + c, -4*c = -3*l - 188. Is -58 >= l?
True
Let x = -0.116 - -0.756. Let p = 0.94 - x. Are p and -2/11 equal?
False
Let c be (678/(-12))/((-3)/6) + 1. Is c less than 114?
False
Let r = -61932 + 311943/5. Let t = r - 29529/65. Which is smaller: -0.1 or t?
-0.1
Let g(o) = o**2 + 3*o - 5. Let r = 1 + -6. Let t be g(r). Suppose 0 = 5*d - 4*c + 14, 0 = -t*d + 2*d + 5*c - 11. Are d and -2 nonequal?
False
Let g(s) = s - 2. Let c(d) = d - 3. Let h(q) = 2*c(q) - 3*g(q). Let z be h(3). Let i be (-1)/3*z/(-4). Is -8 != i?
True
Let l(d) = -d + 21. Let f be l(20). Let b be 33 + f - (4 - (1 + 5)). Are 35 and b equal?
False
Let b = -59 + 58.986. Let j = -0.986 + b. Which is bigger: -1/5 or j?
-1/5
Let u(m) = 6*m. Let v be u(5). Suppose -w = -0*w + 3*a + v, 4*a - 93 = 5*w. Let g = w + 20. Is 1/13 at most g?
False
Suppose -75*q + 425 = -58*q. Is 1 > q?
False
Suppose -8*p - 8 = -9*p. Let j(g) = -g**3 + 8*g**2 - g + 9. Let x be j(p). Which is smaller: x or -1/28?
-1/28
Let d be (3 - 15)/(861/174 - 5). Is 233 at most as big as d?
False
Let g(j) = -5*j**3 + 2*j**2 + j. Let a be g(-1). Let w = 0.21 - 1.11. Let c = 0.1 - w. Are c and a non-equal?
True
Let w = 893/8 + -111. Let l = 1/4 - w. Let x = 0.046 + 0.954. Is l at most as big as x?
True
Let u(q) = -5*q + 120. Let b be u(23). Let t(k) = -k**3 - 6*k**2 - 6*k - 3. Let f be t(-5). Suppose b*m + 23 + f = 0. Is -6 less than m?
True
Let b = -310/1911 - -18/49. Is b smaller than -1?
False
Let j = 4999/21 + -238. Let b(w) = 36*w + 65. Let m be b(-6). Let i = m + 151. Which is smaller: j or i?
i
Let t = 191.8 - 192. Which is bigger: t or -33/4?
t
Let r be (-36)/(-126) - (-930)/(-266). Does r = -3?
False
Let o = 0.03 - 2.83. Let k = o - -2.4. Is k bigger than 0.6?
False
Let w = 8.9898 + -9.04. Which is greater: w or 0.1?
0.1
Let a = -308 - -307.8. Which is smaller: a or 222?
a
Let l = 2/213 - -209/426. Let j(n) = -n**3 + 6*n**2 + 2*n - 8. Let t be j(6). Let r be ((-2)/4)/(2/t). Is r greater than l?
False
Suppose x = -2*x - 9. Let f = 0 - x. Suppose 2*t + 5 = f. Is t equal to -9/4?
False
Let v be 2/(-7) + 69/(-126)*470. Let a = 255 + v. Which is greater: -2 or a?
-2
Let h = 354/5 - 83539/1180. Is -1 at most h?
True
Let n = -1555/70642 + -8/1859. Suppose 5*c - 3*y + 1 = 0, 0 = -2*c + 6*c - 2*y. Is c <= n?
False
Let d be 2/(-4) - (-4)/8 - 0. Which is smaller: -2/329 or d?
-2/329
Suppose -32*r = -36*r + 788. Let k = 38852 - 195251/5. Let v = k + r. Is -1 greater than or equal to v?
True
Let v be -2 + (1 - (-7)/4). Let t(m) = 2*m - 22. Let i be t(11). Let r be (i/(-5))/(1 + -2). Which is smaller: r or v?
r
Let d(q) = q**2 - 26*q - 199. Let u be d(-39). Which is smaller: 2335 or u?
2335
Let k = 149 - 150. Which is smaller: k or 1/1071?
k
Let w = -0.1 + 1.1. Let x be 10 + (3 - 10) - (57/(-7))/(-3). Do w and x have the same value?
False
Let w be ((-3 - 3)/(-3) - 4) + 4. Suppose 0 = 3*p + 2*o - 7, -2*o + 8 = w*o. Let y be -1 + (-2)/(-20)*14. Which is smaller: y or p?
y
Let n = -55/19 + 281/38. Is n greater than -1?
True
Let z = 84 - 55. Let m(f) = -f**3 - 8*f**2 + 7*f + 10. Let h be m(-9). Are z and h nonequal?
True
Let a = 264 - 265.3. Is a >= -0.26?
False
Suppose 3*y = -q + 323, -q + 456 = 4*y - 6*q. Is y <= 0.2?
False
Suppose -2*a - v = 1 - 15, -2*a - 4*v + 20 = 0. Let k = 5254 + -5254. Which is greater: a or k?
a
Suppose -6*d + 1 - 73 = 0. Is d at most as big as -13?
False
Let o be -5 + (-9 - -4) + 1 + -1. Is -17 less than or equal to o?
True
Let i(b) = -b - 9. Suppose 3*f = -25 - 2. Let l(t) = t + 2. Let v be l(f). Let a be i(v). Are -4 and a non-equal?
True
Suppose 0 = -c - 27*c + 14616. Which is smaller: c or 524?
c
Let y = -32.012 - -0.012. Let t = y - -29. Let d = 1.1 + -1. Which is greater: t or d?
d
Suppose -4*j = 2*a - 4, 4*a - 9 = -5*j - 4. Let h be (-160)/320*(-2)/8. Is j at least as big as h?
True
Let i be (1 + -1)*(-6)/12. Is i < 0?
False
Let u = 13.25 - 11. Let j = -0.095 - -2.395. Let b = j - u. Is b at most 0.1?
True
Suppose 0*a + 3*a - 22 = 5*l, l = 4*a - 52. Let x be 24*(45/10 - 4). Which is bigger: a or x?
a
Let a = 67 + -23. Is a at most as big as 179/4?
True
Let d = -1012/1407 + 1/201. Which is bigger: d or -17?
d
Let r be ((-64)/(-112))/((-20)/(-14)). Which is greater: -0.084 or r?
r
Let j be 4/20 + (-2 - 394/(-130)). Let t be (-14)/21*34/(-52). Let a = t + j. Which is smaller: a or 3?
a
Let h be 1/(-13)*325/(-50). Which is smaller: h or 1?
h
Let u be (680/(-100))/((-26)/5 - -1). Which is smaller: u or 1?
1
Let b(k) = -3*k**3 - 2*k**2 - 3*k - 2. Let i be b(-1). Let w = 0.9 + 0.1. Are i and w equal?
False
Let m be (-2)/(-5) - (-3)/((-45)/24). Let c(q) = -q**3 + 2*q**2 + 2*q - 3. Let j be c(2). Suppose 3 = -2*s - j. Are m and s non-equal?
True
Suppose 5*y + 94 = -3*c - 506, 4*y + c = -480. Let j = y + 129. Which is smaller: 6 or j?
6
Let q = -3.554 - 0.446. Which is smaller: 22 or q?
q
Let o = 0.0377 - -0.1393. Which is greater: -0.1 or o?
o
Let o be (-67936)/(-99) + 4/(-18). Is 686 less than o?
False
Let x = 304 - 173. Which is smaller: x or 132?
x
Suppose -p + 26 = -4*r, -3*p + 6*p = -r + 13. Let i be 96/(-4) - p/2. Let t be (7/(-3))/((-9)/i). Is t bigger than -8?
True
Let o = 1 + 97. Let p = o - 97. Which is greater: p or 2/7?
p
Suppose 129*j - 20 = 125*j. Suppose 3*r - 3 = 5*n + j, 4*r - 8 = 4*n. Which is greater: r or 7/8?
r
Let x(t) = -12*t**2 + 4*t + 2*t**3 + 11 - t**3 - 5*t. Let y be x(12). Let s = -995 - -7945/8. Which is bigger: s or y?
y
Let y(q) = -1333 - 3*q + 1327 - 2*q. Let i be y(-9). Is 39 < i?
False
Let n be 52/(-6) + (-8)/24. Let v = n - -7. Let y be 183/27 - v/9. Is y < 6?
False
Suppose 0 = -5*g + 2*g + 9. Suppose -y + i = -4*i + 8, g*i - 2 = y. Suppose 4*m - r = 22, -3*m - 4*r + 13 + 13 = 0. Which is bigger: m or y?
y
Let t be 14/(((-6)/3)/(-1)). Let g be 2 + 1 - 3 - -3. Let v be (20/(-12))/(-5)*g. Which is smaller: t or v?
v
Let k = -2 - -2.21. Let f = 6.79 + k. Let l = f - 6. Which is smaller: -10 or l?
-10
Let f(m) = -m**3 - 10*m**2 + 14*m + 29. Let s be f(-11). Let x(g) be the first derivative of g**3/3 + g**2 - 4*g + 1. Let b be x(s). Is -3 bigger than b?
False
Let n(d) = -6*d - 6. Let h be n(2). Let j be h/(-15)*210/(-9). Let q = j + 27. Which is smaller: -14 or q?
-14
Let j(i) = i**3 + 12*i**2 - 12*i - 2. Let b(x) = -3*x**3 - 35*x**2 + 37*x + 7. Let o(u) = 6*b(u) + 17*j(u). Let h be o(-8). Is -9 < h?
True
Let b = -22 - -37. Suppose 1 - 7 = -2*n. Suppose b = -n*o + 6. Which is smaller: o or -6?
-6
Let c be ((-15)/6)/((-3)/(-6)). Let g(o) = -5*o - 2. Let q(k) = -k + 1. Let t(w) = g(w) - q(