ferent values?
True
Let o = -72 + 71.63. Let j = o - 2.63. Is -10 equal to j?
False
Let v be (-37 - -29) + 11*1. Let q be ((-16)/(-10))/((-6)/(-10)). Does v = q?
False
Let h = -468 - -975/2. Let r(m) = 6*m**2 - 4*m + 3. Let n be r(2). Which is bigger: n or h?
h
Suppose -150 = c - 7*c. Let w be -2 - 75/3*1. Let g = c + w. Does -2 = g?
True
Let z = -1570 - -1362. Which is bigger: z or 3?
3
Let c(u) = -4*u - 154. Let f be c(-40). Which is smaller: f or -31?
-31
Let u(x) = -x**3 + 14*x**2 - 44*x - 12. Let g be u(9). Suppose -10 = -4*b + 2*b. Suppose -b*d + 12 = -7*d. Does d = g?
False
Let w(d) = 4*d**2 + 0*d - d**3 + 1 + 7*d**2 - 13*d**2 - d. Let i be w(0). Is i greater than or equal to 1/6?
True
Let w = -616 + 938. Is 321 not equal to w?
True
Let g = 493539/32470 + 1/6494. Let i = 74/5 - g. Suppose j - 6 = -5*j. Is i <= j?
True
Suppose 3*d = -x + 3*x + 6, -2*x + 14 = 2*d. Let c be 12/d - 6/2. Suppose c = 5*u - 5 - 10. Are 0 and u equal?
False
Let x(w) = -w**3 + 61*w**2 + 0 - 57*w**2 + 6*w + 1. Let n be x(5). Is 0 bigger than n?
False
Suppose 15 = -2*x + 3*o - 26, -3*x - 59 = -5*o. Let v be 4 + (148/x - 10/(-35)). Which is smaller: v or -4/37?
v
Let p be 10/(-55) + 0/2. Suppose -30 - 15 = -5*a. Which is smaller: p or a?
p
Suppose 0 = h + 7. Let c be ((-2)/4)/(h/((-28)/6)). Let y be 4/14 + 18/(-14). Is c at least y?
True
Suppose 4 = -3*d + 16. Let j(w) = 5 - w - 4*w + 0 - d. Let u be j(1). Which is smaller: u or -2?
u
Suppose -3*i - r + 320 = 0, 0*r - 300 = -3*i + 3*r. Which is bigger: i or 106?
106
Suppose -4*u = -37 - 71. Let v be (13 + 1)/((-2)/3). Let j = v + u. Are j and 9 non-equal?
True
Suppose 5*d - 5 = 4*l, -2*d + 5*l = 21 - 6. Let j(v) = -4 + 4 - 1 - d - v. Let b be j(-7). Which is smaller: -2/41 or b?
-2/41
Suppose 0*m = -3*m - 138. Let x = 11 + m. Is x at least as big as -35?
True
Let m = 53 + -52.7. Let w = m - -0.7. Is 4.1 <= w?
False
Suppose -2*c - 98 = -4*i, 172 - 57 = 5*i - c. Is i greater than -8?
True
Let t be ((-48)/20)/((-442)/(-585)). Is -2 at least t?
True
Let p = -12 - -16. Let f be 44/55 - p/5. Let r = 2/127 + 103/1524. Which is smaller: f or r?
f
Let u(f) = f**3 + 4*f + 1. Let v be u(-3). Let y = -43 - v. Is -5 at most as big as y?
True
Let g(c) = -3*c**3 - 5*c**2 - 2*c - 1. Let z = 1 - 3. Let k be g(z). Suppose -2*y - 25 = -k*y. Is y at most 5?
True
Let w = 243 + -253. Is w smaller than -53/6?
True
Let w be 16/4 + -5 + 6. Suppose 5*v + w*q + 165 = 0, 2*v - v + 21 = -4*q. Is v at least -38?
True
Let g(k) = k**2 - 8*k - 4. Let z be g(9). Let c(v) = v + 1. Let m be c(z). Let d be 57/m - 2/(-4). Which is greater: 12 or d?
12
Suppose 58 - 60 = -2*p. Which is smaller: 5/41 or p?
5/41
Let f be (-74692)/177*(-9)/(-6). Let g = f - -633. Let u = g - 125/413. Is 1/4 at least u?
True
Suppose -22 = -2*c - 4*x, 5*x - 8 - 17 = 0. Is 99 at most as big as c?
False
Let o be 11 + -4 - 37/(-7). Are 13 and o nonequal?
True
Let g be (-852)/(-1736) - (2 - -2)/8. Which is smaller: g or -1?
-1
Suppose -17*o + 10296 = -9*o. Which is smaller: o or 1286?
1286
Let i be (0 - -2)/(-7*6/12663). Are i and -603 nonequal?
False
Let j(q) = 2*q**3 - 72*q**2 + 78*q - 139. Let z be j(35). Is z >= -3?
True
Suppose 1 = -y - 3. Let g be (2/5)/(y/24). Is g smaller than -2?
True
Let q(p) = 2*p + 3. Let f be q(3). Let r be (-9)/6 - f/(-4). Let s be ((-9)/18)/((-3)/(-6)). Which is smaller: s or r?
s
Let p be 0/(3 + -1 - 1). Suppose -63 = -p*s + 3*s. Which is smaller: -22 or s?
-22
Let f = 3.44 + -3.47. Is f < 7?
True
Let z = -71.4 + 71.344. Is -0.4 > z?
False
Suppose -6*j = -7 + 1. Let v(t) = -t**2 + 7*t - 8. Let g be v(6). Let h be j*(-2 - (g + 1)). Are 0 and h non-equal?
True
Let a(u) = -u**3 + 8*u**2 - 10*u + 7. Let w be a(7). Are -12 and w unequal?
True
Let p(q) = -2*q**2 + 24*q + 3. Let x be p(12). Is 1 smaller than x?
True
Let c be 42/(-18) + 8/6. Which is smaller: -158 or c?
-158
Let l = -2994 - -2994.2661. Which is bigger: 2/3 or l?
2/3
Let k be (-11129)/217*1/(-1). Is k less than or equal to 50?
False
Let v = -59.83 + 60. Let j = 0.127 - -0.943. Let t = v - j. Which is smaller: 0.1 or t?
t
Let r be (4/(-10))/((-27)/(-7695)). Is r at most -113?
True
Suppose 0 = -199*t + 209*t + 630. Which is smaller: t or -185/3?
t
Let z be (-5)/(100/(-8))*5. Suppose -3*a = 2*n + a + z, -4*n + 44 = -4*a. Is n less than 7?
False
Suppose -2*b = -0 - 54. Let y = 15 - b. Let s be 70/(-6) - (-2)/3. Is s > y?
True
Let u be -3 - 0 - (-1 + -8). Suppose -3*q - 10 = -t + 2*q, 5*t - 3*q = u. Is t less than 1/6?
True
Suppose 5*w - 5*q + 70 = 0, -3*q = 3*w + q + 14. Let z = w - -9. Which is smaller: 26 or z?
z
Let z = 15 - 32. Let c = 106 + -111. Let j = c - z. Which is bigger: -0.1 or j?
j
Let v = 87 - 126. Let j be 64/6 - 13/v. Which is greater: j or 9?
j
Let b(u) = -u**2 - 10*u + 14. Let w(v) = 2*v**2 + 19*v - 27. Let d(j) = -5*b(j) - 3*w(j). Let l be d(-8). Is l greater than -0.02?
True
Suppose 31 = -2*d - 31. Let h = -37 + 9. Let g = d - h. Which is greater: -5 or g?
g
Let p = 12 + -7. Suppose p*z + 0*u = 3*u + 11, -5*z + 9 = -2*u. Is 1/43 not equal to z?
True
Suppose i - 5*i + 1 = 3*t, 2*t = 4*i - 6. Let h be (i + -2)*(4 + 1). Which is bigger: h or -7/2?
-7/2
Suppose 3*v = 5*h - 25, 2*v = 3*h - 2 - 13. Is v bigger than -1/87?
True
Let a = -2809 + 16939/6. Is 14 at most a?
True
Let t(f) = -f - 12. Let z be t(-7). Let m(u) = -u**3 + 2*u**2 + u. Let a be 120/50 - (-2)/(-5). Let g be m(a). Is g greater than or equal to z?
True
Let i = -16 - -21. Let k be (18/(-5))/((-2)/i). Suppose 6*p - 3*p = k. Is p equal to 2?
False
Suppose 0 = 2*c - 35 + 37. Is c < 2/127?
True
Suppose 5*j - 227 = -5*q + 58, -2*q + 113 = 3*j. Let s = 56 - q. Which is bigger: -8 or s?
s
Let l = -78 + 66. Let t be (-2)/l*60/(-3). Is t >= -2?
False
Let s be ((-2)/(-3))/(-2) + 64/12. Let t be (-27)/(-45)*s/(-4). Which is smaller: -2 or t?
-2
Let s be 136/6*21/14. Let n = -59 + s. Let l be 1/(-2)*(-30)/n. Which is bigger: l or -1?
l
Let n(d) = d - 4. Let s be n(4). Let x(k) = k**3 + 2*k**2 + 2*k - 21. Let r be x(s). Is -41/2 != r?
True
Let d(p) = -5*p**3 - 2*p**2 + 2*p - 1. Let a be d(1). Let w = -1171/4 + 287. Do a and w have the same value?
False
Suppose 167 - 107 = -3*m. Which is greater: -67 or m?
m
Let g(b) = -2*b**2 + 14*b - 8. Let c be g(9). Let t(k) = -k**3 + 9*k**2 + 9*k + 6. Let j be t(10). Let w be (-1)/((-2)/c*j). Is 6 bigger than w?
True
Let t(o) be the third derivative of -o**4/24 - o**3 - 6*o**2. Let m be t(-7). Which is greater: 0 or m?
m
Let y = -856 + 855.03. Is y greater than -0.1?
False
Let d(b) = -23*b - 21. Let c be d(2). Let w = 4/5047 + 1700819/25235. Let y = c + w. Which is bigger: 0 or y?
y
Suppose 281 = 59*x + 45. Is x at least as big as -26?
True
Suppose t - q - 30 = 0, 10*q + 120 = 4*t + 5*q. Suppose 2*h - 4*a + 26 = -h, -5*h + 4*a - t = 0. Which is smaller: -11 or h?
-11
Let h(j) = j + 9. Let o be h(-5). Let t(k) = k**2 - 3*k - 2. Let q be t(-2). Suppose q + o = -4*w. Which is smaller: -5 or w?
-5
Let n = -802 - -804. Let t(d) = d + 1. Let p(y) = y + 2. Let c(h) = 6*p(h) - 5*t(h). Let j be c(-6). Which is greater: n or j?
n
Let v = -47 + 139/3. Let r = 1/766 + -16091/3830. Which is bigger: v or r?
v
Let f = 0.16 - -1.24. Suppose 0 = -0*r + r - 26. Let c = -77/3 + r. Are f and c unequal?
True
Let v(y) be the third derivative of y**6/120 - 17*y**5/60 + 2*y**4/3 + 11*y**3/6 - 10*y**2. Let n be v(16). Let g = 24 + -13. Is n bigger than g?
False
Let q(b) = b. Let g be q(1). Suppose -v + 1 - 25 = 0. Let k be 4/(5*v/(-20)). Is g smaller than k?
False
Suppose 0 = -129*q + 127*q + 240. Which is greater: q or 116?
q
Suppose 32*b = 17*b + 45. Which is greater: -44 or b?
b
Let f = 17 + -44. Suppose p = -5*i - 12, -134 + 17 = 4*p - 3*i. Do p and f have different values?
False
Let z be (-2)/3 - 33/(-9). Suppose 3*u = -3*x + 9, 2*x + 3*x + u = z. Let d be ((-4 + -1)*1)/(56/16). Does d = x?
False
Let i = -272.0255 + 272. Is i greater than or equal to -0.1?
True
Let h = -181 - -157. Which is greater: 0 or h?
0
Let y be (0 - -1)*6 + (-26 - -23). Suppose c + 2*c = 6. Which is smaller: y or c?
c
Let f = 33 - 41. Let s(w) = -4*w**2 + 2*w - 1. Let b be s(1). Let d be 1/b*(f + -1). Are 3 and d unequal?
False
Let k(c) = -3*c + 8. Let h be k(-7). Let b = 19 - h. Let j = -10 - b. Is 0 <= j?
True
Let q(m) = -146*m