 Let x = -0.4 + -0.1. Which is smaller: x or m?
x
Let f be 3 - 2*244/504*3. Let b(t) = -t**2. Let h be b(1). Which is smaller: f or h?
h
Let b(z) = 2*z + 1. Let a be b(-2). Let o be 10/6 + (a - -2). Is o smaller than 1?
True
Let c be (1 - 3)*2/(-4). Let u = c - 0. Let v be 1 - 3/(24/10). Is u less than or equal to v?
False
Let u = -0.07 + 0.07. Let v = -22 - -43/2. Are u and v non-equal?
True
Suppose 0 = -3*p + 4*p - 1. Which is bigger: 3 or p?
3
Let i(f) = 2 + f + 0 - 5*f**3 - 2*f**2 + 4*f**3. Let j be i(-2). Let v = 0.2 + -0.2. Is j smaller than v?
False
Let z = -10 + 9.8. Which is greater: 4 or z?
4
Let z = -0.5 - -0.35. Which is smaller: 2 or z?
z
Let y = 697/18 + -227/6. Is 2 not equal to y?
True
Let h be (1 - 0/3)*0. Let g be (-6)/(-4) - 11/2. Let y be (18/24)/((-6)/g). Is h != y?
True
Suppose 7*j = 6 - 55. Let k(h) = h - 6. Let r be k(0). Are j and r equal?
False
Let u = 0.4 - 0.1. Let y = -0.4 + u. Let d = 0 - y. Which is smaller: 2 or d?
d
Let u = -26 - -17. Is u greater than or equal to 1?
False
Let j = 0.1 + -0.2. Let z = 0.1 + j. Let i = 25 + -25.2. Is i at least z?
False
Suppose -p = 5, 4*r + r + 80 = -4*p. Let k = r + -2. Is k not equal to -14?
False
Let x be (18/(-36))/(6/4). Which is smaller: x or -11?
-11
Suppose 3*c + 3*d - 2*d = -5, 3*c = 5*d - 29. Let z be 10/15 + (-1)/c. Is 3/10 less than z?
True
Let a(r) = r**3 - 12*r**2 + 11*r. Let f be a(11). Which is smaller: -1 or f?
-1
Let t = -0.02 - 0.18. Are t and 0.1 unequal?
True
Let a = -118 - -87. Is 0.1 > a?
True
Let o(z) = -z**2 - 2*z + 2. Let j be o(3). Let i = -12 - j. Is i at least as big as -1/4?
True
Suppose 0 = -4*q - 8, 0*q - q + 73 = 5*k. Suppose 6*d + k = 3*d. Is d <= -7?
False
Suppose 2*z - 1 = 1. Let n = 220/3 + -72. Is z > n?
False
Let d be 465/6*3/485. Let c = d + 2/97. Is c greater than 2?
False
Let k(y) = y**2 - 10*y + 11. Let p be k(9). Is p at least 1?
True
Suppose o + 7 = 2*k, 2*o = 3*k + o - 12. Suppose k*x + 27 = 2*u - 4, u - 2*x = 13. Let g be ((-3)/9)/(1/u). Are g and 1/5 non-equal?
True
Let n = 3 - 11. Let k = n + 11. Suppose 4*o = o - k. Is o > -3?
True
Let u = -1 + 7. Suppose 0 = -3*x - 0*x + u. Let k = 64/105 - -2/35. Is x greater than or equal to k?
True
Let m(n) = n**2 + 12*n + 13. Let v be m(-11). Let z = -3 + v. Which is bigger: z or -3/4?
-3/4
Suppose 0 = -d - 5*l - 16, -4*d + 2*l = 7*l + 124. Is -37 > d?
False
Suppose -3*d + 2*v = 3, -5*d - v - v = 5. Let b be -1 - -3 - (0 + d). Let c be (0/b*1)/(-1). Is c < 2/9?
True
Let r(w) = 2*w**2 - 51*w + 25. Let n be r(25). Which is smaller: n or -1/10?
-1/10
Let a = 11 + 20. Is 28 <= a?
True
Let r = -3 + 3.2. Let u = r + -0.4. Let t = -14 + 14.2. Which is bigger: u or t?
t
Suppose 3*f + 7 = 2*f. Let s be 5/(-2) + (-4 - f). Is s at most 1?
True
Let g be 8/14 - (-6)/(-21). Let u be 1 - (-1 + 1 + 0). Which is smaller: u or g?
g
Let j = -31 + 61/2. Let a = -0.04 - 0.56. Let z = a - -0.8. Is j at least as big as z?
False
Let r(i) = i**3 + i**2 + 7*i + 4. Let c be r(-2). Are c and -2 equal?
False
Let k be (-49)/(-104) + (-4)/(-26). Let f be 0/(0/(-1) + -1). Is k greater than f?
True
Let f be (-2)/5 - 56/(-115). Let a be 0*12/(-24)*(-1)/2. Which is smaller: a or f?
a
Let b = 13 - 12.88. Let t = -0.02 + b. Is -2/9 at least t?
False
Let a be (-1 - 1)*(-2)/(-4). Let y = 1 + a. Are 0.1 and y nonequal?
True
Let b = 29 - 18. Let m = b - 10. Is m less than or equal to 0.11?
False
Let v be -1 + (3 + (-21)/6)*2. Let h(r) = -r**2 - 4*r + 4. Let d be h(-5). Do d and v have different values?
True
Let b = -6/13 + 37/52. Is b at least as big as 2?
False
Let m = 0.2 - 0.1. Let u = -8 - -7.95. Let d = -2.05 - u. Does m = d?
False
Let p = -17 - -9. Let y = p + 13. Suppose q + 2 = h + y, h + 3 = 5*q. Is q bigger than -1/6?
True
Let w(v) = -v**2 + 19*v + 14. Let k be w(13). Let c be (-50)/k - (-2)/4. Which is smaller: 0 or c?
c
Let m = 1 - 0. Let h = m - -1. Suppose j = h*j. Which is bigger: j or 2?
2
Suppose 2*n - 17 = u - 0*u, -5*u + 4*n - 97 = 0. Is -22 >= u?
False
Let n(v) = v**3 + 9*v**2 + 7*v - 5. Let s be n(-8). Let q(l) = 2*l - 3. Let j be q(0). Let p be (j + 4)*12/s. Is p at most 4?
True
Let k be 2 + (0 + -2 - -169). Let m = 679/4 - k. Do 1 and m have the same value?
False
Let o(z) = z**2 + 6*z + 8. Let q be o(-3). Is -1/103 >= q?
True
Suppose 2*c = -0*c - 6. Let j = 6 - 6. Let r = j - c. Which is bigger: r or 2?
r
Let j(z) = z - 7. Let r be j(6). Let d = 39/232 - -6/29. Which is smaller: d or r?
r
Let t(v) = -2*v - 8. Suppose -2*k - 5*q + 7 = -20, k = 2*q - 9. Suppose -3*y + 2*r - k - 17 = 0, 5*y + r = -30. Let f be t(y). Do 5 and f have the same value?
False
Suppose -3*d - 2*m = -d + 4, -m - 3 = 2*d. Let g = 16378/35 + -468. Which is smaller: d or g?
d
Let f = -26.07 + -0.93. Is 1/3 <= f?
False
Let i = 41.6 - 44. Which is greater: i or 1?
1
Let b(u) = u. Let s(h) = 3*h + 5. Let q(m) = -2*b(m) + s(m). Let p be q(-4). Which is smaller: p or 2?
p
Let o = -11 - -14. Suppose 11*i - 8*i - o = 0. Do -2/73 and i have different values?
True
Let x = -0.62 - -0.02. Let f = -7.4 + 7.4. Which is bigger: x or f?
f
Let n be 3*(-6)/36*42/(-1). Do n and 23 have the same value?
False
Let r be -1 - 3 - (1 + -1). Let d(z) be the first derivative of z**4/4 - 7*z**3/3 + 2*z**2 + 8*z - 3. Let o be d(6). Is r bigger than o?
False
Let l = 38 + -30. Is 8 greater than l?
False
Let o = -1/4351002179161613400 + -183970086777055175255390539/464682681732281149506600. Let i = -1/1525700 - o. Let q = 396 - i. Which is greater: q or 0?
q
Suppose 0 = 2*v - 7*v + 5. Let t be (-2)/8 - 2/(-8). Which is bigger: t or v?
v
Suppose 14 = 5*u + 4*k + 55, -u = -5*k - 15. Let p be 2/6 - (-58)/(-12). Is p > u?
True
Let i = -29 + 205/7. Let x = 2.06 - 0.06. Let r = 2.2 - x. Which is greater: r or i?
i
Let u be ((-1)/(-4))/((-62)/56). Let x = u + -27/155. Let g = 3 - 5. Which is smaller: x or g?
g
Let w(a) = a**3 - 10*a**2 + a - 5. Let m be w(10). Suppose 0 - 4 = -o. Is m > o?
True
Let m be -2*(-1)/((-4)/(-6)). Let b be -3 + m + -3 + 1. Is 0 at most as big as b?
False
Let s be -5*((-6)/(-15) + 0). Let o = 7/3 + s. Is o less than or equal to 0?
False
Suppose 0 = -5*p - 4*d + 29, 4 = 3*d - 4*d. Let t = 9 - p. Which is smaller: t or -1?
-1
Let x(f) = -6*f**2 - 35*f - 9. Let c(k) = k**2 + 7*k + 2. Let w(y) = 11*c(y) + 2*x(y). Let b be w(8). Is b at most as big as -5?
False
Let l(o) = o**3 + 5*o**2 + o + 5. Let i be l(-5). Let r = -0.18 - 0.12. Is i greater than r?
True
Let c = -0.3 - -0.2. Suppose r - 1 = 1. Let w = 0 + r. Is c greater than w?
False
Let l(d) = d**3 - 3*d**2 - 4*d - 1. Let j be l(4). Let q = j + 1. Which is smaller: q or 1?
q
Suppose 2*h = h - 6. Which is bigger: -60/13 or h?
-60/13
Let m(v) = -v - 6. Let z be m(-6). Let x = -88/13 + 486/91. Which is smaller: z or x?
x
Let s = -729 + 28429/39. Does 0 = s?
False
Suppose 4*b = -a - 16, b + b = 5*a - 8. Which is greater: -1 or a?
a
Let k = 0 + 1. Let t be 3 - 2 - (-2)/2. Suppose -t*v = -v + k. Are v and -2 equal?
False
Let j(d) = d**2 - 2*d - 4. Let t be j(3). Let s be 0 + t + 7 - 1. Suppose -s*v + 20 = 2*n + 3*n, 5*v = -4*n + 18. Which is greater: n or 3?
3
Suppose -p = -6*p. Let n = 845/1491 - -1/213. Is n < p?
False
Let w = -173 - -2425/14. Which is bigger: -1 or w?
w
Let t = -2 - -2. Let s be 2/(-6)*(-3 + 4). Is s > t?
False
Suppose -d - 1 = 1. Is 3/2 > d?
True
Let o be 24/42 - (-41)/(-84). Is 0 >= o?
False
Let p(o) = -o**2 + 19*o + 24. Let m be p(15). Is m less than or equal to 84?
True
Let u = -6 - -11. Let h be 4/10 + 3/u. Is -1 at most as big as h?
True
Let m(p) = -3*p - 2. Let o be m(-1). Is o not equal to -7?
True
Let o = 1 + -1. Suppose o = -4*p + 6 + 2. Let r(w) = 5*w**3 - 3*w**2 + w. Let t be r(1). Is p at least as big as t?
False
Suppose 2*j + 0*j = 14. Let m = -7 + j. Suppose -2*p = -m*p + 2. Is -1 bigger than p?
False
Let y be 2787/2970 - 1/3. Let m = y + -1/198. Is 1 <= m?
False
Let v(j) = -j - 7. Let n be v(-11). Let d(g) = g + 2. Suppose -6 = 2*f - 5*f. Let h be d(f). Do n and h have the same value?
True
Suppose -b + 4 = -2*b. Let w be 2/b*(-1 + -11). Let v be 5/6 - 2/w. Which is smaller: 2 or v?
v
Suppose 1 = 3*n - 2. Suppose -5*x + x - 2*q = -236, -179 = -3*x - 2*q. Let z be (-2 + x/27)*-2. Is n greater than z?
True
Let l = -139/511 + -1/73. Let y(m) be the third derivative of -m*