ual?
True
Let o(s) be the first derivative of 1/3*s**3 + 0*s + 13 + 7/2*s**2. Let g be o(-7). Do 0 and g have different values?
False
Let s be 4/(-7) - 124956/(-217350). Which is bigger: -1 or s?
s
Let i be (-9)/(-24)*-2*(3 - 23). Suppose -2*w - 14 = 2*u, i = -5*u - 0*w - w. Which is greater: u or -11/12?
-11/12
Suppose 4*z + 0*z = 16. Let c(h) = -h**2 + 4*h - 9. Let r be c(6). Let l be 370/70 - -3*2/r. Which is greater: z or l?
l
Let a(q) = -q**2 - 8*q + 30. Let f(v) = -v**2 - 9*v + 29. Let u(k) = -4*a(k) + 5*f(k). Let z be u(-15). Which is smaller: -7 or z?
-7
Let k(u) = -14*u - 14. Suppose 6 = 2*r, -4*r - 3 = -3*q - 9*r. Let y(g) = -5*g - 5. Let v(j) = q*k(j) + 11*y(j). Let d be v(-2). Which is greater: 3 or d?
3
Let t = 7790 + -989336/127. Is 0 smaller than t?
False
Let u(d) = -d**3 - 11*d**2 + 12*d + 4. Let b = 42 + -54. Let c be u(b). Which is smaller: 24/5 or c?
c
Let y(m) = 2*m**3 + 14*m**2 + 4*m - 4. Let g be y(-7). Let b be ((-28)/(-2))/(g/16). Is b less than -2/7?
True
Suppose -3*i = -2*r - 9, 4*r - 121*i + 123*i = 38. Let l be -1 - 1*(-54)/8. Is r greater than or equal to l?
True
Let v(x) = x - 11. Let a be v(14). Suppose -2 + 8 = a*w. Is 3/4 smaller than w?
True
Suppose w = 4*z - 114, 8*w - 126 = -4*z + 3*w. Suppose -2*y + 27 - z = 0. Which is smaller: 2/51 or y?
y
Let d = 301 - -296. Which is smaller: d or 596?
596
Let f = 4209 + -4236.27. Let y = -0.27 - f. Let w = y - 26.9. Which is smaller: w or 0.4?
w
Let m(n) = 31*n - 21. Let l be m(3). Is l greater than 72?
False
Let l = 1 - 1. Let w(h) = h + 5. Let y(g) = g + 4. Let k(s) = 2*w(s) - 3*y(s). Let j be k(l). Is -2 less than j?
False
Suppose 4*b - 320 = -x, -2*b + 0*b - 6 = 0. Is 332 smaller than x?
False
Let z(h) = -h**3 + 14*h**2 - 10*h - 33. Let d be z(13). Suppose -4*r = -d*r. Which is bigger: r or -4/45?
r
Let u be (13 - -2)*108/(-70). Is u > -23?
False
Let a be (-1)/(-2) + 4968/(-16) + 6. Is -304 < a?
False
Let s(n) = -n**2 - 10*n - 21. Let j be s(-9). Let l be 3*((-8)/j)/1. Suppose -l*t + 2*q = 16, -5*t - q = 58 + 6. Is t >= -13?
True
Let n = 18501829188/145 + -127598020. Let o = 802 - n. Let r = 7/87 - o. Is -1 at least as big as r?
False
Let t = 2672 - 2648. Suppose -15 = -l + 10. Which is bigger: t or l?
l
Let d = -54 - -56. Suppose -d*t + 25 = -19. Suppose 15*z = 10*z + 110. Is t bigger than z?
False
Let n be ((-3)/(-80))/((-180)/17075). Let k = n - 7/64. Does 0.2 = k?
False
Let i = -0.448 - -0.058. Let d = i - -0.66. Let y = -0.07 + d. Is 2/7 greater than or equal to y?
True
Let a = 4/265 + -1096/2385. Is -17 smaller than a?
True
Suppose -13*v + 7*v = 1578. Is v <= -261?
True
Let y be (-22)/(-18) + 3/(-9). Let t be 3/(-2)*2 + 4. Is y greater than or equal to t?
False
Let o = -0.11 - -2.11. Let s = 96 - 95. Which is smaller: o or s?
s
Let n be 1/((-2)/(-2))*1. Let y be ((-2)/(-3))/(5 - (-52)/12). Which is greater: y or n?
n
Let a(s) = s**2 + 6*s + 6. Let v be a(-6). Suppose 0 = -f + v. Let u = 7 - f. Is 0 >= u?
False
Let s = 41557/324 + -513/4. Let d be (-5948)/18144 - 2/(-6). Let g = s + d. Do 0 and g have different values?
True
Let w(o) be the first derivative of o**4/4 + 2*o**3 - 3*o**2 + 7*o - 2. Let f be w(-7). Do -10 and f have different values?
True
Suppose -584 = 13*h + 833. Is h at least as big as -108?
False
Suppose 5*n - 55 = 3*p, 15 = -2*p + 5*n - 6*n. Let a(t) = t**3 + 3*t**2 + 2*t + 1. Let m be a(-2). Let v = m - p. Do v and 12 have the same value?
False
Let d(r) = r**2 + 3*r + 2. Let b be d(-3). Suppose -3*g - b*g - 31 = -2*z, -4*g = 5*z - 127. Which is bigger: -1/2 or z?
z
Let v = -20.1 - -98.1. Which is greater: v or -3/4?
v
Suppose 7*u - 8 = -2*c + 9*u, u = -1. Let i(x) = 5*x**2 + 1. Let a(f) = -f + 5. Let k be a(6). Let s be i(k). Which is smaller: c or s?
c
Let o = -124 + 148. Is o smaller than 24?
False
Let m(r) = -r**3 + 6*r**2 - 2*r + 7. Let x be m(6). Suppose 2*z + 54*o + 1 = 57*o, -3 = o. Are z and x equal?
True
Let w = 233 + -263. Let n be (-10)/65 - 401/13. Which is bigger: n or w?
w
Suppose -5*v + 2*l = -379, 3*l = -v + 40 + 29. Is 65 at most v?
True
Let b = -9 - -2. Let z(t) be the second derivative of t**3/6 + 4*t**2 - 21*t. Let h be z(b). Is 2/13 not equal to h?
True
Let v = -55.17 + 0.17. Let m = v - -56. Which is greater: -10 or m?
m
Suppose 0 = -a + 1. Suppose 0*t + t + w + 14 = 0, 3*w - 28 = 2*t. Let n be (-30)/t + 5/(-35). Is a at least n?
False
Let v(l) = l**3 + 55*l**2 - 172*l + 117. Let c be v(-58). Let u be (-470)/44 + (-6)/(-33). Which is greater: u or c?
c
Suppose 87*u - 92*u - 235 = 0. Is u less than -47?
False
Let u = -2894 + 1667. Is -1227 at least u?
True
Let h = 73/8 - 3999/440. Let g be (-1)/(-5) + -10*10/(-750). Which is bigger: h or g?
g
Let q be (-5 - -2)/(14832/32). Is -1 greater than or equal to q?
False
Suppose 5*h + 3*r - 230 = -2*r, -4*r = 2*h - 90. Suppose -z = -h - 57. Let s = 308/3 - z. Is s less than or equal to 0?
True
Let t(l) = -l**2 - 3*l - 2. Let o be t(-2). Is o at most 2/2711?
True
Let l(p) be the first derivative of 8*p - 10 - 1/2*p**2. Let d be l(0). Which is bigger: 10 or d?
10
Let n be ((-4)/(-18))/((-5)/315*-6). Which is smaller: -14 or n?
-14
Let y = 276 + -277. Is y <= -0.96?
True
Let s = 25/33 - 12/11. Is -1 equal to s?
False
Let m be 5/((-20)/(-116)) + 1. Let p be (-15)/m*(0 + -6). Suppose -p*d - 12 + 3 = 0. Is d less than -1?
True
Let w(h) = h**2 + 8*h - 27. Let f be w(-11). Which is greater: f or 26/5?
f
Let w = 279 - 416. Is w < -5?
True
Let q = -74 + 78. Is -2/31 >= q?
False
Let i = -28989.962 + 28961. Let q = i + -0.038. Is 1/2 smaller than q?
False
Suppose -25*q + 4*f - 21 = -22*q, f - 2 = 4*q. Let m = -1918/5 - -385. Are m and q nonequal?
True
Let y = 141 + -137. Let u be 176/34 - 1 - (y + -1). Which is smaller: 0 or u?
0
Let d = 125.153 + 1.847. Is -1/5 greater than d?
False
Suppose -s + 5*s = 308. Let q = s + -79. Which is smaller: q or -10/17?
q
Let r = 29 - 27. Suppose -38 = -3*c + 5*x, -4*c - x + 66 = -23. Suppose 0 = 2*s + f - c, 3*f + 37 = 6*s - r*s. Is 0 at least as big as s?
False
Let d(w) = -w**3 + 17*w**2 - 17*w + 22. Let c be d(16). Suppose -4*m - 4*b + 12 = 0, c = -0*m - 2*m + 4*b. Is 2/219 != m?
True
Let k = 29.622 + -37.3. Let b = k - -0.078. Is 2/5 at most b?
False
Let g = -18 + 17. Let a be 172*(-7)/154 - -6. Which is greater: g or a?
g
Let y = -13 - -14. Suppose -k = -x - 2*k + 3, 5*x - 3*k + y = 0. Is 1 less than x?
False
Let p = 497 - 497.4. Is -8 at least p?
False
Let y(c) = -2 - 129*c + 3 - c**2 + 132*c + 2*c**2. Let g be y(-2). Which is greater: g or -1/4?
-1/4
Suppose 7*r + 3 + 4 = 0. Which is greater: -2/521 or r?
-2/521
Let w = -325 - -958/3. Let q = w + 6. Let n = 15 - 20. Which is smaller: q or n?
n
Let a = 129743/93 - 1395. Which is smaller: a or -3?
-3
Let l be 7/4 - 2 - (-34)/(-408). Is l less than 120?
True
Let a = 3416/15 + -706/3. Which is smaller: a or -7?
a
Let k = -1907.6 + 1910.6. Let y = 0.3 - -0.6. Is y >= k?
False
Suppose 0 = 3*b - 2*b + 19. Let d = -20079 + 20057. Is d smaller than b?
True
Let i(p) = -2*p + 5. Let u be i(0). Let f(v) = -2*v**2 + 8*v - 9. Let q be f(u). Which is bigger: q or -18?
-18
Let c be 8/((-48)/537) - 3. Which is bigger: c or -94?
c
Let s = 39/380 - -14/95. Which is greater: s or -2.04?
s
Let f(r) = 0*r**2 - 5*r - 5*r**2 - r - r**2 + 3 - r**3. Let n be f(-5). Suppose 5*b = -3*k - 2*k - 40, 2*k - 4*b - n = 0. Do -4 and k have different values?
False
Suppose -17 = -3*w + 1. Let v be (1/1)/(w/(-102)). Let i = v + 185/11. Is i greater than -1?
True
Let f = -0.0947 - 0.0053. Let n(r) = -r**2 + 4*r - 3. Let s be n(3). Suppose -6 = 2*l, 5*t - t - 2*l - 6 = s. Which is bigger: t or f?
t
Suppose -4*q - 4*d + 564 = 0, 3*q + d - 286 = 145. Let c = 2463/17 - q. Are c and 0 nonequal?
True
Suppose 3*v - 7 = -d, 4*d - 3*v - 3 = -20. Is -157 not equal to d?
True
Let z = -2.1 - -2. Let c = z + 2.1. Let v be (-2)/(-21)*18 + -2. Which is smaller: v or c?
v
Let p = -10.8 - -11. Let f = 7.8 + p. Let w = f - 8.1. Is 0.6 less than w?
False
Suppose 3*j - 143 = 4*y, 5*j - 84 = 2*y - 23. Let m = 39 + y. Is m at most as big as -1?
False
Let j = 57 + -51. Is 7 less than j?
False
Let s = 0.329 + 0.011. Let c = -1.06 - s. Which is smaller: 0.1 or c?
c
Let m be -1 - 1/(-3 - -2). Suppose m = 3*c - 0 - 6. Suppose 0 = -0*s - 2*s - c. Are -1/33 and s 