s m bigger than i?
True
Let o = 16462/555 + -140/111. Let q = 6478 + -6449. Is o != q?
True
Suppose 3*o - 5 = -80. Let d(j) = -j**3 - 6*j**2 + 2. Let g be d(-3). Is g > o?
False
Suppose 0 = -u + 5*k + 35, 0 = 5*u - 7*k + 8*k - 71. Which is greater: u or 79/5?
79/5
Let d(b) = 22*b + 6. Let v be d(6). Let s(f) = f**2 - 33*f - 240. Let r be s(-9). Is r less than v?
False
Let q be ((-56)/(-462))/((-4)/(-6942) - 0). Let w = q + -210. Is -0.2 < w?
True
Suppose -3*u + 148 = 4*z, 0 = u + 3 - 7. Let f = 30 - z. Do f and -3 have different values?
True
Let d = -454 - -6353/14. Which is greater: d or 9/5?
9/5
Suppose 1414*z = 1422*z + 1400. Which is bigger: z or -174?
-174
Let v = -13217/4 - -3329. Is 26 smaller than v?
False
Suppose 832 = -20*h + 1152. Which is greater: -7 or h?
h
Suppose 2*h - 47 + 215 = 2*m, -5*h = 0. Let f be (-14)/m - 34/12. Which is smaller: -27/7 or f?
-27/7
Let a = -111 - -111. Is a >= -5/26?
True
Let d = 240 + -422. Is -182 greater than d?
False
Let g(s) = -s**2 + 9*s - 5. Let u be g(7). Suppose 9 - u = -4*r. Is 13/9 at most as big as r?
False
Let h be (3*1/21)/((-16)/(-112)). Which is smaller: -1/15 or h?
-1/15
Suppose -r + 21 = 6*r. Suppose -7*o = r*v - 3*o + 2, 0 = 5*v - o + 34. Is -5 < v?
False
Let h = -5 + -4. Let m be (0 - 1)/(h/2). Let f = -0.278 - -13.278. Is m > f?
False
Let t(h) = -5*h - 6 - h**3 - h**3 + 3*h**3 + 40*h**2 - 38*h**2. Let q be t(-3). Is -33 less than or equal to q?
True
Let g be (-196)/(-6) + 4/(-6). Suppose 4*u - 103 = -3*b, u = -b + 11 + 22. Let k = b - g. Is -1 < k?
False
Let b(l) = -l + 7. Let u = -113 - -120. Let i be b(u). Is i less than or equal to -3/34?
False
Let n = 2152/5 - 772558/1795. Let j = -696/3949 - n. Which is smaller: j or 0?
j
Let z be -5 + 2 - -1 - -1. Suppose -14*g + 19 = -37. Which is smaller: z or g?
z
Let a = -3990/11 - -363. Are a and 9 nonequal?
True
Suppose 0 = -5*x + 13*x + 96. Let f = 16 + 4. Let a = f + -31. Is a at least as big as x?
True
Suppose 17*j - 958 = 1014. Which is smaller: 118 or j?
j
Let p = 30 - 13. Let i = -37 + p. Let a be ((-4)/i)/(8/10). Which is smaller: -9 or a?
-9
Let u = 46.9 - 46.4. Let g = 8 + -6. Which is smaller: u or g?
u
Let q = 1/5 - -3/35. Let r = 8 - 8. Are r and q non-equal?
True
Suppose 4*j - 9 = j. Suppose j*i + 46 - 16 = 0. Is -3 less than i?
False
Suppose 2*h + 2*i + 478 = 0, 4*h + 5*i - 209 = 5*h. Which is bigger: 0.1 or h?
0.1
Let f(q) = -q - 3*q + 5*q + 0 - 2*q**3 + 1. Let l be f(-1). Let b be (-2 + 27/13)/l. Which is bigger: b or -1?
b
Let v be ((-8)/10)/((-2)/20). Let y(w) = -2*w**3 + 6*w**2 + w + 3. Let h be y(3). Let u = h - v. Which is bigger: u or -1?
-1
Let c = 20941/7 + -2981. Is 5 less than c?
True
Let u(l) be the third derivative of 5*l**4/24 + 29*l**3/6 - 7*l**2. Let j be u(-6). Are -2/33 and j equal?
False
Let x = -0.551 + 0.451. Let t = 20.97 + -21. Which is smaller: x or t?
x
Let c = -22868 + 114883/5. Which is bigger: 109 or c?
109
Let b(o) = o**3 + 5*o**2 - 14*o - 1. Let l be b(-7). Let m be l/2*(0 - -2). Which is bigger: m or -1/31?
-1/31
Let j = 11 - 2. Suppose -3*k + j = 24. Let w(y) = y**3 + y**2 + y - 5. Let s be w(0). Are k and s equal?
True
Suppose -3*z = z - 84. Let b = 7 - z. Let x = 9 + b. Which is smaller: 0 or x?
x
Let r = 314 - 355. Which is smaller: r or 0.2?
r
Let p = 16 + -12. Suppose -p*j - 1 + 5 = 0. Is j < 4?
True
Suppose 6 = n + 2. Suppose 0 = 2*f - n*q + 8, 0*f = 2*f - 3*q + 5. Let u = 3 - f. Is -3/14 not equal to u?
True
Let i be (-1 + 1)/((-116)/(-58)). Is i < 2/817?
True
Let m = -44276/287509 - -12/2687. Is -1 smaller than m?
True
Let m(c) = c**3 + 17*c**2 + 14*c - 20. Let r be m(-16). Suppose 4*i = -r, -3*i - 72 = -3*b - 5*i. Is b less than 26?
False
Let h(t) = 28*t**2 - t + 1. Let g be h(-1). Let p be 4/10 - 522/g. Is -18 equal to p?
False
Let f be (2 - 8*-1)/1. Suppose f = 15*r - 20*r. Let s be (-6)/r - 17/6. Does s = 1?
False
Let b = 0.17 - 0.17. Let c(v) = v**2 + 15*v + 18. Let g be c(-14). Suppose g*r - r - 27 = 0. Is r at most b?
False
Suppose -4*h = -h - 21. Let q = h + -5. Suppose q*s - 32 = 6*s. Which is bigger: s or -7?
-7
Let t be 1/(-6) + 3/18. Let u = 440/4541 - -2/239. Let i = -79/570 + u. Is t != i?
True
Let v be 7/10 - (219/30 + -7). Is v at least as big as -2/137?
True
Let f be 4 - (-4 + 5 - -376)/94. Which is greater: f or 0?
0
Suppose -5 = -5*i - 30. Which is bigger: i or -70/19?
-70/19
Let n be (-376)/(-5) + 0 - (-6)/(-30). Let c = -61 + n. Is 12 bigger than c?
False
Let n be 2 - (-1)/((-3)/9). Let c = -64.2396 + 0.2396. Are n and c non-equal?
True
Suppose -5*x + 2 = g, -5*g = x - 7*g + 4. Which is greater: -2/1933 or x?
x
Let f = -53/259 + -3/37. Let s be -4 + (3 - -8) + -4. Suppose -u - 3*u = s*g - 3, 3*g + 5*u = 0. Which is bigger: f or g?
g
Let a be ((-16)/24)/((-4)/54). Let m be 6 - a - (-2 + -1). Let z = 2/45 + -17/45. Is m <= z?
False
Suppose 4*i - 7 - 1 = 0. Suppose 2*p = 3*n + 6*p - i, 5*n - 11 = p. Suppose -n*o + 2*a - 8 = 2*o, 2*a = -4*o - 16. Which is bigger: -2 or o?
-2
Let n be 3/(-9) - 62/(-6). Let s be 295/25 + 2/n. Is s > 13?
False
Suppose -16 + 1 = -5*c - 5*x, -3 = -2*c - x. Which is smaller: c or 1/649?
c
Suppose j + 0*j = -3*w - 23, 3*j - 4*w = -4. Let p(h) = h**2 + 6*h - 14. Let u be p(j). Suppose 2*s = 5 + 3. Are u and s non-equal?
True
Let i be ((-249)/(-12))/(6/(-8)). Let h = i + 33. Suppose -8*x = n - 5*x + 8, 3*n - x = 16. Which is greater: h or n?
h
Let j(a) = a**3 + a**2 - 5*a - 1. Let i be j(4). Let y be 423/28*(-36)/(-9). Let r = i - y. Which is bigger: -1 or r?
-1
Let k(g) = 5*g**2 + 11*g**3 - 9*g - 12*g**3 + 4*g**2 - 2. Let i be k(8). Is -10 at least as big as i?
True
Suppose -5*j + 2*a = -41, -2*j + 4*a + 29 - 3 = 0. Suppose -3*u = 4*w - 1, -3*u - 93 = -3*w - 108. Does u = j?
False
Suppose -2*r = -13*r - 3*r. Which is bigger: r or 2/231?
2/231
Let i = -0.155 + -0.274. Are 0 and i unequal?
True
Let u(i) = i**3 - i**2 - i + 5. Let f be u(0). Let n = 62 - 30. Suppose -8*g + 8 = -n. Is f less than g?
False
Let n be 4 + (-3)/(12/16). Which is smaller: 59 or n?
n
Let w = 1.11 - 1.78. Let v = w + -0.13. Is 4 >= v?
True
Suppose -2*y + 339 = -5*u, -3*u - 135 = -u - y. Let b = 28 + u. Is b greater than or equal to 2/3?
False
Let f be 318/102 + -3 - 9065/74018. Is f > 0?
False
Suppose -3*l + 2*l + 4*w = 0, -4*w = -2*l. Suppose 2*o + 17 = -o - q, o + 2*q + 4 = l. Let f be 24/(-9) + 4/o. Is -4 at most f?
True
Let a be 1 - ((-6)/(-38) - 0). Let o = -53153566/133 - -399653. Let q = o - a. Is -1 < q?
True
Let r = -18421/11 - -1675. Suppose l - 5*l = 0. Does l = r?
False
Suppose -11*q = 2*q + 676. Let v = 2 - q. Which is smaller: 56 or v?
v
Let q(o) = -o**3 - 7*o**2 - 3*o - 6. Let k be q(-7). Let j be (6/(-2))/(k/(-5)). Which is greater: j or 8/3?
8/3
Suppose 3*k - 15 = -2*o + o, 25 = -4*o + 5*k. Suppose 4*q = r - o*r - 56, 4*r = 16. Are -2/3 and q equal?
False
Let v = 61 - 34. Let p = -26 + v. Which is greater: p or -3/11?
p
Suppose -13*z = -8*z - 40. Let g = z - 19. Is -13 equal to g?
False
Let l = 0.09 + -0.07. Let f = -968 + 9659/10. Let d = -5/2 - f. Which is bigger: d or l?
l
Let p = -1357/5 + 271. Is 0 greater than or equal to p?
True
Let p = 4807/120 + 23/120. Let k = -2577/64 + p. Is k bigger than 0?
False
Let n be (5/(-265))/(3/(-18) + 0). Which is bigger: n or -1?
n
Let g = 2674 - 2673.97. Is -19 not equal to g?
True
Let d = 23 + -27. Let x be 6/(8/(-4) - d). Suppose 0*h - h = -3*l - 13, 0 = 2*h - x*l - 17. Are 3 and h non-equal?
True
Let q = -634 + 470. Is -164 != q?
False
Let q(g) = -2*g - 8. Let f be q(-7). Suppose -3*v + f = -3. Suppose 2*y + 7 = v*u, -u - 21 = -2*u - 4*y. Which is bigger: 7 or u?
7
Suppose 12 - 3 = -9*m. Which is smaller: -11 or m?
-11
Let q = 16460/231 - -6/77. Which is greater: q or 70?
q
Let f = -458 + 600. Is 141 smaller than f?
True
Let r = 140110/9061 - 201/13. Is -1 bigger than r?
False
Let t(n) = -n**3 + 9*n**2 + 32*n - 34. Let j be t(11). Is 75 <= j?
True
Suppose 2*f - 43 = -33. Let l be (1/(-26))/(((-15)/(-12))/f). Let j(v) = v - 3. Let o be j(3). Is l at least o?
False
Suppose 5*m = m. Let g be ((-1)/6)/(4/8 + -2). Which is bigger: g or m?
g
Let y = 654 - 597. Which is greater: 0 or y?
y
Suppose 5*x + 5 = -5*j, 4*j = 3*x - x + 20. Let z = -209 - -362. Let n be x/(-14)*119/z. Which is greater: -0.1 or n?
n
Suppose