 as big as s?
False
Let s = 3 - 2. Let p(h) be the second derivative of -h**5/20 + h**4/2 + 7*h**3/6 + 3*h**2/2 + 15*h. Let r be p(7). Which is smaller: s or r?
s
Suppose -17*i - 442 = -4*i. Which is smaller: -26 or i?
i
Let w = 31873/87 + -1099/3. Is 0 <= w?
True
Suppose v + 130 = 3*v. Suppose -v = -3*i - 2*i. Which is smaller: i or 14?
i
Let s = 842 + -863. Which is smaller: -3 or s?
s
Let y be 2/(-7) + (-40)/7. Let o(b) = -b**3 + 33*b**2 + 41*b + 17. Let n be o(34). Let h be y/(-10) + (-123)/n. Is h greater than or equal to 1?
False
Let t(d) = -3*d**2 + 15*d - 5. Let o(j) = -j**2 - 10*j - 13. Let s be o(-8). Let w be t(s). Let a(g) = 4*g - 1. Let z be a(3). Do z and w have the same value?
False
Let t = 23623/15 + -1574. Let n = 49/45 - t. Is n < 1/10?
False
Suppose -13*r = -14*r - 4. Let x = 1 - r. Let t be (0 + 1)/(-4 + x). Is 2/9 greater than t?
False
Let c = -858802/19 + 45188. Which is greater: c or -13?
c
Suppose 0 = -7*d + 140 + 1078. Is d bigger than 174?
False
Suppose 20*f = 22*f + 4. Let z = -414/5 + 83. Is f greater than or equal to z?
False
Let p(z) = -z**3 - 6*z**2 - 6*z + 5. Let c be p(-5). Let s = 0.3003 - -0.6997. Which is smaller: s or c?
s
Let v = -0.19 - -9.19. Let l = 8.7 - v. Let t = 3.3 - 3.2. Which is bigger: l or t?
t
Let k(s) = -s**2 + 39*s + 111. Let j be k(41). Is j < 27?
False
Let d be ((-2)/(-6))/(25/2). Let u = d + -17/75. Let k = 192 - 191. Which is greater: k or u?
k
Suppose 5*f + 637 = -3*w - w, w + 133 = 4*f. Are w and -153 unequal?
False
Suppose -8*h + 12*h = -28. Let y = h - -23. Suppose 11*g = y*g - 50. Are g and 9 unequal?
True
Suppose -3*y + 2*y = 38. Let z = y + 113/3. Which is smaller: 1 or z?
z
Let s = -6.043 - -6. Let h = s + 53.043. Which is bigger: h or 0?
h
Let h = -0.011 + 3.011. Let q = -1 - -0.8. Which is smaller: q or h?
q
Let t = -45 + 86. Let g = t - 15. Let z = 44 - 43. Is g < z?
False
Let t be (-54)/243 + 2/9. Which is greater: 8.09 or t?
8.09
Let g = 220 - 173. Is -0.1 != g?
True
Let z = -0.18 - 0.12. Let s = -0.356 - -0.066. Let f = s - 0.21. Which is smaller: f or z?
f
Suppose -3*n + 46 + 8 = 0. Let o be n/(-4)*2/(-3). Let g be (-1 + (-39)/(-45))*-18. Are o and g equal?
False
Suppose 7*j + 30 = 2*j. Let t(l) = 2*l - 16. Let c be t(16). Let u be (-2)/c + 470/(-80). Is j less than or equal to u?
True
Let k be 4/2*4/2. Suppose -5 = k*r - 1. Let j be ((-2 - -3)*r)/1. Is j at most -1?
True
Suppose 5*t + 27 = 3*t - 3*m, -2*t - 4*m - 30 = 0. Suppose -2*r + 6 = -p + 28, 4*r + 3*p = -24. Is t greater than r?
False
Let q = -221 + 80. Is -140 smaller than q?
False
Suppose -2*d + 48 = 5*w - 0*d, 5*d = 20. Suppose 0 = 2*n + w*n. Do n and -2/69 have different values?
True
Let o be (54/81)/(((-10)/(-303))/(-5)). Is -101 at least o?
True
Let m be ((-11837)/(-57))/((-2)/(-3)). Which is smaller: 312 or m?
m
Suppose -23 = -2*i + 25. Suppose i = -5*d - 3*j, 4*j + 1 - 9 = 0. Let a be (d/(-4))/(33/(-4)). Which is smaller: a or 0?
a
Let s(u) = -u**2 + 39*u - 34. Let m be s(37). Which is bigger: 34 or m?
m
Let b be (-7166)/(-90) - (325/45 - 7). Which is smaller: b or 79?
79
Suppose -5*m + 37 - 17 = 0. Let s(n) = 3*n - 4. Let c be s(3). Suppose 2*z = m*x - 22, 3 = c*x + 3*z - 8. Which is smaller: 5 or x?
x
Suppose 84 = 10*q + 4*q. Let c(x) = -x + 5. Let s be c(0). Is s >= q?
False
Let o(d) = -6 + d - 4 - 1 - 2*d. Let j be o(5). Let b be 12/7 - (-32)/j. Are 1 and b unequal?
True
Let p = 466.8175 + 0.1825. Which is bigger: -1 or p?
p
Let a be (0 - -8)*15/(-54). Let d be (-34)/(-198)*(20 + -6). Let z = a + d. Is z not equal to -1?
True
Let r = 34.6 + -38. Let b = -12.4 + 13. Let p = b - r. Are -2 and p non-equal?
True
Let u = -27 - -37. Does u = -2?
False
Let f = -0.18 + 0.23. Let s = f + -0.01. Do s and 1 have the same value?
False
Suppose 2*h - 9 = 1. Let p be (2/(-15))/(h/(-3)). Let v be -1 + 5 + 10 + -14. Which is smaller: v or p?
v
Let d = 554 - 688. Which is smaller: 2 or d?
d
Suppose 4*w - 2 = 2. Let y be (3 - (w + 0))*-7. Let j be -2*(24/y)/3. Which is smaller: 1 or j?
1
Let y be (6/5)/(56024/(-940)). Which is smaller: y or 2?
y
Suppose -7*t = -6*t. Suppose g - 3*q + t*q - 85 = 0, 4*q - 520 = -5*g. Let c = g - 799/8. Which is greater: 0 or c?
c
Let v = 495 + -1591/3. Which is greater: v or -35?
-35
Let u be (1313/65)/(7 - 5). Are u and 11 nonequal?
True
Let v be (-88)/(-10) - 6/(-30). Let w(l) = l**2 - 11*l + 10. Let z be w(11). Let b = z - v. Which is bigger: b or -2/31?
b
Let m = -679 + 665. Let l = -18 - -10. Which is bigger: l or m?
l
Let b be (-3 + 3 - -1) + 20/(-15). Let j = -4.15 - -4. Which is greater: j or b?
j
Let n = -136.8 + 143.8. Let f = 5 + -2. Which is smaller: f or n?
f
Let i = -22 - -40. Suppose -6*k + 2*k = 3*t + i, 8 = -3*k - 5*t. Let l be (-5 - -7)/(k/4). Which is smaller: -1 or l?
l
Suppose 4*y + 4*c = 64, 5 + 11 = y + 2*c. Let f be (-12)/y - (-3)/4. Is -1/79 greater than or equal to f?
False
Let f = 83 - 81. Suppose -20 = -f*h - 4*x, 5*x - 9 - 16 = 3*h. Let z = 116 + -1968/17. Which is greater: z or h?
z
Let l = 210 - 210. Which is bigger: 69 or l?
69
Suppose 9*v - 65 = -2. Let m be (-7)/v + 17 + -3. Is m greater than 11?
True
Suppose -10*d + 7*d = -12. Suppose -d = -2*z + 4. Suppose z*n = 7*n + 3. Is n less than or equal to -2?
False
Let z = 2485 - 638647/257. Which is bigger: 0 or z?
0
Let q = 14 + -12. Suppose 0 = -3*s + s + q. Let h = 63 - 61. Which is smaller: s or h?
s
Let s be -13 + (-1)/45*-231. Which is smaller: s or -9?
-9
Let b(x) be the second derivative of x**4/12 - 5*x**3/6 + 5*x**2/2 - 15*x. Let a be b(4). Which is bigger: 3/2 or a?
3/2
Let q be (-12)/(-14)*3/6. Suppose -i = a + 10, -2*a - 4 = i - 3*a. Let y be -4 + 125/35 - (-4)/i. Is y equal to q?
False
Let t = -396 - -398. Is t greater than -1.1?
True
Let k = 357.1 + -357. Which is smaller: k or -98?
-98
Let b = -331597/39 + 8502. Which is smaller: 0.1 or b?
b
Let w = -6643/158 - -4580215/109494. Let b = w + -2/231. Is b >= -1?
True
Let v be 181/4*(-26 + 22). Are -184 and v non-equal?
True
Let o = -11/48 + -7/16. Let i = 1 - 15. Which is smaller: i or o?
i
Suppose -l = 0, -2*g + 5*g = -l. Suppose g = -0*w + 4*w + 16. Is -4 at least w?
True
Let y = -16 - -12. Let h be -6 + 10 + (y + 3)*3. Which is smaller: h or 1/10?
1/10
Suppose 0 = 12*l - 33 + 21. Which is bigger: l or 1/5?
l
Suppose 5*i - 40 = -3*i. Suppose -w = -i*b + 5 - 28, -2*w + b = -10. Which is greater: w or 0?
w
Let h(t) = -t + 7. Let x be h(5). Let n(m) = 4 - 5 + x*m + 5. Let p be n(-6). Is p <= -8?
True
Let o(w) = w + 12. Let l be o(-12). Suppose -t = -l*t. Suppose 5*i + t*i - 25 = n, 0 = 5*i - 25. Is n at least as big as 0?
True
Let q = 0.0236 - -0.0764. Is q at least as big as -7/41?
True
Let a(m) = m**3 + 5*m**2 + 2*m - 3. Let r(z) = z**3 + 5*z**2 + z - 5. Let d(g) = 4*a(g) - 3*r(g). Suppose -t = t + 6. Let p be d(t). Is 6 not equal to p?
False
Let y be 6/4996*52/39. Which is smaller: y or 1?
y
Let f = -1312662 - -1142015801/870. Let u = 1/145 - f. Which is bigger: -4 or u?
u
Suppose q - 5 = -2*a, 161*q - 165*q = 5*a - 20. Which is smaller: a or 2/97?
a
Let h(g) = -g + 6. Let x be h(6). Suppose 2*f - 4*r - 11 = 3*f, -r - 2 = x. Let o = f - -8. Is o > 6?
False
Suppose 4*s - 2*s = 6*s. Let a be 2/4*2 - 1. Let x be (a - 5)/(-3 - -9). Which is smaller: x or s?
x
Let k = -1062 - -1054.47. Is k < -1?
True
Suppose -618 = -3*g + 1944. Are g and 854 equal?
True
Let w be -2*((-21)/(-2))/(-7). Suppose k = 3*t + w*k - 9, -5*t = -5*k + 10. Is t less than -2/25?
False
Let f = -145 - -145. Suppose 0 = 4*y - y + 2*q - 42, -2*y = -4*q - 28. Let x be 18/y + (-1 - f). Is x bigger than 1?
False
Let f(a) = -9*a**2 + 5*a + 1. Let i be f(1). Let t be (136/12)/(-2) + 3. Which is bigger: i or t?
t
Let w be (1 + -3)/4*0. Let l be 7/14*w/2. Suppose -q = -3*t, l*t + 2*q = -5*t - 11. Which is bigger: t or 1/4?
1/4
Suppose -4138 = -45*m + 3557. Which is greater: 170 or m?
m
Let v be -3 - (-1 - (-1 + 2)). Let s = -348/1555 - -812123/3010480. Let r = 2/121 + s. Which is smaller: r or v?
v
Let s(x) be the first derivative of -x**4/4 + 16*x**3/3 + 35*x**2/2 + 19*x - 29. Let h be s(18). Which is smaller: h or 2/599?
2/599
Suppose 15*x = -29*x + 13508. Is 306 > x?
False
Let o(k) = -4*k**2 + 20*k - 3. Let n be o(5). Which is smaller: n or -9/4?
n
Let l = 32 - 30.85. Let u = -0.15 +