 v = -18 - -11. Let k = v - -5. Let g = 6 + -3. Are k and g equal?
False
Let w(r) = -r - 7. Let u be w(-7). Let b be 3 + -3 - (-2)/(-6). Is b at most u?
True
Let u be 3/6*4 - 3. Which is bigger: u or 2/7?
2/7
Let m be 2/3*(0 + 66). Let s = -136/3 + m. Which is greater: s or 1?
1
Suppose 0 = 2*f - 7*f - 25. Which is greater: -11/3 or f?
-11/3
Let g be 2/(-3)*(-12)/16. Suppose -2*s - 2*x + 2 = -0*s, 3*x = 3*s - 3. Is s not equal to g?
True
Let m be -2 + 2 + -3 + 3. Let x = 0 + 0.1. Let t = x + -0.2. Are t and m equal?
False
Suppose 5*c = -5*r + 2*c, c = -2*r. Suppose r = 2*m + 3*m. Do -2/23 and m have the same value?
False
Let l = 4 - 6. Let n = 2 + l. Suppose n = -2*a + 3*a. Are a and 1/2 non-equal?
True
Let z = 13 + -11. Is z greater than or equal to 2?
True
Let o = -0.097 - 0.223. Is 2 greater than o?
True
Let l be ((-4)/(-6))/(-2 - 424/(-210)). Does 35 = l?
True
Let n(b) = 0*b + b**2 + 2*b + 2 + 3 - 8*b. Let a be n(6). Which is smaller: 3 or a?
3
Let w be (4/6)/((-10)/75). Let c = w + 5. Which is bigger: -2/5 or c?
c
Suppose 0 = -b - 26 - 36. Let g = 7378/3 - 2522. Let h = b - g. Which is bigger: h or -0.1?
h
Let w(y) = y**3 - 6*y**2 - 8*y + 10. Let u be w(8). Suppose 0 = -h + u + 268. Let b = h + -5816/17. Which is greater: b or 0?
0
Suppose 3*n + 2*r - 15 = 0, -5 = -n - 0*r + r. Let o be (1/n)/(18/20). Which is greater: -1 or o?
o
Let o = -2 + 3. Suppose 0 = b - o - 1. Suppose 5*m = -4*s - 31, -b*m - 2 = -0*s - s. Which is smaller: m or -3/2?
m
Let s = -2 - -3. Let u = -10 - -11. Is s less than or equal to u?
True
Let y = 10397/21 - 495. Which is greater: -2 or y?
y
Suppose -34*z = -37*z - 9. Is z at least as big as -5/2?
False
Suppose -5*s + 2*p = 106 - 41, -35 = 2*s + p. Let b be (-2)/(-2) + 16/(-1). Let g be s/9*24/b. Which is greater: g or 3?
3
Let t = 1.72 - 1.86. Which is greater: -1 or t?
t
Suppose -5 = 4*v + 23. Suppose 3*r + 6 = u, 4*u = -4*r - 45 + 5. Which is smaller: v or u?
v
Let r = 6 - 5.9. Let k = -0.5 - r. Let a = 0.5 + k. Are a and -6 unequal?
True
Let r = -6 + 8. Let a be ((-1)/r)/(2/(-4)). Is a bigger than 2/9?
True
Let s = 6 + -8. Let n be (-2)/(-4) + 20/(-8). Let m be n/2 - (-1 + 1). Is m less than s?
False
Let a = -172 - -89. Is 2/3 greater than a?
True
Suppose 9 = 4*b - 3. Is b greater than 1?
True
Let y = -13 - -13. Does y = 0?
True
Let z(n) = -2*n**3 + 7*n**2 + 14*n + 2. Let h be z(10). Let x = 91478/79 + h. Let q = x - 130/553. Is 0 at least q?
True
Suppose 3*n - 5 = 4*n. Let c be (-2)/n + (-7)/5. Let g be (c + 2)/((-1)/3). Which is bigger: -4 or g?
g
Let q(l) = -2*l + 1. Let j be q(-1). Suppose n - j*n = 0. Suppose n = 2*s - 7 + 1. Which is bigger: 5/3 or s?
s
Let f = -104 - -736/7. Which is smaller: f or 2?
f
Let l = 3.1 + -2.1. Let k = l + 0. Is 1/3 >= k?
False
Let n = 57 + 3. Is n smaller than 0?
False
Let c(j) be the third derivative of -j**6/120 - j**5/20 - j**4/24 + j**3/6 + j**2. Let t be c(-3). Suppose -x = -t*x. Which is bigger: 1/3 or x?
1/3
Let f = 22 + -20. Are 2 and f non-equal?
False
Let f be 10/25 - (-117)/(-5). Is -21 equal to f?
False
Let v be (6/8)/((-75)/(-40)). Which is greater: v or 0.1?
v
Suppose 11*t - 6*t - 10 = 0. Which is greater: 8 or t?
8
Let j = 70 - 69.9. Let g = -0.09 + 0.16. Is g at least as big as j?
False
Let v(w) = w**2 + 6*w - 7. Let t be v(-7). Let g = -3.21 - -0.01. Let s = -3 - g. Which is smaller: s or t?
t
Suppose -5*f = 2*s - 83, -5*f - 4*s + 87 = -s. Suppose 0 = 88*k - 67*k - 294. Which is smaller: f or k?
k
Let a = 43 - 42. Let p be (-2)/4 + (-42)/(-100). Is a != p?
True
Suppose 10*u + 8 = -12. Which is greater: -25 or u?
u
Let o be ((-1)/33)/(4/(-24)). Is o less than 0?
False
Let t(a) = a**2 - 4*a - 6. Let q be t(6). Let r(n) = -n - q*n + 3*n. Let i be r(1). Is i >= -4?
True
Let r be (-9)/(-6) - 1 - (-4)/8. Which is smaller: 7/8 or r?
7/8
Let i = -7 - -11. Suppose 15 = -i*w - w. Let v be w/3 + (1 - -1). Which is smaller: 2/31 or v?
2/31
Suppose 0*w = -w + 3*b + 6, -5*w - 2*b = 4. Which is smaller: -1/4 or w?
-1/4
Let p(t) = t**2 + 6*t + 2. Let v be p(-4). Let x(y) be the first derivative of 5*y**2/2 + 1. Let l be x(-1). Which is greater: v or l?
l
Let h = 1.8 - 2.16. Let z = -0.26 - h. Which is smaller: z or -1.1?
-1.1
Let m = 1/3 - -10/3. Which is bigger: m or 4?
4
Suppose -2*g - 6 = -2*v, 4*v - 15 = -g + 2*g. Let o be (-1 - -1) + (-2740)/31125. Let b = 2/249 + o. Which is greater: g or b?
g
Let c = 91/15 + -27/5. Let r(x) = x**3 - 2*x**2 - 3*x + 2. Let p be r(3). Do p and c have the same value?
False
Let x(g) = g**2 + g - 13. Let v be x(0). Is v != -12?
True
Let a be ((-4)/3)/((-4)/66). Suppose 0 = -2*t + 4*h - 0 + 16, 4*t - a = 3*h. Suppose -18 = -t*i + i. Is 6 bigger than i?
False
Let a = -23 - -21. Is -2 smaller than a?
False
Suppose 2*s = 2*l + 10, 4*l + 5*s - 10 = 3*s. Let r be 1/2*(2 - 2). Is r at least as big as l?
True
Let q be (-8)/20 + 204/10. Let m be (-2 - -7)*(-8)/q. Which is smaller: -18/7 or m?
-18/7
Suppose 0*h + 15 = 5*h. Suppose m = k - 0*m, -k + 4 = -h*m. Let f be (4/(-6))/(0 + k). Is f > 0?
True
Let c be 0/4*(-2)/6. Which is smaller: c or -1?
-1
Let r(m) = 9*m - 12. Let k be r(2). Let s(h) = 2*h**2 - 2*h - 4. Let v be s(3). Is v bigger than k?
True
Let v = 5/12 + -11/4. Which is greater: v or -3?
v
Suppose 4*v - 141 = -3*g, -3*g - 2*v = -6*v - 141. Suppose -3*a + 0*a = -2*x + g, 3*a - x + 46 = 0. Let p be 20/a*3/(-2). Is p less than 2?
False
Let g = -19/15 + 8/5. Let j = 3 + 2. Let s be (j/(-60))/((-3)/9). Which is smaller: g or s?
s
Suppose -3*w + w = 12. Let c be 2/(-3)*(-147)/(-14). Is w < c?
False
Let t be ((-56)/21)/((-1)/(-3)). Let l be 1/2 + 2/t. Which is smaller: 1 or l?
l
Let u be ((-81)/12)/(-6*2/(-32)). Is -18 less than or equal to u?
True
Suppose p + 18 = -5*p. Is p at least 1?
False
Let v = 198 + -198. Let q(b) = b + 5. Let s be q(-3). Which is smaller: v or s?
v
Let x be (-16)/3*(-15)/(-10). Let n(t) = -t**3 - 7*t**2 + 7*t - 7. Let z be n(x). Which is smaller: z or 2/59?
2/59
Let s(m) be the first derivative of -m**2/2 - 8*m + 2. Let o be s(-9). Let c be -3 + 3 + -1*o. Which is bigger: c or 3/7?
3/7
Let j = -12 - -6. Let o = j - -3. Let m be (3/(-2))/((-1)/(-2)). Are o and m equal?
True
Let a be (2/(-4))/((-8)/36). Let b = -29/12 + a. Do -1 and b have the same value?
False
Let b be (-2)/(9 - 7) - 58/20. Which is bigger: b or -5?
b
Let h be ((-45)/10 - -2)*(-1)/(-10). Let s = 1 - 2. Let f = 2 + s. Is f equal to h?
False
Suppose r = 5*n - r - 15, -5 = -r. Let q be n*(4 - (0 - -3)). Let c = q - 7. Which is greater: c or 0.1?
0.1
Suppose 5*h + 2*a = -a - 60, 3*h + a = -40. Let k be (6/h)/((-8)/(-10)). Which is smaller: -1 or k?
-1
Let f(t) = 6 - 4 + t**2 - 6 + 1. Let q be f(-2). Let p = -29 - -201/7. Is p at least q?
False
Let a = 91 - 93. Which is bigger: 1/5 or a?
1/5
Let v = -183 - -2011/11. Is -2 less than v?
True
Suppose 2*z - 3*s - 2*s = 38, 3*z - 35 = 2*s. Is 9 > z?
False
Suppose 46 = -3*b + 4*p, b - 2*p - 54 = 3*b. Let j = b - -21. Is -1/9 at most j?
False
Let w be ((-8)/8)/(1/(-3)). Let g be 2 + (1 + w)/(-2). Do -2 and g have the same value?
False
Let y be -2 - ((-70)/9)/1. Let x = 4829 - 86863/18. Let k = x - y. Which is smaller: -4 or k?
-4
Let a be 14/(-4)*4/(-7). Suppose -2*v + l + 4 = -5*v, -2*l = a*v. Is -1 greater than v?
True
Let t = -92 - -130. Is 38 less than or equal to t?
True
Let i(y) = 3*y**3 + 6*y**2 - 5*y - 3. Let k be i(-3). Which is bigger: k or -18?
k
Let x(r) = r**2 + 8*r + 8. Let d be x(-7). Let y = -37 - -55. Let o be (3*(-4)/y)/(-1). Which is greater: d or o?
d
Let f be (-912)/66 - 2/11. Is -14 smaller than f?
False
Let h = 0.5 + -1.5. Let f = -1.11 + 1. Let o = f - 0.19. Is o less than or equal to h?
False
Suppose -25 = -4*n - 5*t, 1 = n - 4*t - 0. Suppose -4*g + n*g - 1 = 0. Does g = 4/3?
False
Suppose -g = -6*g + 65. Suppose g*j = 9*j - 24. Let a be 0/(j - -3) + -2. Is -6/5 equal to a?
False
Suppose 2*z + 0*z = 5*f - 35, -2*f - 3*z = 5. Is f at least as big as 5?
True
Let b = -11 - -15. Suppose 4*u + 2*z + 4 = 0, 0*u = -b*u - 5*z + 2. Let v = -8 + 6. Does v = u?
True
Let t = -81 + 79.32. Let r = 0.42 - t. Let h = r - 0.1. Which is bigger: 1 or h?
h
Let x = 19.2 - -5.8. Let j = x + -24. Which is bigger: j or 0.4?
j
Let l = 5 - 2. Let p(q) = q + 11. Let u be p(-7). Are u and l nonequal?
True
Suppose