h is smaller: -1 or c?
c
Suppose -964 = 6*y - 250. Is -119 equal to y?
True
Suppose -36*r = -35*r - 6. Let m be (-801)/(-2376) + (-2)/r. Is m greater than 0?
True
Suppose -6*l + 1359 = 915. Is l < 74?
False
Let q = -172 + 176. Let y(j) be the first derivative of -j**4/4 + 3*j**3 + 11*j**2/2 - 5*j + 3. Let m be y(10). Is m greater than or equal to q?
True
Let p(j) = 13*j + 39. Let x be p(-3). Is x at most -1/162?
False
Let w(y) = y**3 + 8*y**2 + 13*y + 10. Let x be w(-6). Let u be (-5 + x)*2 + (-61)/(-29). Which is bigger: -1 or u?
u
Suppose n - 3*c = 10, c + 10 = -0*n + n. Let b = 10 - n. Which is greater: b or 15?
15
Let b(x) be the third derivative of x**6/120 + x**4/24 - 11*x**3/3 - 5*x**2. Let d be b(0). Which is smaller: -24 or d?
-24
Let t(o) = -7*o + 6. Suppose -31*a + 23*a = -56. Let r be t(a). Are -43 and r nonequal?
False
Suppose -r - r + 3*q = -5, 0 = -4*r - 3*q + 1. Let a = 18527/41180 - -1/10295. Is a less than or equal to r?
True
Let a = 95 + -17. Let c = 68 - a. Is c at most as big as 0.04?
True
Suppose -2*r + 3*i + 8 = 0, -2*i - 6 = -3*r + i. Is -12 <= r?
True
Suppose 5*v + 552 = -4*s, -s = 5*v - v + 149. Let l = s - -144. Which is greater: l or 10?
l
Let w(t) = -t + 8. Let v be w(4). Suppose 4*q = 2*q + 4. Let i = v - q. Which is smaller: i or -1?
-1
Let r = 30.47 + -15.77. Are r and 1/3 nonequal?
True
Let n(h) = -4*h + 4. Let v be n(-3). Suppose 3*j - 2*l + 14 = 0, 0*j + 2*j - 3*l + v = 0. Let c(i) = -i + 1. Let m be c(4). Which is greater: j or m?
j
Let m be ((-33)/9)/((-2)/6). Which is greater: m or -3?
m
Let m(g) be the second derivative of g**4/12 - g**3/3 - g**2 + g. Let j be m(3). Let r = j + -7. Is -6 less than r?
False
Let l = -268 + 791/3. Which is smaller: l or -4?
l
Let c be 5/(120/(-2068)) - 6/(-4). Let d = 84 + c. Let t = 4 + -3. Which is smaller: t or d?
d
Let g = -1071 - -1071.19. Is g at most -1.4?
False
Let g = 2451 + -2451. Which is bigger: g or 1/1577?
1/1577
Let w = -35 - -38. Suppose -5*a + 4*y + 94 = 19, 0 = -a - w*y + 34. Which is bigger: a or 20?
20
Let m = 265 + -275.7. Let s = -10.41 - m. Do 0.2 and s have different values?
True
Suppose -17*x - 20 = -13*x - 4*j, -5*j = 4*x - 16. Let o = 1/2270 - 927/43130. Do x and o have the same value?
False
Suppose 0 = 6*j - 0*j - 12. Let c be j - (-24)/(-10) - 16/(-90). Is c smaller than 1?
True
Let d = -133 + 152. Suppose 0 = c + 18*c - d. Which is bigger: 2/191 or c?
c
Let m = -45 + 44. Let j be (-6)/15 + m + 1. Which is smaller: -19 or j?
-19
Suppose -2*u = 3*s - s - 6, -4*s = u - 15. Suppose 0 = -2*n + 6, 2*v - 5*n = s*v - 23. Suppose -v*p = -33 + 129. Is -24 bigger than p?
False
Suppose 0 = 5*q - 3*f + 5, -11 = -q + 3*q - 3*f. Suppose 10*u = -5*j + 5*u, q*u + 2 = 0. Let a = 0.3 - 0.34. Is a greater than j?
False
Suppose -4*k - 3*s = 0, 2*k + 3*k + 3*s = 0. Let h be (-4978)/60 - (-1)/(-5). Let l = h - -83. Which is greater: l or k?
k
Let w be -14*-1*(-15)/30. Suppose 5*z + 30 = -0*z. Which is smaller: w or z?
w
Let o be (9 - 9)/(-8) + 1/(-258). Which is greater: o or -1?
o
Let h = -1365 - -1364. Which is smaller: -1387 or h?
-1387
Let j(q) = 8*q + 15. Let d(i) = -4*i - 7. Let o(v) = -5*d(v) - 2*j(v). Let f be o(-2). Let t be 648/(-228) - f*1. Is 1 at most t?
False
Let v(a) = -a. Let l be v(4). Let u(x) = x**2 + 2*x + 8. Let z be u(-12). Let c be l/10 - z/(-70). Which is smaller: 1 or c?
1
Let n = -26 + 37. Let p be (-2)/((-13)/n - -2). Which is smaller: -1 or p?
p
Let n be 332/18*2/(-4) + 4. Which is smaller: n or -6?
-6
Let o = -0.0146 + -41.2854. Let f = o - -41. Let g = 0.1 + 0.1. Which is greater: g or f?
g
Let k = -45 - -49. Is 1 not equal to k?
True
Let i be (-22)/18 - ((-174)/54 - -3). Which is greater: 1/33 or i?
1/33
Let h = 8 - 7.5. Let o = h - -4.8. Let d = o - -1.7. Which is greater: -0.1 or d?
d
Suppose -4*o + 2*n + 2 = -0, -3*o = -4*n + 1. Let d be (3 - (-3076)/(-987)) + (-320)/(-3360). Is o greater than or equal to d?
True
Let k = 1198 + -1199. Let w = 3.9 + -1.7. Which is greater: k or w?
w
Let l = -711 + 733. Which is greater: l or 10?
l
Let s = 59766/67 - 892. Which is smaller: s or 0?
0
Let q = -1965.2 - -1965. Is q at most as big as -19/32?
False
Let p = 980 - 1635. Is p at least as big as -656?
True
Suppose -28*j + 23*j = 0. Suppose -i + 5 = -j. Suppose 0*c - 12 = -3*c. Is i less than or equal to c?
False
Let s = -118 + 597/5. Let d = -77.8569 + 0.0569. Let h = d - -78. Which is smaller: s or h?
h
Let w be 3/(24/(-4 - -8)). Which is greater: w or 0.006?
w
Let a(d) = 3*d + 11. Let i = -156 - -171. Let l be a(i). Is l at most 55?
False
Let g(w) be the first derivative of -w**4/4 - 8*w**3/3 - w**2/2 - 7*w - 8. Let i be g(-8). Is i < -2/5?
False
Let t(h) = h**3 + 15*h**2 + 15*h + 11. Let r be t(-14). Let k be (0 + 0)*(-4 - r). Let v be 1/(3 + -4) + k. Are -4/9 and v unequal?
True
Let p = -7 - -18. Suppose p = -h - 5*o, -o - 8 = 3*h - 3. Which is bigger: h or -1/5?
-1/5
Let j(x) = 6*x + 4. Suppose -12 = k + 2*k. Let o be j(k). Let d be 52/(-110) - 4/o. Which is smaller: -1 or d?
-1
Let t = -47 + 53. Suppose d - t = -24. Which is smaller: d or -20?
-20
Suppose 5*y + 9*k - 12*k = -23, -2*y - 4*k = 4. Which is greater: y or -37?
y
Suppose -15 = -2*m - 3*m. Let g be 2 - (-6)/m - 2. Suppose 3*h - r = g, 0 = 4*h - 4*r - 4 - 4. Which is greater: 6/13 or h?
6/13
Let k = 301 + -355. Is 1 >= k?
True
Let x be 3/(-2)*52/(-9). Suppose -378 = -11*f + 128. Suppose 0 = -f*j + 45*j + 8. Is x smaller than j?
False
Let d(u) = -2*u**3 + 33*u**2 + 36*u - 1. Let s be d(17). Which is greater: s or 323?
323
Suppose 0 = -6*v + 3*v + 15. Suppose -v*k + 2 + 18 = 0. Suppose -w - 3*i + 10 = -k*i, 22 = w + 5*i. Which is smaller: 13 or w?
w
Suppose -j - 5*u + 15 = j, 0 = -u + 3. Is j less than or equal to -31/30?
False
Let n = -231 + 232. Which is greater: 3/8 or n?
n
Let s be (-130)/(-18) - 106/477. Let b(v) = 2*v**2 - 3*v + 2. Let n be b(2). Let d be 2*4/(n/3). Is d < s?
True
Suppose 3*w - 21 = -9. Suppose -w*c - 76 = -4. Is -2 <= c?
False
Suppose 0*p + p + 214 = -5*y, 167 = -4*y - 5*p. Are 0.2 and y non-equal?
True
Let k = -2117 + 2135. Is 0.5 greater than k?
False
Let z(q) = q**3 + 5*q**2 + 2*q - 2. Let p be z(-4). Suppose -p*t = -t + 30. Let s be t - (-3)/(-1)*-1. Is s at most -5?
False
Let v = 2158/3 + -719. Which is bigger: v or 2?
2
Let g = -2750 - -1880. Is g greater than -868?
False
Let k(j) = -7*j + 4. Let i(y) = -1. Let p(d) = i(d) - k(d). Suppose -4*u + 4*g = -16, 2 = -u - 3*g - 2*g. Let f be p(u). Is 15 != f?
True
Suppose 8*c - 119 - 25 = 0. Is c >= 4?
True
Let f be 4/18 - 1*4/18. Suppose 4*r = 4*u - 2 + 6, -r + 5*u - 19 = f. Let n(o) = -4*o - 2. Let q be n(-2). Is r equal to q?
True
Suppose 3*g - 17 = 61. Suppose -28*f + g*f = 0. Which is smaller: 6/25 or f?
f
Let j(r) = 4*r - 3. Let u be j(2). Suppose -4*f + 2*d = 0, -2*f + 10 = u*d - 14. Let c be f/7 - (-20)/(-35). Are c and 1 equal?
False
Let a = 13.1 - 0.1. Let m = 13.18 - a. Let k = -0.16 + m. Are k and -0.1 unequal?
True
Suppose y = -0*z + 4*z - 10, z = -3*y - 17. Let p = -31 + 21. Are y and p non-equal?
True
Let z = -4 - -3.8. Let c = z + 0.35. Is 0.1 >= c?
False
Let k = -36.9 - 5.1. Let r = k + 41.9. Which is bigger: 17 or r?
17
Let z(q) = q**3 - 9*q**2 - 10*q - 4. Let k be z(10). Let d be -1 + (k - -3) + -1. Let r be (5 + d)/(2/4). Is r less than or equal to 18/5?
False
Let p(i) = i - 7. Let c be p(13). Let o = c + -11. Is -5 bigger than o?
False
Let h = 25.463 + -25.5. Which is smaller: h or -1?
-1
Let y = -74.6 + 72. Let w = y + 2.7. Which is bigger: -0.16 or w?
w
Suppose 15 = -5*d, -s = 4*d - 3*d + 7. Let r = 186 + -190. Is r greater than s?
False
Let i = 0.178 + 135.822. Let w = 128.7 - i. Let v = -7 - w. Is -1 < v?
True
Let v = -2029 + 2029. Suppose 2*u + 0*u - 10 = 0. Which is smaller: v or u?
v
Suppose 0 = -2*n - 2*n - 40. Let q be ((-1)/(-3))/(n/(-30)). Which is smaller: -0.06 or q?
-0.06
Let i(q) = -q**2 + 10*q - 7. Let h be i(8). Let y be 0/1 + (-9)/(h/2). Are y and -6/7 equal?
False
Let k = -78 + 77. Is -1 less than or equal to k?
True
Let p be (57 + 5)/(6/9). Let d = p + -90. Which is smaller: 0.17 or d?
0.17
Let b = -2027 + 2086. Does b = -4?
False
Let y = -0.486 - 3.514. Let x = 1 + -1. Is y >= x?
False
Suppose 3*s = -0*s. Suppose n - 5*l - 115 = s, -4*n - 3*l + 438 = -l. Which is 