 b(y) = 5*y - 673. Let o be b(41). Is -468 at most o?
True
Let u(b) = b**2 - 20*b + 18. Let h be u(19). Which is bigger: -6/11 or h?
-6/11
Let g(x) = -6*x + x**2 - 1626 + 4*x + 1628 - x. Let a = 9 + -5. Let t be g(a). Is t smaller than 5?
False
Let s be (-4)/6 + (-1)/3. Let w = -12 - -14. Suppose 3*r + 14 = -w*g, -4*g + 2*r - 6*r - 20 = 0. Does g = s?
True
Suppose 7*b - 26 = 4*w, -2*b + 2*w - 35 = -3*w. Let l = 8 + -5. Suppose 2*g = l*g - 10. Do g and b have different values?
False
Let u = 161 + -546. Let t = -169 - u. Let c = t + -3453/16. Which is bigger: c or 0?
c
Let q be ((-5)/(-20))/((-7)/28). Which is greater: q or 1?
1
Suppose -5*w - 32 = 4*m, 3*w = -w - 2*m - 22. Let p = w + 0. Let n = p - -2. Is -2 bigger than n?
False
Suppose 0 = -d + o + 8, -d - 3*o + 5 = -11. Suppose 3*g - x = -2*x + d, 4*g - 3*x = 9. Let k = -1182 - -1186. Which is smaller: k or g?
g
Let c be (1/(-2))/((-126)/252). Which is bigger: 25/12 or c?
25/12
Let a = 31533/7 - 4491. Let x = 14 - a. Which is greater: x or -72?
x
Let k be (-2 + -1)/1 + (5 - 6). Is -37/8 < k?
True
Let b = 6 - 6. Let v = 15 - 11. Let n be (3/6)/(2/v). Is b less than or equal to n?
True
Let g = 243 + -245. Which is smaller: g or 1.2?
g
Let t = 379.71 + -381. Is t < -2/3?
True
Let y be (-8)/20 - 64/(-10). Suppose 3 - y = -o. Suppose o*c = c - 26. Is c smaller than -13?
False
Let m(k) = -k**3 - 5*k**2 - 2*k + 5. Let t be m(-5). Let j = t + -8. Let a = j - 9. Are a and -7/4 equal?
False
Let h be 1599/(-231) + 2 + 4 + 1. Which is bigger: h or 1?
1
Suppose -4*z + 542 - 510 = 0. Let m(a) = a**3 - 7*a**2 + 7*a + 2. Suppose -5*j - g = -0*g - 33, -2*g = 5*j - 36. Let n be m(j). Does n = z?
True
Suppose -5*n + 10*n = -365. Let s = n - -72. Is s equal to 14?
False
Let r(n) = -n**3 + 5*n**2 - 2*n - 2. Let q be r(3). Let b be 10/6*126/30. Which is smaller: q or b?
b
Suppose 114*b - 196*b - 2214 = 0. Let q = 9 - 35. Which is smaller: q or b?
b
Let t = 0 - -0.2. Let b = -25.36 + 0.36. Let o = 31 + b. Is t bigger than o?
False
Let z = 6088677/44 + -138351. Let p = z + -201/11. Is p smaller than 9?
False
Suppose -12 = 3*h, 4*q - 7*h + 2*h - 24 = 0. Suppose -4*u - q = -3*u. Which is smaller: -5 or u?
-5
Let m be (-132)/198*(-30)/(-4). Is m equal to 10?
False
Let f be 1 + (40920/6835)/(-6). Let n = f + 3900/91589. Is 1 at least n?
True
Suppose 16*i = 18*i - 124. Let a = i + -62. Let c = -0.7 + 3.7. Is a greater than c?
False
Let v be 192/168 + 19550/(-17094). Is v at least as big as -1?
True
Let d be -1*(-2)/(-2) - (-69)/23. Let i be -2 + 4 + (3 - 4 - d). Which is greater: 1/32 or i?
1/32
Suppose 11*r = 6*r. Suppose -5*k + 13 = -q, -q = -k - 0*k - 3. Let y be 19/q + 12/(-4). Which is greater: y or r?
r
Let w be 4 + -118 - (-36)/9. Is w > -110?
False
Let r = 0.1664 + -1033.1664. Are -0.1 and r unequal?
True
Let y = -513 + 512. Which is smaller: 2/997 or y?
y
Let r(d) = d**3 + 9*d**2 + 9*d + 5. Let f be r(-8). Let u be 0 + (-117)/30 + f/(-2). Which is greater: u or -3?
u
Let s(z) = -2*z**3 - 3*z**2 + 1. Let l be s(-1). Suppose l = 3*o + 2 - 149. Which is greater: o or 48?
o
Let i be (16/10)/((-1)/5). Let y be 139/4 + (-2)/i. Let v be y/(-14)*1/15. Which is bigger: 1 or v?
1
Let t be (3/(-5))/((-11)/55). Suppose t*k + 97 = -272. Let z be -2*(372/k - -3). Does -1 = z?
False
Let u = -58/9 + 20/3. Let i = -0.0415 + -0.4585. Is u at least i?
True
Suppose 5*o = b + 38, 8*o = -3*b + 11*o - 42. Let j be 3/9 - (-31)/(-3). Which is smaller: j or b?
j
Suppose 2*x = 3 + 1. Suppose -3 - x = 5*i. Let f = 2164/5435 + 2/1087. Is f at least as big as i?
True
Suppose 24 = -6*m - 60. Let p(c) = -4*c + 6. Let l be p(5). Do m and l have the same value?
True
Suppose -3*k = -2 - 7. Let c be (-246)/(-9)*9/6. Let u = c - 36. Which is smaller: u or k?
k
Let k be 1/(-2) + 49/126. Let s be ((42/(-9))/7)/((-6)/(-9)). Which is smaller: k or s?
s
Let y = -2.9 + 3. Let s = -8.692 - 0.108. Let r = -9 - s. Which is bigger: r or y?
y
Let n(z) = z - 21. Let g(q) = -q + 10. Let d(v) = -5*g(v) - 3*n(v). Let y be d(-7). Suppose -4 = a - 0. Are y and a nonequal?
True
Let n = 1957/4 - 8929/20. Is -0.1 bigger than n?
False
Let j = -2/69 - 7/23. Let b = 818/119 + -112/17. Which is greater: j or b?
b
Let t(p) = -6 + 32*p - 15*p - 16*p. Let r be t(8). Which is greater: r or 13/4?
13/4
Let b = -119/20 - -23/4. Suppose -5*m + 10 = -0. Suppose 0 = 5*d - 3*s + 1, 2*d + m*s = -2*s + 10. Is d bigger than b?
True
Suppose 200 = -12*z - 112. Suppose 7*d - 4*d + 81 = 0. Is z > d?
True
Suppose 4*t = -10 - 6, 2*l + 4*t + 10 = 0. Suppose h + l = -2*h. Let m be 4 - 4/18*(-20)/(140/(-63)). Which is bigger: h or m?
m
Suppose -c + 2*d = 4, -2*c - d - 8 = -3*d. Let h be c - 40/(-1 + -4). Is h at least as big as -2?
True
Let j = 4 - 0. Suppose -v - 4*v = -2*r, 0 = j*r - v - 18. Which is smaller: r or 4?
4
Let c(g) = -2*g**2 + 28*g + 63. Let f be c(-2). Let j = 63/5 - 829/65. Are f and j unequal?
True
Suppose -70 = 8*u - 3*u. Let b be u/6*(-10)/35. Is 0.2 at least b?
False
Let o be (-129)/24 - (-4)/((-192)/(-18)). Is o greater than -11/2?
True
Suppose -5*p = -59 - 21. Let l(f) = f**2 + 8*f - 7. Let b be l(-9). Let i(k) = 7*k + 3. Let v be i(b). Are p and v unequal?
True
Let c be (-13)/(-13)*(0 + 39). Let i = 20 - c. Which is bigger: i or -17?
-17
Suppose l = -5, 2*l - 1 = 2*n + 5*l. Suppose -n*v + 1 = 8. Is -8/5 not equal to v?
True
Suppose -3*n - 9 = -3*h, 0*h - 4*h + 8 = -2*n. Let a be (1 + 2)*(-40)/56. Which is greater: a or n?
n
Let k be 1 + (-1)/(-2) - 85/170. Which is smaller: -2/171 or k?
-2/171
Suppose 3*s + 4*b - 36 = 0, -2*s = -4*s + b + 13. Suppose -s = 4*o - 8*o. Suppose j + o*j = 0. Is -5 bigger than j?
False
Let k(j) = 271*j - 4. Let g be k(1). Is g at least 268?
False
Let g be -3 - (-1 + -8 + 5). Which is greater: g or 10/59?
g
Let q be 7/(46/(-12) + 4). Let c be (-35)/q*14/10. Which is smaller: c or -2?
-2
Suppose -38*q + 37*q - 64 = 0. Suppose 3*k - 51 + 240 = 0. Is q not equal to k?
True
Let c = 10 + -9. Let m = c - 9. Let v = m + 8. Which is greater: -10 or v?
v
Let p(u) = -u**3 - u - 1. Let i(v) = 6*v**3 - 3*v**2 + v + 5. Let x(t) = i(t) + 5*p(t). Let h be x(4). Suppose 84*g = 39*g. Is g bigger than h?
False
Suppose b - 3 = 4*b, a - 25 = 5*b. Let w be 5/a*4*0. Which is smaller: -12 or w?
-12
Let z(y) = y - 14. Let h be z(16). Suppose -4*m - 18 = k, -2*m + h = 2*k + 8. Is k less than 13/4?
True
Let h = 51 - 55. Is -13 >= h?
False
Let k(h) = -h**3 - 65*h**2 - 2*h - 129. Let m be k(-65). Let u be (2/(-4))/((-99)/(-12)). Which is bigger: m or u?
m
Suppose 0 = -3*a + 15. Suppose a*n = -73 - 52. Let z be 5/n*10/(-4). Which is greater: z or 3?
3
Let u(r) = r**2 + 12*r + 34. Suppose i + 0 = -7. Let c be u(i). Let g be 3/(-54) - (-2)/9. Are c and g nonequal?
True
Let d(f) = -14 + 37 - 10*f - 3*f**2 + 2*f**2 - 20. Let v be d(-10). Is -2 at most v?
True
Let b be (-1 + -1)/((-48)/12). Let t = -747/4510 + 6/205. Is t <= b?
True
Let s be 2/20 + (-216)/(-720). Which is smaller: s or 650/3?
s
Suppose 0 = -g - 0 + 8. Let p(y) = y + 7. Let r(w) = w + 1. Let h(i) = -p(i) + 2*r(i). Let j be h(4). Which is smaller: g or j?
j
Let y be 3*(-1)/(-3) - 2. Let a = -2 + y. Suppose -2*w = x + 16 - 6, 0 = -3*x - 2*w - 14. Which is greater: x or a?
x
Let u = 2.8 - 4.5. Let y = 0.13 + -5.13. Let j = y - -5. Which is bigger: j or u?
j
Let v(l) = -l**2 + 2*l - 5. Let t be v(0). Let g be -2*-1*15/(-6). Is g > t?
False
Suppose 36*i = -31 + 607. Suppose 2*y = -0*y + 10. Do y and i have the same value?
False
Let h be (-2)/12*((-4 - -3) + 3). Let f(m) = -m**3 - 9*m**2 - 9*m + 5. Let q be f(-8). Which is greater: q or h?
q
Let x(g) = 49*g - 54. Let u be x(2). Which is greater: 271/6 or u?
271/6
Let f be 16/5 - 1/5. Let l(m) = 5*m - 2. Let u(v) = 6*v. Let h(t) = 3*l(t) - 2*u(t). Let k be h(f). Is k less than or equal to 3/2?
False
Suppose -6 = 24*l + 18. Which is smaller: l or -15?
-15
Let u be 36*(21/6)/7. Let r = u + -19. Is -1 bigger than r?
False
Let s = -251 - -251. Is s smaller than 31/44?
True
Let s = -1983 + 1897. Which is greater: -93 or s?
s
Let a be (-3)/9*-6 - -21. Suppose -a = -3*f - 26. Is -14/9 > f?
False
Suppose 0 = 3*v - 0*v - 9. Let c = -445084/5 - -88627. Let h = 392 + c. Are h and v equal?
False
Let o be ((-13)/2)/(44/(-88)). Is 18 equal to o?
False
Let n = 178 - 148. Is 48 