Let f = 10757/875 + -86/7. Let v = 382/875 - f. Which is bigger: v or -2/7?
v
Let b be (-8)/10 - 648/(-210). Suppose 0 = 4*n + 3*y - 7, 3*y = 5*n + 5*y - 7. Is b smaller than n?
False
Let v = -351 + 353. Suppose -2 = -2*i - 0. Is v bigger than i?
True
Let s = 12 + -3. Let j = 5 - s. Let t = -1.1 + 0.8. Is t at most j?
False
Let a = -1709/5 - -18779/55. Let u be -4*(3/(-4))/(-1). Let h be (-1)/(-2) + u/2. Which is smaller: h or a?
h
Let o = 126 - 129. Let x = -29/9 - o. Which is greater: x or 5?
5
Let c be (-13 - (-153)/34)/((-23)/(-2)). Is c at least as big as -2?
True
Suppose 26*r - 2738 = -4*q + 28*r, r = -5. Which is smaller: 681 or q?
681
Let y = -0.6 + 1.9. Let v = -71 - -70. Let h be (v/2)/((-10)/8). Is h at most y?
True
Let c be -5 + (-2 - (-585)/(-27)). Are -30 and c non-equal?
True
Let c be ((-872)/860 - -1)*30/(-9). Suppose -s + 4 = 3*s. Let m = -2 + s. Is m > c?
False
Let k = 63/4 - 16. Let h(o) = o + 11. Let v be h(-8). Suppose -v = i - 4. Which is bigger: k or i?
i
Let k be 15*(1 - 2/6). Suppose 2*i + 0*i + k = -f, -2*f = 3*i + 15. Let j = 102 + -305/3. Is j less than i?
False
Let c be 3/4*(-1000)/375. Is c >= 71?
False
Let y be (-11 - 78/(-12))*(-32)/258. Are y and 0 non-equal?
True
Let z = -5/67972 - -412861943/203916. Let p = z + -179084/93. Let v = 99 - p. Which is bigger: v or 1?
1
Let x = -1468 + 1368. Are -101 and x non-equal?
True
Let d = 391/10 + -197/5. Suppose 0 = -2*v - 3*b + 27, -v - 2*b = 3*b - 17. Let o be v/(-8)*(-8)/(-12). Are o and d equal?
False
Suppose 3*j + 53 = -5*b, -5*j = 2*b + 45 + 75. Let z be ((-1)/2)/(j/8). Let d = 2 + -2. Which is smaller: d or z?
d
Let q = -4/217 + 486/2821. Is q greater than -1?
True
Let q(n) = -13*n**3 + n**2 + n + 2. Let v be q(-2). Let o be 2/9 - (-651)/v. Let p = o - 6. Is -1 less than p?
True
Let l = -26 - -13. Let j = 0.032 + -79.032. Let u = -78 - j. Which is bigger: u or l?
u
Let x be 6*(-9 + (-78)/4). Which is bigger: -173 or x?
x
Let a = -14 + 18. Let r be (a + (-15)/5)/(-2). Is -1 equal to r?
False
Suppose -2*z - 10 = 0, 0 = -s - z - 3 - 3. Let r be 5 + s - (-1 + 2). Suppose 0 = -r*i + b - 23, 5*i + 0*i - b + 39 = 0. Is -10 < i?
True
Let u be 9 + (-1)/(-2)*-12. Is -1/42 greater than u?
False
Let t be ((-6)/8)/(54/(-16)). Let f(k) = k**3 - 21*k**2 + 21*k - 54. Let o be f(20). Which is smaller: o or t?
o
Suppose 3*k - 4 = 2*b - 0*b, -3*k + 20 = 2*b. Suppose -3*y - 10 = 2*y, -2*p + 4*y - b = 0. Let f(d) = -d. Let s be f(5). Is s at least as big as p?
True
Let l = 2 + -5. Let t be 73/(-15) - (-12)/(-36). Let k = t - -187/35. Which is greater: k or l?
k
Suppose 0 = 5*g - 2*o + 3, 0 = -2*g + 4*o + o + 3. Let v(n) = n**2 - 2*n - 1. Let s be v(2). Let r be (s/3)/((-2)/4). Is g at least r?
False
Suppose 2*n - 3*s - 70 = -7*s, -s = -1. Is 30 less than or equal to n?
True
Let z be 2 + -2 + 2/(-143). Suppose 0 = 2*h + 4*b - 22, 3*b - 10 - 8 = -3*h. Which is greater: z or h?
h
Let g be 5/(-1390)*12/(-30). Which is smaller: g or 0?
0
Let b = 2 - 1. Let q = 2 + -1. Are b and q equal?
True
Let i = -1803414461/807 - -2234715. Let p = i + -2/269. Let w = -18 + 37. Is w <= p?
False
Let s be 14/(-3)*(-30)/(-10). Let c = -357 - -341. Is s at most c?
False
Let j(i) = 2*i + 2. Let h be j(1). Let l be 32/10*10/h. Suppose 7*m = l*m. Is 1/3 < m?
False
Let d = 107 - 118. Which is greater: 6 or d?
6
Suppose -4*m - m - 30 = 3*a, 0 = -4*a - 2*m - 26. Which is smaller: 0.11 or a?
a
Let w = 14 + -19. Is 1 equal to w?
False
Let h = -0.937 - -0.917. Which is greater: h or 20?
20
Let a = -42 - -41.79. Let b = a + -0.23. Let t = 17.56 - b. Is 1 equal to t?
False
Suppose 0 = -2*b + 4*x + 18, -2*b - x + 9 - 1 = 0. Suppose -j + b*n + 7 = 0, 5*j - 5*n = -17 - 8. Which is bigger: j or -7?
-7
Suppose 3*z - 5*n - 390 = z, 3*z + 4*n - 608 = 0. Let b be 4/(-1 + 2) + (-1040)/z. Which is greater: b or -1?
-1
Suppose -10*y = -12*y + 8. Let w be (y + -14)*2/(-22). Which is greater: w or 2?
2
Suppose -i - 5*t + 16 = -0*i, 4*i - 10 = -2*t. Let q be i*(2 - 3)*(0 + 0). Is q <= -15?
False
Suppose -7*d = -6*d + 4*y - 3, 0 = 2*d + 3*y + 9. Let i = -8 - d. Which is smaller: -1 or i?
-1
Let t(k) = -44*k - 396. Let g be t(-9). Which is smaller: g or 7/33?
g
Let t(f) be the first derivative of -5*f**2/2 + 5*f - 9. Let v be t(2). Is -2 < v?
False
Let l(p) = p**2 - 5*p - 14. Let w be l(-3). Let v = -153 - -166. Is w bigger than v?
False
Let a = -732851/11362 + 1/5681. Let f = a + 70. Let m be ((-1)/(-3))/((-2)/(-30)). Is m at most as big as f?
True
Suppose 3*n + 1 + 2 = 4*c, -5*c + 5 = -5*n. Suppose -v - 2 + 19 = c. Is 16 less than v?
True
Suppose -s + 309 = -2*j, 1605 = 5*s - j + 6*j. Is s > 318?
False
Let z be (-1420)/(-8) - (-3)/(-9). Let k = -178 + z. Does k = 0?
False
Suppose 4*f - 8 = 3*f + 3*n, -23 = -2*f - n. Let m = 50 + -47. Is m < f?
True
Suppose 51 = 5*j - 59. Let y = j - 23. Is -1/25 greater than or equal to y?
True
Let v = -1049 + 791. Which is smaller: v or -259?
-259
Let k(g) = -3*g**2 + 8*g - 9. Let i be k(3). Which is smaller: -2 or i?
i
Let q = -1020637/59 - -17300. Are 0 and q non-equal?
True
Let a = 1230.2 + -1207. Do a and 1 have the same value?
False
Let b = 574 - 334. Which is smaller: 238 or b?
238
Let g(a) = -a**2 + 9*a + 38. Let t be g(12). Suppose t*o - 3*o = o. Which is greater: o or -5?
o
Let r(i) = i**2 + 13*i - 63. Let v be r(-19). Suppose 0 - v = -4*m + 5*u, -18 = -m - 4*u. Which is smaller: 11 or m?
11
Suppose 6 = 14*k - 8*k. Let y = -0.02 + -0.98. Let a = y + 2. Is k bigger than a?
False
Let j = -14.3 + 13.3. Let p = 15 - 37. Which is bigger: j or p?
j
Let g(p) = -p**3 + 5*p**2 - 4*p - 1. Let r be g(4). Which is smaller: -4/15 or r?
r
Suppose 2*a = -a + 3*o + 99, 4*o - 85 = -3*a. Let j(n) = -n**3 + 2*n**2 + 3*n + 32. Let w be j(0). Which is greater: a or w?
w
Let d = 8 - -1. Let l = d - 3. Suppose -2*c - 9 + 1 = 0, f - 2*c - 12 = 0. Which is greater: f or l?
l
Suppose -5*y + 5*v = -40, 3*v - 2 = -2*y - 2*v. Let o = 31 - 28. Suppose o*l - l = y. Is l smaller than 2?
False
Suppose -h + 0*h + 94 = 0. Which is smaller: h or 1?
1
Let y be (-87)/(-5) - (-21)/(-105)*-3. Which is smaller: 83/5 or y?
83/5
Let y = 898 + -898.29. Suppose -4*p + 4 = -2*p. Which is bigger: y or p?
p
Let x(g) = 2*g**3 + 11*g**2 - 10*g - 9. Let n be x(-6). Let j = n + -18. Let z be -11 - (j - -3)/3. Which is smaller: -10 or z?
z
Let x = 13.0199 - 0.1099. Let z = 0.09 + x. Which is bigger: 0.1 or z?
z
Let q(u) = 14*u**3 + u**2 - 29*u - 12. Let s(n) = 5*n**3 - 10*n - 4. Let j(o) = -6*q(o) + 17*s(o). Let b be j(5). Which is greater: 11 or b?
11
Suppose -k = 5*p - 6*k - 155, 2*p - k - 61 = 0. Let b be 7/(56/16) - -27. Is p at least b?
True
Suppose 0*t = 4*t. Let u be 3 + 3 + 6*-2. Let q(f) = -f**3 - 7*f**2 - 7*f - 6. Let n be q(u). Is n not equal to t?
False
Let d = -15 - -18. Let j = d + -3.11. Let i = 1.11 + j. Is -1 greater than or equal to i?
False
Suppose -5*v = 8*h - 3*h, -v = 1. Which is smaller: h or 1/953?
1/953
Let k(n) = 61*n + 12. Let f be k(-11). Let c = f - -3935/6. Let m = 145/42 + c. Are -1 and m unequal?
True
Let t(f) = -f**3 + 9*f**2 + f - 10. Let p be t(9). Let o(h) = h + 2. Let s be o(0). Suppose -5*a + 3*a = -s. Which is greater: a or p?
a
Let p(k) = k**2 + 3*k - 5. Let n be p(-4). Suppose -4*l + 48*d - 45*d + 26 = 0, 4*l + 4*d + 16 = 0. Is n equal to l?
False
Let p(h) be the first derivative of -h**3 - 23*h**2/2 + 7*h + 13. Let y be p(-8). Which is smaller: y or -1/65?
y
Let k = -5.08 + 8.1. Let o = k + -3. Let c be -5*(-4)/50 + 0. Is o bigger than c?
False
Let m = 503.5 + -318.6. Let z = -185 + m. Let b be 2/(-26)*-2 + 0. Which is smaller: b or z?
z
Let l = 0.54 + -21.54. Let p = l - -22. Does -9 = p?
False
Let c be (1 + -20)/(-1 - 8). Let p = -9981 - -9984. Are p and c unequal?
True
Suppose -341 = -7*q + 51. Which is greater: q or 57?
57
Let q = 11 - 6. Let u be 1038/(-30) - (-3)/q. Let r = u - -22. Is r >= -23/2?
False
Suppose 4*m = -3*v - 142, -4*m = 2*v + m + 90. Is -351/7 greater than v?
False
Let j(x) = 30*x - 272. Let z be j(9). Are 2/17 and z non-equal?
True
Let u(f) = f. Let k be 88/(-11) + (-6)/(-2). Let z be u(k). Let i be z/15*(-1 - 0). Is i bigger than -1?
True
Let s(q) = -q**3 - 58*q**2 + 54*q + 155. Let j be s(-59). Which is greater: 451 or j?
451
Suppose 3*l - 21 = -2*v - 2*l, 5*v = -3*l + 2