= -12?
True
Suppose 0 = 2*q - 0*q - 12. Let f be (4/q)/(2/(-3)). Let w = f + 1. Is w at least as big as 2?
False
Let u(v) = v + 3 - 2*v - 10. Let a be u(-7). Suppose s - 5*s = 0. Is s <= a?
True
Let c(m) = m**2 + 3*m + 3. Let f(v) = 7*v - 4*v - 2*v - 1. Let r be f(-1). Let w be c(r). Are -2 and w unequal?
True
Let q = 221/88 + -23/8. Let b = q + -3/22. Which is greater: 1/4 or b?
1/4
Let j(s) = -2*s + 14. Let v be j(8). Which is smaller: -43 or v?
-43
Let g = -2/5 + 1. Let p(s) = s**3 + 6*s**2 + 4*s - 3. Let k be p(-5). Let x = k + -2. Are g and x non-equal?
True
Let n(x) = -x**3 + 10*x**2 - 8*x + 12. Let s be n(9). Let v be (-69)/s + (-6)/(-21). Which is smaller: v or -2?
v
Let g(s) = 25*s - 12. Let f be g(2). Is 38 greater than or equal to f?
True
Let t = 3.14 - 3. Let i = -1.14 + t. Let a be 1/3*(-6)/8. Is i <= a?
True
Let q(w) = -w**2 - 14*w + 18. Let o be q(-15). Let h be o/(-7) - 10/(-56). Are 5/6 and h equal?
False
Let x(t) = t**2 + 7*t + 6. Let r be x(-4). Let w be (42/(-119))/(r/4). Does w = 1?
False
Let j be -1 + -1 - 11/(-5). Suppose -7*o = -3*o. Which is bigger: o or j?
j
Let y(s) = -s**3 + 2*s**2 - 1. Let w be y(1). Let x be (-2 + 5 + -2)*5. Let b be x/6 + 5/30. Is w less than b?
True
Let m(b) = -2*b + 3. Let y be m(6). Suppose 5*j = -17 - 53. Let k(n) = -n**2 - 13*n + 6. Let c be k(j). Which is bigger: c or y?
c
Let q = -74 - -74.29. Is q at least as big as 1?
False
Let s(z) = z**2 - 5*z. Let c be s(5). Which is bigger: 1 or c?
1
Let a = 710772/185 + -3842. Which is greater: a or 0?
a
Let q = -3/58 - -125/174. Let j(t) = -3*t**3 + t + 3*t**2 + 4*t**3 + 0*t**2. Let z be j(-1). Does q = z?
False
Suppose 11 = 4*i + 35. Let t = i + 10. Suppose k + k = 5*h + 11, -t*h - 5*k = 22. Is h at most as big as -4?
False
Let c = 91 - 0. Which is bigger: c or 93?
93
Let g = 0.15 + -0.04. Let o = g + -0.01. Let u = -1 - -0.6. Are u and o nonequal?
True
Suppose -2*o = 5*h + 11, -h + 5*o = 4*h - 10. Is h greater than 2/13?
False
Let x be -3*39/(-9) + 3. Let r be x/11 + (-1 - 1). Do r and 0 have the same value?
False
Let a be -2*(1 - 26/25). Is a bigger than 1?
False
Let s = 247 - 425. Let o = -337/2 - s. Let c = -55/6 + o. Is c smaller than 1?
True
Let b be 2/(-4) + 26/32. Let j = b + -3/16. Suppose 5*r = -3*f + 10, 3*f = 3*r + 2*f + 8. Is r equal to j?
False
Let g be 4/10 + 11376/(-28290). Let o = 1868/8487 - g. Let t = -0.3 - -0.2. Which is smaller: t or o?
t
Let l = -3.5 - 0.5. Let i = l - -2. Do i and -2 have the same value?
True
Suppose -2*n + 30 = -0*n - 2*c, c = -3*n + 25. Let z = 14 - n. Suppose -2*h + 5*y = -0*h - 35, 2*h = -2*y. Is h != z?
True
Suppose 2*b + r + 19 = 164, 3*b = -3*r + 210. Is b >= 75?
True
Let z = 11 + -11. Suppose 0 = -d + 4*l + 12, -3*d + 2*l + 16 = -z*d. Which is smaller: 6 or d?
d
Let r = -6.3 + 6. Let m = 0.2 + r. Which is smaller: 2/7 or m?
m
Let z(l) = l**3 + l**2 - 4*l - 3. Let w = 3 + -5. Let b be z(w). Let g = 891/28 - 129/4. Is b equal to g?
False
Let y(r) = -r**3 + 7*r**2 - 5*r + 9. Let q be y(6). Is 15 != q?
False
Let d = 0.8 - 0.5. Let z = d - 2.3. Which is greater: -0.1 or z?
-0.1
Let j = 0.5 + -0.4. Let k = -3.936 - 0.154. Let o = 0.09 + k. Which is greater: o or j?
j
Let i be 7270/120 - (-1)/(-3). Let x = 60 - i. Which is smaller: x or -0.1?
x
Let u = -593/12 + 71/3. Is u less than or equal to -27?
False
Let w = 0.58 + 0.02. Let b = w - 0.6. Let k = b + -0.1. Is 0 not equal to k?
True
Let o = -2.1 + 9.1. Let a = o - 16. Which is smaller: a or 0?
a
Let r be (63/5)/((-16)/(-40)). Let k = -31 + r. Is 2/9 less than or equal to k?
True
Let h = -9 - -9.2. Let l = 0.5 - 0.3. Let r = l - h. Are r and 0 non-equal?
False
Let y be 4/(-6) - (-1514)/(-15). Let a = y - -102. Which is smaller: 0 or a?
0
Let c be 2/(-2) + (-4)/(-6). Let w(q) = 3*q - 2*q**2 + 6*q**2 + 5 - 1 - 2*q + q**3. Let i be w(-4). Which is smaller: i or c?
c
Let s be (1/(-2))/((-2)/(-28)). Let t(m) = m + 12. Let z be t(-5). Let d = z + s. Are d and -1 equal?
False
Let v(g) = -g - 1. Let b be v(-6). Suppose 0 = 5*w + 4*j + j - 5, 0 = b*w + j + 15. Which is smaller: w or -3?
w
Let z be (-14)/35 + 4/10. Suppose 3*h - 6*h - 3 = z. Let d = -3 + 2. Is h equal to d?
True
Let f(v) = -v**3 + 19*v**2 - 19*v + 21. Let k be f(18). Suppose -4*c = 3*y - 13 - 10, 2*y - 10 = 0. Is k <= c?
False
Let f(u) = -u**3 + 7*u**2 - 5*u - 3. Let n be f(6). Suppose -b - 2*c = 4*b + 26, 4*b + 7 = n*c. Is b > -4?
False
Suppose -2*g + 4*h - 6 = 0, g + h - 6 = 3*g. Let n = 2 + g. Which is smaller: n or -1/4?
n
Let i = 2 + 3. Suppose 0 = -y + i*y + 16. Let h = y + 4. Is 0 at least as big as h?
True
Let b(g) = -g**2 - 2*g - 2. Let x be b(-4). Let k be (-4)/x + (-8)/70. Let u = -4 + 5. Which is bigger: u or k?
u
Suppose -4*d = 4*c - 12, 5*c + 4*d = 2*d + 9. Which is greater: c or -2/47?
c
Suppose -3*y + 5960 + 7438 = 0. Let a = -522517/117 + y. Let h = a - 2/13. Is 0 bigger than h?
True
Let z = 4 + -4.2. Let m = 2 - 5. Let r be 3/(18/m)*0. Which is smaller: z or r?
z
Suppose 0 = -2*n + 4*n - 24. Suppose 0 = -0*h - 4*h + n. Is 1 less than or equal to h?
True
Let r be (-6)/(-215)*30/(-9). Which is smaller: r or 1?
r
Let k be 11 + -5 - (-2)/(-1). Suppose -4*c - j = 1 - 0, -c - 19 = 4*j. Let t be (1/1)/(c/4). Is t bigger than k?
False
Let s = -10.44 - 7.61. Let m = s - -18. Are m and 0.1 unequal?
True
Let m be 0/(1 - 0) - 0. Let u(j) = -5*j + 28. Let o be u(6). Let d = m + o. Is d > -2?
False
Let p = -0.08 - -0.06. Let a = p + -1.98. Is -2 less than or equal to a?
True
Suppose -11*n = -15*n - 16. Is -2/15 != n?
True
Let l be 14/2 - (-1 + 3). Suppose 16 = -2*r - l*d, -r - 4*r - 5*d - 10 = 0. Let i be (r - -3)*2/(-25). Are i and 1 non-equal?
True
Let o(q) = q**3 + 1. Let p be o(-1). Let y be 2/((12/2*-6)/(-2)). Are y and p unequal?
True
Let u(c) = c**3 - 6*c**2 + 5*c - 7. Let g be u(6). Suppose -g = 3*k + 2*k + 4*o, 5*k - 5*o + 5 = 0. Is k less than or equal to -2?
True
Let i be -2 + (-12)/28 + (-8)/14. Which is smaller: 4 or i?
i
Let a be (1/(-2))/((-2)/(-8)). Let s = 0 + a. Let z = 2.2 + -2. Which is bigger: s or z?
z
Let q = -5.02 - -5. Let u = q - -3.02. Let r = -2 + 2.1. Is r > u?
False
Let p = 17 + -8. Is p != -1?
True
Let f = 0.4 - 0.5. Let w = 13 + -21. Let q = 7.99 + w. Which is smaller: q or f?
f
Let o be 6/2 + 7/7. Suppose g = o*g. Which is bigger: g or -6/5?
g
Suppose d - 2 + 1 = 0. Let k be (0*(2 - d))/1. Let l = -32 + 30. Does k = l?
False
Let z(g) be the third derivative of g**4/24 + 7*g**3/3 + 3*g**2. Let n be z(-8). Let s be ((-21)/n)/7*12. Does s = -5?
False
Let z be ((-5)/2)/5*0. Suppose 3*b - 2*u = 0, 2*b - u - 2*u = z. Let k be (7*(2 - b))/(-2). Is -7 != k?
False
Let u(j) = -j + 10. Let h be u(8). Are h and -1/8 nonequal?
True
Let q be ((-9)/27)/(1/(-3)). Let p(n) = -3*n**2. Let d be p(q). Is d at most -3?
True
Let w(p) = p**3 - 4*p**2 - 1. Let h be w(4). Let v = 11/90 + 2/45. Is h < v?
True
Let b = -17 + 18. Is 15 greater than b?
True
Let c = 68/805 + -6/35. Which is bigger: c or -1?
c
Suppose 3*w + 3*j - 27 = 0, 3*w + 17 = 6*w - 2*j. Let c(b) = -b**3 + 7*b**2 + 1. Let p be c(w). Let t = -2 + 5. Are p and t non-equal?
True
Let d = 2446/187 + -210/17. Is 2 != d?
True
Let t be 0 - -4*3/2. Let g(j) = -j**2 + 8*j. Let a(m) = m**2 - 9*m. Let i(v) = -2*a(v) - 3*g(v). Let y be i(t). Is y greater than or equal to 2?
False
Let k(w) = -w**2 + 5*w. Let s be k(5). Suppose -3*v + 2*v - 1 = s. Are -2 and v unequal?
True
Let i be 2/9 + 14/18. Suppose -5*k - i - 4 = 0. Suppose -2*g + c - 4 = 0, 0 = -3*g + 5*c + 5 - 4. Is g smaller than k?
True
Let n = -43 - -48. Is 1/7 <= n?
True
Let c = 18 - 87. Which is greater: -2/7 or c?
-2/7
Suppose 3*c = 2*p - 2*c - 6, 3*p = 4*c + 9. Suppose -k = -a - 2, a = -p*k + 6*a + 6. Is 3 smaller than k?
False
Let p(a) = -a**3 + 7*a**2 + a - 7. Let g be p(7). Is g < 0?
False
Suppose 17*s - 12*s - 2 = -4*z, -3*z = -3*s + 12. Let c = -1/103 - 817/721. Is z bigger than c?
False
Suppose 5*l + 6 = 4*y, 3 = -3*l + y + 5. Suppose 5 = -5*z - l*s + 3*s, 5*z - 4*s = -20. Which is bigger: z or 1/7?
1/7
Let b = 20 - 98/5. Let w = 3 - 3. Which is smaller: w or b?
w
Let y be 99/12 + (-2)/8. Let r = -10 + y. Is -2 at least as big as r?
True
Let x be 5 + 3*2/6. Let m be ((-2)/(-6))/((-2)/x). Let q(c) = c + 1. Let i be q(-2). Is m > i?
False
Let a = 713/5 - 142. Is 