1). Suppose 2*i - 5*p - 31 = 0, -3*i + 4*p + 31 = -12. Is c not equal to i?
True
Suppose 4 = j - 3*a - 0*a, a = -3*j + 32. Let m = 49/9 + 91/18. Let b = j - m. Are b and -2 unequal?
True
Let a = 835 - 421. Is a > 414?
False
Let f(k) = -9*k - 57. Let w be f(-6). Suppose 5*p + 1 = -9. Which is smaller: p or w?
w
Let w = 127 - 128. Let d = -28 + 23.9. Which is smaller: w or d?
d
Let g be (-2950)/8 + 11/4 + -3. Is -369 at most g?
True
Suppose 2*x + 3*x = 0. Suppose x = 4*u - 10 - 6. Let k(p) = -p**2 + 3*p + 4. Let c be k(u). Which is smaller: c or 0.5?
c
Let y = -63.3 - -62.3. Is y smaller than 68?
True
Let k = -1.1 + 3. Let d = 8.3 + k. Let b = d + -10. Which is bigger: b or -1?
b
Suppose g + 6 = 5*f - 0, -4*f = 4. Let x(l) = -31*l**2 + 120*l + 4. Let r be x(4). Which is greater: r or g?
g
Suppose 0 = -9*y + 8 + 28. Suppose 2*j = -y*g, j + 4*g = 2*j. Which is bigger: -4/9 or j?
j
Let b = 124 + -123.87. Which is smaller: b or 7/6?
b
Let x be 145/20 - 4 - 3. Let q = 307 + -579/2. Let g = q + -18. Is g > x?
False
Let i = 171/620 - 7/31. Let z = 67 + 9. Let f = -77 + z. Which is greater: i or f?
i
Let s = -2029 + 249565/123. Let h = 236/615 - s. Let l be (1/(-2))/((-2)/4). Which is greater: l or h?
l
Let f = -7 - -7. Suppose f*t + t - 15 = 0. Suppose -4*i - 2*v + t = -v, 2*i + 5*v = 3. Is i greater than 5?
False
Let j be -5 + 2 + 12/2 - 2. Does j = -1/766?
False
Let k be (-1)/(421/(-1685)) - (-3 + 7). Is k at most as big as 1?
True
Suppose 2*n = 5*p + 25, p = 25*n - 28*n - 5. Let v be -7*(-2 - -3)*1. Let h be (1/v)/((-1)/2). Are h and n nonequal?
True
Let m be (32/(-80))/(2/((-60)/537)). Is m at most as big as 1?
True
Let d = 55 + -77. Let v = 23 + d. Is -1/70 >= v?
False
Let v be (-12)/(-4) + -1 + -4. Let p(o) be the third derivative of o**4/12 + o**3/2 + 3*o**2. Let k be p(v). Which is smaller: k or 0?
k
Let l = 1.28 - 1.18. Is -0.082 > l?
False
Let r = 37 - 20. Let i = 44 + -89/2. Are r and i unequal?
True
Let j = -28 + 64. Let v = -28 + j. Suppose 4 = v*b - 28. Is 3 bigger than b?
False
Let w be (-84)/200*((-66)/18 - -3). Which is bigger: 0 or w?
w
Let c = 5.1 - -0.9. Let u = -6 + c. Let n = -144 - -144.4. Is n less than u?
False
Let t = 56 - 8. Let q = 64 - t. Is 16 at least q?
True
Suppose 0 = 35*y - 16*y. Does y = -1/959?
False
Let r(j) = -5*j**2 - 117*j + 39. Let b be r(-27). Is -448 != b?
True
Let h(q) = -q**3 + q + 4. Let b be h(0). Let v = -77 - -153. Let u = v - 143/2. Is u greater than or equal to b?
True
Let j = 3047/10 + -305. Let i = 26 - 17. Let k be 2/i - (-14)/(-63). Which is bigger: k or j?
k
Let u be ((-18)/(-84))/((-18)/1128). Is -12 > u?
True
Let b be ((-5092)/(-304))/(14/8). Which is smaller: 10 or b?
b
Let y be (-12)/8 + 115/46. Which is bigger: y or 7/129?
y
Let b(g) = -g**3 - 4*g**2 - 8*g + 4. Let l be b(-4). Suppose 0 = 5*h + h - l. Suppose 0*k + h = 3*k. Which is greater: 0 or k?
k
Let r = 68 - -36. Suppose l = -3*l - r. Let o be l/(-126) - (-2)/9. Is o bigger than -1?
True
Let l = 0.4 - 0. Let w = 3 - 65. Let o be 2 - ((-2)/(-6) + w/(-30)). Which is greater: o or l?
l
Let f be (-2)/(-4) + (-39)/6. Let t = 104 - 195. Let c = -97 - t. Are f and c nonequal?
False
Let u be 0 - -6 - (97/2 - 5). Which is bigger: -39 or u?
u
Let f = -6 - -10. Suppose -4*a = 2*p - 3*p + 35, 3*p + f*a = 121. Is p != 39?
False
Let f(c) = 5*c - 130. Let y be f(26). Is y less than or equal to -2/1589?
False
Let r(q) = -q**2 + 2*q + 3. Let x = 12 - 9. Let a be r(x). Suppose a = 3*s, -5*s + 2 = -0*f + f. Which is bigger: f or 3?
3
Let l = -1020 - -1025. Which is greater: 86/21 or l?
l
Suppose j = -4*r - 12, 0*j = -j - 3*r - 10. Let w be (6/9)/(j/(-150)). Suppose -5*n - 4*a = w, 5*a + 8 + 15 = 2*n. Is -15/7 less than n?
True
Let c = -3058 + 3064. Let f(t) = t**2 + 5*t + 1. Let r(j) = j**2 - 6*j - 1. Let y be r(5). Let l be f(y). Is l >= c?
True
Let l(i) = -65*i - 2. Let a be l(-1). Suppose -j = -4*j + a. Suppose -7*v + j = -0*v. Which is smaller: 2 or v?
2
Suppose -16*w + 67 = -13. Which is smaller: w or -1/3?
-1/3
Let n = -1087.957 - -1088. Is n equal to -0.2?
False
Let g(r) = 6*r**3 - 3*r**2 + 3*r - 3. Let c be g(2). Let b = -26 + c. Are b and 14 unequal?
True
Let h = -1176 + 517. Which is smaller: -657 or h?
h
Let d = -829.07 + 829. Let y be 22/(-24) - 3/(-12). Which is smaller: d or y?
y
Suppose -s - 3*o + 19 = 0, 2*s - 76 = -2*s + o. Suppose -6*p + 23 = -97. Which is smaller: s or p?
s
Let r be -3 + (72/28 - (-8)/(-14)). Are -69 and r equal?
False
Let n = -490 - -500. Which is greater: -2/13 or n?
n
Let g = -967 - -967. Is g greater than or equal to 62?
False
Let k = -173/132 + -14801/264. Are k and -56 unequal?
True
Let a = -1877 - -3456. Is 1580 less than or equal to a?
False
Let k(l) = -l**3 - 10*l**2 + 2*l + 9. Let x be k(-10). Let i(a) = -a + 25. Let h be i(7). Suppose -2*t = h + 6. Which is smaller: x or t?
t
Let d = -2 - -5. Suppose -4*m + 2*h = -2*h - 68, 5*h = d*m - 47. Let v = 23 - m. Is 1 >= v?
False
Let o be 4/(-6)*(-29)/10. Do 3 and o have different values?
True
Let f be 7*((-9)/(-27) + (-5)/(-21)). Suppose -f*l = 2*w - 4, 4*l = -0*w - w. Let q be (-5*(-2 - -1))/1. Which is bigger: w or q?
q
Suppose -37 = 3*j - 7*j + n, -j + 2*n = -4. Suppose -j*k = -13 + 3. Let f(a) = a**3 - 3*a**2 - a + 4. Let i be f(3). Is i <= k?
True
Let x(d) = 106*d + 102*d + 2 - 2*d**2 - 207*d - d**3. Let b be x(-1). Which is bigger: b or -19?
b
Let h = 92873/138 + -673. Is h < -1?
False
Let f = -0.01 + -0.49. Suppose -3 - 5 = 4*v. Let k = v - -1. Is k at most as big as f?
True
Let g = -3091/174 + 107/6. Which is greater: -0.04 or g?
g
Let i be (-8470)/924*4/(-115). Which is smaller: i or 0?
0
Let c = -691/4 + 172. Which is greater: c or -2?
c
Let w(c) = c**3 - 13*c**2 - 18*c + 57. Let d be w(14). Is d less than -8/183?
False
Let n(g) = g**2 - 7*g + 5. Let v be ((-15)/12)/(2/(-8)). Let x be n(v). Let t = -714 + 706. Is t bigger than x?
False
Let j be (-27218)/(-10038) + 12/42 + -3. Is 1 less than j?
False
Suppose -262 + 775 = 3*k. Let h = 1541/9 - k. Suppose 0 = 116*p + 76 + 40. Which is smaller: h or p?
p
Suppose -12*z = -8*z - 4. Is -3/200 greater than z?
False
Let b(n) = 9*n**2 + 4*n. Let g be b(3). Is 94 < g?
False
Suppose 2*m + 82 = 2*h, -19*h + 17*h = m - 73. Which is smaller: 36 or h?
36
Let k be -3 + (-2 - -3) + 2. Let p be (k - -3)/(0 - -1). Let g be (-1)/(p + 22/(-8)). Is -4 less than g?
False
Let x = -426 - -760. Are 335 and x equal?
False
Suppose 0*p - p = u - 6, -3*u + 4*p = -11. Let c = -4 + u. Let g = -308/879 + 5/293. Which is smaller: g or c?
g
Let w = 2237/135 + -81/5. Which is greater: 0 or w?
w
Suppose 0 = -4*a - 4*m - 20, 3*a + 3*m + 12 = m. Let w be a - 2 - -7 - -1. Which is smaller: -3 or w?
-3
Let s(u) = -u**2 - 3*u + 8. Suppose -4*c = -n - 3*c, -4*n - 4*c = 40. Let g be s(n). Let r be (1 + -1)/(0 - g). Which is bigger: 5/7 or r?
5/7
Let r = 526 - 14723/28. Is 0 bigger than r?
False
Let r = 5 - -10. Suppose 10*m - 5 = r. Which is smaller: 14/5 or m?
m
Let u be (-1 + 3/(-6))/3. Which is bigger: 12 or u?
12
Let t = -0.1798 + 625.1798. Which is greater: t or -2?
t
Let i(k) = -42*k + 53. Let j be i(2). Let x be ((-60)/(-14))/((-2)/14). Let v = x - j. Are 1/11 and v unequal?
True
Let z be 2/(10/(-3)) - 15036/(-35). Suppose 0 = 14*w - w + z. Is w > -34?
True
Suppose 4 - 2 = -r. Let p be (-4)/(0 - -2)*3/(-2). Let o be (40 - 1)/p*1. Is o less than r?
False
Suppose 0 = 3*m - 124 - 17. Let y = m - 48. Let a = -27/7 + 155/42. Is a greater than y?
True
Suppose -4*w = -3*w. Let q = -41 + 60. Let u be (-4 - q/(-5))*(-8)/6. Is u at most as big as w?
False
Let d be (-16)/110 - (-2)/(-5). Let l = 360 - 360. Is l greater than or equal to d?
True
Suppose 3*t - 8*t - 30 = 0. Let h be 4/14 - (3330/(-70))/(-9). Which is smaller: h or t?
t
Let j = -0.0372 + 0.0372. Which is bigger: 1/39 or j?
1/39
Let k be -1 - -2 - (-3 - -4). Let h be 4/(58 + (4 - k)). Which is smaller: h or 1?
h
Let n be (100/(-400))/((-1)/(-4)). Let s = -128 + 638/5. Which is greater: s or n?
s
Let v = -300.9 + 301. Which is bigger: -290 or v?
v
Suppose 0 = -5*p + 2*s + 28, -4*p + s - 3 + 26 = 0. Let g(w) = -w**3 + 7*w**2 - 5*w - 5. Let o be g(p). Let x = -5 - o. Do -7 and x have the same value?
False
Let v be (3/72)/(482/1542). Let h = -2/241 + v. Is h >= 1/3?
False
Let d(q) = 1 + 1 -