t m = 39/4 - q. Let i = -21 + 22. Do m and i have different values?
True
Let m(u) = 5*u**2 - 6*u**2 + 2*u**2. Let z be m(1). Which is smaller: 2/5 or z?
2/5
Let t(k) = k**2 + 5*k + 3. Let q be t(-2). Suppose -2*j - 42 = -5*x, 2 + 2 = -4*j. Let v be 4/(-10)*40/x. Which is smaller: v or q?
q
Let n(f) = -f - 1. Let p be n(-4). Suppose -2*q - p*q = 0. Suppose q = -5*b + 2 + 8. Is 5/3 greater than or equal to b?
False
Suppose 0 = 5*s + 53 - 48. Which is smaller: -5/16 or s?
s
Let g be (-21)/18 - (-2)/4. Let d = 4.3 - 4. Let k = d - 0. Which is smaller: k or g?
g
Let h = -128 - -91. Is h < -37?
False
Let a = 19 + -3. Suppose a + 68 = 7*y. Is 12 smaller than y?
False
Suppose d + 30 = -4*g + 4*d, -2*d = -g - 10. Let m(i) = i**2 + 7*i + 7. Let o be m(g). Let v = 0 - -2. Which is smaller: v or o?
o
Let g = 3.5 + -1.5. Let t be 1 + -2 + (-30)/(-26). Which is greater: t or g?
g
Suppose 12 + 4 = 4*r. Let d be ((-12)/r - -4)/1. Are 0.5 and d nonequal?
True
Let c = 17.5 + -11.43. Let t = -0.07 + c. Which is smaller: 1 or t?
1
Let y = 0.9 - 0.2. Let z = y - 0.74. Let o = 0.06 + z. Is -1 bigger than o?
False
Let c(q) = q - 27. Let s be c(8). Which is greater: -56/3 or s?
-56/3
Suppose -3*j - 28 = 4*b, 6*b = b - 4*j - 36. Which is smaller: b or -3?
b
Let y be 445/20 + 2/4. Is 24 greater than y?
True
Let o = 1 + 5. Let a be ((-8)/6)/(4/o). Let s(z) = -z**3 + 6*z**2 - 5*z - 3. Let g be s(5). Which is bigger: g or a?
a
Suppose 101*n + 187 = 84*n. Let z be 5/((-1)/(-2) + -1). Are z and n equal?
False
Let x = 98 + -82. Is 0 > x?
False
Let u = 1.8 + -1.6. Which is smaller: u or -13?
-13
Let b = -21 + 3. Let q = b - -12. Let r be q/21 - (-10)/(-14). Which is greater: r or -1/4?
-1/4
Let s be 7 - 1372/180 - (-4)/10. Let t = 0.9 + -1. Let a = t + 0. Which is greater: s or a?
a
Let a(d) be the third derivative of -d**4/24 - 2*d**3/3 + 7*d**2. Let h be a(-3). Which is greater: -2/37 or h?
-2/37
Let v(d) = d**2 - d + 11. Let t(p) = -p + 8. Let z be t(8). Let r be v(z). Which is bigger: 10 or r?
r
Suppose -q = q - 12. Let r(i) be the third derivative of -i**6/120 + i**5/12 + i**4/4 - i**3/6 + i**2. Let d be r(q). Which is bigger: d or -1/4?
-1/4
Let x(c) be the second derivative of c**5/20 - c**4 + 3*c**3/2 + 8*c**2 + 3*c. Let w be x(11). Is -7 > w?
False
Let u = -184 + 102. Which is bigger: u or -83?
u
Let p be (-15)/(-10) - 5/2. Is p > -1/20?
False
Suppose 3*h + 5 = 8. Is 1/18 less than h?
True
Let b = -80/5605816367 - -905059090705190/2680493971493821. Let z = b + -438/5761. Let s = -2/83 - z. Is s less than 6?
True
Let n = 24 - 24. Let g = -0.18 - 0.02. Which is greater: n or g?
n
Let o = 687 - 21299/31. Is -1 > o?
False
Let f be (-8)/10 + (13 - 12). Let y be (-1*4 + 2)/2. Which is greater: y or f?
f
Let p = 145.95 - 149. Let u = p + 0.05. Let w = u + 2.9. Is -2/5 <= w?
True
Suppose 0 = -3*o, 2*p - o = p. Suppose p = 3*n - 1 - 11. Which is greater: n or 1?
n
Let r(y) = y**3 - 29*y**2 - 58*y - 36. Let t be r(31). Is 87 greater than or equal to t?
False
Let t = -0.15 - -1.25. Let a = t - 0.1. Let x = 0.11 + -0.01. Is a >= x?
True
Let c(m) = -m**2 - 2*m. Let h = -9 - -4. Let j be c(h). Are -14 and j equal?
False
Let h = -74 - -445/6. Which is greater: -8 or h?
h
Suppose 0 = -g - v + 5, 2*v - 11 = -3. Let r = 5 - 3. Is r at least as big as g?
True
Suppose -3*u + 52 = 19. Let p = u + -9. Is p >= 2?
True
Let y(w) = w**3 - 6*w**2 - 3*w + 2. Let z be y(5). Let o be 13692/(-360) - (-1)/5. Let q = z - o. Which is smaller: q or 0?
q
Suppose z + 5 = 4. Which is smaller: z or 1/4?
z
Let x(y) = -y**3. Let z be x(1). Which is greater: z or -2/13?
-2/13
Let p = 7948/67 + -6839912/57955. Let u = -1/173 + p. Is 0 > u?
False
Let q = 1727/12 - 144. Let m(s) = -s**2 - 2*s. Let u be m(-2). Is u > q?
True
Let o be (1 - 23/(-7)) + 2 - -1. Which is greater: o or 7?
o
Suppose 40 = -2*p - 3*p. Which is bigger: p or -5?
-5
Let d = -6 - -3. Let h be 2 - (d - (18 - 1)). Suppose 6*i + h = -2*q + 2*i, -4*q + 1 = -i. Is -1 < q?
False
Let q(k) = 2*k - 8. Let r be q(6). Let a be ((-2)/(-4))/((-7)/r). Does a = -3/10?
False
Let o = -271/42 + 37/6. Which is smaller: -0.51 or o?
-0.51
Let b be ((-2)/220*8)/(-2). Is b > 0?
True
Let k = 10.1 - 12. Let z = k + 3.7. Let r = z - 2. Which is smaller: 0.1 or r?
r
Let x = -0.14 - 10.86. Let k = 11.1 + x. Which is greater: 9 or k?
9
Let f(d) = -4*d**2 - 2*d + 1. Let z be f(1). Is 0.3 less than z?
False
Let m(h) be the second derivative of h**5/20 + h**4/4 - h**3/2 + h**2 - 4*h. Let c be m(-4). Which is smaller: c or -3?
-3
Let r be (-3)/(18/116) + -1. Let w be 0/2 + -1 + -19. Let g = w - r. Which is smaller: 1 or g?
g
Let z = -0.09 - -0.05. Let f = -1.04 - z. Which is smaller: -7 or f?
-7
Let t be ((-3)/(-6) - 2)*16/(-228). Suppose k = -2*k. Which is greater: t or k?
t
Suppose 2*n + 0*n + 12 = 0. Let f(d) = -d - 6. Let i be f(n). Which is smaller: -0.1 or i?
-0.1
Let z(b) be the third derivative of b**4/24 + b**3/2 - b**2. Let h be z(-4). Let q be 6/(-9)*21/(-8). Is q > h?
True
Let n = -3 - -3. Suppose 0*t + 3*t + 9 = n. Suppose 0 = -4*f - 8. Which is smaller: t or f?
t
Let i(h) = 0*h**3 - 2*h + 4*h - h**2 - 18 + h**3 - 3*h. Let o be i(0). Is -17 greater than o?
True
Let m(a) = a**3 + 5*a**2 - 4*a + 5. Let q be m(-5). Which is greater: q or 24?
q
Let u be (-27)/2*6/9. Is -10 bigger than u?
False
Let t = 21 - 9. Let o be -1 + 0 + -9 + t. Is o bigger than 2?
False
Suppose -3*o + 4*o = -6. Let f(p) = -p**2 - 2*p + 4. Let j be 3/((-1)/(16/12)). Let z be f(j). Do z and o have different values?
True
Let u = -20 + 19.54. Let h = -0.16 - u. Which is bigger: h or 2/13?
h
Let j = -0.34 - -0.44. Let u(y) = -2*y + 9. Let c be u(6). Which is bigger: c or j?
j
Let z be (-3 - -5) + -4 - -2. Let u be 34/(-252) - 4/18. Let f = u - -29/42. Is z > f?
False
Suppose 3*t - 3*h - 4 = 5, -13 = -4*t + 5*h. Suppose 4*b - b = 3. Suppose 3*g = t + b. Is 3/4 at least g?
False
Let x be -4 + (-1 + 1)/4. Let y be (x/2)/(-6 - -4). Is 1/2 greater than y?
False
Let b be 84/(-15) - 4/10. Suppose -4*n = -5*x + 18, 0 = -4*x + 5*n + 23 - 5. Let z be b/(-4)*(4 - x). Which is bigger: z or 1?
z
Let k = 938 - 963. Let d(o) = o**2 - 24. Let r be d(0). Is r not equal to k?
True
Suppose -3 = -2*i + k, -i + 5*k - k = -12. Suppose i = 26*t - 29*t + 3. Is 3 <= t?
False
Let m = -4 - -6. Suppose 3*v - a + m = 0, 3*v = -5*a + 9 + 1. Is v > -4/7?
True
Let y be 144/66 - 0 - 2/11. Let q(o) = -9*o - 4. Let j be q(-3). Suppose y*s - 6 = 5*s, 0 = -5*l + s - j. Are l and -1 unequal?
True
Let n = -1.03 - -0.53. Let d = 3 - 2.8. Is d greater than or equal to n?
True
Suppose 2*j + 190 = 12*j. Is j not equal to 19?
False
Let i be 1*(-2 + 4)*12. Do 24 and i have different values?
False
Let x be (0 + (-2 - -1))*-1. Let f be ((-12)/(-440))/((-9)/(-12)). Let k = f + 43/330. Are k and x unequal?
True
Let k be 6/3 - (5 + -5). Is 3/10 < k?
True
Let r = -3 - -2. Let x = -47 + 95/2. Which is smaller: r or x?
r
Suppose 0 = -0*w + 5*w - 5. Let g(m) = m. Let y be g(4). Let r be (2/2)/((-26)/y). Is r bigger than w?
False
Let j = 3.2 + -3. Let d = -1.8 - j. Let c = d - -3. Which is smaller: c or 2?
c
Let l(r) = r**3 - 7*r**2 - 7*r - 9. Let q be l(8). Which is smaller: q or 2/33?
q
Let g be 1 - 10*2/4. Let w(x) = 7 - 3*x - x**2 + 0*x**2 - 1. Let y be w(-5). Is g <= y?
True
Let o = -4664/21 - -222. Let u be (-1)/(1/(-1)) + 1. Suppose -n = -u*n. Which is greater: o or n?
n
Let v be 92 - (0 + 0 - 0). Let j = v - 462/5. Suppose -2*g = -2*q + 6, -g = -4 + 8. Are q and j equal?
False
Let d be (-4)/((1 + 0)*-1). Let l = 10 + -7. Suppose -k + d*k + l = 0. Is k less than or equal to 0?
True
Let u = -23 - -23.2. Which is greater: 12 or u?
12
Let r be 299/(-91) + (-2)/(-7). Let a be 30/(-24)*(-12)/r. Is a bigger than -5?
False
Let v(x) be the third derivative of -x**5/60 - x**4/12 + x**3/6 + 2*x**2. Suppose 0 = 3*s + 1 + 8. Let p be v(s). Is -2 <= p?
True
Suppose -a + 32 + 0 = -3*f, -3*f = 5*a + 38. Let n = 11 + f. Is -1/3 less than n?
True
Let g be -1 + 583/7 + -2. Let m = -80 + g. Is m less than -3?
False
Let q = -77 - -77. Is q < 4/21?
True
Let m = -17838/5 + 3384. Let x = m - -183. Which is smaller: x or 0?
x
Suppose 3*b + 9 = -9. Let g = b + 10. Is 4 > g?
False
Let v(o) = o**2 + 21*o + 44. Let m be v(-19). Which is greater: 9 or m?
9
Suppose -2