546 + 32537. Let s be 1/(-5) + (-152)/15. Which is greater: s or l?
l
Let r(m) = 25*m. Let s be r(-1). Let k be (-1037)/68 + (-80)/8. Let z = k - s. Which is smaller: z or -6/7?
-6/7
Let a(g) be the third derivative of 1/60*g**5 + 0*g + 0*g**4 + 0 - g**2 + 1/2*g**3. Let n be a(-3). Is n greater than 10?
True
Suppose 0 = -6*l + 5 - 59. Let r(q) = 5*q + 35. Let w be r(l). Which is smaller: -6 or w?
w
Suppose -7 = -3*h - l + 377, 4*h + 5*l - 512 = 0. Suppose -r + 75 = o + 15, 0 = -2*o + 2*r + h. Which is bigger: o or 60?
o
Let p be 2/(-10)*(84 - 85). Which is smaller: -5.22 or p?
-5.22
Let g = 1521 - 1522. Is g at least 1/18345?
False
Let v(q) = q**3 + 31*q**2 - 517*q - 45. Let c be v(-43). Let j be (-12)/(-4) - 576/164. Is j bigger than c?
True
Let w be ((-693)/(-14))/(1/2). Suppose 3*z - w = 5*z - 5*f, z - 4*f = -45. Does z = -55?
False
Suppose 7*y - 17289 - 33538 = 0. Suppose 29*v + y = -1236. Is v > -292?
False
Suppose -3*u - 5*f - 398 = -396, 3*f + 36 = 4*u. Is -14/11 equal to u?
False
Let l(d) = 22*d**2 - 6 - 3*d - 24*d**2 + 2*d - 2*d. Let s be l(-3). Let g = 0 - s. Which is greater: g or 16?
16
Suppose 0 = 5*u - 25, 84*w - 5*u = 79*w + 6395. Does w = 9?
False
Let x = -759 + 221. Which is smaller: x or -535?
x
Suppose -5*j = 3*c + 58, 5*j - j = 3*c + 40. Let w = c - -13. Let z = w + 4. Is z > -4/29?
True
Let k be (80/70)/8 - (-65910)/14. Which is smaller: k or 4709?
k
Let c(q) = 28*q + 88. Let o be c(2). Let k be (64/30 + -2)*o/96. Which is bigger: k or -7/9?
k
Let j(f) = f**2 - 13*f - 14. Suppose -7*m + 65 = -2*m. Let r be j(m). Let d be 1 - (-4)/r - 18/(-63). Is 1 at most as big as d?
True
Let s = -4386 + 13147/3. Is s <= -3?
True
Let b = -152.12 - 0.88. Which is smaller: 2 or b?
b
Let g = 149 - 148.973. Let m = -147 - -147.073. Let u = g + m. Which is bigger: u or 14?
14
Suppose 4*g = 3*t - 24798 + 4220, -g + t = 5143. Which is greater: -5150 or g?
g
Let t = 1/96 - 241/96. Suppose 0 = 73*r + 462 - 170. Which is greater: r or t?
t
Suppose -3*o - 186 = -3*r, -40 = -2*r - 22. Which is greater: o or -855/16?
o
Suppose 0 = 19*p + 70882 + 8272. Is -4167 > p?
False
Let m(l) = l**3 - 34*l**2 + 67*l - 95. Let u be m(32). Let c = -3739832670 + 587845598228834/157185. Let z = 2/2495 + c. Which is greater: u or z?
u
Let t = 34 - 33. Let b(c) = 3*c**3 - c**2 - 2*c + 3. Let l be b(t). Which is greater: l or -13?
l
Let f be ((-205)/70 - -3)*(2 + 2). Let u = -1/28 + f. Let m be ((-4)/6)/(2 - -1). Which is smaller: u or m?
m
Let v = -9 - -9. Let m = -1134/11 - -75956/737. Which is greater: m or v?
v
Let x be 17/2 + ((-66)/12)/(-11). Let v(n) = 3*n - 19. Let q be v(x). Suppose -a + 4*m - 16 = 0, 2*m = -a - 0*a + q. Which is smaller: 2/41 or a?
a
Let i = 24.671 - 24.6. Let m = i + -0.271. Is m smaller than -1/8?
True
Let w = -2291509265/293868 - -17/73467. Let f = 7742 + w. Let o = f - -329/4. Is o at least 26?
True
Let o be (-24)/(-18)*240/(-208). Let w be (-23)/7 + (-2)/(-7). Which is bigger: w or o?
o
Suppose -367*s + 362*s - 350 = 0. Let r be 5*(556/s - -8). Let f = -6629/141 + 47. Is r >= f?
True
Let z = -140.73 + 134. Let j = 0.57 - z. Let b = 1.3 - j. Is b less than 4?
True
Suppose 167*t + 79*t + 1693 = -1751. Are t and -10 equal?
False
Suppose 0 = t - 3. Suppose -2*x = -4*d + 356, -5*d - x + t*x + 444 = 0. Suppose 358*y = 233*y + 10875. Which is greater: d or y?
d
Let h(z) = 20*z + 336. Let n be h(-14). Suppose 53*k - 46*k - n = 0. Which is smaller: k or 69/8?
k
Let c be 3 + 7 + 1 + -6. Let w(t) = 2*t**3 - 6*t**2 - 16*t + 21. Let j be w(c). Which is bigger: j or 45?
45
Let u(k) = -k**2 - k + 1. Let q(j) = -7 + 13 - 5*j - 4*j**2 - 2. Let z(a) = 2*q(a) - 9*u(a). Let w be z(-1). Is 14/9 < w?
False
Let i = -45 - -49. Let d be 236/3 + i - 4/6. Suppose -2*q = -5*l - d, -5*l + 3*q = 39 + 39. Which is smaller: l or -20?
-20
Let r be 39/3 - (-16 - 684/2). Let c be ((-372)/9)/(3/(-27)). Is c <= r?
False
Let x(s) = -59*s - 559. Let f be x(-33). Do 1388 and f have the same value?
True
Suppose 42*q - 41*q = -3*w + 283, 0 = -2*w - 5*q + 206. Suppose 360 = 4*a + 5*t, -4*a - 2*t = -2*a - 182. Are w and a non-equal?
True
Let k = -2314/3 - -782. Let d = k - 5. Which is greater: d or 7?
7
Let l be 119/3 - 5/(-15). Suppose 0 = 4*t - 4*s - 176, -4*s + 73 + 9 = 2*t. Does l = t?
False
Let d = 47 + -11. Suppose -4*z + 0*z + d = 0. Let l = -3 + 12. Is z <= l?
True
Let q = 290 - 333.2. Let h = q + 45.2. Do h and -2.7 have different values?
True
Let m be (-52)/(-78)*(-117)/128. Which is bigger: 0 or m?
0
Let o be -4 + 3 + 3 + 25 + -15. Let y = -4/2397 + 160619/11985. Do y and o have the same value?
False
Let l = -398/193617 - 542842012/50146803. Let m = l - 10/333. Is m < -12?
False
Let u = 512.38 + -529. Let t = 16 + u. Is 1 greater than or equal to t?
True
Let x = 882.30529 + -0.20529. Let u = x + -882. Which is bigger: u or -14?
u
Let l(k) = 7*k**2 + 16*k + 1. Let q be l(-3). Suppose q*c = -16*c. Is 1/127 less than or equal to c?
False
Let x(y) = 2*y**3 - 22*y**2 + 67*y - 8. Let l be x(4). Suppose -l*k = -77*k. Let i be ((-2)/(-3))/(129/9). Which is bigger: k or i?
i
Let b(q) = -9*q - 35. Let p(g) = 28*g + 105. Let c(v) = 21*b(v) + 6*p(v). Let w be c(-5). Is w <= 2/673?
True
Let j = 79 - -44. Let b = -124 + j. Let m be -1 + -14*((-3)/(-114))/b. Is m equal to -0.1?
False
Suppose -m - 4 = 0, -4*w - m - 11 + 63 = 0. Suppose 363 = w*o - 519. Is 64 smaller than o?
False
Suppose 98 - 102 = -2*m. Suppose -x = 4*z - 5*z + m, 2*x - 3*z = -9. Is 8 <= x?
False
Let w be (1 + -1)/(18/(-6)). Suppose 2*f + 4*b = -0*b - 4, -2*b + 10 = w. Let k(r) = -r**2 - 23*r - 142. Let v be k(-13). Is v > f?
False
Suppose 9*f = 8*f - 60. Let o be (f/56)/(72/(-21)). Is o at least as big as 0?
True
Let j be (2 + 0)*70453/(-94). Which is greater: j or -1500?
j
Let o = 239/82 + -140/41. Which is greater: o or 2483?
2483
Suppose -70*t + 19*t - 33390 = 39*t. Which is bigger: -372 or t?
t
Suppose 0 = -2*t + 5*l - 635 - 169, 5*l + 1668 = -4*t. Let d be t/(-70) - (-204)/510. Which is smaller: d or 6?
6
Suppose 7*h + 58 - 86 = 0. Suppose 2*i + 3*v - 11 = 0, -2*i + h*v = -4*i + 14. Do i and 4/7 have the same value?
False
Suppose 3*r = -5*g - 6227, 4*r + 8635 = 5*g + 274. Let t = -122952/59 - r. Which is smaller: -1 or t?
-1
Let s(x) = -13*x - 30. Let b be s(2). Let h = 104 + -29. Let r = h + b. Do 19 and r have the same value?
True
Let k = 187/13104 - 488279563/13104. Let t = 531219/14 + k. Let m = 682 - t. Is 0.1 less than or equal to m?
False
Let b = -124.792 - -1.292. Is -1 less than or equal to b?
False
Suppose 4*y - 2 = 5*y, -4*h = 3*y - 146. Let v be (0 - 0) + 2/h. Suppose -o + 4*b - 4 = 0, -4*o + 1 = b - 0*b. Is o equal to v?
False
Let b be (1/(-14 + 15)*(-4219)/(-1))/1. Do b and 4219 have the same value?
True
Let t = -332 - -331. Which is smaller: t or 6/3101?
t
Let p be 4 - (-2 - 18/(-3)). Suppose 2*o - 3 = m - p*m, -2*m + 9 = o. Suppose -n - 3*i + 2 = 0, 0 = m*i - 0 - 9. Which is greater: n or -2?
-2
Let a be 4/26 + 1293/(-39). Let n be (765/90)/((-18)/(-16) + -1). Let y be ((-5)/10)/(1/n + 0). Which is greater: y or a?
a
Suppose 37037*k = 37023*k + 14. Is -2/29845 bigger than k?
False
Let w = -4957.1 - -4950. Let m = -6.2 - -12.3. Let p = w + m. Is 0 at least p?
True
Let b be (3*2)/1 - 0. Let q be (-1)/b - (-59)/(-6). Let z be 18/30 - (-6)/(-10). Which is smaller: z or q?
q
Let s be 13/(-65)*120/(-63)*(-3)/6. Let h = 18 - 16. Which is bigger: s or h?
h
Let n be ((-2)/3)/((-4)/66). Let d = n - 8. Let m(v) = 4*v**2 - 189*v + 1869. Let k be m(14). Is d greater than k?
False
Suppose 0 = 2*u - 3*d + 3, 2 = -5*d + 7. Suppose 2*b + 6 = u, -3*r = -3*b + 8*b + 27. Let h be 1/((-15)/38) - r/20. Is h bigger than -3?
True
Let t(g) = -g**2 + 6*g - 4. Let r be t(5). Let z = 542 - 524. Suppose -s - r = -z. Which is greater: s or 16?
s
Suppose -3282 = -4*t + 5*x - 333, -4*t + 3*x + 2947 = 0. Does 729 = t?
False
Let z be (-12)/(-174) - (-459)/493. Let i = -3 - -2. Let g = i + z. Do g and 4/3 have the same value?
False
Let n be -3 + (2150 - -4)/6. Suppose -44 = -4*q + 20. Let h be (-2)/8 + n/q. Are h and 22 unequal?
False
Let g = -3223 + 2833. Does g = 2?
False
Suppose -o + 228 = o. Let u be (-11)/((-242)/o) - (-2)/(-11). Suppose -48 = -r - u*r. Which is smaller: 5 or r?
5
Let y = 115/2 - 58. Let w = -149 + 149.15