 = 16 - 6. Is 10 > n?
False
Let g(h) = -7*h - 1. Let d be g(-1). Which is smaller: d or 3?
3
Suppose 3*r = 5*b + 11, 5*r + 1 = 3*r + 5*b. Which is bigger: 18 or r?
18
Let h = -2.4 - -0.6. Let s = 0.2 + h. Let k = s + 1. Which is smaller: k or -1?
-1
Let v(p) = -p**3 - 10*p**2 - 7*p + 9. Let n be v(-9). Let o(r) = r**3 + 10*r**2 + 10*r + 3. Let q be o(n). Are -6 and q non-equal?
False
Let l = -4166/55 - -381/5. Is l at most as big as -1?
False
Let v = -130 - -517/4. Which is greater: v or 2/21?
2/21
Suppose 5*y - 489 = 4*d, -y + 81 = 2*d - 7*d. Let b = 705/7 - y. Suppose 18*h = 5*h - 13. Does b = h?
False
Let s(c) = -c**2 + 5*c - 1. Let u be s(4). Suppose 2*w = -2*d, -3*w + 0*d = 4*d + 1. Suppose -q = -4*v - 6, -w - 2 = 3*v. Is u < q?
False
Let k(j) = 5*j - 1. Suppose -3*i + 0*c - 2*c = -11, 0 = 4*i - c. Let y be k(i). Let a be ((-2)/y)/(-2 - 3). Is a equal to 1?
False
Let q(t) be the second derivative of -t**3/6 - 2*t**2 + 2*t. Let g be q(-3). Let h be 1/(-13 - -3) + (-13)/(-65). Is h < g?
False
Let v = -3 - -2. Let t = -1.1 - 2.9. Is t less than v?
True
Let f = -0.12 + 3.92. Let h = -4 + f. Does -1 = h?
False
Let g be (-4 - -8) + -4 + 1. Which is smaller: -12/13 or g?
-12/13
Suppose 6*t = 2*t. Suppose t = 4*f - 6 + 2. Suppose 4*l + 3 = 3*j, -3*j + 2 = -f. Does l = -1?
False
Let z = 77/6 + -305/24. Let t = -1 + 2. Let d = 0 - t. Is z greater than d?
True
Let u be -6 - (1 - -1)/(-1). Which is greater: -5 or u?
u
Let o(z) = -z + 21. Let m be o(11). Are 10 and m equal?
True
Suppose -8*i + 5*i = 21. Which is smaller: -5 or i?
i
Let u = -18 + 1. Let b = u - -18. Which is bigger: b or 1/6?
b
Let r(k) = 10 + 0*k - 2*k - k. Let u be r(8). Let a be 0 + 0 + 4/u. Which is bigger: -1 or a?
a
Suppose u + 2*u = -15. Let z = 27 - u. Suppose -3*w = -7*f + 2*f - z, 0 = -f - 4. Are w and 5 nonequal?
True
Let o be 30*(-6)/2 + 2. Let v = 173/2 + o. Let r = 7/4 + v. Which is bigger: r or -2/3?
r
Let p = -0.09 - -0.17. Is -1 < p?
True
Let i = -49 + 45. Which is smaller: -1 or i?
i
Let o be 1/8*(-3 - -1). Let f be (1 + 11)*(-9)/(-12). Suppose 0 = -5*d + f - 4. Which is smaller: d or o?
o
Let f be 6/(-4) - (-1 + 13/(-18)). Let t = 76923/5 - 15452. Let x = 67 + t. Which is greater: x or f?
f
Suppose 5 = -4*a - 4*w - 11, -4*a - 5*w = 19. Let j be (-1 - (-4)/3) + a. Does -1/2 = j?
False
Let s = -0.64 + 0.7. Is s at most as big as -1/2?
False
Suppose -5*a - 5*z - 5 = 0, 0*a - 5*a + 7 = -z. Let p be 6/4 + a/(-2). Which is smaller: p or -3?
-3
Let c = 7 + -5. Suppose -2*i = c*i. Let a = 0.2 + -0.1. Is i smaller than a?
True
Let t = 30 + -29. Which is smaller: t or 1/18?
1/18
Let i = -3 - -4. Let m be 1*-2 + i + 0. Let y(h) = h**3 - 6*h**2. Let d be y(6). Is m < d?
True
Let z(a) = -a**3 + 8*a**2 - a + 8. Let i be z(8). Suppose i = -2*h + 4. Which is greater: 6/7 or h?
h
Let n = -9.7 + 11. Which is greater: 0.1 or n?
n
Let y(r) = r**2 + 9*r - 7. Let f be y(-9). Let z = f + 5. Is z at most as big as -1?
True
Suppose 3*j + 5 = 2*j. Let h = j - -6. Let v = -11/25 - -6/25. Which is smaller: h or v?
v
Let z be ((-3)/28 - 6/42)*-5. Is z bigger than 2?
False
Let x(b) = -b**3 - 4*b**2 - 4*b + 1. Let g be x(-3). Let v be (0 - (-1)/g)*4. Let z be ((-1)/6)/(1/(-4)). Which is bigger: z or v?
v
Let i(v) = 7*v - 5. Let d be i(-4). Let p be 29/d + (-2)/(-6). Which is smaller: p or -1?
-1
Let q(l) = -l + 1. Let c be q(3). Let h be c/(-1) + 65/(-30). Let s(a) = a**3 - 3*a**2 + 1. Let j be s(3). Is j != h?
True
Let t = -0.2 - -0.3. Let c be (-2)/(((-18)/15)/3). Suppose -c*p + 4 = -21. Which is smaller: t or p?
t
Suppose 4*i = -i, -i = 2*n. Which is smaller: -2/87 or n?
-2/87
Let d = 0.14 + -0.04. Let y = 0 + d. Which is smaller: y or 1?
y
Let d(g) = 24*g**2. Let l be d(-1). Let i be 27/(-18) - l/(-14). Is 0 bigger than i?
False
Let t be (-2 - 0) + (-28)/(-15). Let a = 1 - 0.9. Is t != a?
True
Let k be (1 - 3) + 37/17. Is k greater than 1?
False
Let j be 0 - 3*(-3)/27. Is j < -2/49?
False
Let b(q) = -4*q + 22. Let u be b(5). Suppose -6*d + 12 = -4*d + 2*m, 0 = 3*d + 2*m - 16. Suppose -a - 6 = -d*a. Is u < a?
False
Let v be (-3)/(1/(4/6)). Let z be ((-3)/6)/(1/(-12)). Let n(c) = -c**2 + 5*c + 3. Let m be n(z). Do m and v have the same value?
False
Let i(r) = -5*r - 19. Let s be i(-12). Is s greater than 41?
False
Let n be ((-7)/21)/(4/1521). Let j = -113 - -239. Let u = n + j. Which is bigger: u or 0.1?
0.1
Let k(p) = -p**3 - 15*p**2 - 7*p - 4. Let v be k(-15). Suppose -5*d - v = 5*q - 21, q + 2*d = -20. Does -11 = q?
False
Let z = -56 + 166/3. Let t = -4 + 6. Suppose -3*s = -t*u - 6, s - 3 = -3*s + u. Is z <= s?
True
Suppose -5*g + 67 = 2*o, 10*o - 5*o - 153 = 2*g. Is o at most 61/2?
False
Suppose -3*t + 5*t = 2*v - 16, -2*t = 10. Let b be 1*57/(-21) + v. Is 1 greater than b?
True
Let t = -54 - -31. Which is bigger: t or -22?
-22
Let v be 2/(-6) + (-63)/(-270). Let o = -3/5 - v. Is 0.02 bigger than o?
True
Let o = -6 + 5. Let x be 9/(-6) - (-2 - o). Is x greater than -0.3?
False
Suppose 2*b + 4*f = -b + 5, -8 = -4*f. Suppose 3*m = -m. Let d be 5/((-90)/(-4)) + m. Is d >= b?
True
Suppose -i + 5*a + 2 = -3*i, i = a - 1. Let z(g) = -g**3 + g**2 + 2*g - 1. Let v be z(2). Let b be 2*v - (-9)/6. Which is smaller: b or i?
i
Suppose 0*q = -2*q + 16. Let d = 14 - q. Let f be (d/(-12))/((-1)/2). Are f and 2 equal?
False
Suppose 5*i + 5*y + 0 = -5, i - 4*y + 11 = 0. Suppose 0 = 3*g - 5*k + 3, g - 10 = -3*k + 3. Let m = g - 6. Which is smaller: m or i?
i
Let x(a) = -a - 10. Let i be x(17). Which is greater: -25 or i?
-25
Let o = -33 - -236/7. Suppose -j - 2*j = 0. Which is smaller: o or j?
j
Let x be ((-18)/(-8))/(3/8). Let f be ((-2)/(-1))/((-4)/x). Let m = f - -4. Which is bigger: m or 2?
2
Let w = -7.7 - -8. Let j = -0.05 - 0.05. Is j less than w?
True
Let g be 2/88*2*-1. Which is bigger: 1 or g?
1
Let y(m) = m**2 - m - 2. Suppose -2*a - h = 5, -2*a + 5*h = -5*a - 25. Let n be y(a). Let j(q) = q - 1. Let i be j(0). Is i < n?
False
Let l = -0.26 + 6.36. Let r = 6 - l. Is r > -2/3?
True
Suppose -3*g - 244 = -0*g + r, 0 = 2*g + 4*r + 166. Let z be 4 + -3 - g/(-87). Which is smaller: z or -1?
-1
Let r = 10/23 + -97/276. Is r less than -0.1?
False
Let z be -3*(-1 - (-1)/3). Suppose 0 = -z*w - w. Let h be (-1 - w)*(-2)/2. Which is greater: 1/2 or h?
h
Let x be (-25)/(-35) - 2/(-7). Is x at most -4/9?
False
Let h be ((-6 - -2) + 3)*0. Suppose h = -2*s + 4*s + 8. Which is smaller: -3 or s?
s
Let d = -4.99 - -5. Let w = 44 - 44.99. Let i = w - d. Are -2/3 and i equal?
False
Suppose -5*p - s = 15, 0*p - p = 2*s - 6. Let y be (-4)/(-20)*10/p. Which is bigger: 3 or y?
3
Let x = -5.6 + 6.6. Which is smaller: -13 or x?
-13
Let u = 0.068 - -0.032. Is -9 less than or equal to u?
True
Let k be ((-28)/21)/((-2)/6). Let z = 8 - k. Which is bigger: 2 or z?
z
Let t be ((-1)/(-4))/(63/(-56)). Let b = 1 - 2. Let x = 2 + b. Is x less than or equal to t?
False
Let p = 0.36 + -0.12. Which is bigger: 1 or p?
1
Let v = -25/8 + 3. Is v not equal to 0?
True
Let o(b) = -7*b + 17. Let c(t) = 3*t - 9. Let k(v) = 5*c(v) + 2*o(v). Let h be k(8). Is -3 at most as big as h?
True
Suppose 6 - 38 = -4*b. Suppose -b*w + 75 = -3*w. Let c be (-2)/(-6) - 2/w. Is c <= -1?
False
Let n = -100 + 498/5. Let y(w) = w**2 + 4*w - 9. Let j be y(-7). Let q be 10/j + (-3)/2. Is n less than or equal to q?
False
Suppose 0 = -3*n + 4*f - 170, -3*n + 0*f - 2*f = 158. Let d be n/(-182) - 4/26. Which is bigger: d or 0?
d
Suppose 2*w + 6*p = 2*p - 4, -4*w = 3*p - 2. Let u be 2 - (-1 - (-7)/3). Which is greater: u or w?
w
Let p be (-2*(-6)/(-75))/(14/(-35)). Is -19 bigger than p?
False
Let j = 36 + -33. Is 0.1 < j?
True
Let l be ((-4)/6)/(1/(-3)). Suppose -1 = 5*c - 6. Suppose c - 3 = -n. Are n and l equal?
True
Let d = -34 + 36. Is 2/5 less than or equal to d?
True
Suppose -4*o - 3 = 3*a, -4*a - 5 = a + 3*o. Which is smaller: 0 or a?
a
Let b(t) = t**2 - 7*t - 60. Let n be b(12). Do n and 1 have the same value?
False
Let r(o) = -25*o + 17. Let p be r(15). Let s = p - -1784/5. Is s at least -1?
False
Let p(d) = -1 + 2 + 1 - 10*d. Let t be p(-2). Let s be 4/t - 57/132. Is -1 at least as big as s?
False
Let t = 6.719 - 6.7. Is 1 not equal to t?
True
Let h be (9/(-6))/(2/12). Let g(c) = -c**2 - 10*c - 9. Let z be g(h). Is z <= -2/71?
False
Let w be (-1)/(-3) - 32