 15. Is n > -4/159?
True
Let u = 141 - 142. Which is greater: -4/111 or u?
-4/111
Let s = -545 + 6541/12. Is s at most 0?
False
Let w = 50 + -61. Is w bigger than -35/3?
True
Let q(c) be the first derivative of -c**2/2 + 7*c - 1. Let j(f) = 17*f - 163. Let a be j(10). Let p be q(a). Which is greater: 1 or p?
1
Suppose 14 = -4*d + 122. Suppose d = 3*m - 3*q, -q = 5*m - 2*q - 37. Which is bigger: 6 or m?
m
Let m = -3.39 + 286.39. Let d = 298.1 - m. Let f = d - 15. Is f less than or equal to -0.8?
False
Let f = 35 - 33. Suppose 3*a - 3 = f*p, 6*p - 2*p = -4*a + 4. Let d = 7/15 - 1/15. Are d and a equal?
False
Let h = 20.02 + -20. Let t = h + -0.02. Is 3/4 equal to t?
False
Let c = 34 + -14. Let a = c - 19.74. Let x = -0.04 - a. Which is smaller: 7 or x?
x
Let g(i) = -i + 4. Let q be g(4). Let h(o) = -4*o - 3. Let f be h(-2). Suppose c = -3*u - f, 4*c + 0*c - 4*u = -4. Which is smaller: c or q?
c
Suppose m - 140 = 107. Let w = m + -35567/144. Which is greater: w or 0.1?
0.1
Let n(u) = -u + 3. Let p be n(3). Let x be -1 + (-2 - (2 - 7)). Suppose 10 = -4*i + 2*z, -2*i + 3*z = -x*z + 1. Which is bigger: p or i?
p
Let a = 955/2261 + 2/323. Let w(m) = m - 4. Let u be w(9). Suppose u*j - 4*j + 2 = 0. Which is smaller: a or j?
j
Let x = -2061 - -1865. Is x != 0?
True
Let j = 0.096 + 15.904. Which is smaller: 0.04 or j?
0.04
Let t = 638 + -387264/607. Which is smaller: t or 1?
t
Let w = 10321/13 + -794. Which is smaller: 1 or w?
w
Let d be 3/(-15)*245/966. Let y = 1537/2346 - d. Is 2 smaller than y?
False
Let c(u) = -u**3 - 9*u**2 + 3*u - 10. Let l be c(-9). Let f be (-1 - 1 - 30) + -4. Which is smaller: f or l?
l
Let c = 1.1 - 0.1. Let m = 2.6 - 2.34. Let t = 0.23 - m. Is c greater than t?
True
Suppose d - 21 = -2*g - 7, -d = 3*g - 18. Let j be ((-1)/(-2))/(d/16). Let k = 0 + 1. Is j at most k?
False
Let u = -91/18 + 6353/1278. Let z = 3071462392/3621 + -848236. Let j = u - z. Is j at least 1?
False
Suppose -3*h = 3*i + 2*h - 142, -2*h = -4*i + 198. Let x be (-31)/(-7) - 21/i. Which is greater: 3 or x?
x
Suppose 97*t + 520 = -159. Suppose 2*m - 21 = -m. Let o = m + t. Is -4/27 < o?
True
Let t = 0.002 + -0.009. Let a = 8.007 + t. Let f(m) = -m**3 - 6*m**2 + m + 6. Let k be f(-6). Is a <= k?
False
Suppose -4*j + j + 61 = 4*f, -f = 2*j - 19. Suppose -f*c = -c - 48. Which is smaller: c or -4?
-4
Let k = 0.004 - 424.004. Which is smaller: k or -2/5?
k
Suppose 2*a - a = -d, -d = -a - 2. Let p = 2504921/115836 - 4312/197. Let x = p + 2/147. Are x and d nonequal?
True
Suppose m - 19*m = -2700. Is 153 greater than or equal to m?
True
Let c be ((-1656)/(-103))/(-4) + 4. Is c < 1?
True
Suppose -3*j = r - 16, 3*r - 2*j = -2*r + 114. Let l = 18 - r. Which is smaller: -0.02 or l?
l
Suppose -3*y - 6*y = 9. Is 2/5419 greater than y?
True
Suppose 2*p + 2*p = 3*z - 11, 5*p - 20 = -3*z. Suppose -z*v = -2*v + 6. Let u = -0.25 - -0.05. Which is smaller: v or u?
v
Let l = 246088 - 3197583/13. Let d = l + -120. Is d less than -1?
False
Let u be (-275)/609 + 33/77. Is u at most as big as -1?
False
Suppose -5*o - 9*s + 4 = -7*s, 0 = o + 5*s - 10. Let j = 2 - 3. Let b be (-31)/54 + j/(-2). Which is smaller: o or b?
b
Suppose 3*a = -5*m - 808, 811 = 7*a - 10*a - 2*m. Which is smaller: -270 or a?
a
Let n be 2/(-15) + 286/(-195). Which is smaller: n or -3?
-3
Suppose 2*v - 52 = -3*w, -3*w - v + 46 = -2*v. Let d = -15 + w. Suppose -d = -4*u - 9. Is u equal to 1?
False
Let j(t) be the third derivative of -t**5/30 + 7*t**4/24 - 7*t**3/6 + 19*t**2. Let x be j(5). Is x at most as big as -22?
True
Let x be (-5)/150*-12 - (1 - 1). Which is smaller: -3.98 or x?
-3.98
Let i = 769.98 + -749. Let z = 21 - i. Let a = 0 + -2. Is z equal to a?
False
Let w(a) = -5*a + 60. Let i be w(12). Are i and -1/25 nonequal?
True
Suppose -s + 8*s = 14. Suppose -5*a + 10 = -s*o - 0*a, 0 = 3*o - 3*a + 6. Is o <= 1/96?
True
Suppose 0 = -17*o + 216 + 39. Which is greater: o or -6?
o
Let g(z) be the third derivative of -z**4/8 + 4*z**2. Let v be g(-2). Let b be 2/v*3/(-4). Is b bigger than -0.6?
True
Let w = 80.6 + -10.6. Let t = w + -70.2. Which is bigger: 3 or t?
3
Suppose -4*u - 5*a = -26, 5*u - 19 - 9 = -4*a. Let z(n) = 16*n. Let k be z(1). Which is smaller: u or k?
u
Let t(w) = 18*w - 25. Let m be t(2). Suppose -12*y + m*y + 10 = 0. Which is smaller: 80/9 or y?
80/9
Suppose 4*i + 0*i = -4, -3*f + 4*i + 1360 = 0. Let u be -2 + (-3 - f/(-92)). Which is greater: 0 or u?
0
Let w = 25518 + -101545/4. Is 133 != w?
True
Let z = 0.028 - 0.025. Let j = 116.8 - 117. Is z < j?
False
Let l be 2/(-4)*(91 - -1). Let t = 177/4 + l. Suppose 4*y - 3*y = -2. Are y and t non-equal?
True
Let l = -7 + 6.9. Let u = -0.3 - l. Let j = u + 0. Which is smaller: 1 or j?
j
Suppose 0 = 48*k - 41*k + 175. Which is smaller: k or -23?
k
Suppose 0 = -3*c - 6, -z + 2*c = -4 + 20. Let g be (-840)/(-25) + (-8)/z. Suppose 0 = -y - d - 0*d + 36, 0 = 3*y - 3*d - 96. Do g and y have different values?
False
Let a(h) = -h**3 + 4*h**2 + 11*h - 3. Let k(g) = -g + 1. Let c(x) = -a(x) + k(x). Let q be c(6). Suppose -q*w = 16 + 20. Which is smaller: -7 or w?
w
Let t be 5/(-15) - (-32)/(-3). Let f = -4 - t. Is f < 0?
False
Let h be ((-42)/(-28))/(20/43)*-2. Let b be ((-62)/10)/(3/3). Let p = b - h. Which is greater: -12 or p?
p
Suppose -22*q = -28*q - 72. Is -5 != q?
True
Let w = -1 - 0. Let y be (60459/9)/(58/(-6)). Let b = y + 695. Which is smaller: b or w?
w
Let a(b) = b**2 + 3*b. Let j be a(-4). Let d be 2 + 1*(-7)/j*28. Is 1 < d?
False
Let w(v) = v**2 - 6*v - 3. Let d be w(6). Suppose -2*s + 77 = 2*z + s, 0 = -z - 2*s + 41. Let c be (102/340)/(z/(-28) - -1). Is d > c?
False
Let m = 169 + -182. Is -13 not equal to m?
False
Let g = 9.53 + 7.47. Let z = 0.1 - 0.2. Which is smaller: g or z?
z
Let z be 0 + 3/(6/4). Let m be (413/(-177))/((-16)/6). Is m not equal to z?
True
Suppose 321 - 963 = -3*u + 3*x, -u = 4*x - 209. Which is smaller: u or 212?
212
Let g(v) = -4*v**2 + 40*v - 6. Let b be g(10). Does b = -6?
True
Let q = -58 - 1. Let p = -56 - q. Let r = 0 + 5. Which is bigger: r or p?
r
Let q = -257 - -10535/41. Suppose -k - w + 9 = -1, -3*k + 5*w + 46 = 0. Let d be (-18)/(-14) + k/(-42). Which is smaller: q or d?
q
Suppose -31*r = -23*r + 8. Let g = -133/440 - 4/55. Which is smaller: g or r?
r
Let h = 256.99 - 262. Let v = 0.31 + h. Let a = 0.3 - v. Which is bigger: a or -2/5?
a
Suppose 0 = -34*p + 49*p + 675. Is p < -39?
True
Let c = -0.671 + 0.6117. Does -2 = c?
False
Let q be 284/(-497) - 513/(-861). Let l be 2/(-6) - 2/(-6). Is q greater than or equal to l?
True
Suppose b - 20 = 1. Let d = b - 27. Which is smaller: -8 or d?
-8
Suppose 0 = -x - 10. Let f be (-22)/(-9) - (12 + x). Is f at least as big as -2/3?
True
Let s = -1 + 70. Let r = s - 69.1. Are -14/5 and r non-equal?
True
Let d be 14 + (8 - (-1 - -5)). Let r be 5/(3/d*-2). Which is greater: r or -16?
r
Let t be (56/2240)/(2 - (-3)/(-2)). Let y = -0.5 - -0.5. Is y at most as big as t?
True
Let d = 224 + -225.33. Let g = 1.43 + d. Do g and 3/53 have different values?
True
Let u = 39 + -26. Suppose 11*z + 23 = 13*z - 5*f, -4*z - 4*f = -60. Do z and u have different values?
True
Let u(g) be the second derivative of -g**4/12 + 5*g**3/6 - 3*g**2/2 + 8*g. Let k be u(4). Is 3 <= k?
False
Suppose 0 = 3*f - 4*y - 2979, 5*y = 2*f + 2*y - 1987. Let n = f - 8887/9. Which is greater: n or 1?
n
Let p(d) be the third derivative of -d**4/24 - 5*d**3/2 - 10*d**2. Let z be p(-11). Let a be (-26)/(-66) + z/12. Which is smaller: 1 or a?
a
Let z(a) = 3*a**2 - 18*a + 1. Let s be z(6). Let m be (-2)/s - 120/36. Which is bigger: m or -4?
-4
Let f be 2 + (129/(-21) - 40/(-10)). Suppose -6 + 17 = -3*t - 4*c, 5*t = -3*c - 11. Are f and t nonequal?
True
Let y(p) = p**3 + 10*p**2 - 2. Let w be y(-10). Let k be (-18)/(-9) - (w + 0). Suppose -4*o - k = 4*g - 2*o, -2*o = 3*g + 5. Which is smaller: g or 0?
0
Let i be (-4)/2 - (-70)/(-20) - 1. Let h(z) = -z**3 + 7*z**2 - 6*z - 8. Let v be h(6). Is v at least as big as i?
False
Let c(x) = -4*x**2 - 61*x + 19. Let p be c(-15). Is p != 34?
False
Let l(k) = 2*k - 6 + 4 - 9 + 3. Let z be l(-10). Let v = z - -19. Is -8 bigger than v?
True
Suppose -4*o + r = 2, o - 10*r = -15*r - 11. Which is smaller: o or 2?
o
Let c be 3*(5/(-3) - -2)*-1. Let i be (c/(-2))/(19/6). Is -1 <= i?
