 Suppose -5*q = -4*k + 80, 3*k - 10 - 17 = q. Is q less than or equal to y?
True
Let q = -2.52 + 2.22. Which is greater: q or 13/3?
13/3
Suppose 210*s + 3*b + 25 = 205*s, 3*s = -b - 11. Which is smaller: s or -91/125?
s
Let w(z) = 40*z - 208. Let v(g) = 20*g - 103. Let i(k) = -5*v(k) + 2*w(k). Let u be i(5). Are u and -30/53 equal?
False
Let y = 13 - 10. Suppose 7*h = 23 + 313. Suppose -3*k - p - h + y = 0, -20 = 2*k + 4*p. Is k less than or equal to -15?
True
Let k be (-1 - (-1)/3)*3672/2448. Is 90 less than k?
False
Let o(j) = -j**3 - 2*j**2 + 3*j + 6. Let d be o(-2). Is -1/2160 less than or equal to d?
True
Suppose k - m = -236, -3*m = 3*k - m + 698. Let p = k - -99. Let x be (-510)/p + (-4)/18. Which is bigger: x or 5?
5
Let o(q) = -2 + 14*q + 29 - 36*q + 16*q. Let j be o(5). Let x be (2/j)/((-6)/(-18)). Is x < -3?
False
Let m = -92709.93 - -92340. Let w = m + 370. Which is smaller: 7 or w?
w
Let z = 51530 - 35865. Which is greater: z or 1?
z
Let c = -35.6 + 360.6. Let g = 179 - c. Let p = -243 - g. Which is bigger: 0.1 or p?
0.1
Let j = 65 + -26. Suppose 2*s - 11 = -j. Suppose -k = 3*k + 56. Is s < k?
False
Let b = -47942 - -48343.06. Let j = b + -401. Which is smaller: -2/39 or j?
-2/39
Let n(p) = -p**3 + 11*p**2 - 1. Let s be n(11). Let k be (3 - s) + (-2)/(-2). Suppose -2 = 3*h - 17. Is k > h?
False
Let a(l) = 56*l**2 - 5*l - 18. Let x be a(-2). Is x at least as big as 220?
False
Suppose -2*c + 15 = -5. Suppose l = 6*l + c. Let h = 401 + -403. Is l < h?
False
Let s(v) = -2*v**3 + 25*v**2 - 13*v - 21. Let i be s(12). Let q be 20595/(-4950) + (-2)/i. Which is smaller: -5 or q?
-5
Let v be 86 + -100 - 257/(-16). Let t be 4*2/24*3. Which is smaller: t or v?
t
Suppose 2*u + 3*c = 1 + 2, 3*u - 6 = -4*c. Let y be u/(-15) - 121/(-165). Is 25 smaller than y?
False
Suppose -2*d + 4*k - 210 = k, -218 = 2*d - 5*k. Is -98 < d?
False
Suppose -10243 = 44*s - 2312 + 7513. Which is greater: -348 or s?
-348
Suppose 0 = -w + 4*w + p + 62, w + 6 = -4*p. Let l be 55/w*(2 + 6/5). Is -64/7 <= l?
True
Suppose 0 = 5*n - 5*r + 1085, 5*n - 35 + 1136 = -3*r. Let y = 206 + n. Which is greater: y or -10?
-10
Let n = 2/104693 + -212788/178082793. Which is bigger: -1/4 or n?
n
Suppose 6*a - 2844 = -6*a. Let d be (-28)/(-63)*a*1/(-8). Which is bigger: -12 or d?
-12
Let r = -2019/23965912 - 1/6008. Is r smaller than -1?
False
Let q = -0.009 - -414.009. Let f = q - 413.975. Is -11 != f?
True
Let z = -71.9 + 32.9. Let f = 77.8 + -39.2. Let d = f + z. Is d at most 4?
True
Suppose 0 = -479*k + 477*k - 30. Suppose 3*a - 10 = -2*m, 0*m + 20 = 4*m + 4*a. Suppose -i - 8 - 32 = m*c, 25 = -5*c. Is i > k?
False
Let k(o) = o**2 + 90*o + 913. Let g be k(-26). Which is bigger: -754 or g?
g
Suppose 2*z + 151 = -138*d + 133*d, 2*d = -5*z - 73. Which is smaller: d or -445/16?
d
Let j = -3.4 - -1.544. Let k = -0.144 + j. Let b = 1207/216 + -45/8. Which is greater: b or k?
b
Let h = -227 + 425. Let r = -15 - -214. Is h smaller than r?
True
Let v be 1/(-1) + 7 + 0. Suppose x - 43 - 78 = -2*l, 2*l - 4*x = 116. Suppose -6 + l = 9*o. Is v less than o?
False
Suppose 7*a - 2 = 12. Let q be (-5)/a + 19613/7898. Do 1 and q have the same value?
False
Let i = -0.45 + -9.55. Let h = i + 10.1. Let q = -18071/8346 - 2/1391. Is q < h?
True
Let p(m) = 4*m - 35. Let q be p(10). Let o be (804/50)/(q/25). Let g = o - 80. Which is smaller: 1 or g?
g
Let z = 0 - 0. Let u = 2207/4 - 77173/140. Which is smaller: u or z?
z
Let l be (8 - 6 - -8)*-1. Let b(n) = -2*n**2 - 22*n - 23. Let o be b(l). Is o at least -38?
True
Let b = -23.94 + 23.74. Is b at least as big as 30.4?
False
Let a be ((-28)/(-8) - 2)/((-12)/32). Let h be ((-2)/(-35))/((6 + a)/10). Which is smaller: h or -5/18?
-5/18
Suppose 0 = 2*h + 2*t + 460, -3*t + 508 = -4*h - 433. Let z = h - -224. Which is smaller: -8 or z?
z
Let r(d) = -3*d**2 + 78*d + 84. Let j = 279 + -252. Let t be r(j). Which is smaller: t or 11?
t
Suppose 0 = 54*s - 95*s - 129*s - 510. Which is smaller: s or -93/29?
-93/29
Let s = -713 - -232. Let h = s - -502. Which is bigger: h or 4/3?
h
Suppose -t = -4*z - 170, -5*t + z = -z - 940. Which is smaller: 193 or t?
t
Let i = 377.8 + -229. Let m = i - 149. Let h = -409/3180 - 1/212. Which is greater: h or m?
h
Let s be (-1523 + 2)/(28/(-8)). Which is greater: s or 436?
436
Suppose -4*t = -6*t - 2. Suppose -1449 = -112*a - 12425. Is t < a?
False
Let i be 4980/(-54) - (-3 + 125/45). Let l = i + 65. Is l not equal to -256/9?
True
Let p(v) = -v**3 + 2*v**2 - v - 1. Let b(k) = -6*k**3 + 15*k**2 - 8*k - 7. Let n(q) = -b(q) + 5*p(q). Let t be n(5). Is t greater than 9?
True
Suppose 2*q - 2 + 8 = 0. Suppose 3*v - 3264 = 11*v + 40*v. Let t be (q + v/(-36))/((-8)/(-30)). Which is smaller: -3 or t?
t
Let p(q) = 2*q - 7. Let t be p(4). Let m be (4/(-16))/((-93770)/(-46864) - 2). Let y = 279 + m. Is y greater than or equal to t?
False
Suppose 4*w = 3*r - 0*w - 16, -w = -r + 6. Let x be (r + -4 + -3)/(4/11). Let b = -3 + x. Is b less than -0.6?
False
Suppose 5*j = 109 - 29. Let w(o) = -329*o - 5248. Let u be w(-16). Is j >= u?
True
Let t = -59 + 28. Let u = 28.8 + t. Let r = u + 2.5. Is 11 < r?
False
Suppose -8*p - 45 = -17*p. Suppose p*h - 4*f + 118 = 0, 145 = -4*h - h - 5*f. Is h >= -27?
True
Let v(p) = 2*p**3 - 20*p**2 - 22*p - 1. Let c be v(17). Suppose 9*d - 359 = -c. Is d at least -368?
True
Let r = 4262 + -2237551/525. Let z = 1458/175 - r. Which is greater: z or 9?
9
Suppose -2*i + 2*t = 2*i + 12, -4*t - 3 = i. Let m be 88/14 - i/((-21)/2). Let b be ((-3)/14)/(m*(-6)/48). Is b < 19?
True
Let x(p) be the third derivative of -p**6/120 - 3*p**5/10 + 41*p**4/24 + 19*p**3/3 + 12*p**2 - 3. Let b be x(-20). Which is smaller: b or 20?
b
Let i(z) = 0*z - 3*z - z**2 + 9 + 2*z**2 - z. Let l be i(6). Let s = 2431.1 - 2431. Is l > s?
True
Let r = 302 + -296. Let t = -0.05 - 0.35. Let n = t - -0.3. Which is smaller: r or n?
n
Let h be (15 - 4)/(2/(-4)). Let m be 10360/(-490) + (-8 - 0) + -6 + 12. Is h greater than or equal to m?
True
Let c(k) = 0*k**3 - 285*k + 284*k + 4 - k**3 + 0. Let g be c(2). Suppose -72*a + 25 = -77*a. Which is smaller: a or g?
g
Let b = 67 - 97. Let v be (-2 + b/(-9))/2. Suppose 2*j + 5*q = -6, 12*q = -2*j + 14*q + 8. Which is bigger: v or j?
j
Let r be (-16)/40 + (-14)/(-10). Let k be 10/(-16)*(-13092)/60. Let t = k - 136. Is r bigger than t?
True
Let y be 5 - 5/2*(-7 + 1). Suppose 2*n - y = -22. Which is smaller: 1/373 or n?
n
Suppose 7 = 2*q - 7. Suppose -4*x = 3*a - q*x, -4*a - 4*x + 24 = 0. Let m = 135 + -136. Is m less than or equal to a?
True
Let r be (2/8)/(-1359*(-6)/14688). Is 0 < r?
True
Let u = -352 + 354. Is u at least -1423?
True
Suppose -2898 = -5*n + 2*c - 0*c, -2*c - 1742 = -3*n. Which is bigger: n or 575?
n
Let u(h) = -h**3 + 6*h**2 + 7*h + 2. Suppose 14 = -41*f + 43*f. Let n be u(f). Let s be 2*3/n - (-301)/7. Is 46 < s?
False
Suppose 111*f = 102*f - 2295. Let g be 124/30 - (-34)/f. Is 34/9 equal to g?
False
Let k = 15 - 11. Let f = 2462 - 7376/3. Is f not equal to k?
True
Suppose 478 + 366 = -4*k - 4*y, 4*y = -5*k - 1057. Is -643/3 >= k?
False
Let l(s) be the second derivative of 23*s**4/6 + s**3/6 - 128*s. Let z be l(2). Is z less than -3?
False
Let m = -5977/3 - -1992. Which is bigger: m or 2/3543?
2/3543
Let y be (1208 - -532)*102/10. Is y > 17747?
True
Let v(q) = -477*q - 1812. Let o be v(-4). Is o bigger than 473/5?
True
Let a(r) = 3*r**2 - 8*r - 1. Let z be a(3). Let d be 9 - z/8*4. Let k be (3 - d)*(-20)/(-325). Which is smaller: 0.3 or k?
k
Let l(n) = -n - 11. Suppose -m + 48 = 3*m. Let q = m - 17. Let t be l(q). Do -6 and t have the same value?
True
Let n = -53 + 69. Suppose -2*b + n = -10*b. Let t be (18 + -20)/(b/(-6)). Is t at most as big as -2?
True
Suppose -4*o - 12 - 30 = -b, -125 = -5*b + 3*o. Suppose -3 = b*w + 2109. Which is bigger: w or -95?
-95
Let j be ((-22)/(-12))/((-26)/819)*-4. Let f be 5 + 2 - 1958/j. Is -1 greater than f?
True
Let y(u) = -15*u + 23 + 23*u**2 + 20*u + 12*u + u**3 + 6*u. Let m be y(-22). Which is greater: m or -1/216?
m
Let s be (-2)/(-5480)*((-4)/32)/(1/(-15)). Which is greater: -1 or s?
s
Let c = 19866 + -19865.9. Which is smaller: 34/145 or c?
c
Suppose -5*f + 7 = 3*g + 1, -3*g + 6 = 0. Let r be ((-96)/18)/(-2)*(f - 3). Let a be (-4)/(-16) + 2/r. Which is small