4.5 - 2.5. Let g = -51.67 + o. Let b = g - 0.03. Do -1 and b have different values?
True
Let k(z) = z**3 - 8*z**2 - 10*z - 1. Let h be k(9). Let w = h + 9. Which is smaller: w or -1/4?
w
Let a = -16 - -48. Let m be (a/10 - 3)/(-1). Let z = -3 - -4. Is z at least m?
True
Let y = 47/102 + 2/51. Let a be (-1 - -2 - 0)/1. Which is greater: y or a?
a
Suppose 0 = -17*a + 19*a + 130. Which is smaller: a or -66?
-66
Let z = 6368/5 - 241599/190. Let r = z + -10/19. Suppose 3*v = v + 2*b + 2, b = 3*v - 7. Is v greater than r?
True
Suppose 5*y - 1 = -3*m + 2*m, -5*y + m = 1. Let p be 33*((-88)/(-18))/2. Let f = 80 - p. Is f > y?
False
Let k be (-36)/(-75)*(-10)/3. Is -2 equal to k?
False
Let p(r) = -r**2 - 9*r - 1. Let h be p(-9). Are h and -2/5 unequal?
True
Let u = 7 + -6.2. Let n = u - 1. Let c = -0.3 - n. Is c greater than 1?
False
Let w(z) = -13*z + 1. Let u be w(-4). Let b be (-4)/(-22) - u/(-11). Is b <= 6?
True
Let d be (3 + -4)/(1/(-7)). Suppose 4 = -2*p + 3*o, 0 = -p - 5*o + 4*o - d. Let a = p + 4. Which is smaller: a or -2?
-2
Let z(n) = -n**2 + 8*n - 10. Let o be z(7). Which is smaller: o or -2?
o
Let k be -1*((-3 - -3) + -3). Is 4 bigger than k?
True
Let q(c) = 2*c**2 + 33*c + 32. Let o be q(-15). Which is smaller: o or -17?
-17
Suppose -2*y = y - 5*n - 3, 0 = -5*n. Is 2 at most y?
False
Let n be (6/4 + 1)/(8/16). Do n and 7 have different values?
True
Let j(c) = c + 4. Let r be j(-6). Let a = -24/23 + 28/115. Which is smaller: a or r?
r
Suppose 22 = -4*k + 3*k + 5*d, -k - d = 34. Let r = k - -31. Let c be 2 - 0 - 36/14. Is r > c?
False
Let k = -13 + 18. Suppose 4*z - 2 = i + 4*i, 3*i - k*z = 4. Is -5 not equal to i?
True
Suppose -13*r + 19*r = 6. Let y = 5/43 + 31/473. Which is smaller: y or r?
y
Let v = -0.7 + -0.4. Let d = 6.9 - v. Let x = -8.1 + d. Is x equal to -3/5?
False
Let t be 12/(-4) - (-590)/18. Let k = t + -30. Is k at least as big as 1?
False
Let b = 0.18 + 0.82. Is 0.011 equal to b?
False
Let w(r) = -r**3 + 6*r**2 - 5*r - 1. Let d be w(5). Let a(m) = -2*m + 3. Let f be a(2). Is f at most as big as d?
True
Suppose 4*g + 3 - 15 = 0. Suppose 0 = -2*c - r + 8, c + g*r - 20 = -3*c. Is 2 less than c?
False
Let r(j) = j**2 + 6*j + 7. Let m be r(-5). Suppose 9 = -m*u + 5*u. Suppose u*q - 2*q - 4 = 0. Does q = 3?
False
Let h be 28/10*(-20)/(-44). Is 0 at most h?
True
Let b be (-2 - -10 - 4)/2. Let k be 26/b + (7 - 7). Is 13 <= k?
True
Let g = -0.6 + 0.1. Let c = -15 - -37. Let j = -23 + c. Which is smaller: g or j?
j
Let n = 6134/7 + -31748/35. Are n and -31 nonequal?
True
Let f(x) = -9*x + 4 + x**2 + 6 + 4. Let n be f(7). Which is smaller: n or -4?
-4
Let k = 14.3 - -1.7. Let b = -16.01 + k. Which is bigger: b or 2?
2
Let q = 72 - 30. Let l be ((-2)/28)/(7/q). Is 0 at least l?
True
Let u = -7 - -11. Suppose 0*g = -u*g. Which is greater: g or -2/33?
g
Let h(f) = -f**3 + 6*f**2 + 6*f + 6. Let z be h(7). Which is smaller: z or 1/3?
z
Let n(o) = -4*o - 9. Let y(u) = 5*u + 10. Let c(j) = -4*n(j) - 3*y(j). Let t be c(-5). Is t at least as big as -2?
True
Suppose -2*a + 2*q + 38 - 16 = 0, -75 = -5*a + q. Does 16 = a?
True
Let u(d) = -d**3 + 13*d**2 + 2*d - 25. Let o be u(13). Which is smaller: o or 7?
o
Let v = -82165/28 + 2934. Let r = v + 3/14. Which is greater: r or -0.1?
-0.1
Let b be ((-8)/(-10))/((-2)/10). Suppose 0 = 5*j - s + 5 + 6, -4*s - 28 = 4*j. Are j and b nonequal?
True
Let k(n) = n**3 + 8*n**2 - 5*n + 21. Let q be k(-9). Which is bigger: q or -14?
-14
Let x be 7/(-3)*5/(-10). Which is bigger: x or 2?
2
Let m(j) = -j**3 - 4*j**2 - 3*j - 4. Let b be m(-3). Let k be ((-2)/b)/(3/36). Let u be (1/(-3))/(2/k). Which is smaller: u or -2?
-2
Let v = -1/2 - -1. Let y = -1 + v. Let j(z) = z - 6. Let x be j(6). Which is smaller: x or y?
y
Let f = 5.6 + 0.4. Let x = -45 - -39.2. Let w = x + f. Is -1 > w?
False
Suppose 3*b = -5*q + 7, -2*b + 25 = 3*b - 5*q. Let d(i) = -i. Let k(f) = -f**3 - 5*f**2 + 4*f + 1. Let h(g) = b*d(g) + k(g). Let j be h(-5). Is 0.1 <= j?
True
Let x = -8 + 11. Let w be (-472)/(-12) - (-2)/x. Let z be -4*(-2)/(w/(-3)). Is -2 at most z?
True
Let s = 54 + -36. Let z be ((-30)/(-80))/(s/56). Suppose 4*g - 2*d - 18 = 0, 0*g + 2*g + 11 = -3*d. Is z > g?
False
Suppose t = -f - 0*t - 2, -t = 3*f - 4. Let v = f - 0. Which is smaller: v or 1?
1
Suppose -2*i + i = -5*f - 272, 269 = -5*f + 2*i. Which is smaller: -56 or f?
-56
Let v = -0.04 + 1.04. Do v and 3 have the same value?
False
Let t = -77 - -70. Suppose -3*r = 3*a - 7*a - 16, 5*a = r - 9. Which is smaller: t or a?
t
Let r(f) = -f**2 - 5*f - 1. Let t be r(-4). Let d be (t - (-2 + -6))/1. Which is greater: d or 10?
d
Let r be (0 + 2 - 4/4)*1. Is r greater than 5/3?
False
Suppose -2*w - 2 = -4*m, w - 3 = -2*m - 0*w. Suppose 5 - m = -2*g. Are g and 5 unequal?
True
Let j = -234687/82 + 2862. Which is greater: j or -1?
j
Let z be (50/(-75))/(2/57). Which is greater: z or -22?
z
Let o(k) = k**2 - 7*k + 4. Let f = 10 - 22. Let l = -6 - f. Let a be o(l). Which is greater: 1 or a?
1
Let x be (-5)/(-4)*2/(-40). Is x greater than -1?
True
Let v(o) = -3*o - 2. Let z be v(-3). Suppose 4*u + 1 = 25. Which is smaller: z or u?
u
Let d be (-4)/(-6) - (-63)/27. Suppose 36 = d*h + h. Suppose -4*k - 10 = -h*k. Which is smaller: 1 or k?
1
Let h = -20.037 - -0.037. Let q = 28 + h. Let l = q - 8.3. Is l > 0?
False
Let z = 1 + -1.5. Let f = z - -1.5. Are -4 and f unequal?
True
Suppose 0 = 7*o - 8*o + 4. Suppose 3*q + 2*q - 19 = -4*a, -o*a = -q - 25. Is 6 < a?
False
Let v = -66 - -67. Let b = 0.05 + -0.1. Let y = b - 3.95. Which is smaller: y or v?
y
Let l(x) = 8*x + 4. Let o be l(-2). Is -12 at most as big as o?
True
Suppose -4*f = -2*u + f - 18, u + 3 = f. Which is greater: -0.05 or u?
u
Let b = 0.03 + -0.02. Let z = 0.11 - b. Is z greater than -5?
True
Let n(a) = -6*a + 27. Let y be n(12). Is y < -45?
False
Let q = 6.88 + 0.12. Let c = q - 1. Let y = 5 - c. Do y and -0.4 have the same value?
False
Let u = 3 + -6. Let j(t) = -t - 7. Let g be j(u). Let l(d) = d**2 + 4*d + 1. Let r be l(g). Are r and 1/4 unequal?
True
Let a(k) = -k**3 - 7*k**2 - 5*k + 9. Let z be a(-4). Is z at least as big as -19?
True
Let f(x) be the second derivative of x**4/12 + 4*x**3/3 - x**2/2 - 3*x. Let d be f(-9). Which is smaller: d or 9?
d
Suppose -2*l - 12 = -0*l. Let x = -0.26 + 0.36. Do l and x have the same value?
False
Suppose 13 = -7*a + 41. Does a = 17?
False
Suppose -6 = 4*o - 14. Which is smaller: 1/2 or o?
1/2
Let y = 102 - 101.94. Is y at least as big as -2?
True
Suppose -5 = -5*g + 15. Suppose 0*h - 34 = -17*h. Which is smaller: h or g?
h
Let n(w) = w + 3. Let r be n(-3). Suppose r = -2*v + 10. Let f(b) = b + 1. Let g be f(5). Which is bigger: g or v?
g
Let u = 0.2 + 0.8. Let z = -0.9 + u. Does z = 3?
False
Let s be 1/1*(-25)/(-15). Let f = -4/3 + s. Which is smaller: f or -0.09?
-0.09
Let k be (3 - (-3 + 3)) + (-38)/14. Which is greater: 62 or k?
62
Suppose 0 = -2*x + 2*v + 1 + 3, 2*x + 5 = -v. Which is bigger: -4 or x?
x
Let t = -113970/2689 + 122851940/1981793. Let r = -216/11 + t. Which is greater: r or 1?
1
Let v be 3/(3/(9/(-3))). Let t be (4/(-8))/(v/6). Which is bigger: t or -1/3?
t
Let h = 22 - 22. Let t = 2/57 + 395/114. Which is greater: h or t?
t
Let w = 17 - 16. Which is smaller: 6/7 or w?
6/7
Let v = 12 - 7. Suppose 5*h + 13 = -2*q, 3 = -3*h - q - v. Let p be 2/(-8) + 5/4. Is p equal to h?
False
Let x be ((-4)/12)/(2/(-12)). Let n be (1 - (-2 + 1))/1. Is x at most n?
True
Let j(u) = -u**3 - u**2 + 5*u + 8. Let m be j(-3). Is m smaller than 1?
False
Let x = 1015298 + -1441722887/1420. Let m = -3/71 + x. Is m <= -1?
False
Let c(h) be the third derivative of h**4/24 + h**3/2 + 3*h**2. Let k be c(-5). Is k >= 0.1?
False
Let r = -37/48 + 31/16. Which is greater: r or 2/5?
r
Let y be 21/14 + (-74)/(-8). Which is greater: y or 12?
12
Suppose -6 = -4*f + 14. Suppose 0 = d + 4*d - f. Let p be 15/(-10) - (-28)/8. Which is smaller: d or p?
d
Let l = -41.75 + 0.75. Is -1/2 > l?
True
Let u = -64/45 - -6/5. Let i = 6 - 8. Are i and u equal?
False
Let z be 18/(-12)*-3*(-4)/18. Which is smaller: 1/45 or z?
z
Let r(c) be the second derivative of c**4/12 + c**3 - 9*c**2/2 - c. Suppose -4*f + 55 = -5*x, x = f + 2*f - 22. Let s be r(x). Is s < -1/2?
True
Let b(a) = a**3 + 5*a**2 - 2*a - 6. Let m be b(-5). S