3*v - 130. Let c be (2/v)/((-2)/(-8)). Let n = 87 + -88. Which is greater: n or c?
c
Let j be (27/(-18))/((-3)/(-6)). Which is smaller: -1 or j?
j
Let i be (-8)/16 + 14/(-4). Let g = 3 + -2. Let a be (i + 5)/(g/1). Which is greater: -2/9 or a?
a
Let c = -3 + 2. Suppose 3*m = -g - 10, -g - 5*m - 14 = 2*g. Which is smaller: g or c?
c
Let m = 284 + -23003/81. Which is smaller: m or 1?
m
Let h = -16.8 - -19. Let z = h + -2. Let m = 7 - 5. Which is smaller: m or z?
z
Let u(s) = -2*s + 11. Let c(m) = -2*m + 12. Let a(k) = -5*c(k) + 6*u(k). Let z be a(3). Is z >= -1/3?
True
Let z = -1 + -10. Let n = -8 - z. Are n and 4 nonequal?
True
Let b = -0.1 - -0.2. Let k(s) = s**2 + 7*s. Let c = 13 + -20. Let z be k(c). Is b at most z?
False
Let j = 2.1 - 2. Let y = -4.3 + 4. Let x = y - -0.2. Which is smaller: x or j?
x
Let a be -4 - (6/(-8) + -3). Are a and -1 non-equal?
True
Let d be -3 - ((-11 - -3) + 0). Let p(s) = -s**2 + 5*s + 2. Let z be p(5). Let w = z - d. Is -3 greater than or equal to w?
True
Let q be (-3 - -2) + 0 + 1. Let i = q + 0. Let k be (8/10)/((-68)/51). Are k and i equal?
False
Let h(d) = -d**3 - 3*d**2 + 4*d + 6. Let s be h(-4). Let g = -6 + s. Suppose 8*l - 3*l - 5 = g. Which is smaller: l or -2/7?
-2/7
Let z = -0.49 - -0.29. Let p be (2/(-6))/((-1)/3). Let m be (-2 - -1)/p*0. Is m less than z?
False
Let d = -39 - -39. Is -2/5 equal to d?
False
Let r(w) = -28*w**2. Let t be r(-1). Let a be 18/14 - (-8)/t. Which is greater: a or 3/23?
a
Let a = 5 - 1. Suppose 4*x + 4 = a*c, 5*c = -x + 3*c - 1. Which is bigger: -3/11 or x?
-3/11
Let n be (-14)/(-18) - (0 - -1). Suppose t + 5 = -3*z + 2, -5*z = -2*t + 16. Suppose -3*k - 3 = -t*h, k + 7 = 3*h - 4*k. Do h and n have the same value?
False
Let h(x) = -x - 5. Let b be h(-7). Suppose 4*g - u - 23 = 2*u, -u - 13 = -4*g. Is g at most as big as b?
True
Let m(j) = -12*j - 3. Let q be m(-1). Is 9 at least as big as q?
True
Let g be (-8)/(-20) + 13/5. Let c = -14 + 22. Let t be (-84)/c*2/g. Which is smaller: -6 or t?
t
Suppose 4 = -i - 1. Is i < -5?
False
Let o = 4/9 + -7/36. Is o bigger than 2?
False
Let m(c) = c**3 + 5*c**2 + 5*c - 2. Let y be m(-4). Let o = y + 4. Let v = o + 2. Is v at most 1?
True
Let x = 663/7 + -95. Suppose -4*l - 56 + 28 = 0. Let g be l/14*(0 - 0). Is x at least g?
False
Let g(s) = -s + 3. Let q be g(4). Let l = q + 2. Suppose -3*v = l + 2. Which is smaller: -1/2 or v?
v
Let p(d) = 1 + 6*d - 4*d - 3*d + d**2. Suppose -5*r = 4*x + 5, -3*x - x = 4*r + 4. Let h be p(x). Which is smaller: 2/17 or h?
2/17
Let r = -5 - -4. Let c = 0 + r. Which is smaller: c or 3/7?
c
Let f be 40/(-18) - (-4 - -8 - 7). Which is bigger: 0 or f?
f
Suppose 4 - 2 = -2*f. Is f equal to 2/5?
False
Let a = -9 + 4. Let v = -5 + 0. Is a at most v?
True
Let f be (-2)/4 - (-35)/238. Let o = f - -75/68. Which is smaller: 1 or o?
o
Let w = 73 + -96. Which is bigger: w or -21?
-21
Suppose -3*v - 14 = 13. Let w = -5 - v. Suppose 2*i + w = i. Is -3 at least i?
True
Let o = 0 + 3. Suppose -4*g - 11 = k, k + o*g + 7 = -0*k. Are 4 and k equal?
False
Suppose q + 0 = -2. Let i be ((-3)/(-2))/((-15)/6). Is i < q?
False
Let u(j) = 10*j**3 - 1 + 4*j**3 + j**3. Let i be u(-1). Let d = -63/4 - i. Which is smaller: d or 1?
d
Let z be (-6)/(1 - (-1)/(-3)). Let b be 2/z + (-60)/(-27). Which is smaller: 1 or b?
1
Let i(z) be the third derivative of z**5/10 - z**4/24 + 17*z**2. Let p(w) = -2*w + 3. Let m be p(2). Let c be i(m). Is c equal to 7?
True
Let z be (2 + 9/(-6))*-2. Is z bigger than -3/2?
True
Let p = 9 + -5. Suppose 15 + 1 = p*u. Is u equal to 3?
False
Let r(l) = -l - 4. Let c be r(-11). Suppose -4*f = -2*h - 10, -3*f + 4*h = 2*h - c. Suppose 4 = -f*n + 7. Which is smaller: n or 1/3?
1/3
Let f = -8 - -9. Let b be f - 1 - 3/(-9). Let z(j) = -j**2 - 4*j - 2. Let y be z(-3). Which is smaller: b or y?
b
Suppose -i - 2 = -1. Let m = i + 1. Are 2/13 and m nonequal?
True
Let k = 0.27 - 1.27. Which is bigger: -5 or k?
k
Suppose 21*n - 2 = 23*n. Let l = 4 + -2. Let q be 3/(-2)*l/(-12). Is q < n?
False
Let l = -18.64 - -19. Let o = l - 0.06. Which is smaller: o or 0.1?
0.1
Let o(t) = -t**2 + t. Let v be o(1). Let x = 1/501 - -3001/2505. Does v = x?
False
Let o = -0.05 - 1.95. Let m = -0.1 + -0.06. Let t = 0.04 - m. Which is smaller: t or o?
o
Let f be 4/(-10) - 85/(-25). Suppose 3*l - 32 = 7*l + f*g, 4*l + 2*g = -28. Is -6 < l?
True
Let v(n) = n**3 - 4*n**2 + 2*n - 6. Let g be v(4). Let b be (-31)/(-3) - (-1)/(-3). Suppose -3*c = u - 0*u + 2, g*u = -b. Is 1/9 smaller than c?
True
Suppose -3*r + a = -1, -4*r - 2 = -4*a + 2. Let y(d) = d**2 + 5*d - 2. Let v be y(-6). Let k be 6/v - 10/4. Is r equal to k?
False
Suppose 79*z + 128 = 83*z. Is z > 32?
False
Let m be (-4)/(-10) + 144/(-60). Does -7/3 = m?
False
Let w = 47 - 33. Is 2 at most w?
True
Let q be 1/12 + (-6)/(-9). Suppose -b - j = -2, 3*j = -j + 4. Which is greater: q or b?
b
Let t = -3/4 + 1/2. Suppose l + 5*f = -0*l, l = -3*f. Suppose 3 = -3*p - l. Which is smaller: t or p?
p
Let p be ((-2)/(-3))/((-24)/(-900)). Do p and 25 have different values?
False
Suppose -5*s + 1 = 2*a - 9, -5 = -a - 4*s. Suppose 5*u + a = -5*d, -5*u - 2 = 2*d - 0*d. Is 0 less than u?
False
Let z = 10015/31 + -323. Is 1 at most as big as z?
False
Let c be (-1 + 10/6)*-3. Let s = 3 - 1. Suppose -2 = d + 3*a + 1, 0 = 2*d + s*a + 2. Which is bigger: d or c?
d
Let y(n) = n**2 + n - 9. Let u(o) = -o**2 + 8. Suppose 2 = -3*c - w - 8, -w = -c - 6. Let j(v) = c*u(v) - 3*y(v). Let i be j(4). Which is bigger: i or -1/3?
-1/3
Let b be (-7)/(-21) - (-2)/(-6). Suppose -3*s - 2*s + 5 = b. Are s and -2/9 equal?
False
Let q = -25 + 27. Which is smaller: -2 or q?
-2
Let s be 6/24 - 117/(-12). Is 11 at most s?
False
Let n(r) = -r**2 - r + 1. Let u be n(-1). Let p = 488 + -6341/13. Let j = p + 11/65. Which is bigger: u or j?
u
Let h(g) = -g**2 - 1. Let m be h(-4). Which is smaller: m or -15?
m
Let n be (-2)/4*0 + 6. Let f be 1 + -2 - (-4)/n. Is -1 != f?
True
Let i = 30 + -45. Is i less than or equal to -13?
True
Let q(a) = a**3 - 7*a**2 - 6*a + 5. Let c be q(8). Suppose 0*y = 3*y - c. Let t = 8 - y. Are t and -2/5 equal?
False
Let t(j) = j**3 - 3*j**2 - 3*j - 5. Let o be t(4). Let r(x) = -x**2 + 1. Let g be r(o). Which is smaller: 2 or g?
g
Let n = 7 + -11. Do n and -3 have the same value?
False
Let w = 23.3 + -22.9. Which is greater: 0.9 or w?
0.9
Let m(x) = -x**3 - x**2 + x - 4. Let w be m(0). Let c = w + 3. Is 4/9 < c?
False
Suppose -2*q = -k - 2, 2*k + 2*q = -0*q + 20. Suppose 0 = 2*h - k - 2. Is 5 >= h?
True
Let n = 42 + -112. Are n and 0 non-equal?
True
Let n = -8.3 + 8. Let t = 0.55 - -0.15. Let w = t - 0.7. Are n and w equal?
False
Suppose -4*q + 31 = -3*t, -t = 2*t + 15. Let h = 0 + 4. Suppose c = 6 - 3, 0 = -4*f - h*c + q. Is -1/2 not equal to f?
True
Suppose 5*x = -5*z + 3*z + 21, -4*x - z = -15. Is x >= 4?
False
Let j(p) = -p**2 - 12*p - 20. Let h be j(-10). Suppose 4*c + 4*f + f + 12 = 0, -2*f - 16 = -4*c. Let q be (-1 + c/1)*-1. Does q = h?
False
Let o be 40/12*-3 + -2. Let k = o - -9. Is k < -4?
False
Let g be 15/4 - (-1)/4. Suppose 0*r = -g*r - 16. Suppose 48*t = -h + 43*t + 5, 0 = -4*h + 3*t - 3. Which is greater: r or h?
h
Suppose 0 = -2*j - 7 + 5. Is j less than 2/47?
True
Let v = -0.9 - 0.1. Let d be (19/(-7))/((-2)/4). Let r = d - 176/35. Which is bigger: r or v?
r
Let q = -32.6 + 39. Let v = q - 6. Let y = -0.2 + v. Do y and 0.2 have the same value?
True
Let b(c) = -c + 2. Let f be b(2). Let r = -383 + 4975/13. Which is greater: r or f?
f
Let v be -9 + 7 - (-12)/5. Which is bigger: v or 1?
1
Suppose 3*l - 6*l = 0. Which is smaller: l or -2/9?
-2/9
Suppose t - 15 = -2*t. Suppose -3*m - 26 = 10*m. Let p = t + m. Which is smaller: p or 0.1?
0.1
Let x = 1724/15 - 115. Suppose -8*t = -9*t. Which is smaller: x or t?
x
Let g = -14 - -13. Let z = g - -0.95. Let k be (1/(-1))/(0 + 1). Is z greater than k?
True
Let z(u) = 3*u**2 + 2*u + 3. Let o be z(-2). Let y = o - 5. Let x be (-4)/y - 24/(-9). Is 3 at most x?
False
Let f(g) = -g**2 + 6*g - 1. Let t be f(5). Which is greater: t or 3?
t
Let g(h) = h - 13. Let i be g(9). Suppose -5*y - 5*q - 5 - 10 = 0, -3*q = 0. Is i at most as big as y?
True
Let z be 5/(-48)*3/1. Let l = z - -101/272. Let t be 0*(-2 - -1)/2. Is l > t?
True
Let a be -5 - (-6)/4*36. Which 