)/(-4)*-2. Which is bigger: d or 0?
0
Let c(t) = t - t**2 + 3*t - 1 + 2*t. Let x be c(5). Suppose 0*k - 16 = x*k. Which is smaller: -3 or k?
k
Let f = -38589/10 + 7491/2. Let c = f + 113. Let o be -1 + (1 - (0 + -1)). Which is greater: o or c?
o
Suppose -2*i + 2 = 5*f - 11, -5*f + 5*i - 15 = 0. Let x be 4/3*(-15)/(-2). Let y be 4 - (2 - x/(-6)). Which is bigger: f or y?
f
Let y = -2 + 2. Let c = 0.033 + 3.867. Let p = c - -0.1. Which is bigger: p or y?
p
Let i be 4/(-5) - (-41)/70. Do 1 and i have different values?
True
Let n = 15 + -11. Let c = 5 - n. Is -1/4 greater than or equal to c?
False
Let m = -8049/7 + 1152. Is m <= 3?
True
Suppose -15 + 0 = -5*j. Suppose f - 11 = 5*z, j*f + 2*z + 0*z = -1. Let g be f/(6 + -3 - 5). Which is smaller: 2 or g?
g
Let n = -7.905 - 0.095. Which is greater: -1 or n?
-1
Let g be (2 - 4) + (-1 - -48). Let f be g/(9/3)*-1. Let i be (-6)/f - (-21)/(-15). Which is smaller: i or -2?
-2
Let m be 5*(-1 - (3 - (-56)/(-20))). Is -5 at least as big as m?
True
Let g(s) = -3 + 0*s**2 - 4 - 4*s**2 - s**3 + 3*s. Let f be 6/(-2)*((-140)/21)/(-4). Let p be g(f). Are 3 and p equal?
True
Let j be -2 + (597/(-10))/3. Let q = j + 22. Let r(w) = -w**3 - 4*w**2 + 1. Let a be r(-4). Which is smaller: a or q?
q
Let l = -593/22 - -55/2. Let d = 1 - 1. Let p(f) = f**3 - f**2 - f + 2. Let c be p(d). Is c at least l?
True
Let a(s) = -s + 10. Let l be a(13). Suppose -3*w - 4 - 8 = 0. Which is bigger: w or l?
l
Let p = 46.2 + -46. Is 2/53 bigger than p?
False
Let s = 2.3 + -2.4. Let o = 62/5 - 59/5. Does s = o?
False
Let u = -16.82 + 17. Let d = u + 0.02. Which is greater: d or -1?
d
Let j = 0.6 - 0.5. Is j != 4/5?
True
Let q(l) = l**3 + 4*l**2 + 2. Let c be q(-4). Suppose 0 = -c*n - f - 3, 3*f = -5 + 20. Which is smaller: -5 or n?
-5
Let d = -1973 + 17735/9. Let q = d - -16/9. Do -1 and q have different values?
True
Let t = 115/4 + -725/12. Let q be (-1)/(-6) + -5 + 221/6. Let m = t + q. Is -1 equal to m?
False
Let a be (-78)/27 - (-10)/15. Are a and -1 equal?
False
Let s = -43 - -45. Do s and 0.2 have different values?
True
Let o = -1552/99 + 159/11. Which is smaller: o or -2?
-2
Let z be 5/(-15)*(-3)/11. Let t be 0/1 - 6/(-6). Which is bigger: t or z?
t
Suppose 5*l = -3*p - 0*l + 5, -4*p + 16 = 2*l. Suppose 0*z = -p*z. Is -1/5 <= z?
True
Let c be 4 + (4 - 11) - 2/(-1). Is 2/7 not equal to c?
True
Suppose 9*l - 6*l + 57 = 0. Let x = -11 - l. Is x at most as big as 8?
True
Let z be 1/(14/(-12) - -1). Let r be 0*(z/4 - -1). Suppose r = -6*q + 3*q + 9. Which is smaller: 2 or q?
2
Let h = 74 - 39. Is 35 equal to h?
True
Let t be 29/(-2) + 6/4. Let g = t - -21. Which is smaller: 9 or g?
g
Let k = 2882/45 - 318/5. Is 0 not equal to k?
True
Suppose 3*y + 12 = 4*n, 5*y + 2 + 4 = 2*n. Let v = 7 - 12. Let h be 12/v + n + -1. Which is bigger: 0 or h?
0
Let m(z) = z**3 - 6*z**2 + 6*z - 3. Let i be m(5). Let d = -3 + 6. Suppose -3*u = -h + 6, d*u - 1 = 4*u. Which is smaller: i or h?
i
Let j = -0.025 - 0.075. Which is bigger: 2/45 or j?
2/45
Suppose 0*t = 2*j - 3*t - 33, -5*j - 2*t + 73 = 0. Let v be (-18)/j + 2/10. Does 2/15 = v?
False
Let q be 2 - (2 - (2 + -2)). Let v = 5/7 - 8/21. Which is greater: v or q?
v
Let p(i) = -i**2 + i + 12. Let u be p(0). Let n be 2/6 + (-2)/u. Are n and 1 equal?
False
Suppose -3*r + 6 = -r. Suppose -r*d = -d + 8, -2*d = g + 7. Which is smaller: -3/11 or g?
-3/11
Suppose 14 = -51*a + 58*a. Let p = 0.02 - 3.02. Is a not equal to p?
True
Let m be (-33)/55 - 34/(-90). Are m and 1 unequal?
True
Let z = -9 + 13. Let x = z - 2. Let u be (-1)/(-1)*(-2 + 3). Are u and x nonequal?
True
Let m(n) = -5*n**2 + n - 1. Let i be m(1). Which is greater: -4 or i?
-4
Let n = 21.49 - 0.49. Is 1 at least as big as n?
False
Let q be 1/5 - 104/20. Let l = q + 6. Which is smaller: l or 1/2?
1/2
Let a = -7.2 + 3.2. Let k = -5 + 1. Let s = a - k. Do s and 3/2 have different values?
True
Let u = -3 - -30. Let l = -53/2 + u. Which is smaller: -1/4 or l?
-1/4
Let v = -5 + 5. Suppose v = -b - 3 + 4. Is 1 greater than b?
False
Suppose u = -1 - 21. Is -22 less than u?
False
Let c be ((2/(-6))/1)/(10/(-30)). Are c and 15/7 non-equal?
True
Let o = -0.09 - -0.89. Let h = -1.2 - o. Let f = h + -3. Which is bigger: 2/3 or f?
2/3
Let v(y) = -1 + 2*y**2 + 3 - y**2 + 2*y. Let k be v(-4). Do k and 9 have different values?
True
Let r = -14.7 + 15. Is -7 > r?
False
Suppose 0 = 5*a - 4*z - 31, -17 = -2*a + 3*z - 6*z. Which is smaller: -1 or a?
-1
Let u(i) = i**3 + 7*i**2 + 6*i. Let d be u(-4). Let w be (51*(-8)/(-9))/(-2). Let s = w + d. Which is smaller: s or 1?
1
Let i(s) = 2*s**2 + 16*s - 20. Let w be i(-9). Which is bigger: w or -7/5?
-7/5
Let t = -4 - -4. Let y = 5 - 4.9. Let g = t + y. Is g < 2/5?
True
Let y(k) be the second derivative of -2*k**3/3 - k**2/2 - k. Let f be y(-1). Let t be -1 - (-2 + f/3). Which is bigger: t or -1?
t
Let u(w) = -w + 8. Let h be u(-7). Suppose -3*k + h + 15 = 5*i, 8 = k + i. Let c = 141 + -137. Which is smaller: c or k?
c
Let v(d) = -d**3 + 6*d**2 - 4*d - 7. Suppose 6 = 2*f, -5*f = -t - 0*t - 10. Let s be v(t). Let b be (s - (1 - 3))*1. Which is smaller: b or -2/3?
-2/3
Let z = 2 - 0. Let v(i) = 4*i + 1. Let f be v(z). Is f greater than 9?
False
Let v be 262/4 - 2/6. Let l = v - 65. Which is smaller: l or 2?
l
Let y = 3.26 - 20.36. Let h = y + 23. Let z = -6 + h. Is z at least as big as 1/3?
False
Let a = 17.5 - 20. Which is smaller: a or 0?
a
Suppose -b + 7 = -3. Suppose -v = -3*r + v + b, 2*v = -4*r + 4. Which is smaller: 0 or r?
0
Let b = -6.406 - -0.106. Let o = 6 + b. Which is smaller: o or 2/19?
o
Let v = 19 - 82. Let b = v - -443/7. Suppose 3*k + 3*c = 4*c + 1, 0 = 4*k + 4*c - 12. Which is smaller: b or k?
b
Suppose -4*d + 552 = -12*d. Is d != -70?
True
Let o be (3 - (-40)/(-12))/(-1). Are o and -1.9 equal?
False
Suppose 0 + 2 = m. Suppose 4*j - 3*j = -m. Is j <= -2?
True
Let b = -1.5 + -2.1. Let k = b - -4. Let l = k - 0.4. Is -1 greater than or equal to l?
False
Let m be 27/30*60/(-36). Which is smaller: 14 or m?
m
Let o = 1 + 1. Suppose -4*s + 5*w - 6*w + 10 = 0, 2*s - o*w = 0. Let j be (0/2 + 1)*1. Is j at least s?
False
Let b = -13 + 13. Suppose b = -6*c + 3*c + 15. Let x(m) = m**3 - 2*m**2 - 3*m + 4. Let t be x(3). Which is greater: t or c?
c
Suppose 0 = t + 3*r + 8 - 0, -4*t - 2*r - 2 = 0. Let s be (0 - -5)*2/(-95). Do t and s have the same value?
False
Let i = 5 - 6. Let t = 4 + -7. Let y = -3.1 - t. Are i and y non-equal?
True
Suppose -5*v = 3 - 63. Is 11 greater than or equal to v?
False
Suppose -5*m - 25*m = -30. Let q(l) = -l - l - l**3 - 3*l**2 + 0*l**3 - 4. Let y be q(-3). Which is bigger: y or m?
y
Let w be (-1 + 0)*(-19)/114. Is w not equal to 1?
True
Let x be (-16)/10 + 3/6 + 1. Let v be (6/10)/(0 - 1). Let f = v - x. Is f greater than -0.4?
False
Let n = 5 - 5.3. Is -3/8 bigger than n?
False
Suppose -23 = 5*a + 37. Let q(s) = -s**3 - 12*s**2 + s + 12. Let w be q(a). Which is greater: w or 1/9?
1/9
Suppose -4*i + 20 = i. Suppose 7 = i*g + 5*k, -g + k - 2 = -2*g. Let f(w) = -2*w + 3. Let v be f(0). Is v at least g?
True
Let a be -2 + 0/(1 + 3). Is a at least -2?
True
Let v = 1 + -7. Let c be 904/v*(-36)/34242. Let x = -2/439 + c. Which is smaller: x or 1?
x
Suppose 2*d = d + 1. Suppose 3*v - 2*v = 1. Is d != v?
False
Let g(m) = -5*m**3 - 8*m**2 - 14*m - 19. Let x(s) = s**3 - s**2. Let a(y) = -g(y) - 6*x(y). Let t be a(15). Which is smaller: -0.2 or t?
-0.2
Let b(o) = -o**3 + 7*o**2 - o + 6. Let h be b(7). Let y = -6 - h. Let a = y - -4. Does a = 1?
False
Suppose 22 = -2*c - q - q, q = -3*c - 23. Let n be c/33 - (-13)/11. Let t be 3*2/48*3. Is t less than or equal to n?
True
Let p = 23.38 - 0.38. Let j = p - 22. Let o = 2 + 5. Which is bigger: o or j?
o
Let m = -4 + 24. Suppose 3*j - j + 8 = -3*b, -4*j + 3*b = -m. Suppose -10 = j*f + 3*f. Which is bigger: -1 or f?
-1
Let s be 1 + (-5 + 7)*2/(-10). Is 2 bigger than s?
True
Suppose -4*y = 3*q - 231, -5*q - 15 - 14 = -y. Suppose -2*v - 5*j - 26 = -11, 0 = 4*v + 2*j + y. Is -15 at most v?
True
Let p be (1 - (-55)/(-35)) + (-85)/(-161). Is -1 less than or equal to p?
True
Let a(b) = b**3 + 11*b**2 + 10*b - 1. Let n be a(-10). Which is smaller: -3/5 or n?
n
Suppose 0*g = -4*g. Let s be 0 - g - 6/(-165). Let h = s - 59/110. Is h less than -2?
False
Let u = 