24
Suppose 0 = 5*u - 32*u. Suppose u = -8*m + 19 + 37. Which is greater: 17 or m?
17
Let c(m) be the first derivative of -m**3/3 - 4*m**2 + 19*m + 38. Let g be c(-10). Let o = 6 - 6. Which is smaller: o or g?
g
Let m be 4/(-6) - 531/(-27). Suppose -9*b + m - 1 = 0. Let u be 4/b + 36/10. Is 6 <= u?
False
Suppose 0 = 2*p + p - 2*m - 751, 243 = p + 3*m. Which is greater: -14 or p?
p
Suppose 2*w + 4*q - 64 = 0, 123 = -0*w + 3*w - 3*q. Suppose 36*l = w*l. Suppose -j - 8 + 1 = l. Is j <= -11?
False
Let s be (4 + 3 + 411)/2. Let t = -245 + s. Which is bigger: t or -41?
t
Let a(c) = -c + 92. Let r be a(12). Let l be ((r/(-24))/(-5))/((-8)/3). Is 1 less than or equal to l?
False
Let w be (6/(-2))/((-1)/11). Let i = -1604 + 1638. Which is smaller: w or i?
w
Let p be (50 - 52)/((-4)/114). Let q = 1636 - 1583. Which is bigger: q or p?
p
Suppose 1770 = -27*j - 147. Do j and -13 have different values?
True
Let b be (-1)/5 - ((-8152)/(-40) + -3). Let n be (-18)/(-8) - b/(-134). Is n smaller than -31/4?
False
Let r(t) = -t**3 + 6*t**2 - 4*t. Let g be r(5). Let p be (0 - -80) + (g - 1). Let o be (14/p)/(4/10). Is 1 less than or equal to o?
False
Let a = -75 - -89. Let b be -5 + 0 - 3388/a. Is b != -246?
True
Suppose 19780 = 23*b - 11615. Which is smaller: 1353 or b?
1353
Let g be 26/(((-3)/(-3))/3). Let r be 3/(-12) - (g/8 + 0). Let k be (2/r + 0)/(21/(-5)). Which is greater: -1 or k?
k
Let a(z) = 38*z + 218. Let f be a(-9). Let y = 35835/289 + f. Which is smaller: y or -1?
-1
Let v = 102488 - 66514694/649. Are 0 and v unequal?
True
Let g be (238 + -10)/2*(-75)/14. Let w = g - -611. Which is greater: w or -266?
w
Let x = 9557 - 6659. Is 2897 at least as big as x?
False
Suppose -28*p + 207 = -1389. Suppose 54 = -w + p. Which is smaller: w or 52/17?
w
Suppose 4*k = 6*k - 38. Let y = 46 - k. Suppose -p - 2*q = -4, 7*p - 3*q - y = 3*p. Do p and 2 have the same value?
False
Suppose 400*c = 397*c + 210. Let p be 2/(-8)*-20 - 346/c. Does p = 2/9?
False
Let v be (5/(-2155))/(3/1709). Let o = v - 5/431. Let z be (-3)/((2*1)/2). Which is bigger: z or o?
o
Suppose 51*u + 20*u = -59*u + 6110. Is 13 >= u?
False
Let t(c) = c**3 - 7*c**2 + 8*c + 9. Let f be (-2)/(-1) + (2 - (-2 + 1)). Let x be t(f). Let s be (14*x - -3) + 1. Which is smaller: -12 or s?
-12
Let l = -4451322/385 + 57816/5. Is 0 < l?
True
Suppose -136*a + 137*a = 2. Let w be (-36)/(-27) + a/(-6). Is -1/274 less than w?
True
Let a(g) = -g**2 - 169*g - 4743. Let p be a(-132). Which is smaller: 146 or p?
p
Let c = 45.559 + 1.141. Let v = 41.9 - c. Is 1 > v?
True
Suppose 0 = -6*d + 7*d - 4*h - 372, 3*h - 1161 = -3*d. Let l be (-2)/((1/15)/(6/d)). Is -1 < l?
True
Suppose -3*v + 9 = 0, 0 = -3*i + v - 0*v - 6. Let l be (2 - i)/(24/(-112)*-7). Suppose 0 = l*n + 107 + 35. Is n != -71?
False
Let i = 460.297 - -1.602. Let b = 0.899 - i. Which is smaller: b or 0?
b
Suppose 42 = 5*r - b, 22 = -r + 5*r + 5*b. Let p(g) = -g**3 + 6*g**2 + 20*g - 40. Let v be p(r). Which is bigger: v or -9?
v
Let m = -2828.83 + 2825. Are -4 and m non-equal?
True
Let o be ((-8721)/855)/(1 + (-288)/10). Which is greater: -1 or o?
o
Let x = -16619/62748 - 79/8964. Let a be 2*(-1)/(2*83). Let m = x + a. Which is smaller: m or 21?
m
Let y(c) = -5*c**2 - 124*c + 174. Let f be y(-26). Which is smaller: 486/25 or f?
f
Suppose -7 = -2*h + 9. Let b(m) = -m**2 + 2*m**2 + 21 - m + h*m - 59. Let c be b(-11). Is 5 at least c?
False
Suppose 4*r - 2 = l, -2*l - 2*l = -3*r - 31. Let t be (46/69)/(0 - l/3). Which is bigger: t or 0.25?
0.25
Let y(c) = -348*c + 1739. Let a be y(5). Are a and -2/8603 non-equal?
True
Suppose 1461 = 105*c - 103*c + a, -4*a + 2920 = 4*c. Is 732 less than c?
False
Let o = 328 - 283. Let g be (91/(-120) - 9/o) + 1. Is g bigger than 1?
False
Let b = -20497/20 + 1025. Let m be (-6)/10 - 46/(-10). Suppose -3*l - l = m. Do b and l have the same value?
False
Suppose -2*l - 1790 = -5*m, -10*l + 27*m - 30*m - 8950 = 0. Which is bigger: l or -894?
-894
Suppose 5*l + 3*v = 18, 3*l + v - 12 = -2*v. Suppose -s = -3*u + 4*u, -3*u + l = 0. Which is bigger: s or -3/76?
-3/76
Let f = -2098 + 2097.4. Are f and -0.17 non-equal?
True
Suppose 299 = 3*x - 133. Let n be (-866)/231*x/(-736). Let w = -1/161 + n. Is w greater than 2/5?
True
Let u be (11/(-66))/(1/(4/4055)). Let i = 141943/109485 + u. Let y = -2431/1917 + i. Is -1 < y?
True
Let k(w) be the third derivative of -w**5/15 + w**4/24 + w**3/6 - 76*w**2. Suppose 0 = -u - 3*u + 8. Let l be k(u). Is l <= -13?
True
Suppose -5*g + 4 = -3*w, 5*g + 0*w + w = 12. Let o be g/4 - 33254/52. Do -639 and o have the same value?
True
Let h = 27898.88 - 27899. Is 1036 at most as big as h?
False
Suppose 324 - 855 = v. Let a = 1592/3 + v. Let i = 0.3 + -1.3. Which is smaller: a or i?
i
Let g be (-3 + 2)/(10/(-20)). Let z(l) = -l**3 + l. Let h be z(g). Let y = -10 - h. Is y >= -2?
False
Let p = -671 + 670. Is p <= -125/151?
True
Let u = 13.1 - 11.1. Let n = u + -16. Let y = 2.5 - 0.5. Is n at least as big as y?
False
Suppose -5*g = -4*u - 17, 0 = 4*g + 2*u + u - 26. Suppose 5*i - g = 5*a, -8 = 2*a - i - 3*i. Is a equal to -2/37?
False
Let f be -10*((-1)/(14/4) + 36340/(-1288)). Is 270 at least as big as f?
False
Let n = -21357 + 21357. Which is bigger: -8137 or n?
n
Let h be ((-19)/2)/(33/66). Let q = 0.07 - -5.93. Which is smaller: q or h?
h
Let g be 74/((-2)/6*(-117)/78). Let a = g - 117. Which is smaller: 127/4 or a?
a
Suppose -4*m = -3*m + 24. Let c be 4/(-2) + m/(-9)*-3. Let f be ((-6)/(-10))/((-92)/c). Is -1 smaller than f?
True
Suppose 2*s - 24 - 29 = -5*a, a - 5*s + 11 = 0. Let l be (17 - a - 5) + 8/(-2). Which is smaller: l or 2/547?
l
Let c(s) be the first derivative of -13*s**6/120 + s**3/6 - 8*s**2 - 10. Let i(d) be the second derivative of c(d). Let l be i(1). Are -11 and l nonequal?
True
Suppose -151*y = -148*y + 732. Let k be 270/(-45) - y/(-2). Which is greater: k or -129?
k
Let p(b) = -7*b**2 - 38*b + 27. Let c(o) = 11*o**2 + 57*o - 40. Let y(k) = 5*c(k) + 8*p(k). Let j be y(-19). Suppose j*u = 7*u - 270. Is -30 > u?
False
Let v(u) = -104*u**2 - 121*u + 755. Let j be v(6). Which is greater: j or -0.1?
-0.1
Let q = -11.7 - 47.3. Let r = -1053 + 979. Let x = r - q. Which is smaller: x or 2?
x
Let c = 0.1101 + -0.17659. Which is smaller: c or -0.2?
-0.2
Suppose 0 = -2*m + 206 - 190. Suppose m*q - 42 = -6*q. Which is smaller: 5 or q?
q
Let l be 4/14 - 73051/(-77). Let r = -397 + l. Let h be r/1440 - 1/4. Which is greater: 1 or h?
1
Let x(i) = -11*i**2 - 20*i**2 + 9*i**2 + 31 - 9*i + 9*i**2 + 2*i**2 - i**3. Let v be x(-10). Which is greater: v or 112/5?
112/5
Let r be 36/27 - (-1)/(-3). Let t = -131489/58 + 2267. Is t >= r?
False
Let v = 5629 - 7707. Which is smaller: v or 3?
v
Let g = -376 - -450.8. Let b = 0.8 - g. Let m = b + 74. Is 1/21 >= m?
True
Let z(v) = 4*v**3 - 41*v**2 - 49*v + 172. Let y(t) = -2*t**3 + 21*t**2 + 24*t - 85. Let j(f) = 13*y(f) + 6*z(f). Let x be j(14). Is x greater than -117/7?
False
Let i = -105 + 152. Suppose 2*l = i + 97. Let q be ((-511)/4)/(1134/(-648)). Which is bigger: q or l?
q
Let k(a) = a**3 - 16*a**2 - 16*a + 22. Let j be k(17). Suppose 0 = u + f - j, 0 = -3*u - 2*f + 121 - 0. Let x = 17 - u. Is -26 < x?
False
Let f = 18658/3 - 6351. Let s = f - -29239/222. Which is greater: s or 1?
1
Let i be (-1)/(-2) - -1*1/(-2). Suppose -2*b - 36 = 4*d, i*b - 2*d = -4*b - 32. Suppose 8 - 28 = -5*k. Which is bigger: b or k?
k
Let g(t) = 415*t + 2978. Let d be g(-17). Which is smaller: -4078 or d?
-4078
Suppose 3*n - 9 = 6. Let y = -5 + 10. Suppose y*x = 2*x + 6. Are x and n non-equal?
True
Let b be 1 - (6/(-2))/((-6)/4). Let t be (168/(-138))/(b - -3). Is t at most -2?
False
Let v be (2/(-8))/(3/4). Let y be -10*(-2685)/(-2550) + 13. Is y >= v?
True
Suppose -9 + 4 = 5*m, 199 = -15*p - 4*m. Is -203/16 not equal to p?
True
Let q(s) = 2*s**2 + 36*s + 163. Let d be q(-9). Is 12/607 not equal to d?
True
Let y(c) = c**3 + 8*c**2 - 10*c - 4. Let w be y(-9). Suppose -12 = -8*t + 28. Suppose w = 2*b + t. Is 4/45 less than or equal to b?
False
Let o = 3662962/685321 + -636/119. Are o and 0 nonequal?
True
Let u be -54*(38/28 - (-3)/21). Which is bigger: -65 or u?
-65
Let z be 12/2 - 104/13. Let t(h) = 9*h**2 - 20*h**2 + h**3 + 2*h + 7*h**2. Let m be t(3). Which is bigger: z or m?
z
Let u(l)