 k(5). Let t be (12/q - -1)*-5. Let j = t - -5. Is -2/13 != j?
True
Let g(o) = -o**3 + 2*o**2 + 35*o + 4. Let m be g(7). Is m bigger than 10?
False
Let u = -19 - 61. Let a be u/(6/(-3)) + 2. Let r be 7/4*9/a. Are 1 and r equal?
False
Let n = -48.67 + 0.67. Let u = n - -52. Let z = 0.3 - 0.3. Which is greater: u or z?
u
Let w(d) = d**2 + 19*d + 93. Let f be w(-13). Does 65/4 = f?
False
Let r be (-1)/(57/6) + (-2963)/(-171). Is r equal to 16?
False
Let c(d) = 213*d + 1052. Let q be c(-5). Suppose -5*u = 5*w + 30, 48 = -3*u - 0*u + 3*w. Are q and u unequal?
True
Suppose -5*y + 291 + 1054 = 0. Let k be (-20)/(-5) + y/(-67). Which is smaller: -1 or k?
-1
Suppose -71 = -7*w + 125. Is w at least as big as 11?
True
Let d be (-104)/(-78)*(-2 - 1). Let s be 144/54*6/d. Let q = -8 + 3. Do q and s have the same value?
False
Let p = -289 - -865/3. Which is greater: p or -0.2?
-0.2
Let p = -462 + 440. Which is smaller: 3 or p?
p
Let b = 95 - 89. Is b greater than or equal to 0.12?
True
Let u = -63 + 62.9. Is -1/19 at least u?
True
Let n = -6.2 - -6.37. Let x = 1.17 - n. Which is smaller: 2/11 or x?
2/11
Let i(n) = -2*n**3 + 2*n + 1. Let u be i(0). Suppose 7 = -6*w + u. Do w and -14 have different values?
True
Let k be -1 - ((-156)/56 + 2). Suppose -2 = -3*p - 4*x + 7, -3*x = -5*p - 14. Are p and k unequal?
True
Let x be (-2)/6*(-9 - -12). Let c be 366/12 - (x + 1). Let j = c + -109/4. Do j and 3 have different values?
True
Suppose -2*m - 3 = -m. Let l(t) be the second derivative of -t**3/6 - 3*t**2/2 - 119*t. Let f be l(m). Is f at most -5/8?
False
Let q be 0 + 0 - (1 + -1). Suppose a = -z + 28, 3*z + 2*z + 4*a - 139 = 0. Is q at least z?
False
Suppose 2*y = -4*m - 4, 5*y - 2*m + 5*m = 4. Which is smaller: 33/7 or y?
y
Let k = -3 + 0. Let w(g) = -3*g + 7. Let a be w(-3). Let i be 4/a*8/k. Is -1 <= i?
True
Let p = 126826/5595 + -2/1865. Let o = 3212 - 3190. Is o < p?
True
Let b(h) = -h + 4. Let q be b(4). Let i = 2/3475 - 4867/3475. Is i less than or equal to q?
True
Let o be -9*5/(-30) + (-2)/(-4). Suppose -3*t = -o + 8. Is -2 smaller than t?
False
Let f = -39 + 29. Let a = f - 5. Is 1 at most a?
False
Suppose 10 = r - 10. Suppose -8*x - 106 = -250. Is x at most as big as r?
True
Let j = -19 - -21. Let t = -1.87 + j. Let h = t - 3.13. Is 4 not equal to h?
True
Let a = -1644 - -1672. Let w be (-2)/6 - 85/(-3). Is w >= a?
True
Let m(u) = 37*u - 408. Let k be m(7). Is k equal to -150?
False
Let u be (1 - -6) + -2 - (6 - 0). Which is smaller: 4/487 or u?
u
Let i = -1994 - -1993. Is -4/735 less than i?
False
Let k = -395 + 367. Which is smaller: k or -25?
k
Let d(u) = u**3 - 23*u**2 + 90*u + 3. Let s be d(18). Which is bigger: 18 or s?
18
Let d be (28 + -26)*1/(-2). Is 454 less than or equal to d?
False
Let a = 35 + -39. Let l be ((-2)/4)/((-2)/a). Is l at most as big as -1/11?
True
Let l be (0 - 0 - 1)/1. Let x = -304/8253 + 127804393/181566. Let z = -704 + x. Which is smaller: l or z?
l
Suppose -12 = 5*w + 3. Let b = -973 + 987. Is w bigger than b?
False
Let y = -55 + 58. Suppose 3*f = 5*g + 5, -f - 8 = 5*g - 23. Let h = f + y. Which is bigger: 7 or h?
h
Suppose 8*u - 4*u = 16. Suppose u*c = -8 - 12, -3*c - 20 = -g. Suppose 0*r = 4*r + 8, 2*y + 12 = -g*r. Which is greater: y or 1/16?
1/16
Let t = -56 - -55. Let k = 153/133 - 30/19. Which is smaller: k or t?
t
Let q = -23/3 + 7. Let k be (-7)/(-2)*(-144)/(-756). Is k less than q?
False
Let y = 76.1 - 13. Let z = y - 63. Which is bigger: -1 or z?
z
Let s(t) = 18*t**2 - t + 1. Let k be 2/3 + (-1)/(-3). Let x be s(k). Let f be (2/(-6))/(21/x). Does -1/18 = f?
False
Let g be -4 - 6/(18/(-15)). Which is smaller: g or 12/5?
g
Let q = 144585/191 - 757. Which is bigger: q or 0?
0
Let x(o) = 2*o**3 + 14*o**2 + 3*o - 19. Let f(v) = v**3 + 7*v**2 + v - 9. Let w(y) = -5*f(y) + 2*x(y). Let a be w(-7). Is 3/4 at most as big as a?
False
Suppose 3*l - 7 = 4*v, -l + 5*v - 30 = -5*l. Suppose q - 64 = l*q. Let w be (-6)/(-14)*q/(-12). Is 3 greater than w?
True
Suppose -2*z - 22 - 6 = -4*v, 0 = -z - 2*v - 30. Suppose 92 = h + 3*h. Let l = h + z. Which is greater: 1/8 or l?
l
Let r be 0 - -2 - ((-195)/(-5) - -5). Is -45 at least r?
False
Let r = 0.0841 + 5.9159. Which is greater: 4/11 or r?
r
Let a(n) = 152*n - 1. Let y be a(-8). Let b = -88839/73 - y. Which is bigger: b or 0?
b
Let u = -6 - -6. Suppose 0*b = 2*b. Let n = b + 3. Which is smaller: u or n?
u
Let q(z) = 4*z**2. Let p be q(-1). Let r(w) be the second derivative of -w**4/6 + 8*w**3/3 + w**2/2 - 6*w. Let c be r(8). Is c less than p?
True
Let i = -1.26 + 1. Let v = i + 0.16. Is v < 17?
True
Suppose -2034 + 314 = 10*s. Let g = s - -871/5. Which is smaller: g or 1?
1
Let g be (6/21)/(75/(-35)). Let a(n) = -3 - 4*n**2 - n + 5*n**2 + 2 + 2*n. Let r be a(0). Which is smaller: g or r?
r
Let c be (-3)/(-12) + (-25)/4. Let w(m) = -15 + 13*m - 5*m - 7*m. Let n be w(11). Which is greater: c or n?
n
Let q = 3.1 - 3.1. Suppose 5*b - 90 + 15 = 0. Suppose -4*a - b = 5. Is a equal to q?
False
Let z be 4/7 + 1/(-126)*58. Let d(u) = -u**2 - 8*u - 7. Let b be d(-7). Suppose 0 = 5*n - 5 - b. Is z greater than n?
False
Suppose 0 = -34*o - 880 + 3974. Do o and 361/4 have different values?
True
Let z = -46.6 - -48. Let c = -1.5 + z. Which is greater: -1/5 or c?
c
Let c be 14/2016*(-4 + -1). Let v = -3/16 + c. Which is smaller: 2/7 or v?
v
Let b = -1417 - -1402. Suppose -4*o = -3 - 1. Suppose o + 3 = 4*i. Is b at most as big as i?
True
Let l be 12*1/((-16)/(-44)). Let w be 12/(-10)*880/l. Is w < -31?
True
Let w = 159 + -250. Is w greater than -101?
True
Let o be 4/(-6) - 8/6. Let a = -4862 + 4860. Is o smaller than a?
False
Let s(z) = 1. Let g(t) = -t - 1. Let k(f) = g(f) + 5*s(f). Let i be k(6). Which is smaller: i or -10/7?
i
Suppose -4*x = -2*x, 2*x - 1492 = -4*u. Is u at most 373?
True
Let m = -21 - -29. Let y = -64 + 69. Let n = m - y. Which is smaller: n or -3/7?
-3/7
Suppose -5*b = -g + 2, -b - g - 5 = b. Let n be 94/(-16)*(-4)/3. Let l = n + -28/3. Which is bigger: b or l?
b
Suppose 28*f = 734 - 1126. Suppose 3*j = -16 - 26. Are j and f unequal?
False
Let s be ((-85)/(-20))/((-2)/(-16)). Let m be 12/9 + s/(-3). Which is smaller: -11 or m?
-11
Let k = 0.2953 - 0.3953. Let j = 0.3 - 0.05. Which is smaller: k or j?
k
Let g be (-211)/(-95) + 0 + (-3)/(-15). Which is greater: 3 or g?
3
Let m = -1.04 - -1.04. Let o = 2.8 + -1.2. Let q = o - 7.6. Is m < q?
False
Let w be ((-24)/30)/((-2)/185). Suppose 0 = w*s - 75*s. Let c = 33/20 - 459/260. Are c and s nonequal?
True
Let d(k) be the second derivative of 2*k**5 - k**4/6 + k**2/2 - 8*k. Let l be d(1). Which is smaller: l or -1?
-1
Let i(b) = b**3 + 2*b**2 - 10*b - 8. Suppose -4 - 16 = 5*n. Let d be i(n). Which is greater: 2/3 or d?
2/3
Let r(q) = -q + 26. Let m be r(24). Let z be m + ((-1)/2)/((-26)/(-96)). Let y = 0.3 - 0.4. Are z and y equal?
False
Suppose 20 = -4*x + 5*k, x - 2*k = -7 - 1. Does -13/18 = x?
False
Let u be (-3696)/(-1841) + (2 - 6 - -2). Which is smaller: u or -1?
-1
Let y(v) = v - 2. Let w be y(-2). Let s = w - 1. Let h = s + 2. Is -3 less than or equal to h?
True
Let c(w) = w**2 - 15*w - 13. Let b be c(9). Let r = 337/5 + b. Is 1 less than r?
False
Let w = 7 + -5. Suppose 13*x - 4*x = -18. Let b be x/7 - 5/(-140). Is w at least as big as b?
True
Let l be -6 - ((-5)/2 - (-3)/(-2)). Let y(j) be the first derivative of -j**3/3 + 9*j**2/2 - 11*j + 1. Let n be y(8). Is n not equal to l?
True
Let o = 0.41 - 0.22. Let j = -0.19 - -0.29. Let t = j - o. Is -1 at least t?
False
Let c = -3.1846 + 0.1846. Which is greater: c or -3/35?
-3/35
Let z be (12/(-30))/(92/8). Is z smaller than -1?
False
Let h = -69 + 2071/30. Do 0 and h have the same value?
False
Let g(d) be the third derivative of d**6/120 - d**5/20 - d**4/12 + 5*d**3/6 + 14*d**2. Let y be g(3). Let o = -16 + 16.09. Is o bigger than y?
True
Let u(k) = 4*k**3 + 7*k**2 - 6*k + 20. Let l(n) = -n**2 + 1 + n**3 + n**3 + 3*n**3 - 4*n**3 - n. Let o(s) = 5*l(s) - u(s). Let x be o(12). Is x != -2?
True
Let y = -128.95 - -129. Let c = 12 - 23/2. Is y at least c?
False
Let d = -8 - 0. Let w be (-6)/d*(-40)/(-165). Is w less than -0.6?
False
Suppose 0 = 4*u - 7*u + 9. Suppose 2*q = -2*b, -5 = 5*q - 7*q + u*b. Suppose -4 + 0 = 4*t. Are t and q nonequal?
True
Let g(a) = a**3 - 3 + 6*a*