nd r unequal?
True
Let q be (-110)/627*(-18)/2. Let f = -63/76 + q. Let l be 2 + 2 + 4/(-2). Which is bigger: f or l?
l
Let v(j) be the third derivative of -j**6/120 - 3*j**5/20 - j**3/6 + 2*j**2. Let r be v(-9). Is r greater than or equal to -2?
True
Let t = 13 - -17. Which is smaller: t or 32?
t
Let x = -5 + -1. Let u = 8 + x. Let o = -1 + u. Do o and 1 have the same value?
True
Suppose -4*g - 5*t = 11, -g + 8 = 4*g - t. Which is smaller: g or -2/13?
-2/13
Let q be -3 - -1*110/38. Let l = q - -25/57. Is l not equal to 0?
True
Suppose -a + 73 = 5*d, 2*d + 4*a = 4*d - 16. Let y be (d/5 - 2)*5. Which is smaller: 5 or y?
y
Suppose 0 = -3*w - 5*m - 12, 2*m = 2*w - 0*w + 8. Which is smaller: 7 or w?
w
Let d(a) = -a**3 + 2*a**2 + a. Suppose 2*k = 6*k - 8. Let s be d(k). Let g be 2/3 + s/6. Which is smaller: g or -2/17?
-2/17
Let w = 7 - 6. Suppose -3*a - 2 - w = 0. Which is smaller: a or 3/8?
a
Let i = -3.03 - -3. Let n = i + 0.03. Is n < -3/5?
False
Suppose -d + 58 = -5*p, -4*p - 46 = -p + 5*d. Let a(q) = -q**2 - 13*q - 11. Let t be a(p). Let x be (t/(-4))/(15/(-36)). Is x at least as big as 0?
True
Let g = 48 + -195/4. Does -4/5 = g?
False
Suppose 8*h - 25 = 3*h. Let p be (-18)/h + (-9)/(-3). Which is greater: p or -2?
p
Let y = -713/14 - -51. Which is bigger: y or 1?
1
Let j = -1.98 - 0.02. Let t = -1.1 + -1. Let k = t - j. Which is smaller: k or -2?
-2
Let k = 4 + -16. Let a be 8/k*21/(-8). Which is smaller: 3 or a?
a
Let n = 82 - 82. Is -7 at most n?
True
Suppose 0 = -5*l, -4*l + 6 = 2*m - 0. Suppose 4*x - x - 12 = 0. Is m at most as big as x?
True
Let p be 4/7 + 75/175. Is p greater than 1/84?
True
Let z be (-6)/(-4)*(-16)/276. Let b(o) = o**2 + 4*o + 2. Let w be b(-3). Which is greater: w or z?
z
Suppose 0*c = -4*c. Let b(l) = 5*l + 4. Let g be b(4). Let u be 2/1*2/g. Is c smaller than u?
True
Let l = 8 + -9. Let t = l + 1.01. Let v = t - 0.41. Which is smaller: 2 or v?
v
Suppose 3*a - f - 245 = 0, -5*f + 182 = 2*a - f. Which is smaller: 82 or a?
82
Let a = 74/3 - 24. Let x = 0.86 + 0.14. Which is smaller: x or a?
a
Let t = -0.9 + 8.9. Are t and 0 unequal?
True
Let t be ((-3)/2)/(-16 - -25). Is 0 at most as big as t?
False
Let n(j) = 2*j**2 + j + 2. Let f(c) = -c**2 - 2*c - 1. Let t(p) = -3*f(p) - 2*n(p). Let s be t(3). Is 3 != s?
True
Suppose 0 = -4*z + 4*g + 20, -z = -0*z - 3*g - 5. Suppose 0 = -8*i + z*i + 15. Suppose 3*h + 24 = -4*p + 5*h, i*p - 5*h = -40. Is -2/3 less than or equal to p?
False
Let y = -5 + 5. Let w = y - -2. Which is bigger: 0 or w?
w
Let k(u) = -u**2 - 4*u. Let l be k(-4). Let o be 0*(1 - (6 + -4)). Is l at most as big as o?
True
Suppose -g + 4*z - 56 = -5*g, -4*z - 72 = -4*g. Suppose -18 = -2*p - 2*s, s - g = -p - p. Suppose -3*m - 8 = -p*m. Are 3 and m equal?
False
Let y be (-7)/4 - (-4)/(-16). Is 3 != y?
True
Let z = -0.19 - 0.15. Let b = -0.06 + z. Let w = b - -0.6. Which is bigger: w or -1?
w
Suppose -4*t - 2 - 6 = -2*f, 3*f - 12 = 3*t. Suppose -f*l - 5 = -9. Which is greater: -1/6 or l?
l
Suppose 15 = 2*q + 41. Does -14 = q?
False
Suppose -5*z + 21 + 4 = 0. Suppose -8*n + z = -3*n, 0 = -2*m + 2*n + 8. Is m less than or equal to 5?
True
Let u = -545/4 - -136. Which is bigger: u or 20?
20
Suppose 5*s - 5*d = -5, s + 3*s = 5*d - 8. Suppose -c + 3*c - 22 = 4*g, -2*g = 3*c - 1. Is s less than c?
False
Suppose 4*t + 2 = 3*s, -3*t = -3*s + 5 - 2. Let b be ((-1)/4)/((-1)/t). Let j = 0.14 - 1.14. Which is smaller: b or j?
j
Let w(h) = h**2 - 3*h. Let s be -2 - (1 + -2)*4. Let n be 17/5 + s/(-5). Let y be w(n). Is 0 > y?
False
Let v = -7 - -6. Suppose -s = s + 4*f + 8, 4 = 3*s - 2*f. Which is bigger: v or s?
s
Let a = 8 + -29. Let f = 43/2 + a. Which is smaller: 0 or f?
0
Let h be 0 - 0 - (80/35)/8. Is -0.05 > h?
True
Let g(r) = -1 + 0 + 5*r + 6 - r**2. Let h be g(6). Let x = 33 + -104/3. Which is greater: x or h?
h
Let b = 1/73 + 359/438. Do 1/4 and b have different values?
True
Let j(i) = -i**3 - 5*i**2 - i + 12. Let o be j(-4). Which is greater: 1 or o?
1
Let g(t) = 5*t - 30. Let o be g(13). Is 0 at least as big as o?
False
Let t be -1*(1 + -2) - -4. Let q(f) = f - 6. Let y be q(t). Let u be (-2)/4*(-2)/(-5). Which is smaller: u or y?
y
Suppose -2*j = -0*y + 4*y - 32, 2*y = 2*j + 4. Let u = y - 4. Suppose -5*s + 10 = a, -5*a + 0*s = -u*s + 4. Which is greater: 3/7 or a?
3/7
Let v = -589/390 + 2/195. Which is greater: v or -0.1?
-0.1
Suppose -h = -t - 4*t + 6, 4*h - 16 = 0. Suppose 0 = -k + 1 + t. Is 1 at least k?
False
Let y = 3 - 4. Let m be y*(-1)/((-2)/(-16)). Which is smaller: m or -0.1?
-0.1
Let x(a) = -a**3 - a - 1. Let f be x(0). Is f != -3?
True
Suppose 0 = r + 4*r - 5. Let q = -28 + 55/2. Which is smaller: r or q?
q
Let n be 6*(-2 + (-34)/4). Let w be (1/3)/(3/n). Which is greater: -8 or w?
w
Let i(s) = -3*s + 8. Let z be i(5). Let o be (-138)/33 - (-4)/22. Are o and z equal?
False
Suppose -4 = -2*x + s, -2*x + s = -2*s + 4. Suppose -x*l = 6 - 2. Which is smaller: l or -4/3?
-4/3
Let q be (0 - -4 - 4) + 2/11. Which is bigger: q or -11?
q
Let m = -0.04 - -0.07. Let w = -42.53 + 44.5. Let x = m + w. Is x greater than or equal to 3/5?
True
Let i = 2/193 - 255/5983. Which is bigger: i or 1?
1
Let u = 51 + -54. Let a be (-100)/42 - 6/(-9). Which is greater: a or u?
a
Let l(n) = -6*n. Let j be l(-1). Let a be (-12)/14*(-60)/(-9). Let f = j + a. Which is bigger: f or 0?
f
Let a be (-2)/22*(25 - -1). Let l = a + 100/33. Let m be (((-3)/6)/(3/6))/(-1). Is m greater than l?
True
Let l be 78/(-66) - (-1 - 0). Let v be 0*(2/4 + 0). Let x = 1 + v. Which is smaller: x or l?
l
Let y = -216 - -1731/8. Which is smaller: 2 or y?
y
Let f(l) = -l**2 + 3. Suppose 0 = -3*i + 6*i. Let b be f(i). Suppose 0 = b*q - 4*q - 1. Which is smaller: q or -2/3?
q
Let r(w) = w**2 + w - 4. Let s be r(0). Let y = s + 2. Is -2 at least as big as y?
True
Suppose -6 = -f - 3*x, x + 2*x - 6 = 5*f. Which is smaller: -6/7 or f?
-6/7
Suppose -5 - 19 = -3*m. Let p be ((-21)/7)/(2/8). Let v = m + p. Are v and -4 equal?
True
Let a be 16/(-12)*(-15)/40*6. Which is smaller: 9 or a?
a
Let v(u) = -6*u - 6. Let n(a) = -1. Let z(d) = 5*n(d) - v(d). Let l be z(-1). Is -4 at most l?
False
Suppose o + 6 + 7 = 3*r, 0 = -4*o + 4*r - 12. Is 1 greater than o?
False
Let t(c) = -6*c**2 + 2*c + 2. Let r be t(-2). Let s = -51 - r. Let m be (-8)/30 + 10/s. Which is bigger: -0.2 or m?
-0.2
Suppose -6 = -4*s + 18. Suppose 5*n - s = 19. Is 1/4 at most as big as n?
True
Let t(c) = c**3 - 9*c**2 + 7*c + 6. Let h be t(8). Let p = 1 - h. Is 4 < p?
False
Let v = 27 + -45. Is -19 < v?
True
Let o = 0.514 - 0.114. Is 3 > o?
True
Let m be (-13)/39 + 2/6. Which is smaller: m or -0.2?
-0.2
Suppose 7*k = 3*k + 8. Let n be k*-1 + -1 + 0. Which is bigger: n or -4?
n
Let c be (-1 - 11)/(1/2). Let b be (-6)/(-18) - (-11)/c. Which is greater: b or 0?
0
Let b = 0.26 - 0.26. Are b and 0.1 non-equal?
True
Let j = 4.5 + -0.5. Let z = j - 3.9. Let n be -3 + ((-3)/(-3) - -2). Is z at most as big as n?
False
Suppose -2*b = 3*b + 20. Suppose 3*n - 6 = 4*y, 3*n - y = 4*y + 3. Let o = b + n. Does o = 2?
True
Let j = 6.1 - 7. Let m = 0.9 + j. Which is smaller: -1 or m?
-1
Let d = -6 + -5. Are -13 and d equal?
False
Suppose s + 3 = -2*z - 0*s, -3*z + 3*s = 0. Which is greater: -5 or z?
z
Suppose b + 1 = 6*b + g, -8 = 2*g. Which is smaller: 0 or b?
0
Let c = -93 - -93. Is c less than or equal to -3/29?
False
Let y = 2.8 - 1.6. Let u = 1.5 - y. Which is smaller: 2 or u?
u
Let n = -41.7 + 40. Let j = 1.61 + n. Which is bigger: 2 or j?
2
Let i = 14 + -13. Let y(c) = -c**2 - 4*c. Let a be y(-4). Which is greater: a or i?
i
Let k be (-8838)/(-12)*(-2)/(-7). Let d = k - 210. Which is smaller: d or 1?
d
Suppose 6*s - 3*s = -3. Let k be (-2)/s - (-43)/3. Let u = k + -251/15. Which is bigger: 0 or u?
0
Let h = 1.1 - 0.1. Which is bigger: -3 or h?
h
Suppose 0 = 5*m - u - 18, 5*u - 2 = -17. Which is smaller: m or 15/7?
15/7
Let u be (-1)/1 - (-7 + 5). Let g be (u/(-30))/(4/(-10)). Is -1 equal to g?
False
Let g = -7.5 + 1.5. Which is greater: g or -0.1?
-0.1
Let m = -40.06 + 40. Is m less than 0.3?
True
Let p = -46.9 + 45. Let g = -2 - p. Which is greater: g or 0.6?
0.6
Let q = 57 - 106. Which is bigger: q or -1?
-1
Let r be (-32)/(-12) + (-4)/6. Let i be r*(15/18 - 1). Is i at most as big as -1?
False
Let y be (-