pose 0*j - 3*y = j + o, 5*y = -5*j - 60. Which is smaller: -32/5 or j?
j
Let h = -284.03 + 284. Which is smaller: h or 2.3?
h
Let b(j) = 3*j**2 + 31*j + 54. Let u be b(-8). Is u less than 46?
True
Let s be (-44413)/73255 + 15/25. Which is smaller: 0 or s?
s
Let r be (5*18/60)/((-15)/(-4)). Which is smaller: 0 or r?
0
Let t(n) = n**2 - 35*n - 623. Let z be t(48). Which is greater: z or -9/91?
z
Let x be (-6 - (-19)/3)*-717. Is -241 < x?
True
Let z be 6/(-4)*(-2)/36. Let d = 203/66 - 32/11. Let j = z + d. Do 2 and j have different values?
True
Suppose t + 2*t = -24. Let a be ((-4)/25)/(4/t). Let q = a - 106/175. Are q and 1 nonequal?
True
Let f = -110 - -52. Let s = f + 57.9. Let y be -1 + 1 + (-20)/(-12). Is y greater than or equal to s?
True
Let c be 4/18 - 3536/(-612). Is -3/11 greater than or equal to c?
False
Suppose 6*w - 5 = w. Let q = 542/5 + -4281/40. Are q and w nonequal?
True
Let y = -112 - -119. Suppose -13 = -6*v - y*v. Which is greater: v or -1/87?
v
Let v(i) = i + 7. Let w be (-3)/(-1 - 0) + 0. Suppose -w*o = -5*p - 20, 2*o = -4*p + 3*o - 23. Let g be v(p). Is g > 1?
False
Let g = -38.8 - -35.8. Which is greater: 59 or g?
59
Let t = 5518 + -5518.1. Let q = -35.19 + 0.19. Is q at least as big as t?
False
Let w(v) = v**3 - 2*v**2 - 15*v. Let b be w(5). Suppose b = -27*z + 25*z + 14. Which is smaller: z or 6?
6
Suppose -3*b = -5*n + 21, n + 0*b - 11 = 4*b. Suppose n*z + 8 = 5. Let s be (-10)/12*(-4)/35. Which is smaller: s or z?
z
Let z(y) = -y**3 + 21*y**2 - 18*y - 3. Let u be z(20). Suppose -u + 39 = -2*w. Are -2/145 and w non-equal?
True
Let r = -199301/497 + 401. Is r >= 0?
False
Let i = 11.858 + -0.008. Let h = 23 + -11. Let g = h - i. Which is smaller: g or 1?
g
Let o(m) = m**3 - 3*m**2 + 4*m - 7. Let a be o(3). Suppose 4*r = r + a*c - 36, 3*r + 36 = -4*c. Do r and -12 have different values?
False
Let u = 248 - 225. Which is smaller: u or 20?
20
Suppose -6650 = -30*d + 65*d. Is -193 greater than or equal to d?
False
Let k(r) = 2*r**2 + 12*r + 12. Let a be k(-5). Suppose -d - 47 = -2*s, -a*d + 6*d - 76 = -4*s. Is s greater than 22?
False
Let o = 74 + -50. Suppose 2*b + 26 = -o. Is b at least as big as -24?
False
Let i(d) = d**3 + 7*d**2 - 5*d + 14. Let p be i(-8). Let b be (16/260)/(4/p). Which is smaller: b or -0.3?
-0.3
Suppose -3*v - 8 = 3*n - 4*v, -4*v = -n + 12. Let b(d) = -d**3 + d**2 - 2. Let w be b(2). Is w greater than n?
False
Let c(a) = 2*a - 7. Let h be c(5). Let j = 8 - h. Let m(d) = -11*d + 71. Let q be m(6). Is j <= q?
True
Let m(t) = 160*t - 636. Let k be m(4). Suppose -2*s + 6*s = 16. Let a = -2 + s. Which is greater: k or a?
k
Let i = -5.2 + 5.7. Do 8 and i have the same value?
False
Let p be (-4)/6*(-18)/4. Let h = p - -3. Let b = h + -12. Is -5 smaller than b?
False
Let w(a) = -2*a**2 - 17*a - 6. Let z be w(-9). Let j = z - -1. Is -14 less than or equal to j?
True
Let a = -506 + 509. Is 69 greater than or equal to a?
True
Let v = -0.632 + 0.622. Which is greater: v or -0.2?
v
Let z be 14/24 - 225/(-135). Are 32 and z unequal?
True
Let m(x) = 26*x - 185. Let h be m(7). Let w be (-16)/10*(-15)/6. Suppose -w = n + n. Which is smaller: n or h?
h
Let o = 575.9387 + -576. Which is smaller: 0 or o?
o
Let w = -0.35 - -0.55. Does 0 = w?
False
Let o(h) = h**3 + 8*h**2 + 10*h - 11. Let v be o(-6). Let b be 15/(-6)*(-1)/5. Which is bigger: b or v?
v
Let c be (-2)/(-6)*6/25. Suppose 249*m - 12 = 255*m. Which is smaller: m or c?
m
Let c = -58 + 40. Let g be 54/(-243) - (1 + (-284)/c). Which is bigger: -16 or g?
-16
Let t(u) = u**2 - 7*u - 14. Let a be t(-2). Let z be -2 - (-2 - -3 - a). Which is bigger: z or -1/215?
z
Let g = 63 - 58. Let u be (-1)/(-10 - -5)*g. Which is bigger: u or 3/71?
u
Let v(k) = 5*k**3 - k - 1. Let n be v(-1). Let c = -10 - -10.5. Let h = 0.4 - c. Which is smaller: n or h?
n
Let r(s) = s**2 - 11*s. Let t be r(13). Suppose -u + 2*w + 16 = -3, 0 = 5*u - w - 122. Which is bigger: u or t?
t
Let s = 0.54 + 16.46. Which is smaller: s or 1/3?
1/3
Suppose 4*p - 3*s = -s + 26, 5*s = -3*p + 13. Let m be -3 + p/(-9)*11/(-4). Which is smaller: m or -2?
-2
Suppose 0 = -15*i + 19*i - 32. Let g be (2/i - 46/200)*2. Is 0 less than or equal to g?
True
Suppose -17*i - 108 = -11*i. Which is smaller: i or -23?
-23
Let n be (-2)/(-5) + 106/(-190). Let s be (-6 + (-207)/(-36))/(2/8). Which is smaller: n or s?
s
Let g(p) = -2*p - 8. Let f be g(-11). Let t = f + -9. Suppose 5 = -t*b - 2*c, -2*b - 7*c = -2*c + 2. Is b >= 1/4?
False
Let k = -6181 - -30767/5. Is k less than -27?
True
Let a(n) = 4*n**2 + 136*n + 177. Let p be a(-33). Which is smaller: p or 51?
p
Let s = -2014 + 2154. Which is smaller: 144 or s?
s
Let d = 0.5 - 0.4. Suppose -38*q = -34*q - 16. Let c be (-158)/(-568) + 4/(-64)*q. Are c and d unequal?
True
Let h = -73726/5 + 14798. Which is smaller: h or 53?
h
Let b = -147 + 148. Is b at most 52?
True
Let a(w) = w + 15. Let t be a(-13). Suppose 2*v + 2*n = 2, -3*v - 2*n + t = -0*n. Is v bigger than 11?
False
Let t = 40 + -45. Let a = 1 - -2. Let b be (3/t)/(a/2). Which is bigger: 0 or b?
0
Suppose 9*n + 11 = -7. Let r be -9 + 11 + 1/1. Suppose 4*i + 4*f = -r - 29, 3*i + 20 = -2*f. Is n at least as big as i?
True
Let c be (-1)/(-2) - 75/174. Let z(p) = -p + 9. Suppose -4*u - 25 = -3*o - 5*u, -2*u - 22 = -3*o. Let q be z(o). Which is greater: q or c?
q
Let n = -7 - -5. Suppose -4*j - k = 10, -146*j = -145*j - 4*k + 11. Which is bigger: j or n?
n
Suppose 0 = -3*p + 30*i - 34*i + 25, 0 = -4*i + 4. Which is greater: -13 or p?
p
Let i = -4 - 3. Let t be 84/8 + 1/(-2). Let b(w) = w**2 - 11*w + 1. Let n be b(t). Is i at least as big as n?
True
Suppose 3*b + 13*b + 400 = 0. Is -25 > b?
False
Let t be 4/(-1) + (-10)/((-10)/49). Let h be (32/(-50))/(6/t). Which is greater: -2/5 or h?
-2/5
Let j = 6 + -2.6. Let f = 1.4 - j. Which is smaller: f or 4/3?
f
Let q = 268 - 258. Is q smaller than -2/5?
False
Let o = -1.5 + 0.9. Let j = o + 1.4. Let s = j - 0.89. Are 1 and s unequal?
True
Let z = 1 + -18. Let t = z + 17. Suppose -x - 1 = -0. Which is bigger: x or t?
t
Let c be (-106)/(-7) + -1 - (-112)/(-784). Let h(j) = -j**2 - 6*j - 2. Let r be h(-5). Is c at most as big as r?
False
Let u be 6 - 6 - (3 + -12). Which is smaller: u or 5?
5
Let v = 324 - 324.2. Which is smaller: -80 or v?
-80
Let f = 57 + -67. Is f smaller than 5?
True
Suppose 2*p + 3 = -4*r + 11, 5*p = 4*r + 34. Let a be (3/p)/(0 - (-4)/(-192)). Is a at most -26?
False
Let b = 1307/21 - 185/3. Which is bigger: -0.3 or b?
b
Suppose 472 = 3*j + 490. Is j smaller than -135/19?
False
Let x be (-2)/(-1) + ((-2)/1 - -3). Let j = -7.035 - -0.035. Which is bigger: x or j?
x
Let j = -200 - -230. Let w be 8/(-24) - (-170)/6. Is j at most as big as w?
False
Let j(b) = 3*b**3 - 2*b**2 + 9*b - 37. Let f be j(3). Which is smaller: f or 44?
44
Let a(r) = 25 + 2*r**3 - 26 - 3*r**3 - 3*r**2 + 0*r**2 + 3*r. Let c be a(-4). Let d be (-8)/(-9)*c/12. Which is smaller: 1/9 or d?
1/9
Let w(o) = -o**3 - 4*o**2 - 13*o + 4. Let p be w(-4). Suppose p = -3*l + 41. Is l <= -3?
True
Let k(y) = -3*y - 9. Let h be k(-4). Suppose 23*x = 26*x - h. Which is bigger: 3 or x?
3
Let d(y) = -7*y - 3. Let w be d(-1). Let b be (w/3)/(4/6). Do b and 2/7 have the same value?
False
Let q = 4.848 + 0.232. Let a = 0.08 - q. Which is greater: a or -1/7?
-1/7
Suppose 3*d + k = -k - 88, d = -5*k - 38. Which is smaller: d or 11/4?
d
Let u(t) = -t + 32. Let q be u(-4). Is q bigger than 23?
True
Let i be 1/(-2)*8 + -6. Let c be 8/i*(-10)/4. Suppose -c*s - 20 = -7*s. Which is bigger: 5 or s?
5
Let s be (-4 - -2)/(2/(-5)). Suppose 3*x + 5 - 3 = h, -s*h + 10 = 4*x. Let c be 6/((-60)/(-8) - 3). Which is smaller: c or x?
x
Let h(l) be the first derivative of l**2 + 1/3*l**3 - l - 7. Let m be h(-4). Which is smaller: 8 or m?
m
Suppose 4*k = -4, -3*z - z + 5*k - 35 = 0. Suppose 3*t = -5*w + 4, 4*w + 1 = -2*t + 7. Which is smaller: t or z?
z
Let z = 1893 - 1894. Is -8/337 at least z?
True
Let m = 0 + -0.5. Let p = 897/2 - 458. Let y = -175/18 - p. Is m at least as big as y?
False
Let w be 650/(-60) + 1/(-6). Which is greater: -19 or w?
w
Let o(c) = c**2 + 9*c + 10. Let u be o(-7). Let k be (-2)/(-3) - u/12. Which is smaller: k or 2/103?
2/103
Let c be ((-9)/(-72))/((-2)/92). Let s(i) = i + 3. Let b be s(0). Suppose -b = 