.042 + 28.958. Let q = 27.3 - s. Which is greater: 2/3 or q?
2/3
Let g = -35 - 18. Let n = 581/11 + g. Are n and -4 equal?
False
Let l = 3/68 - 205/1564. Suppose -t = 2*n - 11, -n - 4*n + 17 = -t. Suppose -p + t = -4*p. Is p < l?
True
Let u = -1 + 1. Let h(p) = 2 + 0 + 3*p + 2 - p**2 - 1. Let x be h(4). Which is greater: x or u?
u
Let h(t) = t**3 - 2*t**2 + 2*t - 3. Let x be h(2). Suppose 4*b - 12 = 4*z - 8*z, -6 = 2*z - 4*b. Is z > x?
False
Suppose 0 = -5*v + b + 45, 2*v - 4*b = v + 28. Suppose n - v = -3*n. Suppose 4*i = -u + 2*i - n, 0 = -i. Is u greater than -1?
False
Suppose -3*q - 8 = -2. Is q smaller than -4?
False
Let v = 0.7 + -10.7. Are v and -2 non-equal?
True
Let j(w) = w**2 + 1. Let b be j(-1). Let n = b - 2. Let z be (-1)/(-2)*20/(-15). Is z at least n?
False
Let o(d) = d + 3. Let c be o(-2). Are c and 3/8 non-equal?
True
Let d = -971/7 + 6234/35. Let y = d - 39. Let u = -1 + 1. Which is bigger: y or u?
y
Let o = 0.053 + -0.053. Which is smaller: o or -46?
-46
Suppose -4*i + 2*o = -172, 2*o - 275 + 111 = -4*i. Let r be (-4)/14 + 19/i. Is -1 at most r?
True
Let p = 7 + -56. Is -49 equal to p?
True
Suppose 2*a + 0*r - 12 = r, 0 = -a + 3*r + 11. Is a equal to -0.06?
False
Let o be (0 + 0)/(-6 - -4). Let k = -3 - 5. Let z be 2/(2 + k/(-3)). Which is bigger: z or o?
z
Let q(l) be the third derivative of 1/10*l**5 - l**3 - 1/120*l**6 + 1/3*l**4 + 0*l + 0 + l**2. Let p be q(7). Are p and 2 unequal?
True
Let b = 15 - 10. Let a = b - 9. Is a not equal to -4?
False
Suppose 5*x = m + x, 4*m - 2*x = 0. Suppose 4*a - 14 - 58 = m. Which is bigger: a or 19?
19
Suppose 3*d = d. Let n be d + 1 + -2 - -2. Is n at least 0?
True
Let t = 0.3 - 0.2. Let h = -7 - -6.7. Let s = h + t. Which is smaller: s or -1/4?
-1/4
Let b be 0 + (-24)/(-10) - 2. Which is bigger: -0.1 or b?
b
Suppose 0 = -5*q - 2 - 8. Suppose 0*t - 6 = 3*t. Is q > t?
False
Let t be (2/7)/(3/7). Which is smaller: t or -2?
-2
Let q = -16 - -15. Let t = 785/6 + -130. Is t at most q?
False
Let v(n) = n**2 + n - 1. Let x be v(1). Which is smaller: -1 or x?
-1
Let n = -13087 + 52025/4. Let h = -80 - n. Does 0.2 = h?
False
Let x be -2 - (-3)/(3/2). Suppose -5*s - 17 - 3 = x. Which is smaller: -3 or s?
s
Suppose -290 - 52 = -18*g. Which is greater: g or 13?
g
Let g(s) = -6*s**2 + 2*s - 1. Let t be g(1). Let m = t + 8. Suppose 5*h = 3*i + 3, 4*h + 4*i = -7 + m. Are h and 1 unequal?
True
Let o(r) = r**2 + 7*r + 9. Let t be o(-6). Let c be (18/12)/(t/8). Is c > 2?
True
Let l be (2 + -5)/(6/(-10)). Let g be (12/45)/((-2)/l). Is 0 less than g?
False
Suppose 0 = -5*s + r - 6 - 3, 2*s + 18 = 4*r. Let v(g) = 5*g**2 + g + 1. Let t be v(s). Suppose -7 = -d + 4*i - 26, d + t*i = 17. Which is smaller: -5/3 or d?
d
Let s = -23 + 22.1. Let j = 0.1 - 0.2. Let d = j + s. Is d not equal to 1?
True
Let q(u) = -28*u. Let w be q(1). Let f = -5218/3 + 1712. Let b = f - w. Is b <= 3?
True
Let f be 126/5*(241/33 - 7). Is f less than 7?
False
Let u be 4/(-16)*(-2)/2. Let k = 1/2 - u. Suppose h - 1 = -4*b, 3*b - b = 4*h + 14. Which is smaller: k or b?
k
Suppose -3*l = -3*m - m - 21, 0 = l + m. Let x = l + -4. Let r = 97/60 + -28/15. Which is greater: r or x?
r
Let l = 11 + -5. Suppose 0 = -l*k + k. Let d be ((k/2)/1)/1. Which is greater: d or 2?
2
Suppose -5*z + 2*i + 4 = -0*z, 2*i + 4 = 0. Let f(p) = p + 9. Let d be f(-7). Let g be (d - (1 + 1))/1. Is z > g?
False
Let m(h) = h**2 - h - 1. Let j be m(-2). Suppose -3*d + 5 = -7*f + 2*f, 3*f - 13 = j*d. Is f greater than or equal to -5?
True
Suppose -8*f + 29 = 5*m - 4*f, m + 4*f - 9 = 0. Suppose 10 = 2*l, -l = r - 6*r + 10. Which is smaller: m or r?
r
Suppose 23 = 5*w - c, w - 3*c - c = 16. Is w > 3?
True
Let i = -127/4 + 31. Let a be ((-2)/6)/(3/9). Is i less than a?
False
Let a = 26 - 469/18. Is a at most as big as 0?
True
Let p be (-4)/6*75/(-10). Suppose -j - 2*b = 3, -5*j + p*b + 3 = -3*j. Which is bigger: -3 or j?
j
Let z = -0.04 - 0.05. Let t = 0.09 + z. Which is bigger: 2 or t?
2
Let i be 2 + 0/(3 + 0). Let b be 2 - 2 - (i - 3). Let f be (1/3)/(b/3). Do f and 0 have different values?
True
Let f be (2 + -6)*14/(-28). Is f bigger than 0.3?
True
Suppose 2*t = -g - t - 13, 3*g = t - 39. Which is smaller: g or -0.1?
g
Let g be 281/224 - (-2)/(-2). Let j be (6/(-40))/(48/(-10)). Let z = j + g. Which is bigger: -1 or z?
z
Suppose -2*m - 3 + 7 = 0. Suppose o + 0*o + m*d + 3 = 0, 5*d = o + 24. Are o and -9 nonequal?
False
Suppose 0*u = 4*u - 8. Suppose l + u = -0, -h + l = -5. Is 4 bigger than h?
True
Let b = 0.1 + -0.1. Let i = -8 + 15. Let w = i - 2. Which is smaller: w or b?
b
Let i be 2/20 - 6/(-15). Let g(q) = q**3 + 6 + 3*q - 3*q - 4*q + 4*q**2. Let h be g(-5). Which is bigger: i or h?
h
Let b = -25 - -9. Do -17 and b have the same value?
False
Let d be (24/14 - 2)*-7. Let l = d + -10. Are l and -8 unequal?
False
Suppose -4*u = -2*j - 2, 3*j = -2*u - 2*j - 5. Let w(a) = a**2 - a + 9. Let c be w(0). Let i be 6/(-15) - c/(-35). Which is smaller: u or i?
i
Let w = 9 - 18. Let g = 14 + w. Suppose -g = 3*r + 7. Which is smaller: r or -3?
r
Let k = 3 + 1. Let f = k - 6. Let q be (-6)/21 - 72/(-105). Which is greater: f or q?
q
Suppose 0 = -2*t, -6*c + c - 50 = -2*t. Let r be (-3)/(0 + (-1)/(-3)). Which is bigger: r or c?
r
Suppose 8*m + r = 3*m - 1116, -884 = 4*m + 3*r. Let b = m - -2466/11. Which is bigger: -1 or b?
b
Let t = 1052/31533 - 2/457. Are 1 and t unequal?
True
Let s(r) = 13 - 9 - r**2 - 2 + 4*r. Suppose 26 = -0*f + 4*f + 5*g, 2*g = -5*f + 24. Let d be s(f). Is 1/2 bigger than d?
False
Suppose 2*a - 4*x - 8 = 0, 4*a + 0 - 4 = 2*x. Is a < 9/16?
True
Let n = -0.04 + -0.004. Which is greater: n or -1?
n
Suppose 1 = -3*q + 2*q. Let t be 0/2 + q + 5. Which is smaller: 5 or t?
t
Let i = 0.92 + -0.969. Which is bigger: i or 0.1?
0.1
Let n(w) = w**3 + 8*w**2 + 16*w + 17. Let j be n(-6). Which is smaller: -15 or j?
-15
Suppose -2*o - 2*o = 0. Let s = 25 - 23. Let j = s - o. Is j equal to 1?
False
Let k be (36/(-8) - -3)*(-2)/3. Is k greater than 3/49?
True
Let y(g) = -2*g + 2. Let d be y(1). Suppose -3*k + 2*b - 6 = b, d = 4*k + b + 1. Is k < -4?
False
Let m = 0.75 + -0.7. Let h = -1.95 - m. Which is greater: h or 4?
4
Let m be (6/(-4))/(-1) - 0. Let w(g) = -3*g + g**2 - 1 + 0*g**2 + g + 2*g**3 + 2. Let j be w(1). Is m < j?
True
Let u be 4/18 - ((-280)/36 - 4). Which is bigger: u or 13?
13
Let t(k) = -k**3 + 1. Let f(g) = -6*g**3 + 3*g**2 + 5*g + 6. Let i(q) = f(q) - 5*t(q). Let m be i(4). Suppose 0 = -d - 3, -2 - 1 = -4*p + m*d. Is -5 <= p?
True
Let a = -33 - -32. Which is bigger: 3/16 or a?
3/16
Let r = -10 - -15. Suppose -3*w - 4*a = 4, 5*w + r*a - 2 = -12. Let v = 6 - 9. Is v less than w?
False
Let g = 7.9 + -8. Let m = -1.9 + g. Which is smaller: m or 0.3?
m
Let i(t) = -t**2 - 12*t + 13. Suppose -s - 2 = 11. Let z be i(s). Which is smaller: -1/3 or z?
-1/3
Suppose -4*i = -2*b + 8, -4*i + 3*i - 12 = -3*b. Let n be 3/(26/b + 1). Let v = 10/17 - 16/85. Is n greater than or equal to v?
True
Let q(y) = y**3 - 12*y**2 - 13*y + 11. Let p be q(13). Is p at least as big as 10?
True
Suppose -2*y = -5*g - 9 - 7, -5*y - 2*g + 11 = 0. Suppose 0 = -y*v + v. Let m(a) = -a - 8. Let q be m(-8). Is q at most as big as v?
True
Let z = -18 - -16. Let k = 0 - z. Which is greater: 1 or k?
k
Let j be 4*(-5)/(-40)*-6. Is -18/7 >= j?
True
Let q(y) = 4*y**2 - 3*y - 4. Let t(r) = -8*r**2 + 5*r + 7. Let u(g) = 7*q(g) + 4*t(g). Let l be u(-1). Let f = l - -4. Which is smaller: f or -0.2?
-0.2
Let k be 110/90 - (-2)/(-9). Let q be (-54)/24 + k/4. Is -4 <= q?
True
Let m = 329/5 + -17447/265. Let h = -43/265 + m. Is h at most -2?
False
Let j = 2 + -6. Do -3 and j have the same value?
False
Suppose 3*k = p + 224, 3*p + 5*k = -0*p - 658. Let w be p/(-39) - (-1)/3. Is 5 < w?
True
Let d be -3 + 0 + (-3 - -2). Let h be d/11 - 8/(-44). Is h != 2?
True
Let c = 0.2 - -0.2. Let s = -1.6 - c. Which is greater: s or 1?
1
Let g(r) = r - 5. Let m be g(7). Let c(k) = 13*k + 1. Let s be c(1). Let d be s/(-12)*-2 - 1. Is d less than m?
True
Let d = 0.3 - 0.4. Let z = -4 - -4. Let s = d - z. Is -1 <= s?
True
Let h(a) be the third derivative of a**6/120 + 7*a**5/60 + a**4/4 + a**3/6 - 5*a**2. Suppose 1 = -4*u - 23. Let j be h(u). Is 1/2 greater than j?
False
Let o be 2/8 + (-78)/(-8). Suppose 3*u = i + 13, 