?
False
Let a(s) = s**3 - 12*s**2 + 13*s - 9. Let d be a(11). Which is greater: d or 15?
15
Let b = 14 + -14. Let t = b - 1. Do t and -3/11 have different values?
True
Let q be (-2)/3 + 44/(-33). Let m be 4 - (q/(-2) - -1). Is 2 at least as big as m?
True
Let q(u) = u**3 + 9*u**2 + 3. Let l be q(-9). Suppose d + 10 = 5*h, -4*d - 4 - 6 = -5*h. Are l and h unequal?
True
Let v = 149 + -151. Let d = -1 + -1. Is d != v?
False
Let i = 3 - 4. Let a be 2/4*(4 - 6). Is i at most a?
True
Let c be (-6)/27 - (-6)/(216/17). Suppose 4 = -v + 6. Is c at least as big as v?
False
Let d = 2 - 1. Which is smaller: 2/3 or d?
2/3
Let i(l) = -l - 3. Let y be i(2). Are y and -5 unequal?
False
Let c = -28 - -419/15. Which is smaller: c or 0?
c
Let m = -3.2 - -3. Let c = -0.07 + 0.02. Let s = c - -0.05. Is s less than m?
False
Let w(v) = -v**3 + 2*v**2 + 7*v - 5. Let u be w(4). Let z be u/(-1 - -1 - 2). Let n = -5 + z. Which is smaller: n or -1?
-1
Let h(b) = -2*b + 17. Let j be h(10). Let c(k) = -k. Let z be c(3). Is j <= z?
True
Let y = 0.02 + -1.02. Let r = -0.6 - -3.6. Let f = 3.2 - r. Which is greater: y or f?
f
Let q be (3/(-2))/((-1)/(-2)). Which is bigger: -1 or q?
-1
Let j be ((-2)/4)/((-12)/(-160)). Let x = -6 - j. Which is smaller: x or 10?
x
Suppose 0 = -8*s + 3*s - 40. Let h(k) be the second derivative of -k**5/20 - 2*k**4/3 + 2*k. Let x be h(s). Is -3 greater than or equal to x?
False
Suppose 4*m = -m - 320. Which is smaller: m or -65?
-65
Let n = -22 + 21. Which is greater: 0.7 or n?
0.7
Let z = 1.52 - 1.6. Which is smaller: 0 or z?
z
Let y = -6 - -8. Let r(i) = -i**3 + 16*i**2 + i + 7. Let g be r(15). Let k = 1735/7 - g. Which is greater: y or k?
y
Suppose -4*i + 0 = -16. Suppose 2*c + 2*c = 3*x - 14, -i*c = -2*x + 12. Which is greater: c or -14/9?
-14/9
Let o = 469/10 + -91/2. Is o smaller than 2?
True
Let u = 115 - 115.023. Is -1 at least as big as u?
False
Let t be (5/((-180)/16))/6. Which is greater: -0.4 or t?
t
Let u = 10 + -18. Do u and -6 have different values?
True
Let x be -1 + 1*(-3)/1. Let b be (4/16*0)/2. Suppose 4*k + b*k + 4 = 0. Is x equal to k?
False
Let t be 8/(-3)*15/4. Let m(a) = -a**3 - 9*a**2 + 10*a + 1. Let d be m(t). Let f be (-2)/(-3) - (-4)/3. Which is greater: d or f?
f
Let s be 20/30*(0 + 1). Is -13 equal to s?
False
Let w be 18/(-45) + 2/(-30)*-1. Which is smaller: -0.26 or w?
w
Let m be (-7 + 2)*((-5)/(-5))/(-1). Which is greater: -1/18 or m?
m
Let b(o) = -14*o - 2. Let d be b(-2). Let u be d/3 - 4/6. Let k be u/20 + (-34)/10. Do -2 and k have the same value?
False
Let v(i) = -i + 2. Let c be v(-2). Suppose 4 = c*r - 8. Suppose 3*w + 6 = -3*f, w - r*w - 4 = -5*f. Which is greater: f or 1?
1
Let t = -8538121/35 + 243966. Let m = 97/5 - t. Suppose 0 = 4*w + 4. Is w > m?
False
Let h(m) = m**3 + 3*m**2 - 5*m - 4. Let y be h(-4). Let b = -488/15 + 162/5. Is b less than or equal to y?
True
Let m be -5*(-3)/(-4) + 0. Are -3 and m nonequal?
True
Let t = 1881.91 - 1874. Let n = t + 0.09. Let o = n - 8. Is o less than or equal to -1?
False
Suppose -5 = 4*z - 3*w - 1, 5*w - 12 = 4*z. Let y be ((-1)/(-1) - z)*-1. Let l be 6/(-21) - (-94)/84. Which is greater: l or y?
y
Suppose -2*m + 35 = -5*d, -m = -2*m + d + 10. Suppose 10*j - 25 = m*j. Which is bigger: -0.1 or j?
j
Let u = -0.26 + -9.74. Let f = u - -9.8. Is -1/3 smaller than f?
True
Let j be -15 - (6/(-24))/((-4)/32). Do j and -1 have the same value?
False
Let l be ((-111)/(-54) + -2)*(-6)/12. Let x(m) = -m**2 + 6*m + 8. Let u be x(7). Which is smaller: u or l?
l
Let k be -3 + 3 - (-2)/2. Let l = 23/20 + -7/20. Is k <= l?
False
Suppose -3*c = s - 6 + 26, -2*c - 5*s - 22 = 0. Let j = -9 - c. Are -3 and j nonequal?
False
Let g = -28.9 + 24. Let k = -0.9 - g. Is 1 less than k?
True
Let n = 11487/4 - 2886. Is n < -13?
True
Let a = -299/330 + 4/55. Which is bigger: 0 or a?
0
Let x = -205 + 161. Which is smaller: -134/3 or x?
-134/3
Let q = 35864 + -51483. Let s = q - -109668/7. Let k = s + -48. Is 1 > k?
True
Let p = 45 - 136/3. Is p < 2?
True
Suppose -3*v + 2 = -7*v + 2*r, 4 = -4*r. Which is smaller: v or 2/15?
v
Let s = -20 + 28. Let n = -4 + s. Does n = -1?
False
Let g be (-6)/18 - 2/30. Which is greater: 1 or g?
1
Suppose 4*y - 3 = -7, l + 5*y = 0. Suppose -t - t + 4 = -o, -4*o = -l*t + 13. Which is smaller: -3/7 or t?
-3/7
Let h be 6/(-14)*10/15. Are 1 and h unequal?
True
Let r = 46 - 47. Are r and -7 nonequal?
True
Let v = 20 + -20. Let n be ((-3)/(-9)*v)/2. Which is smaller: n or -1/5?
-1/5
Let v(q) = -2*q + 11. Let i be ((-10)/2)/(2 + -3). Let n be v(i). Are 3/8 and n nonequal?
True
Let n = -1.6 + 0.4. Let d = n + 0.5. Let o = d - 0.3. Is o smaller than 0.6?
True
Let j = -11 + 15. Is 2 at most as big as j?
True
Suppose 2*p + 0*p = 0. Let a = 48 + -50. Are p and a non-equal?
True
Let q = -1003/14 + 72. Is 0 at least as big as q?
False
Let t be -5*(4/10 + 0). Let j be t/(4/(-2))*-1. Are j and -1 equal?
True
Let i = 34 + -26. Do i and 7 have different values?
True
Let k be (18/(-56))/((-9)/(-6)). Is 1 less than or equal to k?
False
Let y = 3/20 - 11/20. Is y bigger than -27?
True
Let g be (-101)/(-9) - (-2)/(-9). Which is greater: 10 or g?
g
Let i(h) = -h**2 - 3*h. Let y be i(-2). Let v(o) = 4*o**3 - 2*o + 1. Let q be v(1). Is q at least as big as y?
True
Let p = -0.09 + -0.01. Are p and 16 nonequal?
True
Let s be (0 - -1)/((-1)/(-4)). Suppose 0*p + 4 = -s*p. Let r be ((-30)/(-75))/(-17*1/5). Which is greater: p or r?
r
Let q(v) = v**3 - 14*v**2 + 13*v - 1. Let w be q(13). Does w = 3/23?
False
Let i = -3.02 + 3. Let p = i + -0.18. Which is greater: p or 0.2?
0.2
Let w = 10 - 7. Let v(k) = 2*k - 4. Let l be v(w). Suppose -4*m = -3*t + 6, 6*t - 8 = l*t. Is m bigger than -1?
True
Let z = -15 - -14.9. Let v = -1 + 1. Let l = z - v. Are l and 1/2 non-equal?
True
Suppose 23*j = 22*j - 1. Is j at least as big as -1/110?
False
Let x be 4 + 2*(-9)/6. Is x greater than 4?
False
Let p(z) = -z**3 + 4*z**2 - z - 4. Let s be p(3). Which is greater: s or 2/5?
s
Let s be (2 - 3) + 9 + 2. Suppose -2*i + s = -3*t, -2 = 4*t + 14. Let o be (4 - 3)*1*i. Which is greater: o or 0.1?
0.1
Let p = -2 + 7. Let m be -1 - ((-3)/4 + 252/(-48)). Is m <= p?
True
Let d = -2 - -2. Let j = 0.35 - 0.45. Which is smaller: d or j?
j
Let a be (-52*((-6)/(-4) + -2))/11. Does 1 = a?
False
Let k = 8 - 3. Suppose -f = -k*f. Do f and 2 have different values?
True
Let l be (-5 - -10) + 400/(-95). Which is bigger: 0 or l?
l
Let g = -4 - 0. Does -5 = g?
False
Let h(r) = r**3 - 6*r**2 - r + 3. Let i be h(6). Let d = -8 - i. Does d = -5?
True
Let y be ((-8)/3)/(26/(-39)). Is y bigger than 8/3?
True
Let i be (-5 - 2/(-1)) + 104/(-48). Which is smaller: -6 or i?
-6
Let y(f) = -4*f - 36. Let a be y(-9). Is -6/35 >= a?
False
Let s be 0 - (2 - (-22 - 1)). Let p = s - -17. Is p greater than -7?
False
Let t = -7 + 14. Suppose -2*p = -5*s + t, -2*p + 4*p + 5 = 3*s. Is p equal to 0?
False
Suppose -8*s + 8 = -24. Is 5 less than s?
False
Let c be 1/(-2) + 15/10. Let k be c - ((-8)/5)/(-1). Suppose 7 - 1 = -2*u + o, 0 = 5*u - 2*o + 13. Which is bigger: k or u?
k
Suppose -2*q - 5*d = 15, 5*q - 4*d + 49 = -5. Let u = q - -5. Let j be (2/8)/(u/(-5)). Which is greater: -1 or j?
j
Let r(o) = o**2 + 7. Let c be r(0). Let l = 6 - c. Is l < 1/17?
True
Let k = 4 + -14. Let z = -6 - k. Is z >= 4?
True
Let w = -2 - -5. Suppose -6*y + y - w*a = -5, -24 = -y + 4*a. Let o = y - 5. Is o at least as big as -3/5?
False
Let r = 4.7 - 5. Let p = 3 + -2.6. Let f = p + r. Is 0.1 >= f?
True
Let v(o) be the first derivative of o**4/2 + o**3 - o**2/2 - 2*o - 3. Suppose -5*i - 4 = 6. Let g be v(i). Is -3 greater than or equal to g?
True
Let m(h) = h**3 + h**2. Let p be m(0). Let u be 10/(-6) + (-2)/6. Is u > p?
False
Suppose 10 = -27*k + 32*k. Which is smaller: k or 15/13?
15/13
Let h(d) = -d**3 + 9*d**2 + 2*d - 13. Let q be h(9). Suppose -q*w = -3*z + 7 - 1, 0 = 5*w. Suppose z*f + 2*f + 4 = 0. Is -2/3 < f?
False
Let f = 0.1 + -0.08. Let k = 0.02 - f. Which is smaller: k or 1/4?
k
Let t(n) = n**2 - 4*n - 12. Let d be t(6). Let k = -14/17 - -16/17. Is k != d?
True
Let r be (18 - 16)*(-2 - -1). Is r bigger than -8?
True
Let h(x) be the first derivative of -x**3/3 - 3*x**2/2 - 3*x + 1. Let d be h(-3). Which is smaller: d or -4?
-4
Suppose -4 = -3*a + 5. Suppose 1