y be 1*(4/(-2) - 1). Let s(g) = -g**3 + 3*g**2 + 18*g - 1. Let w be s(6). Which is bigger: y or w?
w
Suppose 0*y + 5*y + 20 = 5*s, -3*s - 3*y = 6. Which is bigger: -2/5 or s?
s
Let w = 11.15 + -0.15. Is 0 at most as big as w?
True
Let u = 11 - 10. Is u at most as big as 3/14?
False
Let i(q) = q**2 + 2*q + 3. Let b be i(-2). Is b smaller than 3?
False
Let m = 6 + -6.3. Let c = 21 + -21.4. Let i = m - c. Are i and 0.1 non-equal?
False
Suppose 0*z - 10 = r + 2*z, 2*r - 4*z = 20. Let k be 4*(r + 1)/1. Suppose -14 + 6 = -k*n. Do 2 and n have the same value?
True
Suppose -5 + 13 = -4*r, -c + 14 = -3*r. Let q = c - 6. Suppose q = -2*n - 2*t, n + 0*n - 4 = 4*t. Is n > 0.1?
False
Let v(o) = o + 6. Let u be v(-9). Are u and -5 equal?
False
Let g = -1/40 + 61/40. Which is smaller: 1 or g?
1
Let m = 22.91 - 23. Let j be (3/2)/((-147)/(-28)). Which is bigger: j or m?
j
Let h = -9 + 7. Let f(d) = d**2 + 3*d + 2. Let r be f(h). Let n be r - 0 - (-9)/(-12). Which is smaller: n or 0?
n
Let j = 102 - 100. Let f = -23/117 - 1/39. Which is smaller: j or f?
f
Let d = 14 + -8. Suppose 5 = -5*c - 65. Let f be (-14)/4*d/c. Is f <= 2?
True
Let w = -141 - -105. Is -36 less than or equal to w?
True
Let k = 1 + 1. Let t be k/(-6) - (-4)/(-3). Which is greater: t or -1?
-1
Let a = 31 + -36. Let o = 0.3 + -0.2. Which is greater: o or a?
o
Suppose 7*d - 17 = -3. Is 30/17 not equal to d?
True
Let g = -29 + 29. Let f be ((-2)/(-40))/(2/15). Do f and g have the same value?
False
Let h be ((-2 - -1)/11)/(-1). Suppose 0 = 2*f + f. Is f less than h?
True
Let v(i) = i**3 - 3*i**2 - 4*i - 1. Let o be v(4). Let w be (-2 + o)/(24/16). Are -1 and w equal?
False
Let a = 0.05 - -0.07. Let g = a + 0.08. Let t = -3.8 - g. Which is smaller: 0.1 or t?
t
Let j = -2 - -6. Let z = 3 - j. Let c = z + 0. Is 3 > c?
True
Let r = 0.75 + 0.25. Let x = 4 - 3. Is x > r?
False
Suppose 2*r + 4*w = -53 + 3, 0 = 5*w - 20. Is r less than or equal to -34?
False
Let h = -6 - -10. Suppose -3*g + g - h = 0, 0 = -m + 5*g + 10. Let u = -95/357 - 1/51. Does u = m?
False
Let n be ((-16)/12 + -2)*(-1 - -4). Suppose -5*c + 2*c = -21. Let m = n + c. Is -2 <= m?
False
Suppose -3*j - 2 = -4*j. Let q be (84/(-18))/(j/3). Is 0 at least q?
True
Let t be (-1 - 1)/(4/6). Let m = -3 - t. Let a = -11 + 11. Is m not equal to a?
False
Let k = 943/2 - 456. Is 17 not equal to k?
True
Suppose -5*g = -10*g + 30. Let t be g/(-126)*3/1. Which is smaller: 1 or t?
t
Let y = -15 + 14. Let m be 1*y/(1 - 2). Which is smaller: m or 0?
0
Let a = -8185308829 + 43717734622790/5341. Let s = a + -4/5341. Let l = s - 31. Are 1/4 and l equal?
False
Let o be -3 - (-176)/78 - 4/(-6). Let f be (-6)/8*(-16)/30. Which is smaller: f or o?
o
Let t be (563/5)/(-2 - -3). Let h = t + -113. Do 3/4 and h have the same value?
False
Let p = 127/8 + -71/4. Let w = 17/8 + p. Is w at most -1?
False
Let a be 2 + (-79)/(-4) - -3. Let i(t) = -3*t - 4. Let d be i(7). Let h = a + d. Which is greater: 0.1 or h?
0.1
Let s = -72 + 358/5. Which is bigger: s or 1?
1
Let r be (3/11 - 1)/2. Is r > -1?
True
Let z = -31 - -34. Which is smaller: -1 or z?
-1
Let v = 18 + -17. Let j = -31/45 + 4/5. Is j != v?
True
Let j = -7081863/23 - -307957. Let r = 50 - j. Which is greater: r or 0?
r
Let f = -1 + -5. Let v = f - -6.2. Let z = -0.3 + v. Which is smaller: z or -2?
-2
Let a be (-12)/(-16) - 406/8. Which is bigger: a or -51?
a
Let n = -5.05 - -0.05. Let z = 4.7 + n. Is -1/3 < z?
True
Let t = 7 + -6. Let s be t - (1 + (-24)/(-20)). Which is greater: s or 1?
1
Let f be (-2)/(-4)*-1 + -1. Let x = 2 + 1. Let n = x + -4. Are n and f non-equal?
True
Suppose 0 = -3*x + x. Suppose -k - 5*t = -x*k - 25, t = 5*k + 5. Let f = 3/5 + -1. Which is bigger: f or k?
k
Suppose 2*y = -2*y + 2*p - 14, 4*y = -5*p - 7. Let q be 40/(-16) + (-2)/(-4). Does y = q?
False
Suppose -3*g - 1 = -m - 8, -5*g = -m - 15. Let t = g + -4. Suppose z = n + 2*n + 13, 0 = 2*n + 8. Is z at least as big as t?
True
Let u be (-2)/4*4/(-2). Suppose -v - 6 + 2 = 0. Let l be (v/10)/((-26)/10). Which is bigger: u or l?
u
Let f = 12 + -8. Suppose 6 = -f*t - 6. Does t = -1?
False
Let a be (-3 - -2)/(-5 - 2). Is a less than or equal to -1?
False
Let r(f) = f + 3. Let s be 6/3*(-1)/(-2). Let q = -3 - s. Let h be r(q). Which is smaller: -2 or h?
-2
Let t be (98/(-7) - -3)/(-1 + 5). Which is smaller: -3 or t?
-3
Let u = -243 + 171. Is 1 at most as big as u?
False
Let q = 1.23 + -0.13. Let u = q - 1.1. Is 2/3 at most as big as u?
False
Let x = 12612 + -6772642/537. Is 1 equal to x?
False
Let q(n) = n**2 - 5*n + 4. Let s be (1*-3 - -2)*-8. Let g = s + -4. Let k be q(g). Which is bigger: k or -4/3?
k
Let a be (-5)/(-10)*(-3 + 3). Is a smaller than -3/139?
False
Let p(y) = -5*y**2 + 2*y + 1. Let b be p(3). Which is greater: -2/5 or b?
-2/5
Let g = -0.13 - 0. Let m = g - -0.13. Is m <= -2?
False
Let v = 4131/923 - 58/13. Let k = -76/355 + v. Let m = 1 + -2. Which is greater: k or m?
k
Let o = -227/4128 - 5/129. Which is smaller: o or 0?
o
Let c(k) = k**2 + 5*k + 12. Let u be c(-8). Suppose 0*l + 3*l - u = 0. Is l at most as big as 13?
True
Suppose t = 3*t. Suppose -d = -t*d. Let l be 2/(-9) - (-5)/63. Is d less than l?
False
Let x(k) = -2 + 7 + 5 - k - 2. Let o be x(6). Suppose o*z - 10 = -0*z. Is 4 less than or equal to z?
True
Let a be 5 - ((-3 - -1)*4)/(-2). Is a bigger than -1/22?
True
Let u(d) = d**3 + 6*d**2 + 5*d + 3. Let a be u(-5). Is 7/4 bigger than a?
False
Let l = 153.1 - 153. Which is bigger: -19 or l?
l
Suppose 5*k - 4*k = 20. Let n be 1/3 + k/(-6). Let q be (-10)/(-4)*36/(-45). Is q < n?
False
Let g = -8.03 + 8. Let v = 0 - 1/3. Is v > g?
False
Let l = 14 - 6. Let x be 6/l - 6/8. Suppose 4*c + 4 = -2*r, 0 = -6*c + 2*c - r - 4. Is x less than c?
False
Suppose 0 = 3*k + 1 + 5. Let b be (-1 + 5)*(-2)/k. Suppose 4*v = -j - b - 5, 0 = -j + 5*v + 9. Is j greater than 0?
False
Let o = -502/1001 - 4/91. Which is bigger: o or 2/9?
2/9
Suppose 2*s = -2*s + 20. Let r = -21 + 24. Let v be (6/(-9))/(r/(-18)). Which is smaller: v or s?
v
Let r = -7/4 - -57/28. Suppose 5*d + 3*h = 19, 2*d - h - 5 = -2*d. Is r greater than or equal to d?
False
Let u = -291385/103 + 2829. Let l = -87/824 - u. Is l smaller than 1?
True
Suppose -4*h - s + 2*s = -29, -3*h + 38 = -4*s. Let t = -4 + h. Suppose -24 = 3*u - 3*j, -4*u + t*j - 37 = -3*j. Is -2 greater than u?
True
Suppose -5*d - 8 = -2*x, -3 = -x - 2*d + 1. Which is bigger: x or 12?
12
Suppose 4*h + 3*j = 16, -3*h + j = 3*j - 12. Which is bigger: h or 5?
5
Let k(h) = 1. Let g(r) = r + 1. Let d be ((-4)/(-6))/((-6)/(-9)). Let v(q) = d*g(q) + 3*k(q). Let f be v(-5). Is -1 greater than f?
False
Let m = 60 + -541/9. Which is smaller: m or 1?
m
Suppose -4*i = -2*i + 2. Let q = i - 0. Is -1 > q?
False
Let n = -10 - -9. Suppose 5*u - 20 = 5*q, -4*u + 0*q - q = -21. Suppose 3*a + 2*a = -u. Is n >= a?
True
Suppose -q + 2 + 0 = 0. Suppose 0*m = -q*m + 2. Which is smaller: 6 or m?
m
Let f be ((-4)/21)/((-4)/6). Let h = -51034/35 + 1458. Let j = h - -2/5. Is f less than or equal to j?
True
Let o(n) = -n - 7. Suppose 3*v + 21 = -0*v. Let i be o(v). Is i equal to -1?
False
Let x = 27 + -26.6. Is 0 less than or equal to x?
True
Let w = 23.99 + -24. Is 0 smaller than w?
False
Let c = -21 + 21.2. Is c greater than or equal to 1/11?
True
Suppose 5 = -3*n + 5. Let a be (-1)/6*18/8. Is a equal to n?
False
Let l be (-94)/42 + (-2)/6. Is l > -3?
True
Let p = -1.2 + 1.4. Let l(k) = k - 35. Let c be l(0). Let f = c + 103/3. Is p < f?
False
Let j(g) = 2*g**3 + 9*g**2 - 9*g + 9. Let q be j(-7). Let z = q + 1043/6. Is z >= 2?
False
Let x(k) be the third derivative of -k**4/24 + k**3/6 + 2*k**2. Let t be x(5). Let f be ((-5)/(-60))/((-2)/t). Is f less than 0?
False
Let q = -0.2 + 0.2. Let b = 0.2 - q. Let t = -0.26 + 0.16. Is t != b?
True
Let t = -19 - -31. Let s = t + -20. Let g = -8.1 - s. Is 0.03 less than or equal to g?
False
Let x be ((-2)/(-4))/((-18)/4). Let m(a) = a - 4. Let f be m(3). Which is smaller: x or f?
f
Suppose 0 = -b - g - 24 - 9, 0 = 5*b - g + 189. Is b bigger than -36?
False
Let w(a) = -a**3 + 8*a**2 + 11*a - 11. Let d be w(9). Let r = 7 - d. Let p be ((-4)/(-6))/((-34)/(-6)). Are p and r unequal?
True
Let z = -35 + 98/3. Is z not equal to -3?
True
Let j be (-17)/(-123) - (-2)/(-6). Let p = j + 122/2