7. Which is bigger: g or 1?
1
Suppose 181*i = 176*i - 30. Let p(q) = -q**3 - 6*q**2 - 3*q + 3. Let v be p(-3). Let x = v + 8. Is i < x?
False
Let d be (-1 + 0)/(3 + -4). Are -2 and d equal?
False
Let n be 3/((63/24)/7). Let g be 1*((-10)/n)/5. Is -0.1 > g?
True
Let j be (-1)/2*(-1)/3*0. Which is greater: j or 14?
14
Let z = 0 - 0.2. Let s(x) = 2*x. Let u be s(12). Suppose 3*l + 13 = v, 5*l + 1 = -u. Which is smaller: v or z?
v
Let b(t) = t**3 + 3*t**2 - 2*t - 4. Let y(l) = -1. Let m(k) = b(k) - 3*y(k). Let d be m(-3). Suppose d*j + 5 = -5*r, -3*j - 5*r = -6*j + 29. Is 3 less than j?
False
Let f(d) = d + 7. Let h be f(-5). Suppose h*g = g. Let n = 128/325 + -6/25. Which is smaller: n or g?
g
Suppose 0 = -3*a + 2*a + 2. Let c(w) = -4*w + 3*w**a + w**3 - 6*w**2 + 4 - w**2 + 2*w**2. Let b be c(3). Is -3 equal to b?
False
Suppose -5*d - 48 = 4*b, -d - 2*d - 5*b - 21 = 0. Let q be (d/(-15))/((-8)/20). Which is bigger: q or -4?
q
Let m be 2/6 + (-5)/6. Let p = -2 + 7. Suppose -r - 2 = p*l - 17, -l - 4*r + 22 = 0. Are l and m nonequal?
True
Let z be (78/(-30))/(1/(10/8)). Which is smaller: z or -3?
z
Let p = 31/5 - -571/20. Let q = -35 + p. Suppose -2*i - 4*i = -6. Is q less than i?
True
Let a be (-3)/((-1806)/1208) - 2. Let h = a + -636/5117. Which is bigger: -1 or h?
h
Suppose m - z + 2*z - 26754 = 0, -m + 26760 = -5*z. Let h = 1926407/72 - m. Let b = 1/72 + h. Is b smaller than 0?
False
Let z be -23 - -27 - (3*1 + 0). Are z and 0 non-equal?
True
Let r = -31.13 - -31. Let i = r - 6.87. Let l = i - -7. Do 0 and l have the same value?
True
Let z = -16 - -23. Let m = z - 6. Does -1/23 = m?
False
Suppose 3*u - 8 = t, u + 0 = 5*t - 2. Which is smaller: u or -3?
-3
Let g be 1 + 2 - (-1 - 0). Suppose g*n - 12 = -2*m, -m + 2*n = 5*n - 9. Let z = m + 2. Which is smaller: 3 or z?
z
Suppose -33 - 330 = -4*s + i, 3*s - 3*i = 279. Let v be 4/(-18) - 880/s. Which is smaller: v or -9?
v
Suppose -5*d - 12 = -d. Let v be 3*d/36*2. Which is bigger: -7 or v?
v
Let s(v) = v**3 - 7*v**2 + 6. Let z be s(7). Let t be 4/(-6)*z/8. Is t <= -2?
False
Let c = -31 + 6. Which is greater: c or 2?
2
Suppose 0 = 4*n - 8 - 0. Suppose 3*u + 30 = -3*y, -30 = 2*u + y + 3*y. Let o = u + 8. Are n and o nonequal?
True
Let h be 4*(-1)/(-8)*2. Is -2 greater than h?
False
Suppose -3 = -d - 0. Suppose -4*c - 5*f = -30 - d, 0 = 5*c - 4*f + 10. Suppose c*r - 5*p + 27 = 0, 0 = -r - r + p - 7. Is r > 0?
False
Suppose -y = -3*y + 2. Suppose 3*k = 2*c + 3*c + 22, -4*c - 28 = -5*k. Let o = 2 - c. Which is smaller: y or o?
y
Let t(s) = s - 1. Let o(q) = 7*q - 12. Let x(l) = o(l) - 5*t(l). Let v be x(5). Suppose -4*b - 4*k - 1 = 3, -v*b + 2 = -2*k. Are b and -3 equal?
False
Suppose -m = -2*q - 6, 5*m - q - 12 = -0*q. Let r be -2 - (m + (-48)/14). Which is smaller: 0 or r?
r
Suppose -2*x + x - 2*u + 11 = 0, -3*u + 17 = 2*x. Which is smaller: x or 6/5?
x
Suppose 3*u + 0*u - 1 = j, 0 = 4*u - 5*j - 5. Suppose -4*h + 4 + 0 = 0. Is h > u?
True
Let y be (-42)/(-9) + (-1)/(-3). Suppose -y*l - 4*j - 2 = 3, 2*l - 1 = -j. Suppose l*q + 2 = -4. Which is greater: -1 or q?
-1
Suppose -3*h + 5 = n - 7, 3*n + 34 = 5*h. Suppose -h*w - 3 - 2 = 0. Which is greater: w or 2/5?
2/5
Let g = -1.5 - -1.6. Let n = 0.9 + g. Which is greater: -0.07 or n?
n
Let l(w) = w**3 + 3*w**2 - 5*w - 5. Let n be l(-4). Let r be 3 + n + (-242)/(-8). Let d = r - 32. Which is smaller: -0.3 or d?
-0.3
Let t = 60 - 55. Let m(j) = 2*j**3 - 2*j**2 + 2*j - 2. Let k be m(2). Suppose 0*n + t*n = k. Is n not equal to 1?
True
Let s be (-1435)/1275 - (1 - 1). Let m = s + 16/15. Is m at least as big as 0?
False
Let b be (2 - -7)/((-4)/(-4)). Is b bigger than 9?
False
Let o = 7 + -11. Let n = o + 5. Let i = -0.3 - -0.2. Which is bigger: i or n?
n
Suppose -r + 0 - 1 = 0. Let h = r + 2. Let o = 3 + -2. Are h and o nonequal?
False
Suppose 4*s - 3 = -3*m, 2*s - 3*m + 1 = -2. Let k = 1 + s. Let c be 6/(k + -3) + -1. Is c at least as big as -4?
True
Let x = 77.67 - 78. Let f = -0.03 - x. Which is smaller: -0.2 or f?
-0.2
Suppose 35 = 2*g + 3*g. Is g at least as big as 0?
True
Suppose -3*m + 4*h = 2*h - 13, 3*h + 18 = 3*m. Let i be 1*1/4 + 0. Which is bigger: i or m?
m
Let y = -3 - -4. Suppose g - 2*g - y = 0. Does g = -5/7?
False
Let q = -47179.9119 - -47184. Let h = q + -0.0581. Let i = -0.03 + h. Is i smaller than -0.1?
False
Let c = -12 + 7. Let b = -4.99 - c. Let q = -0.99 - b. Which is bigger: 0.1 or q?
0.1
Let p(j) = j**2 - 20*j + 1. Let r be p(20). Is -1/19 != r?
True
Suppose 0 = -4*h - 2*h - 30. Which is smaller: -2 or h?
h
Let v be ((-12)/(-40))/(2 - 15/12). Which is smaller: -0.05 or v?
-0.05
Suppose -o - 8 = q, q = 3*o - 10 + 2. Let a(d) = d**3 + 7*d**2 - 7*d + 9. Let c be a(q). Suppose 0 = -z - 0 + 1. Are c and z unequal?
False
Let s(h) = h - 7. Suppose -z = 3*z + 48. Let n = z + 20. Let m be s(n). Is -2/5 < m?
True
Let m = -16 - -11. Let y = 7 + m. Which is bigger: y or 0?
y
Let t be 2/(-7) + (-9)/(-7). Which is bigger: t or 3?
3
Suppose 0 = -5*f + 8*f. Which is smaller: -2/9 or f?
-2/9
Let r be (4/5)/((-18)/45). Which is smaller: -14/5 or r?
-14/5
Let l = 13/54 - 1/54. Which is bigger: l or 1?
1
Let i = 121 + -115. Which is bigger: 3 or i?
i
Let d(h) = -h**3 - 2*h**2 + 2*h - 3. Let i be d(-3). Is 1/6 at least as big as i?
True
Let r = 11 - 7. Let b = r + -3.9. Which is bigger: b or -1?
b
Let c = 35 - 133/4. Is 2 smaller than c?
False
Let j be 0 + 0*3/(-9). Is 1 smaller than j?
False
Let l(i) be the second derivative of i**3/6 + 3*i**2/2 - 3*i. Let m be l(-7). Let y be 6/16*-2*4. Does m = y?
False
Let o = 2 - 8. Let f = 7 + o. Is -3/7 >= f?
False
Suppose -4*o - 3*j - 35 = -5, 2*o + 3*j = -18. Is o > -5?
False
Let x be ((-4)/12 + 0)*27. Is x < -10?
False
Let s(l) = -2*l - 8. Let v be s(-7). Let o be 2/3 + 14/v. Let d = o + -5. Is -4/3 bigger than d?
True
Let u = -10 + 7. Let q be (u/(-9))/(2 + -1). Is q at most 0?
False
Let r be (8/(-48))/((-1)/4). Is r bigger than 2/9?
True
Let r(t) = -t**3 - t**2 - 2. Let u be r(-2). Suppose -3*g + 5 = u*g. Let y = -11 - -11. Is g <= y?
False
Suppose 3*u - 13 = -3*s + 35, -u + 1 = -2*s. Suppose 0*j = -5*n + 3*j - u, 4*n - 4*j + 12 = 0. Let c be (6/(-21))/(44/(-14)). Are n and c unequal?
True
Let q = 0 - -5. Suppose 11 = -q*k - 2*s - 18, -2*k - s - 12 = 0. Is k != -4?
True
Let h = 1 + 1. Suppose p - h*z - 6 = 4, -10 = 5*p + 2*z. Is p != -2?
True
Let h = -2 + -14. Is -1 < h?
False
Let b be 3/1 + 1 + -4. Is 9/8 at most b?
False
Let p be (19 - 1)/(3/2). Let b be (p/15)/(2/(-10)). Let g be b/(-6) - 4/3. Which is smaller: g or -1?
-1
Let x be 70/(-6) - 60/45. Which is greater: -12 or x?
-12
Suppose -3 - 5 = 4*u. Let v(i) = -8*i - 1. Let t be v(u). Suppose 0 = 5*w + p - 15, -2*p + t = p. Which is smaller: w or -2?
-2
Let b(w) = w**2 + w + 2. Let r be b(0). Let q be (-3)/(r + (-13)/7). Let f be 6/q - (-9)/7. Are f and 3 nonequal?
True
Let l be (110/(-25))/(1/5). Is l less than -21?
True
Let f = -15 - -19. Let z = -3 + 6. Let c = f - z. Is c < 1?
False
Let y = -5 - -15. Let j be (-6)/y - 108/(-280). Which is greater: 1 or j?
1
Let s = 4 - -6. Let g be 4/s + 0 + -1. Let k = -44 + 44. Which is smaller: g or k?
g
Let v = 11 + -3. Let u = -6 + v. Which is bigger: 1 or u?
u
Let f be -1 + (-2)/((-2)/5). Do f and 2 have the same value?
False
Let p be (-2)/5 + 494/1885. Which is bigger: p or 0?
0
Let s(z) = 8*z - 5. Let h be s(1). Which is smaller: h or -6?
-6
Let l(v) = -v**3 + 12*v**2 - 11*v + 9. Let q be l(11). Is 8 != q?
True
Let a = -7 + 11. Suppose 0*x = 4*x + a. Let g(i) = i + 4. Let z be g(-4). Is z at most x?
False
Let o be 12/(-7)*(-147)/14. Suppose -2*d + 0*d = s + 9, -o = 5*d + s. Is d equal to -2?
False
Let q = 28 + -27.9. Let k = 71/3 - 23. Are k and q equal?
False
Suppose 0 = d - 3*b - 40, d - 2*d = -b - 38. Suppose 4*t - t = -5*c - d, -4*c - 16 = -t. Suppose 5*u = 5*o + 6 + 4, -5*u - 5*o = 40. Is t smaller than u?
True
Let d = -0.087 - 0.013. Which is smaller: -0.22 or d?
-0.22
Let j be (-150)/(-9) - (-3)/9. Which is smaller: j or 16?
16
Let s(p) = -2*p - 7. Let u be s(-6). Is u smaller than 4?
False
Let l = -13 - -11. Let p(i) = i. Let a be p(l). Which is greater: a or -15/7?
a
Let j = 37.09 - 37. Is 2/3 > j?
True
Let l be 210/33*(4 + (-5)/1). Is -5 at least l?
True
Let l be (8/(-6))/((-2)/(-12)). Let s(t) = 