: p or v?
p
Let q(z) be the second derivative of -z**3/2 - 11*z**2 + 18*z. Let s be q(-7). Which is bigger: s or -3/17?
-3/17
Let s = -71 + 89. Which is bigger: -0.3 or s?
s
Let c = -58/3 + 176/9. Let l = 7.8 + 30.1. Let y = -38 + l. Which is greater: c or y?
c
Let p be (-771)/36 - 0/(-1). Let b = -75/17 + -829/51. Let t = p - b. Which is smaller: -2 or t?
-2
Suppose 1541 = 82*u - 15*u. Which is smaller: u or 26?
u
Let j(t) = -8*t**3 - t**2 + 1. Let f be j(1). Let y = f - -10. Suppose 3*g - y*g + 5*d = 14, -18 = -2*g - 5*d. Which is smaller: g or 16/5?
16/5
Let k = -0.21 - -0.14. Let y = 11.2 + -12.13. Let r = k + y. Is r smaller than 0.1?
True
Let r be (4/(-14))/((-6)/(378/10737)). Which is smaller: -1 or r?
-1
Let h be (0/(7 + -4))/(-4). Is h equal to 12?
False
Let j = -16 - -29. Suppose l - j = -15. Let o be (-1 - l) + (-6)/3. Is 2 >= o?
True
Let x = 0.065 - -0.935. Let j = -2/183 - 497/4758. Is j smaller than x?
True
Let p = 1 + -3. Suppose 4 = 2*v - 0. Suppose 6*t + 4 = 3*t - v*s, -4*t + 2 = -s. Which is smaller: t or p?
p
Let v be (-3 + 95/15)/((-416)/(-12)). Which is bigger: -2/7 or v?
v
Let r = -41.3 + 3.3. Which is greater: r or -6?
-6
Let o = 2.21 + -0.51. Is o at most 3/2?
False
Let m be 9 - 10/(9570/8591). Which is greater: 0.5 or m?
0.5
Let v = 8 - 23. Let y(r) = r**2 - 15*r. Let f(b) = -b**3 - 13*b**2 - 15*b - 22. Let d be f(-12). Let s be y(d). Which is smaller: v or s?
v
Let y(a) = -7*a - 2*a**2 + 0*a**2 + 7 - 24 + 3*a**2. Let s be y(9). Is s bigger than 13?
False
Let o be (-45)/(-12) - 3 - (-3236)/48. Which is smaller: 69 or o?
o
Let l(a) = a**3 + 9*a**2 - 4*a - 35. Let s be l(-9). Which is greater: -3/592 or s?
s
Let f be (12/(-58))/((-388)/5626). Let m = -1115 - -10057/9. Is f equal to m?
False
Let a be 5/(-12) - 4/16. Let j be (201/6)/((-3)/14). Let v = 155 + j. Is a equal to v?
False
Let z be 9/3 - (-8)/(-2). Let r be (z/(-5))/((-7)/7). Is r equal to -1?
False
Let b = -47/60 + -7/15. Let r be 21/(-16)*84/81. Let m = b - r. Do -1 and m have different values?
True
Let u = -0.17 - -0.14. Let n = u + 0.07. Let w = 17 + -15. Are n and w nonequal?
True
Suppose -7*u + 365 = -1273. Which is smaller: 237 or u?
u
Let v = -0.7 + -0.3. Let u be (-2 - (-152)/10)/(2/(-10)). Let m = -72 - u. Is m greater than v?
False
Let c = 347 - 605. Let i be (-4 + 5)/((-2)/c). Let a be 3 - (2 - i/(-135)). Which is smaller: -1 or a?
-1
Let l = 267 + -50. Which is smaller: l or 216?
216
Suppose 5*z + 0*z - 3 = l, 4*z - 8 = -2*l. Let a(w) = 2*w - 2. Let f be a(-1). Let o be (-1 - -14)*z - f. Which is bigger: -0.1 or o?
o
Let d = 9 + -3. Let g = d + -16. Let s = 10.5 + g. Is 1 greater than s?
True
Suppose -20*m + 23*m = 0. Which is greater: m or -1/20?
m
Let z be (-16)/(-40)*(1 - -24). Suppose 0 = z*m - 9*m + 3. Is -2 > m?
True
Let z = 229/3 - 1678/21. Is -0.4 not equal to z?
True
Let l = -2.9 + 3. Let i = 0 + l. Let z = 459 - 459.6. Do i and z have different values?
True
Let v = -11/728744 + 40528369729/60485752. Let u = -1765577/1743 + v. Let i = u - -343. Is 0 equal to i?
False
Let b = 5 - 10. Let n = 0 - b. Let t = -1636.9 + 1637. Is t <= n?
True
Let b = 0.213 - 5.713. Do -1 and b have different values?
True
Let q = -765/2 - -390. Suppose c + 2*c - o - 22 = 0, -2*c + 5*o = -6. Is c <= q?
False
Let b = -1 + 3. Suppose 3*w + 5 = 4*z, -17 = 4*w + 3*z - b. Let q be (-224)/40*(-1)/(-2). Is w < q?
True
Suppose 0 = 32*q - 36*q - 4. Let p = 12 - q. Let x = p + -13. Is x >= -2/7?
True
Suppose 0 = 4*l - 478 - 8342. Let n be (11/(-13) - -1) + l/455. Is n bigger than 34/9?
True
Let z(g) = -g + 1. Let u be z(6). Suppose 11*b - 4 = 12*b. Is u at least as big as b?
False
Suppose 15 = 5*f + g, -4*f + 4*g + 36 = -0*f. Suppose -f*m - 10 = -2*a, -m - 5*a + 1 = -2. Suppose 7*i - i + 12 = 0. Is m at least as big as i?
True
Let a be 4/(-10) - 5950/(-23625). Which is smaller: 0 or a?
a
Let f = -44/17 + 125/68. Do f and -1 have the same value?
False
Let l be (-9)/(-72)*(-16904)/(-10). Let r = -211 + l. Let o be -2*(3/6 + 0). Which is smaller: o or r?
o
Let k(y) be the second derivative of -y**5/20 + 3*y**4/4 - y**3/6 + 6*y**2 - y. Let i be k(9). Let p be ((-26)/(-6) - i)*-3. Which is smaller: -15/4 or p?
p
Let z be (12/(-9))/(5/((-270)/24)). Suppose 0 = w + 3, -w - 15 = g + z*w. Let n = 0.9 + -1. Which is greater: g or n?
n
Suppose -7*l + 11*l = 0. Suppose l = n + 5, 0 = z + 4*n + n + 16. Which is bigger: 8 or z?
z
Suppose -9*h - 405 = -24*h. Which is smaller: 26 or h?
26
Suppose -15 = 7*a - 10*a. Suppose -4*l + 3*l = 4*b - 12, 0 = a*b - 20. Which is greater: l or -11?
l
Let c = -397/176 - -82/33. Which is greater: c or -1?
c
Let b = -11 - -49. Suppose 5*h + 33 = b. Which is smaller: h or -3/23?
-3/23
Suppose -3*q + 1440 = 12*q. Is 93 at most as big as q?
True
Let w(x) = -4*x**3 + 6*x**3 - 3*x**2 - 5*x + 6 - x**3. Let h be w(4). Suppose h = d, s - 4*d + 8 = 3*s. Are 0 and s equal?
True
Let q = -0.67 - -0.13. Let x = -0.54 - q. Is x equal to 6?
False
Let v be (-4 + 16)*(-2)/(-6) + 30. Is 31 not equal to v?
True
Let k = 463 - 463.594. Let o = -13.456 + k. Let w = 14 + o. Which is smaller: w or 1/4?
w
Let s(a) = a**3 - a**2 + 16. Let d be s(0). Let t = -201 - -214. Is t greater than d?
False
Let q be (550/21)/(-6 - (-82)/3). Let g = 11/32 + q. Which is greater: 1 or g?
g
Let v be (1/2)/(1/(2 - 676)). Let g = v - -7075/21. Which is smaller: g or -1?
-1
Let d be (((-558)/(-119313))/(-31))/(2/6). Which is bigger: d or 1?
1
Let d = -76256/15 + 14689/3. Suppose 0 = 2*j + t + 376, 4*t + 188 = -j + 6*t. Let k = d - j. Which is smaller: k or 0?
0
Let w(m) = 7*m + 1. Let t = -27 + 26. Let f be w(t). Let d be 34/f - 7/21. Which is smaller: d or -2?
d
Suppose 0 = 4*l, 3*q = -0*l - 5*l - 39. Let r = -25 - q. Let d be ((-2 - -1) + -10)/1. Which is smaller: r or d?
r
Let i(l) = -8*l - 164. Let p be i(-20). Let h be 322/(-105) - (-1)/(-3). Which is greater: p or h?
h
Let x = 129015013/5720 - 180439/8. Let f = x + -1/65. Let v(a) = 68*a + 341. Let i be v(-5). Is f at least as big as i?
False
Let k be (-4)/(-6) - (-52)/(-6). Let h be ((-2)/5)/(5/(-275)). Suppose -6 = -2*s - h. Is k greater than or equal to s?
True
Let p = -204607/13528 - 1/3382. Let h = 15 + p. Is h at most 16?
True
Let r(p) = 7*p + 8*p + 8 + p - 17*p. Let h be r(3). Suppose 0*w = h*w - 20. Is w > 9/2?
False
Let w = -246 - -256. Which is bigger: w or 1.2?
w
Let y be (-9*(-1)/(-7))/(-1). Let r be (0*(-10)/(-200))/2. Are y and r non-equal?
True
Let d(p) be the third derivative of p**4/8 + 17*p**3/6 + 5*p**2. Let x be d(-7). Let l be (18/(-12))/(2/6). Do x and l have different values?
True
Suppose -2*t = -0*t - 6. Let p be (14/35)/(2/50). Suppose t*n + a = 3*a + p, 4*n - 4*a = 12. Is n > 3?
True
Let r = 59 - 64. Suppose 3*h + 6 + 0 = 0. Let c be h - ((-14)/8 + 0). Which is smaller: r or c?
r
Suppose -40*r + 4 = -38*r. Are r and 10/17 nonequal?
True
Let x = 24.37 + -0.37. Let q = x + -24.3. Let l = -3.3 - q. Is l smaller than -5?
False
Let r(n) = n**3 - 13*n**2 + 8*n - 9. Let h be r(12). Let k = 115/2 + h. Which is bigger: 0.1 or k?
k
Suppose -4*l + 44 = s, 3*l - 52 = 2*s + 2*s. Let a(d) = d**3 - 12*d**2 + d + 5. Let v be a(l). Is 19 at most v?
False
Let j = -185 + 185.2. Is -0.37 <= j?
True
Let j = 39 - 75. Let d be ((-8)/j)/((-14)/(-3)). Is 1 < d?
False
Let k = 772 - 769. Which is greater: k or -0.6?
k
Suppose 2*s + 9 = 3*u, -3*s - 15 = -5*u - 0. Is s > -8?
True
Let i(u) = u**3 + u**2 - 9*u - 13. Let w be i(-2). Is w not equal to 11/17?
True
Suppose 3*i + 5*b - 2267 = 0, 3*i = -2*b + 775 + 1507. Let s = i + -16811/22. Which is smaller: 0.1 or s?
s
Suppose -5*s + 5*l + 10 = 0, 16 = 4*s + s - 2*l. Let z(a) = -a**2 + 3*a + 5. Let r be z(s). Suppose -5*h - 4 = 2*b, -5 + r = 3*h + 2*b. Are 2/21 and h unequal?
True
Let q = -27 - -46. Let t be (20/(-12) - -2) + 159/9. Is q > t?
True
Let u(t) = -4*t + 5. Let z be u(2). Let d be ((-2)/z)/(2/(-9)). Which is greater: d or -14/9?
-14/9
Let z be (-11 + 0 - -7) + 3. Which is greater: 3/524 or z?
3/524
Let c be (23 - 16) + 198/2. Which is bigger: c or 107?
107
Suppose -4*b = -5*l + 16, 3*l + 1 + 7 = -2*b. Let d = 0 - l. Which is bigger: -2/5 or d?
d
Let o(g) = g**3 + 3*g**2 - 5*g - 11. Let q be o(-5). Which is smaller: -24 or q?
q
Suppose 7*l - 4*p + 278 = 0, 0 = 5*l + 2*p + 70 + 114. Is 