bigger: n or 111?
111
Let x(g) = -g**3 + 4*g**2 + 4*g + 2. Let u be x(5). Let b = 8/33 + -10/33. Let r = b - -80/231. Which is bigger: u or r?
r
Let f = 0.03 + 0.15. Let p = -63.024 + 0.024. Let h = p - -62. Is h < f?
True
Let j be (-55)/((-90)/(-63) + 3/(-7)). Is -1 at least as big as j?
True
Suppose -g + 3*t + 1 = -2, g = -2*t - 2. Suppose n + 26 - 27 = g. Which is bigger: -1/4 or n?
n
Let u = 8735/359 - -2/1077. Is 24 >= u?
False
Let j(h) = -2*h**2 + 21*h + 27. Let k be j(11). Let t be -4*(-9)/48 + 4/k. Which is smaller: t or 1/7?
1/7
Suppose 2*a = 2*h - 16, -2*a = a - 3. Let r(v) be the second derivative of v**4/6 + 8*v**3/3 + 37*v**2/2 - 18*v. Let t be r(-3). Which is smaller: h or t?
t
Let s = 20 - -19. Let m = s - 28. Which is greater: 1 or m?
m
Let l(o) = o - 12. Suppose 0 = -5*a - 4*q + 39, -5*a + q + 48 = -a. Let j be l(a). Let n be (-15)/(-28) + 6/(-21). Is j greater than n?
False
Suppose 195 = -5*c - 5*u, 3*c - 6*c = -u + 101. Let k be (2/8)/(c/(-40)). Let b = 5 + -4. Is b bigger than k?
True
Let n be (35 + -8)*(-2)/26. Does -3 = n?
False
Let l be (1 + 3)*-1 + 9. Let u be (-16)/(-2) + (-15)/l. Is 5 equal to u?
True
Let j = 80 - 44. Let n be ((-33)/j)/(-11)*-3. Suppose -5*g + 8 = -4*a - 18, 0 = 4*a - 4. Which is smaller: n or g?
n
Suppose -q = -5*h + 19, 5*q - 7*q = -4*h + 20. Let j be 7/6*3*-2. Let l = j + h. Which is smaller: l or -2?
l
Suppose 6*k + 203 = -559. Do k and -128 have different values?
True
Let p(n) = n**3 + 9. Let o be p(0). Let m be 3/o - 34/3. Let w be (-2*22/8)/(2/4). Is m smaller than w?
False
Let n = -29 + 26. Let r = -17 + n. Let i = r + 18. Which is smaller: 0 or i?
i
Let s(c) = c**3 - 6*c**2 + 7. Let v be s(6). Suppose f + 4*w = -v, 4*f - 39 + 7 = 4*w. Suppose 0 = -f*h + 8*h + 3. Is h at most as big as -1?
True
Let g be 4/6*(-1)/16. Let w be 2/4*20/560*0. Is g < w?
True
Let n = -2 - -7. Suppose 0 = -15*c + 9*c + 66. Suppose n*h = 6*h - c. Which is smaller: -1/3 or h?
-1/3
Let o = -3.6 - -1.4. Let h = 2 + o. Which is greater: h or -4?
h
Let u(k) = 11*k - 88. Let i be u(7). Is i smaller than -11?
False
Let a = 45 + -45. Suppose 2*r = x - r - 1, 5*x + 5*r = 25. Suppose -3*h = -a*h + x*y - 12, y - 3 = 2*h. Do h and -8/9 have the same value?
False
Let l be ((-201)/402)/((-2)/(-4)). Is 4/159 at most as big as l?
False
Let g(b) = -9*b + 3. Let o(w) = -8*w + 3. Let z(f) = 5*g(f) - 6*o(f). Let s be z(4). Let n be ((-216)/96)/(1/(-4)) - -1. Which is smaller: n or s?
s
Let z(t) = -2*t**2 - 18*t + 7. Let l be z(-8). Is l less than 21?
False
Suppose -j = -5*j + 5*o - 3800, 5*j - 5*o = -4755. Do j and 1 have the same value?
False
Let h = -4420/1771 + 58/23. Is -1 not equal to h?
True
Let g(q) = 2*q - 61. Let j be g(31). Which is greater: j or 2?
2
Let j be ((-15)/2 - -6)*(-4)/3. Suppose -d - 3*d + j*t = 208, -3*d - 5*t - 143 = 0. Does -2/7 = d?
False
Let r = -989 - -830. Which is bigger: -158 or r?
-158
Suppose 0 = -4*j + 5*n - 926 + 3053, -j = -4*n - 529. Are j and 533 unequal?
False
Let m = 12 - 14. Let a = m + 2.07. Let j = -0.04 - -0.14. Which is smaller: j or a?
a
Let g = -0.032 + -0.09. Let o = g + -0.078. Which is smaller: o or 59?
o
Let r = 5/16 - 1/4. Does r = 1?
False
Let k(a) = -a**3 + 8*a**2 + 6*a + 9. Let y be k(11). Let x = -3738/13 - y. Which is greater: 0 or x?
x
Suppose 2*u + 0*u + 2 = 0. Let q = -21700 + 27363702/1261. Let y = -386/1261 - q. Which is greater: u or y?
y
Let x = 31 + -81. Let m = x - -56. Is m at least as big as 8?
False
Let l = -635 - -635.2. Is l at most as big as 31?
True
Suppose -150 = -78*i + 72*i. Is i bigger than 25?
False
Let i = -6742/5 + 1336. Is -11 at most as big as i?
False
Let x = 66 + -9. Let t = 6642 - 6587. Is x != t?
True
Suppose 10*z = 56 + 44. Is z >= 14?
False
Let p = -9.5 - -9. Let o = p - -7. Let l = o - -1.5. Is l not equal to 1/3?
True
Let w(v) = v**3 + 3*v**2 - 3*v - 5. Let l be w(-3). Suppose 0*h = -h - 5*f + 43, -57 = -l*h + 3*f. Suppose 3*q - h = -0*q. Does 6 = q?
True
Let p = 721/108 + -25/4. Are p and -1 equal?
False
Suppose -q - 19 = i - 6*q, -4*q - 57 = 3*i. Let p be (-33)/(-22) - i/(-13). Which is smaller: 1 or p?
p
Suppose 5*l - l = 4. Suppose 2*s = l + 3. Suppose 3*g + s = g. Which is smaller: g or 3/13?
g
Let x be (-2)/9 - (-8)/63. Suppose -5*j + 2*h + 70 = 7*h, 18 = 3*j - 5*h. Let v = -12 + j. Which is greater: v or x?
x
Let m be 175/56 + 2/(-16). Suppose o - m*i - 2 = 0, -7*o = -4*o - 4*i - 11. Let u be (o - 8)*10/(-36). Which is smaller: u or 0?
0
Let t(c) = c**2 - c - 4. Let u be t(0). Let f be (1503/(-60) - -2)*u. Let s = f - 93. Does -2 = s?
False
Let b be (-4)/(-26) - 54700/650. Which is bigger: b or -2/17?
-2/17
Let z be 50/(1 - (-12)/(-8)). Let d = z + 298/3. Is d greater than -76?
True
Let a = 121/2100 - 1/100. Let l be (-2)/5 + (-238)/(-1470). Let b = a - l. Which is smaller: b or -1?
-1
Let o(j) = -4 + 11 + j - 5. Let a be o(-3). Which is smaller: a or -3/2?
-3/2
Let c be (14504/(-128))/((-1)/2). Let a = c + -225. Which is greater: 1 or a?
a
Suppose 191 = 5*h + 2*n + n, 4*h - 4*n - 172 = 0. Let v be (h/(-10))/(4/10). Let i be (4/v)/(108/60). Which is smaller: 1 or i?
i
Let l(t) = -t**3 + 2*t**2 + 4*t - 1. Let m be l(-3). Let u = 216 - 185. Is m not equal to u?
True
Let w(n) = -n**3 + 26*n**2 - 46*n - 49. Let m be w(24). Which is smaller: m or -1/18?
m
Let d(f) = 7*f - 146. Let q be d(21). Which is bigger: q or -2/403?
q
Suppose -12*o = 2*i - 16*o - 322, 2*i - 5*o = 324. Is i greater than 153?
True
Suppose 0 = 3*m - 2098 - 2255. Which is smaller: m or 1450?
1450
Let x(f) = -3*f - 2. Let d be x(0). Do d and -1 have the same value?
False
Let z = -0.0754 - -0.1154. Let x(q) = q**2 + 1. Let d be x(2). Which is smaller: d or z?
z
Suppose 0 = 2*n - l, 4*l - 8 - 4 = -4*n. Which is smaller: -99 or n?
-99
Suppose -5*c - 5*r = 0, -4*c + 5*c + 4*r = -12. Suppose 8*g = -6 + 30. Which is smaller: g or c?
g
Let h(l) = -l**3 - 9*l**2 + 14*l - 9. Let s be h(-11). Let q = -397/5 + s. Is 4/3 < q?
False
Let a be 1098/(-1530) + 12/(-30). Is a bigger than -2?
True
Let c = 1/970 + -41/2134. Suppose -h + 0*h = 0. Is h > c?
True
Let s = 111 + -109. Do -39 and s have different values?
True
Suppose -5*z + 84 = -4*z. Suppose -c - 2*c = z. Let t = 2 + c. Which is bigger: -25 or t?
-25
Let a = 73/20 - 13/4. Let q(s) = -s. Suppose 7*n = 10*n. Let k be q(n). Are a and k non-equal?
True
Let t(g) be the first derivative of g**2/2 + 13*g - 5. Let q be t(-7). Let j be (-4)/q - 25/(-15). Which is greater: 5/8 or j?
j
Let k = 256 - 176. Suppose -3*f - 2*c - 25 = 42, -4*f = -2*c + k. Is f <= -22?
False
Let w(v) = -v**3 + 3*v**2 - 2*v + 2. Let m be w(2). Suppose m*j - 5*r - 16 = 6*j, 4*j = -2*r - 16. Let q = -7 + j. Are q and -10 equal?
False
Let x be ((6/(-15))/(-1))/(2/20). Let n be x/14 - 207/161. Let m = 4/7 - 29/14. Which is smaller: m or n?
m
Let d = 2177/2 + -1089. Is 1497 <= d?
False
Suppose 2*v - 6 - 32 = 0. Let k = -292 - -310. Does k = v?
False
Suppose 6*g - 4*g = -12. Let j(t) = t**2 + 5*t + 8. Let m be j(g). Suppose 5*b - 6 + 19 = x, -4*x = 5*b - 52. Which is bigger: x or m?
m
Let d = 1.29 + -1.49. Let c(s) = 2*s**2 + 2*s + s**3 - 3*s + 2 - 4*s + 3*s. Let z be c(-3). Is d smaller than z?
False
Let f(a) be the third derivative of -a**5/60 - 7*a**4/24 - 11*a**2. Let d be f(-7). Suppose d = 3*k + 5 + 1. Is k <= -6/7?
True
Let a = 1 - 2. Let x be 3 - (7 - 0/(-4)). Let j be (-1 + -1)/x*0. Which is greater: j or a?
j
Let w = 4 - 8. Let g be 2*w/48 - (-1)/(-6). Which is smaller: 3 or g?
g
Suppose z + 2*z = 882. Suppose 56 - z = -7*g. Suppose n = -2*f + g, 8 = -n + 3*n. Is 15 at least as big as f?
True
Suppose 4*v + 2*x + 112 = 296, -4*x + 227 = 5*v. Which is bigger: v or 324/7?
v
Suppose 2*k - 6 = -4. Let c = -13 - -10.4. Is c at most as big as k?
True
Let k = -2.023 + -0.977. Which is greater: 0.57 or k?
0.57
Suppose -2*j - 8 = 7*l - 3*l, 2*j + 9 = -5*l. Let a be l + 6 + (-4 - -1). Suppose -4*x = 2*p + 6, -a*x + 4*p + 15 = 3. Is 3/7 greater than x?
True
Suppose 0*c + c = -3*k - 1, 4*c = 2*k - 4. Which is bigger: k or 24/49?
24/49
Let q = -8245/24 - -2745/8. Suppose -3*i - 3*b + 6 = 0, -i - 16 = 2*b - 7*b. Is q > i?
True
Let y = 403 - 410.6. Which is bigger: 1/5 or y?
1/5
Suppose -2*w + 10 = 7*b - 2*b, -w = 0. Is b at least as big as -2.5?
True
Let x(y) = 4*y**2 - y - 1.