-5 - -3. Let p = 1 + -10. Let a be p/6*4/6. Is b at least a?
False
Let x = -13 - -6. Let y = x + 11. Suppose j + 18 = 3*w + y, 0 = 3*j + 3*w - 18. Is 1 < j?
False
Let g(w) = -w - 13. Suppose 0 = 3*s + 2*n + 31, -s + 5*n + 1 = 0. Let m be g(s). Is -6 not equal to m?
True
Let j be (22/33 - 74/(-24)) + -4. Let o = 0 + -5. Which is smaller: j or o?
o
Let g = 24 - 16. Let p = -12 + g. Let f = p - -10. Is f at most as big as -1?
False
Let f = 0.181 + 0.019. Is f at least 17/2?
False
Suppose 2*n - 3*o + 119 = -2*n, -o - 115 = 4*n. Is -29 at most n?
True
Let j be 0/(30/(-6)) - 0. Which is greater: 2 or j?
2
Let t = 1704/55 + -354/11. Is -2 < t?
True
Let v = 1 + -1. Suppose 5*d = 6*l - 3*l + 134, 0 = 5*d + 5*l - 110. Let s = 76/3 - d. Which is greater: v or s?
s
Let r = -0.66 - 1.34. Let k = 0 - -0.1. Which is greater: r or k?
k
Let a(j) = -j**3 + 9*j**2 - 8*j + 4. Let s be a(8). Is s equal to 3?
False
Let j(o) = -o**3 - o**2 + o. Let i be j(0). Suppose 5*n + 7 = 2*n + 5*b, 4*b = -n + 9. Which is smaller: i or n?
i
Let w = -8.11 + 0.11. Let a = -9 - w. Let j = -0.1 + 0.3. Which is bigger: j or a?
j
Let d(q) be the first derivative of q**4/4 + 4*q**3/3 + q**2/2 + 3*q - 1. Let o be (1 - 0)*(-12)/3. Let i be d(o). Is -3/8 at most i?
False
Let g(m) = -m**3 - 3*m**2 + m. Let r be g(-4). Let h be (2/8)/((-6)/r). Which is bigger: h or -6?
h
Let n be (3 - (-4)/(-2)) + -7. Let y(u) = -u**3 - 7*u**2 + u + 1. Let t be y(-7). Is t < n?
False
Let p be 6/8*2 - (-1235)/(-26). Which is greater: -47 or p?
p
Let u = 0.0535 + -5.0735. Let i = u + 0.02. Which is smaller: i or 0?
i
Let a be (-3 + 6 - 3)/(-3 + 1). Which is smaller: 2/57 or a?
a
Let m = 170 + -173. Suppose 0*i + 4*i - 16 = 0. Suppose -n + i*n = -12. Are n and m nonequal?
True
Suppose 0 = -18*y + 227 - 11. Does 10 = y?
False
Let a = 45 + -44.7. Which is bigger: a or 10?
10
Let m = 1.6 + -1.74. Let k = -0.04 - m. Which is greater: k or 0?
k
Let d(a) = -a + 2. Let f be d(2). Suppose f = 6*h - 2*h + 12. Which is smaller: 1 or h?
h
Let p = -236 + 78. Is p at least -1?
False
Let d = -11 - -7. Let o be (14/d)/(1/2). Let x = -9 + 3. Is o not equal to x?
True
Let u = -2 + 6. Let s = 3 - u. Which is smaller: -13 or s?
-13
Let o = -21 + 19. Which is bigger: -0.4 or o?
-0.4
Suppose -5*h = r - 12, 2*r - r + 2 = 2*h. Is r greater than -3?
True
Suppose -13 = 3*a + 4*z - 0, 4*a + 16 = -5*z. Which is smaller: 2/7 or a?
2/7
Let i be -10 - -2*(2 - 1). Let r = -6 - i. Is r smaller than -1?
False
Let d = 1 - -15. Let s(b) = -b**2 + 3*b - 2. Let l be s(2). Suppose -2*x - 3*g - d = l, 2*x - 3*x - 4*g - 18 = 0. Is -3 < x?
True
Let b = -1.1 + 2.1. Which is greater: 0.06 or b?
b
Let z(r) = r - 12. Let g be z(9). Let i be ((-15)/25)/(g/15). Is 2 greater than i?
False
Suppose 4 = -3*b + 22. Which is bigger: b or 7?
7
Suppose -2*w + 6 = -2. Suppose -3*q + 8 = x - 5*q, x + w*q - 20 = 0. Let p be (-9)/x + 2/4. Which is smaller: p or 0?
p
Let d be -2*1 - (0/(-7) - 1). Which is smaller: -54 or d?
-54
Let u be (0 - 1)*(6 - 0). Let p = -13 - u. Let h(d) = d**3 + 8*d**2 + 7*d + 1. Let k be h(p). Is 2/9 >= k?
False
Suppose 21 = -4*f + 1. Let s = 757 - 761. Is f greater than or equal to s?
False
Let b(q) = -2*q**2 - 9. Let n be b(9). Let g be ((-1095)/n)/(-5) - -2. Let x = g - 1/19. Which is greater: x or -1/2?
x
Suppose -7 = 4*y - 5*h + 6, 0 = -3*y - 4*h - 33. Which is greater: -6 or y?
-6
Let m = 8 - 6. Let z be m/4*(5 + -5). Which is bigger: 1 or z?
1
Suppose 2*x = -3*x + 25. Let w = x + -2. Is 2 <= w?
True
Let m(i) = -2*i**3 + 2*i. Let p be m(2). Let c = 12 + p. Which is smaller: 1/3 or c?
c
Let w = -14014/9 - -1562. Are w and 4 equal?
False
Let p = 30/49 - 3889/6272. Let k = p + -61/384. Which is smaller: k or 1?
k
Let w = -3 - -13/5. Let l(s) = 2*s + 1. Suppose 3*r = -o + 8*r + 14, -2*o - 5*r - 17 = 0. Let g be l(o). Which is bigger: g or w?
w
Let m = 0.6 - -0.4. Let i = 1 - 1. Let l = m - i. Is -0.4 smaller than l?
True
Let o = 23.09 + -23. Let a = 6.09 - o. Let x = -20/33 + 3/11. Which is bigger: a or x?
a
Suppose 22*y - 89 = 21*y. Which is smaller: 90 or y?
y
Let i(w) = w**2 - w + 1. Suppose -2*p + 1 = o, 4*o = 5*p - 13 + 4. Let d be i(p). Is 6 >= d?
True
Let r(v) = -v + 8. Let i = 25 + -18. Let q be r(i). Let u = -0.2 + 0. Which is greater: q or u?
q
Suppose j - 3*a + 3 = -a, a = -j. Which is smaller: -2/53 or j?
j
Let u = 4706112 + -117673831/25. Let k = -841 - u. Let y = k - 49/100. Is -1/3 at least y?
False
Let j = -6 - -10. Let b be (7 - 1)*j/8. Is b smaller than 3?
False
Let b = -3.03 - -3. Let h = -0.57 + b. Let u = h + 0.4. Which is smaller: u or -0.1?
u
Let n = -13 - 41. Which is bigger: 0 or n?
0
Let m = 38 + -38.1. Which is smaller: -10 or m?
-10
Let w = 0 - 0.1. Let o = w - 0. Is o >= -5/6?
True
Let w(j) = j**3 - 15*j**2 - j + 14. Let k be w(15). Is -1/6 greater than or equal to k?
True
Let z = 682/7 + -99. Let x = z - -40/21. Let c be (-3)/(-3 - (-1 - -1)). Which is smaller: c or x?
x
Let y = 5.81 - 6.2. Let z = 0.09 + y. Which is smaller: -1 or z?
-1
Let t = 1 + -1. Let v be -8*(t - (-2)/(-108)). Let i = v - -2/27. Which is bigger: 2/5 or i?
2/5
Let s(v) = 4*v. Let l be s(-3). Let f be -3 + 4 + -2*1. Is f bigger than l?
True
Let w = 76243 + -76659.11. Let c = w + 412. Let s = -0.11 - c. Is s != -2/5?
True
Let o = -27/10 - -6/5. Let v = 59.9 + -54. Let c = 6 - v. Which is greater: c or o?
c
Let h = -3 + 6. Let j = h - -1. Let p = j + -7. Which is smaller: -0.1 or p?
p
Let h = 1.07 - 0.07. Let q = h + -1.1. Which is smaller: q or -3?
-3
Let d be (1/4)/(-2 - (-36)/20). Suppose 3*t - 12 = 4*m, -t - 5*m - 6 = -3*m. Which is greater: d or t?
t
Let p = 1 + 3. Suppose -26 = p*t + 2*h, 0 = 2*t - 0*t + 3*h + 23. Suppose 5 = -r - 0*r. Which is bigger: r or t?
t
Let z be 0*(-3)/(0 + 6). Let b = z + -5. Let w be 2 + (70/12)/b. Which is bigger: w or 0?
w
Suppose 35 - 137 = -3*p. Suppose -2*f = i - 7, -4*f + i + i + p = 0. Is 7 > f?
True
Let m = -1 + 0. Let u = -5/18 - 11/9. Do m and u have the same value?
False
Let z = 6 - 2. Suppose z = -3*f + 5*f. Let i be ((-8)/(-10))/(2/10). Which is bigger: i or f?
i
Suppose 0 = 4*k - 3*q + 186, 2*k + 9*q + 80 = 4*q. Let a be (20/k)/((-2)/(-490)). Let x = a + 109. Which is bigger: -1 or x?
x
Let a = 19249/27 + -713. Let i = 23 - 23. Which is bigger: i or a?
i
Let n(r) = -r**3 + 7*r**2 - r + 10. Let f be n(7). Suppose s + c = 5 - 0, -3*c = -f*s - 15. Which is bigger: 1/5 or s?
1/5
Let l be (-4)/(-3)*(15/2)/(-5). Which is greater: -6/7 or l?
-6/7
Suppose 2*z - 5*z = 3*d + 15, -3*z = -2*d. Let y be -2 - d - 2/4. Let v = 4 - 4. Which is greater: v or y?
y
Suppose -4*m = 5 + 19. Let t(i) = -i**3 - 7*i**2 - 5*i + 3. Let y be t(m). Which is smaller: y or -1?
y
Let s = -167 - -167. Suppose -t + 227 = 47. Let n = 1622/9 - t. Is s less than n?
True
Suppose 10*q - 11*q - 12 = 0. Which is greater: -11 or q?
-11
Let b = 3 - 3.08. Let w = b - -0.38. Is -1 less than or equal to w?
True
Suppose 4 = -3*y + l + 17, 0 = y + 2*l + 5. Suppose 0 = -7*g + 4*g - y*k + 18, -3*g + k + 30 = 0. Let a be (12/g)/((-2)/3). Do a and -2 have the same value?
True
Suppose -3*i + 10 + 2 = 0. Suppose -i*o + 2 = 6. Let v be ((-3)/(-9)*-1)/1. Which is bigger: o or v?
v
Let a = 26 - 26. Which is smaller: -14/17 or a?
-14/17
Let i(k) = -4*k + 31. Let u be i(8). Which is bigger: 0.04 or u?
0.04
Let o be 4*(-3 + (-14)/(-4)). Suppose 2*c - 4 + o = 0. Does c = 2?
False
Let p = 85 - 87. Is p at least as big as -14/13?
False
Let r = 0.064 + 0.036. Which is smaller: r or 0.29?
r
Suppose -5*v + v = -228. Let j be (-2)/7 + v/(-21). Let s be -2 - (j + 1 - -1). Which is smaller: s or 1/5?
s
Suppose -w + 4 = -5*w. Let i(b) = -6*b - b**3 - b**2 + 9*b**2 - 8 - 1. Let z be i(7). Which is bigger: w or z?
w
Let y = 34 + -33. Which is smaller: y or 2/139?
2/139
Let x = 26.9 - 30. Let f = -3 - x. Is -0.1 <= f?
True
Suppose -1 = -5*u + 4. Suppose -5*h + 3*h = 2. Let c = h + u. Which is greater: c or -2/11?
c
Let d(v) = -5*v - 14. Let r be d(-7). Which is smaller: r or 19?
19
Suppose 2*z + 0*o - 72 = 4*o, 0 = 5*o + 20. Are 28 and z equal?
True
Let j = 1/211 - 1073/3798. Which is greater: 1 or j?
1
Suppose 0*n = r + 2*n - 13, -16 = -4*n. Suppose 3*a = -r*w, a = 4*w + 4*a. Which is bigger: w or -1?
w
Let r be 6/(-4)*92/138. Let m be (-18)/(-15)*(-4)/6. Is 