e -4*w + 42 = -x, -1 + 5 = -2*x. Suppose -10*z - w = 10. Let k = -0.2 + 0.3. Which is bigger: k or z?
k
Suppose -49 = 3*u - 49. Are -7/20 and u equal?
False
Let r = -6.403 + 0.003. Is r >= -3?
False
Suppose 5*g - 2*b = 2, -3*g + 4*b + 6 = 16. Suppose -o + g*o = 1. Which is bigger: o or 11/7?
11/7
Let f be ((-6)/(-9))/(4/246). Let l = -36 + f. Which is greater: 6 or l?
6
Suppose 32 = -4*x + 2*i + 10, 0 = x + 2*i - 7. Let r be (1/x)/((-1)/24). Let d be (-10)/(-4)*r/(-10). Is -3 equal to d?
False
Let x be (-19)/(-4) - 8*(-5)/(-10). Let n = -8593 + 257759/30. Let k = n + 5/6. Which is greater: k or x?
x
Let i = -13 + 18. Suppose 0*y + 9 = 2*f - y, 0 = 2*f + 3*y - i. Let t be 3/(-9) - f/6. Is 2/19 equal to t?
False
Let a(x) = -5*x - 13. Let v be a(-4). Let r be 414/52 - v - 1/2. Which is smaller: 0 or r?
0
Let t = -15 - -17. Let z = 121 + -137.4. Let o = -16 - z. Which is greater: o or t?
t
Suppose 0 = -5*r + 2*r + 9. Suppose 4*g - 9 = k, -4*k - r*g - 36 = 19. Let w = k + 8. Is -6 < w?
True
Let y = -16 + 15. Let c = y + 1.7. Let v = c + -1.7. Do 0.09 and v have different values?
True
Let b(p) = 10*p**3 + p**2 - 1. Let q be b(1). Suppose 4*f - q = 30. Let r = f + -12. Is 2 smaller than r?
False
Let h = -40 - -18. Let y = -16 - h. Let b be (3 - 2)*3 - y. Is b at least -3?
True
Let c = -425.1 - -425. Is c at most 37?
True
Let k = -3235 + 3354. Is k bigger than -1/11?
True
Let r be -12*((-4)/(-8) - -2). Let d = 24 + r. Let o = 5 + d. Which is smaller: o or -4?
-4
Suppose -4*a = 5*f - 4, -3*f + 2*a = 4*a - 4. Let u be 0 - -4 - -5 - f. Suppose 0 = z + u - 7. Is 8/5 not equal to z?
True
Let n = -131/43485 - -1/2230. Are 0 and n equal?
False
Let k = -0.4 + 0.3. Let x = -0.01 - -0.02. Is x at least k?
True
Let w = 72 + -148. Let r = -138 - w. Which is smaller: r or -61?
r
Let c = 2941 + -44093/15. Which is greater: c or 0?
c
Suppose -93*w = -86*w. Is -11/6 != w?
True
Let g = 0.09 - 1.59. Let p = -2.5 - g. Let m be 324/364 + (-9)/21. Which is bigger: m or p?
m
Let r = -11.86 + -2.14. Which is smaller: r or -0.1?
r
Suppose -5*m - 5*f = 710, 5*f + 244 = -2*m - 52. Let c = m + 139. Which is bigger: c or -1/104?
c
Let l(m) = 12*m - 56. Let k be l(4). Suppose -3*w - 16 = -w. Is k at least w?
True
Let w(r) = r + 3. Let k be w(-3). Let l be k + -3 + 3 + 5. Suppose -5*g = -j + 27, 0 = -g - 1 - 3. Which is smaller: l or j?
l
Let c = -1.5 + 54.5. Let h = -49 + c. Is h >= -8?
True
Suppose 56*r = 88*r - 21760. Is 680 != r?
False
Let c = -6 - -6. Let z = -0.01 - c. Let m = 0.08 + z. Which is bigger: 0.2 or m?
0.2
Let s = -9.096 + 9.196. Let c = 67 - 139. Which is smaller: s or c?
c
Let h = 308 + -12629/41. Are h and 0 unequal?
True
Suppose -33 - 57 = -5*b. Suppose 0 = j + 4*o + b, j - 11 = 3*o + 6. Let m be ((-4)/14)/(-3 + j). Which is bigger: -3 or m?
m
Suppose -2*v = -2 - 4. Let u = -41 + 76. Let g = u + -34. Which is greater: g or v?
v
Let m be (-2)/940*(-79818 - 8). Let y = m + -849/5. Let s be 2/4 + (-2)/4. Which is smaller: s or y?
s
Let z(t) = -t**2 - 5*t + 10. Let l(a) = -a**3 + 3*a**2 + 5*a - 6. Let d be l(4). Let g be 0/d + 9 + -16. Let b be z(g). Which is smaller: b or -5?
-5
Let z be 22/(-1*(-2)/(-4 - -6)). Let c be -4 + -1 + z - 1. Is c < 7?
False
Suppose 7*o = 2*o + 5. Let m = 755 + -11329/15. Is m < o?
True
Suppose -5*t + 407 = 6*t. Does 19 = t?
False
Let i = -4 - -7. Let k = i + -2.9. Let j = 209 - 215. Is j at least as big as k?
False
Suppose -145*q + 142*q + 279 = 3*h, -2*q + 5*h + 200 = 0. Which is bigger: q or 76?
q
Let o(j) = 9*j + 296. Let k be o(-33). Is 4/535 > k?
True
Let v = -0.75 + -0.27. Let g = -17.18 + v. Let y = 18 + g. Which is smaller: 0.02 or y?
y
Let q = -545 - -501.3. Which is bigger: q or 0?
0
Suppose -38 = -3*s + 4. Suppose -2*b + 4*i = s, 5*b - 2*i - 17 = -5*i. Is 0.1 less than b?
True
Suppose 5*v = -5*i - 15, 0 = 4*v - 9 - 3. Let z be 1*(i + 3) - 10. Let r(d) = -d**2 - 2*d + 2. Let h be r(-5). Do z and h have the same value?
True
Let x = 4 - 1. Suppose -3*o + 9 = g, 0 = -2*o + 9 - x. Let i be -3 - (-9)/6 - (-20)/16. Are i and g unequal?
True
Suppose -13*r = 5*r + 90. Is r at most as big as 19?
True
Let s(f) be the third derivative of -5*f**4/4 + 3*f**3/2 + f**2 + 17. Let w be s(-1). Which is greater: w or 41?
41
Let b = -11/302 - -43631/3926. Which is bigger: 10 or b?
b
Suppose -2*z = 3*h - 4*h + 5, -2*h - 10 = z. Let b(w) = 11*w + 13. Let v be b(h). Are v and -20 non-equal?
False
Let x(h) = -h - 6. Let s be x(-9). Let g be (1 + s)*24/28. Which is smaller: 2 or g?
2
Let m(n) = -n + 3. Let v be m(-12). Which is smaller: 16 or v?
v
Let u = -13 - -13. Let f = 7653/17 + -450. Which is greater: u or f?
f
Let z = 1/174 - 1759/3306. Which is greater: -2 or z?
z
Let w = -20.953 + -0.047. Let x = w + 19. Let q = -4.2 - -4.22. Which is bigger: q or x?
q
Let f(l) = -l**3 + 2*l**2 - 5*l + 2. Let i be f(2). Let z be i/36*-6 + -2. Is -0.2 greater than or equal to z?
True
Let u(k) = k**3 + k**2 + 4*k + 3. Let j be u(-2). Let x = -8 - j. Let w be x + 12/4 + -3. Do -2 and w have different values?
True
Suppose 0*h + 5*h = 10. Suppose 1 = h*q - 3. Suppose 13 = -3*c + 2*j + q*j, -2*j - 39 = 5*c. Is c less than -7?
False
Let m = 18 + -63. Let a be m/(-23) + 4/(-2). Suppose 45*k = 53 - 8. Which is smaller: k or a?
a
Suppose -a = -3*a + 8, 2*j - 4*a = -4. Let v(p) = p**2 - 8*p + 8. Let x be v(7). Let c be 12*x*(-4)/(-8). Do c and j have the same value?
True
Let o = 1476 - 731. Which is greater: o or 746?
746
Let w be (-54)/(-90) - 2/20. Is w != 107?
True
Suppose -3*d - 4 = -2*t, -d = t - 0 - 2. Let n be (0*(t - (-9)/(-6)))/1. Is n greater than -3/20?
True
Let m = -26 - -29. Which is bigger: m or 0.05?
m
Let h be (36/8)/(-9) + 12/16. Which is smaller: h or 16?
h
Let p be 784/(-48) + (-4)/6. Let i(a) = -a**2 - 16*a + 17. Let k be i(p). Let u = -2/247 - -271/2964. Which is bigger: k or u?
u
Suppose -6 = -3*s - 3. Let i be ((-22)/(-319))/(1/(-6236)). Let w = 430 + i. Is w < s?
True
Let h(y) = -y**2 + 19*y - 32. Let v be h(17). Suppose -2*b + 4*f = v*f + 34, -93 = 4*b + f. Is b smaller than -23?
False
Suppose 2*z - 3*s = -236, -125 = -4*z + 5*s - 601. Is z smaller than -122?
True
Suppose 2*s - 3*u + 15 = -2*u, u - 3 = 0. Let v be (2/s)/((-4)/36*-3). Let q = 2 + -4. Which is smaller: q or v?
q
Let p = -4339/12 - -1087/3. Which is smaller: p or -0.23?
-0.23
Let q = -29546/7 + 4240. Which is smaller: q or 19?
19
Suppose 0 = 2*m - m. Let c = -20404/423 + 434/9. Let y = -157/1128 - c. Which is bigger: m or y?
m
Let l = 61 + -66. Let q be ((-5)/l + 3)/(-1 + -1). Which is smaller: -4 or q?
-4
Let o be 39/(3*1/(-2) - -3). Let h be (-2)/6 + (-152)/(-6). Are o and h nonequal?
True
Let r(b) = -4*b + 6. Let w be r(-3). Let n be (-4)/w - (-20)/9. Are n and 3 equal?
False
Let p = 0.09 - -2.21. Which is greater: -1/6 or p?
p
Let c be (-9)/(-15) - 13/5. Let x(f) = f**3 - 17*f**2 + 19*f - 52. Let k be x(16). Which is greater: c or k?
c
Suppose z = 2*t + 200, -8*z + 11*z + 5*t - 556 = 0. Which is smaller: 193 or z?
z
Let k = 109/140 - 1/35. Suppose 2*j = 6*j, -4*j - 10 = -5*w. Let t be w/(-36) + (-16)/96. Which is smaller: t or k?
t
Let q = 0.229 - 0.429. Let o = -9.2 - -10. Let k = -0.2 - o. Which is bigger: q or k?
q
Let a(q) = -q**3 + 6*q**2 - 5*q - 7. Let s be a(5). Let y = 36 + -40. Let t be ((-14)/y)/((-1)/2). Is t not equal to s?
False
Let h be 2/(-14) + -6 + (-376106)/(-61222). Let z = h + 87438/48103. Is 2 != z?
True
Suppose n - 4 = -3. Suppose -2*a + n - 3 = 0. Is a equal to -0.16?
False
Let q(h) = h**2 + 5*h + 4. Let b be q(-3). Suppose -v = -4, 4*p + 3*v = -15 + 51. Let u = -9 + p. Which is greater: u or b?
b
Let t = -1/116052 + 210733/812364. Let h = 1/38 + t. Are 3 and h non-equal?
True
Let r be (-3230)/(-20)*(-30)/(-43). Let z = -355686/559 + r. Let p = 523 + z. Which is greater: -1 or p?
p
Suppose 0 = 2*o + 4*n - 12, -2*o = 2*n - n + 3. Let b be (-4)/(-14) - (-108)/14. Let j = b + -12. Is o at least as big as j?
True
Let a = -19013/1388 - 18/347. Which is smaller: a or -13?
a
Suppose 0 = -2*l + o + 151, 51 = l + 5*o - 41. Let g be 2 - ((-1687)/(-3))/7. Let p = g + l. Do -1 and p have the same value?
False
Let o = 2 + 3. Suppose o*x = 32 + 378. Suppose 2*b - 5*s + 19 = x, 0 = b - s - 24. Is b bigger than 18?
True
Suppose 4*w = 5*w + g - 84, 5*g = w - 54. Su