87 - -106. Which is smaller: 25 or j?
j
Let i(m) = m**2 + m - 1. Let r(z) = -z**2 - 8*z - 15. Let p(o) = -2*i(o) - r(o). Let x be p(7). Is 10 <= x?
True
Suppose -2*o + c = 47, 0 = -2*o + 2*c + c - 41. Let i = 14 + o. Let r = 11 + i. Which is smaller: 13 or r?
r
Let t(q) = -2*q**2 + 1. Let v be t(1). Let p be 27/5*v/(-3). Suppose -12 = 3*f + 2*y, 0*y + 2*y = -6. Which is smaller: f or p?
f
Let o(m) = -7*m**2 - 21*m - 22. Let x be o(-7). Is x greater than or equal to -217?
False
Let h = 369 - 405. Is h > -3?
False
Let t(i) = -6*i - 29. Let p be -17 + 14 - (0 + 2). Let m be t(p). Let c be (-4)/(-14) - 20/56. Which is greater: c or m?
m
Let d(j) = -j + 1. Suppose 2*a + 4*s + 19 = -15, 0 = -4*a + 5*s - 29. Let b be d(a). Let l be (-4)/14 + b/(-7). Is -1 != l?
True
Let a be (1 - -4 - 11)/(-2). Suppose -2 = -2*k - a*u - 9, 0 = 4*k - 4*u - 16. Is k at most 14/11?
True
Let t = 13 - 9. Let c = 30 + -25. Is c >= t?
True
Suppose -q = 10 - 6. Let t be q/(-10) + (-72)/(-45). Let w be 22/14 - (-3)/(-3). Which is greater: t or w?
t
Let d = 36 - 38. Let b = 116726/35673 + 2/3243. Let q = 26/11 - b. Is d equal to q?
False
Suppose 3*x - 2*x + 10 = 0. Let l(h) be the second derivative of -h**4/12 - 4*h**3/3 + 13*h**2/2 - h. Let c be l(x). Which is smaller: -8 or c?
-8
Let f(q) = -17*q**2 + 8*q - 64. Let i be f(-5). Which is bigger: -528 or i?
-528
Let l be 34*((-34)/4 + 9). Which is bigger: l or -2?
l
Let i be 31/186 - (0 - (-29)/(-6)). Let z(k) = -k**3 + 3*k**2 + 6*k - 5. Let c be z(i). Which is smaller: c or -27?
-27
Let v(c) = c**2 + 6*c - 19. Let b be v(-10). Which is bigger: b or 28?
28
Let l = -25067 + 2882687/115. Let v = l - 1/23. Are v and -1 equal?
False
Let n = 66.53 + -67. Let m = n + -0.13. Let t = m + 2.6. Are 3 and t equal?
False
Let g(m) = 4*m + 5*m - 29 - 23 - 2. Let j be g(6). Let l = -4007/15 + 267. Are j and l nonequal?
True
Let h = -7 - -10. Let d(o) = o**2 - 6*o + 5. Let n be d(h). Let t be 0*(16/n - -3). Is t > -1/11?
True
Suppose t = 5*t + 12. Let v(h) = -2*h**2 - 31*h - 17. Let m(j) = j**2 + 15*j + 9. Let i(x) = t*v(x) - 7*m(x). Let d be i(-11). Are d and -1 equal?
True
Let h = -164 - -159. Let k = -0.3 - -0.3. Let o = k + -0.2. Is o >= h?
True
Let a(l) = -l**3 + 3*l**2 - l + 4. Let i be a(3). Let d be (-1 - i)/(1 - 0) + -15. Which is smaller: -18 or d?
-18
Let l(d) = -d**3 + 5*d**2 + 6*d - 1. Let n = 11 - 5. Let c be l(n). Which is greater: -1/2 or c?
-1/2
Let w = 5.86 - -19.34. Which is bigger: 1/2 or w?
w
Let z be (-4)/9 - 22/72. Let j = 4 + -1. Suppose -j*u - g - 9 = 0, 5*g + 10 = -3*u - 11. Which is smaller: z or u?
u
Suppose 0 = -7*u - 182 - 7. Let v = u + 11. Is v > -15?
False
Let b = -868 - -422. Is 0 at least as big as b?
True
Let f(r) = -22*r - 1. Let n be f(-1). Let s = n + -13. Suppose -4*y + 8*y + s = 0. Is y at least as big as 0?
False
Let a(d) = -d**3 - 12*d**2 - 2*d - 22. Let f be a(-12). Let v be f/2*(-5 - -6). Is v smaller than -0.41?
False
Suppose 0 = -7*n - 20 - 64. Let s be ((-2)/(-5))/(n/420). Let q = -23 + 10. Is q greater than or equal to s?
True
Let y be 212/((16 - -2)/(-9)). Which is bigger: y or -109?
y
Let p = -18 + -33. Let z = p - -43. Which is smaller: -1/6 or z?
z
Let t(z) = z**2 + 14*z. Let k be t(-14). Let o be k*((3 - 6) + 2). Is -1/16 > o?
False
Suppose -3 = u - 1. Let t be -1*(u - (-18)/10). Let k = 0.177 - -0.023. Is t greater than k?
False
Let i = 76 + -46. Let t = -19 + i. Which is smaller: t or 12?
t
Let v = 12943/5967 - 7/459. Which is bigger: v or 2?
v
Let t be -1*44/(-36) + 0. Let o = t + -425/333. Let s(r) = -r**3 + r**2 + r. Let h be s(1). Which is smaller: o or h?
o
Let x = 46466/5625 - 24/625. Is 8 <= x?
True
Let x = -142/35 + 27/7. Is x smaller than 5?
True
Let n(m) = 23*m - 13. Let p be n(0). Is -99/7 <= p?
True
Let x = -40225/4 - -10105. Which is smaller: x or 50?
x
Suppose 0 = 3*c - 2*c + 14. Let f = -35 - -47. Let r = c + f. Which is bigger: 0.2 or r?
0.2
Let p be 252/20 - (15/25 + 0). Let j = 17 + -14. Which is smaller: j or p?
j
Let f be (3200/(-11788))/(-1) + (-8)/28. Is 1 > f?
True
Let u(q) = 2*q - 21. Let x = -35 - -47. Let y be u(x). Let d = -1.1 + 1. Which is bigger: d or y?
y
Let i(s) = -s - 9. Let r be i(-8). Let x be ((-92)/2553)/((-2)/(-9)). Is x at most r?
False
Suppose 7*n + 9 = 2. Let v(a) = -156*a**3 + a**2 + a. Let m be v(-1). Let g be (-2)/(-6) - 55/m. Is g at most n?
False
Let l = -631 + 30922/49. Let t be ((-13)/39)/(2/6). Which is smaller: t or l?
t
Let c be -2 + 6/16*5/3. Let j be 2/(-6)*-3*10/(-5). Which is greater: j or c?
c
Let l = -4969 - -4972. Let o = 0 - 0.06. Is l > o?
True
Let s be 54*((-8)/12 - 0). Let g = s + 37. Let p be (1 - 153/48) + 2. Is p <= g?
True
Let y = -104 + 122. Which is greater: y or 122/7?
y
Let l = -126 - -189. Let i = l - 76.1. Let c = -13 - i. Which is bigger: 4/3 or c?
4/3
Let f be (-586)/(-5) + 7/(-35). Let l = -111 + f. Is 5 <= l?
True
Let t = -118 + 112. Let v be 2*(-9)/t*-1 - -26. Which is smaller: 24 or v?
v
Let s = 2 + -7. Let y = 149/4 + -1941/52. Which is smaller: s or y?
s
Let w be (2 - 1) + -1 + 1. Let a = 2/637 + 3776/14651. Which is greater: w or a?
w
Let f = -17.0389 - -0.0389. Let q be (-6)/(-3) - 10/4. Is q greater than or equal to f?
True
Let w be ((138/(-4))/3)/((-1)/(-70)). Does -804 = w?
False
Let n(o) = o**3 + 5*o**2 + 3. Suppose 4*c - 5*c - 5 = 0. Let q be n(c). Suppose -4*v + 5*u + 1 = -q, -u - 20 = 4*v. Is -4 at least as big as v?
True
Let b = -811 + 839. Is b < 15?
False
Suppose 3*g = -g - 40. Suppose -18*v + 32 = -22*v. Is g < v?
True
Let j(h) = -h - 1. Let v be j(-5). Let q be (-3)/2*(v/39)/2. Is 0 at most as big as q?
False
Let i = -0.4 + 0.4. Let y = -43 + 43. Suppose -2*m + y = 4. Is i bigger than m?
True
Let a be 20/(-2305)*3/(-4). Let d = a + -1449/10142. Is d > 0?
False
Suppose -u + 3*u = -2*m, 27 = 4*u - 5*m. Suppose 10*g - u*g = 0. Is 5 equal to g?
False
Suppose 0 = -5*y + s - 78, 36 = -0*y - 2*y - 2*s. Let v(j) = 4*j + 10. Let l be v(-7). Which is smaller: l or y?
l
Let l = 3419 - 3435. Suppose -3*w + 5*h = -8, w + 0*w - h = 2. Let q be (0 + 2 + w)*-5. Do q and l have different values?
True
Let u(q) = q**3 - 6*q**2 - 2*q. Let o be u(6). Let v = o - -32. Let k be ((-8)/(-50))/((-12)/v). Which is greater: k or -1?
k
Let v(c) be the first derivative of -2*c**3/3 + c**2/2 + 1. Let o be v(-1). Let q be (1/o)/(20/(-9)). Which is smaller: 1 or q?
q
Let y(m) = 4*m - 2. Let w be y(-2). Let p be (8/(-10))/(w/25). Let c be 2/(-11) - p/(-11). Which is smaller: 1/3 or c?
c
Let p(i) = -i**3 + 5*i**2 + 2*i - 2. Let a be p(4). Let g be a/4 - (-4)/(-6 - 2). Is 17/3 at least as big as g?
True
Let x = 0.1 - 0.2. Let s = 3.896 - -0.104. Is x less than or equal to s?
True
Let h(w) = -6*w**2 - w**3 - 4*w**2 - 39*w + 30*w. Let b be h(-9). Let m be ((-6)/8)/((-9)/(-8)). Is m > b?
False
Let d be 21/14 + (-13)/26. Does -4/51 = d?
False
Let a = -9 - -10. Let m(v) = -3*v - 3. Let i be m(a). Which is smaller: i or -7?
-7
Let f = 55871/6 + -9281. Are 31 and f unequal?
True
Let d = -15 - -12. Let v = -52 - -50. Are d and v nonequal?
True
Let x = 444394187/3584262 + -1/597377. Let i = x - 124. Which is smaller: 0 or i?
i
Let t be 1917 + (2*(3 + -2) - -1). Let n be -4*1 + t/140. Which is smaller: n or 9?
9
Suppose 79*l = 70 + 9. Which is bigger: -1726 or l?
l
Let s = 24.6 + -24.6. Is s less than or equal to -167?
False
Suppose 4*t = -2*g - 0*g - 336, 3*g - 4*t = -504. Let l be 36/g - 4/14. Let h be -3 - -1 - (-36)/19. Is l greater than or equal to h?
False
Let k be 145200/(-511140) + 2/7. Is k < 0?
False
Suppose 34*o - 2291 = -523. Is o equal to 59?
False
Suppose -x + 3*w = -18 + 5, -4*w - 12 = 4*x. Which is greater: -2/107 or x?
x
Let l(f) = 4*f + 20. Let o(w) = -3*w - 19. Let p(x) = -5*l(x) - 6*o(x). Let n be p(9). Let u be (n/(-21))/(18/27). Which is greater: 10 or u?
10
Let r = 6.9964 + 0.0236. Let n = r - 6.7. Which is smaller: -0.2 or n?
-0.2
Let m be 12 + -1 + (-2 - -2). Suppose 4*n - 3*t = 19, n - m = 3*t - t. Let p be 17/(-13) + (-2)/(-2). Which is greater: n or p?
n
Let s be (93/(-30) + 3)/(3/36). Let m = 0 + 0.2. Which is greater: s or m?
m
Let g be (-24)/(-5) + (-9)/(-45). Suppose g*c + c = 0. Is c > 0?
False
Suppose -12*h + 9*h + 3 = 0. Let g be (h*(-12)/(-18))/((-4)/(-294)). Which is smaller: 48 or g?
48
Let p = -8 