)/13 - 5238/(-78). Is 67 < a?
False
Let q = -4 + 7. Let r be 78/20 + (-1 - 24/(-16)). Which is smaller: r or q?
q
Let r(o) = -o**2 + 9*o - 6. Let g be r(6). Let q = 1 + g. Let d = 1601 + -1587. Which is bigger: q or d?
d
Let z(b) = b - 5. Let a be z(7). Let w(v) = a*v - 7 + 21 - 3. Let f be w(-8). Do -6 and f have the same value?
False
Suppose -4*y = -c + 571, -3*c = 2*y - 4*c + 287. Which is greater: -141 or y?
-141
Let u = 14/8843 - 315049/3501828. Let h = -1/44 + u. Is 0 <= h?
False
Let a = -181 + 132.5. Let p = -84.6 - a. Let z = -36 - p. Is -8 >= z?
False
Suppose 47 = -3*r + 17. Let f(x) = x**3 - 5*x**2 + x - 15. Let s be f(5). Let w = r - s. Is -1/54 at least as big as w?
False
Let h = -927/2 - -464. Let a = 133774/91 + -3612586/2457. Let v = -2/351 + a. Is v at most as big as h?
True
Let v = -12 + -12. Which is smaller: v or -26?
-26
Suppose -4*z + 9*z - 4*o = -66, 2*z + 27 = o. Let l be ((-4)/12)/(z/6). Is l != 5?
True
Let i(y) = y**3 + 5*y**2 + 4*y + 61. Let o be i(-7). Is o smaller than 1?
True
Let f = -183 - -150. Which is greater: -35 or f?
f
Let b be 2/(-13) - (-474)/39. Let o be (2 - 52/30)*b/8. Which is smaller: o or 0.36?
0.36
Let y = 1.22 - -0.08. Let z = 17.9 - 19. Let f = z + y. Is 2/5 at most as big as f?
False
Suppose 2*q = 2*g - 26, 2*q = q - 5*g - 31. Is -153/10 bigger than q?
True
Let i(o) be the second derivative of -o**3/6 + 2*o**2 + 41*o. Suppose 6 + 14 = 4*j. Let g be i(j). Is g at least -1?
True
Let c = -0.04 - -4.34. Let q = -0.02 - -1.32. Let n = c - q. Is 2/3 greater than or equal to n?
False
Let z = -756 + 26443/35. Is 1 != z?
True
Let w = 8335/9 + -2208773/2385. Is -1 not equal to w?
True
Let w = -361409372876/4355 + 82987228. Let z = w - 3/335. Is 1 at least as big as z?
False
Let h = 517 - 516. Are h and -1/240 equal?
False
Suppose 6*w + 8 = -2*w. Let y be -2*w*(-3)/15. Is -2.2 != y?
True
Suppose 4*a + v + 38 = -24, 2*a + 5*v + 40 = 0. Let r be (0 + 2)*(-13 + 5). Which is greater: a or r?
a
Let h be ((-8)/(-28))/((-6)/42). Let y be h/(4 + 6) - 296/(-5). Do y and 58 have different values?
True
Let n = 12 + 13. Suppose 0 = 5*f - 0*f - n. Suppose f = -m - 1. Which is bigger: m or -5?
-5
Let y(d) = 2*d - 6 + 8 - 3 - d. Let j be y(5). Let l be (7 - j) + -4 + 0. Is -8/9 != l?
True
Let c = -10 - -7. Let l be 3*-1 + (-1 - c). Let n be (-1)/33*(2 - 8). Which is smaller: n or l?
l
Let a = -137 + 182. Is a greater than or equal to 46?
False
Let b(l) = -2*l**2 + 7*l + 1. Let o be b(0). Do -2/31 and o have different values?
True
Let b be 3/(-9) - 2/(-6). Let g(p) = 2*p**2 + 14*p + 6. Let h(o) = -2*o**2 + 5*o - 3. Let j be h(3). Let d be g(j). Is b at most d?
False
Suppose -2*w - 72 = -c + 110, 0 = -c - 4*w + 194. Is c at most 186?
True
Let c be 8/(-6)*(15 + 24). Is c bigger than -49?
False
Suppose -138*v + 139*v = -150. Is -153 greater than v?
False
Let v(r) = r**3 + 7*r**2 - 4*r - 27. Let h be v(-7). Is -3/94 <= h?
True
Suppose 2*g - 4 = 4*c - 0, 0 = 2*g + 3*c - 25. Let k(t) = -1614*t**3 + t**2 - 1. Let i be k(1). Let v = i + 6493/4. Is g <= v?
True
Let j = 561 - 563. Which is smaller: -0.297 or j?
j
Suppose 16640 = -76*l + 11*l. Do l and -258 have the same value?
False
Let n = 2/663 + 14576/3315. Is n equal to 6?
False
Let f be (-52)/16 + 10 + -6. Is f <= -18/7?
False
Let t(s) = 17*s + 231. Let b be t(-13). Let y = -0.2 - -0.1. Is b > y?
True
Let j = -55/4 + 833/60. Let f be (-4)/(-8) + (-3)/6. Which is smaller: j or f?
f
Let g(l) = -6*l**3 - 7*l**2 - 15*l + 16. Let i(t) = 5*t**3 + 8*t**2 + 14*t - 15. Let b(a) = 4*g(a) + 5*i(a). Let d be b(-11). Which is smaller: d or -0.21?
-0.21
Let d = 4624/431935 - 2/2107. Let k = 16/41 + d. Let b = 0 - -4. Is k greater than b?
False
Let j = 5072942/751755 + -776/115. Which is smaller: 1 or j?
j
Suppose -9 = -k - v - 18, 2*k - 12 = 4*v. Which is smaller: 5 or k?
k
Let a(k) = 113*k + 13 - 5 - 112*k. Let m be a(7). Is m less than 16?
True
Let p(a) be the second derivative of -a**3/6 + 3*a. Let i be p(-3). Suppose 0 = -4*o + i*o + 2*t + 7, 0 = 3*o - 2*t - 13. Is 4 greater than o?
True
Let i = -4.289 + 0.289. Which is greater: -183 or i?
i
Let x = -4 + -1. Suppose 5*z + t - 52 = 0, 3 = 2*z - 3*t - 11. Suppose -9*y = -5*m - 4*y - z, -m + 4*y + 13 = 0. Which is smaller: m or x?
m
Let p(w) = w**2 + 2*w - 34. Let l be p(-11). Is 66 >= l?
True
Let r = 6.74 - 5.74. Which is smaller: 120 or r?
r
Let z be (-16)/120 + 23/60. Let j = z + -7/12. Which is greater: j or -0.14?
-0.14
Let s be 15/18 - 1/2. Let m be (-10824)/(-2684) + (-3 + -2 - -1). Which is smaller: m or s?
m
Suppose 4*x - 2*x = 0. Suppose x = 13*k - 3*k + 10. Is k < -3/52?
True
Let k = -687.82 + 688. Which is smaller: k or 3.1?
k
Suppose -g - 42 = 4*i, 3*i - 101 = -7*g - 145. Suppose -3*v + 23 + 23 = -5*p, 3*p + 36 = -v. Let j = p + 0. Is j greater than or equal to i?
False
Let m = -131/1365 + 2/105. Suppose -p = 2*y - 2, 0 = 2*p - 4*y + 1 + 3. Suppose -t + s - 3 = -p*s, 4*t - s = -6. Which is bigger: m or t?
m
Let g be 1/2 - 22/60. Let m = 40 + 10. Let d = m + -50. Which is greater: d or g?
g
Suppose 12*z - 4064 = -1172. Do 241 and z have the same value?
True
Let d be (-22)/(-231)*(0 - 1314). Is -126 greater than or equal to d?
False
Let a be ((-4)/(-4))/((-1156)/(-8)). Which is smaller: a or 0?
0
Let g(z) = 4*z**2 - 11*z - 5. Let v be g(5). Suppose -3 = -2*t + 3, -2*r - 4*t - v = 0. Let l = -24 - r. Is l >= 3?
False
Let b = -0.57 - 2.73. Let l = -2.3 - b. Let a = 2 - l. Which is smaller: a or -4?
-4
Let k be (-32)/(-72) + (-121)/(-1287). Let y(s) = s**3 + 6*s**2 + 2. Let a be y(-6). Which is bigger: k or a?
a
Let c be 804/10 + 13 + (-871)/65. Which is smaller: c or 239/3?
239/3
Let d = 132 + -17030/129. Do d and -1 have the same value?
False
Suppose 0 = -24*r + 2557 - 637. Are 84 and r non-equal?
True
Let a be (-3)/((-42)/28*2/(-309)). Do -307 and a have the same value?
False
Suppose -4*s + 784 = 820. Suppose 1 + 15 = 4*o. Let p(j) = -2*j - 2. Let n be p(o). Which is smaller: n or s?
n
Suppose 12 = t - 13. Suppose 0 = -5*v + t + 5. Let r be (2 - v/(-4))*-6. Which is smaller: -22 or r?
-22
Suppose 7 = -5*u + 147. Suppose -n = 3*n + u. Suppose 4*p - 22 = 5*w + 22, 0 = 4*p - 4. Is n at least w?
True
Let z be (2/(-8))/(1727/44). Which is smaller: 0.1 or z?
z
Let p = 3.3 - 5. Let d = p - -0.7. Let x = -0.5 + 0.48. Which is greater: x or d?
x
Suppose -3*a = -4*o + a + 12, -2*a - 3 = -o. Let l be o/(-18) + 35/66. Is -1 smaller than l?
True
Let o = -37.3 - -35. Let v = -0.628 - 1.772. Let a = o - v. Which is smaller: -0.15 or a?
-0.15
Let s be ((-8328)/(-10))/(-6) - (-44)/330. Which is smaller: -138 or s?
s
Let x be (-6 - (-435)/80)*(-20)/6. Suppose -9*z = 8*z - 17. Which is greater: z or x?
x
Suppose 4*p + 25 = 3*l - p, 0 = -5*l - 3*p - 15. Suppose -f - 22 = -4*y, l*f + 4*f + 5*y + 25 = 0. Let v be (-1)/7 - f/(-28). Is -0.1 at most v?
False
Let s = 52 - 52.48. Let m = s + -0.52. Is 0.06 <= m?
False
Let t be 0/((-24)/18 + 42/18). Let r be (-2)/12 + (-1)/4. Which is smaller: t or r?
r
Suppose 0 = 5*s - 3*q, 2*s = -q - q. Let f be -8*(s - 3/12). Suppose 0 = y - 6*y. Which is greater: y or f?
f
Let j = 3775 + -3798. Let r be ((-89)/3)/(12/9). Which is greater: r or j?
r
Suppose -52 = -6*v - 388. Suppose 4*a + 208 = -4*r, 2*a + 2*r - r + 109 = 0. Is v at most a?
False
Let h(q) = -q**2 + 6*q + 10. Let u be h(6). Let d be (-4)/u - (-24)/10. Suppose 0 = 3*l - 0*c + d*c - 20, 0 = -l + 2*c + 4. Which is smaller: 5 or l?
5
Suppose 5*p + c - 48 = -5, 2*p = 3*c + 24. Let y(r) = -2*r + 11. Let b be y(p). Do b and -45/8 have the same value?
False
Let f be (18/(-6))/((-1)/17). Suppose -f = -0*j + 3*j. Let n = -16 - j. Which is bigger: -4/9 or n?
n
Let s be 4/(-22) - 1352/572. Let r be (-3)/(-2)*(-5 - -3). Which is smaller: s or r?
r
Let k be (1/104*-18)/((-6)/176). Is k at least 6?
False
Let t = -1 + -5. Let s = 1.61 + 5.39. Let u = s + t. Are u and 0.05 equal?
False
Suppose 0 = -5*q + 2*q - 12, 68 = 4*g + 3*q. Let b = g + -20. Suppose 2*c = -b*c - 4. Which is bigger: c or -3?
c
Suppose -2*j - 31 = 9. Let k be ((-6)/5)/((-21)/j). Let y = k + 4/7. Is -4 < y?
True
Let a be 2/(-18)*-4 - (-650)/(-450). Which is smaller: a or 2/2123?
a
Suppose 0 = -0*z + z - 0*z. Suppose -a - 2 = -z. Is a at most as big as 4?
True
Let b = -1134 - -1140. Is b at least -