/(-6). Is a less than or equal to t?
False
Let n = -0.6 + 0.1. Which is bigger: -4 or n?
n
Suppose y + 2*t - 5 = 0, -4*y = 7*t - 3*t - 8. Is y > -9/5?
True
Let b(y) = y**2 + 1. Let r be b(1). Let t(d) = d - 16. Let i = 61 + -43. Let z be t(i). Is z less than r?
False
Let h = -1477/2171 + -2/167. Is h equal to -2?
False
Let l = -16 - -8. Let p be (-1 + 0)/((-12)/l). Let s(c) = c**3 + 4*c**2 + 2*c - 1. Let x be s(-2). Is x at most p?
False
Let g = -207/7 + 4775/161. Is -1 equal to g?
False
Suppose 14 = -o - 2. Let b(k) = -k**2 - 17*k - 15. Let y be b(o). Let i = 0.1 - -2.9. Which is greater: y or i?
i
Let b = -1794/7769 + -2/457. Is b less than 1?
True
Suppose -45 + 5 = 5*g. Which is greater: g or 1?
1
Suppose -3*t + 5*y = 16, -t - 5 = y - 13. Let x(a) = -a - 7. Let p be x(-12). Let l = p - t. Which is smaller: l or 3/2?
3/2
Let g = 5 + -4.93. Let b = g + 0.03. Is b greater than 2/15?
False
Suppose 3*m - 8*m = 70. Which is smaller: m or -13?
m
Let g be 7*(72/21 + -2). Suppose g = 3*v + 2*v. Is v less than 2?
False
Let s = 114 - 112. Is -0.2 < s?
True
Let u(b) be the second derivative of 0 + 3*b - 1/6*b**3 + b**2. Let v be u(1). Is 1/2 greater than or equal to v?
False
Let o = -257 - -156. Let w = o + 503/5. Is w equal to 0.1?
False
Let p(k) = -k**3 - 7*k**2 - 5*k + 6. Suppose 46 - 16 = -5*d. Let w be p(d). Do w and 1 have different values?
True
Let x be ((-15)/(-25))/((-3)/(-2)). Suppose -11 = 4*w + 5. Which is bigger: w or x?
x
Let j(c) = -c. Let t(z) = -z**3 + 5*z**2 - 7*z + 1. Let i(s) = s - 1. Let k(n) = -4*i(n) - t(n). Let w be k(4). Let u be j(w). Which is smaller: u or -1/4?
-1/4
Suppose 3*j + s = -s + 3, 2*s = 5*j - 5. Are 3 and j equal?
False
Let t be 1 - (3 - 2)/1. Let y(z) = -z - 1. Let h be y(t). Let q = -1.13 - -0.13. Is h less than q?
False
Let t = -0.54 - -0.5. Let i = 2.04 + t. Let h = -2 + i. Which is smaller: -0.2 or h?
-0.2
Let o be 10/(-6)*172/(-5). Let p = o - 58. Let j be (-1 + -1)*2/4. Is j >= p?
False
Let v = -2.43 - -2.4. Is v bigger than 4?
False
Let t = 1147 + -5713/5. Are 5 and t non-equal?
True
Suppose r - 3*s - 10 = 2*r, 2*r = s + 15. Let b be (-2)/r - 35/(-25). Suppose -4*p - 6 = m + 10, p = -4. Does m = b?
False
Suppose -1 = -4*o + k, -2*k = 2*o - 0*k + 2. Let y be 2/(-3) - (-180)/189. Is o > y?
False
Let l = -25 + -19. Do -45 and l have different values?
True
Let d(t) = t - 8. Let a be d(8). Let u be ((3 - 0)/(-3))/1. Is u < a?
True
Let b be 4/(-21)*(-4)/16. Which is greater: b or 0?
b
Suppose -4*h = h - 40. Let n be 1 + -2 - (-18)/h. Which is smaller: 0 or n?
0
Let u = -41 + 39. Which is greater: -4/3 or u?
-4/3
Let m be (-18)/(-27) + (-8)/15. Let u = -2.9 + 3. Which is bigger: m or u?
m
Suppose 0 = -4*o - 2*x + 2, 8*o - 2 = 3*o - 2*x. Suppose -3*d - 3*m + m - 4 = 0, -4*d - 5*m - 17 = 0. Which is smaller: d or o?
o
Suppose 2*l + 44 = -3*p, -4*l + 3*l - 3*p - 22 = 0. Which is smaller: -23 or l?
-23
Let t = -7 + 1. Let y(n) = -n**2 - 6*n - 1. Let m be y(t). Let v be 10/6 + -2 - m. Which is smaller: 0 or v?
0
Let n(l) = 2*l**2 - 31*l + 23. Let v be n(16). Which is bigger: 37 or v?
v
Let c = 8 + -40. Do c and 1 have different values?
True
Suppose -g - 39 = -4*g. Suppose -5*w = 2*v - g, -2*w + 5*v - 21 = -3*w. Is 1 smaller than w?
False
Suppose -3*o - 3 = -2*o, 7 = 4*g + 3*o. Suppose 4*v - 3 = 9, -g*v = 3*m - 12. Is m less than 1?
True
Let q = 0.029 - -0.571. Is q less than 0.3?
False
Let q(y) = -y**3 - 26*y**2 + 26*y - 28. Let n be q(-27). Is -3/23 > n?
True
Suppose -7*w + 2*w = 0. Which is greater: w or 3?
3
Let k be (-6)/(-46)*(-6)/9. Suppose -2*b - 10 = 0, 2*l - 2*b = -b + 5. Which is greater: l or k?
l
Let q(l) = l + 7. Let g be q(-13). Is -4 >= g?
True
Let q = -8 + 12. Suppose -5*v + 3*x - 25 = -x, -q*x = v + 5. Is v at least -5?
True
Let t = 163 - 161.06. Let r = t - -0.06. Let d be (2 - 3/2) + (-9)/12. Which is greater: r or d?
r
Let o(t) = t - 3. Suppose -13 = -2*j + 5*r + 27, -3*j + 34 = -r. Let c = j + -6. Let v be o(c). Are v and 1/5 unequal?
True
Let y = -51.6 - -53. Which is smaller: y or 0.2?
0.2
Let b(u) = u**2 + 2*u - 3. Let w be b(-3). Suppose -2*v = 2*v + 5*q - 6, 2*v + 4*q - 6 = w. Is v equal to -1/5?
False
Let g = 1/68 - -599/884. Which is bigger: 1 or g?
1
Suppose -6 = 2*a, a = x - 1 - 15. Is 13 less than x?
False
Suppose 0 = -l + 5*g + 23, -2*g - 3*g = 20. Suppose -29 = -4*x - 5*s, l*s = -2*x + 25 - 8. Is -3/7 greater than or equal to x?
False
Let u = -38 - -56. Let c be 3*202/u*-12. Let n = c - -2822/7. Which is smaller: n or -1?
-1
Let s = 5 + -7. Is s at least 1/13?
False
Let d = 0.61 + -0.6. Let m = 0.11 - d. Which is smaller: m or -0.06?
-0.06
Let g(l) = l**3 - 11*l**2 + 10*l + 1. Let j be g(10). Let m be -2*j*1 + 2. Is m greater than -0.3?
True
Let n = -6 + 7. Let h(i) = -2*i + 8. Let k be h(7). Let m be (2/(-21))/(4/k). Which is greater: n or m?
n
Let y = 0.14 - 0.25. Let m = y - 0.89. Which is greater: m or 1?
1
Let h be (-2 - -1)/((-63)/15). Is h smaller than 0?
False
Let s be (-15 + -1)*(-4)/8. Let f(u) = u**2 - 8*u - 3. Let q be f(s). Are -2 and q equal?
False
Suppose 3*i = 4 - 1. Let w(j) = -j**3 + 5*j**2 - 4*j. Let g be w(4). Let m = g - i. Is m != 0?
True
Let j(u) = u**3 - 4*u**2 - 8*u - 3. Let b be j(6). Which is smaller: b or 23?
b
Let x be (-2)/(-4)*(-4)/38. Suppose 19*f + 19*f + 38 = 0. Which is greater: f or x?
x
Let c = -5.9 - -6. Let l = 37 - 37. Which is bigger: l or c?
c
Let s(c) = c**2 + 1. Let i be s(-1). Suppose -2 = -i*v + 10. Let x be 4/(-6) + 7/v. Is x > 2?
False
Let x = -19 + 4. Is -15 >= x?
True
Let n(w) = 2*w**3 + 20*w**2 + 9*w. Let y be n(-10). Is -90 equal to y?
True
Let o = 0.07 + -0.05. Which is greater: o or -0.1?
o
Let v = -0.08 + -1.32. Let y = v + -0.6. Is -2 greater than or equal to y?
True
Let y = -12 + 11. Let j be 4/(-10) + (-27)/(-5). Do j and y have the same value?
False
Let d = 1 - 2. Let g = -33 - -19. Let z = g - -14. Is z at least d?
True
Let o(x) = x**3 - 4*x**2 + 2. Let u be o(4). Let s = -3 + u. Let f be ((-4)/(-18) - 0) + 0. Which is bigger: f or s?
f
Let o be (-6)/(-3) + (-649)/(-10). Let f = o - 67. Which is smaller: f or 1?
f
Suppose -24 = -0*a + 2*a. Is a != -12?
False
Let o = -4.4 - -4. Let t = 0.6 + -0.1. Let q = o + t. Which is smaller: -0.3 or q?
-0.3
Let r(d) = -1 + 2 + 0 - d. Let m be r(-1). Suppose 4*c = l + 8 - 0, -2*c - m*l + 14 = 0. Is c greater than or equal to 2?
True
Let i be 3/(-18) + 8/12. Which is smaller: 2/5 or i?
2/5
Let j(y) = -3*y**2 - 4*y. Let l be j(-3). Let v be 12/l + (-4)/(-6). Let p = 22 - 67/3. Which is bigger: p or v?
v
Suppose j + 3 = -4*k - 7, -14 = -j + 4*k. Let f be (-2)/6 - 17/(-153). Do j and f have different values?
True
Let j be (-5)/((-225)/(-78)) - 6/(-18). Which is greater: -2 or j?
j
Let z = 1 + 0. Let r = -1 + z. Let v = -10 - -9. Which is smaller: v or r?
v
Let o = -0.07 - 0.03. Let f = -0.08 - -2.08. Does o = f?
False
Suppose -12 = -2*h - 4*h. Let m be 2/(-4) + (-3)/3. Let q = 1 - m. Which is smaller: q or h?
h
Let c = 9.16 + -0.16. Let x = -7.85 - 0.15. Let y = c + x. Does y = 0.05?
False
Let u(f) be the third derivative of -f**4/24 - 2*f**3/3 - 3*f**2. Let r be u(-4). Do r and 4/7 have the same value?
False
Let q(f) = f - 1. Let v be q(-4). Let m be (-4)/(-8) - v/(-14). Is 0 smaller than m?
True
Let p(y) be the second derivative of -y**6/90 + y**5/120 + y**3/6 + 3*y. Let z(k) be the second derivative of p(k). Let j be z(1). Which is bigger: j or -1?
-1
Let d(z) = -z**2 + z - 1. Let i(p) = p - 7. Let n be i(9). Let f be d(n). Which is greater: f or 0?
0
Let b = 2 - -0.3. Let q = 3 - b. Which is smaller: -1 or q?
-1
Let c be 17/(-2) - 5/10. Which is smaller: -7 or c?
c
Let k be (-4)/(-5)*(-10)/4. Let r be (0/k + 0)/(-1). Let c be (4/4)/(1 - r). Is -0.06 > c?
False
Let k = -10 - -12. Suppose -d + 5*o + 24 - 2 = 0, 0 = -k*d + 4*o + 14. Is -4 at most d?
True
Let d be ((-10)/35)/(4/(-14))*14. Are d and 0.2 non-equal?
True
Suppose -4*c + 8 = -2*r, -4*r - 3*c - 4 = -7*c. Let s be 0*(r + -1 + 0). Is s != -1/2?
True
Let w = 3 - 3.2. Let g(q) = q**2 + 5*q + 3. Let y be g(-4). Are w and y non-equal?
True
Let x = 14 - 16. Let z = 0.5 + -0.4. Is x greater than or equal to z?
False
Let z = -2212/14547 - 2/1119. Let v = -1 - 0. Is v <= z?
True
Let j = -2 - -1. Suppose 3*d - 2 = 7. Does j = d?
False
Let 