5063/22 - 5007/2. Let x(r) = -r**3 + 11*r**2 - 10*r + 1. Let q be x(10). Let f be q/2 - (-2)/(-4). Which is smaller: f or a?
a
Let c = 0.507 + -0.146. Let s = c + -2.361. Is -2/165 smaller than s?
False
Let g = -23172 - -22838. Which is greater: -4/15 or g?
-4/15
Let y be 15/(-9)*(47968/(-23990) + 2). Which is bigger: -1 or y?
y
Suppose -8*r - r = -36. Let m be -71 + 3 + 0 + r. Does -62 = m?
False
Let w(a) = 5*a + 17. Let y(t) = 11*t + 35. Let p(g) = 13*w(g) - 6*y(g). Let h(u) = u**2 - 13*u - 4. Let s be h(14). Let f be p(s). Which is greater: 2/25 or f?
f
Let m = 76 + -27. Let v = m + -47. Let j be 12/30 - (-1)/(-5). Is v at least as big as j?
True
Let d = 0.12077 - -131.87923. Let w = 29.429 + -161.319. Let r = d + w. Are 3 and r unequal?
True
Let y = 0.21 - -13.59. Let v = y - 3.8. Let o = -9 + v. Is o at least 0.11?
True
Let z = 35 - 30. Let u = 161.9 - 163. Which is smaller: u or z?
u
Let q = 3625/91 + -542/13. Which is greater: q or -1.6?
-1.6
Let r = 10263 - 10262. Are 7/1472 and r non-equal?
True
Suppose 2*z + 14 = -4*l - 6, 0 = -5*z + 3*l - 11. Let k be (-98)/z*22/(-517) + 1. Do k and 1/8 have the same value?
False
Suppose -7*g + 8*x - 14 = 5*x, 5*g + 4*x + 10 = 0. Let l be 6*2*(-2)/21. Is l at least as big as g?
True
Let u = 16835 + -25127. Is -8293 bigger than u?
False
Suppose 2811*d = -2*a + 2809*d + 50, -5*d + 45 = a. Suppose 0 = -z + 2*z - 23. Which is bigger: a or z?
z
Let s(o) = 2*o**2 - 2*o + 4. Let a be s(1). Suppose -3*v - 2*r + a = 0, 4*r - 8 = v - 0*v. Which is bigger: -48/7 or v?
v
Let o(l) = l**3 - 137*l**2 - 2278*l - 297. Let r be o(152). Which is smaller: r or -264?
-264
Let f(i) = 36*i**3 - i - 1 - 3*i - 37*i**3 + 11 + 9*i**2. Let b be f(6). Suppose g + 2 = 2*w, 5*w + 8 = -0*w - 4*g. Is w > b?
False
Let d(g) = -g**2 + 19*g - 12. Let r(l) = 12*l**2 + 43*l**3 - 26 - 25*l**3 - 7*l - 19*l**3. Let h be r(11). Let i be d(h). Which is greater: 24/5 or i?
i
Let r be ((-10)/8 + 0)/((-2)/8). Suppose -10 - 10 = -4*o + 3*j, -r*j = o + 18. Suppose 5*f + 5*d + 50 = d, o*f + 5*d + 37 = 0. Which is smaller: -8 or f?
-8
Let b = 0.27642 + -0.07642. Let n be ((-30)/(-22))/(-3) + 1. Which is greater: b or n?
n
Let g be 7/1*((-150)/(-70) - 2). Let x = 0.18 + -0.33. Let y = -0.27 - x. Is y at least g?
False
Suppose 4*p = 4*n - 448, -4*n - 472 = 4*p - 0*n. Let f = 166 + p. Let s = f - 50. Which is smaller: -3/11 or s?
-3/11
Suppose -1865 = 4*p - 33. Let w = p + 2288/5. Which is bigger: 9 or w?
9
Let r be 8/(-6) + (-14)/(-6). Let i be (-12 + 9)/(r/(12/(-315))). Which is greater: 1 or i?
1
Let l be (-2786)/796*(-64)/7. Which is smaller: l or 161/5?
l
Suppose 0*v + 590 = -2*v. Let n = 1488/5 + v. Let k = n - 76/35. Which is smaller: k or 1?
k
Let n = 37845432/1205 - 31407. Are n and 0 equal?
False
Suppose 4*z - 5*c = -32 + 1, -3*z - 18 = -3*c. Which is smaller: -12334 or z?
-12334
Let m = 7.24 - 31.24. Is -5/9 at most m?
False
Let a be ((-4)/27892)/((-20)/(-40)). Is 1 >= a?
True
Let x(n) = n**2 - n + 4. Let j = -5 + 8. Let c be x(j). Let u = -47616 + 47615.9. Which is smaller: u or c?
u
Let m be 68/119*(-56)/(-2). Let n be 8/m*-2 - -74. Which is smaller: n or 70?
70
Let g = 0.087 + 0.183. Is 0.27 greater than g?
False
Suppose -w - 5*a = -59, 0 = -2*w + 4*w + 4*a - 94. Let v = -32 + w. Suppose v*k + 264 = 47. Is k smaller than -32?
False
Let h be 1/(-61)*(4 - 0). Suppose 23*x + 510 - 487 = 0. Which is bigger: h or x?
h
Let s be (-3)/2 - (-34832)/22368*1. Is 1 less than s?
False
Let k(x) be the third derivative of x**6/120 - 4*x**5/15 - 19*x**4/24 + 14*x**3/3 + 145*x**2. Let p be k(17). Is -61/13 at most p?
False
Let c(x) = -x**2 + 24*x + 4. Let b be c(24). Suppose -15*p - 41 = b. Which is bigger: -4 or p?
p
Let l(x) = 6*x**2 - 4*x. Let h(n) = 100*n**2 - 70*n. Let i(z) = 2*h(z) - 35*l(z). Let r(f) = f**3 - 6*f**2 + f - 5. Let u be r(6). Let q be i(u). Is q >= -13?
True
Suppose 30*r = 4*n + 32*r + 6058, n = -2*r - 1507. Which is smaller: n or -1516?
n
Let s be (-200752)/(-33)*(-7)/14. Let p = -9079/3 - s. Let k = -15 + p. Which is smaller: k or 0?
0
Let u = -2979.8 + 2979.9. Which is smaller: -1/392 or u?
-1/392
Let z = -4331/4067 + 51/49. Let a = 2.4 + -2.4. Is z at least as big as a?
False
Let z = -2779 + 2780. Is -653 smaller than z?
True
Let h = -0.9 + 1. Let i = 5/57 - -59/627. Let d = -36/77 + i. Is d at most as big as h?
True
Let h be -16 + 24232/(-91) + 1*-2. Is h greater than -284?
False
Let p = 25.5 + -23. Let h = p - 2.6. Let u be 207*5/(-390) + 4/26. Which is smaller: h or u?
u
Let d = -595 + 728. Suppose d*h + 64 = 129*h. Do -16 and h have the same value?
True
Suppose -1774 = p - 2074. Which is smaller: 301 or p?
p
Let m = 0.95 + -12.75. Let c = m - -0.8. Let n = c + 12.5. Is -0.1 greater than n?
False
Suppose 0 = 5*v + 5*j - 255, 8*j - 5*j - 107 = -2*v. Suppose 6*x = -3*x + 414. Does x = v?
True
Let i = -64 - -60. Let p be (3 + i)*105/7. Which is smaller: p or -19?
-19
Let y = 22078 + -40483/2. Is 1837 > y?
True
Let p be 254/(10/6 + -1). Suppose 6973*i - 7087*i = -43548. Is p less than i?
True
Suppose 4*s - 101216 = 5*k, -5*s - k + 25466 = -100996. Which is smaller: 25293 or s?
25293
Suppose 0 = -3*r + t - 1, -2*r + 5*t - 4 = 14. Let n(f) = f**2 - 9*f - 109. Let x be n(19). Let z be 6/117*x + -1 + -3. Is z at least r?
False
Let w(r) = r**3 - 5*r**2 - 7*r + 5. Suppose 1 - 15 = -3*x + k, -2*x = -4*k + 4. Let m be w(x). Let f be m + 0 + (-90)/(-51) - 1. Which is greater: f or -1?
f
Suppose -6*f = -5*f + 3*h - 134, 4 = -2*h. Is 138 smaller than f?
True
Suppose 48 = 52*a - 4*a. Which is greater: a or 7/6?
7/6
Let x(q) = -28*q + 10. Let g be x(-2). Let u be 3*(-2 + -1 - 220/g). Is -0.1 != u?
True
Let t(d) = d**3 - 5*d**2 + 5*d - 5. Let o be t(4). Let s = o + 0. Let m = 3148 + -18893/6. Is m at least s?
True
Let n = 247545 + -1732807/7. Let l = 0.5 - 0.2. Which is bigger: n or l?
n
Suppose 8 = -a + 3*a. Let z = -265 - -267. Let d be 1*z*((-237)/(-59) - a). Which is smaller: d or -2/5?
-2/5
Let p = -2091 - -2091. Which is smaller: 3 or p?
p
Let o = 22867/1796 + 8/449. Let l be 4/(-6) - 811/(-60). Let c = o - l. Which is smaller: c or -1?
-1
Let h = 1278 + -1278. Is h at most as big as -27/181?
False
Let q = 52 + -52. Suppose r + 20 = 4*b - q*b, 2*b - 4*r - 10 = 0. Suppose b*l - 4*z + 40 = l, -14 = 5*l + 4*z. Which is bigger: l or -2?
-2
Let s(d) = d**3 - 49*d**2 + 4*d - 218. Let x be (-1 - 1) + 56 + (-12 - -7). Let y be s(x). Which is smaller: -4 or y?
y
Let x be (2/(-3))/(4/6). Suppose 4*h + 1234*v = 1237*v - 2, -3*h = v + 8. Is x greater than h?
True
Suppose 0 = -7*o - 376 + 2455. Suppose -o = -9*i - 882. Is -69 != i?
True
Let z be (-2816)/56 + (1 - 5/7). Let f be z/(-325) + 467/(-3120). Does -1 = f?
False
Let i be (-8)/36*-3*6/(-4). Let r be (-58)/i + 10/(-6). Is 56 smaller than r?
True
Let o = -2995 + 8983/3. Is o smaller than -1684?
False
Let b be 620/1038 + 26/(-39). Is 1 smaller than b?
False
Let w(a) = -173*a - 193. Let g be w(34). Is g bigger than -6075?
False
Let b be 130242/48843 + (-256)/96. Which is greater: b or 1?
1
Let d = 125.99174 - -0.00826. Is d greater than -6/23?
True
Suppose 0 = 11*n - 0 - 44. Let s be (118 - n)*1/(-28)*-2. Is 9 less than s?
False
Let l(r) = 14*r + 144. Let y be l(-22). Let j(h) = -18*h**2 - 7*h - 25. Let d be j(-3). Is y smaller than d?
False
Suppose -420351 = -1605*w + 1422*w. Are w and 2296 non-equal?
True
Suppose -4*p - 8 = 28. Let n = -27 + -25. Let b = n - -40. Which is smaller: b or p?
b
Let w = -851/9 + 95. Let f(x) = x**2 - 39*x - 329. Let h be f(38). Let l = 367 + h. Which is greater: l or w?
w
Suppose -6*j + 4*j = 38. Let n = -11 - j. Let m = n + -7. Is m equal to 3/2?
False
Let k be -7 - -6 - -52*130/6840. Do -16 and k have the same value?
False
Let o = -203 + 205.5. Let x = -0.6 + o. Which is smaller: x or 0.2?
0.2
Suppose 1724 = 23*a - 5531 + 539. Is a > 2620/9?
True
Suppose 3*p = 3*j + 6, p = -4*j - 17 - 1. Let x be (p/(-456))/(6/(-84)). Let u = 803/1938 + x. Is u not equal to -0.2?
True
Suppose 9*y = 95 - 23. Suppose -x - 9 + y = 0. Which is greater: 4/25 or x?
4/25
Let s = 109.22 + -186.22. Do s and -8 have the same value?
False
Let p = -0.04627 - 8.89373. Which is bigger: p or -1?
-1
Let o(q) = 36*q - 128. Let z be o(2). Let p be -5 + -6 + z/(-5). Let c(y) = y + 3. Let n be c(-4