*g + 3*g = -w + 21, 2*w - 5*g = -18. Let p be w*(-3 - 0)/(-6). Which is smaller: p or v?
v
Suppose -334 = -w - 165. Do 170 and w have the same value?
False
Suppose 5*v = -20, -5*v = 2*o + 10 + 4. Suppose 4*x = -o*t + 6, -5*x + 4 = -5*t + 14. Which is bigger: 12 or x?
12
Let l = 450.02 - 450. Is -18 less than or equal to l?
True
Let l = 2/11909 - 83457/559723. Which is smaller: l or 0?
l
Let j be (-1412)/9 + 11/(22/(-4)). Let x = j + 158. Which is smaller: 1 or x?
x
Let w(o) = -2*o - 7 + 4*o**3 + 2*o**2 - 7*o**3 + 4*o**3. Let l be w(3). Which is greater: 33 or l?
33
Let n = 790 - 7102/9. Let w(h) = h**3 + 16*h**2 + h + 16. Suppose 44 = -3*c + 2*x, -5*x - 10 = -0. Let a be w(c). Which is greater: a or n?
n
Let h = 4620 - 4615. Suppose 2*l + 6 = 20. Which is smaller: h or l?
h
Let q(j) = 14*j - 140. Let a be q(10). Is a > 5?
False
Let s = 1.1 + -14.1. Let r = -49 + 50. Is r at most s?
False
Let p = -803 + 802.9. Which is smaller: -1.5 or p?
-1.5
Let c = -7 - -6. Let a be (((-114)/15)/1)/18. Let u = 1/5 + a. Which is smaller: u or c?
c
Let d = -41 + 19. Let z = -21904 + 21907. Is d >= z?
False
Suppose -m + v + 6 = 0, -4*m + 2*v - 4*v + 24 = 0. Suppose -b - y = -35, 2*b - 5*y = m*b - 141. Suppose -z = z + b. Which is smaller: z or -18?
-18
Let a = -133.8 + 109. Let g = -25 - a. Let b be (-2)/(-2) - (-18)/(-24). Is g < b?
True
Suppose -7*q - 11*q = -11*q. Which is smaller: 4/23 or q?
q
Suppose 5*f - 8 + 85 = 3*l, f = 2*l - 49. Suppose -2*o = n, -3*o + l = -2*n + o. Is n greater than -9?
True
Let j = -1352 - -1304. Which is greater: -42 or j?
-42
Suppose -2*q = -2*p + 4, -q + 13 = 6*p - 2*p. Suppose 0 = c - v - p, c - v = 3*v + 15. Let o be (-7)/(3 + -5 - c). Are 6 and o equal?
False
Let z = -910 + 2000. Which is smaller: -2 or z?
-2
Let t = 238 + -2150/9. Suppose 5*l - 7*l + 212 = 0. Let q = l + -107. Which is greater: t or q?
t
Let v = 3192459/5737 + -19679878363/31897720. Let a = v + -48723/139. Let y = -411 - a. Which is smaller: y or 1?
y
Let y(b) = -b**3 - 11*b**2 - 11*b - 13. Let z = 10 - 29. Let d = 9 + z. Let r be y(d). Is 0.1 at least r?
True
Let p = 679.96 + -680. Is -12/7 at most as big as p?
True
Let m(r) = -r**3 - 19*r**2 + 6. Let l be m(-19). Let w be ((-36)/54)/(4/l). Is -1/8 equal to w?
False
Let u = -224 - -234. Which is smaller: 75/7 or u?
u
Let j be (-66)/84 - 2/(-7). Let b = -2.5 + 1.8. Let z = b + 1.7. Which is smaller: j or z?
j
Suppose -3*c = -3*v + 2*c + 77, 5*v + c = 147. Which is smaller: v or 32?
v
Let j = -4/73 + -134/219. Let y be (-594)/(-78)*-3 + 4/(-26). Which is greater: y or j?
j
Suppose 4 = n + n. Suppose n*d + 48 = 5*d. Let o be (-2)/(-6)*(-12)/d. Which is smaller: -2 or o?
-2
Let m be 2717/(-57)*(0 + -15). Let b = m - 20737/29. Is b >= 0?
False
Let l = 246 - 247. Is l equal to 8/31?
False
Let n be 1/3 - 22/12. Let c(o) = -7*o - 10. Let g be c(-1). Is n <= g?
False
Let y be 12/(-15)*5/(-2). Suppose -y*m + 3*m = 1. Let d be ((-3)/68)/((-13)/(-52)). Which is smaller: m or d?
d
Let j be 2/(2/(3 - 1)). Suppose -11 = f + 4*t - 6*t, -4*f + j*t - 38 = 0. Which is bigger: -11 or f?
f
Let p(b) = -b + 2 - 2*b**2 - b + b**3 - 2*b**2. Let s be p(4). Suppose 29 - 9 = -4*a. Is s at most as big as a?
True
Let s = -39 + 56. Let l = 21 - s. Let q = -0.2 + 0.3. Is q less than or equal to l?
True
Let g be (-4*(-6)/432)/((-6)/15). Which is smaller: g or -1?
-1
Let m = 2 - 1.7. Let f(i) = -i - 14. Let o be f(-10). Let z be ((-3)/((-4)/o))/(42/(-4)). Which is smaller: z or m?
z
Let t(j) be the third derivative of j**6/120 + 4*j**5/15 + 13*j**4/8 + 13*j**3/6 + 21*j**2. Let m be t(-13). Is m greater than or equal to 11?
True
Let i be -3 + (168/(-36))/((-2)/3). Let w be (0 - -9) + -4 - i. Let y = 2 - 2. Is w <= y?
False
Let h = 2250 - 3218. Let p be 2 + (-44)/16 + (-710)/h. Which is smaller: p or 0?
p
Let m(o) = 2*o. Let t be m(0). Suppose t*a = 3*a. Is a <= -2/13?
False
Let f = 536 + -544. Let h = 37 + -61. Let b = h - -15. Is b bigger than f?
False
Suppose 5*c - c = -64. Let n(j) = j**2 + 14*j - 14. Let q be n(-18). Let m = -73 + q. Which is bigger: m or c?
m
Let c(s) = -2*s - 40. Let d be c(-20). Suppose -4*x + 13 - 1 = d. Is 3 at most as big as x?
True
Let t be (3*-2*1)/(-1). Let f = 0.0644 - 1.0644. Which is smaller: f or t?
f
Let n(b) = b**2 - 3*b - 2. Let q be n(0). Let i(u) = u**2 + 4*u + 5. Let k be i(q). Do 2/185 and k have different values?
True
Let z = -479 + 495. Which is smaller: 19 or z?
z
Let f(r) = -37*r - 1. Let n be f(-1). Let y be ((-50)/n)/5 - (-24)/48. Which is greater: 0.2 or y?
y
Let x(c) = -c + 3. Let g be x(0). Let z = -13 - 0. Let q = z + 12. Is q less than g?
True
Let s(h) = -2*h**2 + 8*h - 3. Let f be s(3). Suppose -f*w + 4*w - 1 = 0. Suppose -5*a + 7 = -3. Which is greater: a or w?
a
Let r be -3 + (26/2)/(10/(-30)). Are r and -43 non-equal?
True
Let g(p) = 5*p**3 + 13*p**2 - 12*p + 25. Let i(r) = -r**3 + 1. Let l(m) = -g(m) - 4*i(m). Let a be l(-14). Is 2/37 less than a?
False
Let p = 10 + -5. Let y(v) = -v**2 - 19*v + 48. Let l be y(-21). Suppose -p*s = -l*s. Is 0 <= s?
True
Let g = -19 + 18.98. Let h = 0.18 - g. Is h at least as big as 8?
False
Let s = 12 + -7. Let i = -9 + s. Let k = -0.469 + 0.469. Is i > k?
False
Let t = 26 - 13. Let w be t/((-663)/(-126)) - (1 - 1). Do w and 3 have different values?
True
Let l be 535/8 + 9/(-3). Let d = 29399/456 - l. Let n = 4/57 + d. Which is smaller: n or -0.1?
-0.1
Let c = -1361 + 205509/151. Is c not equal to 1?
True
Let d(m) = -28*m + 110. Let w be d(9). Is w at most as big as -144?
False
Let x be 6/38*42/(-9). Which is bigger: 0 or x?
0
Let c be 270/(-21)*((-17)/3 + 1). Let m = 70 - c. Which is smaller: 13 or m?
m
Suppose 863 = 5*n - 972. Is 0.1 greater than n?
False
Let d = 178.7 - 208. Let s = -29 - d. Is s greater than or equal to 3/5?
False
Let h = -470 + 457. Which is bigger: -23 or h?
h
Suppose -h + 6 = -1. Let x = 174/25 + -9968/1425. Let p = 67/285 + x. Are p and h nonequal?
True
Let k = -452 - -374. Which is smaller: k or -1?
k
Let x be (0 + -1)*(0 - 2). Let z be (x + -3)/(2/(-62)). Is 31 less than or equal to z?
True
Let y = -1090 + 2224. Let d be (-3)/(-7) + (-549)/y. Let z be 2 + -1 + (1 - 1). Which is greater: z or d?
z
Let v = -1241 - -1208. Is v != -13?
True
Let t = -23 - -19. Let k be ((-175)/(-42))/(t/(-6)). Does k = 7?
False
Let o(d) = 0 - 1 - 176*d + 173*d. Let u be o(1). Is u greater than -3?
False
Suppose 5*n - 3*m + 28 = -2, -21 = 4*n - 3*m. Let l(y) = y**2 + 7. Let u be l(0). Suppose u = -4*b + 3*b. Which is smaller: b or n?
n
Let u = -300 - -3313/11. Is u < 2?
True
Let g(w) be the second derivative of -w**5/20 + 2*w**4/3 + 4*w**3/3 + 13*w**2/2 - 11*w. Let o be g(9). Let d be (-2)/(-3) + o/(-6). Which is smaller: d or 2/41?
d
Let s(m) = -m**3 + m**2 + 16*m - 14. Let x be s(9). Is x != -519?
True
Let y = -6337/2885 - 2/577. Let w = 2 - 5. Is w at most as big as y?
True
Let b = -21 - -31. Let x = -336 - -862. Let j = 1073/2 - x. Is j < b?
False
Let w = -323.2 - -322. Is w at most as big as -24?
False
Suppose 44 = u - 4*n, 5*n = -3*u - 0*n + 64. Are -5 and u unequal?
True
Let j(l) = 2*l**3 + 12*l**2 - 2*l + 31. Let t be j(-8). Which is greater: -628/3 or t?
t
Let t = 314 - 316. Is 1/4 smaller than t?
False
Suppose -22*m - 24 = 2*m. Which is bigger: -2/455 or m?
-2/455
Suppose 0 = 2*b + 3*u, 3*u = 3*b - u. Suppose b = -5*d + 3*w + 14, w = 2*d - 3*w. Is 8 at least d?
True
Let o = 1757.33 - 1757. Is o at most 40?
True
Let g(l) = l - 3. Let c be g(4). Let i = c - 8. Suppose 0*m - m - 8 = v, 40 = -5*v + 2*m. Does i = v?
False
Suppose -1504 = -57*x + 2486. Which is bigger: 72 or x?
72
Let n = 1237 - 602. Is 635 at most as big as n?
True
Let x = 4905 + -63729/13. Let f = -4 - -7. Does f = x?
False
Suppose 28520 = -179*z + 24*z. Are -184 and z unequal?
False
Let f be (-10)/(-4)*-24*6/(-60). Suppose i - 2*n - 5 = 0, 4*i + 4*n - f*n - 8 = 0. Is 6/7 at most as big as i?
True
Suppose 2*r - 28 - 22 = 0. Let n = 25 - r. Which is bigger: n or 2?
2
Let g = 107 + -108. Let d = -178/39 + 13/3. Are g and d nonequal?
True
Suppose -7*y = -340 - 220. Let t be y/12*(-12)/10. Does t = -7?
False
Let q be (-6)/2583*(0 - 6). Let d = -18/287 + q. Let b = 70 - 70. Which is smaller: b or d?
d
Let t = -2420552/7 - -345243. Suppose -3*q = -h - 7*q - 537, h + 558 = 3*q. 