 9*r - 2*r + 196. Do -28 and r have the same value?
True
Let i = -0.04 + 0.04. Let l = i - -0.3. Let c be (2/9)/(5/15). Which is smaller: l or c?
l
Let w(s) = s. Let h be w(-6). Let f(n) = -2*n - 6. Let b be f(-5). Suppose b*t + 23 = 3. Is h less than t?
True
Suppose 0 = 2*s + 6 + 2. Let g be (6/s)/(2/4). Let m = -4 - g. Is -1 != m?
False
Let w(n) = n - 11. Let m(l) = l - 12. Let p(x) = -5*m(x) + 6*w(x). Suppose -7*s - 12 = -10*s. Let y be p(s). Is y at least -2?
True
Let w(f) = -2*f**3 + 2*f**2 + 4*f - 1. Let i be w(4). Are -82 and i equal?
False
Let c be (-2)/(-3*8/12). Suppose 0 = -0*m + m. Let p = m - c. Is 1 >= p?
True
Let i = 7/17 - 43/187. Suppose 2*b - 6*b = -4*n + 16, -5*n - 16 = 4*b. Suppose n = -y - 5*c + 9, 3*c - 4 = c. Are y and i unequal?
True
Suppose -10*r + 76 = 326. Which is smaller: r or -24?
r
Let c be 2/4*(-40)/(-5). Let z = c - 3. Let a = z - 3. Is a not equal to -1?
True
Let j = 12/7 - 55/28. Suppose 3*r + 2*r = 5. Which is smaller: j or r?
j
Let w(a) = -a**2 - 9*a - 14. Let i be w(-6). Let k be 3/(-1) - (i + -18). Do k and 12 have different values?
True
Let n be (-73)/474 - 3/(-6). Let c = -935 + 73864/79. Let p = c + n. Is -0.1 < p?
True
Let r = 0 + 1. Let l be (0 - -1)/(16 + -15). Is r smaller than l?
False
Suppose -q + 30 = -4*p + 8, q = 2*p + 12. Is q less than or equal to 8/7?
False
Suppose -3*o = 3*w, -5*w + 8 = -5*o + 18. Let a = o - 3. Let j be (-2)/(-9) - (a + 2). Is j >= -1?
True
Let w = -3 - -5. Suppose 5*k + a = -22, -2*a + 3 = k + w. Which is bigger: -6 or k?
k
Suppose -24 = -5*t - 3*o, 2*t - t - o = 0. Suppose -t*s + 31 = -5*f, 5*f + 8 + 7 = -5*s. Which is bigger: s or 3?
3
Let j be -3*((-2)/6 + -1). Let c(s) be the third derivative of -s**5/60 + s**4/6 + s**3/2 + 4*s**2. Let o be c(4). Is j at most as big as o?
False
Let u = -34 - -47. Let n = -9 + u. Suppose -5*r = -c - c + 14, n = -2*r. Which is smaller: 1 or c?
1
Let q be (-24)/(-9) - 1/6. Let l = q + -3. Which is smaller: -1 or l?
-1
Suppose -3*k + 12 = 0, -4*k + 26 = 4*u + u. Which is bigger: 3 or u?
3
Let q = -17 + 10. Let k(j) be the second derivative of j**4/12 + 7*j**3/6 - j**2 - 12*j. Let u be k(q). Which is smaller: -1 or u?
u
Suppose -h - 1 = o - 4, -3 = 3*h - 3*o. Let w be (-1)/(2/(-6)) - 0. Suppose -3*i = 0, -i + w = 2*a + 1. Is h <= a?
True
Let y = -0.11 - -3.11. Is y greater than or equal to -8/5?
True
Let b = -24.3 + 24. Which is smaller: 7 or b?
b
Let o = 0.2 - 0.2. Let j = 5 - 4.96. Let c = j - 0.14. Is o greater than c?
True
Let t(x) = -x + 6. Let d be 24/(-9)*9/(-4). Let p be t(d). Which is smaller: p or -1?
-1
Let z = -5.03 + 5. Let u = -3.87 + z. Let j = -4 - u. Is j <= 1/3?
True
Let f(z) = z**2 + 12*z + 20. Let r be f(-10). Which is smaller: 2/39 or r?
r
Let g(q) = -7*q - 7. Let d(n) = 6*n + 6. Let b(m) = 6*d(m) + 5*g(m). Let a be b(-1). Which is smaller: -2/11 or a?
-2/11
Let s = 25/609 + -1/58. Let o = -32/21 + s. Let z(x) = -x**3 - x**2 - 2. Let h be z(0). Which is smaller: o or h?
h
Let f = -12.1 + 12. Which is smaller: f or -1/2?
-1/2
Let n be (-1 + (-70)/(-4))*(-10)/15. Which is bigger: n or -35/3?
n
Let p be 24/(-9)*(-234)/(-8). Let v = 547/7 + p. Which is smaller: v or 1?
v
Let j be (-20)/58 + 17/51. Which is smaller: j or -1?
-1
Let p = -0.6 - -0.2. Let u = p - -0.4. Let c = 0.2 + u. Which is smaller: c or -1?
-1
Let c = -27 - -26.7. Is 1 at least as big as c?
True
Let g be (-6)/10 + (-128)/120. Let n = 4/3 + g. Suppose 0 = 5*h - 3*k - 0 - 14, -2*k - 6 = 0. Which is bigger: h or n?
h
Let l = 63/2 + -29. Let v = l + -5. Which is smaller: 0.1 or v?
v
Let k = 53 + -213/4. Let j = -0.1 + 0.3. Let z = j + -0.2. Does z = k?
False
Let l be (-2)/5 - (-22)/5. Do l and 1 have the same value?
False
Let z(w) be the third derivative of w**4/24 - w**3/6 - 2*w**2. Let f be z(0). Let o = f - -1. Which is bigger: 1/3 or o?
1/3
Let r = -80 - -81. Which is bigger: -1/12 or r?
r
Let a = -10.8 - 1.2. Which is smaller: 0.2 or a?
a
Let u = 4 - 3.9. Let l = 0.5 + u. Let r = -0.7 + l. Is r at least as big as 0.1?
False
Suppose 3*z = 2*x - 2, 3*x - 2*x - 3*z = 1. Suppose -x = -2*u + 11. Let d be 6/9*u/(-8). Is -2 at most d?
True
Let h be 4/2 - (0 - -2). Let j = 1.95 - -1.05. Is j smaller than h?
False
Suppose 4*q + 20 = -2*v, -6*q + 3*q + 4*v = -7. Let d(c) = -c**2 - 5*c - 2. Let n be d(-5). Which is bigger: q or n?
n
Let s be (3/(-2))/(-5 + 11). Suppose 2*u - 2 = -2*f, 0*u + 5 = -f + 2*u. Is s not equal to f?
True
Suppose -2*r - 24 = -4*b, 0*b + 2 = 2*b + 4*r. Suppose 5*l = -0*l + b. Is 3 bigger than l?
True
Let u = -0.4 + 0.05. Let c = u + 0.05. Let x = c - -0.3. Are x and 2/7 nonequal?
True
Let t be 8/(-692) + -3 + 3. Let f = 710/1557 + t. Is 1 greater than f?
True
Let g be -1 - ((-123)/(-15) - 2). Is g smaller than -8?
False
Let k = 12 - 7. Suppose -n + 2*u = -3*u - 6, -k*n + 3 = 2*u. Is n at most -1/17?
False
Let m(r) = -5*r - 1. Let x be m(-1). Suppose -1 = -w + x. Let q be 38/(-20) - (-2)/w. Is -2 at most as big as q?
True
Suppose -x = -0*x + 2. Suppose 2*m + 2 = -3*j, m + 1 = -5*j + 7. Let c be 2 - (x/4 + j). Which is bigger: c or -2/7?
c
Suppose -i - 2*g + 47 = 2*i, -3*g = 5*i - 79. Is i smaller than 16?
False
Suppose 2*v - 4*q = 14, 4*v - q - 7 = -0*v. Which is smaller: v or -0.25?
-0.25
Let p(t) = 2*t + 2. Let s be p(1). Which is smaller: s or -1?
-1
Let l be (2/(-12))/(-2*2/36). Is l equal to 7?
False
Let d(f) = f**2 + f. Let q be d(0). Let h be (-1)/1*1*q. Is h != -0.1?
True
Suppose 0 = 2*v - m - 9, -m + 1 = v + 4. Let p(g) = g - 4*g**2 + g**2 - 1 + g**3 + 0*g. Let l be p(v). Is l smaller than -3?
False
Let u be ((-3)/1)/(9/(-12)). Suppose -h = -u*h - 6. Is -4/3 smaller than h?
False
Let x be ((-2)/6 + 0)*-1. Let z = -29 + 30. Which is smaller: z or x?
x
Let m = -9258 - -777617/84. Let o be (8/10)/((-63)/(-45)). Let l = o + m. Is l less than 1?
True
Let i = -1/109 + -101/872. Which is bigger: 1 or i?
1
Let s be (-1)/1 + 10 + -8. Let h(u) = -u**3 - u**2 + 1. Let m be h(s). Let z be -2 + -2 + (-156)/(-38). Is z >= m?
True
Let w = 16 + -14. Which is smaller: 0.1 or w?
0.1
Let w(r) = r**3 + 4. Let z be w(0). Suppose 0*b = -z*x + b - 7, 3*x - 2*b + 4 = 0. Let u be (x + 1)/(3/(-12)). Is u at most 4?
True
Let h(z) = -2*z - 61. Let a be h(-28). Let x(n) = n**3 + 4*n**2 + n + 4. Let l be x(-4). Which is greater: a or l?
l
Suppose -5*x + 0*x = 35. Let c be (-3)/x + 20/(-70). Is -1 smaller than c?
True
Suppose i - 4*i + 18 = 0. Let k be ((-4)/14)/(i/(-14)). Let g be (5/20)/((-1)/(-4)). Is g smaller than k?
False
Let a = -0.5 + 0.3. Let r = 8 + -3. Let z = r + -5. Are z and a nonequal?
True
Suppose 5*m = 18 - 13. Is -3/176 less than m?
True
Let n be (-235)/30 + 2/(-12). Let p be (-12)/(-15)*20/n. Do p and -2/9 have the same value?
False
Let t = 21 + -13. Let x be t + -11 + (1 - 0). Is -1 at least as big as x?
True
Let q be (-3)/(-5) - (-830)/(-50). Is -15 greater than q?
True
Suppose -4*q = -2*q - 10. Let i = q - 8. Which is smaller: i or -4?
-4
Let m(t) = t**2 + 15*t - 1. Let i be m(-15). Let y = -480/13 - -2231/65. Let k = 57/20 + y. Which is smaller: i or k?
i
Let c = 0.3 - 0.2. Suppose 4*j + 4*l + 40 = 0, 3*j + 2*l + 19 = -6. Which is smaller: c or j?
j
Let a = 0.18 - 0.48. Is -2 equal to a?
False
Suppose -p = v - 46, 7*v = 2*v + 20. Suppose 4*n - 6 = -p. Which is bigger: -10 or n?
n
Let a = 242/5 - 48. Which is smaller: a or 5?
a
Let a = -69/73 - -15395/16133. Is a greater than or equal to 1?
False
Let h be 1/2 + (-3)/(-18). Let w = 8 - 8.3. Let d = -0.3 - w. Is h less than or equal to d?
False
Let q = -92 - -830/9. Let v = 99 - 98.9. Is q > v?
True
Let w(k) = -15*k**2 - 2*k + 1. Let c be w(1). Let s = -10 - c. Let z be 3/11*4/s. Which is smaller: 1 or z?
z
Let s(f) = -f + 9. Let y be s(8). Let j = 187/296 + -1/148. Let b = 1/24 + j. Which is smaller: b or y?
b
Let d(m) = 105*m + 3. Let o be d(3). Suppose 2*b = 5*b + o. Let p = 741/7 + b. Which is greater: 1 or p?
1
Let i(j) = -j**3 + j**2 + 4*j - 1. Let a be i(3). Let d be (12/15)/(6/15). Suppose -2*r + 40 = -5*s + r, -2*r = -d*s - 16. Which is greater: a or s?
a
Let f(m) = -m + 23. Let l be f(10). Are l and 11 equal?
False
Let q(r) = 2*r**2 + 4*r + 3. Let g be q(-2). Let s be 3/(1*(2 - g)). Is -5 less than or equal to s?
True
Let c be (-24)/9 - 1/3. Let w = 0 - c. Is 3 greater than w?
F