-9). Which is greater: 317/4 or r?
r
Let t be 12 + 3 - (-4 - -2)/(-1). Which is smaller: -5 or t?
-5
Suppose 9*x = 8*x. Suppose 90 = -5*q + 2*i, x = -0*q + 2*q + 4*i + 60. Let m = -12 - q. Is 0 at most as big as m?
True
Let d(k) = k**2 + 8*k - 9. Let z be d(-9). Let h be 1 + z + (-959676)/1299132. Let x = h + -2/4707. Is x at least 1?
False
Let u be (3/(-12) - -1) + (-5)/(-4). Suppose u*h + 13 = -7. Is 0.1 greater than h?
True
Let q be 1 + -2 - (-24)/6. Suppose -161 = -2*h - q*h + 4*r, -5*h - 5*r = -125. Which is smaller: 28 or h?
28
Suppose 152*h + 20 = 162*h. Which is smaller: -14.1 or h?
-14.1
Let o be (-54)/18 + (1 - 3). Let v = -4 - -6. Suppose 3 = -3*f, 2*m + v*m - 2*f + 18 = 0. Is o < m?
False
Let f = -44 + 42. Let j be (46 - -30) + -4 + (-1 - f). Which is smaller: 72 or j?
72
Let u be ((-6)/8)/(3*-1). Let t = -190 + 151.7. Let o = t + 38. Is o at least as big as u?
False
Let r = -86.9835 - 0.0165. Is -2/7 greater than r?
True
Let m(h) = -3*h**2 - 2*h + 55. Let b(p) = -4*p**2 - 3*p + 56. Let g(v) = 2*b(v) - 3*m(v). Let k be g(0). Let r = -215/4 - k. Which is greater: r or -1?
r
Suppose -66 = 4*o + 3*s, -70*o - 3*s = -68*o + 30. Which is smaller: o or -27?
-27
Let g be (-616762)/658 + (-22)/(-77). Let d = -937 - g. Which is greater: d or 1?
1
Let c(i) = 4*i**2 + 3*i + 2. Let v be c(-1). Suppose v = -2*u + 3*u. Suppose 0*l - u*l - 18 = 0. Are l and -6 unequal?
False
Let p be (30/16 - 2)/(2/(-36)). Let l = 10 - 3. Suppose 4*a = -5*g - 7, -g + 2*g = -5*a + l. Is p > a?
True
Let x be 3/15 - (-79)/5. Let c = x + -44. Is c at most as big as -30?
False
Let i = -0.3 - -0.4. Let q(v) = v**2 - 3*v - 13. Let u be q(11). Let z = u - 73. Which is greater: i or z?
z
Let f = -2717/11382 - -1/1626. Is 1 <= f?
False
Let w = 0.0126 + -23.0126. Are w and 2 non-equal?
True
Let l = -43.81 - -0.81. Let o = l + 44.3. Let f be ((-8)/(-12))/(16/6). Are o and f nonequal?
True
Let x be 3/2 + 12/(-8). Suppose 3*r - 15 - 12 = x. Let v be -2*r/(-12) + -1. Which is smaller: 1 or v?
v
Let c = 0.2247 + -0.0647. Suppose 2 - 6 = 4*u. Which is smaller: u or c?
u
Let f = 0 - -1. Let h be (-4 - 0/3)/(-1). Suppose 2 + h = q + 3*m, -4*q = -5*m - 7. Is q less than f?
False
Suppose 6 = 14*g - 246. Is g equal to 157/9?
False
Suppose 0 = -2*p + 4*y + 16, 32 = -5*p + 8*p + 2*y. Is 6 < p?
True
Let k(g) = 8*g**2 - g + 5. Let l be (1 - 0)/(3/21). Let p be k(l). Let q be 8/p - 28/(-210). Which is greater: -1 or q?
q
Let c(d) be the second derivative of -d**3/3 + 11*d**2/2 - 14*d. Let u be c(9). Which is bigger: -5 or u?
-5
Let a be 2/(-8) + 650/8. Let q = a + -105. Is q not equal to -25?
True
Suppose 0 = 5*n + 5*j - 90, 5 = 2*j - 1. Let p(l) = -2*l**2 - 10*l - 26. Let a be p(-3). Let t = a + n. Is 1 at least t?
True
Suppose -m + 3*x - 6*x - 6 = 0, 3*m - 3*x = 30. Let d = 13/2 - m. Which is bigger: d or -0.1?
d
Let w(y) be the third derivative of y**4/24 - 17*y**3/6 + 25*y**2. Let p be w(19). Is p less than -6?
False
Let d(l) = -l**3 - 27*l**2 - 52*l - 55. Let o be d(-25). Which is smaller: o or -10?
-10
Suppose 0 = d - 2*g + 8, -2*d + g - 6 = 2*g. Let v(m) = -4*m + 14. Let n be v(d). Which is smaller: n or 28?
28
Let j = 9/20 - 1/5. Which is smaller: 71 or j?
j
Let r = -0.09 + -10.91. Let g = r + 13. Let w = g + -1.7. Which is bigger: w or -3?
w
Suppose k - 84 = -85. Is 1/537 < k?
False
Let v = -2377/2 - -1194. Let y be (-8)/21 - (-4)/6. Is y not equal to v?
True
Let d = 35330 + -35288. Let l be (21/2)/(-1)*-4. Is d bigger than l?
False
Let z(y) = y - 2. Let w be z(5). Let v be 1*2*(4 - w). Suppose -5*t - f = -5*f - 89, -2*t + v*f + 36 = 0. Is t smaller than 18?
True
Let w be 138/14 + (-45)/(-15). Which is smaller: w or 5?
5
Let j be ((-14)/245*-7)/((-1)/330). Which is smaller: -0.1 or j?
j
Let q(k) = -2*k**2 - 19*k. Let s be q(-9). Let w = 25 - s. Which is smaller: 2 or w?
2
Let u be 2/8*(3 - (-2 - -13)). Which is bigger: -7/10 or u?
-7/10
Let m be 8/(-6) - 41800/114. Which is greater: m or -369?
m
Let m = -28.54 - -0.54. Let x = m + 14. Which is smaller: 0.1 or x?
x
Let p(b) = 2*b**2 + 5*b - 2*b - 2*b. Let u be 1/(((-16)/40)/(8/10)). Let s be p(u). Is 6 != s?
False
Let j(d) = -31*d**3 + d**2 + d + 6. Let z be j(-2). Let r be z/44 - (-10)/55. Let m be ((-1)/2)/(1/(-10)). Which is greater: m or r?
r
Let o = 548.1 + -525. Let b = o - 23. Let a = -86/63 + 8/7. Which is greater: a or b?
b
Suppose 2*q - 5*q + 9 = -5*s, 0 = 2*q - 2*s - 10. Suppose -3*u = -q + 2. Suppose -10 = 5*y - 4*n, y + 0*y + 16 = -u*n. Is -8 < y?
True
Let k = -34 + 64. Let d = -30 + k. Which is smaller: d or 0.09?
d
Let b be (-1 - -1) + -3 - 24. Let q be (5/210)/(30/b). Let f = q + 989/420. Does f = 1?
False
Let t = -21/1007 - 4171/186295. Is 0 at least as big as t?
True
Let z(l) = 2*l**2 + 10*l - 48. Let o be z(-8). Which is greater: o or 6/257?
6/257
Let h = 135 - 111. Let w be (102/h*4)/(4/(-1)). Which is bigger: -4 or w?
-4
Let s(k) be the third derivative of k**6/60 - 2*k**5/15 + k**4/12 - 3*k**3/2 + 8*k**2. Let u be s(4). Which is smaller: -2/51 or u?
u
Let s = 7.95 - -0.05. Let p = s - 6.4. Let m = -0.6 + p. Is 0.3 at least as big as m?
False
Let j = -6 - -5.84. Let s = -15.96 - -16. Let i = j - s. Is i less than or equal to 0.2?
True
Suppose -15*k = -10*k - 25. Suppose -t = p - 4 - 9, -4*p = -20. Suppose -3*b + 10 = -t. Is b at most as big as k?
False
Let f = 2/10081 - -1118959/161296. Which is smaller: f or 7?
f
Let t be 6*((-39)/6 - 3). Let x be (-58)/24 + 19/t. Is x not equal to -3?
True
Suppose k = 2*k + 3, -5*h + 464 = -3*k. Which is greater: 95 or h?
95
Let l = -20 + 12. Let f(c) = 18*c**2 + 10*c + 28. Let p be f(-3). Suppose 11*b + p = -5*b. Which is greater: l or b?
l
Let s(d) = d - 6. Let n be s(3). Let c(f) = f + 7. Let z be c(n). Suppose -3*u = u - z. Is 1 > u?
False
Let m(w) = -w**3 + 12*w**2 - 9*w - 13. Let j be m(11). Suppose 4*f + j = 7*f. Suppose -3*b + 6*b - 9 = -2*p, 9 = -f*p + 3*b. Is p at least 0?
True
Let p be (-28848)/(-80) - (-2)/5. Which is smaller: p or 360?
360
Let b be -2 - 1 - (-3 + (-12)/(-3)). Let v be (b + 7 - 5)/(-1*2). Which is greater: v or 2?
2
Suppose 67 = 10*f + 67. Is f at most as big as -1/16?
False
Let z = -13 - -19. Let x = z + -6. Suppose x = 10*g - 6*g - 12. Are 3/2 and g equal?
False
Let v be (6/98)/(18/63). Let o = 2/7 + v. Which is smaller: -13 or o?
-13
Suppose -4*v - 3*a = -9, 4*v - 4*a + 0*a + 12 = 0. Do v and 7/99 have different values?
True
Let u = 12/59267 + 117230018/533403. Let n = 220 - u. Let r(m) = -m**2 + 7*m. Let l be r(7). Which is smaller: l or n?
l
Let a be ((-21)/(-4))/(-7)*4/(-3). Is -11/123 less than a?
True
Let d = 458.9864 + -459. Is d >= 0.1?
False
Suppose -11*a + 659 = -199. Suppose -k - a = 5*k. Suppose 3*g + 51 = -5*v, 2*g + 3*v + 39 = -2*v. Are g and k equal?
False
Let r = -325 - -118. Which is greater: r or -208?
r
Let u = 75 + -74.15. Let s = u - 2.85. Is s at least 2.2?
False
Suppose 0 = -i - n + 505, -5*n - 511 = -12*i + 11*i. Is 506 bigger than i?
False
Let c be -4 + 1888/(-24) + 3/(-9). Is c equal to -82?
False
Let w = 14.66 - -0.34. Let c = 12 - w. Let l = c - -6. Which is smaller: l or -1?
-1
Let g be (29/(-2))/((-10)/(-20)). Let x = 39 + g. Is x >= 12?
False
Let o = 31 + -63/2. Let n = 0.182 - -0.008. Let c = -0.12 + n. Is c bigger than o?
True
Suppose 0 = -18*h + 2 - 38. Let r(z) be the third derivative of -z**5/60 + z**4/24 - z**3/2 - 2*z**2. Let i be r(0). Which is smaller: h or i?
i
Let v be -1*6/1*877/(-28287). Let x = v + 2/449. Is x greater than 1?
False
Let b = -436 + 380. Which is smaller: -61 or b?
-61
Let w(q) = -q**3 + 6*q**2 - 5*q + 1. Let u be w(5). Let s be ((-5)/70)/(((-2)/(-12))/u). Is -1 < s?
True
Let j be (-5 + 5 - 0)/(-1). Let w = -232/21 + 34/3. Which is bigger: j or w?
w
Let p = 5094/7 + -163005/224. Are p and 1 non-equal?
True
Let g = -7 + 35. Let m be 2 + -3 + g/4. Suppose 0 = -m*j + 80 + 40. Do j and 20 have the same value?
True
Let d(h) = h - 47. Let p be d(27). Is -20 not equal to p?
False
Let f = -1914/65 + 147/5. Suppose 21*u = 18*u - 15, 4*u = -2*x - 20. Which is bigger: x or f?
x
Let a = -9 - -26/3. Let g = 0.091 - 37.091. Let u = -36.2 - g. Which is greater: u or a?
u
Let v = -15 - -16. Let r = -8 + 12. Let p = r - 1. Does p = v?
False
Let h be 18/(-12)*4/(-6). Let q(z) = 71*z - 1. Let m be q(h)