**2 - 2*b + 1. Let q be m(t). Let l be 2/(-28) + 6/q. Which is greater: 1 or l?
1
Let o = -289.5 - -299.5. Do o and 52 have the same value?
False
Let g = 11492 - 11486. Is g smaller than -2/2719?
False
Let c be 15/30*26 + -2289. Which is smaller: -2275 or c?
c
Let d(y) = 2*y**2 + 52*y - 50. Let f be d(-27). Suppose -4*n + 6 = -2*w, w + 3*w + 4 = f*n. Let k = 1 + -1/4. Which is smaller: n or k?
k
Suppose -5*g - 143*q + 148*q - 5340 = 0, 2*g + 2*q = -2160. Which is smaller: g or -3218/3?
g
Suppose 0 = 2*n + 2*o + 8, 0 = 3*n - 5*o - 160 + 140. Is -6/2557 at most n?
True
Let k be (-42)/168 - 2/(-13 + 5). Let j = 17.15 + -13. Let p = -4 + j. Which is smaller: k or p?
k
Suppose -2*b - 4*l = -44, -b - 15 = -l - 34. Let k be (-1)/(-3)*b/(-125). Which is smaller: -1 or k?
-1
Let l(p) = -p + 1. Let g be l(-4). Let d be (-1)/(1/24*-6). Suppose r + r = y + 55, d*r = g*y + 95. Is 30 <= r?
True
Let j = 3143 + -3151. Let v = -9 + -15. Let n be (-225)/v - (-3)/j. Which is greater: 12 or n?
12
Let i be 2/(-3) - 308/(-12). Suppose -2*u - 7 - 6 = 5*m, -5*m = 5*u + i. Let t = 591/1037 + -24/61. Is m != t?
True
Let f be 7369/7 + (-444)/(-1554). Is f != 1052?
True
Let x = -4196 - -4065. Is -131 at least x?
True
Suppose 3*u - 404 = -4*s, 0*s + 3*u + 86 = s. Let q = 36 - s. Let z = q + 41. Which is greater: z or -22?
z
Let t be 11 + -9473 + (12 - 20). Which is greater: -9471 or t?
t
Let c(i) = -i**3 - 10*i**2 - 7*i - 4. Let s be c(-9). Let j be -2 + (-4 - -7 - 4)*s. Let p be 0 + (-6)/2 + 22. Which is smaller: j or p?
p
Let l be (-1*6)/2 + 32. Suppose 7 = 3*h - l. Let k be (-14)/(-4) + (-2)/4 - -10. Is h < k?
True
Let j be 48/288*-15 + 3 + -1. Is 989 < j?
False
Let y(c) = c**2 + 3*c + 7. Let d be y(0). Let o be ((-15)/5)/(-1) + (-54)/(-14). Which is smaller: o or d?
o
Let c(u) = -4*u - 38. Let z be c(-16). Suppose 2*n = -z + 16. Let m(t) = t**3 - t**2 + t - 7. Let x be m(0). Which is smaller: x or n?
x
Let o(q) = -q**3 + q**2 - 2*q - 7. Let s be o(-3). Suppose 0 = -3*z + 479 - s. Suppose z = -4*b - 4*x, 2*x - 3*x = -b - 37. Which is smaller: -39 or b?
-39
Suppose 6*i = 141 - 33. Let j be (8/174)/((-516)/i). Which is bigger: j or 0?
0
Suppose -309 = -4*s + 5*w - 272, -4*w - 32 = -2*s. Suppose y = 2*v - 13 - 0, 0 = 5*v - 3*y - 35. Which is smaller: s or v?
s
Let z = -144 + 144. Suppose z = o + 17 - 9. Which is bigger: -13 or o?
o
Let n be 10/(-8) - (-5)/20 - 51. Let r be 2/(-13) - (-304)/n. Which is bigger: -39/7 or r?
-39/7
Let b = 41/1925 - -2/275. Let t(z) be the first derivative of z**4/4 + z**3/3 - z**2/2 + 2*z - 1. Let j be t(-2). Is b not equal to j?
True
Let t = 8890 - 35555/4. Which is smaller: -116/7 or t?
-116/7
Suppose 0 = -13*r - 7793 + 7767. Is 3/1397 at most r?
False
Let w(q) = 2*q**2 + 6*q - 387. Let x be w(-14). Suppose -4*v = 157 + 155. Let u = v - x. Is u smaller than 9/7?
True
Let a be 11 + (-1 - -2) + 5 + -7. Let t = 687 + -714. Is t bigger than a?
False
Let m be (400/24)/(-6 + (-220)/15). Let a = -114 + 113. Is a not equal to m?
True
Suppose -28*f + 7*f - 11*f = 0. Let q = 77673 + -776017/10. Let z = -71 + q. Do f and z have different values?
True
Let i = -533 + 538. Suppose 0 = -i*h - 33*h - 38. Does 2/893 = h?
False
Let b = 532 - 531. Let i = b + 8. Which is smaller: i or -1?
-1
Suppose 2*j - 2 = k, 5*k - 12*j + 13*j - 1 = 0. Let q be k*-2*9/54. Is q at least as big as -8/87?
True
Let j = -1.87 - -41.97. Let s = j + -32. Let z = 1.1 - s. Is 2/11 < z?
False
Suppose -20*a + 3090 = -1170. Which is bigger: a or 1497/7?
1497/7
Suppose 15*v + 52 + 8 = 0. Let k be (-2)/(-2 + 0)*(-5 - v). Is k less than or equal to -5/41?
True
Let z(c) = -5*c + 20. Let s be z(2). Suppose -s*k = 5*k - 15. Which is smaller: k or -4/15?
-4/15
Let r = 1546 + -1589.96. Let n = r + 45. Let f = n - 0.04. Which is smaller: -15 or f?
-15
Let g = 39/8 + -405/88. Let k(o) = o**2 + 12*o - 65. Let s be k(4). Let w be s*(44/(-242) + (-8)/77). Which is smaller: g or w?
g
Let g = 127 - 164. Let f(j) = 6*j + 222. Let k be f(g). Let l = 1478/9 + -164. Which is smaller: k or l?
k
Suppose 4*o + 0*o = 28. Let v = -68 - 88. Let x = 160 + v. Which is smaller: o or x?
x
Let j = 2.1273 - 0.6273. Which is smaller: j or 0.084?
0.084
Let s = -195/11 - -222/11. Let c(u) = 20*u - 39. Suppose -50*m + 19*m = -62. Let y be c(m). Are s and y nonequal?
True
Let u = 466440221/168 - 2776448. Let j = -143/8 - u. Suppose 3*s + 12 = 0, 6*s = 3*n + s - 17. Which is greater: n or j?
j
Suppose 2*p - 3 + 37 = -2*r, -2*p - 10 = 0. Let f be r/153 - 6/(-51). Let s = -230 + 229. Which is smaller: f or s?
s
Let y be -21*((-5139)/(-27) + 2 - (4 + -1)). Is -3976 greater than or equal to y?
True
Suppose r = 4*r - 42. Suppose -7*x + 109 = -2*x + 3*k, x - r = 2*k. Suppose 24*c - x*c = 0. Is c less than or equal to 1/5?
True
Let p be 125/75 - (-17048)/(-3). Let a = p + 1232779/217. Are 0 and a unequal?
True
Let i = -20376358/1221185 + 2/174455. Let v = -82/5 - i. Which is greater: v or -0.006?
v
Let p = -88 - -65. Let v = -172 - -744/5. Which is greater: v or p?
p
Let h = -1505 + 1530. Which is greater: 185/7 or h?
185/7
Suppose -7*s - 99*s = -20*s + 64*s. Are s and 1.003 non-equal?
True
Let f = 336 - 335. Which is bigger: -7811 or f?
f
Let o = -17 - -51.4. Let z = o - -4.6. Let x = z + -39.2. Which is smaller: 4/11 or x?
x
Let z = -518 - -849. Does z = 330?
False
Let z = -1257736/41 + 30674. Let n = z + 13831/5576. Is n equal to 1?
False
Let d(r) = -43*r**3 + 4*r**2 + 93*r + 467. Let p be d(-5). Is p greater than 5476?
True
Let c(i) = -9*i - 306. Let w be c(-34). Is w equal to 11/199?
False
Suppose 407*o + 56 = 351*o. Is -1/3079 at least o?
True
Let a = 1 - 2. Let d = a + 0. Let w = 1992.968 - 1999.968. Is w bigger than d?
False
Suppose -5*y + 1606*g + 178 = 1609*g, -5*g - 210 = -5*y. Which is bigger: y or 64?
64
Let f = 2 + -1.4. Let b = 5.4 + f. Let n = 0.301 + 3.699. Which is greater: n or b?
b
Suppose -5*b + 3*t + 88 - 38 = 0, 10 = b + 4*t. Which is greater: -328 or b?
b
Let j be -398 + -3 + -9 + 6 - -4. Let h be -5 + (19 - j)*(-1)/(-7). Which is bigger: 56 or h?
56
Suppose 2186 = 2*l + 4*d, -49*l - 4*d = -48*l - 1089. Is l smaller than 1093?
False
Let k = 43631 + -43560. Suppose 4*m + 3*q - 26 = 0, 0 = -m + 4*m - 3*q - 9. Let b(v) = 2*v**2 + 3*v + 6. Let j be b(m). Is k > j?
False
Suppose 31*p - 24*p - 4536 = 0. Let k = 649 - p. Which is greater: k or -318?
k
Suppose 4*j - 860 = -40. Let n be ((-82)/j)/((-1)/(-50)). Is n at least -25?
True
Let d = 1801 - 1807. Is d > 42?
False
Suppose 4*v - 5*a + 6 = 0, 2*v - 5*a + 2*a + 2 = 0. Let g be v/((-9)/24*4/6). Let m be (-1 + 49)/(3 - g). Is m bigger than -4?
True
Let q be ((-26)/(-7) + -4)*-7*(-40)/(-22688). Which is smaller: -1 or q?
-1
Let y = -30 - -29.8. Let o = -0.15 + y. Let n = o - -0.39. Which is smaller: -2/5 or n?
-2/5
Suppose 24*t + 174 = 822. Let g be ((-492)/t)/((-14)/(-21)). Which is bigger: -26 or g?
-26
Suppose 4*n = 5*y + 69, -77 = -2*n + 5*y - 30. Let m(u) = u**3 - 5*u**2 + 4*u - 2. Let z be m(3). Let f be (-4)/16*z/n. Is f greater than 13?
False
Let q = -16.7 + 111.7. Let f = -95.39 + q. Let v = f - 0.31. Which is smaller: v or 1/2?
v
Let d(f) = -f**3 + 16*f**2 - 6*f + 18. Let t be d(16). Let n = 76 + t. Let r be ((-2)/(-48))/(n/3 - 3). Is 1 <= r?
False
Let n = -29 + 26. Let j be n/15 - 7/15. Let a = 56 + -58. Which is smaller: j or a?
a
Let d = 42 - 17. Suppose 0 = 5*h - 587 + 627. Let i be h - 3344/(-104) - (-2)/(-13). Is i not equal to d?
True
Suppose 2*n + 19 = 25. Suppose h + 9 = -5*z, -2*z = -h + n*h - 6. Suppose 0 = h*d - 0*d. Is 9/7 greater than d?
True
Let p(k) = 4*k**2 - 56*k + 367. Let s be p(8). Is s equal to -2?
False
Let a be ((-28)/10*(1 + -5))/(448/(-30240)). Which is greater: -5294/7 or a?
a
Suppose -22*z - 5*l - 3103 = -26*z, l - 1 = 0. Is z >= 785?
False
Suppose 0 = 18*j - 17*j - 3, 0 = -4*h - 3*j + 13. Is h greater than or equal to 67/27?
False
Let d = -292 + 308. Let u(o) = o**2 - 13*o - 34. Let i be u(d). Which is bigger: i or 13?
i
Let k be (-52)/(-78) - (511/(-3))/7. Let a(s) = -s - 5. Let w be a(2). Do k and w have the same value?
False
Let a be (-18)/(-2 + (2 - 1)). Suppose 4016 = 10*k + 686. Suppose 0 = -k*s + 337*s - 68. Which is smaller: a or s?
s
Suppose 104*t = -99*t + 186*t. Which is smaller: t or 5/102?
t
Suppose -9*j =