7. Let v = w + 92. Which is smaller: v or j?
v
Let d = 64 - 49. Let j be 5/d + ((-302)/240 - -1). Are j and -1 nonequal?
True
Let i = 3/44402279 + 302335112383/78858447504. Let p = i - 1/1776. Let q = p - 19/6. Is q greater than or equal to 1?
False
Let g be (-3)/(-6)*1*-6. Let f = 1287/5 + -257. Is f bigger than g?
True
Let h = 291462040 - 13116733634/45. Let j = h - -20923. Let p = j - -33/5. Which is smaller: -1 or p?
-1
Let g(m) = m**3 - 8*m**2 + 13*m + 4. Let r be g(6). Suppose -3*p = -5*p + r, 0 = 3*x + p - 14. Is x not equal to 2?
True
Suppose 2 - 7 = -5*a. Suppose -2*g = -2*w - 7 - a, 20 = 5*g. Let r be 4/2 - (2 - -1). Are r and w equal?
False
Let n(q) be the second derivative of -1/20*q**5 - 5/6*q**3 + 0*q**2 + 2*q + 0 - 1/2*q**4. Let k be n(-5). Is 5 at most as big as k?
False
Let u(g) = g - 1. Let d be u(6). Suppose -d*m = -m + m. Which is smaller: 5/11 or m?
m
Let u(p) = 2*p + 2. Let i be u(-4). Let s be 36/54*i/(-52). Is s bigger than 0.3?
False
Let w be (24 - 26)/(8/12). Suppose 33 = -5*u - 4*k, -u + 13 = -4*u + k. Is u equal to w?
False
Let g = -44 - -23. Let a = g - -5. Let m = a + 16.2. Which is greater: 2 or m?
2
Suppose 5*d - 5*s + 45 = 0, 3*d - 6 = s - 39. Let b(z) = z + 13. Let q be b(d). Which is greater: q or -2/17?
q
Suppose -4*c + 17 = 5*p, -5*p - c = -4*p - 4. Suppose 6 = 6*d + 24. Let t = d + 5. Is t greater than or equal to p?
True
Suppose -f + 20 - 21 = 0. Let m(p) = -p**2 - 2*p. Let d be m(f). Let b be 15/72 + (-1)/3. Which is bigger: d or b?
d
Suppose -4*m + 4*b + 8 = -2*m, -3*m = b + 9. Let c be (m/10 + 4/(-5))/(-6). Let o(i) = i**3 + 3*i**2 + 3*i + 1. Let u be o(-2). Is c less than or equal to u?
False
Let f(n) = -n**2 - n - 6. Let q be f(-8). Are q and -62 equal?
True
Let m(d) = -d**3 - 2*d**2 + d + 2. Let a be m(-1). Let r be 144/74 - 2 - a/(-4). Are -1 and r nonequal?
True
Let h be ((-5)/(-1))/(10 - 9). Suppose 0 = -4*d - 2*a + 10, -11 = -h*d - 2*a + 1. Suppose 0 = -0*f - d*f. Which is smaller: 1 or f?
f
Let g = -3684 + 3712. Let m = 1 - 0. Is m less than g?
True
Let x = -0.222 + 0.122. Which is bigger: x or -52?
x
Let t = 105 - 106.9. Are 0 and t non-equal?
True
Let f be (-270)/(-4)*(-37)/((-777)/14). Is 35 > f?
False
Suppose 81 = 9*z - 6*z - d, 2*d = -3*z + 72. Let v be -12*((-30)/9 + 1). Which is smaller: z or v?
z
Let a = 195 - 192.35. Let j = -2.56 + a. Let y = -4 - -3. Is y < j?
True
Let s be 26/7 - 12/(-42). Let y = -0.49 + 0.3. Let q = y - -1.19. Is s at most q?
False
Let p be ((-2)/10)/(756/(-30)). Are p and 1 non-equal?
True
Suppose 2*j = -6*o + 3*o - 9, -5*j = o - 10. Suppose j = -2*z - 3, 0 = -3*c - 5*z + 36. Let p = c - 17. Do p and 1 have different values?
True
Let n = -13 - 17. Let z be (-124)/n + (-2 - 2). Does 0 = z?
False
Suppose -2*v = -2*d - 102, 2*d = v - 4*v + 138. Suppose v = -2*o + 5*o. Suppose 3*x - 7*x = -o. Is x < 6?
True
Let k be ((-5)/10)/((-630)/4). Which is bigger: 1 or k?
1
Suppose 5*m + 1933 = 188. Which is greater: m or -348?
-348
Let f = 32 + 14. Suppose 4*i + 6 = -f. Which is bigger: i or 0.1?
0.1
Suppose 8*t + 3*t - 869 = 0. Which is greater: 81 or t?
81
Let i = -39 - -12. Let f = i + 8. Which is smaller: -18 or f?
f
Suppose -b + 8 = -3*b. Let q(x) = 2*x**2 + 10*x + 4. Let d be q(-3). Let g be 6/b + (-8)/d. Is g greater than 2/21?
False
Let b be ((-2)/3)/(166/3). Let o(y) = 3*y + 44. Let a be o(-15). Which is bigger: b or a?
b
Suppose 5*t - 15 = f - 2*f, -2*f - 4*t = -12. Let k = 1/33 - 103/132. Which is greater: k or f?
f
Let m = -1420 + 58214/41. Let h be (2 + (-4 - -1))*-1. Which is bigger: h or m?
h
Suppose -4*i - 2467 = -3*h, 2*i + 2*h + 1239 = 23. Is i > -613?
False
Let t = -51577/168 + 307. Is t equal to 0?
False
Let z = 21.9 - 21. Let q = -0.1 - z. Let t = -1/4 + 3/4. Which is bigger: t or q?
t
Suppose -r = -488 + 489. Is r less than -1/163?
True
Suppose -240*w = -227*w - 572. Is w > 46?
False
Let s(f) = -f**3 - 6*f**2 - 6*f - 2. Let j be s(-5). Suppose 5*b + 2*x - 19 = x, -2*b + j*x + 11 = 0. Let u = 3/97 + 161/1067. Is b < u?
False
Let q = 4.3 - 4.2. Let v(g) = g**3 - 5*g**2 - 6*g + 2. Let o be v(6). Let i be (o/(-10))/(0 - -1). Is i less than q?
True
Let d be 8/20 + (2 - (-62)/(-55)). Let a = -3 + 3. Is d equal to a?
False
Suppose -4*b + 2 - 6 = 0. Let i(n) = n**3 + 8*n**2 + 8. Let f be i(-8). Suppose -f*p + 2 = -10*p. Is p less than b?
False
Suppose -2*l = t - 8, 5*t = 4*l - 4 + 30. Let x be t/(28/16 + -1). Suppose 7*u = 3*u - x. Is u > -3?
True
Suppose -5*v + 56 = 3*k, -5*k = 3*v - k - 38. Let o be (-101)/(-505) - ((-196)/10)/2. Is v greater than o?
False
Let m be -1 + 0 + 30/(-2). Let y = 17 + m. Suppose 2*n - 3 = -y. Is 3/8 < n?
True
Let q = 37 + -30.4. Let w = q + -5.6. Which is smaller: -26 or w?
-26
Let g be 1/(-5) + (-26)/(-5). Let z(l) = -4*l**2 + 196*l + 12. Let a be z(49). Let p be (a/55)/(g/25). Do 1 and p have the same value?
False
Let c be 5*(-1 + 2)*(-36)/(-20). Which is greater: -67 or c?
c
Let i = -0.1261 + -0.1939. Which is smaller: i or -0.27?
i
Let g = 93.4925 + 0.1075. Let x = g + -92. Which is bigger: 2 or x?
2
Let t(m) = 25*m - 7. Let v be t(-4). Let q = 97 + v. Which is greater: q or -9?
-9
Let f = -28 + 54. Let x = f + -27.25. Let k = -0.25 - x. Which is smaller: 0.3 or k?
0.3
Let q be ((-1)/(-3))/(0 - (-5)/15). Is -1 equal to q?
False
Suppose -5*m + 2 = f + 1, 11 = -4*f - 5*m. Let i = 23 + -17. Suppose -5*c - p - 10 = -0*c, -3*p = 3*c - i. Is c bigger than f?
True
Let w be 4/6*19/(-836). Is -1 at least w?
False
Let w = 50 - 32. Suppose -2*k - 18 - w = 0. Which is smaller: -20 or k?
-20
Suppose 8*s - 3*s = 20. Suppose -s*c = 254 + 810. Let k = c + 2928/11. Which is smaller: k or 0?
0
Suppose 0 = -y + 3*q + 56, 2*q - 137 = -4*y + 115. Suppose 0 = -3*c - 14 + y. Which is greater: 17 or c?
17
Let j be (-48)/6*(-5 - 370/8). Is 407 greater than j?
False
Let z(w) = -2831*w**3 + w**2 + 2*w - 4. Let h be z(-4). Let c = h + -48195835/266. Let g = 3/38 - c. Which is bigger: -2 or g?
g
Suppose b + 23 = -0*b. Let c = 8 + b. Let p(h) = h - 15. Let f be p(0). Is c smaller than f?
False
Suppose -16*g = 10*g. Which is bigger: -209 or g?
g
Let s = 351/1364 - 17/44. Which is smaller: 0.07 or s?
s
Let h = -107/12 + 26/3. Let g be -4 + 58/15 + 1209/(-45). Which is bigger: g or h?
h
Let r be 2 + 7/(-2) - 8058/68. Is -0.1 smaller than r?
False
Let l = 207 - 212. Is l equal to 87?
False
Suppose 5*s = r + r + 23, -4*r = 2*s + 10. Let t be 1 + s - (2 + 1). Is 1/6 <= t?
True
Let b = -1130 - -1130. Which is smaller: b or -1/944?
-1/944
Suppose -46 = o - 5*r + 13, -3*o = 3*r + 123. Which is smaller: o or -46?
-46
Let u = 158.1 - 207.1. Which is greater: u or 0.03?
0.03
Suppose q + 4 = 5*q. Let z be q*((0 - -3) + 385/(-125)). Let u(v) = v**3 - 6*v**2 - 8*v + 6. Let i be u(7). Is i greater than or equal to z?
False
Let s = 4745/7 - 679. Which is smaller: 0 or s?
s
Suppose 3*x + 11 = p + 1, -2*x = 5*p + 35. Let l(y) = -y**2 - 9*y - 12. Let f be l(x). Let q be 4*(12/f + -3). Which is smaller: q or 1?
q
Let s(f) = -f**2 + 6*f - 2. Let r(n) = -n + 7*n**3 + 3 - n**3 + 2 - 5*n**3. Let k be r(0). Let w be s(k). Is 3 smaller than w?
False
Suppose 3*f = -2*w - 5, -2 = 4*f + w + 3. Let v = -239 - -158. Let z be 3/(v/(-6) - -3). Is z smaller than f?
False
Let t be -23 - (-4 + -2 + 4). Suppose 0 = -s - 7 - 14. Let c = t - s. Is 6/11 greater than c?
True
Let a = -530 + 568. Which is greater: 37 or a?
a
Suppose -3*w - 75 + 255 = 0. Let h be (-6 + 1)*(-48)/w. Suppose 2*b = 4*r + 4, 3*r = -h*b + 6*r - 12. Which is greater: -4 or b?
-4
Let c = -21 + 39. Let j = 18.22 - c. Is j less than -1/4?
False
Let b = -49 - -58. Let z be 24/b + 12/9. Is z at least as big as -3?
True
Let u = 0.111 + -0.011. Is 0.08 equal to u?
False
Let h be 15/9 - (-36500)/(-20550). Is h not equal to 0?
True
Let g(f) = f**2 - 5*f. Let z be g(6). Let x be 3/2*z/9. Suppose -2*r = r - 6. Which is greater: r or x?
r
Let o be (-21)/70*9 - (-6)/(-10). Which is greater: 0.1 or o?
0.1
Suppose 4*o = -w + 543, 13*w + 299 = 2*o + 8*w. Is o at least -2/7?
True
Let r(o) be the third derivative of -o**4/24 - 5*o**3/6 - o**2. Let m be (-182)/65*(1 - -4). Let w be r(m). Is 9 > w?
False
Suppose -7 = -2*y + 3*t, 3*t + 5 = -4*y - 8. Which is smaller: y or -2/107?
y
Suppose -k - 9 - 7 = -2*p, -4*p + k + 36 = 0. Suppose -13*q 