 + 15. Let s = l - x. Is 0.06 > s?
False
Let p be (-267)/(0 - 1)*68/(-102). Is -178 smaller than p?
False
Suppose 2*n + 0*n = -2. Let v be (n/2)/((-3)/96). Let h be 2*3*v/12. Which is greater: h or 7?
h
Let y = -4.8 - -8.1. Let j = -22.3 + y. Which is bigger: j or 1/4?
1/4
Let z be (6/(-8))/((-49216)/(-256)). Do 1 and z have the same value?
False
Let o(n) be the first derivative of -n**3/3 - 7*n**2/2 + 9*n + 1. Suppose -5*w + 70 = 110. Let l be o(w). Is l smaller than 1/3?
False
Let v = 0.2 - 0.09. Let n = 0.01 - v. Let i = -65/72 - -7/9. Which is bigger: i or n?
n
Let c = -5/29 + 7433/725. Are 11 and c equal?
False
Suppose 4*t - 3*t - 10 = 0. Let a be (t/(-8))/(-5)*-109. Let n = a + 27. Which is smaller: n or -0.2?
n
Let x be -15 + 11 - 12/(-2). Suppose 10*r - x*r = 0. Which is greater: r or 2/23?
2/23
Let n(o) = -6*o**2 - 122*o - 4. Let d be n(-22). Is -224 at least d?
True
Let u be (2*3 + -42 + 36)/(-3). Let k be (-1)/3 - 38/(-69). Which is greater: k or u?
k
Let w be -4 - ((-1)/(-5) - (-3098)/(-1190)). Let n = 12/7 + w. Which is bigger: n or 4?
4
Let s(t) = -t - 2. Let d be s(18). Is d at least -24?
True
Let g be (-6)/8 + (-81)/(-12). Let o be (-1 + 662/g)*3. Let a = o + -9183/28. Is a less than or equal to 1?
True
Let v(u) = u**3 - 11*u**2 - 11*u + 21. Let s be v(12). Is 32 less than s?
True
Let q = 7 + 8. Let z = -15.014 + 0.114. Let v = z + q. Is 0.03 < v?
True
Let q = -15495 + 23196017/1497. Is q equal to 1?
False
Let x(w) = -w**3 - 2*w**2 - 8*w - 16. Let h be x(4). Is h < -145?
False
Let h be (-11 + 21)*5/2. Let m = 29 - h. Let x(i) = i**3 + i**2 + 2*i + 1. Let l be x(-1). Are m and l non-equal?
True
Let p = -7 - -8. Let w = -0.8 + p. Let s = w + 0.1. Which is greater: s or -2/5?
s
Suppose 21*r = 13*r + 88. Let q be (1 - -5 - 3) + (-25)/r. Which is smaller: 1 or q?
q
Let k(t) = t - 3. Let a be k(2). Which is greater: 3/94 or a?
3/94
Let c = 64 + -18. Let s = c - 17. Let d = 0.56 + 0.44. Is d smaller than s?
True
Let h = 6 - 4. Suppose -4*c + 2*c = -2*q - 6, -3*c + 7 = -h*q. Let u = -1 + c. Which is smaller: -2/9 or u?
-2/9
Let d = 8.2 + -21.2. Let x = -47 - -34. Let s = d - x. Which is smaller: s or 1?
s
Let d be 162/14 + (-16)/28. Suppose -2*j + 10 = -2*p, 2 = -2*j - 0*j + 5*p. Let n = j - d. Is n equal to -5/4?
False
Let u = 2 + 1. Suppose 5*p - 39 = 4*v, 4*p = -u*v - 0*p - 6. Let j be (36/21)/(-2)*7/1. Is v at most j?
True
Let n(m) = -88*m - 63. Let s be n(-1). Let z = -0.1 + 0.3. Is z greater than or equal to s?
False
Let g(d) = -d**3 - 7*d**2 - 9*d + 7. Let i be g(-5). Let c be ((-35)/(-10) + -3)*(i + -4). Is 2/91 at most c?
False
Suppose -6*h + 739 = 199. Suppose 23*a - h = 25*a. Which is bigger: a or -44?
-44
Let r be -1*(0 - 1/(-23)). Let u = 5/411 - 3881/3699. Let f = -10/27 - u. Is r < f?
True
Let l be ((-1)/146)/(-1 - 0). Let w be -3 - (-6292)/4088*2. Let x = w - l. Which is bigger: x or 1?
1
Let u = -433044/337 - -1285. Is u greater than 0.1?
False
Let t = 1586/7 - 1634/7. Let u = 6.48 + -4.48. Which is smaller: u or t?
t
Suppose -342 = -4*g + 2*a, 4*a + 254 = g + 2*g. Suppose 2*d - 3*u + 94 = 0, 2*d + 2*u - 12 + g = 0. Is d <= -39?
True
Suppose 4*x - 58 = -4*p + 5*x, x = 2*p - 28. Suppose -36 = -3*d - p. Let f be 305/45 - 6/(-27). Is d at least as big as f?
True
Let n(a) = 4*a**2 - 8*a. Let w(p) = -7*p**2 + 16*p - 1. Let j(z) = -5*n(z) - 3*w(z). Let g be j(8). Let h = g - 1. Is h less than 1/2?
False
Let q(r) = -r**3 - 9*r**2 - 9*r + 21. Let x be q(-8). Is 27 at least as big as x?
False
Let m be ((-3180)/207)/(-4) - 3. Let u = m - 4/23. Are 0 and u nonequal?
True
Let z(b) = -3*b**3 - 2*b**2 - 6*b + 4. Let f(y) = -5*y**3 - 3*y**2 - 9*y + 6. Let t(u) = -5*f(u) + 8*z(u). Let p be t(3). Is 10 less than or equal to p?
True
Let b = -31 + 30.9. Let g = b + -1.9. Which is smaller: g or 0.1?
g
Let j be 7/((-49)/154)*(-6)/4. Is j greater than 28?
True
Let p(w) = 8*w + 113. Let m be p(-10). Is m > 35?
False
Let h be (-3)/(9/12) - (-13750)/3438. Is -1 bigger than h?
False
Let i(l) = l**3 + 8*l**2 + 6*l + 6. Let j be i(-7). Let n = -179 + 191. Which is smaller: j or n?
n
Let z be -88*(5 + 2023/(-406)). Are -1 and z equal?
False
Let s = 2542 - 2542. Let o be 16/(-6)*2/152. Which is bigger: s or o?
s
Suppose -z - 4*z = -2*h + 1553, h + 934 = -3*z. Which is smaller: z or -312?
-312
Let w be (1732/(-90))/((-3)/9). Let s = -202/3 + w. Is s less than or equal to -11?
False
Suppose -4*b + 13*b = 27. Suppose -5 = -2*z - b*z. Suppose -s - 2*x - 5 = 0, x - 2*x + 2 = 2*s. Which is smaller: z or s?
z
Let m = -3 - -3.5. Let i = -6.5 + m. Is i <= 0?
True
Suppose 8*s = -10*s + 360. Is s at least as big as -2?
True
Suppose -253 = 33*u + 44. Do u and -15 have the same value?
False
Let r = 3377 + -3398. Let m be (-2)/(-12) + 347/6. Suppose -i - 12 = 4*p + 73, 3*p = 5*i - m. Is p greater than r?
False
Let w = 771815/298 - 2590. Is -1 smaller than w?
True
Let d be ((-34)/(-21))/(5*(-8)/(-60)). Which is smaller: d or 1?
1
Let y(h) = -h**2 - 9*h - 10. Let t be y(-7). Suppose 0 = -t*d + 9 + 7. Suppose 10 = n - 4*v, 2*n = d*v + 4 - 0. Is -6 > n?
False
Let d(w) = -177*w - 215. Let t be d(-7). Is 1025 >= t?
True
Suppose q - 4*t + 15 = 0, 5*q - 6*t + 15 = -t. Let n = q + 3. Let d be (-8)/6*18/n. Which is bigger: -33/5 or d?
d
Let x(t) = -t**2 + 11*t - 12. Let r be x(5). Let m be 3 - 1*(-2)/2. Suppose m*q + c = 10, -q = -6*q - 4*c + r. Is 1 greater than or equal to q?
False
Let x = 39 - 42. Let j be (-42)/18 + 3 - 22/x. Is -0.2 greater than or equal to j?
False
Let x = -11 + 101/9. Let t be (-8)/(-18)*(-74)/(-16). Let c = -14/9 + t. Is x at least as big as c?
False
Let i(d) = d**3 - 7*d**2 - 10*d + 16. Let x be i(8). Let q be 8/(-18) + 3 + -3. Is x equal to q?
False
Let h(x) = x**3 + x**2 + x - 2. Let z be (-1)/3 - 35/(-15). Suppose -5*v - b - z = 0, v + 6 = -b - 2*b. Let m be h(v). Is m != -1?
True
Let z be (-15)/2*(-7)/(175/(-20)). Suppose -14 = -f + 11. Suppose 5*i = -0 - f. Is i at least as big as z?
True
Let s be 0 - (-12)/(-9)*-9. Suppose 4*y + 5*t - 72 = 0, 2*t = y - t - 1. Is y equal to s?
False
Let l = -2332/9 + 659929/2547. Let n = l + -7337/1981. Which is smaller: -5 or n?
-5
Let s(z) = 4*z + 3. Let r be s(7). Let g = 54 - r. Which is smaller: 22 or g?
22
Let p = 622 - 617.5. Are 0.1 and p unequal?
True
Suppose 0 = -0*j - 5*j - w - 3, 4*j - 2*w - 6 = 0. Suppose j*u - 4*u + 3*i = -55, -u - 4*i = -9. Which is bigger: 35/3 or u?
u
Let g = 8 + -4. Suppose -2*r + g*r = -2*k + 26, -r + 7 = -2*k. Let o = 11 - r. Which is smaller: o or -2?
-2
Let o = 402 - 4425/11. Let a(r) = -3*r + 37. Let n be a(12). Let z be n + (0 - 4) - -2. Which is smaller: z or o?
z
Suppose -5*r + 4*b = -25, -4*r - 5*b + 27 + 34 = 0. Suppose 5*o + 4 = r. Is 20 less than or equal to o?
False
Let t = -90818876/3141 + 28914. Which is greater: 0 or t?
0
Suppose 0 = -21*t + 1328 - 5885. Is -433/2 < t?
False
Let m = 4943999 - 54428885/11. Let a = m + 4086. Is 5 greater than or equal to a?
True
Let u be (18/12 + -1)*(-8)/20. Is -0.1 bigger than u?
True
Let o(v) = -4*v - 47. Let x be o(3). Suppose 4*q = 6*q + 118. Does q = x?
True
Suppose 2*x + 1674 = -2*h, -5*x - 3*h - 3705 = 478. Which is smaller: x or -837?
-837
Let y = -1/272453 - 9534682/319587369. Let i = 2/69 - y. Which is smaller: i or 0?
0
Let r = 28 + -28.1. Let u = r + -0.9. Which is smaller: u or -7/5?
-7/5
Suppose 12*y + 96 = 16*y. Let v be (4/y)/(-1)*2. Which is greater: v or 1?
1
Suppose 0 = 2*r - 7 + 3. Let f = -61.991 + 62. Let z = 0.291 + f. Is z at least r?
False
Suppose 245*x - 248*x + 324 = 0. Is x less than or equal to 107?
False
Let p(z) = -7*z**2 + 2*z - 7. Let j(v) = 6*v**2 - v + 8. Let g(w) = 3*j(w) + 2*p(w). Let t be g(-3). Is 42 at most t?
True
Suppose -4*j = -20, -2*a + 4*j - 1 = 15. Let x be (-62)/(-114) + 7/(-21). Let p = x + -6/19. Are p and a non-equal?
True
Let k = 9 - 10. Let g(z) = -z**3 - 3*z**2 + 1. Let j be g(k). Which is smaller: -10/9 or j?
-10/9
Suppose 2*w - 2 = 6. Let q = -30204/5 + 6045. Is w < q?
True
Let h = -110 - -109.9. Let g = -62 - -61.94. Which is greater: h or g?
g
Suppose 5*w + 1 = x + 2, 0 = -5*w - 2*x - 2. Let m = 1 + -1. Suppose 4*s = 4*f + 24, -2*f + f + 3*s - 16 = m. Which is smaller: w or f?
f
Let z = -658 + 645. Which is smaller: z or -5?
z
Let r = 0 + 2. Suppose r*i + 0 + 4 = 