 x(n) = -3*n**2 - 275*n - 535. Let h be x(-58). Is 5322 greater than h?
False
Let g = -576 - -344. Let v = g + 158. Let f be 68*-1 + 11 + (-14 - 2). Is v at most f?
True
Let f = 44 - 39. Suppose -4*c - 5*m - 3 = -2*c, f = c - 4*m. Which is smaller: -4/107 or c?
-4/107
Suppose -100 = 5*a - 0*a. Suppose -82*s = 1861 - 311 + 172. Which is smaller: s or a?
s
Let v = -3299 + 3338. Which is greater: 4/19 or v?
v
Let f = -442891/7 - -63149. Is -121 less than f?
False
Let g(v) = v**2 + 130*v + 8. Let f be g(-30). Are 1 and f nonequal?
True
Let l be (6 - 0)/((-22)/(-1001)). Suppose -5*p - 28 + l = 0. Suppose 2*t + 147 = 5*t. Is t < p?
False
Suppose 384*n - 5980 = 410*n. Suppose 2*t + y + 462 = 3*y, -2*y = -4. Is n at most t?
True
Let y(o) = o**3 - 11*o**2 + 20*o - 72. Let a be y(10). Let s be (-1 - 2 - -1) + 1. Let w be (-1*s/61)/((-14)/a). Which is bigger: 1 or w?
1
Let b be -2*12876/8 - (-4)/(12/9). Which is smaller: -3217 or b?
-3217
Let u(k) = -k**3 + 7*k**2 - k + 7. Let s be u(7). Let b = 90448307 - 7869170447/87. Let j = b - -1928. Is j less than s?
True
Let p be 290226/(-159)*(-3)/(-4). Let c = p - -1369. Suppose 3*o + 1887 = 1890. Is c < o?
True
Let w be (-4)/(-2) + (13 - 3)/(-10). Let q be w - (-4 - -6 - 12). Do q and 13 have different values?
True
Let q = -35 + 35. Do -15.44 and q have the same value?
False
Let p be ((-6)/(-1) + (23 - 29))/2. Suppose p = -d + 55 - 56. Is 1/243 at most as big as d?
False
Suppose -5*p = -4*y - 9*p - 572, -y - 153 = -p. Let o be y - ((-42)/35)/((-12)/(-40)). Is -147 equal to o?
False
Let r be 51/4*(-80)/(-12). Let z be (-38)/(-290) - 17/r. Suppose 4*y - 5 + 1 = 0. Are z and y nonequal?
True
Let x be ((-1886)/69)/(-41)*51/2. Is 46/11 <= x?
True
Suppose 0 = -5*v + 3*n - 9, 0*n - 9 = -3*n. Let d be (-5 - (-12)/44) + v. Which is smaller: -4 or d?
d
Let a be -3*(7/(-9) - -1). Let z be 2/5 - (-108)/(-45). Let v be (-2)/z*(-4)/(-34). Which is smaller: a or v?
a
Suppose -7*x - 8 = 118. Let u(r) = r**3 + 2*r**2 + 3*r + 2. Let k = -5 + 2. Let w be u(k). Which is bigger: x or w?
w
Let z = 65 + -52. Let u(t) = -t**2 + 18*t - 21. Let y be u(z). Let h = y - 221/5. Which is smaller: 1 or h?
h
Let i = 0.07 - -7.63. Let q = i - 8. Suppose -1061*v = -1043*v - 12 + 30. Is q less than v?
False
Let s = 4 + 0. Let k = 1434 + -1426. Suppose 3*w - 2*u - k = 0, 0 = -0*w - 2*w - s*u - 16. Are -3 and w nonequal?
True
Suppose 0 = -s - 6*s. Let y be 1*(2 - s/2). Let w be 171/76*-2*y. Is w bigger than -8?
False
Let k = -7.979 - -8. Let y = -395 + 395.221. Let h = k - y. Which is bigger: 2 or h?
2
Let h = 1384/5 - 289246/1045. Let y(j) = j**2 - 22*j - 103. Suppose 3*b + 21*t - 70 = 25*t, t + 24 = b. Let w be y(b). Is h greater than w?
False
Let s(q) = 5*q - 6. Let c(d) = -d + 1. Let k(p) = -6*c(p) - s(p). Let y be k(3). Let v = -2933/36 - -333/4. Which is smaller: v or y?
v
Let d be -268 + (-52)/20*-5. Which is bigger: -256 or d?
d
Let a = 804925/4 - 204135. Which is smaller: a or -2905?
-2905
Let c = 137203.062 - 137077. Let u = -126 + c. Is -1 smaller than u?
True
Let t = 9745 - -14495. Which is smaller: t or 24241?
t
Let h(y) be the second derivative of -5*y**3/2 + 49*y**2/2 - 71*y. Let m be h(4). Suppose -r + 32 = -3*z, 15 = -3*z - r - 19. Is z greater than m?
False
Let q = -7710 + 6921. Is -0.2 less than or equal to q?
False
Let r be (50/(-7092))/(940/(-564)). Which is smaller: 0 or r?
0
Let d(m) = -m**3 - 5*m**2 - 2*m + 13. Suppose -3*g + 16*k - 11 = 17*k, g + 9 = -3*k. Let v be d(g). Is 1/308 greater than or equal to v?
False
Let d = 0.27 + 0.03. Let j = -24155 - -24101. Is d not equal to j?
True
Let c be ((-5)/(-60)*18)/(2/(-8)). Let k be (-21)/2 + (c/(-8) - 1). Which is smaller: -11 or k?
-11
Let j be 7 - (13 - 5760/102). Which is smaller: j or 51?
j
Suppose 1 = 2*y - 0*l + l, -y + 2*l = -13. Suppose 3*c - y*c = -5*c. Let b be 1 - (9/18)/((-26)/(-92)). Is c less than or equal to b?
False
Let o = -4583 - -4584. Which is greater: o or -3/40?
o
Suppose r + 2*h = -11, 7*r - 5*r - 3*h - 13 = 0. Which is smaller: r or -9/485?
r
Let x = 106.92 - 107. Let l = 0.199 - -1.301. Which is smaller: l or x?
x
Let x be (-42 + 90 - 45)/(2*(-18)/(-8)). Which is smaller: x or 30.6?
x
Let b be -4 + 161/280 + -2*9/(-45). Which is smaller: b or -3?
b
Suppose 0 = i + 2*i + 96. Let k = i - -35. Suppose 3*x = -k*x. Which is smaller: x or 1/2?
x
Let l be (27/6)/((-33)/484). Let q be (12/l + 12/66)*-1. Is q less than 6/127?
True
Let r(c) = -3*c**2 - 57*c + 15. Let j be r(-12). Which is bigger: 261 or j?
j
Let x be -4*((-154)/(-8))/(-7). Suppose 6*m + 25 = x*m. Suppose 21*v - m = 16*v. Is 7/9 bigger than v?
False
Suppose 3*u - g + 0*g = 7, -3*g = 3*u - 15. Let f be (-6)/2 - u*(-2)/3. Which is greater: -2/41 or f?
-2/41
Suppose -p + 1345 = -3*v, -11*p + 4*v = -7*p - 5348. Which is greater: p or 4000/3?
4000/3
Suppose 2*d + 2497 = 62*b - 61*b, -3*b - 3*d = -7572. Is b not equal to 2512?
True
Let z = -64 - -80.7. Let m = z - 15.7. Let t = 16 - 15.93. Is t at most as big as m?
True
Suppose 0*c + 4*c - 36 = 0. Let p = -817 + 828. Is p less than c?
False
Let j = -8775 + 8777. Is -1.997 greater than or equal to j?
False
Let t be (214 + 1)*(-8)/(-6) + 116/87. Which is smaller: t or 0.4?
0.4
Let g(r) = -4*r**3 - 10*r**2 + 10*r + 42. Let z be g(-4). Let f(p) = 2*p**2 + 22*p + 15. Let x be f(-14). Is z at most as big as x?
True
Suppose -949 + 3329 = 14*l. Suppose l = s - 6*s. Which is bigger: -133/4 or s?
-133/4
Let t = -7 - -8.5. Let i = 58 - 89.9. Let j = i - -32. Which is greater: j or t?
t
Suppose -i + 5*h - 19 = 5, 30 = -3*i + h. Let s(k) = -k + 5. Let x be s(-14). Suppose 2*b + j + 18 = 0, 14*b - 15*b = -2*j + x. Which is greater: i or b?
i
Let o(c) = -c**3 - 6*c**2 - 8*c - 15. Let y be -46*(-1)/(2/(-3)). Let z = 64 + y. Let w be o(z). Which is greater: -2/7 or w?
w
Suppose -3*h - 124 = 4*v, 0 = -5*v + 2*h - 33 - 99. Let q = -13 + 84. Suppose -5*x = 211 - q. Is x < v?
False
Suppose -5*u + 24 = -5*n - 1, 4*n + 20 = -4*u. Let v be 0 - ((-12)/(-15))/(6/1005). Let h = 140 + v. Which is smaller: h or u?
u
Let k be 329/(-21) - 4/12. Let l be 2/(-17) + 447*k/(-680). Is 11 not equal to l?
True
Suppose 0 = 16*k - 22 + 502. Let b = k - -21. Which is greater: b or -8?
-8
Let n = -454 + 572. Do 591/5 and n have the same value?
False
Let v = 10689 - 10683. Which is smaller: v or 297/5?
v
Suppose -3*v - 675 = -2*k, -2 - 4 = -2*v. Let w(g) = 7032*g + 7374. Let c be w(-1). Is k not equal to c?
False
Let u = 31.84 - 35.84. Is -4/41 at most as big as u?
False
Let r(q) = -5*q - 2. Let c be r(2). Let w(p) = -p - 17. Let b be w(c). Let o be b/10 + (-22)/(-56). Which is smaller: 2/3 or o?
o
Suppose -5*q + o - 3 = 0, 19*o = -5*q + 18*o - 7. Which is greater: -2/1085 or q?
-2/1085
Suppose 0 = -4*k - i - i - 178, -2*k - 80 = -2*i. Let w(b) = 6*b**3 + 3*b**2 + 3*b - 2. Let d be w(-2). Is k less than or equal to d?
False
Let i = -439/3 + 178. Let n = -8330 + 8362. Is i > n?
False
Suppose 0 = -3*g + 222 + 33. Let u = 57 - g. Let a be -2 + 1 + -2 + 31 + u. Is a >= -3/8?
True
Let n be ((-3)/(-27))/(4/6). Let p = 14 - 7. Suppose -8*q - p = -q. Which is smaller: q or n?
q
Let d(c) = 88*c + 8045. Let u be d(-91). Is 43 greater than u?
True
Suppose 0*y + 18360 = -15*y - 19*y. Which is bigger: -529 or y?
-529
Let a(n) = 303*n**2 - 6*n - 4. Let h be a(-1). Let b = 262 - h. Which is greater: -0.1 or b?
-0.1
Let g(c) = -c**2 - 23*c + 78. Let h be g(-26). Let w(p) = -p**3 - 2*p**2 + p - 102. Let i be w(h). Is -102 at most as big as i?
True
Let z be (759/(-15) + -9)/(17732/15). Let i = z + 2/403. Is i > 0?
False
Let z = -23.9 + 25. Let u = 94487 + -94488. Which is smaller: z or u?
u
Suppose -13*c - 36 - 744 = 0. Let x = c - -490. Is 430 at most as big as x?
True
Let n(a) = -4*a**2 - 20 - 55*a + 61*a + a**3 - 4*a**2 - 2*a**3. Let i be n(-7). Let t = i - -8. Which is bigger: -104 or t?
t
Let i(l) = -67*l - 238. Let p be i(-33). Let f be p/9 - 106/477. Which is smaller: 218 or f?
218
Let y = -29492 + 29478. Is y > 1/571?
False
Let t be (1900/1888 + -1)*(-5)/750*-4. Are t and 1 non-equal?
True
Suppose -3713*u + 3706*u + 357 = 0. Is u > 46?
True
Let n = 795 - 1388. Let k = n - -458. Do k and -135 have the same value?
True
Let k = -278 + 119. Let q be 7 + 6*k/6. Is 1 >= q?
True
Let u(n) = 24*n**2 - 208*n -