 be (-12)/(-2)*3/6. Suppose -3*q - l - 27 = 0, -c*q = -0*q + 2*l + 24. Which is greater: -9 or q?
-9
Let x = 3.2 - 3.6. Let m(z) = -2*z**2 + 5*z - 7. Let p be m(2). Is p >= x?
False
Let u = 19 + 3. Suppose -g + 5*k - u = 0, k = -g - 2*k + 10. Does -2 = g?
True
Let l be (1/(-6) + 0)*5355/70. Is -12 smaller than l?
False
Let c be ((-12)/(-3))/(3 + -1). Let j = 9.06 + -2.06. Is c < j?
True
Suppose 14*q + 249 = b + 13*q, -4*b - 4*q = -996. Is 250 > b?
True
Let d be (11 - 9)/(-5 - (-2425)/490). Does d = -1/2?
False
Suppose -7*x - 46 + 74 = 0. Do x and 0 have different values?
True
Let i = -21.505 - -24.505. Let d = 5.91 + -6. Which is smaller: d or i?
d
Let u be 3/9*(0 + 15). Suppose -5*p - u*n = -0*p - 90, -5*p = -3*n - 122. Suppose 7*g - 6*g + p = 0. Are -21 and g equal?
False
Let w = -61 + 65. Suppose 0 = 2*j - 3*u + 7, 2*j - 3*u = -w*u + 13. Is j less than 5?
True
Let q(d) = -d**2 - 2*d + 4. Let o be q(-3). Suppose -t = -0*u + 3*u + 75, 0 = 2*u - 2*t + 42. Let f be (-5)/(-6) - (-4)/u. Is f > o?
False
Let h = 1/24 + -7/24. Let c = -8.9739 - 0.0261. Which is greater: h or c?
h
Let l(h) = h**3 + h**2 + h - 18. Let f be l(-4). Is 2 greater than or equal to f?
True
Let z = 25.92 - 25. Let c = z - -0.08. Which is smaller: -4 or c?
-4
Let f = 206 + -205.96. Which is bigger: f or -1/4?
f
Let o = -38 - -20. Let z = o + 18.2. Are z and 22 equal?
False
Let a(c) = -c**3 + 6*c**2 + 3*c + 3. Let q be a(7). Let o = -46 - -15. Let s = o - q. Is s >= -5?
False
Let r be 144/(-63) + (-2)/(-7). Is 4.2 greater than r?
True
Let r = 48 + -52.2. Is r < 0?
True
Let w be (-2)/(-2) + 36/(-26). Let l be (-9)/(-12) + (-34)/(-136). Which is smaller: w or l?
w
Let k be (-5 + 7)/((-1)/((-51)/2)). Let d = k - 66. Is -15 at most as big as d?
True
Let y be -1 - (0 - (-1 - 9)). Suppose -14 = -2*v - s - s, -4*s + 1 = -5*v. Let i be ((-8)/v)/8*27. Is i greater than or equal to y?
True
Let g = -20.25 - -20. Let b = -0.18 - g. Let i = b + 0.03. Which is smaller: i or 2?
i
Let d be (9 - 0)*(-2 + 1). Let z = -1 - d. Suppose -z*h = 25 + 23. Are h and 2/3 unequal?
True
Suppose 5*x = -4*a - 14, a = -2*a - 2*x - 7. Let h be a + 1 + 16/56. Which is bigger: 2/11 or h?
h
Let p = -415 - -10377/25. Suppose -2*h = 2*c, h + 12 = -3*h + 2*c. Let k = 3 + h. Which is smaller: p or k?
p
Suppose -77 = 2*t - 6*w + 3*w, 0 = -t + w - 36. Is t greater than -30?
False
Suppose -4*i = 4*z - 7*z, 2*i + 4*z = 0. Is 5/23 <= i?
False
Suppose -9 = n - 15. Let f be 9/12*(-6)/(-9). Is f at most as big as n?
True
Let k = -38 - 81. Let r = -49 - k. Is -1 not equal to r?
True
Let c be 310/217*(-7)/(-1) - 5. Which is smaller: -2 or c?
-2
Let u = 1.3 + -1.3. Let p = -1.14 - -0.64. Is u > p?
True
Let r = -428 + 256. Let g be r/10 + 4/(-5). Let k be (-14)/504 + 4/g. Which is smaller: k or 0?
k
Suppose -4 = -4*n - 0. Let f = 3 - n. Suppose 5*g = 5*j - 25, -f*j + 20 = g + 2*j. Is -1/11 > g?
False
Suppose -4*c + 2 = -4*n + 54, 25 = n - 4*c. Which is smaller: 1 or n?
1
Let y = 65 + -326/5. Let v be (6 + -2)*(-77)/28. Let m be -5 + 57/11 + 13/v. Which is greater: y or m?
y
Suppose 563*s + 4 = 562*s. Is s smaller than -27/8?
True
Let i(y) = -y**3 + 19*y**2 - 30*y - 24. Let z be i(17). Let j(f) = -f**3 - 6*f**2 + 11*f + 3. Let h be j(-8). Which is greater: z or h?
z
Suppose -4*z - 3 = -7*z. Let x be (0 + (-80)/15)*9. Let p be 210/x*(-6)/15. Which is greater: p or z?
p
Let j be (-3 + 3 + -1)*-27. Let h be 10/(-45) + 87/j. Is 3 greater than h?
False
Let g = 10.4 + -10.4. Which is smaller: -64 or g?
-64
Let v = 1.536 + 0.464. Let r = 54 + -213/4. Is v equal to r?
False
Suppose 4*d - 5 = 3. Suppose 0 = -x - 0*x + d*o + 7, x = -5*o. Let u be (-6 - 0/(-1))*-1. Is u not equal to x?
True
Let x = -0.15 + -0.2. Let g = -0.45 - x. Which is bigger: g or 10?
10
Let t = -0.2 + 0. Suppose -g = 2*f + g - 2, -4*f + 1 = 5*g. Suppose -u + f = -2*s, 2*u + 4*s - 12 = -u. Which is bigger: u or t?
u
Let c(n) = -n**3 + 7*n**2 - 4*n - 7. Let i be c(8). Is -0.2 bigger than i?
True
Let c be 20*-10*12/75. Which is smaller: c or -157/5?
c
Let o(c) = -4 + 4*c - 149*c**2 + 4*c + 4*c + 152*c**2. Let p be o(3). Is p less than or equal to 61?
True
Let k be (2/9)/((-232)/(-522)). Which is smaller: k or -433?
-433
Let c = 28 + -25. Suppose -3*s = -6 + c. Is s equal to -1/7?
False
Let d(x) = 14*x + 13. Let i be d(-5). Let w be (0 - -1)/(19/(-1064)). Which is smaller: i or w?
i
Let q = -35 + 16. Let d be (4/3)/((-30)/450). Which is smaller: d or q?
d
Let t be 24/(-30) + (-25923)/15. Let c be 2/7 + (-836)/t. Are 1 and c unequal?
True
Suppose -3*q + 231 + 72 = 0. Let u = -708/7 + q. Is u at most -1?
False
Let f = -36 + 19. Let z = 40 + f. Suppose b - z = -a, -a + 3*a = 3*b + 41. Is 23 at most a?
False
Let f(u) = u**3 + 12*u**2 - 16*u - 32. Let g be f(-13). Let m be ((-16)/(-3))/(g - 1). Let t(q) = q**2 + 4*q - 3. Let b be t(-5). Is m greater than b?
False
Let g(x) = 3*x**2 - 23*x - 9. Let w be g(8). Let z = -9 + 8.69. Is w bigger than z?
False
Let t be ((-3)/3)/((-1)/2). Suppose 0 = w + 3, t*r - r + 2*w - 4 = 0. Suppose 3*b - 23 = 7. Is r greater than or equal to b?
True
Let w = -6/11 - -1/22. Let c(t) = t**2 - 14*t + 13. Let h be c(13). Let x be h + (-4)/22 - (-2)/11. Is x at least as big as w?
True
Suppose -18*i - 161 = 163. Let t be (-36)/i*(-3 - -1). Is t < -36/11?
True
Let q = -21 + 23. Which is smaller: 26/47 or q?
26/47
Let s(f) = f - 7. Let w be s(1). Is -6 > w?
False
Suppose 122*b = 174*b - 52. Is 2/89 greater than b?
False
Let l(d) = 9*d**2 + 9*d + 20. Let f be l(-3). Let h be (-10)/(-184)*f - 4. Which is smaller: 0 or h?
0
Let s = 65 + -59. Let f(n) = -n**3 + 7*n**2 + 2*n - 10. Let b be f(7). Let h be 0*(27/s - b). Which is bigger: h or 1/28?
1/28
Let x(w) = 9*w - 4 - 13*w + 7*w**2 - w**3 - 4*w**2 + 8*w. Suppose 0 = 3*s - 10 - 2. Let i be x(s). Which is smaller: -10/3 or i?
i
Let z = 20 - 12. Suppose 5*a + 5*f + 10 - 100 = 0, a = 4*f + z. Suppose 7*l + 238 = 21*l. Is l != a?
True
Suppose -2*h = -6*h. Let v be h/5 - (-2 - 7). Which is smaller: v or 8?
8
Let r(b) = -2*b**3 + 20*b**2 - 20*b - 5. Let l be r(7). Is l greater than or equal to 152?
False
Let c = -24 - -26. Let h be (-1309)/(-84)*(-1 - 2). Let u = h + 45. Which is bigger: u or c?
c
Suppose -7 + 31 = 2*l - 4*x, -x - 4 = 0. Which is bigger: l or -6?
l
Let p(a) = 10*a + 24. Let n(y) = 3*y + 8. Let w(v) = -7*n(v) + 2*p(v). Let z be w(-11). Suppose -z*f + 4 = 1. Is -3 greater than or equal to f?
False
Suppose -3*b + 13 = -5*i, 2*i + 5 = i + 3*b. Let f be 3/12 + (-249)/(-12). Let a be 100/(-385) + (-6)/f. Is i greater than a?
False
Suppose -g + 96 = -5*g. Let o be ((-4)/2)/(16/g). Suppose -k = o*k. Are 0.05 and k unequal?
True
Let q be ((-4)/(-6))/(18/27). Let n(f) = 2*f - 3. Let a(h) = 3*h**2 - 1. Let k be a(1). Let y be n(k). Is y > q?
False
Suppose b = n - 7, 2*n = -4*b + 8*b + 24. Let w be ((-7)/4)/(26/8). Let h = 3/91 - w. Are n and h equal?
False
Suppose -23*r + 26*r = -858. Is -285 greater than or equal to r?
True
Let q(f) = f**2 - 15*f - 124. Let b be q(23). Is 55 <= b?
True
Suppose -18 = 3*z - 4*n, -3*z - 18 = 8*n - 5*n. Let h = -58 - -51. Is z greater than h?
True
Let q(f) = -6*f + 3. Let l be q(-4). Let c = -179 + 152. Let h = c + l. Is 1/2 at least as big as h?
True
Let m be ((-6)/(-6) - -2) + (-15)/5. Which is bigger: 2/169 or m?
2/169
Suppose -45*r + 54*r = -9. Is r != 7/97?
True
Let c = 200 - 190. Suppose 2*j - 21 = -3*u, 3*j - 12 - 18 = -3*u. Is j at most c?
True
Suppose 6*r - 5*r - 3*y - 84 = 0, -3*r + 245 = -2*y. Is 81 > r?
False
Suppose 2*p - 4*p = 4*g - 6, -12 = 5*g - 4*p. Suppose a = -3*a. Suppose a = -f - 3*f - 3*c, 0 = 4*c. Is g at most f?
True
Let g(n) be the second derivative of -n**5/10 + n**4/6 + 13*n**3/6 + 19*n. Let s be g(4). Which is bigger: s or -43?
-43
Suppose -15*p + 2378 = -1312. Is 246 equal to p?
True
Suppose 6*m + 4*w = 8*m + 6, 0 = 2*m - 3*w + 4. Which is greater: m or -4/47?
m
Suppose 1 = 2*a - 3. Suppose f - a = 1. Suppose 3*j + f = 0, 10*q - 5*q = -5*j. Is 0 < q?
True
Let u(p) = 2*p - 3. Let j be u(2). Let t(q) = 2*q. Let r be t(j). Suppose f = 3*h - 6, 0 = -r*f - h - h - 4. Is -9/5 > f?
True
Suppose 0*n = -n. Let z(r) = r**2 + 6*r - 21. Let w be z(-18). Let k = w - 2733/14. Which is smaller: k or n?
k
Let w(y) = 11*y + 3. Let u(t) = -2*t - 33. Let o be u(-