-126) + 8). Which is smaller: g or w?
w
Suppose -2*l - 20 = -2*h, -3*h + l + 54 = 2*h. Suppose 9*x = 43 + h. Which is smaller: x or -4?
-4
Let n(f) = 20*f + 26. Let a be n(-2). Which is bigger: a or -40/3?
-40/3
Let d(o) = -4*o**2 - o + 9. Let j be d(-4). Let k be (12/(-16))/(j/(-2)). Which is bigger: k or 0?
0
Let i = -5842/3 - -1966. Let y be (4/6)/(1*(-2)/(-54)). Which is smaller: i or y?
y
Let n = -3211 - -6637/2. Are 109 and n unequal?
True
Suppose 0 = -x + 2*x. Suppose -10*i = -7*i + 21. Let t be ((-10)/(-35))/(2/i*-6). Does x = t?
False
Let m = -113 - -1129/10. Let v(o) = o**3 - 19*o**2 + 18*o + 1. Let t be v(18). Suppose 2 = q - 3*h, 2*q = -q + 4*h + t. Are m and q nonequal?
True
Let s be 20/(-8)*18 + -2. Let d be 4/6 + s/3. Let n be ((-9)/6)/(d/6). Is n >= 1?
False
Suppose a - 9 = -7. Let l be a*4/(-16)*(-16)/148. Do l and 1 have the same value?
False
Suppose -4*i + 0*i = -52. Suppose -17 = -2*a + 3*h, 23*a + 5*h + 7 = 25*a. Do i and a have the same value?
False
Let a be (-17)/(-51)*(-9 - 0) + 70. Do 63 and a have the same value?
False
Let u = 39 - 35. Suppose u*f - 2 = 14. Which is bigger: f or -0.3?
f
Let y be (-1)/13*(-5 - -4). Suppose 2*c + 5*f - 17 = 0, 3*c - 4*f - 8 = c. Suppose 0*s + 4*g - 11 = -s, -3*g = 3*s - c. Is s > y?
False
Let l(n) = 2*n - 39. Let o(b) = b - 19. Let p(r) = 2*l(r) - 5*o(r). Let g be p(18). Do -2/65 and g have the same value?
False
Let z be 3795/(-77) + 13 - (-2)/7. Which is bigger: z or -33?
-33
Let a be 20325/(-40) + 3 - 3. Let c = a - -510. Is 1 != c?
True
Let g = -13.7 + -1.3. Let a = -17 - g. Which is bigger: 1.5 or a?
1.5
Let r(n) = -n**2 + 6*n - 6. Let s be r(3). Suppose 5*j + s*y - 33 = -y, 3*y - 36 = -5*j. Let w be 2 + 1 + 4/(-2). Are j and w equal?
False
Let w = 28 - 32. Let z = 2 - w. Let c(j) = -j**2 + 9*j - 8. Let b be c(7). Does z = b?
True
Let a(x) = -x**3 + 22*x**2 - 4. Let s be a(22). Let c be (48/27 - 2)*2/s. Is 0 less than or equal to c?
True
Let j = 2 + 1. Let d be 2/6*(0 + 0). Suppose d = 5*h - 4 - 1, -3*h + 23 = 5*m. Is m at least j?
True
Suppose -3*l + 4*l - 3 = 0. Suppose -19 = j + 3*x + 2*x, 2*j + 10 = -l*x. Let m be (j - -3)*(1 + 0). Which is greater: 13/4 or m?
m
Let m = 0.304 - -0.696. Which is greater: m or 30/47?
m
Let u be (-44)/(-36) + -1 + (-74)/198. Which is bigger: -1 or u?
u
Suppose -29 - 40 = -3*b. Let g = b - 20. Suppose -6 + 2 = 5*k - g*s, 4*k = 4*s. Is k less than -16/5?
False
Let k be 504/16 - (-1)/2. Suppose -4*a = -5*a + 7. Suppose 2*c = a*c - 5*m - 150, -m = -2. Is c at most as big as k?
True
Suppose -2*d = -6*d + 24. Suppose 2*w = d*w + 36. Let s = 4 + w. Is s bigger than -5?
False
Let c = -4 - -1.2. Let h = 1.8 + c. Which is greater: h or -3?
h
Let l be (-8)/(-20)*5/2. Let k(h) = -2*h - 13. Let j be k(-9). Let u = j - 6. Is u >= l?
False
Let w be ((-13)/(78/675))/(-3). Is 39 at most w?
False
Let j = -73 + 235. Is j greater than 0.2?
True
Let h be (-5 + 2 + -2)*6/10. Let p be (15/(-9) - h)*6/4. Which is bigger: p or 4/5?
p
Let v = -16276 + 81017/5. Let t = v + 73. Suppose -3*y + 2*y = -6*y. Which is smaller: y or t?
y
Let t = -0.4 + 0.5. Suppose 0 = -2*s + 2*d + 14, 3*d = 4*s + 2*d - 22. Suppose 17 = 5*h - 2*g, -s*h + 57 = 3*g + 20. Which is smaller: h or t?
t
Let k(w) = -w**2 - 4*w + 2. Let y be k(-4). Suppose -3*i + y*i + 3*n = 14, -2*n = -i - 16. Let z = -5 + -16. Which is greater: i or z?
i
Let s be 82/(-8) - 7/(-28). Let i(r) = -r**2 - 7*r - 8. Let h be i(s). Let b be 5/10 - h/(-60). Which is smaller: 1 or b?
b
Suppose -5*s - 5*l + 4*l = -155, 3*s + 3*l = 93. Suppose -28*d = -3*d - 800. Which is smaller: s or d?
s
Suppose -3*z + 2 - 4 = 5*f, -4*f - 8 = -4*z. Let b be f/3 - 5/(-15). Suppose r + h = 4, 0 = -r - b*r + h. Which is bigger: 11/4 or r?
11/4
Let f = 1.2 - 12.2. Let k = f + 9. Which is smaller: k or 9/4?
k
Let c(x) = 2*x + 15. Let j be c(-9). Let u be -19*25/(-165) + j. Which is smaller: 1 or u?
u
Let l be 2*-1*(1 - 0). Let u(t) = 17*t. Let p be u(-5). Let a = p - -86. Are l and a unequal?
True
Let n be (-3)/(-3) - (-11)/(-7). Suppose -351 = 8*c - 335. Is c greater than n?
False
Let n = -6.14 - 1.42. Let m = n - -0.56. Is m at least 7?
False
Suppose -4*f - 160 = -4*y, 0 = -2*y + 5*f + 42 + 44. Which is smaller: 196/5 or y?
y
Let f(y) be the first derivative of -2*y**3 + y - 1. Let h be f(-1). Let b be 2/h*(-10)/4. Are b and 1 unequal?
False
Let f be 4214/(-215)*(-18)/(-105). Which is smaller: f or -4?
-4
Let n = -16 + 18. Suppose -w = -n*w - 9. Let x = 7 + w. Is -2/3 less than or equal to x?
False
Let r(y) = 2*y - y + 3 - 1. Let c(x) = x**3 - 2*x**2 - 15*x + 32. Let q be c(3). Let z be r(q). Which is greater: -12 or z?
z
Suppose 126 + 32 - 7 = 151*w. Let a = 5819 - 29292/5. Let r = a - -203/5. Which is smaller: w or r?
w
Let q = -270 - -282. Let f(n) = n**3 - 7*n**2 + 9*n - 5. Let w be f(6). Which is bigger: w or q?
w
Let q = 5 + -15. Let p be -39*((-8)/6 + 1). Let j = q + p. Which is smaller: j or 1?
1
Let b = -0.05 + 0.1. Let k = b + 0.06. Let p = k - 0.21. Which is greater: p or 7?
7
Suppose -d = -3*a + 682, -2*a + 36 + 407 = -3*d. Does a = -0.1?
False
Let s be 46/(-87) + (-8)/(-12). Let l(m) = -2*m**2 - 9*m - 11. Let u be l(-2). Which is bigger: s or u?
s
Suppose -44*b + 11*b + 990 = 0. Which is smaller: b or 32?
b
Suppose 2*j = 3*v - 9, -4*j + 5*v = 13 + 2. Let z be j - -1*(-3)/114. Suppose -2 = 7*k - 5*k. Which is smaller: k or z?
k
Let o be -3*(-4 - 940/75). Let a = -50 + o. Let z be 27/(-4) + (-1)/4. Is a <= z?
False
Let o = -0.2 + 0.1. Let p = 3.08 - 3.08. Which is greater: p or o?
p
Let r = 122 - 176. Is r <= -49?
True
Let j be (-7)/35 - (-108)/(-10). Which is smaller: j or -4?
j
Suppose 0 = 5*i - 2 - 8. Let f be (-17)/i + 1 + 0 + 3. Which is greater: f or -5?
f
Suppose -2*g + 20 = 3*n - 3*g, 3*n - 19 = 2*g. Suppose 0 = 2*d - n + 1. Which is smaller: d or -4?
-4
Suppose -4*j + 10*b - 12*b = 4, -5*b = 2*j + 2. Which is bigger: 7/101 or j?
7/101
Let j = -1.9 + -36.1. Let d = 37.8 + j. Which is bigger: d or 5?
5
Let w = 0.08 + -3.08. Let y = -3 - w. Let j = -70846/9 - -7872. Which is bigger: j or y?
j
Let s = 31 + -17. Suppose -4*u - s = 10. Is u greater than or equal to -41/7?
False
Let i be (-82)/(-6)*(1 - -2). Is i at least 41?
True
Suppose -5*z - 100 = 4*l + 413, z - 3*l + 95 = 0. Does z = -100?
False
Suppose 0 = a + 6 - 7. Let y be 0/((1 + a)*-1). Suppose -5 = -y*w - 5*w. Which is smaller: 1/4 or w?
1/4
Let i = 931 - 938. Let q(u) = 2*u. Let w be q(2). Is w less than i?
False
Let h = -4.05 - -3.95. Is 167 > h?
True
Let p(x) = -57 + 80 + 9*x + 3*x. Let d be p(-4). Which is smaller: -24 or d?
d
Suppose 67*t - 213 = 66*t. Which is bigger: t or 210?
t
Let w = 1991/14 - 285/2. Which is smaller: w or 503?
w
Let n = -17 + 33. Let z = 19 - n. Let i be -1*z*10/(-15). Is 4 at most i?
False
Let s = 4/33 + -5/11. Let y = -5 - -5.1. Let n = y + -0.2. Which is smaller: n or s?
s
Let m be (2*2/(-8))/(1/(-16)). Let q(w) = -w**3 + 8*w**2 - 3*w + 23. Let p be q(m). Let c = -1.04 + 0.04. Is p at least c?
True
Let a = -14 + 6. Let k = a + 21. Is -0.2 smaller than k?
True
Let z = -1214 - -1199. Which is bigger: z or 2?
2
Let l = 741 + -62979/85. Do 1 and l have different values?
True
Suppose 2*c + 2 = 4*m, -m = 2*c - 2 + 4. Suppose 6*d = 57 + 63. Suppose 5*u = d, -2*t - u + 4 = 3*t. Which is smaller: t or c?
c
Let x = -112 - -152. Suppose -x = -2*a - 4. Let n = -24 + 42. Is n smaller than a?
False
Let o be ((-1)/2)/(1/(-6)). Let j(x) = x**2 + 15*x + 35. Let d be j(-15). Suppose -d = -6*b - b. Do b and o have the same value?
False
Let o be ((-8)/(-70))/(24/(-42028)). Let k = 200 + o. Let d(r) = -r**3 - 10*r**2. Let q be d(-10). Which is smaller: q or k?
k
Let m = 0.08 - 1.08. Let k = -1 + m. Let r = k - -1. Is 2 less than r?
False
Let v = -62 - -76. Suppose 2*l = v + 2. Which is smaller: l or 39/5?
39/5
Let n be (-3)/(-9) - (-22)/33. Let s = -21101/1465 - -1/293. Let x = s - -14. Is n equal to x?
False
Let z(w) = 46*w - 492. Let r be z(-5). Is -722 at most r?
True
Let w = -23 - -4. Suppose 5*z - 2*f = 4*z - 31, -5*f = -z - 46. Are z and w equal?
False
Suppose m + 15 = 3*t, t - 16 = -3*m - 81. Which is smaller: -15 or m?
m
Let p(s) = -s**2 + 2*s + 3. Let n be p(-2). Let r = 0 + n. Suppose -2*b + 2*q - 4 = 0, -5*b - 3*q = -2*q + 28. Is b less than or equal