 6*j - 9. Let r be v(y). Do r and -9 have the same value?
True
Let f = -27.2 + 27. Let t be ((-2)/(-24))/((-4)/(-8)). Is f > t?
False
Let b(t) = -t**2. Let h(f) = -f**2. Let l(r) = 5*b(r) - 4*h(r). Let x be l(-1). Let k be 48/(-21) - (-2)/7. Is k at most as big as x?
True
Suppose -3*i - 3*d - 27 = 0, 7*i - 3*i + 28 = 4*d. Is i <= -7?
True
Let q = -35/9 - -112/45. Suppose 0 = -110*c + 109*c - 1. Which is smaller: c or q?
q
Let v be 8/(-34)*(-15)/(-12). Let j = v + 61/34. Is j at least as big as 2?
False
Let a = 12/7 + -4/7. Which is smaller: a or -1/3?
-1/3
Let v = 41 + -42. Which is bigger: v or 6/17?
6/17
Let o = -8 - -7. Let s = o - -2. Let n = 0.8 - s. Which is greater: -1 or n?
n
Let t = -3 + 2.8. Let p = -4 + 4.3. Let m = p + t. Is m at least -1?
True
Let o = 0.4 + -5.4. Is o > -2/11?
False
Let y be -1*(-6)/(-3)*-2. Let q be (8/y)/((-2)/(-4)). Suppose 0*r + 5*r = 15. Is q at most r?
False
Let r be (4/(-5))/(2/(-10)). Let d(z) = -9 + 2 + 4 + z. Let j be d(r). Which is bigger: 1/4 or j?
j
Let c = -89 + 1868/21. Which is smaller: 0 or c?
c
Let p = -4 - -11. Suppose -15 = -p*b + 2*b. Is 3 bigger than b?
False
Let s be 323/(-228) + (9/(-4))/(-3). Which is bigger: 1/4 or s?
1/4
Let n(l) = l + 3. Let a be n(0). Suppose 0 = -a*y - 6. Let o be (0 - -1 - -1)/y. Which is bigger: 2/7 or o?
2/7
Let w = -56 + 227/4. Is w at most as big as 3?
True
Let i = 7 + -2. Is i != 1/4?
True
Let v = -39 + 39. Which is smaller: v or 2/79?
v
Let z be -3 - (2 - 1 - 3). Is z bigger than 3/17?
False
Suppose 0 = -2*q - 0*i - 3*i + 15, -5*q + 2*i - 10 = 0. Let h be 4 + q*1/(-2). Suppose -h*n + 6 = -2*n. Is 2 less than or equal to n?
True
Suppose -3*x - 6 = x - 2*o, -5*x - 8 = -3*o. Let a = -23/1512 - -5/56. Which is greater: a or x?
a
Let o = -140 + 974/7. Is -1 smaller than o?
True
Let m = -15 + 14. Let q be 0*4/(-12) - m. Let l be 1/2 - 18/(-28). Which is smaller: l or q?
q
Suppose -2*v = v. Suppose 3*m = -5*a - 110, -180 = 5*m + 5*a - v*a. Let x be (-4)/(-14) + (-4)/m. Are x and 0 equal?
False
Let s(a) = a**3 - 4*a**2 - 7*a + 6. Let n be s(5). Let x = -5 - n. Suppose 7*r - 3*r - 12 = 3*v, -v = -2*r + 4. Is r >= x?
True
Let j = 552 + -5030/9. Is -8 bigger than j?
False
Let d(y) = 2*y + 6. Let f be d(-4). Let a be (-1 + 0/3)*f. Suppose -a*v + 2*u = u + 2, -16 = -4*v - 3*u. Which is smaller: v or 2?
v
Let g = 1 - 1. Let b(x) = 4*x**2 - 4*x - 17. Let w(r) = -r**2 + r + 4. Let p(l) = 2*b(l) + 9*w(l). Let i be p(-2). Is g greater than i?
True
Suppose 4*l - 2 = 2*d, -d + 8 = -l + 2*l. Let b be 0/(2*1) + 4. Let u = d - b. Which is smaller: u or 0?
0
Suppose -5*g + 28 = -h, 22 = 5*g - 4*h - 15. Which is smaller: 6 or g?
g
Suppose 0 = -5*u - 2*v + 76, -v - 2*v = 2*u - 37. Do 12 and u have the same value?
False
Let y be 0 - 5/50*3. Is 1 greater than or equal to y?
True
Let m = -15 + 22. Let o = m - 7. Let d be -1 + (0 - (-4)/5). Which is smaller: d or o?
d
Let h(k) = k**3 + 3 - 2*k**3 - 2*k - 3*k**2 - 5. Let n be h(-2). Let c be (n/6)/(1/(-4)). Is 2 < c?
False
Let x = -8/55 + 6/11. Let s = 1.6 - 2. Let k = s + 0.4. Is x bigger than k?
True
Let p = -0.06 + -0.04. Is 2/7 smaller than p?
False
Let i be (-6)/(120/5)*-44. Which is bigger: 19/2 or i?
i
Let o = 148 + -149. Which is smaller: o or 0.092?
o
Let g(p) = 0*p + 1 - p + 7 - p. Let i be g(6). Let u(l) = l**3 + 6*l**2 + 5*l - 3. Let j be u(-5). Which is smaller: j or i?
i
Suppose y + 23 = -10. Let o be y/15 + 4/2. Which is smaller: o or 0?
o
Let m be (-5)/(-3) - 2 - 1. Suppose 6*q = 2*q. Is m > q?
False
Let g = -2 - -1. Let a be (2/6)/(1/3). Let v = g + a. Which is smaller: v or 2?
v
Let m be (4 - 0) + (-72)/20. Is m > 0?
True
Let l be ((-18)/(-186))/((-3)/(-1)). Is l less than 1?
True
Suppose -3*u = -6*u + 30. Let z = u + -8. Is -0.1 less than or equal to z?
True
Let c(i) = -i + 2. Let n be c(10). Is -17/2 less than n?
True
Let u(r) = -r**3 + 5*r**2 - 2*r - 3. Let n be u(4). Suppose 0*z = n*z. Let c = -0.3 - 0.2. Is c at least z?
False
Let r(n) = -3*n - 12. Let m be r(-6). Which is bigger: 5 or m?
m
Let j(w) be the first derivative of -w**3/3 + 3*w**2/2 - w - 1. Let q be j(2). Let m be (-455)/(-147) - 3/1. Is q not equal to m?
True
Let h = -1877 - 882. Let a be 0 - h/(-187) - -1. Let y = a - -150/11. Does y = 0?
False
Let t be (-6)/(-4)*(-4)/39. Let q be 4 + -2 + -2*1. Let g be 5 - 6 - (q + -2). Is t <= g?
True
Let i(u) = u**2 - 17*u + 36. Let p be i(13). Is -19 <= p?
True
Let d be (-54)/(-4)*(-8)/(-44) + -3. Is d less than -1?
False
Let x = 2.1 + -2. Let f = 0.3 - x. Are 0.2 and f non-equal?
False
Suppose -y - 4*y = 0. Suppose 3*f - 7*f = y. Is -2/7 > f?
False
Let n be (-12)/(4 + -1)*(-21)/(-36). Does n = 6?
False
Let j be (-2)/(-40)*10/(-4). Is j smaller than 0?
True
Suppose 2*x + 60 = 5*x. Suppose 9*w - 4*w = -x. Let s be (w/(-24))/(6/8). Which is greater: s or 2/7?
2/7
Let m = -16 - -16. Suppose -w - 32 = -5*w. Suppose 0 = 3*r + 2*v + w, 12 = r - 4*v - 4. Is m less than r?
False
Let v = -0.2 - -0.1. Let y = 0.13 + v. Which is bigger: y or 1?
1
Suppose 8 = -h + 3*b, 3*b = 4 + 5. Suppose -5 = -m + 5*m + 3*w, 3*m = -5*w - 12. Let f = h + m. Is f greater than 3?
False
Let g = 8 + -5. Let t be 4/12 - 1/g. Is t smaller than 0?
False
Let u(p) = p**2 + 5*p. Let d be (-3)/(-12) + 17/(-4). Let r be u(d). Let b be ((-2)/(-4))/(2/r). Which is smaller: b or -2/13?
b
Let d be -1 + (-26)/(-22) + (-8)/44. Is d equal to 14/11?
False
Suppose -t - 3*t + 20 = 0. Let y = t + -3. Suppose s + y*s = 6. Is s less than 0?
False
Suppose -2*a = 2*o + 8, a = 5*a + 5*o + 16. Is -5 bigger than a?
False
Let r = 29.2 + -30. Do -0.1 and r have the same value?
False
Let n be 1 + (-3)/(-66)*-34. Which is smaller: n or 0?
n
Suppose 3*r + 3*y - 297 = 0, 2*y = -r + 95 + 4. Let g = -470995/9 - -52432. Let u = g - r. Which is smaller: 1 or u?
u
Let r(v) = v**3 + 6*v**2 + 6*v + 5. Let m be r(-5). Suppose 2 = -m*q + q. Is 2/3 < q?
True
Suppose d - 12 = 3*v - 2*d, -4*v = 3*d + 16. Let r be (-5)/(50/v)*-25. Let t be (2/(-3))/(r/15). Which is smaller: t or 0?
0
Let x = 732054 + -317711229/434. Let h = x + -3/62. Is 2/5 at most as big as h?
True
Let g = 246 - 2704/11. Let m = g + 5/33. Suppose 0 = -k + 2*z - 3, 3*k - k + 4*z = 10. Is m < k?
True
Let p = 2/103 - -77/1339. Which is smaller: 0 or p?
0
Let q = 6 + 14. Suppose 2*w - 4*x - q = 0, x = -3*x - 4. Let s be (-12)/(-16)*w/33. Is s at most as big as 1?
True
Let v(n) = -4*n - 6. Let m be v(-4). Suppose 9 = -3*t - 0, t - 33 = -4*i. Let a = m - i. Which is smaller: a or -3/8?
-3/8
Let j(x) be the first derivative of x**4/4 - 7*x**3/3 - 7*x**2/2 - 7*x - 1. Let u be j(8). Let r be u/(-6) + 2/12. Is r bigger than -1?
True
Suppose 3*a - 7 = p, -a + 0*a - 19 = -3*p. Let z be ((-2)/(p/6))/2. Let b = 11 - 21/2. Which is bigger: z or b?
b
Let q = 0.1 - 0. Let j = -3 - -3.2. Let g = 0.3 - j. Is g at least as big as q?
True
Let g(w) = w + 1. Let q be g(-5). Let c be 1 - q/4 - 1. Let t = 15/7 - 241/119. Is t greater than c?
False
Let b = 628/11 - 57. Are b and -1 equal?
False
Let f be ((-3 + 2)*2)/(-1). Let w = f + 5. Which is smaller: w or 0?
0
Let s = 3 + -10. Which is smaller: -5 or s?
s
Let x be (-4)/14 - 38/(-35). Let l = 7 + -6. Is l >= x?
True
Let r = -125 - -2377/19. Let i be -1 - 2/(-3 + 1). Which is greater: i or r?
r
Suppose 12*d - 17*d = -10. Let q be (-9)/d*(-6)/(-9). Which is smaller: -2 or q?
q
Suppose -3*u + 5*i + 66 = -41, -4*u + 158 = i. Is 40 equal to u?
False
Suppose 3*q + 5*z = 14, 2*q + 5*z = 5 + 11. Let b be (16/(-5) - 6/(-30)) + 9. Which is bigger: b or q?
b
Let n = -0.7 - 2.3. Let i = n - -3. Which is smaller: i or -0.5?
-0.5
Let d = -0.1 + 0.2. Let z = -6.96 - -1.06. Let i = 6 + z. Is i at most as big as d?
True
Suppose z = -4*y + 5*y - 11, -3*y - 5*z + 73 = 0. Which is greater: y or 15?
y
Let g be ((-1)/2)/(1/(-2)). Let c be (1 - 2) + 1 - (-3)/(-33). Is c less than g?
True
Let p = -49 + 51. Which is bigger: p or 1?
p
Let a be 0/1 + -2*10. Let o be (32/a)/(2/15). Is o < -11?
True
Let t = 9.74 + 0.26. Let u = 10 - t. Let g = -38 - -112/3. Is g != u?
True
Suppose -5*y = 15, 2*h - 12 - 10 = 4*y. Suppose 4*t + 11 = -3*s, -3*s + h*t - 2 = -9. Is 2/11 equal to s?
False
Let r = 1 + 3. Let q be 3/(-12) - (-1)/r. Which is smaller: q or 2?
q
Let n be (1/(-3))/(6/18). Let h be (-1 - n) + 0/(-6). Does h = 1?
Fa