/((9/15)/(-3)). Suppose -12 = 5*c - 5*l + 18, 5*c - z = -4*l. Let y = -182/3 - -60. Is y != c?
True
Let x = -25 + 73/3. Let f be ((-2)/(-11))/((-2)/3). Which is smaller: x or f?
x
Let h(p) = 6*p - 1. Let m be h(1). Let g be 6/(-20) - (-1)/m. Suppose -3*n = -4*n + 1. Is g at most n?
True
Let v be 30/14 - (-1)/(-7). Which is greater: -2 or v?
v
Let l = 2 + -1. Suppose q = 4*u + l, 5*q - 5*u = 8 - 3. Let d be (2 + (-10)/4)*(3 - 1). Is d not equal to q?
True
Suppose -4 = 2*q + 4*l, 2*l = 2*q + 7 + 9. Let o be 4/6 - (-52)/q. Let u = o - -5. Do u and -2 have the same value?
False
Let d = -9.1 + 10. Let n = 7.1 + d. Is n equal to 1/2?
False
Suppose 5*q - o = q + 32, 2*q = -5*o + 38. Let g be (12/q + -1)*-3. Let y(d) = d**2 + d + 1. Let u be y(g). Which is smaller: u or -0.2?
-0.2
Let c be (-2)/4*(-462)/(-11). Let x = c - -36. Is 14 bigger than x?
False
Let w = 0.45 + 4.55. Does w = 5?
True
Let x be (0 + (-9)/2)/(52/(-8)). Which is greater: x or 1?
1
Suppose -3*h = 4*t - 5*h - 16, 3*h - 21 = -3*t. Let n be (5 + 2)/(0 - -1). Which is smaller: n or t?
t
Suppose 2*o = g + 3, -4*g - o = 5 - 2. Which is greater: g or -26?
g
Let p be 0*(-2)/(-6) - (1 + 0). Which is bigger: 3/44 or p?
3/44
Let l = 0.04 + -5.04. Let d = -3 - l. Is d greater than or equal to -4?
True
Let l(w) = -w - 5. Let y be l(-9). Suppose -a + y = -3*a. Which is greater: -5/2 or a?
a
Let q(b) = 2*b - 7. Let s be q(6). Suppose n = -f - n + 1, 0 = s*f + 2*n - 5. Let o be 2*f/21*3. Is -1 greater than or equal to o?
False
Let d(z) = z + 4. Let c(l) = l. Let j(u) = -2*c(u) + d(u). Let h be j(6). Is h at most -3?
False
Suppose 12*p - 2*p - 40 = 0. Is 1 <= p?
True
Let n = 0.4 - -3.6. Let x = n + -1. Let y = x + -3.2. Is 0 less than y?
False
Let m = 2.97 + 0.03. Let y = -5 + m. Is 1 > y?
True
Let k be (-24 + 0/(-3))*-1. Let v = k - 118/5. Are 0 and v non-equal?
True
Let o = 309/5 + -62. Let p = -54 + 46.9. Let s = p + 7. Which is smaller: s or o?
o
Let p = 1.57 - 195.57. Let i = -195.97 - p. Let o = i - 0.03. Is o at least -1?
False
Suppose 0 = -3*w + 2*w. Let p = 0.5 - 0.5. Let x = p - -3. Which is bigger: w or x?
x
Let f(m) be the first derivative of m**4/4 - m**3 + 2*m**2 - 3*m - 2. Let u be f(2). Is u at most as big as -1/3?
False
Suppose 2*y + 9 = 5*r, 0*y + 1 = 5*r + 2*y. Suppose -2 = h - r. Is h smaller than 2/7?
True
Suppose 2*c = 3*p + 670, 2*p + 316 = 5*c - 149. Let s = p - -885/4. Let b = 0 + 2. Which is smaller: b or s?
s
Suppose -5*h + 8 = -22. Let u = -5 + h. Is 1/6 > u?
False
Suppose -5*u + 6 + 15 = -x, 0 = -5*x - u - 27. Let o = x + 10. Let y be (-13)/o - 3/(-1). Which is bigger: y or -1?
y
Let n = -112 + 123. Is 11 smaller than n?
False
Let f(v) be the first derivative of -v**3/3 - 2*v**2 + v - 3. Let b be f(-4). Suppose z = -i + 3 - b, -10 = -5*i + z. Is i less than 2?
False
Suppose 4*p - 30 = -p. Let r = p - 16. Let m = r - -10. Is m not equal to -1/2?
True
Let v = -143 + 86. Which is smaller: -58 or v?
-58
Suppose 0 = 5*v + 2*a + 38, 4*v - 2*v = -a - 16. Let t = v + 4. Which is smaller: t or -3/5?
t
Let c = -5 + 5. Which is smaller: -2/43 or c?
-2/43
Let i(q) = q**2 + 5*q - 2. Suppose 5 = 2*v - 3*o, -2*o = v + 19 - 4. Let h be i(v). Is h at most -0.1?
True
Suppose -a + 17 - 2 = 3*l, -3*a + 25 = 5*l. Suppose l*w = w. Is w < 4/3?
True
Let z = 1.8 - -0.2. Let l = -2 + 1.9. Let o = 0.2 + l. Is z greater than or equal to o?
True
Let q be ((-6)/30)/(2/5). Let u(b) = b + 6. Let o be u(-5). Let t be (-1 + 1)/(o - 2). Is q not equal to t?
True
Suppose 65 = 2*g - 51. Let y = g - 114. Let i = y + 278/5. Which is greater: 0 or i?
0
Let x = 1/83 - 173/581. Let t = 20 - 20. Which is bigger: t or x?
t
Let v be 296/76 + 0 + -4. Let h(g) = g**2 - 4*g + 1. Let q be h(4). Which is smaller: q or v?
v
Let t be (13/(-8))/(19/(-2)). Let n = 3/38 + t. Suppose -g = -4*g - 3. Which is smaller: g or n?
g
Let q = -21 + 23. Let d be 33*q/(-3*2). Is -12 greater than or equal to d?
False
Let v = -3 - -5. Let l = v + -2. Suppose -f = -1 - 0. Is f at least l?
True
Let j = 118 - 84. Let x = -118 + j. Let l be (-3)/x*-2*-4. Which is smaller: l or -1?
-1
Let i = 83.87 - 84. Is 0 smaller than i?
False
Suppose -36 = -4*y + 4*r, 0*y + 4*y - 15 = -3*r. Let t = 13 - 26. Let u = -7 - t. Is u less than y?
False
Let k = 0.03 + -0.08. Let r = -0.05 + k. Which is smaller: r or 0.1?
r
Suppose 4*o = 4 - 0. Let h = 4 - -1. Suppose -o = 4*v + c, 2*c = -h*v + c. Which is bigger: v or -1/5?
v
Suppose 0*w - 2*s - 12 = 3*w, 0 = -4*w + 4*s + 4. Let d = w + 3. Which is smaller: d or 2/35?
2/35
Suppose -q + 0 = -4. Suppose q*i + 7 = -3*f, -4*f - 11 = -i + 11. Let t = i - 1. Is -2/3 at least t?
False
Let c = -8 - -14. Let p be (-2)/(3*c/(-9)). Let n = 8/3 - 43/15. Which is greater: p or n?
p
Let q be ((-2)/(-5))/((-3)/(-45)). Let a(b) = b**3 - 7*b**2 + 6*b + 1. Let s be a(q). Is 4/5 smaller than s?
True
Let f = 0.11 - 0.01. Let z = 0.1 + -0.05. Let x = z + 2.95. Is f >= x?
False
Let z = 25/3 + -9. Let m = 22.35 + -23. Let j = -0.7 - m. Do j and z have the same value?
False
Let q be ((-4)/8)/((-1)/14). Does q = 7?
True
Let k be 2 - -3*2/(-3). Let c be (4/(-10))/((-36)/(-20)). Is c less than k?
True
Let i be 2/3 + (-8)/12. Which is smaller: -0.9 or i?
-0.9
Let g be 33/2*(-2)/3. Let y be g*(-2)/(-2) - -2. Which is greater: -8 or y?
-8
Let a(l) = -l. Let t be a(-7). Suppose 5*v = 37 - t. Suppose -v = -3*k + 6*k. Is -3 greater than k?
False
Let m be (-8648)/(-4004) + -2 + 10/(-55). Which is bigger: -1 or m?
m
Suppose -18*o + 45 = -23*o. Let v = -11 + 2. Is o bigger than v?
False
Let a(v) = -v**2 + 6*v + 11. Let h be a(8). Which is bigger: 1 or h?
1
Suppose 4*i + 5*u - 5 = 0, -6 + 2 = -4*i - 4*u. Which is bigger: 6/13 or i?
6/13
Let f = 16 - 13. Suppose -f = -g + 4*g. Which is smaller: -1/7 or g?
g
Let h(p) = p + 2. Let x be h(-4). Let n = 0.7 - 1.7. Is n at most x?
False
Suppose 0 = 4*a - 4*p - 32, -8 = 5*a + 5*p - 18. Let c be 0 - -1 - (a - 7). Which is smaller: 2 or c?
2
Let a = -47/2 - -24. Let y be -4*(15/24*4 - 3). Which is smaller: y or a?
a
Let b(v) = v**3 - 6*v**2 - 7*v + 3. Let j be b(7). Let l(n) = -1 + 4*n**2 + 2 - n**j + 0 + 2*n**3 + 3*n. Let i be l(-3). Is 0.3 equal to i?
False
Let t be ((-2)/(-4)*2)/((-26)/8). Which is smaller: t or 0?
t
Let j = -3 + 4. Suppose 2*p = -2 - 2. Let s be (p/6)/(4/(-3)). Which is smaller: j or s?
s
Suppose -3*c + 7 = 3*n - 2*c, 0 = 3*n - 4*c - 32. Suppose p = -n*p. Let i be 2 + 2 + 29/(-7). Which is smaller: i or p?
i
Suppose -3*p + 10 = -5. Suppose 2*f - 12 = 5*f, -4*j + p*f = -28. Does -2 = j?
False
Suppose -2*x + 2*y = 2, 0*y = -4*x - 3*y - 11. Let w be (-29)/9 + (1 - x). Do 0 and w have the same value?
False
Let p = -92 - -646/7. Is -3 greater than or equal to p?
False
Let j(g) = 6*g**3 - 2*g**2 + 2*g - 1. Let r be j(1). Let o be 6 - (2 + (1 - 1)). Which is smaller: r or o?
o
Suppose 0 = 4*q + 16, 0*n - 5*n - 3*q = -13. Let w(z) = z - 2. Let l be w(7). Is l <= n?
True
Let s(c) = -c**3 - 5*c**2 - 2. Let j be s(-5). Let r(k) = 2*k**3 - 2*k**2 - k - 2. Let y be r(2). Suppose -x + y*x = -9. Does x = j?
False
Let c(k) = -k**3 - 8*k**2 - 8*k - 6. Let q be c(-7). Are q and 1/21 equal?
False
Let x be (-1)/2 + 4/(-6). Let u be (-1)/(2 - -1)*3. Does u = x?
False
Let r = -4.7 + -10.3. Is r at most 4?
True
Let r = 0.2 - 0.1. Let u = -0.096 - 4.904. Which is smaller: r or u?
u
Let k = 7 + -4. Suppose -1 = -p + k. Let c(o) = 2*o - 12. Let u be c(8). Is p at least as big as u?
True
Let a(d) = -d**2 - 9*d - 5. Let x be a(-8). Let s(y) = y + 9. Let i be s(-7). Which is greater: i or x?
x
Let s = -14 - -18. Which is smaller: s or 1?
1
Let s be (2/5)/((-2)/(-5)). Suppose 0*x - s = -x. Which is greater: x or 0?
x
Suppose -125 = -0*p - 5*p. Which is smaller: p or 26?
p
Let c = -9 + 7. Let b = -1 + c. Is b equal to -2?
False
Let x = -2/303 - -37/505. Are -1 and x non-equal?
True
Suppose 0*t + 3*t - 15 = -o, 3*t - o = 9. Suppose 0 = -0*c + t*c. Let s = -1098/11 + 100. Is s bigger than c?
True
Let y be (8/(-16))/((-1)/12). Suppose -8 = -4*c + 3*x - 2, -c + y = -3*x. Is c at least as big as -1/14?
True
Let m = 11 + -7. Suppose 0 = 2*x - x - 5*k + 9, -m*x - 5*k + 14 = 0. Let f = -197/4 + 49. Is f > x?
False
Suppose 21*d - 12 = 18*d. Let a = 14 - 10. Suppose 2*y + v + 1 - 8 = 0, -a*y = -4*v - 20. Is y > d?
False
Le