se -4*c - 2*s = 0, 12 = -4*c + 2*s - s. Is c greater than m?
True
Let g = -2/29 + 148/1305. Let q = -2 - -3. Do g and q have different values?
True
Let q be 13 - 11 - (8 + -2)/2. Let g = 26183287819/4923 - 5318563. Let k = g + 2/547. Which is bigger: q or k?
k
Suppose 0 = 5*g - 2*r + 297, 9*r - 8*r = -4. Suppose -2*o + 3*o + 61 = 0. Do g and o have different values?
False
Let g be (-5 + 15)/(-5) + 16. Which is smaller: 26 or g?
g
Let r = 236 + -239. Is r <= -30/19?
True
Let h = 95 + -83. Let n(i) = -12 + 3 - 36*i + i**2 + 25*i. Let l be n(h). Is l at most as big as -2/5?
False
Let k be 5/(10/(-72)) - -1. Let q be k/25 - 2/(-5). Let d = 562/5 - 112. Which is smaller: q or d?
q
Let z(j) = j - 8. Suppose 18 = 3*p + 2*y, -y + 3 = p - 2. Let k be z(p). Let t be -2 - (-7 + 4) - k. Which is greater: 5/8 or t?
t
Let j = -6 + -19. Let y = -22 - j. Is 1 greater than or equal to y?
False
Let f = 20 + -6. Suppose -g + 10 = -3*v, -2*g + 6*v = 2*v - f. Suppose -2 = -5*n + 2*r - 9, r - g = 0. Which is smaller: n or 0?
n
Suppose 72 + 495 = 3*z + 5*u, 0 = -z - 5*u + 189. Are z and 190 unequal?
True
Let y be -143 - ((-40)/6 - 20/(-30)). Are y and -136 non-equal?
True
Let k(t) = -t**3 - 23*t**2 + 25*t + 3. Let r be k(-24). Which is greater: -104/5 or r?
-104/5
Let o be 2 - (-4 - 0/1). Suppose -3*i + 10 = -5. Let u be 0 - (2 - (4 + i)). Is u < o?
False
Suppose 2 + 14 = 4*w. Let v = -3.7446 + -0.0854. Let g = v + -0.17. Which is smaller: g or w?
g
Suppose -564 = -4*l - 4512. Let u be l + 22 + 4*1. Let o = u + 33633/35. Is 1 <= o?
False
Let s = 195795833968/4427 - 44227656. Let m = 4/233 + s. Which is greater: 1 or m?
1
Let l = -200 + 207.6. Is 0.2 greater than l?
False
Suppose -5 = -2*u - 3. Let z be (-4)/6*306/(-12). Let s = z - 17. Is s > u?
False
Let n = 21 + -19. Let u be (6/n)/3 + -1. Which is greater: u or 8/9?
8/9
Suppose 4 = -5*h + 4*h, 0 = 3*p + 5*h - 40. Is 1 > p?
False
Let o(y) = 7*y**2 + 20*y + 22. Let w be o(-7). Which is greater: w or 226?
226
Let b = -1034 + 1077.1. Let y = -45 + b. Let s = 0.1 - y. Which is bigger: -0.2 or s?
s
Let i = -67.89 - -33.988. Let q = i - 0.098. Which is greater: q or 1?
1
Let y = -2 + 2. Suppose -4*w = -f + 2, 3*f - 3 - 3 = 3*w. Let n be 2 - ((-30)/(-21) + w). Do y and n have the same value?
False
Let j be (-4)/32 - (-18)/16. Suppose -c - 4*i + 6 = 0, c - j = -0*c + i. Let y be (c - (-3 + 3))/(-2). Which is bigger: y or -2/3?
-2/3
Let a = 2298 - 2299. Let n be ((-6)/(-15))/(26/(-20)). Which is smaller: a or n?
a
Let g be 0 - (-44)/(-10) - 16/(-4). Which is bigger: g or -4/13?
-4/13
Suppose -16*a + 6*a + 860 = 0. Do 86 and a have the same value?
True
Let m(v) = -v**2 - v + 9. Let z be m(0). Let t(u) = -u**2 - 13*u - 12. Let d be t(-11). Which is greater: d or z?
d
Suppose -413*m + 36 = -404*m. Let i = -2 + 3. Which is smaller: i or m?
i
Let u(q) = 10*q. Let c be u(1). Let v = -20 + 13. Let s(d) = -d**3 - 7*d**2 + 10. Let i be s(v). Are i and c equal?
True
Let b be 85/15 + 14/(-21). Is b at most 1/13?
False
Let h = 472/699 - 2/233. Suppose -3*a = -0*a - 3. Let c be 10/12 + a/(-6). Is c >= h?
True
Let u(j) = j**3 + j**2 + 2*j. Let y be u(-2). Let w be (-7)/3*(-11 - y). Which is bigger: 5 or w?
w
Suppose -4*f + 22 + 146 = 0. Let j be (-40)/(-6) - 28/f. Let i(n) = -n**2 + 4*n + 3. Let r be i(j). Are r and -8 nonequal?
True
Suppose -3*v - 1 = -2*w + 11, -2*w = -4*v - 16. Which is smaller: w or 3/4?
w
Suppose -12 = 6*k - 0*k. Let v be (3 + 0)*k/3. Do v and -16/7 have the same value?
False
Suppose 2*a - 11 = 9. Let o be 0 - a/(-25)*1. Are 13 and o equal?
False
Suppose -a - v = 21, -a + 9 = -5*v + 54. Are a and -19 unequal?
True
Let u = -3941/1462156 + -3/2764. Which is bigger: u or -1?
u
Suppose -1 = o - 8. Suppose 0 = -2*t + 2*w + 10, 2*w + 23 = 4*t + 5. Suppose 3*v = t*v - 6. Which is smaller: o or v?
v
Let x = -18 + 45. Let j = x + -21. Do j and -1 have different values?
True
Suppose -32 = 15*s + 118. Which is bigger: 0.03 or s?
0.03
Let p = 0.1 - 0.1. Let g = -0.068 + -60.832. Let o = g + 61. Is o <= p?
False
Let m be (-84)/24 + (-1)/2 + 1. Let v be 0 + (m*(4 - 3) - -4). Is 0.36 >= v?
False
Suppose -4*o + 2*o + 64 = 0. Let f be ((-24)/o)/((-29)/(-4)). Which is bigger: 1 or f?
1
Suppose -6 = -2*p, 0 = 4*b - b + 4*p - 60. Let f be (-117)/6*b/12. Is -26 at least f?
True
Suppose 0 = 2*s + 39 + 29. Let r = s + 22. Suppose -k + 35 = -3*q, -2*k + 5*k = -5*q - 77. Which is smaller: q or r?
q
Let z = -508 + 528.7. Let v = z + -23.7. Let h = -5 - -10. Is v at most h?
True
Let d = -28 + 28.035. Let u = -1.035 + d. Let f = -3 + 8. Is f != u?
True
Suppose 2 = -3*d - 2*g - 3*g, 0 = 2*d + g - 1. Which is smaller: d or -12/85?
-12/85
Suppose 4*v - 119 = -3*f, -65 = -5*f - 2*v + 124. Let c = f + -35. Which is bigger: c or 3/5?
c
Let t be (-5)/(88/10 - 9). Is t smaller than 2?
False
Suppose -4*f + 18 = -5*z, -f - 4*z + 8*z - 1 = 0. Suppose -f*d - 6 = -d. Are 6 and d unequal?
True
Suppose 200*v - 204*v = -40. Which is smaller: v or 109/11?
109/11
Suppose -7*s - 63 = -10*s. Let d be (-1 + -1)/(s/(-84)). Are d and 90/11 equal?
False
Suppose -7*r = -49 - 105. Let k = r - 17. Which is smaller: k or 11?
k
Suppose 11*r + 411 = 27*r - 149. Suppose -4*l = 4*v - 136, 3*v + 9 = -5*l + 109. Is r at least v?
True
Let a(i) = 2*i**3 + 4*i**2 - 3*i**3 + 7*i - 6*i**2. Let p be a(-4). Suppose -1 = 5*w - u - 2, 0 = w + 4*u + p. Is 1/12 bigger than w?
True
Suppose -204 + 57 = 7*t. Let s be (-6)/t + 34/(-266). Is -1 greater than s?
False
Suppose -5*h = -t - 13 - 7, -t + 16 = 4*h. Let y be 3483/(-15) - (-1)/5. Let z = 4407/19 + y. Is t < z?
False
Let u be (-1)/(9 + -2) + 34008/(-182). Does -371/2 = u?
False
Let j be ((-48)/48)/((-3)/(-1 + -20)). Which is bigger: j or -123/17?
j
Let q be ((-540)/63)/((-2)/322). Let c = q - 92458/67. Is -1 at least as big as c?
False
Let j = 3.7 - 3. Let s = j - 0.1. Let f be (160/(-24) - -6)/((-14)/(-6)). Is s bigger than f?
True
Let k = -30520330/117 - -260845. Let j = -6/5771 + -980992/75023. Let g = k - j. Which is smaller: g or 1?
g
Let z(w) = -2*w**2 + 14*w - 24. Let v be z(6). Which is greater: -21 or v?
v
Let w = 68619 - 1647265/24. Let z = -713/24 + w. Let d = -47 - z. Does d = 0?
False
Let d(a) = 2*a - 2. Let z be d(-4). Let u(n) be the first derivative of -9*n**4/4 + n**3/3 - n - 3. Let h be u(1). Is h at most as big as z?
False
Let u = -0.877 + 0.877. Is u less than or equal to -30?
False
Suppose 0 = -4*a - 2*f - 6100, 5*f = 54*a - 59*a - 7625. Which is smaller: a or -1524?
a
Let s = 27444/7 + -3930. Suppose -8*r + 3*r - 55 = -5*w, -30 = 3*r - 2*w. Is r at least s?
True
Let p(j) = -j**3 - 3*j**2 - 5*j. Let b(c) = -c**3 - 4*c**2 - 5*c + 1. Let g(w) = -4*b(w) + 3*p(w). Let z be g(-6). Which is smaller: -1 or z?
-1
Let t be 28/(-7) - (-8 + -1). Let z be t/(-2)*4/(-10). Let f be z/(-1*3/(-24)). Which is smaller: -1 or f?
-1
Let l(v) = -v**2 + 8*v + 8. Let z be l(10). Is z at most as big as 59?
True
Let f = -3 + 3. Let n be 1 + f + 2 + -1. Let x = 676 + -7424/11. Is x less than or equal to n?
True
Let z = -2 + 2.04. Let x = 0.44 - z. Let y = 0.0366 - 1.0366. Is x > y?
True
Let k be (-932)/(-560) - (-4)/14. Let w = 11/5 - k. Suppose -3*t + 9 = 2*r, -86*r = -83*r + t - 3. Is r not equal to w?
True
Suppose 4*j - 876 - 1996 = -4*g, 5*g - 1436 = -2*j. Is 719 at least as big as j?
True
Let k be 8*(3 - 8)/(-10). Let u be (k/6)/(20/15). Which is smaller: u or -0.2?
-0.2
Let o be -5 - ((6 - (14 + -6)) + 23). Is -24 smaller than o?
False
Let g be -1 + (1 - 4) - -6. Suppose g*r - 22 = -5*s, 125 = 5*r + 4*s - 9*s. Let b be 10/(-35) - (-216)/r. Are b and 10 non-equal?
False
Let v(a) = a. Let f(q) = 2*q - 12. Let l(h) = -f(h) + v(h). Let u be l(11). Suppose 0 = -2*w + 3*k + 2, 3*k - u = -2*w + w. Which is greater: 2.1 or w?
2.1
Let y = -431 + 432. Is y less than or equal to -3/179?
False
Let b = 244 + -271. Is -29 smaller than b?
True
Let b = 728 + -669. Is 59 smaller than b?
False
Let k = 3.64 - 3.84. Is k >= -199?
True
Let u be (8*11/858)/(2/6). Suppose 0 = v - 0*v. Is u bigger than v?
True
Suppose 129*k - 34*k = 95. Which is bigger: k or -2/9?
k
Let m(d) = d**3 + 6*d**2 + 2*d - 1. Let g be m(-5). Suppose 3*j + g = 5*n, -26 = -3*j - 5*n - 0*n. Suppose 5 = a + j. Are a and 2 nonequal?
True
Let v be (-40)/(-12)*(1 + (-1076)/8). Which 