r 1/12?
d
Let x = 14/33 - 8/33. Suppose v = -0 - 6. Let d be (4/(-18))/(v/9). Which is greater: x or d?
d
Let g = 6 + -8. Let c = -11 + 7. Let i = c + 4. Which is smaller: i or g?
g
Let h = 3.9 - 4. Is h not equal to 7?
True
Let o be 2/(-4)*(-4)/(-2). Suppose 2*w - 3 = -w. Which is bigger: w or o?
w
Let d(x) = -2*x**2 - 19*x - 44. Let h be d(-5). Let c(b) = b**3 + 3*b**2 - 4*b + 1. Let o be c(-4). Are h and o non-equal?
False
Let u = -0.08 - 21.92. Which is smaller: 0.1 or u?
u
Let l be ((-71)/198)/(5/(-15)). Let u be 62/(-44) + (-3)/(-6). Let h = u + l. Is h equal to -1?
False
Suppose 8 = 2*d - g - g, 0 = 2*g - 2. Let b be (7 - d)*5/(-2). Which is greater: -0.1 or b?
-0.1
Let q be (8/2)/((-1)/3). Let x = -6 - q. Suppose -x = -2*l - 0. Are 3 and l non-equal?
False
Suppose 1618 = -0*h - h. Let w = -3075/2 - h. Let l = -82 + w. Is l at most 0?
True
Let p = -19 + 29. Let g = p - 9. Is 0 greater than or equal to g?
False
Suppose 0 = v + 2*v + 15. Suppose 2*t - 18 = 3*g, 0*g + 2*g + 12 = -t. Which is greater: v or g?
v
Let b(q) = q**2 - q + 1. Let g(i) = 2*i**2 + i + 6. Let f(d) = 3*b(d) - g(d). Let k be f(5). Let n be (-40)/24 + 6 - (2 + 1). Which is smaller: k or n?
n
Let g be ((-4)/6)/(-2 - 8/(-6)). Is g <= -2/15?
False
Let d(b) = -b**2 + b - 2. Let t be d(-5). Is -33 less than t?
True
Let j be ((-2)/8)/((-76)/8). Which is bigger: 1 or j?
1
Let a(x) = -x**3 - 17*x**2 + 2*x + 35. Let l be a(-17). Is 1/3 less than l?
True
Let a be ((-6)/(2 - 5))/3. Let q = -1/9945 + -4783538/69615. Let y = q + 69. Which is greater: a or y?
a
Let n = 3222/13 - 248. Is -2 at most n?
True
Suppose -m - 5*u - 40 = 0, 3*u + 51 = -m + 19. Suppose 10*g + 77 = -113. Which is greater: m or g?
g
Let i = 18 + 14. Is 31 greater than i?
False
Let d = -13/2 + 6. Is 0 <= d?
False
Let a be (-2)/6 - 48/(-9). Suppose a*f - 8 = 7. Suppose -5*q - 4*t + 21 = 0, 0*t = q - 4*t + 15. Do q and f have different values?
True
Let h = -26 + 27. Let q be (1 + -2 + 1)/1. Is h > q?
True
Suppose 0*v + 29 = v. Suppose 5*g + v = -c, 0*c = 4*g - 2*c + 26. Let u be g/(-4) - 3/2. Is 0 less than or equal to u?
True
Let d be ((-8)/5)/(3/15). Let n = 5 + d. Let l = -7 - -3. Is l at least as big as n?
False
Let l(s) = -s + 1. Let i be (3 + -2)*(3 - 2). Let v be l(i). Suppose -2*j = 3*j. Do j and v have the same value?
True
Let g = -5 + -1. Let i be ((-2)/12)/(g/(-27)). Is 0 at most as big as i?
False
Let a = -0.3 + -0.7. Let f be 6 + (1 + -2)/1. Suppose -f*u = 1 + 4. Is u greater than or equal to a?
True
Let c be (96/(-5))/(-3) + (-126)/(-210). Which is smaller: 2 or c?
2
Let l(q) = -q - 2. Let a be l(-7). Let b be a + -2 + -1 + 2. Suppose 2*j + 3*g = -6, -5*j + b - 12 = 4*g. Is -1/14 less than j?
True
Let a = -0.153 + -8.847. Which is greater: 4 or a?
4
Let k(j) = j + 12. Let o be k(-10). Let g = 0 - -4. Is o less than g?
True
Let o be (8/6)/(8/(-12)). Let z be ((-51)/(-221))/((-3)/o). Which is smaller: z or 1?
z
Let a = 71/120 - 7/15. Suppose -3*p = -4*b + 7, -5*p = 3*b - 0 + 2. Which is smaller: p or a?
p
Let h be (-7)/(21/2)*(-3)/2. Does h = 14/13?
False
Let k(f) = 0*f**2 + f**2 + 0*f - 4*f**2 - f. Let m be k(-1). Let x be (m - 1) + (-15)/(-5). Is x bigger than 3?
False
Let q(g) = -g + 2. Let p be q(5). Let w = p + 4. Let v be (-2)/(-9) + 88/(-234). Which is smaller: v or w?
v
Suppose -9 = -3*j - 0*j + c, 5*j + 3*c - 1 = 0. Let g be -18*-1*(-1)/(-2). Suppose 3*f = -g, -2*z + 5*z + 4*f + 9 = 0. Is j > z?
True
Let p be 110/200 + (-2)/5. Is 0 smaller than p?
True
Suppose -7*f - 225 = -2*f. Let u be ((-1)/3)/((-3)/f). Is u != -5?
False
Let r = -31 + 49. Is 17 at most r?
True
Let p be ((-77)/(-12))/(141/10). Let r = p - 1/94. Which is smaller: 1 or r?
r
Let o(w) be the first derivative of -w**4/4 + 4*w**3/3 - 3*w**2/2 + 4*w + 2. Let s be o(3). Suppose s = 2*g - 10. Is g bigger than -1/4?
True
Let y(k) = -k**3 + 10*k**2 - 10*k + 13. Let i be y(9). Let q = i - 10. Which is greater: -7 or q?
q
Suppose -z = -2*z + 2. Let s(q) = z*q**2 - 2 - q**2 + 3*q + 0*q**2. Let j be s(-3). Which is smaller: j or -1?
j
Suppose 10*q - 5 = 5*q. Let j be 0 - 2/q*1. Let p = 2 + j. Is 2/11 equal to p?
False
Suppose 4*b + 12 = 8. Is b <= -4/7?
True
Let r = 327 + -194. Let n = r - 1067/8. Suppose 2*o = -3*c - 3 - 8, 3*c = 2*o - 7. Which is bigger: n or o?
n
Let t = -1/2532 - 2811/5908. Which is smaller: t or 1?
t
Let i = 4.1 - -12. Let y = 16 - i. Is y < -0.08?
True
Let y(w) = -w. Let h be y(-1). Suppose -2*c + 7 = -h. Suppose c = q + 5. Which is bigger: q or 2?
2
Let q = 4 - 4. Let w be q*(-3)/(-6)*2. Is -1 equal to w?
False
Suppose 2*s - 2 = -6. Is -13/6 bigger than s?
False
Let g(b) = b + 7. Let q be g(-5). Let z = 7 + q. Let f(v) = v**2 - 10*v + 9. Let p be f(z). Which is greater: -1 or p?
p
Let a(x) = 6*x + 1. Let g be a(-1). Let h be g/(-4) - (-12)/16. Is h at most 2?
True
Suppose -45 = 5*p - s - 4*s, -p - 4*s + 6 = 0. Let z = -27 - -40. Suppose -5*m = 7 + z. Which is bigger: m or p?
m
Let s(u) = u. Let v be s(3). Suppose -i = 4*i. Let q = i - -3. Is v <= q?
True
Let s(q) = 2*q + 4. Let m be s(-3). Let w(n) = 2*n**3 + 10*n**2 - 2*n - 11. Let d be w(-5). Is d >= m?
True
Let f(h) = -h**2 - 15*h + 17. Let l be f(-16). Is 5/12 >= l?
False
Let z(t) = t**2 + 3*t + 1. Let g be z(-2). Let i(b) = -6*b - 1. Let v be i(g). Is 4 < v?
True
Suppose 0 = -2*x + n + 5, 0 = -5*x + 3*n + 8 + 2. Let k(m) = -2*m + 2*m + m. Let t be k(x). Is 5 at least as big as t?
True
Let s = -1.1 + 0.1. Let x = -0.5 + 0. Let z = 0.5 + x. Which is greater: z or s?
z
Suppose -5*u - 1 = -h + 11, -6 = -2*h + u. Which is smaller: -2 or h?
-2
Let b be -3 + 1 + (2 - -1). Is b smaller than 0.3?
False
Let d be (-1)/3*2*-3. Suppose -1 - 2 = 3*a. Do a and d have the same value?
False
Let n = 4.06 - 0.06. Let o = -1.1 - 5.9. Let v = o + n. Is -1/2 at most v?
False
Suppose -2*f + 2*p + 2 = 0, -2*p - 9 - 1 = -4*f. Is f less than 4?
False
Let j = 7/11 + -5/11. Which is smaller: 0 or j?
0
Let d = -15 - -11. Let h be 0/d - (1 - 0). Is h <= -3?
False
Let m = 50 + -148/3. Which is smaller: m or 2/13?
2/13
Let g be -3 - (-20)/28*5. Let v(o) = -3*o - 4. Let y be v(-3). Suppose 2*j - 24 = -y*x, 5*j + 0*x + 6 = 4*x. Is j equal to g?
False
Suppose 0 = -2*q + 7*q - 15. Let g(h) = 6*h**2 - 4*h**q - 10 + 8*h + 3 + 3*h**3. Let x be g(7). Is 0 less than or equal to x?
True
Let v = -1.4 + 2. Let d = v + -0.7. Let r be -3*1*2/(-2). Is r > d?
True
Suppose -z - z + 10 = 0. Suppose -3*n - 7 - 18 = -5*s, -5*s - n + z = 0. Suppose -3*c - 2 = -g, s*c = g - 2 - 1. Which is smaller: c or 2?
c
Let d(t) = -t**3 - t**2 - 1. Let l(h) = -5 - 6*h**3 + 2*h**3 + h - 3*h**2 - 4*h**2. Let y(j) = -3*d(j) + l(j). Let w be y(-4). Is -7 at least as big as w?
False
Let c be -2 + (-1317)/(-21) + -2. Let s = -59 + c. Let f = 0.06 + -2.06. Is s >= f?
True
Let d = 9650/67 + -144. Is d greater than 0?
True
Let l = -106 + 105. Is -2/5 != l?
True
Let n(k) = 9*k - 55. Let j be n(6). Let g = 2656/15 + -177. Which is smaller: g or j?
j
Suppose -q + 3*l = -3, 0 = 3*q - 4*l - 4 - 5. Suppose -2*i - 4*n = -6, 0*i - 2*n - 12 = -2*i. Let b = q - i. Which is bigger: b or -4/3?
-4/3
Suppose -41 + 5 = 2*q. Which is greater: q or -19?
q
Let s = 4 + 2. Let g = -6 + s. Is g at least as big as 1/7?
False
Let k(i) = -i**3 - 4*i**2 + i + 2. Let r(c) = c**3 - 8*c**2 + 5. Let a be r(8). Let j be ((-6)/a)/((-9)/(-30)). Let p be k(j). Is 2/7 at most p?
False
Let i = -5 - -35. Suppose 3*u + i = -2*u. Let f = 4 + u. Do -2 and f have different values?
False
Suppose 9 - 4 = -5*y. Is -14/9 less than y?
True
Let t = 64.1 - 64. Which is smaller: -4 or t?
-4
Suppose z - 5 = -18. Which is bigger: z or 0?
0
Let m = -0.066 + -0.034. Which is smaller: m or 0.128?
m
Let g be (-2)/(-2) + 493/(-153). Which is smaller: -2 or g?
g
Let r = -13.9 - -11.9. Which is bigger: r or 36?
36
Let a = 124 - 377/3. Suppose -18 = 7*f - f. Which is bigger: f or a?
a
Suppose -4*i + 3 = -i. Let q = 1 + i. Suppose -q = -x + 3*x. Is x greater than -2?
True
Let y = 0 + -0.1. Which is smaller: y or -11?
-11
Suppose 3*l + 11 + 2 = -4*t, 0 = -4*l + 4*t + 20. Suppose 2*f = l + 9. Suppose 0 = f*k - 5 - 0. Is k <= 2/13?
False
Let x(j) = j**2 + 9*j + 1. Let k be x(-9). Are 1 and k equal?
True
Let q = 162 + -162. Let a = -2 - -1. Which is smaller: a or q?
a
Let w(b) = 13*b - 4. Let