 = -384 + 266. Which is bigger: -117 or z?
-117
Let a be ((-1)/((-5)/13))/((-4)/(-85)). Is 54 greater than a?
False
Let k = -33.04 - -0.04. Let i = -17 - k. Let p = i + -17.5. Do p and 0.1 have the same value?
False
Let v = -1/53 + 109/159. Let c = 13 + -13.23. Are v and c equal?
False
Let q be (-26 - -3)/(-6 + 9 - 4). Which is smaller: q or 28?
q
Suppose -39*f - 520 = -47*f. Let t be (5 - f/15)/((-62)/1). Is -1 greater than t?
False
Suppose -m - 2 = m. Let l = 20530/7 - 2941. Let i = -8 - l. Which is bigger: i or m?
i
Suppose -4 + 10 = 2*d, o = -3*d + 9. Let s = -11062/1425 + 148/19. Which is bigger: o or s?
s
Suppose -4*o + n + 77 = 0, 2*o - 95 = -2*o - 5*n. Let k = -21 + o. Which is bigger: k or -4/5?
-4/5
Suppose -2*g + 3*c = -4*g + 10, 2*g = -c + 2. Are g and 0 non-equal?
True
Suppose -18*i + 23*i + 280 = 0. Are i and 0.2 unequal?
True
Let o be (6/66)/(1/74). Do o and 7 have the same value?
False
Let v be ((-110)/66)/(34/(-216)). Is v greater than 11?
False
Let i be -1 + (3 + 0 - -2). Let s be (-14)/(-24)*-1*i. Is s smaller than -2?
True
Let h be (21 - 3)/3 - 2. Suppose -4*o = 5*n + o - 5, -5*n = 4*o - h. Which is smaller: n or 2/15?
n
Let o be (6/(-4))/((-10)/180). Suppose -7*f = -o - 8. Is f >= 6?
False
Let r = -2/321 + -1559/7383. Do r and 2/3 have different values?
True
Let h(j) = -8*j. Let n be h(-2). Let m be n/(-12) + (-106)/6. Is m less than -19?
False
Let g = 1690 + -1669. Are 1 and g unequal?
True
Suppose 2*q + 45 = 5*q. Let v be ((-4)/(-10))/(153/q). Is v bigger than 0?
True
Let j be ((-16)/10)/((-8074)/(-55)). Which is smaller: -1 or j?
-1
Let v = -37 + 39. Let z = v - 1.9. Which is smaller: 12 or z?
z
Let c = -16 - -19. Let q be (-1)/c + (-4 - -3)/(-3). Is -7/26 at least q?
False
Let i = -0.153 - -0.783. Let y = 0.086 + 0.144. Let d = i - y. Which is smaller: -4 or d?
-4
Let x = 1445/14 - 205/2. Let q = x - 1/21. Suppose 5*n - 46 = -21. Is n not equal to q?
True
Let d = -627 + 627. Is d greater than or equal to 1/1080?
False
Suppose -3*m - 39 = 3*a, -2*a - m - 4 = 24. Which is smaller: a or -33?
-33
Let y(b) = -2*b**3 + 14 - 9*b + 9*b**2 - 10 + b**3. Let x be y(8). Let s = 13 - 16. Which is greater: s or x?
s
Let a = -4 + 12. Let f = 11 - a. Which is greater: f or 0.02?
f
Suppose h = -2*y - 4, -3 = -5*h - y - 14. Let j = 28 + -25. Is j less than h?
False
Let t = 26.96 - 27.077. Is t smaller than -4?
False
Let n = -1472/715 - -87/55. Let r = -1/13 - n. Which is smaller: r or -15?
-15
Suppose 8 = -3*c + 4*c. Let z = c - 2. Let m(k) = -2*k - 3. Let t be m(-5). Which is smaller: t or z?
z
Let s(b) = b**3 + 5*b**2 + 2*b + 3. Let a(t) = t - 4. Let z be a(9). Suppose 3*y + 0*w + 4*w - z = 0, 5 = 4*y + 5*w. Let p be s(y). Is -7 > p?
False
Let u be (10/4)/(3/6). Let q = 566 + -562. Which is greater: q or u?
u
Let y be -21*((-36)/(-15))/(84/90). Is y > -53?
False
Let p = 2004.933 - 2005. Is p at most 0.06?
True
Let g = 6 - 17/3. Let q(x) = -x + 8. Let s = -14 - -23. Let o be q(s). Which is smaller: g or o?
o
Let l = 10 - 10.21. Let u = 1.79 - l. Which is smaller: u or -1/13?
-1/13
Suppose 0 = -2*x - 8 + 10, -3*j + 5*x - 5 = 0. Are -3/23 and j equal?
False
Let x = 108 + -205.4. Is x greater than or equal to 1/3?
False
Let s = -35 + 22. Let n = -17 - s. Let b be (-9)/12 - (-1)/n. Is 1/3 at most as big as b?
False
Let u be 0 - (1 + -3 + -1). Let d be (-12)/(-30) + (-73)/(-5). Let i be (4/d)/(5/50). Is i at least as big as u?
False
Suppose -8*q + 21 - 5 = 0. Let g = 26 - 11. Let u = 97/6 - g. Which is smaller: q or u?
u
Suppose 0*l = -3*l - 159. Let a(q) = 15*q + 36. Let i be a(-6). Which is smaller: l or i?
i
Let i(f) be the third derivative of -f**4/24 - f**3 - 10*f**2. Let u be i(-4). Are -3 and u unequal?
True
Let m = 29 + -30.67. Is 0.03 bigger than m?
True
Let w = -1656 - -1655. Which is bigger: 11/61 or w?
11/61
Let h be ((35/(-5))/(-21))/(2/(-1182)). Let q be h/(-5) - (-4)/(-10). Which is bigger: q or 2/5?
q
Let p(w) = 4*w**2 + 8*w + 5. Let m be p(-3). Let u(q) = 9*q**2 + 2*q + 1. Let t be u(-1). Let d = t - 7. Is d <= m?
True
Let u = -1.48 + -19.52. Which is bigger: u or 0.3?
0.3
Suppose 2*r - 266 = 4*u, 13*u - 8*u + 330 = 3*r. Which is bigger: u or -71?
u
Let t = -3459/11 + 315. Which is bigger: t or -2/131?
t
Let v = -1486.2 - -1486. Is v > -0.286?
True
Let s = -50 - -84. Let q = -385 + 350.9. Let l = s + q. Is -0.04 less than l?
False
Let f be 1*(-1 - -20) + 0. Let g(a) = a - 13. Let o be g(f). Let q be 2/(-44)*(-18 + o). Is 1/2 greater than or equal to q?
False
Let j = -2159 + 2199. Does 40 = j?
True
Suppose 0 = -32*j + 13*j. Let h = 26 - 129/5. Which is smaller: h or j?
j
Suppose -4*y - d + 311 = 0, 5*y + 5*d - 405 = 7*d. Does y = 77?
False
Let a be (-4032)/(-1488)*12/8. Which is smaller: a or 5?
a
Let h = 1.79 + -1.99. Let g = -1.1 - -1. Let y = g + -0.1. Is y >= h?
True
Let x = 3370/3 + -1077. Let m = x - 46. Let o = 4/83 + 233/332. Are m and o nonequal?
True
Let d(z) = -4*z + 12. Let i be (-16)/(-3)*(-12)/(-8). Let n be d(i). Which is bigger: n or -22?
n
Suppose -5*o - 3 = -4*k - 12, 6 = -5*k + o. Is 3/296 greater than k?
True
Let f be 2*(1 + 13/(-12)). Let j = -7/12 + f. Suppose -10*a + 9*a = 0. Which is greater: a or j?
a
Let h be 48/(-120) - ((-246)/(-5))/2. Are h and -25 equal?
True
Let l(w) = w**2 - 22*w + 88. Let n be l(13). Is n != -28?
True
Suppose 3*r - 25 + 2 = 5*h, 4*h = 5*r - 21. Let j be ((-3)/(-9))/((-8)/(-54)). Which is smaller: j or r?
r
Let o(h) = -78*h + 468. Let v be o(6). Let s(u) = u**2 - 4*u + 5. Let l be s(4). Suppose 7*n = 2*n - l. Is v greater than or equal to n?
True
Let h be (-2)/(-8) + (-3)/(-4). Suppose v + 13 = -n, -47 = 5*v - 2*n + 11. Let p be ((-3)/42)/((-3)/v). Which is smaller: h or p?
p
Let x be (-1 - 13)/(1 + 10). Let k = -48/55 - x. Let t = 0.48 + -0.28. Do t and k have different values?
True
Suppose l - 14 = -l. Let j(a) = a**2 - 9*a + 8. Let s be j(l). Let q be ((-16)/20)/(s/5). Which is smaller: 2/9 or q?
2/9
Let s = 102 - 110.2. Let g = s - -8. Let v = -0.2 + -2.8. Which is greater: v or g?
g
Let n(b) = b**2 + 13*b + 17. Suppose 4*d + 33 = -3*f, -2*d = d + 4*f + 16. Let p be n(d). Suppose 0 = p*w + 20 + 15. Is -7 at most as big as w?
True
Let v = 17.26 - 0.26. Let c = 17.07 - v. Let t = 0.15 - c. Which is smaller: 0 or t?
0
Let k(p) be the first derivative of p**4/4 + 5*p**3/3 - 3*p**2/2 + 6*p + 6. Let y be k(-5). Is y less than 21?
False
Suppose -5*g + 10*g + q - 7251 = 0, 5816 = 4*g - 3*q. Which is bigger: 1452 or g?
1452
Let a = 55.975 + -56. Let v = 0.025 + a. Is 0 less than v?
False
Let n = -8 + 12. Let j be 0/7 + 191/n. Let m = j + -47. Which is smaller: m or 2/3?
2/3
Let x be 2*((-6)/40)/(18/(-15)). Which is smaller: -20 or x?
-20
Let u(g) = 104*g + 2. Let y be u(-8). Let a be (-81 + 2)*(-5)/y. Let x = 2/83 - a. Is x at most as big as 0?
False
Let p = 24 - 22. Suppose -g + 4 = -p*s + g, -2*s - 4*g = -20. Which is bigger: 3/4 or s?
s
Let g = 4918/9815 - 150/151. Let d be 4/(-6) + (-42)/(-117). Let y = d + g. Which is bigger: 0 or y?
0
Let l be 5/2*27/459. Which is bigger: -1 or l?
l
Let t be 18/14 + -1 - -2. Let p(u) = u**3 - 4*u**2 + 5*u - 4. Suppose 0 = 5*q - 15 - 0. Let m be p(q). Which is smaller: t or m?
m
Let y be 36/15 - (-3)/5. Let g be (-56)/12*y/2. Let f be 4/(-10) - g/10. Do f and 0 have different values?
True
Suppose -6*c + 529 = -29*c. Is c >= -112/5?
False
Let t(y) be the second derivative of 13*y**3/6 + y. Let m be t(-6). Let j be 1/(-2) + (-51)/m. Is j smaller than 1?
True
Let k = -795 - -898. Which is greater: 519/5 or k?
519/5
Let h be 143/(-121) - 10/(-55). Is -12/5 > h?
False
Let u = -193 - -214.2. Is 0 less than u?
True
Let u = 5.1 - 0.1. Which is smaller: u or 4/3?
4/3
Let r be ((-6)/5)/(39/(-4355)). Is 134 less than r?
False
Let i = -312 - -311.86. Is i not equal to -0.03?
True
Let j(o) = -o - 9. Let y be j(-12). Suppose 6 = b - 3*s, -b - 1 = 3*s + 11. Let p be y - (3 + 2 - b). Are -6 and p unequal?
True
Let a be (1 - -5)/((-41)/(287/(-42))). Which is smaller: a or -8/189?
-8/189
Suppose -9*y = -18*y - 9. Let u = -0.25 + 0.23. Which is smaller: y or u?
y
Let c be 6*((-116)/(-24) - 4). Suppose c = -4*b - 19. Let s = -6 - b. Is 3/8 less than s?
False
Let r be -1 - (-8 - -12) - -1*1415. Is r at most as big as 1409?
False
Let r(n) be the second derivat