 - 0.052. Does s = 11?
False
Suppose 0 = -4*p - r + 24, 0 = -4*p - p + 4*r + 9. Suppose 7*i - p*i = 6. Suppose -330 = 9*o - i*o. Which is smaller: o or -56?
-56
Suppose 2*o + 18 = -0. Let n(a) = 1224*a - 8584. Let t be n(7). Is o smaller than t?
False
Let y = -4028393419/73073 + 716674/13. Let n be 3/((-7227)/15)*(-2)/5. Let o = y + n. Is -8 equal to o?
False
Suppose -2*q - 4*j = -0*q - 66, 0 = q + j - 36. Let f = -51 + q. Let s = 10 + f. Which is greater: s or -9/11?
-9/11
Suppose -9 = -4*a + a. Suppose -a*g - 89 = 13. Let o(h) = -h**3 + 5*h**2 + 83*h - 22. Let l be o(12). Are g and l unequal?
False
Let v be (-28)/(-26) + 1 - 2. Suppose -23 = -r + 2*q, 2*r - 4*q - 75 = -r. Let x = -28 + r. Which is greater: v or x?
x
Let k = 72 + -64. Let l(h) = h**3 - 6*h**2 - 14*h - 11. Let j be l(k). Suppose 45 = -3*f + 5*o, j*o + 15 = -6*f + 3*f. Which is smaller: f or -12?
-12
Suppose -90*v + 89*v + 4 = 0. Let m be v/(-24)*-6 + -2. Is -3/340 equal to m?
False
Suppose 10 = 5*p, 12642 = l - 0*l - 4*p. Suppose 0 = 8*r + 42*r - l. Is r > 252?
True
Let u(y) be the second derivative of -y**4/12 - 2*y**3/3 + 5*y**2 + 18*y. Let z be u(-5). Suppose -z*h + 28 = 8. Is 14/5 at least h?
False
Let l = -345 - -334. Let u = -574 + 576. Is u >= l?
True
Let x = -0.48 + -0.132. Let o = -0.56 - x. Let c = o + 2.848. Which is bigger: c or 0.1?
c
Suppose -3*z + 5*z = 4*n - 94, -2*z = 6. Suppose u - n = 4*c + 8, -u + c + 21 = 0. Is u less than 18?
False
Suppose 0 = -5*k + 5*q - 30, -22*k = -20*k + q. Suppose 3*g = -r + 38, -2*r + g = -g - 100. Is r at least as big as k?
True
Let i = -48 - -50. Let t be (-10)/i + (-55)/(-10). Let m = 144 - 73. Which is smaller: m or t?
t
Let g be 3/(-3)*1*-3. Suppose 0 = -2*p - g*l + 10, p + 3*l - 5 - 6 = 0. Let s = 746/5 + -149. Is p smaller than s?
True
Let i(a) = -31*a - 74. Let s be i(-7). Let w = 138 - s. Is -11/3 bigger than w?
True
Let h(u) = 4*u**2 + 58*u + 349. Let y be h(-5). Which is greater: y or 157?
y
Let m = -236 + 238. Suppose 0 = 2*y - 5*y - 2*q - 13, -2*q - 8 = -m*y. Which is smaller: y or -1/36?
y
Suppose 4*y = -0*y + 4*l - 16, -3*l + 9 = 0. Let v be y/2 - (-30)/12. Suppose p + p + 12 = v*n, -2*n = 4*p + 18. Which is smaller: n or -4/15?
-4/15
Let c be (-5)/(40/(-16))*(-30)/4. Let n(t) = t**2 + 20*t + 59. Let z be n(c). Which is bigger: -27 or z?
z
Let f be ((-204)/(-252) + -1)*(-4044)/8. Are f and 0.01 non-equal?
True
Let w be 4/32 - 5964/96. Is -16 greater than or equal to w?
True
Suppose 2*q = 2*r - 0*q, 5*r = -5*q. Let j = 5/24331 - -316243/291972. Which is smaller: j or r?
r
Let c = 78522/2779 + 12/397. Suppose 104921*y - 104951*y + 840 = 0. Which is bigger: c or y?
c
Suppose 0 = -f - 5, 40 = 3*y - 5*f. Suppose n - y = 0, -74 = 3*p - 2*n + 50. Which is greater: -36 or p?
-36
Let i(f) = 81*f + 486. Let v be i(-6). Which is greater: v or 4/4055?
4/4055
Let u = 22.1 - 21.1. Suppose 2*w - 6 - 20 = 0. Suppose -s = 1, -2*s = l + 2*l - w. Which is greater: u or l?
l
Let x be -1 - ((-8)/2)/((-3133)/(-806)). Is 0 less than x?
True
Let c = -136 + 84. Let o be 8/c + (-1080)/78. Do -4 and o have different values?
True
Let v = -6757/104 - -65. Let w = v + -625/14456. Which is smaller: w or 1?
w
Let t(z) = 1881*z - 46 + 1877*z - 3760*z. Suppose -4*b + 0*v = -3*v + 91, 41 = -2*b + 3*v. Let o be t(b). Do 21/8 and o have the same value?
False
Let i be 723 - (-5)/((-100)/(-10))*-14. Is 715 bigger than i?
False
Let f(u) = 33*u**2 + 50*u - 547. Let r be f(15). Is r equal to 7628?
True
Let j be (-14)/(-28)*(-398 + 0). Let s = j - -142. Is s smaller than -58?
False
Let u = -514871/116580 - 2/9715. Let a = -2297/516 - u. Let j = -5/473 + a. Which is smaller: -1 or j?
-1
Suppose -3*v = -7*v - 3*f + 167, 2*f + 104 = 3*v. Let m be 105/50*32/(-56)*70/(-210). Which is greater: m or v?
v
Let l = 1.1 - 1.05. Let n = -0.25 + l. Let h be -99*(-1)/24 + -6 + 2. Which is bigger: h or n?
h
Let g be 35802/891 + (-2)/11. Let j = 47 - 46.9. Which is smaller: j or g?
j
Let k be -8 + ((-129)/(-9) - (0 - -6)). Is 430 greater than k?
True
Let v = 1727 - -13388. Is v less than 15115?
False
Let i be (36/24)/(12/560). Suppose -63*b = -i*b. Let h be 1 - (64/35)/2. Is b less than or equal to h?
True
Let b = -2299 - -2295. Let l(q) be the third derivative of -q**6/120 - q**5/10 - 5*q**4/24 - 3*q**2. Let k be l(-5). Is b greater than k?
False
Let i = 21.636 - 13.809. Let g = -7.8295 + 0.0295. Let a = i + g. Is a at least -0.1?
True
Suppose -4*m + 4*g = 148, 251*m + 6*g + 39 = 248*m. Suppose 3*v + v - 180 = 0. Let a = v - 75. Is a >= m?
False
Let n(r) = r**2 - 16*r. Let b be n(7). Let i be (b/(-5))/(-1) - -3. Let f = i - -194/15. Which is smaller: f or 4?
f
Suppose 10*g - 824 = 486. Suppose 9*z - 95 + g = 0. Does -4.1 = z?
False
Let h = 0.12 - -0.04. Let u = h + -0.2. Let k = 762.2 - 761.2. Which is bigger: u or k?
k
Let n = -1597 + 1597.1. Which is smaller: n or -1239?
-1239
Let o(n) = 2*n**3 + 38*n**2 - 2*n - 10. Let j be o(-19). Let x = j - 68. Which is bigger: x or -198/5?
-198/5
Let m = 160.97 + -160.93. Let b = 24 - 5. Is m less than b?
True
Let g = -139 - -157. Suppose g*s - 100 = 62. Let u be -4 + (-3)/s*0 + 2. Is u != -2?
False
Suppose 2*j - 14*b + 2 = -16*b, -5 = -b. Let a = -845/2 - -239. Let k = -188 - a. Is j < k?
True
Let o be (162/(-63))/((-6)/(-280)). Let k be (-16)/o + 257/(-15). Suppose -x = x, 0 = 4*n + 4*x + 56. Which is greater: k or n?
n
Suppose -4*b = h - 3486, 1752 = 2*b + 12*h - 7*h. Is b greater than 873?
False
Let w = 755/8 + 105/8. Suppose -3*j = 15, 0 = -y - j - 64 + 168. Which is greater: y or w?
y
Let z(u) = 1259*u - 2707. Let k be z(2). Suppose -91 - 99 = g. Which is smaller: k or g?
g
Let y = -52459/15171760 + 6/4765. Is -1 < y?
True
Suppose -31*d = 18*d + 931. Let z(q) = -15*q - 211. Let x be z(d). Is 77 at most x?
False
Let x be (-2 + -2 + 4 + 1)*52. Suppose -57*i - 1425 = -x*i. Are -285 and i nonequal?
False
Let v be -5 - ((-6330)/36 + 0 + -3). Which is smaller: 175 or v?
v
Let w be (-14 - 1)*((-4068)/54 - -13). Is w less than or equal to 935?
True
Let j = 363.1 + -359. Let s = 0.04 - 0.04. Is j >= s?
True
Let d = 44 - 47. Let o = -0.222 + -26.778. Which is smaller: o or d?
o
Let k be (352/(-90) - -4)*(273/26 - 13). Is -3425 bigger than k?
False
Suppose 2*p - 9 + 5 = 0. Suppose -p = 5*n + 13. Is 5/6 greater than or equal to n?
True
Let c be ((-54)/180)/(1/(28/(-3))). Let l(g) = g**3 + 10*g**2 + 6. Let p be l(-10). Suppose 5*s - p = 2*s. Which is greater: c or s?
c
Let i(s) = -s**3 - 3*s**2 - 4*s - 3. Let c be i(-3). Let b be (-11)/363*-11*(-3 - -3). Which is bigger: b or c?
c
Let b = 938 + -946.86. Let s = b - -0.96. Let d = s - -7. Is d not equal to -0.2?
True
Let b(l) be the second derivative of 19*l**4/12 + 4*l**3/3 - 7*l**2/2 + 26*l - 2. Let i be b(1). Is i less than or equal to 81/4?
True
Let y = 1779 + -2565. Which is greater: y or -784?
-784
Let d = 2055 + -2056. Suppose y + 7 = 5*c + 31, 4 = y. Let p = 1 + c. Are p and d nonequal?
True
Suppose 0 = f + 2*w + 69, -f + 2*w = -5*f - 282. Let k(p) = -28*p - 15. Let j be k(2). Let h = j - f. Which is bigger: 1/31 or h?
1/31
Let p be (-8464)/(-48) - (-9)/9. Is 2/13 greater than or equal to p?
False
Let g = -5459 - -5545. Is g bigger than -46?
True
Let g be (7574/722344)/((-19)/2146). Let i = 1/12899 + g. Let d = -1651/1330 - i. Is d greater than 0.1?
False
Suppose -139 = 5*a - 159. Suppose -i + 5*n + 4 + 20 = 0, 4*i + a = -5*n. Let z be 6/i - 455/154. Are 0 and z non-equal?
True
Suppose -2*o = -2*i, 0 = -6*i + 3*i + 2*o - 4. Which is greater: -19/4 or i?
i
Let l be (-6 - 119/(-17)) + 11. Let p(y) = y**2 + 3*y + 3. Let f be p(-5). Is f less than l?
False
Suppose -1359 - 2183 = -14*x. Suppose 12*f + x = f. Is f >= -21?
False
Suppose 6*z + 4 = 82. Suppose -z*p + 65 + 208 = 0. Let v = -16 + p. Is 4 not equal to v?
True
Let x = -9179 - -688397/75. Which is bigger: -1 or x?
x
Let t(m) = -4*m**3 - 4*m + 2 + 2*m + 3*m**3 - 3. Let p be t(-1). Suppose 0 = 7*w - 6*w - p. Are 13/5 and w unequal?
True
Let i = 9797 + -9799. Is -101 bigger than i?
False
Let b be 3*(-1 - (-4)/12). Let j be (b/(-12))/((-7)/(-42)). Suppose t + j = z, 3*z - 7 - 2 = 0. Is -2/7 < t?
True
Suppose 58*r - 28*r = 3690. Is r bigger than -0.5?
True
Let s = -28.71 + 29. Let x be (-13 - (-5 - 12))/(10*1). Is s smaller than x