7. Let j = g + u. Which is smaller: j or -3?
-3
Let r be ((-8)/(-450))/(20/50). Is -1 greater than r?
False
Suppose 2 - 30 = -3*v - 4*u, -52 = -4*v + 2*u. Let n = v - 9. Are n and 9/5 unequal?
True
Let u = -8 - 9. Let s = -360/13 + 2879/65. Let i = u + s. Which is smaller: i or -1?
-1
Suppose 3*n + 4*u - 6 = u, -4*n - u = 4. Is n at least as big as -9?
True
Let q = 3 + -1. Suppose u = 9 - q. Let a = 3 - u. Are -2 and a equal?
False
Suppose 2*g + 4*i - 15 = -i, 3*g + i = 16. Suppose g*v = v. Let h be (11/22)/(21/(-6)). Which is bigger: h or v?
v
Let u be 1 + -2 + (-1)/(-1). Suppose u = 3*g + g. Let t be 0 - 1/((-6)/4). Which is smaller: t or g?
g
Let r(a) = -a - 5. Let c be r(-4). Which is greater: -2/19 or c?
-2/19
Suppose -3*y = -5*m - 4, -y + 1 + 5 = -4*m. Let w be 3 + (9/(-3) - m). Suppose 3*o = -w*o. Which is greater: 2 or o?
2
Let y = 0.1 + 0. Let o = 0.01 - -0.04. Is o equal to y?
False
Suppose 23 = u - 4*s, 8*u - 3*u - 5*s - 40 = 0. Let y = u + -7. Let r(x) = x + 4. Let a be r(y). Do 0 and a have different values?
False
Let l be 1*(3 + -13 + 0). Let h be 2/64*(l - -12). Which is greater: 1 or h?
1
Let t(p) = p. Suppose 6*a = 3*y + a, 0 = -2*y + 2*a - 4. Let l(q) = -6*q - 9. Let o(h) = y*t(h) - l(h). Let b be o(-8). Is -1/4 greater than or equal to b?
False
Suppose -10 = 2*w + 3*w. Suppose 2*x = 9 + 31. Suppose 3*h + 4*j - 14 = 0, -h - 4*h - x = -2*j. Is h less than w?
False
Let t be (8/28)/(18/14). Let v = -4 + 5. Is v > t?
True
Let m be 1/4 + 134/(-8). Let d = 17 + m. Is 0 less than d?
True
Let l = 2209580948371/156 + -14164083218. Let m = -102779 - l. Let p = m - -1/39. Is p not equal to -2?
True
Let c = -11 + -6. Let z = c - -17. Which is smaller: -0.05 or z?
-0.05
Let p = 34.4 + -35. Is 2/3 > p?
True
Let q be -2 + (2 + (-21)/10)*-19. Is q less than -1?
False
Suppose 0 = -4*m - 8, 3*m + 6 = -4*q. Which is bigger: q or 1/80?
1/80
Let t = 28 + -53. Let y = 14 + t. Let b be (-24)/y - 2/11. Does b = 4?
False
Let h = -10 + 14. Suppose 9 = -h*w + 1. Suppose -4*u = 2*t + 18, -3*u = -t - t + 3. Is t at most w?
True
Suppose 4*w - 5 = -2*f + f, 4*w + 5*f = 9. Is 0.1 >= w?
False
Let m be 3 + -3 + (-3 - -8). Let c = -8 + m. Is -3 at most as big as c?
True
Let t = -8 + 11. Suppose -3*s - 6 = -t*m, -4*s - m - m = -16. Suppose s*c + 3 = -1. Is c < 0?
True
Let r = 17 + -11. Let k = r - 12. Let l be (-1)/2 + k/(-8). Is l <= -6?
False
Let p = 1/4 + 0. Let q be ((-18)/15)/((-3)/(-10)). Let s be q + 2 + 0 + 1. Is s != p?
True
Suppose -4*v + 0*h = -3*h - 34, -3*v - h + 32 = 0. Which is bigger: 9 or v?
v
Let w(u) = -u**2 + 10*u + 11. Let r be w(11). Suppose r = -q - 3*q + 20. Is 4 at least q?
False
Suppose 0 + 5 = 5*y. Are 1 and y nonequal?
False
Let b = -57 - -57. Are b and 2 unequal?
True
Suppose -4*k + 0*h + 61 = -5*h, -5*h = -15. Is k less than 19?
False
Let y = -43 + 37. Are -0.3 and y nonequal?
True
Let p be (-2)/(-7)*-19*86. Let t = -15626/35 - p. Let h = t - 20. Which is greater: h or 0?
h
Let q = 5 - -13. Is q equal to 17?
False
Let g = -14127/316 + 115/79. Let p = g - -43. Which is smaller: p or 2/5?
p
Let m = 876 - 1699/2. Let g = 26 - m. Is g less than or equal to -1?
False
Let v = 3 + -2. Let u = -2 + v. Let j = -18 + 17. Is u <= j?
True
Let d = 1 + 2. Let n be d + (-7)/5 + -2. Which is bigger: n or 0?
0
Suppose -4*a + 2*a = -18. Suppose 2*u = a - 1. Are u and 3 equal?
False
Let n = -22.28 + 22. Let k = n + 0.18. Is 6/11 less than k?
False
Suppose -8 = -3*o - 2. Is o at least 3?
False
Let l be 2/(2/(1 - 2)). Let w be ((-16)/8)/((-76)/7642). Let a = w + -201. Which is smaller: a or l?
l
Let w(s) = -s**2 + 4*s + 3. Let j be w(4). Suppose -2 - 6 = -4*b. Which is smaller: b or j?
b
Let d be (-3)/(6/8) + 2. Which is greater: -2/3 or d?
-2/3
Let w(z) = 5*z**3 + z**2 + 2*z + 4. Let t be w(-2). Is -1 greater than t?
True
Let j be -19 - (4 + -1*6). Do j and -18 have the same value?
False
Let k be 2*1/(-2)*-1. Let l be (k - 1 - -4) + 3. Is l greater than or equal to 6?
True
Let g = 4 + -3. Let b(c) be the first derivative of c**3 + c**2/2 - 2. Let o be b(-1). Which is bigger: g or o?
o
Let k = -0.4 + 0.1. Let h = 4.1 + -4. Let s = h + k. Which is bigger: 2 or s?
2
Let m(a) be the second derivative of -a**3/6 + a**2/2 - 2*a. Let g be m(2). Let x = g + 1. Which is bigger: x or 2/7?
2/7
Let j be (-22)/(0 - (-2)/1). Is -10 greater than j?
True
Let k be 0 + (-159)/(-76) + -1. Let r = 3/19 + k. Let s = 5 + -3. Are r and s non-equal?
True
Let p be 69/6*(-10)/(-5). Let z = p + -24. Which is bigger: 0.9 or z?
0.9
Let s be (5 - 5)/(-1 + 3). Let n be 2/(-8) + (s - 0). Which is bigger: -1/3 or n?
n
Let j = 10 + -8. Let a be (-4)/(-16) - j/8. Which is smaller: a or -1/6?
-1/6
Let u = 155102/4155 - -6/1385. Let h = u - 37. Do h and 1/2 have different values?
True
Let z = -88/287 + -5/41. Is 0 at least z?
True
Let r be 1/2 + 711/(-1494). Do 0 and r have the same value?
False
Let v = 27 - 43. Are v and -16 non-equal?
False
Let o(s) = -s**2 + 9*s - 7 + 5 + 7. Let b be o(10). Suppose -2*p - 3*c = 16, -3*p = -0*p - 3*c + 9. Is p greater than b?
False
Let l be ((-63)/(-24) + -5 + 2)/(-1). Let m be (-2 - (-15)/6)*2. Is l less than or equal to m?
True
Let i = -124/7 + 669/35. Suppose 0 = -4*j - 4*s, -4*s - 4 + 6 = 5*j. Which is bigger: i or j?
j
Let k = 4 - 11/3. Let v = -8 + 14. Suppose v = 2*h - 8*h. Do h and k have the same value?
False
Suppose -3*f = -2*i + 60, -f + 5*i - 40 = f. Which is smaller: f or -1?
f
Let n = -740/7 - -106. Let d = 0.1 - -0.1. Which is smaller: n or d?
d
Let s = 1.3 - 0.8. Let g = 0.59 - s. Is g >= -1/2?
True
Let x(f) = f**3 + 3*f**2 - 3*f + 2. Let k be x(-4). Let n be k/(0 + -4) - 0. Is n < 0?
False
Let a = -204 - -302. Is 97 bigger than a?
False
Let h = 102995/3768 + -1/1256. Which is bigger: h or 27?
h
Let m be ((-18)/15)/((-4)/10). Let w be (-2)/9 - (m + -3). Which is smaller: 0 or w?
w
Let n = 6 + -19/3. Is -1/8 greater than n?
True
Let x = 9 - 6. Let k = 0 - x. Let m = 0.3 + -0.4. Is m <= k?
False
Let i(w) = w**3 - 4*w**2 + 4*w - 1. Let d be i(3). Suppose -5*z + 0*z = -3*f - 41, d*f = 6. Is 11 at most z?
False
Suppose -3*r = 3*f + 93, -8*r - 26 = -7*r - 4*f. Is -29 <= r?
False
Suppose 16*l - 21 = 13*l. Which is smaller: l or 2?
2
Let q = -7.7 + 8. Let b = -0.8 + -0.4. Let p = -0.8 + b. Is p less than or equal to q?
True
Let s = -8 - -13. Let m be (s - 2) + (-172)/6. Let x = m + 26. Which is smaller: 0.1 or x?
0.1
Let b = -0.4 + -0.6. Let z = -2 - b. Let j = -0.019 - 6.981. Which is smaller: z or j?
j
Suppose -5*b - 4*n + 82 = 0, b - 5*n = 2*b - 29. Is b less than 10?
False
Let y be -2 - ((-16)/4)/(-2) - 2. Let l = -2 - -8. Let v = l + y. Are -3 and v unequal?
True
Suppose 0 = 4*a - f + 10, -a + 5*f - 18 = 3*a. Are -4 and a unequal?
True
Suppose -4*l = -0*o - 2*o - 2, 5*l - 4 = o. Let d(c) = 2*c**3 + c**2 - 2*c + 1. Let a be d(1). Is l <= a?
True
Let g be ((-24)/(-5) + -4)*(-555)/6. Is -2/5 equal to g?
False
Suppose 0 = 2*j - 6*j + 4. Suppose -2 = h - j. Suppose 4*d + 5*t + 17 = 2*t, 4*t = -2*d - 16. Which is smaller: d or h?
d
Suppose 61 - 43 = -n. Is n >= -18?
True
Let c = -1 + 5. Suppose 3*z - 111 = -c*t, 33 = t - 4*z + 10. Let j be (-6)/t - (-25)/(-9). Is -3 greater than j?
False
Let n(t) = t**3 - 14*t**2 + 9*t - 15. Let l be n(14). Which is smaller: 112 or l?
l
Suppose 4*r - 15 = -7. Suppose 2*s - 3*a + r = -2*a, 3*s + a - 7 = 0. Which is bigger: 0 or s?
s
Let d = 112 + -132. Is d greater than 3?
False
Let c = -0.7 - -0.64. Do c and 0 have different values?
True
Suppose x - 2*g + 13 = 0, 2*x + 3*x + 4*g = -37. Let s be 15/27 + 2/x. Which is bigger: s or 0?
s
Suppose 2*m - 5*o - 18 = 7, 2*m + 4*o = -20. Suppose 5*b + 100 = -m*b. Is -20 <= b?
True
Suppose -3*o + m = 20, -o - 3*o - 4*m - 32 = 0. Let q be 2/o + 590/7. Let w = 254/3 - q. Is w greater than or equal to 1?
False
Let b(z) = -z**3 + z**2 - 2*z + 2. Let l(r) = r**3 + 2*r - 1. Let o(g) = -4*b(g) - 5*l(g). Let k be o(-3). Let q be k/12 - (-1)/2. Is 2/29 at most q?
False
Suppose 10 = 2*w, -4*b - w = 4*w - 285. Let m be 2*-1 - (-123)/(-2). Let z = b + m. Are z and 2 unequal?
True
Let q = 137285/15666 - 1/746. Let g = q - 26/3. Which is bigger: g or -1?
g
Let t = 187/5 - 37. Let p = 3 - 2.96. Let v = -2.04 + p. Is t >= v?
True
Suppose 0 = -2*h - 4*r + 18, 2*h + 4*r - 3*r = 30. Whi