 5. Let v = a + -10. Let k be (-6)/4*18/297. Is v > k?
False
Let j be 3*(39/(-72) - -1). Is 2 at most j?
False
Suppose -13 = -10*o - 23. Does -16/31 = o?
False
Suppose 4*q - 4*r = r + 573, -q + 5*r + 132 = 0. Let c = q + -290. Let u = -712/5 - c. Is -0.1 >= u?
False
Let x be (-1)/(-3)*-16*-3. Suppose 2*k - 12 = 0, -11*h + 10*h = -5*k + 14. Do h and x have the same value?
True
Let b be (-2)/(-14) + 1/(2/(-4)). Which is bigger: -2 or b?
b
Let z be 4*(-5 - (-18)/3). Let b(o) = 4*o**2. Let c be b(1). Does z = c?
True
Let k(n) = n**3 + 15*n**2 + 4. Let r be k(-15). Suppose r = t + t. Let z = -16 - -19. Which is bigger: t or z?
z
Let z(t) = t - 3. Let d be z(3). Let l(q) be the first derivative of q**4/4 - q**2/2 - q + 4. Let h be l(0). Are d and h nonequal?
True
Let v = 17977 + -17096125/951. Is v smaller than 1?
True
Let o = -7.93 + -0.07. Let p = -794.8 - -795. Does o = p?
False
Let q = 194/325 - -1/325. Let s = 26.7 - 28. Let c = 1.1 + s. Which is bigger: q or c?
q
Let m = 1976 - 6035/3. Suppose 17*l - 806 = 43*l. Let q = l - m. Is q less than 6?
True
Let s = -5.35 - -3.35. Let d = 1.1 - 0.1. Let f = d + s. Which is smaller: -7 or f?
-7
Let d be 3*-1*(-6)/(-9). Let t(n) = 2*n**2 + 16*n + 11. Let c be t(-8). Let z be (-1)/(c/(-4) - -3). Is z != d?
True
Let o = -3353359/387 + 8665. Which is smaller: 0 or o?
o
Let w be -4*2/(-164) + 0. Let j be 1 + 5 + -3 - 3. Is w smaller than j?
False
Let g(j) = -j**2 + 5*j - 4. Let t be g(4). Suppose -7*u + 48 = -3*u. Suppose -3*d + 0*d - u = t. Is -4 less than or equal to d?
True
Let h be (1/17)/(271/(-881)). Let k = 4/271 + h. Let m = 84 + -83. Which is smaller: m or k?
k
Let w = -44 - -17. Let y be w/(-12)*8/(-3). Let m(n) = -n**3 - 6*n**2 + n + 8. Let o be m(y). Is -4 at least o?
False
Let p = 14.1458 - -0.0142. Let g = p + -14. Let b = g - 0.27. Is 0.1 != b?
True
Let v = -3.2 + 11.2. Let j = -2 + -7. Let u = j + v. Which is bigger: 3/5 or u?
3/5
Let p be (-599)/8 + 2 + -4. Suppose 2*g - 1 = -155. Let c = g - p. Which is bigger: c or -1?
c
Let d be 68/(-6)*(-33)/110*-5. Let x be (-2)/(-5) - 356/(-10). Suppose 2*t + 0*t + x = 0. Which is bigger: t or d?
d
Let f(w) = -w**3 - 2*w**2 - w + 4. Let i be f(0). Let l be (-920)/(-308) - 4/(-14). Are l and i equal?
False
Let m = 0.01 - 0.01. Suppose 7*k - 2*k = 3*c + 12, 16 = 5*k + c. Which is smaller: m or k?
m
Let k = -48 - -51. Let t be 1 - k/(-5 + 2). Is 3 >= t?
True
Let o = 194/15 - -172/15. Is o less than 23?
False
Let b be (-2)/6 - 172/348. Let m = 686/899 + b. Is m at least -1?
True
Let u = 3.9 - 4.9. Which is bigger: u or 4?
4
Let o(m) = -m**3 + m - 2. Let v be o(0). Suppose 46*y - 18 = 28. Is v <= y?
True
Let b(y) = -5*y + 18. Let f be ((-10)/4)/((-37)/74). Let u be b(f). Do -15/2 and u have the same value?
False
Suppose -5*j + 2*w + 238 = -9*j, -5*j + 5*w - 335 = 0. Which is greater: -1 or j?
-1
Let s = 1603 - 1602.91. Which is bigger: s or -1?
s
Let l = 167153 + -496973/3. Let b = -1480 + l. Are b and 15 nonequal?
True
Let b be ((-9)/15)/((-1)/(-10)). Suppose 0 = -4*o - 6 - 38. Let f = o - b. Is -5 < f?
False
Let k be (-17)/(-7) + -1*2. Let d(n) = 51*n**3 - n**2 + 1. Let x be d(1). Suppose 0 = -u - x + 52. Is k smaller than u?
True
Suppose -3*x - 2*x + 297 = 2*g, 3*g - 498 = 3*x. Let a = g - 1613/10. Which is greater: a or 1?
1
Let s be (-240)/(-100) + (-3)/(-5). Suppose -m - 5 = -2*z + 2*m, 2*z - 2 = 4*m. Suppose -z = -2*q + 1. Are q and s equal?
False
Let c(i) = -i**3 - 3*i**2 + 4*i - 3. Let z be c(-4). Let a be (-5)/z*(4 - 11). Let t = 23/2 + a. Is t <= -3/2?
False
Let q = 17 - 36. Let z(h) = h**3 + 16*h**2 + 18*h + 27. Let n be 32/(-1 - 1) + 0 + 1. Let y be z(n). Which is smaller: y or q?
q
Let t = 0.231 - 0.341. Which is greater: t or -6?
t
Let d = 12.1 - 2.1. Let h = d + -13.3. Let l = 12.7 - h. Is l > 0.1?
True
Let l = -0.301 + 1.001. Which is smaller: 1/12 or l?
1/12
Suppose 3*m + 19 = 4*r, 5*r - 41 = -4*m + 2*m. Suppose r*l = 8*l - 24. Is 27 less than l?
False
Let j(v) = v. Suppose 0 = -4*q - 0*q - 32. Let w = 10 + q. Let l be j(w). Do -3/2 and l have the same value?
False
Let i(g) = 2*g**3 + g**2 - 3*g + 2. Let j be i(-3). Which is greater: -30 or j?
-30
Let d = -27 - -18. Let r = 9 + d. Let l(p) = -2*p**3 + 4*p - 3. Let u be l(1). Which is smaller: u or r?
u
Suppose 2*k = 4*t - 4, 2*k + t - 2*t = -7. Suppose 2*u + 9*l + 2 = 11*l, 2*l = -4*u + 2. Which is bigger: k or u?
u
Suppose 9*m - 13*m - 168 = -2*n, -5*m = -5*n + 435. Are n and 94 nonequal?
True
Let z(u) = 16*u - 8. Suppose o + 7 = 6. Let w be z(o). Is w at least as big as -24?
True
Suppose 2*v = 5*i + 79, 2*v - i - 15 - 44 = 0. Let a = 97 - v. Let t be (-10)/36*(-21)/a. Which is smaller: t or -1?
-1
Suppose 4*b = -2*p + 4*p + 18, 2*p = 10. Suppose b = -3*s - 4*s. Is 3/8 equal to s?
False
Let x be (4308/16 + 4)*(2 - 6). Which is bigger: -1092 or x?
-1092
Let m = 3724 - 63260/17. Which is smaller: 3 or m?
m
Let w = 2477/9 + -275. Which is smaller: w or -1/15?
-1/15
Suppose k = 5*a - 1, 6*a + 2*k = 3*a - 2. Let i(z) = -3*z + 7. Let v be i(17). Let l be 1 + (204/v - -4). Is l >= a?
True
Suppose 13*k - 114 = -361. Is k greater than -0.04?
False
Let n be 2/(-4)*3*18/1404. Let z = n - -163/26. Is z bigger than 5?
True
Suppose -4*s + 9*s + 11 = -2*u, 2*u + 8 = -4*s. Suppose -1 = 4*n + u*r + 1, 5*r = -25. Let d be ((-4)/n + 4)/(-7). Which is bigger: d or 0?
0
Let c be (-18)/(-10)*(4 - -1)*-1. Let b be (-2)/c + (-88)/(-9). Is b != 8?
True
Let c = 1082 - 1072. Which is smaller: c or 19?
c
Let n be (-36)/((36/8)/(-3)). Suppose 2*o + o = -n. Let r(y) = -2*y - 12. Let f be r(o). Is 4 >= f?
True
Let k = -4874/3 + 1624. Is k >= 1027?
False
Let b(o) = o - 19. Let c be b(21). Suppose 0 = -m - c*j - 14 + 94, -m + 5*j = -87. Is m less than or equal to 82?
True
Let m = 8864/3 + -2913. Let s = 2881/69 - m. Which is bigger: s or 1?
1
Let x be (-6)/(-3)*(-8)/(-10). Let w = x + -51/10. Let b = 53 - 58. Is w bigger than b?
True
Let l = 67 + -62. Suppose -2*m = -5*t, t - l = -2*m + 7. Which is bigger: 11 or m?
11
Suppose 0 = -5*k - 2*b + 31, -3*b + 29 = 5*k - 5. Suppose 0 = -5*p + 2*c - 9, 0 = 4*c - 13 + k. Which is smaller: p or 1/85?
p
Let w(z) = -37*z**2 - z + 1. Let k be w(1). Let y = 38 + k. Do y and 5/4 have different values?
True
Let u = 72920 - 13271693/182. Let k = -1/26 + u. Is k not equal to 0.2?
True
Suppose -3*z - 9 + 6 = 0. Let t be 2/(4*z/(-2)). Are t and 0 non-equal?
True
Let s = -815 + 702. Which is greater: s or -114?
s
Let s = 7.86 + 0.14. Let b(z) = -105*z + 946. Let t be b(9). Which is bigger: s or t?
s
Let x be -27 - (20/5 + -1). Let p(l) = -2*l - 1. Let b be p(x). Is 60 at most as big as b?
False
Let i be -4*-1*6/(-8). Let k = -1081 - -1076. Which is bigger: i or k?
i
Suppose -416 = 6*s + 310. Is -361/3 less than s?
False
Let u = 0 + 0. Let t = -9 + 7.4. Let x = 1.5 + t. Is x less than or equal to u?
True
Let b = 0.1 + 37.9. Let p = b - 37.8. Let t = -20 + 10. Which is smaller: p or t?
t
Let o be -1 + (3750/(-550) - (-4)/(-22))/(-1). Let i = -2 + 2. Suppose 3*y + i*y - 22 = -r, 0 = r - 5*y + 18. Is o at least r?
False
Let v be 88/10 + (-2)/(-10). Let w = 28 - 83/3. Which is bigger: v or w?
v
Let u(y) = -y**2 - 4*y - 2. Let w be u(-3). Suppose 0 = 5*f - 4*f - 2. Let v = w - f. Which is greater: v or 2/5?
2/5
Let l be (-4)/7*3/6. Let a = 16.2 - 2.2. Let z = -14 + a. Which is bigger: z or l?
z
Let h(x) be the third derivative of x**6/120 - x**5/20 - x**4/6 - x**3/6 + 22*x**2. Let v = 4 - 0. Let w be h(v). Which is smaller: w or 2/5?
w
Let s = 18 - 55. Let p be 4/(-6) - (0 + (-112)/(-3)). Is s smaller than p?
False
Let g be 1*(-3 + 4)/1. Let f be 6/18 + g/(-21). Suppose 5 - 1 = 4*y. Is f >= y?
False
Let u = -2.57 - -51.57. Is 2/5 bigger than u?
False
Let c = -0.1 + 10.05. Let r = -10 + c. Let k = 0.86 + 0.14. Which is greater: k or r?
k
Let d be 26/143 + 2878/22. Let y = -183 + d. Is -52 at most as big as y?
True
Let w be -54 + 51 + (-974)/(-2). Which is bigger: w or 483?
w
Suppose -5*n - 3*g = -18, 5*n - 22 = 3*g - 5*g. Let r be 6*(4/12 + 0). Is r less than or equal to n?
True
Let c be 5/(-240)*-306 - (7 + -1). Which is bigger: c or 0.048?
c
Let z = 24109956160/1547 - 15584979. Let g = -70/17 - z. Which is smaller: -1 or g?
-1
Suppose 5*v = 5*a + 155, 0*a = 5*v + 3*a - 123. Let p be 86/(-6) 