= 13, -o - 6 = -5*b. Let r = -133/5 + 27. Is o equal to r?
False
Let f = -433/945 - -4/135. Suppose 6 = r - 5*n + 16, 0 = -5*r + n - 2. Which is smaller: r or f?
f
Suppose 0 = -50*k - 1466 + 266. Is k at most as big as -251/10?
False
Let u = -257 + 376. Is 120 at most u?
False
Suppose 2*x - 3*p - 27 = 0, -5*x - p = -5*p - 57. Let j = 14 - x. Let a be j/4 + (-18)/(-24). Which is smaller: a or 10?
a
Let x = -106 - -108. Let l be (-1)/(x + -1) + 126/(-14). Which is smaller: 3 or l?
l
Let m = 1138 + -1137.9. Which is bigger: m or 246?
246
Suppose -2*d + 18 = -8. Let l = d - 11. Which is smaller: l or 12?
l
Let r be (1/(-3))/(2/6). Suppose 0*g = -4*g. Let v = 1 - g. Is v bigger than r?
True
Suppose 0*w = 3*w + 6. Let i be (14 - 9)*(-3)/(-5). Suppose 4*a + 3*m + 29 = -2*m, -3*m = -i*a - 15. Which is smaller: a or w?
a
Suppose 0 = -6*a - 3*a + 405. Is a < 40?
False
Let o be (204/(-922488))/((-2)/14*6). Is o < 0?
False
Let z(k) = k**2 + 7*k + 4. Let r be z(-10). Is r less than 29?
False
Suppose 11 = 2*y - b, 5*y = 2*y - 4*b + 44. Let x be ((-5)/4)/((-3)/(-12)). Let q(p) = p**2 + 6*p + 6. Let i be q(x). Which is greater: i or y?
y
Suppose 0 = 4*f - 0 - 4. Let j be 10/(-3) + 2/6 - 3. Let r be j/9 - 0/f. Which is smaller: r or 1?
r
Let q be 7 + 18/12*2. Let l be 2/q + 11/10. Which is smaller: l or 1?
1
Let z(k) = k**3 - 3*k**2 - 4*k - 2. Let h be z(4). Let v(n) = -n**2 - 3*n + 2. Let i be v(h). Let c = 1804 + -1804. Is i < c?
False
Let r = -8/21 + -2/105. Let j = -8 - -8.86. Let g = j + -0.06. Which is smaller: r or g?
r
Let y(q) = -q**2 + 16*q + 1. Let u(c) = -c**2 + c + 16. Let z be u(0). Let g be y(z). Suppose 0 = d - 4*d + 12. Is g smaller than d?
True
Suppose -4 = -v + 3*v, 5*q - 920 = 5*v. Suppose -3*a + 56 - q = 0. Let n be a/(-90) - (-4)/(-10). Which is bigger: n or -2?
n
Let k be -1 - 1/2*-2. Let p = -1/4 - k. Let i be (-3)/(-18)*(-36)/20. Is p < i?
False
Let x(d) = -15*d - 1. Let f(g) = 8*g + 1. Let o(q) = -5*f(q) - 3*x(q). Let m be o(-2). Let i be m/4 - 6/2. Are i and -6 equal?
True
Let s = -17 - -17. Let d be (2 + s + -5)/(-1). Suppose f - r = 0, -5*r + d = -4*f + 2. Which is smaller: f or 14/9?
f
Let o be (-2)/(-12) - (-451)/(-492). Suppose 4 + 0 = -2*z. Is z equal to o?
False
Suppose -6 = -y - y. Let k(g) = 10*g**2 + 21*g - 37. Let p(x) = 7*x**2 + 14*x - 25. Let h(j) = -5*k(j) + 7*p(j). Let q be h(-8). Which is bigger: q or y?
y
Let q = -81 + 156. Let c = q + -59. Is 16 smaller than c?
False
Let w(x) = -x**3 + 2*x**2 + 2. Let c be w(2). Suppose -5*q = -3*k + 23, 3*q + 11 = 2*k - 4. Suppose k - 2 = -c*f. Are 0 and f non-equal?
True
Suppose -r - 5 = 4. Let g(a) = -a**2 - 9*a + 4. Let l be g(r). Suppose -k + 0*k - 7 = 5*z, -l*k - 8 = 0. Is z less than 1/4?
True
Let c(u) be the first derivative of -u**2/2 - 7*u + 27. Suppose -v = -2*w - 14, 4*w + w = 4*v - 32. Let t be c(w). Is 3/5 >= t?
False
Let i(u) be the first derivative of -u**4/2 + 10*u**3/3 + 2*u**2 + 6*u - 24. Let l be i(5). Does 25 = l?
False
Let y = -25329 - -396413/16. Let z = y - -553. Let l(p) = -p**3 - 3*p**2 + 1. Let w be l(-3). Is z >= w?
False
Let b = 1402 - 1403. Is b greater than or equal to 97?
False
Let p(m) = -14 + 0 - 24*m - 2 - 2*m**2. Let c be p(-11). Let j = -3 + 2. Is j greater than c?
False
Let g = 55 - 55. Suppose g = -f - 4*k - 1 - 28, -2*f + k = 40. Are f and 1 unequal?
True
Suppose o - 2*g + 49 = 0, o + g + 59 = -2*g. Is -423/8 greater than or equal to o?
True
Suppose -i - 12 = -2. Let o be 19/1*(-3)/(-3). Suppose -21 = 2*a - 3*y + 2*y, -y - o = 2*a. Is i < a?
False
Suppose 0*f + 2*f = -f. Let a be (-2)/12 - (f - 4/(-6)). Is a bigger than -2?
True
Let f be -2 - 4/(-4) - -5. Suppose -f*p + 46 = -26. Which is bigger: p or 19?
19
Suppose 4*k - 1 = 1111. Let m = 1663/6 - k. Do -1 and m have different values?
True
Let n = -300 + 300.01. Let w = 7 + -4. Let q = -3.1 + w. Is q >= n?
False
Let w be 21/14*(-1 - (-4)/12). Which is bigger: w or 262?
262
Suppose -u = 4*u + n + 418, 5*n - 94 = u. Let y be (1 + -5)*(-14)/u. Let a be (3 + -12)*(-6)/(-9). Which is smaller: a or y?
a
Let j = 271 + -270.871. Let l = -0.029 + j. Is l != -1/42?
True
Let l(m) = -m**2 + 3*m + 17. Let c be l(6). Let t = -1.8 + 1.7. Do c and t have the same value?
False
Let c be (-5)/(-1) - (-1 - -3). Let p be c - 7/(7/(-2)). Suppose -p*t = -2*j - 15, 2*j - 3*j = 5*t. Is -3/11 less than or equal to t?
True
Let h be (-8)/(-1 + 5) + -2. Let d be h + -86*(-3)/48. Is d >= 2?
False
Let y = 69.6 - 53.6. Is y less than or equal to 0.04?
False
Let h(c) = -85*c - 104. Let w be h(10). Is -953 <= w?
False
Let u be (-1)/6 + 534/22140*141. Let k = u - -138/41. Which is smaller: 6 or k?
6
Suppose -3*o + 2*o = 5*c - 37, 5*o - 5*c = 65. Suppose q - 23 = -3*a, 2*q - 4*a + 59 = 5*q. Is o > q?
False
Let d = -23.88 - -23.98. Which is smaller: -1043 or d?
-1043
Let i(r) = 2*r**2 - 30*r + 32. Let f be i(13). Which is bigger: -15 or f?
-15
Suppose -68*n = -64*n - 4. Which is bigger: -1 or n?
n
Let w = -1 + 14. Let x = -11 + w. Suppose -t = -0*t - x. Which is greater: 3 or t?
3
Let t = 138 + -132. Let x be 2*(2 - 3)/(-4 + t). Which is greater: -2/375 or x?
-2/375
Suppose 49*m - 6 = 55*m. Which is smaller: m or 2/311?
m
Let k(s) = -5*s**3 - 4*s**2 + s - 8. Let q(y) = -6*y**3 - 5*y**2 + y - 9. Let t(n) = -7*k(n) + 6*q(n). Let v be t(-2). Let z = 0.006 + -0.106. Is z > v?
False
Let u be 2/(-2) - -8 - 1. Suppose -7 = -4*t + 5*k, u = 2*t + k - 1. Suppose 5*f - 12*f + 7 = 0. Which is smaller: t or f?
f
Suppose 4*a - 4*c + 10 = -6, -4*c = a + 4. Let m be ((-18)/8)/(2/8). Let f be (-2)/3 - (-21)/m. Which is greater: f or a?
f
Suppose -2*z = z. Suppose z*n + n - 5*k - 24 = 0, -k - 8 = 3*n. Let y = -25/154 + 1/14. Is y smaller than n?
False
Suppose 15*c - 1580 = -4430. Is -190 > c?
False
Let x(j) = j**3 - 12*j**2 + 4*j + 4. Let a be x(12). Suppose -4*y - 7 = -3*d + 6*d, 0 = 2*d + 10. Let l be (a/(-44) - -1)/y. Which is smaller: l or -1?
-1
Suppose -4*a - 4 + 28 = 0. Suppose a*h - 59 = -11. Is h greater than or equal to 10?
False
Let k = -0.199 - -19.999. Let c = 1.1 - 21.1. Let i = c + k. Which is smaller: 4 or i?
i
Let u be 50/18 + (-20)/(-90). Is u smaller than 2?
False
Suppose -153*n = -158*n - 50. Do n and -8 have the same value?
False
Let j(z) = z**3 + 14*z**2 + 13*z - 2. Let f be j(-13). Let a be -22*(-9)/6 + f. Suppose -2*t = -3*q - 6*t - a, -q - 2*t = 9. Which is bigger: q or -14?
q
Let n = 1.049 - 0.049. Let s = 5/3 + -16/9. Which is greater: s or n?
n
Let k = -16.048 - -0.448. Which is smaller: 2/11 or k?
k
Suppose 0 = -2*l - 127 + 163. Suppose -6*p = -p - 2*s - l, 0 = -2*p - s. Do 4 and p have the same value?
False
Let z(h) = h - 17. Let x(r) = -r + 33. Let l(b) = -3*x(b) - 5*z(b). Let n be l(-10). Let m be n/(-16)*(-3)/36. Is m at least -1?
True
Let i be 3 + (-100)/(-8) - 4. Let h = -11 + i. Which is smaller: 0.06 or h?
0.06
Let a be (1/14)/((-6)/(-72)*-21). Are a and 7 equal?
False
Suppose 19*u - 16*u + 4*y = 19, -2*y + 9 = u. Which is smaller: u or 2/2891?
2/2891
Let z = 5.07 + -5. Let r = 10.93 + z. Let g = r - 12. Which is smaller: g or -0.1?
g
Let k(q) = -10*q - 26. Let p(o) = 2*o + 5. Let t(c) = -3*k(c) - 14*p(c). Let h be t(-12). Is 0.1 less than h?
False
Let g = -2.76 + 3.06. Is -0.105 less than g?
True
Suppose 4*x + 2*u = -3*u + 21, -5*u = 15. Let q(p) be the second derivative of -p**3/6 + 19*p**2/2 - 3*p. Let h be q(x). Which is greater: 11 or h?
11
Let c be (-1832)/(-34) - (-8)/68. Let s = c - 61. Is -11/2 smaller than s?
False
Let t = 0.289 + -0.189. Let g be (-3)/12 - 1382/4. Let l = 344 + g. Is l smaller than t?
True
Let i be (-49)/(0 + (-9)/6). Let d = i - 33. Are -8 and d equal?
False
Let o be 44/(5 - 9) - -1*2. Let y(v) = -v**3 - 10*v**2 - 10*v - 2. Let r be y(o). Is r greater than 5?
True
Suppose 11*k + 7*k = 5*k. Which is greater: k or -4/23?
k
Suppose 3*p + 3*g = 7*g + 5, 2*p - 1 = 5*g. Let i be p*5 - 0/(-9). Suppose -3 + 31 = 2*s. Which is smaller: i or s?
s
Let v be (1 - -7) + (3 - 0). Let g = v - 3. Let w be 2/g + 20/(-144). Which is smaller: w or 0?
0
Let r = -15 - -21. Let l be 2/4 - r/(-12). Suppose 0 = 8*c - 4*c. Is l smaller than c?
False
Let n = -1186/517 - -25/11. Let f = 123 + -15. Let q = 107 - f. Is n <= q?
False
Let z be (246/(-54))/(35/42). Is -4 != z?
True
Let w be ((-7)/((-294)/48))