 is greater: s or -12?
-12
Suppose -3*k - 4*d + 102 = 0, 3*k = -5*d + 28 + 77. Suppose -3*u = -4*i - 15, -i + 21 = -u + 3*u. Let r be (-3)/u - (-88)/3. Which is bigger: k or r?
k
Let x be 4/1 + 119 + 12/4. Let r = x - 133. Suppose 2*n - 8 = -22. Is r not equal to n?
False
Let g be -682 - (11 - (-20)/(-4)). Let y be g/96*(-9)/3. Are 22 and y unequal?
True
Let z = -18117 - -17886. Which is smaller: -268 or z?
-268
Suppose 54*n + 24 = 30*n. Let v(f) = f**2 + 9*f. Let b be v(-5). Let a be n - ((-592)/b)/((-6)/(-15)). Is a less than -74?
True
Let j be (3906/(-10))/(1/(-5)). Let n = 17521/9 - j. Is -6 bigger than n?
True
Let v be 10/(-30) - (-32)/6. Let i be ((-3)/2)/(11/((-264)/18)). Let n(z) = z**2 + z - 2. Let m be n(i). Is v at most m?
False
Let r = -2/123317 + -246528/6535801. Let f = -2 - -2.2. Does f = r?
False
Let i(n) = -2*n**2 - 55*n + 28. Let q be i(-28). Suppose -2*x + 2*o - 5 = x, 4*x - o + 10 = q. Let z be x/2*1032/(-18). Which is smaller: z or 1?
1
Let z be 3078/513 - (-7)/(1 - 2)*1. Let s be (8/(-70))/(42/30). Which is smaller: z or s?
z
Let m(x) = -6 - 39*x - 62 + 21. Let v be m(-3). Which is bigger: 69 or v?
v
Let j = -27.7 - -27.666. Let m = -14.966 + j. Which is greater: -3 or m?
-3
Let z = 4476 - 147670/33. Let m be (-8)/77 + (-4)/(-14). Let n = m + z. Which is smaller: n or -0.3?
-0.3
Let u be (-27)/54 + (12075/(-2))/1. Let n = u - -766831/127. Let f = -817/1397 + n. Are -2 and f unequal?
True
Let z = 14906 + -15142. Which is smaller: -8 or z?
z
Let x = 943 - 935. Let i = -13 + 7. Let d = x + i. Is -12 <= d?
True
Suppose -14*l - 2 = -2. Let k = -23 + 29. Let y = k + -5. Is l >= y?
False
Suppose 2*g = -c + 2, -c - 5*g + 2 = -10*g. Suppose -10*t = -c*t - 40. Let l be (t/50)/((-8)/30). Is l smaller than -2?
False
Let u = 32/377 - 441/754. Is u at least as big as 204?
False
Let b = 20 - -11. Suppose 167*u - 172*u + 2*p = -169, u + 4*p = 25. Does u = b?
False
Let m = -38 + 42. Suppose 3*g + m = -8. Let j be -22 - -24 - (-9)/g. Is j less than or equal to 21?
True
Let u = -0.15 + -127.31. Let z = -129 - u. Is z < 1?
True
Let c be (-1)/2*(0 - 0). Let x be (-16380)/8183 + 0 + (-4 - (-5 - 1)). Is c >= x?
True
Let d(y) = y**3 - 11*y**2 - 26*y + 121. Let p be d(12). Suppose 6 = -7*u + 41. Suppose -u*w = w + 288. Which is greater: p or w?
p
Let g = -141 - -140. Let z = 22/75 + 2/75. Is z <= g?
False
Let s = -899 + 985. Let w = 79 - s. Let y = 1 - 1. Is y != w?
True
Suppose -2*r + 1400 + 5972 = p, -2*p = 5*r - 18432. Is r > 3689?
False
Let h = -21 - -66. Suppose -h = -12*i + 159. Suppose 0 = -q - z - 0*z - 5, i = 3*q - 5*z. Is -1/149 greater than q?
True
Let t be 51/9 - (-36)/27. Suppose 14*a = t*a + 14. Which is smaller: 17/5 or a?
a
Let v(b) be the first derivative of -21*b**2/2 - 63*b + 40. Let q be v(-3). Is -33 at most q?
True
Let m = -8329 + 7176. Which is smaller: -1151 or m?
m
Let i(l) = 3*l + 37. Let r be i(-12). Let g be (-9)/(-4) - (-18)/24*r. Does g = 5?
False
Suppose -10 - 14 = 6*n. Let g be ((-8)/(-370))/(n/10). Let q = 15 - 14. Is g != q?
True
Let x(z) = 21*z**2 + 47*z - 14. Let c be x(-5). Which is smaller: c or 272?
272
Let o(g) = 24*g + 137. Let b(u) = -38*u - 82. Let h be b(-2). Let p be o(h). Suppose 0 = 5*s + 10. Which is smaller: s or p?
p
Suppose -4*i + 2512 = -3044. Let s be i/15 + 18/(-30). Which is bigger: s or 91?
s
Let z = -91.51 - -91. Let n = -1.51 - z. Which is greater: 0.34 or n?
0.34
Let s(x) = x**3 + 3*x**2 - x - 3. Let c be s(-1). Let a = 1970 - 25598/13. Which is smaller: c or a?
c
Suppose 5*o - 12 = z, -267 + 304 = 2*o - 5*z. Which is smaller: o or 74.56?
o
Let w(z) = -z**3 - 20*z**2 + 45*z + 18. Let x be w(-22). Let y be (x*7/21)/142. Which is smaller: y or 1?
y
Let q = -191.92 + 192. Let h = q + 0.92. Is h greater than or equal to -2/33?
True
Let r = -555481/7 - -79213. Which is bigger: r or -142?
r
Let t(g) = -431*g**3 + 4*g**2 + g**2 + 428*g**3 + 7*g - 1. Let u be t(-2). Let k = u + -30. Is k < 2/7?
True
Let a = 1832.96 - 104.96. Is -2/7 less than or equal to a?
True
Let b = -0.36 + 3.36. Let m = -77.95 - -78. Is b less than or equal to m?
False
Suppose -m = -101 - 67. Let c = 167 - m. Which is smaller: c or 1/134?
c
Suppose u + 5*t = -260, -24*t + 23*t - 1173 = 4*u. Which is greater: u or -1769/6?
-1769/6
Suppose 17*l = 15*l + 5*r - 31, -5*r + 87 = -4*l. Let v be -6 - ((-9)/21 - (-128)/l). Which is bigger: v or 3/38?
3/38
Suppose -3*a = -5*a + 38. Suppose -35 - a = -6*o. Let l be o/12*(-24)/(-63). Is l at least as big as -10?
True
Let u(l) = -4*l**3 + 12*l**2 - 10. Let p be u(3). Let g be (379986/(-16240))/3 + -2. Let y = g + -1/1624. Which is smaller: p or y?
p
Let k(q) = 5*q - 1. Let m(y) = -26*y + 15. Let g(u) = -6*k(u) - m(u). Let t be -6 - (-1)/(1/2). Let a be g(t). Is a at least 10?
False
Let s = 3345/4 + -2244519/2684. Is -1 less than or equal to s?
True
Let v = 4.03 + -4. Let p = v + -0.43. Let k = -1.0255 - -0.9255. Which is smaller: p or k?
p
Let f(c) be the third derivative of c**6/120 - c**4/8 + 15*c**3 + 2*c**2 + 24*c. Let t be f(0). Which is greater: 89 or t?
t
Let p = 1372 - 1542. Is p less than -162?
True
Let s be (5 + (-42256)/8455)*-2. Suppose -5*w - 5 = -0. Which is smaller: s or w?
w
Let h be (-1)/4*(-215468)/(-47377). Which is smaller: 0 or h?
h
Let r = -2077 - -1956. Let o(n) = -9*n + 5. Let g be o(14). Is g equal to r?
True
Suppose 0 = -8*p - 0*p - 32. Let s be (-4 + (0 - -5))/(p/(-32)). Which is smaller: s or 6?
6
Let x be ((-18036)/1875 - (-3 - 7)) + 4/(-10). Do x and 0 have different values?
True
Suppose 0 = -617*m + 622*m + 120. Let n(l) be the second derivative of -l**4/6 + 5*l**3/3 + 3*l**2/2 - 8*l. Let t be n(7). Which is bigger: m or t?
m
Let s be 100/(-15)*(-1335)/20. Let u = -1825/4 + s. Suppose 3*f = -13 - 17. Which is smaller: f or u?
u
Let a = 2/106687 + 13762507/6187846. Which is smaller: 1 or a?
1
Suppose -6*q - 40770 = -40776. Which is bigger: -7/3628 or q?
q
Let m be (-1)/9*3/3 - 247015/(-1143). Is m bigger than 225?
False
Let x = -0.627 - 1.373. Let o = -9 + -110. Which is smaller: x or o?
o
Let q(a) = a**2 + 10*a + 34. Let l be q(-5). Suppose -h - 37 = -3*j, -1 = -2*j - 3*h + l. Is j >= 7?
True
Let v be ((-2)/8 - 1) + 1. Let y = 1.085 + 138.915. Let g = 129 - y. Is v <= g?
False
Let l be ((-30)/(-12) - 1/4)/(201/(-670)). Which is smaller: 1 or l?
l
Let w(m) = -m + 11. Let z be w(10). Suppose -21 + z = 2*h - 4*s, 5*h = 5*s - 25. Let t = -20855/8 - -2607. Which is smaller: t or h?
h
Let t be -29 - (3 + 0/7). Let q be -3*(3 - t/(-12)) - 31. Which is smaller: -95/3 or q?
q
Let g be (4/(21776/9))/(342/456). Which is greater: g or 0?
g
Let d be (0 - (0 - 2)) + 4017/(-7). Let j = 575 + d. Let c(k) = k + 9. Let b be c(-5). Which is smaller: j or b?
j
Let d be (-2374)/(-6812) + 92/(-598) + (-2)/8. Which is bigger: d or 0?
0
Let r(c) = -c**3 + 61*c**2 - 8*c + 729. Let g be r(61). Is 243 > g?
True
Let y be 1 - ((-12)/4 + 3). Let a = 175487/67 - 2619. Do y and a have the same value?
False
Let a = -81 - 7. Let z = 4502 - 4450. Let c = z + a. Are -0.1 and c equal?
False
Let j be (4/10)/((-52)/(-65)). Let o = 22.972 - -0.028. Let n = o + -36. Are n and j equal?
False
Let r be (-12)/(-9)*45/12. Suppose 102 = r*a + d, 3*a + 35 = 4*d + 110. Let g be 2/(-4) - 94/(-4). Is a <= g?
True
Let c(z) = z**2 + 13*z + 18. Let r be c(-7). Let h be ((-2)/12)/(4/r). Which is smaller: -4/89 or h?
-4/89
Let u = -161 + 158. Let f be 14 + -10 - (-9)/u. Is -0.081 bigger than f?
False
Suppose -2*o + 1102 = 4*m, -4*o - 4*m - 74 + 2294 = 0. Is o >= 547?
True
Let y(l) = -2*l**2 + 10. Let j(s) = s**2 - 5. Suppose 2*b - 2 = 10. Let z(p) = b*y(p) + 11*j(p). Let u be z(3). Is u < 1?
True
Let v(z) = z**3 - 41*z**2 - 399*z - 50. Let o be v(-8). Let r = -0.161 - 0.049. Is o at most r?
False
Suppose 369*u + 220 = 364*u. Let t be 1788/(-72) + (u/(-24) - 2). Which is bigger: -24 or t?
-24
Suppose -6*k + 50 = -11*k. Let h(g) = -g - 11. Let p be h(k). Which is smaller: p or -18/43?
p
Let w(t) = 2*t**2 + 22*t - 22. Let h(n) = n**2 + 12*n - 11. Let l(x) = -7*h(x) + 4*w(x). Let d be l(2). Is d greater than 1/328?
True
Let t be 24/9*138/4. Let h = 64 - t. Suppose 0 = -2*s - 18 - 38. Is h smaller than s?
False
Let k be 378/(-8)*((-33)/9 - -1). Let f be 62/(-119) - 6/k*-6. Which is smaller: 0.3 or f?
f
Let b(h) 