 = -60 - -42. Is -19 smaller than j?
True
Suppose 0 = -j - 5*n - 21, n + 2 = 4*j - 2*j. Let q = j + 4. Is q at least as big as 3?
True
Let r(a) = -13*a**2 - 33*a + 8. Let m(o) = -3*o**2 - 8*o + 2. Let t(h) = 9*m(h) - 2*r(h). Let p be t(-7). Let f be p + (-3)/(-9)*3. Which is bigger: f or -1?
-1
Let j be (-54)/(-8) + (-6)/(-24). Is j >= 6?
True
Let n be 2/(-24)*21/2. Which is greater: -2 or n?
n
Suppose z + 2*z = 5*i - 26, 24 = 5*i - 2*z. Which is smaller: 0 or i?
0
Let r be (3 + -6)*4*-3. Let y be ((-50)/r)/(-5) - 2. Let n = y - -2/9. Is -1 != n?
True
Suppose 2*o + 3*o - 25 = 0. Let h = 8.2 - 8. Let m = h - 0.1. Which is smaller: o or m?
m
Let l = 16.06 - -0.54. Is -2/7 greater than or equal to l?
False
Let y be (56/(-52))/(-2) + -1. Is -1 greater than y?
False
Let j = 1 + -8. Which is smaller: j or -8?
-8
Let j = 2.3 + -2.8. Let k = 3.36 - -0.14. Let d = k - j. Is 0 at most as big as d?
True
Let u be 1/(-4) - 46/8. Let d(x) = -x - 2. Let j be d(u). Let r be (-2)/j + (-1)/2. Which is smaller: 1 or r?
r
Let a = 14 - 18. Which is greater: 0.7 or a?
0.7
Let x(v) = -v + 7. Let u be x(6). Let r be -1 - -10*3/18. Which is greater: r or u?
u
Let h be 8/(-36) - 17/(-9). Suppose -3*t - t - 5*b + 2 = 0, 3*t + 5*b + 1 = 0. Is h at least t?
False
Suppose -5 + 20 = 5*x, 4*g = 2*x - 42. Let w = 10 + -6. Let b = w - 12. Which is greater: g or b?
b
Suppose -2*b = -3*b + 3. Let i be 104 + (b + -1 - 1). Let f be 2 + (-5)/(i/48). Is f bigger than 1?
False
Suppose -38 = -6*u + 22. Is u at most as big as 12?
True
Let d(b) be the first derivative of b**2/2 + 11*b - 4. Let j be d(-11). Suppose -3*g - 4 = -g. Which is bigger: j or g?
j
Let f(i) = -i**2 - 5*i + 3. Let d be f(-6). Are d and -3 equal?
True
Let q = 1.4 + -1.3. Which is bigger: q or 0.07?
q
Let a = -35 - -53. Suppose 3*x - 15 = -3*p + x, 0 = p + 5*x - a. Which is bigger: 5 or p?
5
Let k = -136/45 + 20/9. Let b(o) = 2*o**2 - 7*o + 3. Let c be b(4). Suppose -l = c - 5. Is l bigger than k?
False
Let q = -0.14 - 12.86. Which is smaller: q or 0.1?
q
Let o = -0.301 + -0.199. Which is smaller: o or -0.2?
o
Let f(h) be the first derivative of 3*h**2 - h + 1. Let n be f(1). Let y be ((-8)/10)/(2/n). Which is greater: -7/4 or y?
-7/4
Let u = 0.6 - 0.5. Let d = 0.06 + -0.06. Let c = d + u. Are c and 0.2 unequal?
True
Let l = -14 - -15. Is 1/6 <= l?
True
Suppose -148 = -36*p + 32*p. Is 37 <= p?
True
Suppose -9 = 5*w + 101. Which is bigger: 0 or w?
0
Let x be (2/(-2) + -1)*1. Let r = 3 + x. Let c be -2 + 0 + (-24)/(-9). Which is smaller: c or r?
c
Suppose -x = -4*g - 5, -g - 4 = -2*g. Suppose -b + 0 = -3, -5*b + x = -2*k. Let t = -16 + 12. Do t and k have the same value?
False
Let b be (-2)/(-5) - 164/10. Is -17 greater than b?
False
Suppose -3*p = c - 7, -c = -p + 3*c + 11. Let x = 61 + -58. Is p <= x?
True
Suppose 171 = -5*f + 36. Let r = f - -46. Let c be r/42 - 1/6. Which is smaller: c or -1?
-1
Let j = -8.14 - -0.14. Let p = j - -7.6. Which is greater: 0.1 or p?
0.1
Let m be 8/(-20) - (-17)/5. Suppose 6*k - 10 = k. Which is greater: k or m?
m
Suppose 19 = 5*p - 96. Let k = -22 + p. Are k and 1/19 equal?
False
Let i be ((-9)/(-6))/(3/2). Which is smaller: -2/7 or i?
-2/7
Let j = 7 - -38. Let y be (-8)/j - 2/(-5). Is y <= -1?
False
Let a = -1 + 3. Let h = a - 2.1. Let g be 11 + -11 + 0 + 3. Which is smaller: h or g?
h
Suppose 5*p + 39 = 2*i + 2*i, -2*i + 4*p = -24. Let v be ((-3)/i)/(2/8). Let w be ((-6)/5)/((-8)/(-20)). Which is smaller: v or w?
w
Suppose -46 = -2*n - 2. Let t be n/(-4)*(5 - 3). Is -10 bigger than t?
True
Suppose 4*b = 13 + 3. Suppose 0 = -4*d - b*r, 2*r = -4*d - 0 + 8. Suppose 0*h + 4*h - d = 0. Is h != -1/4?
True
Let n be (-4)/(-2)*(-5)/10. Let y(l) = l**2 - 3*l - 2. Let x be y(2). Which is smaller: x or n?
x
Let p be (8 + -1 - 2) + 2. Let r be (-82)/(-7) + 2/p. Let l be (6/(-4))/(27/r). Is -1 not equal to l?
True
Suppose x - 40 = 3*d, 5*d - 4*x + 44 = -18. Is d greater than -14?
False
Let k(f) = f**2 - 5*f + 4. Let v be k(4). Let q be 2*-2 - (-368)/96. Is v at most q?
False
Let v be 11*(-5)/45 + 2/9. Suppose -4*f = 4*i - 2*i - 2, 5 = i. Is f at most v?
True
Suppose -86 - 4 = 3*z. Let a be (96/15)/((-12)/z). Is 17 less than a?
False
Suppose 0 = -l + 6*l + m + 58, 0 = -m - 3. Let i = 13 + l. Is 3/2 <= i?
True
Let d be (-4)/(-14) - 46/14. Let s be 2 + 0 + 5/d. Let m be (-2)/7 + 8/28. Which is greater: m or s?
s
Let r = -13 + 7. Let o(f) = f + 7. Let a be o(r). Suppose -1 = m - 0. Which is bigger: a or m?
a
Suppose -p = -2*p. Let o be 4 + -1 - (-174)/(-60). Is p bigger than o?
False
Suppose 0 = y - 0*y - 3*u + 60, -5*y = 5*u + 340. Let m be (-8)/y - (-2)/(-3). Which is smaller: m or -2?
-2
Suppose 0*o = -o + 4. Suppose 2*q = -2*t + 4, -q - 3*t + 6 = -3*q. Let i be (o/(-6))/(q + -2). Is 4 equal to i?
False
Let u be (2/(16/12))/(-87). Which is smaller: u or 0?
u
Suppose -2*m - 2 = 4*u + 8, 4*m = 5*u + 45. Which is greater: -23/6 or u?
-23/6
Suppose 2*y = 4*n + 4, -2*n - 9 = y + 1. Let p(u) = u + 3. Let q be p(n). Which is bigger: -2/29 or q?
q
Let w = -2 + 1. Let x be (-46)/(-130) + ((-11)/(-13) - 1). Is x > w?
True
Let u = -2 - 15. Do -16 and u have different values?
True
Let u be -10 - -9 - (-11)/(-2). Let m be (-46)/8 - (-1)/(-4). Is u at most as big as m?
True
Suppose 2*u - u = -y - 4, 3*y = -u - 10. Let r be 1/((-220)/(-116)) - 1. Let i = 4/55 + r. Is u not equal to i?
True
Let d(s) = 9*s - 16. Let i(g) = -4*g + 8. Let t(f) = -3*d(f) - 7*i(f). Let u be 2/(-8) - 33/(-4). Let c be t(u). Is c greater than or equal to 2/5?
False
Let i be (-1 - -1)/(1 + -3). Suppose -2*k = -6*k + 16, -3*y + 5*k - 35 = i. Which is smaller: y or -4?
y
Let n be (-878)/(-4)*(-4)/10. Let a = -90 - n. Is a equal to -3?
False
Let a = -270147143/341831880 - 254/121735. Let n = 5/216 + a. Let l = -2/65 + n. Is l at most -1?
False
Suppose 20 = 2*y + 3*y + h, -y + 3*h = 12. Let k(n) = -n - 1. Let f be k(-3). Which is smaller: f or y?
f
Suppose 0*r = 3*r + 12. Suppose 0 = -g + 2*l, -5*l = 2*g - 4*g - 1. Let y(d) = d**2 - 6*d + 3. Let h be y(g). Is h < r?
True
Suppose 4*m - 2*w - 16 = 0, -5*w - 7 = -3*m + 19. Suppose -d = -1, -m*i - 2 = -3*d - d. Do -4/3 and i have the same value?
False
Let f be (-18)/21 - -1 - (-79)/(-14). Which is smaller: f or -5?
f
Let i = -2439 + 524386/215. Is i less than or equal to 0?
False
Suppose 4*j = -16, -d - 2*j = -3*d + 10. Let a = -1939/20 - -97. Is d bigger than a?
True
Suppose 18 = -4*v + f, 0 = 2*v + 4*f + 12 + 6. Which is smaller: v or -3?
v
Let l(a) = a**3 - 10*a**2 + 9*a + 4. Let v be l(9). Suppose -9*b = -v*b. Is b < 1?
True
Let i = 3.1 - 3. Let k be ((-1)/4)/((-55)/(-88)). Which is bigger: k or i?
i
Suppose -56 = -2*m - 4*r, 0 = 3*m + 3*r - 7 - 62. Is m smaller than 16?
False
Let c = -5 + 4. Let v(b) = -b**3 - b**2 - b - 1. Let k be v(2). Let i = k + 76/5. Which is smaller: c or i?
c
Let t(a) = -a**3 + 4*a**2 - 2*a - 3. Let k be t(3). Which is bigger: -4/35 or k?
k
Let t(h) = -2*h - 8. Let g be t(-5). Let d = 119 - 245/2. Let a = d - -4. Is a at least g?
False
Let b = -5/38 - 41/266. Is b less than or equal to -1?
False
Let p be 41232/29120 - (-2)/5. Let g = p - 6/91. Is 3 less than or equal to g?
False
Let o = 39 - 37. Let r = 4 - 4. Which is bigger: r or o?
o
Let p(d) = -d**2 + 5*d - 1. Let a be p(3). Let l = 8 - a. Let z be (-1)/(3/45*l). Do -7 and z have different values?
True
Let t(s) = -s**2 + 3*s + 5. Let q be t(4). Let j = -4 + q. Let o be (4/j)/(-4)*-1. Which is smaller: o or -3?
-3
Let q(z) = 3*z**2 + 35*z + 2. Let w(n) = n**2 + 12*n + 1. Let j(f) = 4*q(f) - 11*w(f). Let m be j(-9). Are 5 and m equal?
False
Let j be ((-2)/12)/((-4)/(-8)). Let f(r) = r**3 + 7*r**2 - 9*r - 12. Let g be f(-8). Let h be (g/12)/(2/6). Which is bigger: j or h?
j
Suppose 5*k + 5*b = -130, 5*k - 3*b = 2*b - 130. Let f be k/(-117) - (-58)/(-99). Does 0 = f?
False
Let x = -6 - -3. Which is smaller: -1/5 or x?
x
Let a be (-5 + 2 - -3) + -14. Let z be (-16)/10 + a/35. Let t(g) = g + 1. Let v be t(-4). Is v at most as big as z?
True
Suppose k = 3*k - 8. Let t be ((-3)/k)/((-2)/8). Is t bigger than -1?
True
Let u be 1*(-4 + 1) - -1. Let i = -1 + 1.2. Let s = i + -0.1. Are s and u nonequal?
True
Let l(f) be the third derivative of -f**6/120 + f**5/12 - f**4/6 + 5*f**3/6 + 3*f**2. Let a = 10 + -6. Let q be 