14*v/2. Which is smaller: j or q?
j
Let n be (-3)/(-9) + (-10)/3. Let w be (1/n)/(4/(-24)). Let c be w*(3/(-6) - 0). Is c < 1/3?
True
Let b be 0*(1 + 2 + -2). Let c be -3*(1 + (-2 - b)). Suppose 2*a = 5*a - c. Is -2/13 >= a?
False
Let h = 66411/5 - 722061/55. Let p = h + -154. Which is greater: 1 or p?
1
Let g = -12587296 + 1246112528/99. Let m = g - -3988/11. Let r = 62 - m. Are r and 1 non-equal?
True
Suppose -2*n + 4 = -0*n. Let d be n - (-1)/((-3)/6). Which is smaller: d or -1/14?
-1/14
Let d(j) = 2*j**3 - 13*j**2 - 6*j + 2. Let g be d(7). Which is greater: 11 or g?
11
Let s = 1766/9 + -196. Let i = 6436/7 - 918. Let q = i + -41/14. Which is greater: s or q?
s
Let g = -12.07 + -0.93. Which is bigger: -1 or g?
-1
Suppose -m + 2*m = 5*a - 15, 0 = -a + m + 3. Let p = -2.81 + -0.19. Let q = p - -3. Is a != q?
True
Suppose x + 4 = -j, -x - 4*j + 8 = -5*x. Let g be ((-6)/9)/(2/(-3)). Let p be (-7)/14*4*g. Is p <= x?
False
Let u(c) be the third derivative of -c**6/120 + c**5/20 + c**4/6 - c**2. Let z = 31 - 27. Let a be u(z). Is a > -1/4?
True
Let b = 3 - -1. Which is bigger: b or 0.4?
b
Let s = 0.103 + -11.903. Let m = 18 + s. Let b = m + -6. Which is smaller: b or 0.1?
0.1
Let d be (-1045)/(-15)*6/8. Let p = d - 52. Let l = 2 - 2. Which is smaller: l or p?
l
Let o = -0.04 - 0.06. Is o < -12?
False
Let z = -109/260 + 1/52. Let n = -7 - -7. Which is smaller: z or n?
z
Let w be 1*(0 - 0)*1. Let x = 6 + -6. Is w bigger than x?
False
Let d be (1/1)/(((-12)/(-3))/8). Let t = -148/3 + 50. Which is smaller: t or d?
t
Let m(s) = s**3 + 5*s**2 + 3*s + 10. Let q be m(-5). Is q greater than -3?
False
Let h(l) = 38*l**3 + 3*l**2 + l. Let y be h(-1). Which is smaller: y or 1?
y
Let l = 0.2 + 1.4. Let b = 1.5 - l. Is b at least as big as -0.02?
False
Let t = -0.04 + 7.04. Let u = -53 - -59.9. Let k = u - t. Is k <= -0.6?
False
Suppose r = p + 11, 0 = -2*p - p - 5*r + 7. Let i(y) = y**2 + 10*y + 9. Let h be i(p). Let d be (15/(-10))/(h/4). Is d equal to -1?
False
Suppose -73 - 35 = -9*u. Which is bigger: 64/5 or u?
64/5
Suppose -2*j + 38 + 27 = -3*q, 4*j = 3*q + 121. Is 29 < j?
False
Suppose 7*j + 26 = -16. Let q be (6 + j)/(4/(-2)). Which is smaller: -4/3 or q?
-4/3
Let w = 15.02 - 17.9. Let t = -0.12 + w. Is t at most as big as 0.3?
True
Let f be ((-40)/30)/(1/6). Is f at most -9?
False
Let b = -5 + 3. Let p = b - -2. Let d be 0 - -3 - 14/7. Which is smaller: p or d?
p
Let x(g) = g**3 + 13*g**2 + 4*g + 46. Let h be x(-13). Let m(p) = -p**3 - p + 10. Let j be m(0). Suppose 0*v + j = -2*v. Is h less than or equal to v?
True
Suppose -12 = 19*z - 15*z. Is -18/5 less than z?
True
Let b = -1085 + 11881/11. Is b less than -6?
False
Let r be (-2)/5*(-5)/7. Which is greater: 1 or r?
1
Let c = -1655 + 46357/28. Let g = -6/7 + c. Which is smaller: 1 or g?
g
Let g = -263713/1144 + 1839/8. Let j = g + 6/13. Does j = 0?
False
Let c(t) = -t**2 + 18*t + 1. Let k(z) = -2*z**2 + 35*z + 2. Let o(h) = 11*c(h) - 6*k(h). Let b be o(12). Is 0 less than b?
False
Let f(x) = 2*x - 9. Let p be f(9). Which is smaller: 11 or p?
p
Let w = 42/23 + -156/161. Is 1 at least w?
True
Let r be 1/1 + 2 + -1484. Let h = r + 1009. Let a = h + 3310/7. Which is bigger: 0 or a?
a
Let h = 0.4 - 0.2. Let l = h - 2.2. Let g be -2 - (16/40 + (-34)/10). Is g not equal to l?
True
Suppose 2*r + 5 = -3*y + 13, -4*r = 20. Suppose y*a = 2*a + 20. Suppose -p = -a*q + 2*q - 3, -4*p + 5*q - 2 = 0. Does -2 = p?
False
Suppose -4*m - 3 = -3*q + 9, -2*q = -4*m - 8. Let y be (-2 + m)*(-1)/2. Is 1 > y?
False
Suppose -59 = 5*b - 4. Is -10 != b?
True
Let n = -73 - -64. Are -13 and n non-equal?
True
Suppose 2*r + 2 = -0*r. Suppose 3*d + 2*d = 0. Let b = -1 - d. Does b = r?
True
Let m be (27/12)/((-39)/12 - -3). Is -4 >= m?
True
Let t = -67883659/244 - -556427/2. Let z = t + -2/61. Which is bigger: 3 or z?
3
Let m = 1.5 - 0.5. Is m > -0.14?
True
Let s = -17 - -36. Let r = -11 + s. Is r at most 0?
False
Suppose -74*w = -77*w. Is -7/5 at most w?
True
Let g = -1.9 + 1.7. Is g <= 2?
True
Let b = -60 - -59.06. Let v = b - 0.06. Is v at least 0.08?
False
Let k = 62/105 + -16/35. Suppose 2*g = -2*g + 8. Suppose 0 = -g*v - 3*v. Which is greater: k or v?
k
Suppose 0 = 3*w - w - 8. Suppose -2*m = -m + 3*r - 6, 0 = -m - r + w. Which is greater: 2 or m?
m
Suppose 3 = -i, 41 = -3*o - 3*i - 88. Let r be ((-15)/o)/(3/2). Which is bigger: r or 0?
r
Let a be (-1378)/(-3141)*(-1)/2. Let g = 3780 - 1319221/349. Let x = g + a. Do x and 1 have the same value?
False
Suppose 0 = 4*l - u + 6*u + 5, -4*l - u + 15 = 0. Suppose 0 = l*w, 0 = -5*a - w + 4*w - 55. Is a >= -10?
False
Let v = -14 + 19. Are v and 3 nonequal?
True
Let d = -1 + 4. Let q = d - 2.9. Let z = 316/21 + -46/3. Which is greater: q or z?
q
Let b = 0.1 - 0.5. Let k = -0.3 + -0.1. Let a = k - b. Is a less than 0?
False
Suppose 0*u - 3*u = 24. Let f = 48 + -56. Is f bigger than u?
False
Suppose -3*i + 16 = -7*i. Is -3 at least as big as i?
True
Let t = 8829/2 - 4553. Let z = t + 135. Which is greater: -5 or z?
z
Let n = 3 + -7. Let c = n - -2. Let b = 2 + -2.2. Is b greater than c?
True
Let w(x) = -x**2 - 2*x + 2. Let l(u) = u - 1. Let j(n) = -3*l(n) + w(n). Let q be j(-6). Let a = -2/113 + 244/1017. Do a and q have the same value?
False
Suppose -4 - 12 = 4*k + 2*t, -4*k = t + 14. Let n be 2 - (0 - 5)*-1. Is n smaller than k?
False
Suppose y - 2*x + 0*x + 9 = 0, 4*y = -3*x + 8. Let r be 2 - (-3)/1*y. Is -2 at least r?
False
Let f be ((-4)/(-26))/((-87)/29). Is f greater than or equal to 0.5?
False
Suppose 0 = a - 7 + 3. Suppose -5*h = -1 - a. Let u be h/(-5)*(-2)/(-7). Is u <= 1?
True
Let k(n) = n**3 - n**2 - 2*n + 2. Let g be k(3). Let z = g + -68/5. Suppose -2*l = 3*h - 6, 4*l + 6 = -4*h + 18. Which is bigger: z or h?
z
Let q = -36/7 - -323/56. Which is greater: q or 2?
2
Let f be 4/18 - 10/45. Let d(g) = -g**2 - 7*g - 2. Let s be d(-6). Suppose s*m = -m. Is m bigger than f?
False
Let f = 9 + -10. Let h = 109/30 - 19/5. Which is greater: h or f?
h
Suppose 22 = f - 242. Let n be (-2)/5 - f/(-810). Which is smaller: n or 0?
n
Let z = -15 - -6. Let h be (-3)/z - 2/15. Let b(r) = -r - 4. Let d be b(-3). Is h > d?
True
Let k = -4 - -6. Let p = -28 - -57/2. Do k and p have the same value?
False
Suppose -3*c - 3*z + 151 = -z, 3*z - 251 = -5*c. Is 49 smaller than c?
False
Let z = 78839/108 + -730. Which is smaller: -1 or z?
-1
Let p = -4 + 6. Let y = -6/17 + 7/68. Is y less than p?
True
Let b = -100 - -1098/11. Which is smaller: b or -1/4?
-1/4
Let c = 5 + -4. Which is smaller: c or -1/11?
-1/11
Suppose f = -2*h + 43, 4*f + f = -3*h + 222. Let q be 6/f + (-4)/30. Which is smaller: -2/5 or q?
-2/5
Suppose 2*f = -f - 3. Let l(v) = -v**3 - 3*v**2 - v. Let m be l(-2). Is f >= m?
True
Let w be (10/(-7))/(6/(-42)). Is w at most 9?
False
Suppose 2 = 3*k - 19. Let v(b) = b**2 - 7*b + 4. Let d be v(k). Let m be (3 - 0) + -6 + 2. Which is smaller: d or m?
m
Let l = -5.78 - 0.22. Which is bigger: -1 or l?
-1
Let s = -5.6 + 6.7. Do s and -1/2 have different values?
True
Let c = -6/37 - -172/1517. Is -2 >= c?
False
Let p(f) be the second derivative of -f**4/12 + 2*f**3/3 - f**2/2 + 2*f. Let i be p(3). Let h be i - (-2 - 54/(-15)). Is 1 bigger than h?
True
Let x be (-35)/(-49) - (-4)/14. Is x greater than or equal to 5/17?
True
Let u be 5/2 - 7/(-14). Suppose 4*y - 1 = u. Let a be (y/(-2))/((-7)/(-14)). Is -1 less than or equal to a?
True
Let l = 3.05 + -0.05. Let q = l + -3.03. Let d = 0.17 - q. Which is smaller: 1 or d?
d
Let t be 3 - (1 + 28/12). Is t < 0?
True
Suppose -4 = -k + 5*k. Let f(r) = -6*r**3 + 2*r + 1. Let i be f(k). Suppose -10 = 3*n + i*z, -10 = n + 4*n + 5*z. Is 1 less than n?
False
Let w(j) = j**2 + 3*j + 3. Let v be w(-2). Is v at most 9?
True
Suppose 2*c = w + 4*c - 4, 36 = 4*w + 3*c. Suppose 3*i = 4*y + 32, 5*i - 5*y = 33 + w. Let n = -2 + i. Is 1 != n?
True
Let g = 19.9 - 20. Let o = -0.07 - 13.93. Which is bigger: o or g?
g
Let d = 142 - 97. Is 46 smaller than d?
False
Suppose -z - 3*r = -10, -4*z + r - 3*r = 0. Let f = 0 + 2. Suppose 0 = o + 4*g - 5, -3 = -f*o - 2*o + g. Which is smaller: o or z?
z
Let w = 0.1 + -3.1. Let j = -9.1 + 9. Is j greater than or equal to w?
True
Let t = 7947/370 - -4/185. Which is greater: t or 23?
23
Let h(v) = -v**2 - 5*v. Let p be h(-4). Let a b