 be (-2)/(-2)*-6*k. Is -4 < a?
False
Let a be (3/(6/(-16)))/1. Let p be -4 + (3 - 1) - 10. Let g = a - p. Does g = -0.1?
False
Let o = -11 + 5. Which is bigger: o or -0.2?
-0.2
Let o = -27 - -20. Is o at least -31/4?
True
Let x = 5.2 - 1.2. Which is greater: x or 0?
x
Suppose 22 = 2*a - 2*b, -3*b + 6*b + 3 = -2*a. Let o be (7*21)/((-27)/a). Let r = o + 33. Which is smaller: r or 1?
r
Let s = 2 + -4. Let l = s - -2. Let x be (0 - l)/(-2 - -1). Which is smaller: 2 or x?
x
Let q = -53 + 87. Is q less than 35?
True
Let t(a) = -4*a. Let u be t(-1). Suppose -3*v = 2*w - u + 11, 3*v + 4*w = -11. Let r = -3 + 2. Is v smaller than r?
False
Let m be (4/6)/(2/(-6)). Let x = 1.18 + -0.18. Which is smaller: x or m?
m
Let s be 2*-1*-1 - 14. Let i be (-2)/6*s/(-16). Do i and -3 have different values?
True
Suppose -3*z + 0 = 15, 0 = -4*l + 4*z + 20. Let b be ((-1)/5)/(0 - -1). Let v = 2/5 + b. Is v < l?
False
Suppose 1 = -h - r + 2, 20 = 5*r. Suppose 2 = -q - 0. Which is smaller: h or q?
h
Let k = 7 + 1. Suppose -2*d + 3*o - 5 = 0, 0 = d + 3*d - o + 25. Let h = d + k. Which is smaller: h or 1/7?
1/7
Let m(w) = 4*w + 9. Let t be m(0). Are t and 12 equal?
False
Let l = -7 - 1. Let u = l + 8. Which is smaller: u or 4/7?
u
Let a(o) = -2*o**3 - 8*o**2 - 5*o + 4. Let s be a(-5). Which is smaller: s or 80?
s
Let w = 9 + 3. Is w not equal to 12?
False
Let t = -69 + 91. Do 20 and t have the same value?
False
Let k = 5/49 + -1/147. Is k at least as big as 0?
True
Let x be (-4)/14*1*-1. Let p(t) = t**2 + 2*t - 3. Let w be p(-3). Let q be 0/(-1 - w)*-1. Is x > q?
True
Suppose 0*m + 5*h - 17 = -m, 0 = 3*m - h - 3. Suppose m = 3*d - 7. Is d < 2?
False
Let w be 2 + -1 + 1/(-1). Let t be ((-156)/(-40) - 4)*2. Which is smaller: t or w?
t
Let o = 24 - 16. Let z = o - 8. Let i be (z + 0)/(5 - 4). Is i less than 4/7?
True
Let j = 13 - 13.3. Let n = 0.9 + -0.4. Let c = -2.5 + n. Is c < j?
True
Let l be (-5)/(-15)*6*(-1)/17. Let q = -2 - -1. Which is smaller: l or q?
q
Let u be 2/(3 + 1190/(-396)). Let n be u/55 + 2/10. Is n < -7?
False
Suppose -5*y - 3*v + 0*v - 10 = 0, -3*y = -5*v + 40. Let c = y - -7. Is c at most 0?
False
Let m = -3 + 2. Let k(n) = n**2 + 6*n + 5. Let v be k(-5). Is m equal to v?
False
Let x = -266/5 - -41. Which is smaller: x or -11?
x
Let d = -14 - -13.48. Let t = 0.5 + d. Is t smaller than -1?
False
Let v(o) = o**3 - 10*o**2 - 12*o + 16. Let d be v(11). Suppose 0 = 7*x - 12*x + d. Which is bigger: -1 or x?
x
Let k = 0.62 + -0.6. Let p = k + -0.12. Is p > -5?
True
Let a be 2/(6 - 0)*-1. Let j be (-46)/(-3) + (-3)/9. Suppose 4*k - 4*d = 3 - j, 0 = -3*k + d - 3. Which is smaller: a or k?
a
Suppose -127 = 5*u - 4*r, -12 = -r - 3*r. Which is greater: -24 or u?
u
Let u = -5.8 - -5. Let f = 0 - u. Let r = f - 1. Is r less than 0.1?
True
Let z(r) = -2*r**2 - 30*r - 18. Let m be z(-13). Are 34 and m unequal?
False
Let m = -2/13 - 5/52. Is -2/7 > m?
False
Let d(v) = -v - 13. Let h be d(-11). Which is smaller: h or -7?
-7
Let d = 2 - -1. Suppose 0 + d = 3*i. Let g be ((-1)/7)/(2/(-4)). Which is smaller: g or i?
g
Suppose -4*i = -3*m + 7, -3*i - 1 = 4*m + 23. Let x(y) be the first derivative of -y**3/3 - 2*y**2 - 2*y - 2. Let b be x(m). Which is greater: b or 0.1?
b
Let c = -8 + 12. Let y(f) = f**2 + f - 1. Let k be y(-2). Let i = c - k. Is i < 2?
False
Let c = -12.1 - -12. Which is smaller: 0 or c?
c
Let h = 29.3 - -6.7. Which is bigger: h or -1?
h
Let s be 2/(-5) - 13/(-20). Let l(j) = -j + 12. Let u be l(6). Let z be u/9 - 16/15. Are s and z equal?
False
Suppose -16 = 3*o - z, 4*o - 3*z + z = -24. Are o and -4 unequal?
False
Let d(f) = -f**3 - 5*f**2 + 6*f - 6. Let q be d(-5). Let w be q/(-21) + 6/21. Is w at least as big as 0?
True
Let z be 3/(-5) + (-96)/(-40). Are 2 and z unequal?
True
Let v be (4 - (-18)/(-4))*(-4)/(-29). Which is bigger: v or 1?
1
Let u = -75.2 - -75. Which is greater: u or -16?
u
Let j be (-4 - 46)/(3 + -5). Is j less than or equal to 24?
False
Suppose -5*w + h = -49, 2 = 4*w + 3*h - 22. Let t = 7 - w. Which is smaller: t or -9/5?
t
Let i = -58/21 - 60/7. Which is greater: i or -11?
-11
Suppose 3*l + 2*l + 5 = 0. Let t(f) = -f**2 - 1. Let u = -11 + 11. Let a be t(u). Is a at most l?
True
Let n = 8 - 12. Let y be (n - -3)*(0 + 1). Let h be 7/6 - y/(-1). Is h != -0.2?
True
Let b = -8.6 + -2.4. Let a = b + 10.9. Is -1/3 smaller than a?
True
Suppose -3*z = 3*a - 2*a + 6, -4*a - 24 = 5*z. Let w(t) = t**3 + 6*t**2 - t - 5. Let q be w(a). Let c be 5/3 + 0 - (-4)/(-4). Is c equal to q?
False
Let m(f) = f**2 + f - 1. Let r be m(-2). Suppose -3*g + 4 = 5*p + 21, -4*p = 16. Let j be 4/(g + 0 - -1). Is r less than or equal to j?
True
Suppose 0 = z - 3*v + 9, 3*z - 51 + 13 = -4*v. Let h be (-15)/18 + (-2)/z. Which is bigger: h or -1?
-1
Let l(x) = -x - 6. Let a be l(-5). Let c = -32 + 162/5. Does a = c?
False
Let v = 82/63 - 4/21. Is 2 at least as big as v?
True
Let g = 703 + -4901/7. Is 4 < g?
False
Let d = 2.95 + -3. Let r = 32 + -33. Which is smaller: r or d?
r
Suppose 18 = -w + 3*w. Are w and 9 equal?
True
Let q = -2 - 1. Let t = 6 + q. Let g = 1 - t. Which is greater: 1 or g?
1
Let n = -16 + 28. Let b = 11 - n. Which is smaller: b or 3/7?
b
Suppose -j + 11 + 13 = 5*x, -5*j + 40 = 5*x. Which is bigger: 10/3 or j?
j
Let u = 4 - -3. Let i = u - 2. Suppose -3*k + 6 = -3*q - 0*k, -i*k = 4*q - 37. Which is bigger: q or -1?
q
Let z be 3*1/(-2)*-4 - 5. Suppose a = 5*c + 2, 3*c + 2*c - 5*a = 10. Which is bigger: z or c?
z
Let n be 1/16*2*-7. Are -2 and n equal?
False
Let v be (0 - 1)/(-2)*2. Let l(n) = -n + 1. Let s be l(v). Suppose s = z - 2*z. Is 0 < z?
False
Let o = 157 + -161. Is o bigger than -4?
False
Let t = 1 - 0. Let s = 1 + -3. Let r = 1.8 + s. Is t smaller than r?
False
Let o = -8 - -9. Suppose s + o = -g, 5*g + 3 = -s + 2. Which is smaller: 1 or g?
g
Let b(c) = -c**3 + 2*c**2 + c + 5. Let q be b(4). Let k = q + 45. Let h be (-40)/k - (-6)/(-33). Is -2 not equal to h?
False
Suppose -x - x - 2 = 0. Is -4/7 at least x?
True
Suppose -2 - 1 = 3*k. Let l be -3 + 0 + 2 - -3. Do k and l have the same value?
False
Let u be (-4 - -2)*(28/7)/60. Is u less than 2/3?
True
Let r = -0.5 - -0.3. Let y = -0.09 + -1.91. Is r at most as big as y?
False
Let f(p) = -2*p - 9. Let l be f(-6). Let g(h) = -h**3 + 7*h**2 + 7*h + 9. Let s be g(8). Suppose s - l = -w. Which is smaller: 0 or w?
0
Let v(p) = p**2 - 4*p + 3. Let m be v(4). Let z be 1*(m - 2 - 1). Suppose -q - a = 5, z = q - 3*a - 9 - 2. Is 1/3 <= q?
False
Let o = 41 - 58. Let n = -25 - o. Let s = 0.5 + 0.5. Which is greater: s or n?
s
Let h be (-2)/(-10) - (-182)/(-35). Which is bigger: h or 5?
5
Suppose 19 = -h + 5*p, -h = -3*h - 2*p + 10. Suppose -4*m - 26 = -5*i - 1, -17 = 3*i + 4*m. Is i >= h?
True
Let w(z) = -3*z + 1. Let i be w(-1). Suppose -3*x - 7 = 4*c, -c - i*c = -5*x. Are -1 and c non-equal?
False
Suppose 2*y - y - 3 = 0. Suppose -d - t + 2 = 3*d, y*d = -t + 2. Is 0 >= d?
True
Let k be (4/(-8))/((-1)/4). Let n be k + (0/(-1))/(-2). Suppose -5*h = 4*c - 37, -1 = n*c + 3*h - 22. Which is greater: 2 or c?
c
Let m = -11.3 + -2.2. Let b = m + 13. Which is greater: -0.1 or b?
-0.1
Let i = 6 + -3. Let d = i - 5. Let q = d - -1. Which is greater: q or 3?
3
Let b be (-1 + -2)*32/12. Let p = -4 - b. Let k = -5 + 8. Is p >= k?
True
Let g = 11 + -9. Which is greater: g or 12/7?
g
Let v(n) = -n**3 + 17*n**2 - n + 24. Let s be v(17). Is -1/2 > s?
False
Let a(u) = 2*u - 1. Let s be a(2). Suppose z = -s*d - 5, -d - 4*z = -6*d + 20. Is 1 >= d?
True
Suppose -5*v - 2 = -4*r - 22, 3*v = -r + 29. Is 7 <= v?
True
Let x(d) = d**2 - 5*d + 3. Let b be x(5). Let j be 4/b*27/(-6). Is 0.2 bigger than j?
True
Suppose -4*c = -3*d - 15, -4 - 8 = -4*d. Let x be (-8)/(-36) + (-25)/(-9). Suppose x*n = -3 - c. Are -2 and n equal?
False
Suppose 0 = 9*z + 3*z - 228. Is 0.3 less than or equal to z?
True
Suppose 0*f = -f + 2. Let i be (-1)/f*(-2)/(-8). Which is bigger: i or 0?
0
Let z be (-11)/(-20) + 1/4. Let w = 17 - 16. Is z < w?
True
Let u = 0.06 - 0.02. Let z = u - -0.06. Is z < 0.5?
True
Let i = 2 + -4. Let o be (-15)/(3/1) + i. Let l be 14/6*(-2)/o. Which is smaller: l or 1?
l
Let r = 5 + -3. Let w be (-2 + 3)*(0 + 2). Let z be (1*-1)/(w/(-6)). Which is smaller: z or r?
r
Let q = 1054/7 + -151. Suppose -2*u = -u - 3. Suppose 2*