 -11 = 5*p + 3*f + 133. Let a = p + 59/2. Is -2 at least as big as a?
False
Let a = 217492/91 + -2390. Which is smaller: a or 0?
0
Let k be 3 + (-5)/(10/8). Let o be 56/130 + k/5. Is -1 greater than or equal to o?
False
Let l = 50 + -23. Is 26 equal to l?
False
Let o(q) = -q**2 + 4*q - 1. Let y be o(5). Let p be (2/4)/((-3)/y). Which is bigger: p or 0?
p
Let t = 1357709/5607 - 229/623. Suppose -2*z + 618 = 134. Let r = t - z. Is -0.1 greater than r?
True
Let l = -0.036 - 0.964. Do l and -9 have the same value?
False
Let f = -31 - -28.2. Let o = 1.8 + f. Let m = -5.88 + -0.12. Is m greater than or equal to o?
False
Suppose -6*k + 140 = 2. Is 23 < k?
False
Let l be (434/87 - 5)*15. Which is smaller: l or 0?
l
Suppose 4*u + 6 + 11 = -i, 3*i - 5*u - 34 = 0. Let m = i + 0. Let o = 9 - 6. Is o at least as big as m?
True
Let q = -3/4 - 9/20. Is q bigger than 1?
False
Let d = 9/5 - 346/195. Is -1 at least d?
False
Let v = -152 - -149. Is -0.01 < v?
False
Let c = -12 + 25. Is 13 less than or equal to c?
True
Let v = 5 + -1. Suppose -2*a = 3*s - 8 - v, 0 = 4*s + 4*a - 20. Suppose -12 + 2 = -5*n. Is s >= n?
True
Let o be (-6 - 6)*4/6. Let r = -5 - o. Suppose -r*k = k + 8. Is k != -3?
True
Let v(n) = 2*n + 10. Let t be v(-5). Suppose -4*m = 4*f + 4, 10 = -t*m - 2*m - 4*f. Which is smaller: 2 or m?
2
Suppose 5*f - a - 67 = 0, 0 = 4*f + f + 3*a - 79. Suppose -5*g + 5*v - 10 = 0, -3*v - 2*v - f = -g. Let z be g/(-15) - 18/70. Which is greater: z or 1?
1
Let g = 21 + -24. Is g greater than -6?
True
Suppose 5*b = -5*y - 1070, 2*b = y - 570 + 127. Let u = -63074828/287721 - 1/31969. Let h = u - b. Which is bigger: h or -1?
h
Suppose 0 = 3*i - 0*i + 297. Let u = i + 3262/33. Let c = 47/165 + u. Which is smaller: -1 or c?
-1
Let t = -219/350 - -16/25. Which is smaller: t or 0?
0
Let t = 1/23 - 49/69. Let u = -0.1 - -0.5. Let y = u - 0.7. Is y at least t?
True
Let r = 4 - 10. Let c = r - -5.9. Is 1 <= c?
False
Let s(g) = g**3 + 13*g**2 - 13*g + 16. Let b be s(-14). Which is smaller: 18/11 or b?
18/11
Suppose -3*r + c = -8*r - 3, -5*r = -2*c - 6. Which is smaller: r or 3/4?
r
Let d = 4 + -3. Which is smaller: 1/3 or d?
1/3
Let g be -3*(-2)/(-18)*0. Let h = -6370/27 - -236. Which is greater: g or h?
h
Suppose 0 = 5*f - 0 - 5. Is 2 at most as big as f?
False
Suppose 40*j = 35*j - 175. Is -36 at least j?
False
Suppose -2*n + 2 = 2. Let r be (-4)/(-2) + (-27)/12. Is n greater than r?
True
Let k be 4/(-5)*(0 + -5). Suppose -u = -4*a + 3*u + 12, 0 = a - 2*u - 3. Suppose a*o + k - 1 = 0. Which is smaller: o or 0?
o
Let a(s) = -s**3 + 10*s**2 + s - 8. Let k be a(10). Suppose -3*t + k*g = 3*g + 1, -3*t - 2*g = 2. Are 1/9 and t equal?
False
Let o be (-2)/(-1) + (-84)/33. Is 1 >= o?
True
Suppose -5*a - 25 = -5*n, -3*n + 2*n + 3*a = -3. Suppose -4*j - 3*o + 56 = -n*o, 5*o = -20. Suppose -j = -4*l - 3. Which is bigger: 0 or l?
l
Let y = 10 + -14. Let v be 2/y + (-22)/(-4). Suppose -2*k = -7*k - v. Which is bigger: k or -1/3?
-1/3
Suppose 9*i = 11*i. Suppose s + s - 4 = 0. Are i and s unequal?
True
Let q be 161/((3 - 0)/1). Let p = q + -5638/105. Let b = p + -33/70. Which is bigger: 2 or b?
2
Let u(h) = -h**2 + 4*h - 4. Let f(q) = q**3 - 8*q**2 + 7*q + 3. Let o be f(7). Let y be u(o). Let s = 49/129 - 2/43. Is y at least s?
False
Let h be -1 + 7 + -2 + 0. Suppose 0 = -h*p + 6*p + 2. Is 0 < p?
False
Let v be (64/42)/(8/(-12)). Which is smaller: -2 or v?
v
Let g(u) = -u**3 + 20*u**2 + 23*u - 9. Let z be g(21). Is 31 < z?
True
Suppose 4*x = j - 0*j + 30, -42 = -5*x - j. Let p be 1/2*4/x. Is 0 greater than p?
False
Let v = -5 - 0. Let y(n) = n**2 + 5*n + 2. Let r be y(v). Let m = 0 + r. Is m at least as big as 3?
False
Let t = 17 - 9. Are t and 8 unequal?
False
Suppose -4*m - 32 = -2*j, -22 + 7 = 5*m. Let p(q) = q**2 - 10*q + 1. Let k be p(j). Are k and -1/6 non-equal?
True
Let g = 38 + 0. Let d be (-42)/g - (2 - 3). Which is smaller: d or 0?
d
Let r = -8.09 - -0.09. Let l = r - -8.01. Let q = -0.99 - l. Which is smaller: 0 or q?
q
Let a = 0.4 - 0.23. Let p = a - -0.03. Is p >= 1?
False
Let y = -0.1 - 0. Let n = 4.084 + -0.084. Is n at least y?
True
Let h be (-2)/9 + (-40)/(-18). Let x = 19284 + -96912/5. Let p = 98 + x. Is h equal to p?
False
Let w = -35 + 41. Is -0.1 greater than w?
False
Suppose -1 - 1 = -m. Which is bigger: -1 or m?
m
Let d be (-2)/(0 - 0 - -2). Let x(n) = 2*n - 33. Let h be x(18). Is h greater than d?
True
Let p be (1/2)/(6/444). Is 38 at least p?
True
Suppose 4*a + 2*r = -r - 3, -3*r = -3*a + 3. Suppose 3*d - 405 = -2*d. Let j = d + -649/8. Is j >= a?
False
Let b be ((-7)/21)/(76/24). Let p = 2 + -3. Is b >= p?
True
Suppose -3*p - i = -14, -3*p - 3*i = -8*i + 16. Suppose p*v - 2*v + 3 = 0. Which is smaller: -1/3 or v?
v
Let i(v) = -v**2 - 5*v + 7. Let d be i(-6). Let h = -2 + 4. Suppose -m - 2 = -q - 9, -d = q + h*m. Is q >= -2?
False
Let g be (1 + -1 - 0)/(-2). Let v be 3*-1 + (770/(-38))/(-7). Is g at most v?
False
Let h = 4.6 + -2.6. Which is bigger: 1/9 or h?
h
Let s = -45 + 45. Do -2 and s have the same value?
False
Suppose 6 = -p + 2*x, -4*x = 3*p - p - 20. Suppose 0 = -p*c - c - 6. Is c greater than -3?
True
Suppose -r - 26 = -4*w, 5*r - 7*r - 2*w = 52. Is -25 at least as big as r?
True
Suppose -v + 11 = -1. Suppose v*j = 7*j. Which is greater: -1 or j?
j
Let a = 32 + -17. Suppose -m + 6*m - a = 0. Let j(c) = c**2 + c - 2. Let y be j(-3). Which is smaller: m or y?
m
Suppose 5*p + z + 10 = 0, 2 = -p + 4*z - 5*z. Let s be (p + 1)*1/(-4). Let t = -2 - -1. Do s and t have the same value?
False
Let q be -2 + 1/(1/16). Suppose 4*y + 16 = -4*t, 0*y - 5*y - 2*t = q. Suppose 0 = 3*v + 2*v. Is v greater than y?
True
Let p = 0 + -2. Let a be ((p - -1) + 2)/1. Are 1 and a non-equal?
False
Suppose 17*d - 10 = 12*d. Suppose -5*g = 20, -5*g + 50 + 305 = -5*z. Let c be z/(-12)*(-4)/(-10). Is d greater than c?
False
Suppose 3*w - 4*v + 18 = 4*w, v = 3*w - 2. Is w at most 10/13?
False
Let w = -32 - -41. Suppose 0 = 4*m - 22 - 18. Is m less than or equal to w?
False
Let y be (4/(-6))/(21/(-14)). Is y < -1?
False
Suppose k + 140 = 5*g, -5*k + 3*g = -0*g + 656. Let j be (-62)/k - 4/10. Which is bigger: 1 or j?
1
Let w be 5 - 4/(-6)*21. Which is smaller: w or 20?
w
Let h be ((12/9)/2)/((-6)/(-9)). Is -2/21 greater than or equal to h?
False
Let a be 14*(4 + (-68)/8). Let c be ((-6)/a)/((-1)/(-24)). Is 1 bigger than c?
False
Let m = 118 - 119.5. Which is smaller: m or 0.03?
m
Let y = -4 + 2. Let h(m) = 6 + 0*m - 4 + 2*m + 2. Let a be h(-4). Which is bigger: y or a?
y
Let s be 2*1 - 80/38. Suppose -2*k + 0*j + 2*j = 0, 5*k = -j. Which is bigger: k or s?
k
Let g be ((-8)/12)/((-4)/(-6)). Let p be (-1)/(4/g*-1). Which is smaller: p or 1?
p
Suppose -3 = f, 2*u - f - 2*f - 17 = 0. Suppose -20 + 8 = -u*b. Which is bigger: 1 or b?
b
Suppose 5*l = -2*v - 6, -4*l + l - 6 = 0. Suppose -q - 3 - 2 = 0. Let n(f) = f**3 + 5*f**2 + f + 6. Let i be n(q). Is i greater than or equal to v?
False
Let d = -37 + 166. Is 128 > d?
False
Let q be 1*-2 + (1 - -12). Is 11 bigger than q?
False
Let c = 53 - 52. Is c != 1/13?
True
Suppose -11*g + 55 = -16*g. Are g and -3 nonequal?
True
Suppose -2*v - 4 = 2*s, 3*s + 2*v + 3*v = -8. Let f be (3*s - 0)/(-1). Suppose f = -4*c - 1. Which is smaller: c or -3?
-3
Suppose 2*s + 0*s - 3*w + 8 = 0, 3*w = -s + 14. Which is greater: s or 8/7?
s
Let v = 4 + -3. Let l = 1.1 - v. Let m = -3 - -5. Do l and m have the same value?
False
Let d = 2365 + -16587/7. Is -4 equal to d?
False
Suppose -4*a = 12, 4*a - a + 16 = b. Suppose 0 = 3*z - 4 + b. Let x = z + 3. Do x and 2/3 have the same value?
False
Suppose 0 = -4*b - 12, 0 = 5*s + b - 7. Suppose 5*g + 4*k + 4 = -0*g, -3*k = s*g + 3. Is g at most 0?
True
Let h = 26/862033 + -2252529461/1234431256. Let g = h + -9/179. Which is smaller: g or -3?
-3
Suppose -6*o + 40 = -2*o + 4*k, -3*k + 16 = o. Let a be (1/(-2))/(122/(-24) - -5). Which is smaller: a or o?
a
Let i be (27/(-18))/((-1)/(-4)). Suppose 0 = -4*k - 45 - 39. Let m be i/k - (-10)/14. Which is bigger: 0 or m?
m
Let g = -138603/95 - -1459. Is g bigger than 0?
True
Let l = 628.7 + -629. Suppose 3*m + 5*s + 1 = 0, -s + 3 = -2*m - 2. Is m bigger than l?
False
Suppose 4*g + 23 = y, 3 = -g - 2. Let d(b) = b**3 + 16*b**2 + 17*b + 31. Let s be d(-15). Is y at most as big 