 ((-168)/(-70) - 1) + ((-24)/15 - -1). Let l = -4 - -2. Let k be 4/7 + l/7. Is k at most as big as f?
True
Let n = -0.0403 + 40.1403. Let z = 40.0816 - n. Which is smaller: z or 1?
z
Let v = -0.5 + 0.4. Let h = 16.7 + -22.4. Let s = 8.9 + h. Are s and v non-equal?
True
Let j = 70 + -48. Let d = j + -16. Let g = -12.4 - -12.5. Which is bigger: g or d?
d
Let z be (7 - 1/(-1)) + -713 + 715. Let r = 2/3851 + 134777/15404. Is z at most as big as r?
False
Let z(a) = -a**3 - 4*a**2 + 7*a + 9. Suppose -59 = 4*f - 111. Suppose 0 = 6*l - f*l - 35. Let v be z(l). Which is smaller: 1/3 or v?
v
Let i = 8555834 - 6759111679/790. Let o = 5/158 - i. Is o bigger than 4?
False
Suppose 27*i = -44*i + 97*i. Is 26/83 at most i?
False
Let y(o) = 5*o**2 + 4*o + 4. Let k be y(-2). Suppose -10 = -k*x + 22. Let g be (15/30)/(x/4). Is 10/19 equal to g?
False
Let q(y) = -y**2 - 79*y + 890. Let k be q(-89). Let n = -3527 - -81100/23. Which is bigger: k or n?
k
Let x(u) = -3*u**3 + 11 - 26 - u + 4*u**3 + 14 - u**2. Let o be x(0). Is 2/253 greater than o?
True
Suppose 59*s - 55*s = -3*z - 2247, -3*z = s + 573. Do s and -561 have different values?
True
Let b be 8*((-76)/(-16) - 4). Let l(j) = -j**2 + 13*j - 6. Let k be l(b). Let x = -30 + k. Which is smaller: x or -4?
-4
Let k = 15 + -12. Suppose 4*q + 7 + 5 = -k*t, 5*q - 3*t = -15. Does -31/9 = q?
False
Let u be 23/(-4) - (0 - 6). Which is bigger: u or -0.0577?
u
Let c(k) be the first derivative of -k**3/3 + 15*k**2/2 - 30*k - 35. Let a be c(14). Let m be a/168 + 25/42. Is m bigger than -4.8?
True
Let v = 40 + -37. Let o be (590 - 0)*((-14)/4 + v). Let n be -1 - (o/99 + 2). Is 0 at most n?
False
Let s = -661 - -760. Which is greater: s or 195/2?
s
Let o(i) = -1219*i - 31. Let z be o(8). Let l = z + 420651/43. Which is smaller: l or 1?
l
Suppose -28*v + 9297 = -19*v. Let o = -550 + v. Which is smaller: o or -1/3?
-1/3
Suppose 55*p = -27881 - 5009. Does p = -599?
False
Let b be (-772939)/(-680) - (-2)/8. Let c = 1137 - b. Does c = -1?
False
Let o = -8.0676 - -8.03. Let y = o + 11.0376. Which is smaller: 4/9 or y?
4/9
Let x = -7/499 + 821/22954. Is 5 smaller than x?
False
Let i be 5/(-2)*(-51)/170*52. Suppose 0 = -7*o + i - 11. Is o less than -1/2?
False
Suppose 8*d = 22*d + 112. Let z be 28416/(-3400) - d - (-2)/17. Which is smaller: z or 1?
z
Let b = -17176 + 17172. Is 2772 > b?
True
Let o be (-4)/6*18 + (-42966)/315. Which is bigger: o or -147?
-147
Suppose 64*s = 50*s + 34*s - 20. Which is greater: -2/4737 or s?
s
Let h = -1.4556 - -1.5256. Is h less than or equal to 2/225?
False
Let s = 5 - 9. Let q be (-9 - 156/(-36)) + ((-10)/15)/(-1). Is s less than or equal to q?
True
Let l be 3610/1 + (3 - -4). Is 3617 at most l?
True
Let n = 3673/62 - -39/31. Let c = 156 + -96. Let s = n - c. Which is bigger: s or -2?
s
Suppose -3*r + 19 = 4*s, -3*s - 6 - 1 = -2*r. Let w be (-3)/s + 199/66. Which is greater: w or 1?
1
Let y be ((-130)/91)/(2/(-10)). Let d be (4 - 3)*(1 + 3). Let t be (-6)/d - 15/(-2). Which is bigger: y or t?
y
Suppose 0*u = 3*u + 2*w - 124, -2*u - w = -82. Let c be ((-5)/8*6/u)/3. Do -1 and c have the same value?
False
Suppose 0 = 9*p - 515 + 506. Let a be 2*(-34)/74 + 1. Which is bigger: p or a?
p
Suppose 14*c = -3 + 59. Suppose y - 4*i = 15 + 1, y + 24 = -c*i. Which is greater: y or -2?
-2
Let b = 30 + -30.9. Let u(y) = -2*y - 29. Let m = 27 + -38. Let g be u(m). Is g != b?
True
Let m = 1715 - 1229. Is m >= 487?
False
Suppose -2*c + 138 = 5*q - 135, 3*c + q - 416 = 0. Let m = c + -111. Suppose -3*h - 46 + 130 = 0. Is h > m?
False
Suppose -182*k = 21542 + 47072. Are k and -397 nonequal?
True
Let d be (-4)/10 - ((-53218)/(-15))/22. Let m = d + 159. Which is bigger: 0.12 or m?
0.12
Let r(p) = 10 + 3*p - 1 - 2. Let c be 3/(34/(-30) - (-16)/120). Let k be r(c). Is k less than or equal to -10/9?
True
Suppose 2*q - 49 + 39 = 0. Let g be -1*(-13)/(q + (-232)/46). Which is smaller: g or -2/5?
g
Suppose -2*h - n + 50 + 33 = 0, -h - n = -41. Let v = 3783 + -3741. Is h at least as big as v?
True
Suppose 82*q = 77*q - 1730. Is q at least as big as -347?
True
Suppose 4*i = -2*x + 10, -5*x = -2*x - i - 15. Let w = 2924 - 2938. Let h = w + x. Is -9 less than h?
False
Let f = 726.6 + -723.6. Is f greater than or equal to 0.1727?
True
Let u(g) = 10*g**2 + 0*g - 27 + 2*g - g**3 + 0*g**3 + 6. Let b be u(10). Let o = -2537/2286 - 1/762. Is o equal to b?
False
Let o be (-2041)/3*-3*42/(-63). Are o and -1360 non-equal?
True
Let q = -1217 - -1221. Let d = 5 - 3. Suppose 4*n + 22 = -d*z, 3*z + 2*z = q*n + 1. Which is smaller: -1 or n?
n
Let b = -23/10 + 367/130. Which is bigger: b or 0?
b
Let h = 427 + -74. Is h greater than 353?
False
Let c be (-4818)/(-121) - (-6)/33. Let a be (c/50)/(28/(-20) - -1). Are -21/26 and a non-equal?
True
Let y = -1217.34 - -1218. Is 4 equal to y?
False
Let g = 809 - 859.85. Let p = g - -51. Let b = 0.05 - p. Does b = 6?
False
Suppose -899 - 10610 = -101*q + 1116. Are q and 119 equal?
False
Let x = 3652.897 - 3638. Let q = x + -14.9. Is q at most as big as -1?
False
Let m = -18306 - -18305.923. Suppose 0 = t + 6 - 4. Which is greater: t or m?
m
Let x be (14/(-4))/((-14)/8). Suppose 2*k - 6 = -3*s + x*s, 0 = k + 4*s - 17. Is -2/167 at most as big as k?
True
Suppose s = -2*n + 1, n + 4*s + 7 = -3. Let k be 0 - (-536)/16*n. Let z(g) = 66*g**2. Let b be z(1). Are k and b non-equal?
True
Let g be (-13)/(10775440/(-8))*(5 + -3). Which is smaller: g or 1?
g
Let s be 7/2 - 4 - 14/12. Let v = -14 - -15. Suppose t = 2*t + v. Is s at least t?
False
Let c be -11 + (-2)/4*-18 - (-3728)/(-26). Which is greater: c or -146?
c
Let p = -1259 - -1259. Is 17 less than or equal to p?
False
Let i(r) be the second derivative of r**5/20 - 5*r**4/12 - 5*r**3/6 + 9*r**2/2 + 10*r. Let x be i(5). Let m = -11 - x. Which is smaller: m or 9/2?
9/2
Suppose -d = -64*d - 31 - 32. Which is bigger: -9/4063 or d?
-9/4063
Let r = 1075804 + -1076157. Suppose 602 - 2014 = 4*s. Is r at least s?
True
Suppose 0 = -n - 0*n + 5. Let c = -72 - n. Let f = -40 - c. Is f greater than 0.1?
True
Let p = -218 + 361. Let i = p + -143. Which is smaller: i or 121?
i
Suppose 3*x - 4 = 2*x. Let k be (-2 - -3) + (-3)/x. Suppose 81 = -170*s + 197*s. Which is greater: k or s?
s
Let b be (4/6)/((-31)/(80910/20)). Let s be ((-2)/3)/((-4)/(-528)). Which is bigger: b or s?
b
Let d = 726 - 927. Is d not equal to -197?
True
Let d = -2657 - -2671. Which is smaller: d or 9/5?
9/5
Let z be (-101 - 21)*(6/16 + (-774)/16). Do 5857 and z have different values?
True
Let t(o) = o**3 + 11*o**2 + 18*o + 6. Let u be t(-9). Let g be (9/u*(-6)/9)/1. Which is smaller: -4/9 or g?
g
Let m = 351 - 238. Suppose -75 = -3*v - r, 0*v + 3*r + m = 4*v. Let l = -24 + v. Which is greater: 6 or l?
6
Suppose -144*d = 161*d + 467*d - 1544. Let h = 99673/8745 + 4/1749. Let o = 439/35 - h. Which is greater: o or d?
d
Suppose 7*i - 170 = 2*i. Let w be i/52 + 16/(-104). Let o = 0.41 + -2.01. Do o and w have the same value?
False
Let z = 1.51 + 105.49. Let m = z + -107. Which is smaller: m or -9/5?
-9/5
Let p = -4006 + 4002. Which is bigger: p or -308?
p
Let m = 31 + -15. Let d = -28.436 - -0.336. Let x = -27.9 - d. Is x bigger than m?
False
Let j be 1*(-104)/12*3/(-2). Suppose 3*s = 2*s + j. Is 0.08 bigger than s?
False
Suppose -x - 14 = -8*x. Suppose -x*a + 4*w = 3*a, a = 4*w. Suppose -b - 5 = -5*n + b, -3*n - b + 14 = a. Which is bigger: n or 5?
5
Let l = -17 - -28. Let b = 9.8 - l. Suppose 4*u - 24 = 4*d, 24 = 3*u + 48*d - 53*d. Do b and u have different values?
True
Let j = 206 + -442. Let w = 27021.2 - 27021. Which is smaller: w or j?
j
Let q = 223715 + -223768. Suppose 2*s - 5*f + 157 = -s, 4*s = 4*f - 204. Is s at most as big as q?
False
Let h be 1/(((-22)/(-24))/11). Suppose 0 = h*c - 3*c. Suppose -3*d = -c - 3. Is 6/11 greater than d?
False
Let z be (-8)/((-80)/14) + 6/10. Suppose -200*p + 198*p - 316 = 0. Which is bigger: p or z?
z
Let d = 118 - 2243/19. Let o = 191880 - 191879.5. Which is greater: d or o?
o
Let f(l) = -327*l - 599. Let n be f(-2). Suppose -4*i + 29 = 25. Which is greater: n or i?
n
Let p be -4 - (-1 + 1*-41)*344/3440. Is p equal to 1711?
False
Suppose 0 = -4*v - 458 - 446. Let w = 24654474/25 + -985953. Let a = v + w. Are 1 and a equal?
False
Let w be (-2)/10 - 54/(-195).