j - 1. Suppose 11*k + 230 + 122 = 0. Which is smaller: j or k?
k
Let u(q) = q**3 + 7*q**2 - 4. Let k be u(-3). Let h = 6 - k. Which is smaller: h or -25?
h
Suppose 0 = -2*j + 5*j. Suppose -6*n + 8 = -4. Is n >= j?
True
Let z be 424/(-1166)*70/8. Which is smaller: -3 or z?
z
Let b = -262 + 499. Is b at least 237?
True
Let c(q) = -2*q + 14. Let a be c(3). Suppose 9*l = 5*l + a. Which is bigger: l or 3?
3
Let s be 2*428/(-440) - -1. Let g = 6/11 + s. Let v = 11/2 - 23/4. Is v greater than or equal to g?
True
Suppose 4*s = -3*w + 58, -s + 3*s + 114 = 4*w. Which is smaller: 17 or w?
17
Suppose z + 4*g - 22 = 3, -4*g = -z - 7. Let r = 19 - -16. Suppose 1 = j - 3*f, 10 = 3*j + 5*f - r. Which is bigger: z or j?
j
Suppose -12*a = -3*a + 1188. Let n be (-25)/(-1)*(a/35 - -4). Which is bigger: n or 7?
7
Let v = 106445/6 + -17888. Let s = v - -150. Let t = s + -155/42. Is t at most as big as 0?
True
Let g be (26 + -18)*19/4. Let c = 39 - g. Do c and 1 have different values?
False
Let v be (-15)/(-6)*20/225. Let b = -13.8 - -15. Is b greater than or equal to v?
True
Let x(r) = -r**2 - 2*r + 1. Let n be x(6). Let l be n/16 + -4 + 7. Is 1 >= l?
True
Let a = 3337/95351 - 4/983. Is a != 0?
True
Let d be (-1071)/5 + (-28)/(-140). Which is greater: -217 or d?
d
Let f = 0.195 + -0.08. Let c = 0.015 - f. Do c and -1 have the same value?
False
Let i be ((-84)/9 - 0)*18/(-7). Let k = i - -49. Is 74 equal to k?
False
Suppose -3*s + 3 = -6*s. Let q be (0 - (-1 + 2))/s. Let k = -1113/5 - -223. Which is bigger: q or k?
q
Let p = -5.55 - -4.4. Let u = 0.15 + p. Is u greater than -1?
False
Let w(j) = -j**3 - 5*j**2 - 4*j - 1. Let g be w(-4). Let m = 137/4 + 1/4. Let v = -36 + m. Which is bigger: v or g?
g
Let y(s) = -3*s**2 - 29*s - 15. Let r be y(-9). Which is greater: r or -456?
r
Suppose -5*t + 94 = -s, 3*t + 4*s - 80 = -t. Suppose 2*q + 4 = -3*v, 2*v - 3*q = -0*v + t. Is v bigger than 4/5?
True
Let k be 5/((-140)/(-6))*(-40)/3. Let b = k - -46/21. Is 58 < b?
False
Let o = 2034.86 - 2087. Let i = 52 + o. Which is smaller: i or 1/3?
i
Let j = 4919 - 29401/6. Let u = 10069/534 - j. Which is smaller: 1 or u?
u
Let m = 3 - 5. Let k(x) = -x**3 - 17*x**2 - 13*x + 45. Let o be k(-16). Which is bigger: m or o?
m
Let r = 32612/27 - 1208. Suppose 0 = -7*p - p + 9*p. Is p bigger than r?
True
Let k(g) = 2*g**2 - 5*g - 2. Let f be k(-1). Is 4 < f?
True
Let v = -498 + 1142. Is v < 1?
False
Let z = -142.5 + 24.5. Is -0.2 bigger than z?
True
Suppose -3*n + 8 = 3*x - 13, 2*x = 5*n - 7. Suppose 2*h - 8 - n = -z, 0 = -2*z - 5*h + 27. Let d be 19/15 - (-6)/(-9). Which is smaller: d or z?
d
Let b be ((-3)/(-6))/((-4)/(-176)*-2). Suppose -15 = 3*f, 4*o - 3*o + 25 = -5*f. Suppose o = -h - 6 - 4. Is h <= b?
False
Let v(z) = -86*z**3 - z**2 - 2*z + 7. Let y be v(3). Let h = -258632/111 - y. Do -1 and h have different values?
True
Let n(f) = f**3 - 2. Suppose z - 2*b - 18 = -6, 0 = -5*z + 5*b + 35. Let g be n(z). Let a be g + (0/3)/(-3). Is a > 6?
False
Let i = -30 - -13. Let a = -17 - i. Which is smaller: 2/47 or a?
a
Suppose 3*n = -5*s + 2 - 5, 3*s + 2*n + 1 = 0. Is 0.07 < s?
False
Let o be (0 + -4 - -2)/(2/(-2)). Let s be 1/o + (-5)/(-90). Let b(f) = -f**2 - 4*f + 7. Let g be b(-5). Which is greater: g or s?
g
Suppose 5*p + 290 = -5*g - 10, 5*p = 0. Is g != -57?
True
Suppose 4*a - 17 = 3*u, -4*a - 4*u = -2*a - 14. Suppose -6*x + 5 - a = 0. Is 2 at most as big as x?
False
Let w(v) = -4*v**3 - v**2 - 1. Let a(q) = q**2 + 1. Let j(m) = -a(m) - w(m). Let f be j(1). Suppose 11 - 1 = 2*s + 2*r, 4*r + f = 0. Which is smaller: s or 7?
s
Suppose -4*p = -3*g - 3252, 4*p = 19*g - 20*g + 3236. Are p and 811 non-equal?
True
Let r = 0.21 + 0.79. Is -1085 < r?
True
Let p = -1 + 0. Let f = -13 - -4. Let s be f/15 - 38/(-70). Which is smaller: p or s?
p
Let c = 17.43 + -0.43. Let x = c - 20. Let w = x + 3.1. Are w and -11 nonequal?
True
Suppose -11*y + 3*y = 16. Let t be (455/150 + -3)/(y/8). Which is greater: t or 0.08?
0.08
Let h(w) = w**2 + 12*w + 10. Let t be h(-7). Let f be 170/t + (-12)/(-15). Let d be 29/(-7) - f/42. Is -1 less than or equal to d?
False
Suppose 0 = 9*a + 6*a + 210. Is -15 bigger than a?
False
Let r be 486/2289 + 6/21*-1. Is r at most 0?
True
Let c be 10 - 1/((-3)/9). Let b(w) = w**2 - 14*w + 18. Let x be b(c). Suppose -2*a - 12 = -x*a. Which is smaller: a or 0.2?
0.2
Let c = 644 - 643. Are 5/86 and c equal?
False
Suppose b + 0 = -3*w + 2, 0 = 4*b + 16. Suppose w*d + 12 = 4*d. Suppose i + 4*v + 0*v = 3, -2*i + v + d = 0. Are i and 9/5 equal?
False
Let k = 1172/9 + -130. Let n be (3 + 5 + -2)/((-1)/(-8)). Let l = n - 49. Is l at most k?
True
Suppose 7*p - 53 - 10 = 0. Let h = p + -16. Which is smaller: -6 or h?
h
Let n be 194/5*70/112. Let u be 3/(-2)*((-117)/27 - 11). Is u > n?
False
Let d = 7.468 - 7.6. Let l = d + 0.132. Is 7.7 bigger than l?
True
Suppose -u + 738 = 995. Which is smaller: u or -258?
-258
Let o = 1.31 - 1.51. Which is smaller: -4.6 or o?
-4.6
Let a = -405 - -406. Let u be (-8)/6*(-1)/18. Which is smaller: a or u?
u
Let w = -3 - -5.9. Let v = w + -2.7. Is v smaller than 4/7?
True
Let u be (43 - 46)/(6/26). Suppose 6 = -2*i - 4. Which is greater: u or i?
i
Let r = -12.6 + 12.7. Let y = 8 - 5. Is y less than r?
False
Let o be 90/50*1/(3/20). Suppose r + 4 + 0 = 5*h, -3*h - o = 3*r. Which is greater: -1/18 or h?
h
Let f = 52 - 5. Suppose -c = 31 - f. Are 79/5 and c nonequal?
True
Let l(n) = 3*n**2 + 376*n - 1154. Let v be l(3). Let d(x) = 2*x**3 + 6*x**2 + 10*x + 9. Let y be d(-6). Let t = y + 2941/11. Are t and v non-equal?
True
Let f be (-5)/(-12) + 17/68. Let p be -1 + ((-24)/(-2) - 2). Is f > p?
False
Suppose 4*x + 2*q = 29422, 3*x = -2*q - q + 22074. Let n = x - 2375022/323. Let m = -1971/3553 - n. Is -1 at least as big as m?
False
Let d = -91 - -2183/24. Let g be 6/9*2/4. Is g less than d?
False
Let o be 4*((-6)/32 - 0). Let d = 5/4 + o. Suppose -4 = -j - 11. Is j less than d?
True
Let n = -9 - -43. Let f be (68/14)/((234/91)/18). Is f at least n?
True
Let j = 311 + -310. Are -4/19 and j nonequal?
True
Let f = -0.5 - -0.8. Let y be (2/30)/(46/230). Which is smaller: f or y?
f
Let b be (-5)/40*3/((-6)/8). Let g = 21 - 20. Do g and b have the same value?
False
Let c be (-49)/70*(-10)/(-6). Is c >= 0?
False
Let f be 2/1 + 4 + -4. Let x(n) = -n**f + 8*n + 8 - 3*n**2 + 5*n**2. Let w be x(-6). Is -4 < w?
False
Let v = 2/1343 - 8140/55063. Which is smaller: 0 or v?
v
Let y = -12321/4 + 210297/68. Is 12 at least y?
False
Suppose -19*k = -12*k + 3920. Is k greater than -560?
False
Suppose 0*i + 7 = i. Let p(q) = -q**2 + 8*q - 5. Let j be p(i). Suppose 0 = 4*f - k + 4, -j*f - k = 9 - 1. Which is bigger: f or 1?
1
Suppose 5*r + 10 = 2*v, 5*r + 28 = -4*v - 12. Which is bigger: 4 or v?
4
Let y be (-677)/1386 + ((-145)/(-45) - 3). Let p = y - -5/14. Is 0 bigger than p?
False
Let j be 2/((-351)/87 - -4). Which is smaller: -48 or j?
j
Let b = -17 - -18. Let p be -18 + (-1 + -1)*b. Let k be (-4)/(-20) + 144/p. Is -1 <= k?
False
Suppose 4*a - 35 = a + n, 0 = -5*n - 25. Suppose -j + y + a = 0, -j + 10 = -2*y - 4. Is 4 less than j?
True
Let d = -1.7 - 6.3. Suppose -576 = 6*c - 2*c. Let k be 1*3 + c/54. Do d and k have the same value?
False
Let k(z) = z**2 + 16*z + 2. Let j be k(-8). Let a = j - -44. Let g be (-21)/a + (-2)/6. Which is smaller: 0 or g?
0
Let f be (-3 - 20/(-4)) + -8. Let h = f - -9. Let c be ((-2)/8)/(h/(-15)). Which is greater: c or 0?
c
Suppose 0 = -5*b - 2*v + 3*v + 39, -b + 2*v = -15. Let g(r) = -7*r + b - 7. Let m be g(-1). Which is greater: m or 5?
m
Let f be (-1 + 1)*(-2)/(-4). Let r be -2 + (-4)/(-4) + f. Let j be -1 + (3 - r) + -3. Is 8/7 at most as big as j?
False
Let r be (-2)/192*-78 - 1. Is r bigger than 1?
False
Suppose 4*j + 334 = 2*f, 172*j + f = 168*j - 337. Which is smaller: -85 or j?
-85
Let w be 21 - -3*1/3. Let t = -20 + w. Is t bigger than 2/3?
True
Let l = -239 + 164. Let w = l - -89. Let q = 0.2 + -0.2. Are w and q equal?
False
Suppose 63*q = -10*q - 16498. Which is greater: q or 0?
0
Let b be 12*((-3)/4)/(-3). Suppose 0 = -4*v - b*a - 10, -2*a = 3*a + 10. Let i be 0/(-6*v/3). Is -2 greater than or equal to i?
False
Let j = -2 - -2.2. Let b be ((-92)/10)/(126/60). Let m = -33/7 - b. Is j at least as big as m?
True
Suppose 5*y = 6*y - 3*w - 1