-9/7?
True
Let z(o) = -o**3 + 6*o**2 - o. Let s be z(5). Suppose -6 = 8*i - 7*i. Let x be (i/(-5))/(2/s). Is 13 <= x?
False
Suppose a = -7 + 8. Suppose -a = -0*t - t. Which is greater: t or -1/23?
t
Let x = 1014 + -1004. Which is smaller: x or 1/28?
1/28
Let a be 4421/(-44) - 51/68. Let k = 201/2 + a. Is 0 at least as big as k?
True
Let g(b) = b**3 + 5*b**2 - 2*b - 5. Let o be g(-5). Suppose 3*v - v - 2 = o*r, 3*v = -5*r + 3. Suppose 3*p - 5*p = r. Which is smaller: p or 1/8?
p
Let h = 17 - 17. Let o be ((-1)/(-2))/(3/3834). Let z be 195/o - 3/9. Which is smaller: z or h?
z
Let k be -20 + (-25)/(-3)*(-6)/(-10). Is -294/19 bigger than k?
False
Suppose 5*d = -0*d. Suppose -4*w - 5*c = -275, -w + 41 = 5*c - 39. Let p be ((-1)/25)/((-26)/w). Which is smaller: d or p?
d
Suppose -4 = -3*w - 1. Suppose -a + 2*v + 43 = 0, -a + 187 = 3*a - 3*v. Let z = -197/4 + a. Is w smaller than z?
False
Let z be ((-8)/1628)/(3 + -8 - -4). Which is smaller: z or 1?
z
Let l(v) = 3*v**2 + 13*v - 36. Let p be l(-11). Suppose -40 = -4*j + p. Which is bigger: 55 or j?
j
Let r = 1049/4 - 263. Is r < -81?
False
Let q be 1 - -1*(-6)/2. Let o be (9/(-36))/(q/8). Suppose -5*d - o = 19. Does d = -6?
False
Suppose -2*m + 5 + 3 = 0. Suppose 23 = -m*v - 5. Let r be 5*(-2 + v/(-3)). Is 2 smaller than r?
False
Let k(j) = -2*j + 28. Let z be k(14). Suppose 0 = -3*y - 5*o, -5*y - 5*o = -z*y. Is -1 greater than y?
False
Let p = 5 - -3. Let f be ((-4)/p)/(6/4). Let h = 57 - 56.8. Is h smaller than f?
False
Suppose -84 = f + 3*f. Let l be 2/(-3)*f/(-14). Let g be l/2 + (-2)/(-4). Which is smaller: -1 or g?
-1
Let f be -12 - (2 - 3) - 0. Let o = -334 + 322. Let j = o - f. Which is smaller: j or -3?
-3
Let m = 14/47 + 5/141. Which is greater: m or -0.39?
m
Let t = -149 + 72. Let a = t - -77.09. Let l = -2 - -3. Is l at most as big as a?
False
Suppose -2*s - 28 = -6*s. Let w = s + -3. Which is smaller: w or 11?
w
Let s be (-2 - -1)*1/5. Which is smaller: s or 2.7?
s
Let x = 57.337 - 57.6. Let j = x - 0.037. Which is smaller: j or 0.06?
j
Let m be (1 - -1) + 6/(-4). Let k = -436 - -24856/57. Let f = k - -383/228. Is m at most as big as f?
True
Let m be 15/4 - 1 - 2. Suppose 4*c + 0*c + 4*f = -20, -20 = 2*c + 4*f. Is m at most c?
False
Let h(m) = -3*m + 11. Let k = -6 - -3. Let t(q) = q**2 + q - 1. Let d be t(k). Let j be h(d). Which is smaller: j or -3?
j
Let l = -3/328 + 337/984. Is 14.7 bigger than l?
True
Let x = -140/3 - -47. Suppose 6*m - 10 = -10. Which is smaller: x or m?
m
Suppose -2162 = 38*n - 15*n. Which is smaller: n or -96?
-96
Let l = -46 - -44. Is -24/25 greater than or equal to l?
True
Let p = -17303/338352 + 15/304. Is p at least as big as 0?
False
Suppose 3*u = 5*u - 4. Let b be (u + 1 - (-40)/(-16))*-38. Which is smaller: -18 or b?
b
Let g = -62.5 + 136.5. Is 1/2 less than g?
True
Let g be ((-10)/6)/((-6)/12). Suppose -6*p + 10 = -p. Do p and g have different values?
True
Let d = -579 - -971. Which is bigger: d or -1?
d
Let r = -12.6 + 1.6. Let s = 2 + r. Let c = s - -9.07. Which is greater: c or -2/3?
c
Let n = -113/68 - -7/17. Is -1 at most n?
False
Let m(d) = -3*d + 51. Let f be m(17). Suppose -5*h - 22 + 182 = f. Suppose 2*y - 3*y + 33 = 0. Is y >= h?
True
Let q(w) be the second derivative of -w**5/20 + w**4/4 + w**2 + 3*w. Let t be q(3). Suppose -4*l - 4*g = -4, l - 21 = 6*g - t*g. Is l less than 6?
True
Let i be (-6)/(-14)*3/(-18). Let n = 22 - 21. Which is greater: n or i?
n
Let f = 1298/9 + -144. Let t(w) = 19*w + 361. Let v be t(-19). Which is smaller: v or f?
v
Suppose 0 = -2003*v + 2015*v - 7536. Is 628 at most v?
True
Let x(n) = -3*n**3 - 5*n**2 - 3*n - 1. Let v be x(-3). Let q be (-22)/(-165) + v/45. Is q less than 1?
False
Let b = -43 - -13. Let j = b - -30. Let w be 4/(-12)*18/11. Is j at least as big as w?
True
Let u be 2/4*6/5*109. Let k = u - 65. Is 10 >= k?
True
Suppose z = -4*n + 29, -5*n + 3*z + 25 = -3*n. Let m = 55 + -50. Suppose 3*y = n - m. Is -3/8 > y?
False
Let z = -236 - -235. Let j = 0.04 + 7.96. Is j not equal to z?
True
Suppose -4*d = -2*d - 84. Suppose -2*t + 5*t - d = 0. Let v(x) = 5*x**2 - x - 4. Let w be v(2). Is t at most w?
True
Let h be ((-30)/(-6))/((-3)/(-3)). Suppose -1 = -3*u - 10. Let k(l) = -l**2 - 5*l. Let j be k(u). Is j bigger than h?
True
Suppose -4*d = 4*s - 21 + 89, -73 = 4*d + 5*s. Let c be (-11)/(0 - 0 - -1). Let z = c - d. Is 1/3 <= z?
True
Let x be -5*((-1876)/(-315) + -6). Is x at least -0.8?
True
Let n be ((-182)/(-12))/(6/4). Let x be -5 - -1 - (-176)/(-72). Let i = n + x. Which is greater: i or 5?
5
Let z(h) = -2*h - 29. Let q be z(-20). Is q bigger than 128/11?
False
Suppose -5*k - 16 = -4*g, -7*g + 20 = k - 2*g. Is 6/107 at most k?
False
Let u be 10*((-6)/1780)/(126/56). Which is smaller: -1 or u?
-1
Suppose -4*k + 6 = 2, 4*k = -2*m + 2. Let d be ((-8)/(-18))/2 + 208/(-1098). Is m smaller than d?
True
Let a(q) = -q**2 - 4*q + 9. Let d be a(-5). Suppose -u - 2 = -d. Let o be (56/(-26) - 0) + u. Which is smaller: o or -1?
-1
Let v be (1 - -107)*(2 - 1)/(-2). Let g be (-12)/v + -2*(-3)/(-18). Which is greater: -1/2 or g?
g
Let z = -1328/15 - -89. Which is greater: z or 0?
z
Let j be 4 - (6 + (-38 - -5)). Is 31 > j?
False
Let q = 2771 - 1953. Let v be q*(-1)/(-11)*7. Let j = -520 + v. Is -1/3 greater than j?
False
Suppose -2*a - 78 = 66. Let q be 6/a*176/(-14). Let x = q - 4/3. Which is smaller: -2/13 or x?
x
Let q = -19 - -8. Let o = q - -17. Let s = 12 - o. Is 7 bigger than s?
True
Suppose -3*o = -s + 518, 2*s + 2*o - 4*o = 1048. Let l = 24768/47 - s. Is 1 smaller than l?
False
Suppose -23*u - 47 = 22. Let v be 25/(-6) - (-3)/6. Which is smaller: u or v?
v
Let x(a) = 2*a**2 + 12*a + 16. Let s be x(-4). Is s less than 11/4?
True
Let k(t) = t**3 + 8*t**2 + 6*t - 6. Let n be k(-6). Let c be (4/n)/((-28)/(-20)). Which is bigger: c or 0?
c
Suppose 5*c = 3*r + 2070, 4*r - 252 = -5*c + 1783. Let j = c + -10279/25. Is j greater than -1?
True
Let z = -2/903 + 391/1806. Suppose 2*c + c + 3 = 0. Is z at least as big as c?
True
Let w = -519 - -465. Which is greater: -219/4 or w?
w
Let y(d) = -d**2 + 2*d + 1. Let t be y(2). Let b be (t/(-3))/(-1 + 0). Which is greater: 1 or b?
1
Suppose -17*i = -15*i + 2. Which is smaller: i or -3/94?
i
Let h = 8 - 7. Let k be (-1)/(((-1)/(-1))/h). Let f be -2 - 2 - 0/((-2)/2). Which is greater: k or f?
k
Let w = -10 - -16. Let x = 100 - 97. Suppose -5*z = -x*z + w. Which is greater: -6 or z?
z
Let l = -5245 - -15917/3. Let f = 61 - l. Which is greater: 1 or f?
1
Let r be 12/5 - (36/(-360))/(1/(-4)). Let q be (24/(-10))/(3/(-10)). Are q and r unequal?
True
Let g(c) = 5*c + 1 - 6*c - 3 + 7. Let m be g(-3). Which is smaller: m or 9?
m
Let n = 4540 + -40625/9. Let t = 26 - n. Suppose -1 = 2*p + 1. Which is smaller: p or t?
p
Suppose -5*a + 3*d - 3 = -30, a + 5*d - 11 = 0. Suppose -39 = 5*s - m, 3*m + 9 = -0*s - 3*s. Let h = s - -14. Which is smaller: a or h?
a
Let g(y) be the first derivative of y**4/4 + 11*y**3/3 + 9*y**2/2 - 14*y - 15. Let r be g(-10). Is -7 at least as big as r?
False
Let u(s) = -5*s**3. Let w be u(-1). Let p be -2*(-3 - 1/2). Suppose 2*y + 20 = p*q - 3*q, -2*y + 15 = 3*q. Is w bigger than q?
False
Suppose 47*m - 4672 = 15*m. Is m >= 2/3?
True
Suppose -u + 29 = 3*p, -5*p - 2*u = -p - 40. Suppose 4*g - 3*m - 8 = 0, -5*g = m - 15 + 5. Let f be g/p - 68/(-18). Which is smaller: f or 3?
3
Let s be 3 + 0*5/25. Suppose s*k = -3*k + 144. Which is greater: 25 or k?
25
Let t be (2 - (-8)/(-3)) + (-124)/(-6). Let a be (-1)/((t/4)/(-5)). Do 1/20 and a have different values?
True
Suppose 4*z - 4*i = -i + 27, -z - 5*i - 22 = 0. Suppose -2*b = -4*n - 10, -2*b - z*b + n + 43 = 0. Let u be 1/3 + (-12)/b. Which is greater: u or -2/5?
-2/5
Let r = -27 + 42. Suppose r = -3*n - 30. Which is smaller: -13 or n?
n
Let h be (2 - 2)/((-7)/(-7)). Let p(i) = 0 + 2*i**2 + 0*i**2 - 4*i - i + 4. Let b be p(2). Do h and b have different values?
True
Let q(g) = g**3 + 7*g**2 - 6. Suppose -j - 6*j = 49. Let h be q(j). Is 2 bigger than h?
True
Let a be ((-4)/(-717))/((-66)/18 + 3). Is a <= 1?
True
Let o = -1516/3 + 513. Let s = o - 8. Which is smaller: s or -0.5?
-0.5
Let t = 15.8 - -2.92. Let h = t - -0.28. Let d = 18.9 - h. Which is smaller: -1/9 or d?
-1/9
Suppose -114*d = -122*d. Which is bigger: 16/11