3/12770. Is p at most as big as x?
True
Let w(l) = -l**3 - 21*l**2 - 6*l + 85. Let f be w(-18). Let m = f - -3909/5. Let i(v) = v - 1. Let s be i(1). Which is greater: s or m?
m
Let q be 2/1 + 49970/44560. Let m = q + 2/557. Let x = 22 + -18. Does x = m?
False
Let x = 52 - 48. Suppose -2*w - 4*r - 9 = -133, 124 = 2*w + 5*r. Is w greater than or equal to x?
True
Suppose 4*l + 27 = 83. Let i = l + -7. Let g be (-1)/((-2 - -9) + (-632)/88). Do i and g have the same value?
False
Let t be (-15)/((2 + 1)/(-1)). Suppose t*n - 3 = -o, 3*o = 5*n - 0*n + 9. Which is bigger: 12/13 or n?
12/13
Let s = -1226 - -1241. Which is smaller: -73 or s?
-73
Let s = 2 - 1.9. Let i = -0.0195 + -578.9805. Let u = i + 578.7. Which is greater: s or u?
s
Let a(y) = 2*y**2 + 35*y + 71. Let t be a(-15). Let s = t + 3. Let r be (1/(-2))/((-13)/1). Which is greater: s or r?
r
Let a be (-8 + 7)*3*2/6. Suppose 15 = 5*p - 5. Suppose 4 = -o - x, 0 = p*o - 5*x - 2 - 9. Are a and o equal?
True
Let l(x) = -14 - x**3 + 10 + 5. Let q(n) = 5*n**3 - 9*n**2 - 12*n + 8. Let y(c) = -4*l(c) - q(c). Let t be y(10). Is 9 <= t?
False
Let f be 100/(-168) + 5/(45/6). Let g = -7 - 13. Let t be (-1)/3 - g/15. Which is smaller: t or f?
f
Let r = 56 - 63. Let i be 4*1*r/(-28). Is i < -18.3?
False
Suppose -18*t + 670 + 2624 = 0. Is 185 less than t?
False
Let u = 45 + -44. Let l be u/6 - (-2226)/36. Let h = l - 71. Is h bigger than -8?
False
Let y = -0.16 + 8.16. Let x be 2/4 + -1 + (-1120)/(-704). Which is smaller: x or y?
x
Suppose -1034 + 1066 = -2*i. Which is bigger: i or -82?
i
Let o(i) = 4*i**3 + 7*i**2 - 9*i + 18. Let f be o(6). Let x be 8739/f - 8 - 1/6. Is x < 0?
True
Suppose -5*c - d = -4640, -c + 585 = 5*d - 367. Let y be (-14)/2407*c/36. Let i = y + 11/83. Is -1 equal to i?
False
Let l = -46 - 5. Let c = l - -50. Let s be ((c*2)/(-1))/((-16)/72). Which is smaller: -44/5 or s?
s
Let t(n) = 3*n + 115. Let g be t(-31). Suppose -216 = g*j - 31*j. Let o be -2 + (25 - 0) - 1. Is j less than or equal to o?
False
Let m be (-7497)/(-1250) - 3 - ((-8 - 1) + 12). Is m smaller than -1?
False
Let f be 3044/(-276) + 7 - -4. Suppose -g = 6*g. Suppose 16 = -4*z - 4*n, g = 4*n + 20 - 4. Is z less than f?
False
Let v be -5*24/(-20)*(-5902)/(-78). Which is smaller: v or 449?
449
Let a(f) = 21. Let p(l) = -4*l + 87. Let o(b) = -5*b + 88. Let j(x) = 3*o(x) - 4*p(x). Let y(d) = -9*a(d) - 2*j(d). Let c be y(-7). Which is smaller: 2 or c?
c
Let r be 25/(20/(-4))*-5*1. Let m = 6/265 + 6513/265. Is r at least m?
True
Let f be -155 + 159 - ((-2295)/(-3))/(-3). Which is smaller: -9 or f?
-9
Suppose -13*p = -16*p - 4*b - 982, 0 = -p - 5*b - 320. Suppose 3*k + 983 = -4*c, -5*k = -2*k + 2*c + 985. Do k and p have the same value?
False
Suppose -3*s + 20 = s. Let c(j) = -2590*j + 15551. Let o be c(6). Is o <= s?
False
Suppose 1155*z - 1144*z = 33. Let c be 4/(-14) - (-1592)/(-14). Let m be (-88)/c - 2/z. Is m equal to 0.1?
False
Suppose 10 - 22 = -16*c + 4. Which is bigger: 94/115 or c?
c
Let l = -3/7585 + 37943/45510. Let o = -2 - -2.1. Which is bigger: l or o?
l
Suppose 0 = 47*z - 42*z - 25. Suppose 32 = 2*u + z*y, -4*u = 5*y - 21 - 53. Which is bigger: u or -2?
u
Let f be (21/(-12))/(-3*(-35)/(-30)). Which is smaller: 1021 or f?
f
Let z(q) = q**3 - 19*q**2 + 27*q + 117. Let h be z(16). Which is greater: -227 or h?
h
Let n = -448.801 - -449. Let c = n + 0.101. Which is bigger: c or 3?
3
Let z be (34/(-7))/(2/(-14)). Let q = -34 + z. Suppose -5*j - 198 = 2*g - 0*g, -4*j + g - 161 = q. Is -41 less than j?
True
Let k = -6576677/105 - -62635. Let m be (-6)/9 + (-4)/(-6). Let w = m - -1. Which is bigger: w or k?
w
Let l(w) be the second derivative of 2*w**3/3 - 11*w**2 + w. Let t(u) = 3*u**2 - 3*u - 1. Let v be t(-1). Let c be l(v). Is c smaller than 0?
True
Let w(l) = l**3 + 9*l**2 + 13*l - 1. Suppose -18 = 8*q - 5*q. Let g be w(q). Let j = 55 - g. Which is bigger: 25 or j?
j
Let v(t) be the second derivative of t**5/20 - t**3/6 + 3*t**2 + 110*t. Let o be v(2). Let j be (1 - 4)*38/(-9). Is j at most o?
False
Let a(u) = -u**2 - 645*u - 11895. Let l be a(-19). Is l at least 8.757?
False
Suppose -2*f = -2*z - 54, 78 = -3*z + 3*f - f. Let l(i) = -4*i**2 - 114*i + 289. Let u be l(-31). Is u at most as big as z?
False
Suppose -4*l + 3*c - 4*c = 0, -5*c = -l + 21. Suppose -a = -l - 0. Suppose -s + 4 = a. Which is bigger: 16/7 or s?
s
Suppose -5*w - 16 = -2*l, 404*l + 4 = 402*l. Is w at least as big as 32?
False
Let a(i) = 6*i**2 - 154*i + 102. Let y(n) = 3*n**2 - 77*n + 51. Let k(w) = -3*a(w) + 5*y(w). Let r be k(22). Is 192 greater than r?
True
Let s(t) = -t**2 - 20*t - 34. Let l be s(-18). Suppose -h - 1 = -x, l*h - 9 = -h - x. Is h equal to -2?
False
Let f(x) = 2*x**3 - 8*x**2 - 34*x - 20. Let g be f(-5). Which is greater: -303 or g?
g
Let c(v) = 15*v**2 + 523*v + 46. Let z be c(-35). Are z and 90 unequal?
True
Let m be -7*(-15 + 624/42). Is 4/17161 smaller than m?
True
Let v be 6571/(-90)*-2 + 588/(-2646) - -9. Is 0 at least as big as v?
False
Suppose m - 35 = x - 31, 3*x = 5*m - 22. Let y be 45/(-225)*(x + -3 + -1053). Is y < 212?
True
Let o = 2957 + -2955.4. Which is smaller: o or 133?
o
Let s = 1207669583/10384 + -116301. Do 0 and s have different values?
True
Let q = -18928 - -18930. Which is smaller: q or 1760/7?
q
Suppose 0 = -2*a - 45 - 3. Let j = -33 - a. Suppose -4*r - 5*u - 54 + 5 = 0, 5*r + 56 = -u. Which is smaller: r or j?
r
Let z = 636158 + -17181436/27. Is -190 at least z?
True
Let m = -147 - -2795/19. Let a = -3986 - -3986. Which is smaller: a or m?
a
Let x = -295 + 308. Suppose -3*o + 2 + x = 3*k, -4*o + 16 = 0. Which is bigger: k or -0.73?
k
Let o = 10564 + -10564.06. Let f = -9 + 11. Is f bigger than o?
True
Let x = 272 - 265. Suppose 146 = -x*m + 83. Is -10 at most as big as m?
True
Suppose 3*a = 3*q + 9, 6*q - 3*q + 13 = 4*a. Let r = -7 + 6.868. Let v = 1.868 - r. Which is smaller: v or q?
q
Let x = -999 + 531. Let q = 469 + x. Which is greater: 1/60 or q?
q
Let z be 1/253*(824777 + 2). Let c = z - 3260. Is 1 > c?
True
Let c = 315 - 318. Let a(m) = m**2 - 12*m + 16. Let p be a(10). Which is greater: c or p?
c
Let f be (-44)/(-12) - 4/6. Let a be f/12*3382/241. Let u = 2/241 - a. Which is smaller: -3 or u?
u
Let d(i) = -i**2 + 21 - 19*i**2 + 18*i**2 - 11*i. Let n be d(-7). Is n >= -7/32?
True
Suppose -5*y + l = -2*l + 18, -3*l - 6 = -y. Let n be -7 - (y - (-58)/8)*-4. Is n at least as big as 4?
False
Let k = -0.468 - -18.368. Let b = k - 18.1. Which is smaller: 85 or b?
b
Let z(w) = -w**3 + w**2 + 2. Let p be z(0). Let m = 17881 + -17868. Which is greater: p or m?
m
Let d = -44.69 + 48.69. Are -723 and d equal?
False
Let q = 57 + -46. Suppose 3*u - 238 = -q*u. Do u and 18 have different values?
True
Let t(y) = 6*y**2 + 2*y. Let z be t(-1). Suppose -z*v + 23 = -29. Suppose -2*h + 5*q = v, 15 = 3*h - q + 2. Which is bigger: 7 or h?
7
Let k(m) = m**2 + 53*m + 115. Let l be k(0). Is 106 at most as big as l?
True
Suppose -788252 = -75*q + 1348051 + 129522. Is q at most 30211?
True
Let r = 3905 + -4695.15. Let b = r + 772. Let o = b - -18. Is o < -2/5?
False
Suppose 8*u - 183 - 185 = 0. Let w = -46 + u. Suppose w*v - 2*v = -8. Is 2 greater than v?
False
Let z be (-147)/49*(-2)/196. Is 22 at least z?
True
Let d be (-1346)/2019*((-34984)/2 - 1). Is d equal to 11662?
True
Let z = -9497 + 9415. Is z bigger than -1?
False
Let o be 106/7 + 3/(-21). Let n be (-3)/(-5) + (-99)/o. Let h = -19 - n. Is -12 bigger than h?
True
Let k = -0.4889 + 0.4389. Which is bigger: k or -0.03?
-0.03
Let j = -0.103 - -15.103. Let d = j - 0. Let q = 0 + d. Is q < 1?
False
Suppose 31*s - 36*s = -1340. Let w = -359 + s. Is w < -92?
False
Let g = -163.7 - 303.3. Which is bigger: g or -2/5?
-2/5
Let b = -1161 - -1108.9. Let j = -1 - -53. Let t = b + j. Is 13 less than t?
False
Let p be 3/9 + -460*(-38)/84. Let g = -209 + p. Which is greater: g or -2/11?
-2/11
Let v be (26/91)/(5215/(-1735) - -3). Which is greater: -51 or v?
v
Suppose -z = -q - 7081, -9*q + 12*q = -3. Let l be (z/595)/(-6) - -2. Is l <= 1?
True
Let z be 3/(-8) - 459/(-1224). Is z less than or equal to -12/1549?
False
Suppose 4*j - j + 12 = 0. Let l = 1953 + -1948. Which is smaller: j or l?
j
Suppose 25311 = 34*o - 9369. Let x be o/153*(-1 + -5). Which is bigger: x or -15?