p
Let a = -33.07 - -31.6. Let w = -1.47 - a. Do -1/189 and w have the same value?
False
Suppose -13 = 2*b - 3*b - 3*m, -b + 2*m - 12 = 0. Let o be (-8 - (-3 - b))/(2 - 0). Which is smaller: o or -3?
o
Let b be (2/(-6))/(7/21). Let x be -37 + b + 4 + -1. Let v = -1559 + 1526. Is v at most as big as x?
False
Let d be ((-16)/12)/(2/(-3)). Let v = 622 - 661. Which is smaller: d or v?
v
Let r(q) = -q**2 - 39*q + 552. Let i be r(-51). Which is smaller: i or -57?
i
Let n(p) = p**2 - 3*p - 51. Let a be n(9). Suppose a*h = 4*h - 5*z + 41, 0 = -5*h + 2*z - 297. Do -61 and h have different values?
False
Let g = -1518 + 10769/7. Let x = -865/42 + g. Which is smaller: x or -1.7?
-1.7
Suppose 54*w + 4858 + 2618 = -2730. Which is smaller: -192 or w?
-192
Let c = 406 - 319. Which is smaller: c or -2/7?
-2/7
Suppose -n - 150 = 4*u, -203 = -2*n + 4*u - 539. Suppose -6*v - 529 - 449 = 0. Are v and n equal?
False
Let i(m) = 67*m**2 + 99*m + 298. Let r be i(-3). Is 1/2 at most r?
True
Suppose -i + 3*r - 226 = 277, 8*r = 3*i + 1509. Is i equal to -504?
False
Let q be 100*(42/20)/((-126)/105). Suppose 685*f = 684*f - 177. Is f less than q?
True
Let c(k) = k**3 + 9*k - 33 + 10 + 6*k**2 + 23. Let p be c(-4). Is 25 < p?
False
Let x = 54866 + -120869796/2203. Is x bigger than -1?
True
Let c(v) be the third derivative of -v**6/60 + 5*v**5/12 - 3*v**4/4 + v**3/3 - 143*v**2. Let u be c(12). Which is greater: -71 or u?
u
Suppose -62*m - 21627 = 139201. Is m bigger than 2?
False
Suppose 42*m + 7 = -5*i + 46*m, -5*i = 4*m - 17. Let d = 10 + 0. Is i smaller than d?
True
Let i = 3168 + -3183. Does -17 = i?
False
Suppose -3*w = 3*z - 3, -w - 4*z + 1 = -2*z. Let f be (891/110)/(-3) + 3. Is f at least w?
False
Let v = -71 + 70.921. Let y = -1.917 + 1.868. Let s = y - v. Is 2/3 smaller than s?
False
Let r be 45934*8/15952 + -23. Does r = -1?
False
Let q be ((-5)/30)/(6 + 140/(-24)). Is q at least as big as -2/1947?
False
Suppose 2*d - 21 = -5*v, v = 2*d - 283 + 244. Let u(a) = -a**3 - 4*a**2 - 7*a - 10. Let t be u(-4). Are d and t unequal?
False
Let p = -9518962/1130601 - -1/36471. Is p less than -7?
True
Let k be ((-60)/(-9) + 5)*(-60)/(-14). Which is smaller: k or -18?
-18
Let c be 10/(-9 + (-231)/(-22)). Is 0.04 greater than c?
False
Let m = 916 - 916. Suppose -66 = 222*a - 228*a. Is a smaller than m?
False
Let h be ((-2)/7)/(8/(-9436))*1. Do 335 and h have the same value?
False
Let p = -81 + 81.39. Let q = -6.39 + p. Let w = q + 7. Does w = 2/131?
False
Let r(b) = b**3 + 25*b**2 - 30*b + 95. Let s be r(-26). Do 191 and s have different values?
True
Let u = -59852/9 + 6818. Is u smaller than 168?
True
Suppose 2069 - 556 = 1513*u. Let v = -1722 + 284129/165. Which is bigger: u or v?
u
Let a be ((-162)/243)/(-4*6/(-9)). Which is smaller: -1539 or a?
-1539
Let o = -4042/111873 - -12/419. Suppose 2*b = -b. Which is greater: b or o?
b
Let n(a) = 5*a**3 + a**2 + a + 2 - 5*a**2 - 3*a**2 + 5*a**2. Suppose -6*o + 20 - 26 = 0. Let h be n(o). Do h and -3 have the same value?
False
Let o = -7223 - -6930. Is o <= -2638/9?
False
Let z = 665 + -390. Let v = z + -278. Which is smaller: v or -16?
-16
Let c be 4/1512*3*(4 - 1). Let j = -9/14 - c. Is j at least -1/11?
False
Let l = -1/23331 - -5049496/23331. Let s = -213 + l. Let j = 3 - 0. Is j <= s?
True
Let i = 25072 + -22979. Which is bigger: 2096 or i?
2096
Let k(l) = -2*l + 32. Let u be k(15). Let a be -4*2/(-36) + 3097808/936. Let s = a - 3308. Is s less than or equal to u?
True
Let o be (-12)/66 - (-1)/(22/33004). Is 1499 < o?
True
Let i(m) = -m**2 - 38*m - 185. Let l be i(-23). Let c = l - 162. Do c and -34/13 have the same value?
False
Suppose 0 = -4*t + 8*t + 4. Suppose i = g, -5*g - 2*i = -2*g + 10. Let l be 4/(8/30)*g/16. Is l <= t?
True
Let b = 66 + -10. Suppose -b = 44*h - 52*h. Suppose -h + 5 = p. Are -2/13 and p nonequal?
True
Let m = 36.2 - -50.8. Let b = -240 + 155. Let f = b + m. Is f < -1/5?
False
Let m be ((-26)/117)/(9/15 - 74/90). Which is greater: m or -4/4561?
m
Let g be -1*(19 - 16) + 101 + 0. Let j be -4 - 0 - 21/(-3). Suppose -3*r = -z - 292, -j*r + 4*z = -2*r - 90. Is r at least g?
True
Let p be 5*(-12)/(-50)*(-5)/2. Let n be (p/12)/(-6*1/(-104)). Is n > -5?
True
Let d(r) be the second derivative of -r**5/20 - 7*r**4/12 + 2*r**3/3 + 4*r**2 + 13*r. Let b be d(-7). Let q be b/16*6/15. Is 0 at most q?
False
Let z = 409 + -407. Let r be z/(28/10)*(-162)/2160. Which is bigger: -1 or r?
r
Let k(h) = 0*h**2 - 30 - 2*h + 0*h**2 - 2*h**2. Let c(t) = -2*t**3 + 9*t**2 + 6*t - 40. Let s be c(4). Let b be k(s). Is -30 at most as big as b?
True
Suppose 7*x = 28 - 0. Suppose -j - x*l = 9 + 16, -l = 1. Let d be j/(-28) + (-5)/(-4) - 6. Which is bigger: d or -7?
d
Let p = 278 + -272. Let j be (1 - -3)/(p/267). Which is smaller: 177 or j?
177
Let y = 12.897 + -12.397. Do 0.424 and y have different values?
True
Let x be 28/((-49)/(-7)) + 35/(28/(-4)). Which is greater: 2/66237 or x?
2/66237
Let r = -6657 + 6658. Suppose -4265 = -5*c - 875. Let w = c - 31864/47. Is w smaller than r?
True
Let b = 2 - 0. Let v = -1397 - -1403. Let f be b + ((-186)/11)/v. Which is bigger: 0 or f?
0
Let o = 39 - 72. Suppose 11*x + 2*y = 8*x - 56, 0 = 4*x + 2*y + 76. Let b = -54 - x. Is b at least as big as o?
False
Let x = 133 - 139. Let s = -73 - -72.95. Is x equal to s?
False
Let x = 265/3 + -3137/33. Let u = -27 - -27. Which is smaller: x or u?
x
Let v be (-6)/(-2 + 185/90). Let d = v - -130. Suppose 2*i - d = 4*x, -14*x = -13*x + 3. Is 5 greater than or equal to i?
True
Let v be (-9830)/80 - 2/16. Let t = v - 123. Let f be (1 - t/(-210))*(-40)/(-3). Which is smaller: -2 or f?
f
Let u = 176.11 - 1010.11. Which is greater: 3 or u?
3
Let o = 1939.18 - 1939. Let j = -4 - -4.32. Let p = j + o. Are p and -6 nonequal?
True
Let r be (-85 + 3 + -5)*6. Is -521 smaller than r?
False
Let x(n) = -3 - n - 41*n**3 + 40*n**3 - 5*n**2 - 1. Let y be x(-5). Let v be 1 - (-6)/(-55) - y. Which is smaller: v or -1?
-1
Suppose 2122*o - 1700 = 2139*o. Which is smaller: o or -397/4?
o
Suppose -q - 432 + 446 = 0. Let r be (-5)/(-35) - 7/q. Which is smaller: r or 1?
r
Let v = -3974 - -3591. Which is smaller: 3 or v?
v
Let m(o) = 8*o**3 - 21*o**3 + 7*o + 13*o**2 - 4*o**2 - 16. Let c(k) = 3*k**3 - 2*k**2 - 2*k + 4. Let d(n) = 9*c(n) + 2*m(n). Let u be d(1). Is 4/9 < u?
True
Let n = 1337 + -8041/6. Suppose 8 = 2*v + 4*s, 2*s + 0 + 2 = -4*v. Which is smaller: v or n?
n
Suppose -915 - 1501 = -16*w. Which is smaller: w or 152?
w
Suppose -o - 17916 = -3*y - 3933, 3*y = -5*o + 13965. Which is greater: 4661 or y?
4661
Let f = -818.959 - -819.2. Is 1/21 less than or equal to f?
True
Let b(y) = 71*y**2 + 2402*y - 4809. Let d be b(2). Let i(a) = -a**3 - a**2 + 2*a. Let w be i(-2). Are d and w nonequal?
True
Let k(w) = -8*w - 1. Let p be k(1). Let a(j) be the first derivative of -2*j**3/3 - 9*j**2 - 7. Let z be a(p). Which is smaller: z or 4?
z
Suppose -15*c = -32*c + 68. Let d be (c - 1467/(-18))*2/3. Let b(i) = i**3 - i**2 + 3*i - 2. Let j be b(4). Do d and j have different values?
True
Let t = -15.7 + 15.73. Let w = -110 - -109.984. Is w < t?
True
Suppose h = 6*h - 50. Suppose 5*s = h*s + 20. Let r be 3 + -1*(0 - -1) - 0. Is r at most as big as s?
False
Let q = 2599 - 2600. Is q at least as big as -10/661?
False
Let a be (12/(-5) - -3)*36670/(-15). Let c = 1460 + a. Is -6 less than c?
False
Suppose 1152 = -38*d - 26*d. Let j(h) = 1 + h - 5*h**2 - 3 - 3*h. Let i be j(-2). Is d less than i?
False
Suppose 0 = -4*v + 5*q + 11, v + 6 = 5*q + 5. Let a = 9 + -6. Suppose -a*r - 80 = -v*j, 0 = -j - 0*j - 4*r + 20. Which is smaller: j or 21?
j
Suppose 0 = -14*a - 64*a - 161 - 1243. Which is smaller: -4/17 or a?
a
Suppose -5*l = -8*l. Suppose -5*c = 25, l = -5*a - c + 174 + 1. Suppose 5*y - 34 - a = 0. Which is greater: 16 or y?
16
Let q be (-1)/3 - (-41)/69. Let r(p) = -159*p - 9223. Let j be r(-58). Which is greater: q or j?
q
Let b = -4459 + 4461. Which is smaller: b or -397?
-397
Let p be 93/62*(-6 - -2). Let h be (-30)/(p*2/8). Which is greater: h or 7?
h
Let m be (-455)/(-93) - (-280)/(-105). Are m and 1 equal?
False
Let z = -81 - -86. Let f be (-2470)/500 + z/1. Let u = 83 - 83. Is u smaller than f?
True
Let t = 197 + -14256. Which is greater: -14060 or t?
t
Let q(c) = 10*c + 89. Let l be 