2*q - 13 = 0. Is q > -0.1?
False
Let k = -15/7 - -2. Which is bigger: 1 or k?
1
Let q(w) = w - 4. Let y(c) = 2*c - 10. Let p be y(7). Let x be q(p). Let m be x + 2 - (-15)/(-9). Is 2 at most m?
False
Let y(r) = r + 8. Let v be y(-6). Suppose 11 = 5*j - 4. Let x = 2 - j. Is x less than or equal to v?
True
Suppose -5*y + 3 - 28 = 0, 4*y - 1 = -t. Which is smaller: t or 2?
2
Let w be 2 - 0 - 24/14. Let o(a) = a + 2. Let q(f) = f + 2. Let z(k) = -2*o(k) + 3*q(k). Let i be z(-3). Is i > w?
False
Let g = 27 + -15. Let y be (20/g)/(-1)*-6. Is 10 smaller than y?
False
Let q(n) = 2*n + 12. Let a be q(-9). Suppose 29 - 8 = -3*r. Is a != r?
True
Suppose 0 = -4*t - 12, 6*v + 3*t + 60 = 3*v. Let r = v - -111/7. Which is smaller: r or -2?
-2
Let l(a) = a**3 + 8*a**2 - 8*a + 9. Let k be l(-9). Is 0 less than k?
False
Suppose -6*v - 12 = -3*v. Let m be (-2)/7 - ((-36)/(-7))/3. Which is bigger: m or v?
m
Let g be (5/2)/((-2)/4). Let c = -155 + 150. Is g <= c?
True
Let m = -24.1 + 24. Let o = -23/2 + 11. Which is greater: m or o?
m
Let w = 21 - 13. Suppose 3*g + 18 = 5*i, -5*g - 1 = 4*i - w. Suppose -2 = -j + i*j. Which is smaller: 0 or j?
j
Let i = 10.86 - 11. Which is smaller: i or 0.3?
i
Suppose -7*d = -9*d. Which is bigger: d or 2/9?
2/9
Suppose 0 = t - 4*n - 10, 0 = t - 5*t - 5*n - 2. Suppose 31 + 9 = -5*b + f, -t*f + 45 = -5*b. Are b and -8 equal?
False
Let q = 17 - 13. Let u = 6 - 8. Let j be (-6)/(-4)*(-4)/u. Is q not equal to j?
True
Suppose -g + 2*g = -5*z - 18, -27 = 4*g + 5*z. Let l be (-10)/(-16)*g/15. Which is smaller: -1 or l?
-1
Let z = -5.6 + 4.6. Let h = -0.03 + 2.03. Is z > h?
False
Let a = 4/127 - 401/635. Let n be (1 - -1 - -1) + 1. Suppose -5*t - 5*k = -3 + 38, -n*k - 26 = 3*t. Which is smaller: a or t?
t
Let x = -4.8 - -8.9. Let b = 2 - 6. Let c = b + x. Do c and 0.1 have different values?
False
Let x = 3 - 3. Let d(y) = -y**2 + 4*y - 1. Let l be d(3). Is x greater than or equal to l?
False
Let u(j) = j + 2. Let m be u(-6). Suppose 4*i = -i - 20. Let q be m/(-8) + 10/i. Is -1 greater than or equal to q?
True
Suppose 2*j = 2*k - 5*k + 3, -9 = -k + 2*j. Suppose 5*u - 2*u - k = 0. Which is greater: u or 2?
2
Let g be (8/(-20))/((-364)/(-20)). Which is bigger: g or 0?
0
Let c = 22 - 34. Which is smaller: -13 or c?
-13
Suppose 0 = 3*c - 5*c - 4. Which is smaller: -3 or c?
-3
Let q be -2*(-2)/8*2. Let m be (-15)/(-5) - (q + 7). Is -5 greater than m?
False
Let c = 0 + 1/21. Which is smaller: c or 1?
c
Let h = -1/10 - 2/5. Let n = -22 - -22. Does h = n?
False
Let c be (6/(-8))/(4/(-32)). Suppose -3*x - c = -0*x. Let v be x/(-4) - 11/2. Which is greater: v or -6?
v
Let x be 27547/9191 - (-1 + 12/3). Do x and 1 have the same value?
False
Let u(l) be the second derivative of l**4/12 + l**3/6 + l**2/2 - l. Let s be u(0). Let v = 0.07 - 0.07. Is v at most as big as s?
True
Suppose h + 0*r + 5*r - 23 = 0, -5*r = 5*h - 135. Is 28 equal to h?
True
Let u be (-12)/(-3) + 4/(-1). Which is bigger: -2/35 or u?
u
Let k be (3/(-2))/(9/(-12)). Suppose 5*b + 13 = -3*z, 5*z = -k*b - 10 + 1. Which is smaller: -1/2 or z?
z
Let r be (-2 + 2 + -2)/35. Which is greater: -1 or r?
r
Let w be (-1)/(3/15) + -1. Let n = w - -1. Which is smaller: n or 1?
n
Suppose 0 = 4*k + 2*f - f - 155, -4*k = -f - 157. Which is smaller: k or 40?
k
Let i = 4 - 8. Let k = i + 5. Is -4/5 at least as big as k?
False
Suppose 8*g - 60 = 3*g. Which is smaller: g or 13?
g
Let y = 2/391 + 1165/1564. Let i be 4/(-18) - (-80)/36. Which is bigger: i or y?
i
Suppose -2*x + 7*u = 4*u + 9, -5*x - u = 14. Let s be 0/(6/x) + -1. Is s greater than or equal to -1?
True
Let a = 1121 - 7795/7. Do 8 and a have the same value?
False
Let f = -13 + 25. Suppose 4*r = -0*r - f. Let s be (0 - 0) + r + 5. Is 3/2 at least as big as s?
False
Let u(s) = s**2 - 7*s - 1. Let a be u(7). Let z(f) = f**2 - 2*f - 43 + 43. Let m be z(1). Is m less than a?
False
Suppose 3*q - 2 = -5. Let j = 1 + q. Suppose -4*s + s = -b + 2, j = b - s. Does -4/9 = b?
False
Suppose -3*j + 25 = 2*j. Let y = j - -2. Suppose g - 6 = -0*g. Is g at most as big as y?
True
Suppose 0 = 4*m - 2*i, 2*m + 0*i + 10 = -4*i. Let p = 16207/188 + -345/4. Is m equal to p?
False
Let f(x) be the second derivative of -x**5/20 - 7*x**4/12 + x**3/6 + 4*x**2 + 5*x. Let n be f(-7). Which is smaller: n or -3/7?
-3/7
Let p = -2 + 5. Let r(c) = 2*c**3 - c**p + 2 - 1 + 5*c + 6*c**2. Let v be r(-5). Which is smaller: 2/5 or v?
2/5
Suppose -i = 2*i. Suppose 1 = -4*b + 17. Suppose -x + b = -i*x. Is 5 bigger than x?
True
Let a = 52 - 51. Which is smaller: -5 or a?
-5
Let f = 29 - 32. Which is smaller: f or -16/5?
-16/5
Let k = -62 - -49. Is -5 equal to k?
False
Suppose 39 = 3*s + 5*n, -2*n = 3*s - 4*n - 39. Are 13 and s non-equal?
False
Let x be (-32)/(-24) + (-14)/9. Is x greater than 1?
False
Let j(l) = -l**3 - l**2 + l - 2. Let b be j(0). Let m be (-3)/(-9) + 28/(-30). Does b = m?
False
Let v = -8.5 + -2.5. Let b = 11 + v. Is 0 greater than b?
False
Let c = -3.3 + 3. Let a be 0/(2*(-3 + 2)). Which is smaller: a or c?
c
Let r = -27/28 + 1. Which is smaller: r or -1?
-1
Let x(q) = -q**2 - 2. Let w(p) = -p**2 + p. Let v be w(1). Let j be x(v). Suppose 0 = -5*z - 4*g - 21, -4*z + 4*g - 4 = -16. Is j at least as big as z?
False
Let v = -18 - -18.01. Let k = v - 0.01. Which is smaller: -16 or k?
-16
Let d be 1/(-2) - 2/(-4). Let w = 46 - 137/3. Which is smaller: d or w?
d
Let p = -27 + 26.9. Which is smaller: -1/16 or p?
p
Let u be (6 + -6)*(1 - 0). Let a(i) = -i**3 - i**2 - 4. Let f be a(u). Do -4 and f have the same value?
True
Suppose 4*p - p = 3*h - 12, -4*p - 18 = -3*h. Which is smaller: p or -8?
-8
Suppose -5 = 5*z + 5*r, -z = 3*r - 8*r - 17. Suppose 0*q + 8 = -u - z*q, 4*q + 16 = -4*u. Suppose -t - 1 = -u*t. Is t != 0?
True
Let s = 0.05 + 9.95. Let f = 11 - s. Let q = -1 + -1. Which is smaller: q or f?
q
Let c be 3/3 - 5/(-35). Let y(m) = -2*m - 8. Let b be y(-5). Is b at least as big as c?
True
Suppose -3*g = 3*s, s - 9 = -s + g. Let h = 4 - s. Does 3/4 = h?
False
Let r be 1 + 0 - (-5)/(-7). Let a(s) = 2*s + 5. Let o be a(4). Let c = o - 14. Is c less than or equal to r?
True
Let k = 0 - -1. Which is greater: k or 3?
3
Let c = 487/91 + -51/13. Which is greater: 1 or c?
c
Let v = -6 + 7. Let g be -3*3*4/(-12). Let d be -2*(g + 14/(-4)). Is d at most as big as v?
True
Let n be (-1)/(-2)*78/(-4). Let m be (-3)/42*(-530)/(-4). Let q = n - m. Which is smaller: q or 1?
q
Let d = 5 - 3. Suppose -1 = 3*h + 2*o - 9, 4*h - o = -4. Which is smaller: h or d?
h
Let m(z) = 12*z - 3. Let f be m(2). Suppose -2*j = -9 + f. Let s = j + 8. Which is greater: s or 8/5?
s
Suppose 2 = -3*n - 7. Let w = 8 + -10. Which is greater: n or w?
w
Suppose -c + 4*s = -11, -5*s - 11 = -2*c - 2*c. Let b be 27/(-12) + (-3)/c. Which is bigger: b or 2?
2
Let z = 147.6 - 216.7. Let s = 66 + z. Let c = s + 3. Is 2 equal to c?
False
Suppose -3*l - 15 = 2*r + 4, -3*r = 4*l + 27. Let y = 8 + -12. Is l at most y?
False
Suppose 0 = -l + 1, -2*l + 0 = 3*i - 8. Let j = 57 + -55. Is j less than or equal to i?
True
Suppose 0*u + 2*u + 6 = 0. Let d(s) = -s**3 - 2*s**2 - 2*s - 1. Let q be d(-2). Suppose 3*f = -5*h - 27, -q*h = -5*f + 2*h - 5. Which is greater: f or u?
u
Let a = 56 - 87. Is a bigger than -31?
False
Let t(c) = c - 1. Let u be t(0). Let z(w) = -5*w + 67. Let y be z(13). Which is bigger: y or u?
y
Let l(p) = -p**3 + p**2 + p + 4. Let m be (1 + -1)/(-3 + 4). Let z be l(m). Suppose -4 = z*j + 4. Are -3 and j nonequal?
True
Let u(q) = -q**3 + 9*q**2 - 9*q - 11. Let w be u(5). Is 45 greater than w?
True
Suppose 0*q - 3*q + 12 = 3*r, -5*r - 4*q = -20. Suppose -k + r*k = -3. Which is greater: k or -1/4?
-1/4
Suppose -5*m - 9 + 24 = 0. Let b = m - 4. Let r = -5 + 5.2. Are b and r equal?
False
Let x be ((-5 - 0) + 7)*-17*2. Is x at most -68?
True
Let k(g) = g**3 + 5*g**2 + g + 1. Let y be k(-5). Let q be (2/(-6))/(y/(-12)). Is q greater than 0?
False
Let l = -0.6 - 0. Let a = l + 0.2. Which is smaller: 0 or a?
a
Suppose 0 = -r - 2*g + 15, -3*g + 3 = -r + g. Let b = r - 155/17. Which is bigger: 1 or b?
1
Let t = -2.6 + 2.5. Let q = -1 - 4. Let c(y) = y**3 + 5*y**2 - y - 2. Let k be c(q). Is k not equal to t?
True
Let m(h) = -5*h. Let s be m(-3). Let p = 17 + -15. Suppose 5*u = t + 7, -5*t + 3*u + p*u = s. Are t a