. Suppose a + a = j. Suppose 0 = f + 4*g - a, -5*f - 5*g - 1 - 9 = 0. Which is bigger: -1 or f?
-1
Suppose -2*j + 8 = 0, 4*j - 9 = 3*q + 19. Let t be (-2 - 10/q)*-2. Which is smaller: 6/19 or t?
t
Let w be 1 - 0 - (-2)/(-24)*10. Let b(g) = 3*g**3 + 2*g - 1. Let f be b(1). Suppose -8 = 4*t - f. Are t and w unequal?
True
Let r = 25 - 14. Let u = 18 - r. Let h = -5 + u. Which is smaller: 0 or h?
0
Let m be (-1)/2*-4 + -3. Let a be 1/(160/836) - 0. Let y = -45/8 + a. Which is smaller: y or m?
m
Let j = 4419029/11 - 401451. Let w = 278 - j. Is w less than or equal to 0?
True
Suppose -41*q - 35*q = 15*q. Let c = -108/5 - -1806/85. Which is greater: q or c?
q
Let g(y) = 5*y - 9. Let m(c) = -6*c + 9. Let p(s) = -5*g(s) - 4*m(s). Let k be p(10). Let o = -5/39 + -7/13. Which is smaller: k or o?
k
Let g = 130 + -35. Suppose 5*w + g = o, 9*w + 85 = 6*w - 5*o. Which is greater: w or -21?
w
Let q(d) = d**2 + 2*d - 24. Let k be q(-6). Let o(b) = 3 + 4*b + 3 - b**2 - b - 2. Let g be o(4). Do g and k have the same value?
True
Let m = -88 - -44. Let c = -44.2 - m. Which is smaller: 3/2 or c?
c
Suppose 4*s - 3*b = -3, 2*s + b - 27 = -26. Let i be -2*(-2)/126 - 0. Are s and i equal?
False
Suppose -13*p - 3*p + 560 = 0. Is 28 < p?
True
Let v = 1.9 - -7.1. Let n = -10.8 + v. Which is greater: n or -1?
-1
Suppose -10*t + 27*t - 34 = 0. Let q = 0.06 + -0.04. Let i = -3.98 - q. Which is greater: i or t?
t
Let s be (-7)/(28/(-20)) - -24. Let x = 46 - 16. Is s less than or equal to x?
True
Let h be (4/3)/(4/6). Let x be (9/12)/(9/24) - 0. Do h and x have different values?
False
Let k be 466*(-4 + 4*14/16). Which is smaller: k or -232?
k
Suppose 0 = -2*h + h. Let s = 2440 + -9759/4. Which is smaller: h or s?
h
Let x = 9 - -41. Let h = -43 - -93. Are x and h unequal?
False
Let g = -49 - -29. Let i = 19.6 + g. Which is bigger: 1 or i?
1
Suppose -2*z - 5*w - 5 = 0, z + 30 = 4*z - 5*w. Suppose 0 = 4*v - b - 147, -18 = -5*v + z*b + 177. Is 36 > v?
False
Let b(y) = y**2 - 16*y + 11. Let q be b(17). Is 26 at most q?
True
Let h = -0.1 - 0.9. Let j = -2080 + 2079.81. Is h greater than j?
False
Let f(u) = -u + 7. Let j be (4 - 1) + 1 + -9. Let b be f(j). Suppose y - 2*s + 4*s = 15, 4*y - 56 = -4*s. Which is bigger: y or b?
y
Let w be -5*(6 + 160/(-25)). Suppose 2*m + 3*g - 5 = 0, -9 = -m - 0*m + 5*g. Suppose -60 = -m*a - w*a. Are 10 and a unequal?
False
Let i(a) = -a**3 - 3*a**2 + 2*a - 2. Let c be i(-4). Let b be (-2)/c*6/(-4). Let w be 11/(-3) - 150/(-225). Do b and w have the same value?
False
Suppose -2*g + 2*y + 6 = 0, 4*g + 4*y = 2*y + 36. Let k be (g/6)/(1/(-3)). Let r = -31/10 - k. Is r at least 4/11?
True
Let l = -17.2 + 17. Let q = -0.3 - l. Let y = 0.3 + -3.3. Which is bigger: y or q?
q
Let c = -0.5 - -0.3. Let s = -1167 - -1190. Is s smaller than c?
False
Let j = -19/312 + 7/24. Which is greater: -2 or j?
j
Suppose -12*u - 172 = 74*u. Let a be 18/(-8) + 0/1. Is u <= a?
False
Let i be 210/28*2/3. Let o = 18/29 - -323/87. Which is smaller: i or o?
o
Let y = 1509 + -21135/14. Let r be ((-3)/3 - 0)/1. Which is greater: r or y?
y
Let d = -9.5 - -9. Let q = d - -1.1. Let c = -0.4 + q. Is -0.2 > c?
False
Let c be (3 - (-3)/(-1))/2. Suppose 2*x - 58 = -2*p - c*p, 0 = 2*p + x - 54. Is 23 greater than p?
False
Let s = -4 + 15. Let v = -82 + 69. Let c(y) = y**3 + 11*y**2 - 23*y + 39. Let a be c(v). Which is smaller: s or a?
a
Suppose -3*x = 4*t - 6, 5*t - 6 = -6*x + 3*x. Suppose 0*o + o + 2 = t. Let r be (6/o - -4)/(-1). Which is smaller: 1/4 or r?
r
Let i = -29 + 31. Suppose -i*n - n = -12. Suppose 95 = 5*p - x - 4*x, n*p - 79 = 5*x. Is p at least 17?
False
Let v be (-42)/(-1) + -8 + 12. Which is greater: 49 or v?
49
Let l = 72 + -437/6. Suppose 4*q - 19 + 2 = -3*v, 3*q + 5*v - 21 = 0. Suppose -3*n = -2*n + q. Is l at most as big as n?
False
Let k = 0.126 + -1.096. Let y = k + 1. Let w = 0.07 + y. Which is smaller: w or 7?
w
Suppose -688*r + 690*r = -2134. Is r greater than 2/7?
False
Let f = 380/3 - 216226/1707. Which is smaller: f or -1?
-1
Let f = -179 - -9. Which is bigger: f or 1/3?
1/3
Let w = 9.171 + 0.129. Let h = w + -9.4. Is -2/9 smaller than h?
True
Let n = 6 - -1. Let i = 9.8 - n. Let j = i - 3. Which is smaller: -2/3 or j?
-2/3
Let d = 5/108 - -131/1836. Let k(y) = -y + 16. Let l be k(5). Let f = -11 + l. Which is greater: f or d?
d
Suppose -4*f + g + 5 + 0 = 0, 4*f - 17 = -3*g. Suppose -f*j + 14 = 4*q, 3*j + q = -0*q + 6. Let o = -5 + j. Is 0 > o?
True
Let g be (-316)/2*(-29 - -31). Is -316 != g?
False
Let g = 1856 + -1805. Is -15 bigger than g?
False
Suppose 11*d = -11 - 0. Do 8 and d have different values?
True
Suppose u + 3 + 7 = 0. Let w = 23 + u. Let s = -12 + w. Is s > 1/10?
True
Suppose 0 = -4*j - 0*j. Let a = 727 + -28354/39. Which is smaller: a or j?
a
Suppose -2 = -b - 5. Let p be (2/b)/(14/6). Are p and -2 equal?
False
Suppose -4*a - 60 = 2*f, -2*a - 75 - 63 = 4*f. Let u be ((-13)/f)/(10/(-510)). Let b = 53/3 + u. Is -1 at most as big as b?
True
Suppose 51*m = 5*m - 506. Suppose 5*k - 11 = -51. Is m >= k?
False
Suppose -3*d = -0*d - 12, 2*d = -4*z + 8. Suppose -g = 4*b - 1, -5*g + 5 = b - z. Which is smaller: 2/89 or b?
b
Let q(n) = 2*n**3 - 9*n**2 - 4*n. Let h be q(5). Let k be -1*(18/81 - h/9). Which is greater: 0.1 or k?
k
Suppose t + 0*t - 83 = 0. Let g = t - 44. Is 38 <= g?
True
Let w be ((-34)/4)/((-1)/(-2)). Let s(h) = -h**3 + 36*h**2 - 70*h + 85. Let d be s(34). Let a = d + w. Which is greater: a or -1/19?
a
Let m be (-6 - (-693)/112)*6/(-9). Let u = 4 + -2. Which is greater: m or u?
u
Suppose 254 = 4*j + k, 0 = -5*k - 2 - 8. Let l = j - 66. Which is smaller: l or -1?
l
Let a = 0.22 - 0.3. Let x = -0.08 - a. Let i(n) = 2*n - 1. Let r be i(-1). Is r < x?
True
Let j = -8167/23 + 355. Let s = -21 - -21.9. Let n = s + -1. Is n not equal to j?
True
Suppose -5*m + 13 = 2*h, -43*m - h = -48*m + 16. Are m and 0 equal?
False
Let t(l) = -l**3 + 3*l**2 + 7*l - 13. Let k be t(4). Which is greater: k or 5/78?
5/78
Suppose -18*d = -19*d + 3. Let z = -3 + 5. Suppose -z*f = -d*f. Which is greater: 2/5 or f?
2/5
Suppose -38 = 5*m - 438. Let a = -7535 - -22847/3. Let d = m - a. Which is greater: d or 0?
0
Let f = -0.271 + -55.629. Let d = 56 + f. Which is greater: 3 or d?
3
Let x = -47717/802 + -1/401. Let o = -135 + 77. Let c = o - x. Which is greater: 1 or c?
c
Let y(o) = -o**3 + 8*o**2 - 6*o + 6. Let x be y(8). Let j = x - -31. Is j at most as big as -12?
False
Let y = 152 - 84. Let p be 102/(-17) - (-430)/(-7). Let v = y + p. Which is smaller: 0 or v?
0
Suppose -5*k - 4*f = 15 - 35, 2*k - f = -5. Are 1/98 and k non-equal?
True
Let q(o) = -o**3 - o**2 - 2. Let s(g) = -g + 1. Let t be s(1). Let r be q(t). Let k(d) = 2*d**2 + 4*d - 6. Let a be k(-3). Which is smaller: a or r?
r
Let t be 6/(-8)*(-4)/(-72). Let s(f) = f**2 + 2*f + 2. Let i be s(-2). Suppose -i*x + 6*x = -5*k, 0 = 2*x + 4*k. Is t smaller than x?
True
Let y be 1/(((-140)/42)/10). Let i = -2545/7 + 362. Which is smaller: i or y?
y
Let l = 8 - 8. Suppose 4*f - 8*f + 1028 = l. Let q = f - 1021/4. Which is smaller: -0.1 or q?
-0.1
Suppose 0 = d - 7*m + 3*m + 115, 5*m = 25. Let h be (152/(-95))/(1/60). Is d smaller than h?
False
Let p = -84.92 - -13.92. Which is smaller: p or 2/11?
p
Let k(n) be the first derivative of -n**3/3 - 7*n**2/2 + n - 6. Let v be k(-7). Which is smaller: 2 or v?
v
Let s = 1274 - 1054. Is s greater than 218?
True
Let v(p) be the third derivative of p**6/120 - 7*p**5/60 + p**4/4 + p**3/6 - p**2. Suppose 8*i = -11*i + 114. Let h be v(i). Which is bigger: -1 or h?
h
Let v = -0.9 - -1.02. Let n = v + -1.82. Let z = 2 + n. Which is smaller: z or -7?
-7
Let f = 4 + 2. Let k = -3 - -5. Let p = k - f. Which is bigger: p or -5?
p
Let t(b) = b**3 - 6*b**2 - 6*b - 6. Let u be t(7). Let z = -42 - -66. Let c be (z/(-18))/((-28)/6). Is u less than c?
False
Suppose -2*y + 6 = -4. Suppose -2*a - 3*l = -479, -4*a + 918 = 3*l - y*l. Let b = 2086/9 - a. Is -1 < b?
True
Let f be 2743*((-2)/10)/((-6)/(-30)). Which is bigger: -2742 or f?
-2742
Let f be (-4)/50*(9/2 + -3). Let n = 0.284 + -0.084. Which is smaller: f or n?
f
Let a = 0.6 + 1.4. Let m = 0.33 - 30.33. Is a < m?
False
Suppose 48*f = 5545 + 3191. Are 550/3 and f non-equal?
True
Let s(n) = 11*n - 55. Let c be s(5). Suppose 3*r - 6*r = 375