+ 2014809/857. Let p = a + 807/21425. Do 0 and p have the same value?
False
Let n be 91/35 + (-4)/(-10). Suppose -s = -2*p + 12, -2*s - 16 = -5*p + n*p. Which is bigger: p or 2?
p
Let s = 492829/53 - 9299. Is s at most -1?
False
Let l be 3/15 + -1 + 7/(-35). Let d be 1 + 2/(-3) + l/(-1). Is d at least 0?
True
Let b = -7065143/361 + 19571. Is b bigger than -1?
True
Let s(r) = 13*r - 1. Let v(b) = b**2 - 7*b + 7. Let i be v(6). Let n be s(i). Suppose x - 4*x + n = 0. Is 3 at most as big as x?
True
Let y = -49608626878/30955317 - -2/1820901. Let v = -1602 - y. Which is bigger: 0 or v?
v
Let s(x) = -7*x + 0*x**2 + x**2 + 2*x + 4. Let f be s(5). Let g = -87 - -86.8. Does f = g?
False
Suppose 11 = 45*n - 34*n. Does -30/271 = n?
False
Let p = 2157 - 2153. Let n = -0.1 + 2.1. Which is smaller: n or p?
n
Let o be 3*(755/190 - 4). Which is bigger: 0 or o?
0
Suppose -c = i + 2*i + 62, 0 = c - 1. Let b be 8 - (-7)/(i/(-12)). Let f be ((-18)/(-12))/(b/2). Which is smaller: f or 11?
f
Let f = 19 - 33. Let n be 1/((-9)/(-6)) + f/21. Does n = -1/115?
False
Let o = 3.5 + -0.5. Let q = 2.12 - 1.854. Let t = 0.034 + q. Which is greater: o or t?
o
Let h(s) = 3*s**3 - s**2 - 2*s. Let c be h(2). Suppose 4*y + c = -2*a, -2*y + 20 = -7*y. Let w = 1 + a. Is 2 at least as big as w?
True
Let p(h) = -90002*h + 4. Let w be p(8). Let m = w - -7913791/11. Let b = m - -577. Which is greater: 1 or b?
1
Let g = 8.3 - 6.3. Let h = 183 - 1284/7. Is g >= h?
True
Let h(r) = 15*r**2 + 2*r + 4. Let m be h(-2). Let l be (-355)/m - 4/(-6). Is l smaller than -4?
True
Let x = 116148/145 - 801. Which is smaller: 0 or x?
0
Suppose 5*m + 2*j - 44 + 431 = 0, 2*m - 4*j + 174 = 0. Is m at least as big as -78?
False
Suppose 1 = -3*g + 13. Let c be 412/90 + (-108)/(-486). Which is bigger: c or g?
c
Let r be ((-7)/(-12) + 8/(-16))*(-632)/4582. Let m be 2*1/(-1 - -3). Which is bigger: r or m?
m
Let y = -525 + 597. Is y <= 71?
False
Let y be ((-10)/4 + -1)*(-4 + 0). Suppose 5*q = 4*d - 10 - 1, 5*d = -3*q - y. Is -3 < q?
False
Let g = -1.59 - -1.79. Let u = -31 + 34.8. Let z = g + u. Which is smaller: -1 or z?
-1
Let z(c) = 26*c**2 + 67*c - 2. Let h be z(-2). Is -41 greater than or equal to h?
False
Let v be (-1 + 1 - 0) + (-560)/152. Which is smaller: v or -3?
v
Let l be (-2169)/(-12) - 3/1. Let z = l + -117. Let c = 60 - z. Is c smaller than -2?
False
Let a = 973.9 + -963. Is -2 < a?
True
Let h(q) be the first derivative of -q**3/3 + 3*q**2/2 + q - 5. Let f be h(0). Is 2/105 at least f?
False
Let n = -49 - -59. Which is smaller: n or -0.1?
-0.1
Let o(w) = -6*w + 105. Let v be o(-27). Which is greater: v or 265?
v
Let y = 8 + -8.3. Let c be ((-10)/190)/((-10)/10). Which is smaller: y or c?
y
Let m = 8 + -3. Let x = m - -3. Let p = 9 - x. Which is smaller: p or -3?
-3
Let h(g) = -72*g + 541. Let m be h(8). Does m = -21?
False
Let i = -20.87 - -9.87. Which is greater: i or 55?
55
Let r be (-9045)/20 + (-2)/(-8). Which is bigger: r or -451?
-451
Suppose -5*o - 36 = 184. Let y be (-12)/(-66) + 30/o. Which is smaller: 0.7 or y?
y
Suppose 2*k - 3 = 7. Suppose 9 = k*a - 21. Let d = -9 + a. Is d not equal to -5?
True
Suppose 0 = -11*a + 3*a - 32. Let h(t) = t**2 - 5*t - 4. Let z be h(5). Are z and a unequal?
False
Let i = 5516551698/2225 - 2479349. Let d = i + 1/445. Which is smaller: 1 or d?
d
Let i = 42 + -66. Let b be 4 + 44/(-10) + i/(-10). Is 5 < b?
False
Let d = -3.99 - -2.99. Which is greater: 378 or d?
378
Let p(f) = 3*f**3 - 2*f**2 + 1. Let a be p(1). Let b = 68 - 40. Suppose 2*n + 5*z = z - 8, -3*z - b = -4*n. Which is smaller: a or n?
a
Suppose -h - 27 = -2*y, -2*h - 7 = -5*y + 45. Let n be h/(-3) + 5/(-15). Let t be 14 + -13 - 7/n. Which is smaller: 0 or t?
0
Let a(c) = -c - 1. Let y be a(-3). Let i = 2 - y. Suppose -20 = -4*z, -5*t + 2*z - 11 + 81 = i. Is t < 16?
False
Let o = 1.35 - -56.65. Let t = -59.8 + o. Is -0.1 equal to t?
False
Suppose 4*z + 22 = -2*b, -2*b + 0 + 2 = -4*z. Let i = -13 - -15. Suppose -3*u = -4*s - 6, -5*u = i*s - 0*s + 16. Is z at least as big as u?
False
Let g = -12 + 17. Suppose 3*s - g = 7. Suppose 2*w + 5 = 13. Is w less than or equal to s?
True
Let w(h) be the third derivative of -h**6/120 + h**5/12 - h**4/6 + h**2. Let p be w(4). Are p and 5 nonequal?
True
Suppose -2*o - 4 = -4*o. Let f = o + 7. Let d be (0/(f/3))/(-2). Which is bigger: d or -9/7?
d
Let v = 329 - 328.5. Which is smaller: -49 or v?
-49
Let z = -92514792/637 + -943883361979/114660. Let l = z - -8377306. Let s = 205/4 - l. Is -1 at most as big as s?
True
Let p = 0 + -2. Suppose 5*l - 19 = 3*z - 0, 3*l = 15. Let g = z + p. Are g and 1 unequal?
True
Suppose 2*o = 3*o - 2668. Let v = o + -8081/3. Let j = -2843/111 - v. Which is smaller: 1 or j?
j
Let f(v) = -v - 10. Let o be f(-7). Let y be 4/o - 1/(-3). Let g be -1 + 3 + (-91)/45. Is y at least as big as g?
False
Let r be 784/280*(-6)/7. Which is greater: -1 or r?
-1
Let l(s) = -s**3 + 14*s**2 + 10*s - 15. Let m be l(14). Let z = -4873/39 + m. Which is bigger: z or 1?
1
Let k = -346.6534 - 0.2466. Let m = 326 + k. Let f = 21 + m. Is -21 less than or equal to f?
True
Suppose 0 = h + 20*c - 16*c + 552, 5*h + 2*c = -2850. Is h at most -572?
True
Let x = 1054 + -7348/7. Which is bigger: 3 or x?
x
Let y be 3/(-8) + 187/136. Is y < -15/59?
False
Let a = 15 + -10. Suppose n = -a*n + 6. Let z be (7 - 6) + 4*n. Is z != 6?
True
Suppose 0*r + r = -5. Let c be (-13)/r - 4/(-10). Suppose -3 = 2*l - c*l. Is 12/7 at most l?
True
Suppose 4*h = -8 - 0. Let z = -7664 + 7663. Does z = h?
False
Let c = -2 + 1. Let w = 2.54 + -0.44. Let v = w + -3.1. Is c greater than v?
False
Let y = -128 + 149. Let j be (-55)/(-2)*4/5. Are y and j equal?
False
Let d = -495 - -495.2. Which is greater: 553 or d?
553
Let v be (-25)/(-6) - (-12)/(-72). Suppose -2*h - 4*l = -0*h - 28, 20 = v*l. Suppose 5*w - 5 = d, -h*d - 5 = d - 5*w. Are 11 and d equal?
False
Suppose 4*k - k = -3*d + 27, -2*d = 5*k - 42. Let j = k + -12. Are -4 and j unequal?
False
Let y = 47.8 - 1.8. Let l = -45 + y. Is -0.41 greater than l?
False
Suppose -2*l = -12 + 36. Suppose -10*s - 1 = -9*s, -i = -5*s + 7. Is i greater than or equal to l?
True
Let p = -43 - -48. Suppose 0 = 3*u + u, p*u = -3*a + 3. Which is smaller: 1/7 or a?
1/7
Suppose 5*q - 14 = 16. Let b = q + -11. Let u = b + 6. Is u equal to 1?
True
Let k = 0 + 0.1. Let v = 108 - 106. Let w be (-2*(-3)/(-8))/(v/8). Which is smaller: w or k?
w
Let n(v) = v**2 + 5*v + 1. Let r be n(-4). Let z be 1 - (r - 627/(-156)). Let u = z + 137/1716. Is u at most as big as 1?
True
Let s be (-1)/((-5864)/1956 + 3). Let m = 949/2 + s. Is m less than or equal to -15?
False
Let i = -909569/9 - -101601. Let l = i + -539. Which is greater: 0.1 or l?
0.1
Let b = -6 + 4. Let w(n) = -12*n - 9. Let m be w(7). Let k be 8/28 - m/(-105). Which is bigger: k or b?
k
Let c be (1 + -2 + 0)/(-1). Suppose 6*i - 5*v = 4*i + 93, 4*v = 2*i - 88. Let p = 103/3 - i. Which is greater: c or p?
c
Let h = -1287 - -1289. Which is bigger: h or 100/59?
h
Let r be 44/35 + 2 - (-20)/(-50). Which is smaller: r or 4?
r
Let i = 51/31 + -5275/3131. Is 1 greater than i?
True
Let z be (-3)/3*7*1. Suppose 0*c - 5*c - 10 = -3*d, -5*c - 2*d - 10 = 0. Let p be (2 + -4 - z) + c. Is p not equal to 0?
True
Let w(s) = -s**3 + 5*s + 33. Let r be w(5). Is r less than or equal to -68?
False
Let w = 41802/2359 + -2/337. Is 17 >= w?
False
Let j = 0 + -25. Let q be ((-20)/j)/(-5 - -3). Let z = -2 + 2.06. Is q at most z?
True
Let z = -26 + 26.41. Let f = z - 0.31. Is 2/5 < f?
False
Let f = 21 - 12. Let k(y) = -4*y**2 - 15*y + 1. Let b(n) = 3*n**2 + 14*n. Let v(i) = 5*b(i) + 4*k(i). Let l be v(f). Which is bigger: 14 or l?
14
Let s be 8/2 + (-465)/117. Let n = -4/39 + s. Is n at most as big as -1?
False
Let x = 204 - 347. Let r = 139.95 + x. Let f = 0.05 + r. Which is greater: f or -1/3?
-1/3
Suppose -3*t - 13*d + 9*d - 605 = 0, -215 = t - 2*d. Is t less than or equal to -206?
True
Suppose 4*n + 3*r - 256 = 0, -5*r = n - 82 + 18. Which is bigger: 62 or n?
n
Let q(l) = -l + 29. Let v be q(30). Do 14/67 and v have the same value?
False
Let d(j) be the third derivative of -j**6/10 - j**5/60 - 8*j**2. Suppose 4 = -5*l - 1. Let u be d(l). Which is greater: u or 12?
12
Let f = -1928/9 - -214. Let r = -13/63 + f. Which is greater: