). Suppose 4*p = -3*v - 12, p + 2*v + 10 - 2 = 0. Is p smaller than y?
True
Let w = 2 + 1. Let x be (1/w)/((-21)/9). Let p = -2 - -2. Which is smaller: p or x?
x
Let o = 0.05 + 0.05. Let w = 285/7 - 41. Are w and o unequal?
True
Let r = 0.21 - 0.11. Which is bigger: -3/5 or r?
r
Suppose 4*u - 8*u = 0. Is 1/4 at least u?
True
Suppose 0 = 4*h - 2*t - 2*t - 4, -24 = -3*h - 4*t. Suppose -5*a = h - 14, 2*a + 1 = -5*g. Is -1/2 less than g?
False
Let l(k) = 6*k**2 + k + 3. Let c be l(-2). Which is bigger: c or 0.1?
c
Let y = 3 + -8. Which is bigger: y or 4?
4
Let m(n) = n - 1. Let d be m(-5). Let c be (2/d)/(1/(-2)). Suppose -1 = -3*i + y, -3*i = -4*y - 2 + 16. Is c greater than i?
False
Let c be (-8)/36 + 10/45. Is c > -3?
True
Suppose -2*f - 10 = 6. Is -8 at least as big as f?
True
Suppose 0*f + 3 = 3*f. Let k be f/((-2 - 0)/(-4)). Suppose k = -m + 4. Which is greater: m or 5/6?
m
Let a = -4 + 16. Suppose 4*o + 12 = -a. Is o greater than -5?
False
Suppose 11*z = 10*z + 3. Suppose 3*n + z*q + 3 = -12, n - 3*q = 11. Is n != -1/10?
True
Let g = -7 + 19/3. Which is smaller: g or 3?
g
Suppose 22*g - 39 - 49 = 0. Let z = -5 + 8. Which is bigger: g or z?
g
Let d(g) = g**2 - 3*g - 21. Let x be d(-6). Which is bigger: x or 35?
35
Suppose -40 = -4*t + 2*u, 4*t + t + u = 57. Let s be (-2)/(-4)*(t + -3). Suppose s*g = g. Is 1 at least as big as g?
True
Let v(x) = 3*x**3 - 2*x**2 + 1. Let j be v(1). Suppose j*r + 2*r = 40. Is r > 11?
False
Let l be 3/60 - 3/12. Which is smaller: 0 or l?
l
Suppose 2*q = -q. Is q less than or equal to 2?
True
Let g = 4.2 - 4. Let f = -14 + 10. Does g = f?
False
Let k(r) = -r**2 + 8*r + 11. Let s be k(9). Let v = s - 3. Let c(h) = h - 1. Let i be c(0). Is i > v?
False
Let z be -1 - (1 - (-27)/(-3)). Let k(h) = h - 9. Let s be k(z). Let o = -1 + s. Is o >= -3?
True
Let h(v) = v**2 - v - 1. Let r be h(1). Let g be ((-6)/(-27))/2*-1. Which is smaller: g or r?
r
Let s(n) = -n**2 - 9*n - 7. Let o be s(-8). Which is greater: o or -2/29?
o
Let x(l) = -l**3 + 9*l**2 - 5*l + 11. Let r be x(9). Which is smaller: -35 or r?
-35
Let z = -81 + 80. Which is smaller: 4 or z?
z
Let i = -200 - -199. Is i equal to -13?
False
Let x = -65235/43 + 1517. Is -1 > x?
False
Let l = 10 + -6. Suppose 2 = o + 2*q, -5*o - q = -l*q - 10. Suppose 0*s = o*s. Which is greater: -1/3 or s?
s
Let w(c) = -c**3 + 5*c**2 - c + 1. Let t be w(5). Let o be (-3)/(-2) - 33/30. Which is greater: o or t?
o
Let f = -1.7 - 0.3. Let q = f + 1. Let j be 1/(-1 - -5)*-2. Is j < q?
False
Let h be (0 + 2)/(-2*1). Let q be ((h + -2)/3)/(-1). Is q greater than 1?
False
Let o be 2/9 - (-136)/36. Suppose 3*v = -2*y - o, 7*v - 4*v + 7 = y. Let b be 0 + 1 - 1*5. Which is smaller: v or b?
b
Let h = -2.28 - 0.62. Let z = 1.1 - h. Is z less than 2?
False
Let z be -2*-2*3/6. Let s be 4/8 + (-3)/z. Is 2/13 >= s?
True
Let q(s) be the second derivative of -s**5/20 + s**4/3 - s. Let d be q(4). Which is smaller: d or 1?
d
Let m(a) = a - 3. Let z be m(12). Suppose 5*n + z - 24 = 0. Which is greater: 4 or n?
4
Let r = -167/13 + 13. Are r and 0 equal?
False
Suppose 24 = -2*z + 4*c, 4*z + 0*z = -2*c - 18. Let u be (1/z)/(3/12). Let y = -0.3 + 4.3. Which is greater: u or y?
y
Suppose -2 - 4 = 2*u, 0 = -3*m - 2*u + 3. Let d be (2/2)/(2/4). Let l be d*2*m/6. Are l and 1 nonequal?
True
Let x = 6 + -9. Let b(t) = t - 4. Let r be b(0). Let h = r - x. Is h equal to -1?
True
Let g(l) = -l**3 - 6*l**2 + 6*l - 6. Let k be g(-7). Let j = -33/26 - 1175/78. Let q = -16 - j. Are q and k nonequal?
True
Let a be 1/3*47/1. Let w = 14 - a. Suppose 3*j - 2 = -5. Which is bigger: j or w?
j
Let o be 5/(5/12) + -2. Suppose 5*v + 0*v - o = 0. Let b = v + 0. Is 1 > b?
False
Let j = 5 - 2. Let w(v) = -v**3 + 5*v**2 - v + 7. Let k be w(5). Let g = j - k. Is g equal to 2?
False
Let p(b) = b + 5. Let o be p(-9). Let l be 4/(-4 + 2 - o). Is 0 at least as big as l?
False
Let w be (-3 - 0)*24/(-9). Let q be w/(-12) - (-8)/9. Suppose -2*z + 2*d + 4 = 2*z, 0 = -2*z + 5*d + 18. Are z and q nonequal?
True
Let c be (-12)/(-9)*(-1)/4. Is -9 greater than or equal to c?
False
Let o be (-53)/(-4) + (-54)/(-72). Which is bigger: 12 or o?
o
Let z = 3.6 + 0.4. Let m = -3 + z. Are 2 and m unequal?
True
Let h(b) = b**2 + 5*b - 6. Let m be h(-6). Suppose 2*y + m*y - 2*n = -18, -3*y - 3*n - 3 = 0. Let x = -3 + -2. Are x and y nonequal?
False
Let p be 3/2*300/9 - -3. Is 52 < p?
True
Let r be 6/40 + (-8)/20. Which is greater: -7 or r?
r
Let p = -1 - -13. Suppose -2*r - r = 2*h - 5, -4*h - 2*r + 22 = 0. Suppose -h*g + p = -4*g. Is g at least as big as 4?
True
Suppose 3*n - 20 = -2*n, -5*p - 4*n + 16 = 0. Is p != -1/14?
True
Let b(a) = a**2 + 10*a + 3. Let r be b(-10). Suppose -r*k - 2*k = -890. Let y = -2493/14 + k. Which is bigger: y or -1?
y
Let x be 5/(2/(36/5)). Is x at least 18?
True
Let g = -5 + 5. Let b be (-1)/4 + (-26)/(-8). Suppose m + b = -2*m. Is g not equal to m?
True
Let y = 46 + -93/2. Which is bigger: -4 or y?
y
Suppose 0 = -j + 69 - 68. Is j less than 6.8?
True
Let t = 0 - 0. Suppose -w + 6*w = t. Are w and 0 nonequal?
False
Let l(h) = h - 2. Let f be l(2). Suppose -11 = c + 1. Let q = 35/3 + c. Which is smaller: q or f?
q
Let j(z) be the second derivative of -z**3/6 - z**2/2 + 2*z. Let s be j(-1). Which is greater: s or 2/13?
2/13
Let a = -10 + -23. Is a smaller than -33?
False
Let y = -2.1 - -1.4. Let f = -3.7 - y. Is -1/2 greater than f?
True
Let r = -37/424 - -1/8. Which is greater: r or 1?
1
Suppose -7*g = -3*g - 5*x - 34, 0 = -g - 5*x + 21. Let j be -11 + g - 2/2. Is 2/9 not equal to j?
True
Suppose 0 - 2 = -l + p, 0 = -l - 3*p - 10. Which is smaller: -6/25 or l?
l
Let m(w) = w**2 + 4*w + 3. Let a be m(-4). Suppose u + 2*s = -5, 0*u - a*s = u + 8. Let d be -8*u*(-2)/4. Is d greater than or equal to 3?
True
Let x be -3 + 0 + (2 - 2). Let m be x/(6/4) - 0. Is m < -2?
False
Let d = -19 - -93/5. Does 0.17 = d?
False
Let p be -4 + (6 - 280/133). Let c(g) = -3*g - 1. Let w be c(-2). Suppose -2*t - t = -w*l - 2, -l = -t. Is p <= l?
False
Suppose 17 = -3*g - 25. Let k be (1/g)/(2/(-8)). Is k > -7?
True
Let f be 1 + 0 + (-6)/2. Let q be (-33)/(-7) - 2/(-7). Suppose q = -2*m + l, 13 = -4*m + 5*l - 0. Are m and f equal?
True
Let k be (5 - 18/4)*-22. Is k < -11?
False
Let f = -1 + 1. Let h be f - (-1 - (-1 + 2)). Is 1 <= h?
True
Let q be -1 + 1 + 4 + -1. Suppose 0*u + 4 = -u + q*h, -9 = 4*u - 5*h. Let t = 1.94 + 0.06. Which is smaller: t or u?
u
Suppose -3 - 3 = 3*c. Let x be -4*(-1)/c*-1. Let w be (x/(-14))/(1/2). Is w >= 0.1?
False
Suppose f + f + 5 = 5*o, -f - 2 = -3*o. Let w(s) = -s**2 - 6*s - 7. Let i be w(f). Let n(b) = -b**2 - b + 2. Let r be n(i). Which is smaller: r or 0.2?
r
Let y = 32 + -18. Let w be (-11)/(-14) + (-4)/y. Is 0.1 less than w?
True
Suppose 3*w = -4*i - 128 + 47, 5*i + 2*w + 96 = 0. Is i less than -73/4?
False
Let c = 13 - 19. Which is smaller: c or -10?
-10
Let g be 5/10 - (825/(-322))/(-5). Which is bigger: g or -1?
g
Let i = -242 - -1697/7. Which is greater: -6 or i?
i
Let a = 0.45 + 0.05. Let w = a - 0.6. Are w and 11 non-equal?
True
Suppose 16 = -2*h + 6*h. Suppose 10*b = h*b + 96. Is b less than or equal to 15?
False
Let f = 6 - 6. Let i be (-1)/2*f/(-6). Is i at most as big as -1/25?
False
Let m = -1 - -21. Is 20 at least as big as m?
True
Let j = -292 - -617/2. Let p = -17 + j. Which is smaller: p or -2?
-2
Let j = 42 + -350. Let m = j - -3386/11. Which is bigger: 1/5 or m?
1/5
Let l = -1 + 2. Let v = 835 + -829. Which is smaller: v or l?
l
Let b = -0.9 + -0.1. Let v = -14 - -13.9. Is v smaller than b?
False
Let z = 0.83 - -0.17. Which is smaller: z or -2/5?
-2/5
Let l = -4.6 + 4. Let n = -0.4 + l. Is 1/3 at most as big as n?
False
Let a be 24/(5 + -9) - 6. Which is greater: a or -13?
a
Suppose -4*b - 5*o - 31 = 0, 0*o + 7 = -b - o. Which is smaller: -6 or b?
-6
Let i be 12/(-42) - ((-4)/(-14) + -2). Is 0 greater than i?
False
Let h(u) = 2 + 7*u + 3 - u - u**2. Let v be h(7). Let n = -11/9 - 1/9. Is v not equal to n?
True
Let k(s) = -s**2 + 5*s - 11. Let i be k(5). Suppose -1 = u - j + 6, 0 = 4*u - 3*j + 31. Is u equal to i?
False
Let x = -12 + 15. Suppose 4*c - x*q - 4 = -7*q, 5*c - q - 11 = 0. Which is greater: c or 6/5?
c
Suppose y + 3*t - 8 - 28 = 0, -t = -4*y + 196. Let d be 16/30*4/y. Is 0 equal to