 = 2/29?
False
Let q be (-1 - 6/(-3))/((-7)/(-21)). Is 37/12 <= q?
False
Let x = -2247 + 83132/37. Which is greater: -1 or x?
x
Let t = -0.4 + 0.7. Let w = 0.032 + -12.032. Let j = w + 9. Which is smaller: t or j?
j
Let o = 43.1 - -11.9. Let v = o + -55.2. Which is smaller: 2 or v?
v
Let o = 1991/9 + -221. Suppose -r = -4*r + 9. Suppose 6 = -4*v - 0*v - r*f, -4*f - 8 = 3*v. Is o bigger than v?
True
Let u be (-3*(-3)/(-18))/((-1)/(-86)). Let f = 56 + u. Are 13 and f equal?
True
Let a(x) be the first derivative of x**3/3 - 8*x - 1. Let z be a(0). Suppose -28 = -213*o + 217*o. Which is greater: z or o?
o
Suppose 4*t + 9 = 6*t - u, 0 = 3*t + 2*u - 10. Suppose -2*x + 4*z + 43 = -z, -30 = -3*x - t*z. Is 14 <= x?
True
Suppose 4*s = 2*y - 3*y - 13, -4*y = -2*s - 2. Let l = -1 - y. Which is smaller: 2 or l?
l
Let s = -2561 + 2442. Is s < 4?
True
Let d = -3779/11 - -344. Let p(m) = -m**3 + 18*m**2 - 55*m - 15. Let x be p(14). Is d smaller than x?
False
Let n(s) be the first derivative of s**3/3 - s + 1. Let x be n(1). Is 2/9 at least x?
True
Let o = 32811/182 + -2586/13. Let f = o + 99/7. Is -4 at most f?
False
Let f(l) = -l - 2. Suppose 0*k + 12 = 3*k. Let t be 2/k*-4 - 3. Let h be f(t). Which is greater: 0 or h?
h
Let q(l) = -l**3 - l**2 - 3*l + 99. Let t be q(0). Is -0.2 less than or equal to t?
True
Suppose 2*f - 76 = 4*u, 0 = -5*f - 4*u + 263 - 101. Do f and 26 have the same value?
False
Let f(c) = -c**2 + 14*c + 8. Let t be f(12). Let j be (48/t)/(2/12). Let a be ((-40)/(-14))/((-2)/(-7)). Which is greater: a or j?
a
Let u = -55 - -61. Let c be 3 + -4 - (-5 - -3). Which is smaller: c or u?
c
Let g be (-9)/144*44/9. Is 1 less than or equal to g?
False
Suppose -5*x = 4*j - 92, 2*j + 5*x - 26 - 30 = 0. Is 17 not equal to j?
True
Let s be 142*2/(-152) + 2. Are s and -1 non-equal?
True
Let d = 491.93 - 492. Which is bigger: d or -0.34?
d
Let o be ((-4)/20)/(8/(-210)). Let b = 445/84 - o. Let r = -1 + 1. Is b less than r?
False
Let y be 10/(-24)*(0 - -3*9). Let b = y - -81/8. Is b less than -2?
False
Let g be 6477/34 - (1 + (-2)/4). Let r = -21091/111 + g. Which is bigger: 0 or r?
0
Let h be 1/(-1)*(-29)/(-116)*13. Suppose 0 = 3*s + s. Suppose -2*t + 2 = 2*f, s*t + 16 = 4*t. Which is bigger: f or h?
f
Let n = 156 - 137. Let p be n/6 - 7*8/28. Let g = 1 + -2. Which is greater: g or p?
p
Let r = 0.171 + 0.029. Is 48/7 bigger than r?
True
Let z(j) be the third derivative of -j**5/60 + 5*j**4/12 + j**3/3 - 4*j**2. Let x be z(6). Let g = x - 18. Are g and 8 nonequal?
False
Suppose 22 = 3*x - 2. Let k be (-1044)/60 - (-4)/10. Let q = 26 + k. Which is greater: x or q?
q
Let x = 13 + -27. Let t = -4.2 + -6.8. Let j = t - x. Which is smaller: j or 1?
1
Let j be (-4*(-2)/4)/2. Let p(h) be the third derivative of -7*h**6/120 + h**5/30 - h**3/6 - 5*h**2. Let q be p(j). Is -7 greater than q?
False
Suppose 0 = f + 4*f - 3*z - 7, -3*z = 3*f - 9. Suppose -2*o + 0*g = f*g + 6, o = 5*g + 15. Which is greater: -1/37 or o?
o
Suppose 5*z + 37 + 3 = 0. Let l(m) = 35*m + 134. Let p be l(-4). Is z < p?
True
Let l(b) = 15 + 8*b - 2 + b**3 - 9 - 7*b**2. Let p be l(5). Which is bigger: -8 or p?
p
Let g(i) = -2*i**2 - 28*i + 489. Let z be g(12). Let m be (-2)/4 + (-813)/6. Is z less than or equal to m?
False
Let y = 185/18 - 21/2. Let n = 18 + -4. Let o = 14 - n. Is o < y?
False
Let i be 1/3 - 4/(360/111). Let l = -21 + 20. Which is smaller: i or l?
l
Suppose -5*y + 0*p + 9825 = -5*p, 5*y - 9821 = p. Is 1965 < y?
False
Let g = 49123/666 + -119/222. Let b = 73 - g. Is -1 > b?
False
Let p be (-268)/(-52) - 6/39. Let b be (p/6)/((-13)/26). Let w be 3/(-6)*(-2 + 4). Is b at most w?
True
Let g = 25 - 13. Let i be 4 + 0 - g/(-6). Let s = i + -12. Which is smaller: s or -7?
-7
Let k be 36/(((-13)/(-26))/((-1)/(-2))). Let z be 12/5*(-480)/k. Is z at least as big as -33?
True
Let q = -731 - -733. Which is smaller: -1 or q?
-1
Let r(w) = -18*w - w**3 + 17*w**2 + 40 - 11*w**2 - 27*w**2. Let f be r(-20). Is -1/11 bigger than f?
False
Let i be 27*10/274 - 1. Let w = i - -436/11097. Is w greater than or equal to -1?
True
Let i(x) = 6*x + 16. Let k be i(0). Suppose 3*t - 3*w = 2*w - 34, -k = 3*t + 4*w. Which is bigger: t or -6?
-6
Suppose 0 = -4*x + x + 3*s + 57, 4*s + 61 = 3*x. Let f(z) = z**2 - 3*z + 14. Let h be f(0). Which is smaller: x or h?
h
Let y(h) = -2*h**2 + 2*h - 335. Let j be y(-21). Is j smaller than -1260?
False
Let t(u) be the third derivative of 7*u**6/60 - u**5/60 - u**2. Let d be t(1). Which is smaller: d or -0.1?
-0.1
Suppose 528 = -4*x + 228. Does x = -2/7?
False
Suppose -13 = -8*q - 13. Is 41 at least q?
True
Let c be 4 + (8 - 17) + 58/12. Is 7.2 at most as big as c?
False
Suppose 20 = 9*t - 43. Suppose -2*c - t = 5. Which is smaller: -5 or c?
c
Let b = 392 + -361. Is b less than 30?
False
Let f be ((-3)/(-25))/(1 + (-6)/10). Let m(n) = -n**2 - 10*n - 20. Let k be m(-6). Suppose -1 = -0*o - 3*o - k*r, -3*r + 5 = -2*o. Is f at most as big as o?
False
Let t = -440.1 + 440. Which is bigger: -418 or t?
t
Let h(w) = w - 4. Let z be h(5). Let d(x) = x - 5. Let u = 16 - 12. Let q be d(u). Is q >= z?
False
Let v(m) be the third derivative of -m**4/6 - m**3/3 + 13*m**2. Let u be v(-2). Let w be 7/2 - 1/(-2). Which is smaller: u or w?
w
Let k = -15.67 - -7.33. Let g = k + 8.7. Do 0.1 and g have the same value?
False
Let t = -55745/1414 - -276/7. Which is smaller: 0 or t?
0
Suppose -4 = -16*j + 12*j, -5*i - 19 = j. Which is bigger: i or -29/8?
-29/8
Let j(l) = -29*l - 202. Let t be j(-7). Which is smaller: 6/19 or t?
6/19
Let w = 0.4 + -0.2. Let a = 413/50 + -44/25. Is w at least a?
False
Let r be 12*(-5)/40*(-88)/(-6). Which is bigger: -31 or r?
r
Let z be 452/11 - (-10)/1100*-10. Is 32 smaller than z?
True
Let y = 801 + -794. Which is smaller: y or -1?
-1
Let y = -14.9 + 111.9. Let l = y + -57. Which is bigger: 0 or l?
l
Let r be (-5)/(-15) - (-1)/(-3). Let t be 4 - (r - (-524)/130). Which is smaller: 0 or t?
t
Suppose 0*m = 4*m - 20. Suppose -r + m*r = -16. Let a be r*(-3 + 1 + 3). Is -3 < a?
False
Let l be -4 - 1592*-3*11/13132. Which is smaller: l or -1?
-1
Let q = -12 + 25/2. Let g = 3048.4 + -3048.74. Which is smaller: g or q?
g
Let j(v) = 4*v**2 + 2*v - 1. Let w be j(1). Which is smaller: w or -1?
-1
Let g = 0 + 7. Suppose m = a + 4*m - g, -3*m = -2*a - 4. Let d = -3/209 - -21/19. Is d > a?
True
Suppose 0*v - 5*n + 59 = 2*v, 0 = 4*v + 3*n - 139. Is v smaller than 40?
True
Let p be ((-20)/22)/(380/(-2090)). Suppose 0 = -2*q + 5*n - 7, -n - 17 = -q - 4*q. Is p <= q?
False
Suppose 3*o + 90 = -3*b, -5*o + 57 = -b + 201. Let i = 40 + -69. Is i at least as big as o?
True
Suppose -3*d = -7*d - 4. Let g be ((-54)/132)/(-9)*9/(-9). Is d != g?
True
Let d = 66433/455 + -146. Is d > 0?
True
Suppose -670 = -3*m - 841. Is -61 bigger than m?
False
Let q = -19 - 8. Let c = 28 + q. Let p be 76/(-90) - (-4)/10. Which is smaller: p or c?
p
Suppose -t + 3*i = -7 - 4, 0 = -5*t + 5*i + 25. Is t less than or equal to -250?
False
Let d be -3*-1*(4076/(-1020) - -4). Is 0 less than d?
True
Let h = -10 + 10. Suppose t + 0*t = h. Suppose -2*m + t = -2. Is m < 1/6?
False
Let d = -1450.35 - -1450. Is 0 greater than or equal to d?
True
Let f be (21/6 + -1)*2. Suppose d + f = 10. Which is bigger: d or 3/4?
d
Let l = 643/2 - 5139/16. Which is greater: l or 2/5?
2/5
Let s = -110 + 110. Let i = -0.6 + -5.4. Is i less than or equal to s?
True
Let k be 29 + -27 - 8*1 - -484. Is k less than 475?
False
Let d be 7/(-5)*(-84)/196. Is -12 less than d?
True
Let d(s) = -s**3 + 10*s**2 - 10*s + 9. Let w be d(9). Suppose 2*u + 3 = -g - 8, w = -2*g - u - 10. Let m be g/(-9)*(5 - 0). Is m at least 1?
True
Suppose -5*u + 61 = -5*y - 124, -5*y + u = 193. Let m(q) = -40*q**2 + 1. Let z be m(1). Are y and z nonequal?
False
Suppose -2*k = 4*p + 6, 5*k + 0*k - 2*p + 39 = 0. Is 3 at most as big as k?
False
Let c = -2 - -2. Let k(y) = y**3 - 5*y**2 - 5*y + 2. Let s be k(6). Let n be 80/330*(-6)/s. Which is bigger: n or c?
c
Let r = -0.1 - 0.1. Let d = 57 + -59.2. Let w = d - r. Which is smaller: w or -7?
-7
Let g = 1.45 + 0.05. Let j = -0.5 - g. Is 6 not equal to j?
True
Suppose -4*k + 651 = -5*z, 4*k - z + 123 = 762. Which is greater: k or 155?
k
Suppose -539*i + 3 = -536*i. Which is smaller: i or 441?
i
Let v(m) = -m**3 + 24