t f be 2/(((-8)/i)/(4/3)). Suppose f*c - 11 - 7 = 2*w, 5*w + 5*c - 30 = 0. Which is smaller: 1/7 or w?
1/7
Let f(q) = q**3 + 3*q**2 + 37*q + 165. Let t be f(-4). Which is smaller: -1/1892 or t?
-1/1892
Let w = 704 + 94. Suppose 4*j - 1576 = -5*i + i, -4*i = 2*j - w. Is j smaller than 389?
False
Let x(c) = -c**3 - 19*c**2 + 41*c - 37. Let q be x(-21). Let u be ((-2016)/q)/(-3 + 0 + 2). Is -125 less than u?
False
Let f = 363.16 - 103.16. Which is smaller: f or -12/7?
-12/7
Let u = 381530258/7557 + -50487. Which is smaller: 1 or u?
u
Let x = 7 + -16. Let v be (1 + 0)/(4/4). Suppose -10*q - v = 3*i - 8*q, -5*i = -5*q + 10. Is x > i?
False
Let u = 0.076 - 0.054. Let l = -93 + 58. Let a = l + 36. Which is greater: u or a?
a
Suppose 9 = q, 5*q - 10 = b + 4*q. Is b <= -18/1559?
True
Suppose 4478 + 4297 = -30*q + 2775. Which is greater: 7 or q?
7
Suppose x - 5 = -4*k, 0 = 4*x - 15 - 5. Suppose -i + 5*i - 92 = k. Let b(d) = 6*d**2 - 56*d + 42. Let a be b(9). Are a and i unequal?
True
Let b(y) = 6*y + 395. Let w be b(-66). Which is bigger: w or 3/3205?
3/3205
Let h = 647596 - 14897644/23. Is h less than or equal to -128?
False
Suppose -755 + 2967 = 14*g. Suppose -5*z + g + 462 = 0. Which is smaller: z or 123?
123
Let c be 123/6*-2 - 2. Let t(o) = -10*o - 84. Let n be t(-9). Suppose m = -n*m - 308. Are c and m unequal?
True
Suppose 3*y - y - 52 = 0. Let o = y + -21. Let a be (-42)/(-4) + (15/(-6))/o. Is a less than 10?
False
Let k = -534.9672 + 535. Let q = k + -7.0328. Suppose 0 = 4*j - 3*j - 2*z + 3, 3*j = z + 16. Does j = q?
False
Let p(x) = 15*x + 2*x + 5 + x**2 - 9*x. Let v be p(-6). Suppose -4*n - 17 = 4*y + y, n - 5*y = 2. Which is smaller: v or n?
v
Let m be ((-39589)/118)/(3*3/(-12)). Is 448 less than m?
False
Let g = 6.88 - -0.12. Let n = 2 + g. Let p = -0.31 + 0.41. Is p at least as big as n?
False
Suppose -g - 3*q = 4*g + 46, -5*g = -4*q + 32. Let y be 315/(-132) + 2 + (-6)/g. Let n be (-10)/2 - (2 - (-1 + 9)). Is n != y?
True
Let g = 6884 - 6578.3. Which is greater: -1 or g?
g
Let g = 3264531/265 + -12319. Which is smaller: 1 or g?
g
Let p = -72836/52531065 + 14/8235. Is 0 > p?
False
Let c = 16648 + -16489. Which is greater: c or 149?
c
Suppose 5*b + 1082 = 1337. Is 39 at least b?
False
Let j(i) = 5. Let u(k) = -18*k + 40. Let n(w) = 42*j(w) - 3*u(w). Let y be n(-10). Is y greater than -451?
True
Let l be (30/(-375)*-135)/(52/10) + -2. Let w(p) = p**2 + 4*p + 3. Suppose 3*m = 0, 5*m - 2*m + 2 = -f. Let v be w(f). Do l and v have different values?
True
Suppose -5*y = -o + 2*o - 479, o - 191 = -2*y. Suppose 353 = -5*x + 3*q, -y = 2*x + 2*q + 42. Let m = 3 - 2. Which is bigger: x or m?
m
Let i = 333 - 334. Is i at least as big as -1/4069?
False
Let x(l) = -7*l - 89. Let i be x(-13). Suppose -i*w + 24 = -c - w, -3*c - w - 80 = 0. Is -24 bigger than c?
True
Let m be 4/14 - 253/77. Let x(f) = -f**3 - 2*f**2 + 4*f - 4. Let b be x(4). Let y be m/b*10*-4. Does y = -1?
False
Let s be ((-35)/28)/(-1) + (-115)/(-20) + -2. Is 374/91 at least as big as s?
False
Suppose 53*j = 422 + 850. Suppose h + 122 - 11 = s, -113 = -s - h. Suppose 5*g - 89 = 2*b, 4*b = -4*g - s - j. Which is bigger: -36 or b?
-36
Suppose -r - 28 = -o, 4*o + 5*r - 67 = 9. Suppose -7*i = 17*i - o. Is -2/909 >= i?
False
Let t(m) = 2*m**2 + 28*m - 2224. Let j be t(-41). Are -233 and j non-equal?
True
Let d be 70/(3 + 4068/(-369) + 8). Which is smaller: d or 1/5?
d
Let m = -337469/7 - -107999677/2240. Let y = -43/10 + m. Which is smaller: y or 0?
y
Let u = -8453 - -9078. Is u < 620?
False
Suppose 3*a + 0*a + 6 = 0. Let p be 7*2*1/a. Suppose -205*l + 21 = -208*l. Is l at most as big as p?
True
Let k(a) = -a**2 - 22*a - 130. Let g be k(-11). Let d(x) = -x**3 - 11*x**2 - 23*x - 41. Let m be d(g). Let t = 7 - 3. Is t < m?
False
Suppose -22608 = 4992*r - 4968*r. Is r at most -940?
True
Let i = 116 - 117. Let x be 7/(-116)*467 - 4. Let a = -129/4 - x. Which is smaller: a or i?
i
Let c = -399/1160 - 13/232. Are c and 940 equal?
False
Let x(c) be the third derivative of c**5/30 - 31*c**4/24 - c**3/2 - 11*c**2. Let t be x(16). Suppose -u = -t*u - 12. Is -1 at least as big as u?
True
Let z = 8011 + -10773. Is -2762 bigger than z?
False
Let w(j) = j**3 + 4. Let n be w(0). Let v(q) = -q**3 - 3*q**2 - 8*q + 12. Let i be v(-5). Suppose -n*x + 90 = i. Is 7 less than x?
False
Let x = 690.4 - 686.4. Is -2/1077 at least as big as x?
False
Let g be 131 - 2 - 1/(-1). Suppose -8*z = 1245 - 2285. Is z at least g?
True
Let f be ((-1330)/(-210))/((-222)/(-756)). Which is smaller: 23 or f?
f
Let c = -16806 - -16839. Let y = -0.4 + 0.3. Are y and c equal?
False
Suppose -4*x + 3*x + 11 = -2*l, -7*x + 3*l = -44. Suppose -16 = w + 4*n - x*n, 0 = w - 5*n + 20. Which is smaller: w or -57/4?
w
Let d be (-37 - 0)*(3 + -2). Suppose 0 = -30*q + 28*q - 124. Let i = 25 + q. Is i >= d?
True
Suppose 0 = 3*y + 2*v - 8, -5*y + 17 = 5*v + 2. Let a(o) = -6*o - 2 - 29*o**2 + 3 + 28*o**y. Let m be a(-4). Which is bigger: m or 8?
m
Let k be 92/(-28) + 3 + (-23)/(-7). Suppose -112 = -k*h + 107. Which is greater: 72 or h?
h
Suppose 5*x + 3*q - 225 = 0, 0*q + 15 = 3*q. Suppose -3*v = -3*g + x, 7*g - 83 = 3*g - 5*v. Let l = -16 + g. Which is bigger: l or 4/11?
l
Let h(u) = 87*u**2 - 3*u - 3. Let c be h(-1). Suppose 0 = -5*b + 82 - c. Which is greater: -1/272 or b?
-1/272
Let s be (-11)/9 + (22/18 - 1). Let l = s - -6. Suppose 3*a = u, -20 = -l*a - u - 4*u. Is -2/125 != a?
True
Let z = 112763209/82053807 + -68/80209. Let w = -7/33 + z. Which is smaller: w or 1?
1
Let a be 2/9 + 518/6660. Which is smaller: a or -150?
-150
Let u = 2487210/7 + -355978. Which is smaller: u or -662?
u
Let c be 14 + -3 + 784460/(-71315). Is c less than 1?
True
Suppose 12*n - 5*n = -2*h - 6313, 4*h = -2*n - 1790. Is n <= -902?
True
Let a be (-5 - -12)/(-14) - 2/16. Are a and -6/17 equal?
False
Let z = 1219811/2933 + 165/419. Let n = z + -416. Is 71 greater than n?
True
Let c = 163 - 155. Let r(f) = f**2 - 47. Let g be r(c). Is g smaller than 19?
True
Let g = 15.63 + -15.63. Let b = 21 - 20.87. Let j = b + -13.13. Is j <= g?
True
Suppose -1047 = -n - 5*u, 4995 = 12*n - 7*n - 5*u. Is n > -2?
True
Let w = -4821 + 4762. Is -1/14 >= w?
True
Let q be (-5 - (3 - 6))/(11 + -9). Which is smaller: -8/809 or q?
q
Suppose s = -4*u - 16, 2*u + 3*u - 4*s + 41 = 0. Let k be 4/(-10)*u - -2. Let o be (5/k + 0)*-16. Is -20 at most as big as o?
True
Suppose 23*o + 108 = 26*o. Suppose -9*z + o - 18 = 0. Let r be (-20)/28 + (3 - 0). Does z = r?
False
Suppose 28*q - q + 108 = 0. Let x be 3 + q + (-8 - -3) - 1. Which is bigger: x or -4?
-4
Let j = 109 + -124. Suppose 25*a - 22*a - 165 = 0. Let y = 39 - a. Is y <= j?
True
Let c be -11 - (-54 + 14)/(-4). Let l = 75622/7 - 10824. Which is bigger: l or c?
l
Let h = 508 - 504. Suppose 33 = -7*l - h*l. Which is bigger: l or 39?
39
Let t be (2478/(-105) - -23) + 6/(-40). Let g = -6 - -10. Which is smaller: g or t?
t
Let j = -10679.93 - -10680. Which is smaller: -373 or j?
-373
Suppose -3*n = -3*t + n + 554, -5*t + 5*n + 915 = 0. Let d = 9394721/50285 - 3937/445. Let a = d - t. Which is smaller: a or -1?
-1
Let z(f) = 3*f**2 + 97*f - 403. Let s(l) = -5*l**2 - 146*l + 602. Let c(q) = -5*s(q) - 8*z(q). Let v be c(37). Is v at most as big as -119?
True
Let y = -13.55 + 22.64. Let c = 0.09 - y. Let k be 1743/830 + (-16)/10. Which is smaller: k or c?
c
Let g = 11224 + -11223.9. Is -5862 at least as big as g?
False
Let n = 184/83 - 23318/9545. Which is bigger: n or 1?
1
Let r(p) = -162*p - 2286. Let a be r(-12). Which is greater: a or -349?
a
Suppose 1254 + 4551 = 27*n. Which is smaller: 228 or n?
n
Let h = 10786 + -10604. Which is greater: 181 or h?
h
Suppose 78*y + 73664 = -190*y - 56852. Which is bigger: y or -489?
y
Let p(x) = x**3 + 8*x**2 - 8*x - 5. Let q = 5 - 14. Let b be p(q). Let y(d) = -d**3 + 7*d**2 - 2. Let n be y(7). Is n at most as big as b?
False
Suppose -34 - 66 = -4*p - 3*x, x + 18 = p. Suppose 5*a + p = 2*a - 5*i, -2*i = -4*a + 14. Suppose -2*h - 2*d + 34 = 2*d, 4*d = h + a. Is h not equal to 14?
True
Let j(a) = a + 11. Let q be j(7). Let o be (-87)/54*q/42. Let c = o + 5/14. Are c and -9 equal?
False
Let j be -3*(0 + 1)/(-40). Let y = 19627369/120 - 163556. Let q = y - j. Is q not equal to 4?
True
Suppose 16*d - 17*d + o = 81