-13) + (2 - 1). Which is bigger: m or 1/2?
1/2
Suppose -2*b - 7 = -13. Let r be 80/(-4) + 0 + b. Which is smaller: -16 or r?
r
Let i = 1267/291 - 2/97. Which is smaller: i or 4?
4
Let c(a) = -2*a**3 + a**2 + 2*a + 1. Let y be c(2). Is y > -9?
True
Let d = 8.3 + 0.7. Let s = d + -8.9. Is s smaller than -2?
False
Let i(t) = -t**2 + 7*t + 3. Let c be i(7). Let u = 54 - 56. Is c <= u?
False
Let u = -47260253/280 - -1179543/7. Let a = 1402/5 + u. Let w = a - 13/360. Is 1 at most as big as w?
False
Let q be (2 - (-217)/(-107))*(-2)/6. Is -1 at most as big as q?
True
Let r = 3 - 3.05. Let v = -8.95 + r. Which is smaller: -1 or v?
v
Let t be ((-82)/30 - -3)*5. Is 2/7 greater than t?
False
Let z be (-6)/15 + (-7)/(-5). Let o = 53 + -54. Is z bigger than o?
True
Let g be (-15)/(-5) - 71/23. Is g <= 1?
True
Let r = 3 + -4. Let a be (-90 - (-1 + 2))/3. Let i = 30 + a. Is i less than r?
False
Let c = -4 - -4.4. Suppose 0 = 5*i + x - 34, -39 + 7 = -2*i - 5*x. Let r be (4/i)/(5/(-3)). Which is smaller: c or r?
r
Suppose s + 4*s - 15 = 0. Suppose -4*q - 7 = -4*j - 3*q, 2 = 4*j - 2*q. Is j smaller than s?
False
Let f = 238139/294 - 810. Let w = 1163/3822 - f. Which is bigger: w or 1?
1
Let i be ((-6)/(-92))/((-66)/(-176)). Which is smaller: 1 or i?
i
Let v = 15 + -11. Suppose 3*t = -t + 40. Suppose c + c - t = 0. Which is smaller: c or v?
v
Let v be -2*(18/14 - 2). Which is smaller: v or 1?
1
Let s(y) = y + 4. Suppose -t - 36 = 3*t. Let a be s(t). Is a < -6?
False
Let c be 1/2*-10*2/35. Let z = -0.15 + -5.85. Which is smaller: z or c?
z
Let c(k) = -2*k - 2. Let q be c(3). Let h = q - -8. Is -2/7 less than or equal to h?
True
Suppose -17 + 65 = 8*t. Which is smaller: 9 or t?
t
Suppose 0 = -a + 2*a. Let x = 85 + -84. Is x smaller than a?
False
Let v(q) = q**2 + 9*q + 7. Let x be v(-8). Let b = x - -3. Let a be (-30)/4*1/(-3). Is b != a?
True
Let s = -0.89 + 0.89. Which is bigger: s or 1?
1
Let x = -2.8 - -0.8. Is 0.3 less than or equal to x?
False
Suppose 2*x + 7 = 5. Let m(i) = 3*i**2 - 8*i + 4. Let w(d) = 4*d**2 - 8*d + 5. Let l(v) = 5*m(v) - 4*w(v). Let k be l(-8). Is k <= x?
False
Let l be 4/(-5) + 1/(-5). Suppose 4*j - 86 = -2*g - 0*g, 3*g + 15 = 0. Let s be ((-6)/(-8))/(45/j). Is l <= s?
True
Suppose 8*u = 10*u - 12. Are u and -1 equal?
False
Suppose -5 = -w - 0*w - 3*l, -l - 1 = 0. Let p = -9 + 9. Are p and w equal?
False
Let z = 3.91 - -0.09. Which is smaller: -1 or z?
-1
Let u = 1.2 + -3.15. Let w = u - 0.05. Is 2/7 at least w?
True
Let l(h) = -h**3 - 10*h**2 - 2. Let d be l(-10). Let r(i) = i**3. Let v be r(-1). Let q = v + 2. Is q equal to d?
False
Let z = -15 + 14. Is -5/13 at most as big as z?
False
Let j be (0/1 - 0)/(-2). Suppose 4*o + m + 4*m + 12 = 0, j = m. Let a = 81 + -84. Is o smaller than a?
False
Let h be (-87)/(-33)*(-1)/(-7). Let v = -1/11 + h. Are v and -2 equal?
False
Suppose 16*a = 12*a + 56. Do a and 7 have the same value?
False
Let s(v) be the third derivative of -v**6/120 - 3*v**5/20 + v**4/24 + 4*v**3/3 + 3*v**2. Let c be s(-9). Is c greater than or equal to -2/9?
False
Let g = -85.38 - -85. Which is smaller: g or 1/2?
g
Let w be (221/52)/(-1 - -2). Is w greater than 4?
True
Let c = 657 + -4589/7. Do c and 1 have different values?
True
Let h(x) = x - 6. Let b(o) = 3*o - 19. Let t be (0 - 0) + (-2 - -4). Let r(d) = t*b(d) - 7*h(d). Let n be r(6). Are n and -2 unequal?
False
Let k(p) = 5*p**2 + 3*p + 2. Let d be k(-1). Suppose n - 1 = -m - 3, -d*n - 29 = -3*m. Which is bigger: m or 1?
m
Let m be (-2 - 6/(-5))/((-10)/400). Which is smaller: m or 31?
31
Let a be (-1 + -4)*((-99)/105 + 1). Is a > -20?
True
Let v be 0/7 + 0 + 0. Is -2/7 < v?
True
Let m be ((-1)/13)/((-2)/(-4)). Let v(o) = o + 7. Let h be v(-5). Suppose 4*l - l + 19 = -4*a, h*a - 5*l - 23 = 0. Which is greater: a or m?
m
Let n be 54/24 + (-2)/8. Suppose -2*h - 4 = n*h. Which is bigger: 1/3 or h?
1/3
Let r = -2 - -13. Is 9 less than or equal to r?
True
Let w(h) = h**3 + 3*h**2 - 3*h - 5. Let g be w(-3). Suppose -4 - g = 4*t. Let j be 1/(0 - -1) + -4. Which is smaller: j or t?
j
Let z = -17.86 - 0.14. Let s = z - -17.9. Which is bigger: s or 2?
2
Let l(s) = 8*s + 35. Let w be l(-7). Is -21 less than or equal to w?
True
Let o = 25 - 15. Suppose 14 = 4*j - 2. Suppose j*u = 2*u - o. Which is bigger: u or -4?
-4
Let o = 5 - 2. Suppose 5 = o*i - 10. Is -2 at most i?
True
Let a = 12 - -8. Suppose 0 = 3*m + 8 - a. Suppose 8 = -m*t - 4. Is -2 at most t?
False
Let x be 1 + -1 - 3/(-2). Let q(r) = -r**3 - 12*r**2 - 10*r + 16. Let y be q(-11). Suppose y*z + 14 = -u, -3*u = 3*z + 8 - 2. Are u and x nonequal?
True
Let b = -0.8 + -0.2. Let w = -19.9 + 21. Let l = b + w. Are l and 4 equal?
False
Let y(b) = 7*b - 13. Let p(z) = 13*z - 25. Let o(k) = 6*p(k) - 11*y(k). Let c be o(5). Let i be 3 + c + (-8)/(-1). Which is bigger: i or 8?
i
Suppose 4*p + 11 = -5. Let q be p/(-6) + (-16)/6. Which is smaller: -4/3 or q?
q
Let w be (-5536)/450 - (-2)/(-1). Let u = 128/9 + w. Which is bigger: u or -1?
u
Let d = 4 - 4.03. Let l = 0.03 + d. Which is smaller: l or 1/5?
l
Let g = -76 + 75. Is -3/56 >= g?
True
Let o be (-377)/(-30) - 6/15. Let v = 25/2 - o. Let t(n) = n**3 - 5*n**2 + 5*n - 5. Let q be t(4). Which is smaller: q or v?
q
Let v = -0.19 - -0.21. Which is smaller: v or 12?
v
Suppose -l - 15 = -5*c, 0*c - 3*c = 4*l - 55. Suppose -4*j - 2*g = -6*j + l, -5 = g. Which is smaller: j or -1/4?
-1/4
Let p = 562079/173 - 3249. Which is smaller: p or 0?
0
Suppose 7*q + 10 = 5*h + 9*q, 4*h - 8 = 3*q. Are h and 3 unequal?
True
Let d(f) = -f**3 - 33*f**2 - 31*f + 14. Let y be d(-32). Which is bigger: -14 or y?
-14
Let i(g) be the second derivative of g**3/6 - g**2 + 2*g. Let j be i(2). Let r be (-27)/54*0/(-1). Is j equal to r?
True
Let q = -0.2 - -0.1. Let z = q - 1.9. Which is greater: -0.07 or z?
-0.07
Let i(c) = 2*c**3 - 2*c**2 + 1. Let z be i(1). Suppose -3*d + z = -5. Do 0.1 and d have different values?
True
Let u be -2 - (-3 + 14/(-12)). Let o(k) = -k - 4. Let x be o(-6). Are u and x non-equal?
True
Let w = 6 + 2. Let g = 11 - w. Which is smaller: -0.2 or g?
-0.2
Let j be -3 + (-4)/(220/(-205)). Which is bigger: 2/5 or j?
j
Let p be (1/((-3)/(-6)))/6*0. Which is smaller: 6/29 or p?
p
Let o = 12 + -19. Let a = 9 + o. Which is bigger: a or 0.1?
a
Let p(c) = -c + 4. Suppose -2*y + 4 = -2*r, -r + 2*r + 8 = 4*y. Suppose -y - 8 = -2*w. Let v be p(w). Which is smaller: 0.3 or v?
v
Let q = 83 + -53. Suppose 4*k - q = 9*k. Is -6 at most k?
True
Suppose -24*p = -25*p + 1. Which is bigger: 10/13 or p?
p
Let c be (-2)/(-24) + (-1)/(-4). Let h be (2 - -1)/(6/4). Let f = 2 - h. Which is greater: c or f?
c
Let x = 10 + -61/6. Is x < -1?
False
Suppose 2*n = -3*c - 20, 2*n + 4*c - 34 = 4*n. Is -14 equal to n?
False
Let t = -24 + 25. Let k be t*(24/10 + -3). Let q = 1 + -1. Is k bigger than q?
False
Let t be 5/(15/(-54)) + 4. Let x be t/(-18) + (-2)/(-9). Let i(l) = l**3 - 2*l**2 - 3*l - 1. Let p be i(3). Does p = x?
False
Let k = -10 - -10.1. Is k != -2?
True
Let q be (-1 - 1)*23/2. Which is greater: q or -22?
-22
Let v be ((-3)/(-16))/((-133)/36). Let p = -3/28 + v. Is 1 at least p?
True
Let b be (-25)/(-1)*(-2 + 1). Which is smaller: b or -24?
b
Let h = 16 + -74/3. Do -10 and h have the same value?
False
Let x = 10 + -19/2. Let h be (-1)/3 + 3/9. Which is smaller: x or h?
h
Suppose -2*u + 9 = q, -u + 10 = -2*q + 3. Let m be (-3)/(-1) + (u - 6). Suppose -n - y = -0*n + 1, -2*y - 2 = -m*n. Is -1 smaller than n?
True
Let o = 0 - -1. Suppose -2*p + 11 = 1. Suppose -p*v - 5*r + 21 = 1, -2*v = -2*r + 4. Is v at least o?
True
Let l(b) = b**3 + 9*b**2 - 10*b - 1. Let w be l(-10). Let q be 6*w/6*-4. Suppose -q*k = -10 - 10. Which is smaller: 6 or k?
k
Let k = 8 - 32/3. Is -3 less than k?
True
Let r = 5270/3 - 1983. Let s = r + 224. Which is smaller: -3 or s?
-3
Suppose -2*b + 10 = -0*b. Let c = 2.31 - 0.21. Let h = 2 - c. Which is greater: b or h?
b
Let l = 22.87 + -16.9. Let b = 6 - l. Let u = -18 - -18.1. Are u and b equal?
False
Let u = -0.12 - -0.22. Let x = -5 - -8. Which is bigger: x or u?
x
Let i(h) = 2*h**2 + 2*h - 2. Let p be i(-2). Let w = p + -1. Which is greater: 7 or w?
7
Let f be ((0/(-2))/4)/(-3). Suppose -p - 4 = -3. Which is smaller: p or f?
p
Let t = 5 - 8. Suppose 11 - 1 = -5*x. Which is greater: 