*s + 3*s + 22, 0 = -3*w + 4*s + 10. Let f be 855/(-18)*(-4 - w). Is f at most as big as 95?
True
Let w = -1.599 - 56.401. Is 10 greater than w?
True
Suppose 10*u - 9*u - c - 3 = 0, -4*u + 13 = -5*c. Are -111 and u unequal?
True
Let g(u) = -u**3 + 4*u**2 + 7*u - 9. Let p be g(5). Which is greater: -1/33 or p?
p
Let f = 12 - 6. Let u be 0 - 1/(2/f). Let s be (-10 + 4)*(-7)/(-28). Is s != u?
True
Suppose m - 29 = 5*n, -m - 5*n + 17 = -2. Which is greater: m or 25?
25
Let n = 1.461 - 1.64. Is -0.3 < n?
True
Let d(w) = 3*w**2 - 4*w + 14. Let l be d(5). Suppose 0 = -4*c + 5*h + 45, 5*c + 2*h - l = 4*h. Which is bigger: c or 13?
c
Let a = -0.0169 + 0.1169. Let w be 146/(-4)*3/(-6). Which is bigger: w or a?
w
Suppose -7 + 1 = -2*b. Suppose 0*r + 3 = -b*r. Let u be (-2 - (-132)/62)/(-2). Are u and r non-equal?
True
Let h = 204 + -207. Which is smaller: h or 13?
h
Let w = -99 - -98. Which is bigger: -17/11 or w?
w
Suppose -4*k = -3*y + 16, -5*k + 4*y + 2 - 21 = 0. Is k >= 0?
False
Suppose -5*q + 1 + 15 = -4*t, 3*q + 8 = -2*t. Let n = 12 + 3. Suppose -2*k - 35 = k + 4*x, -k - 2*x - n = 0. Which is greater: k or t?
t
Let j(q) = 8*q**3 - 25*q**2 + 4*q - 6. Let b be j(3). Let m = 0.3 + -0.3. Let f = -0.1 - m. Which is smaller: f or b?
b
Let l(c) = 4*c + 13. Let r be l(-4). Let y be (0 + 0/5)*r/(-9). Is -2/187 at least y?
False
Let c = -21 + 4. Let j = c + 15.9. Is -3 != j?
True
Let d be (102/(-10))/3 + 3. Let k = 25 + -13. Let a = -10 + k. Is d at least a?
False
Let b = -1.2 + 1.49. Let a = b - 11.29. Let t = -26 + 25.9. Is t at least as big as a?
True
Let z be (1*(1 + -3 - -1))/(-1). Suppose 0 = -10*m + 1 - z. Let u be -2 - (0 + 0 - 1). Is m equal to u?
False
Suppose -3 = -5*i + 2. Let g = 452/392957 + 362184632/14454137331. Let x = g + 2/549. Is i bigger than x?
True
Suppose -2*g + 72 = -4*g. Let d be (-2)/(-9) - (-30)/81*(-6231)/62. Is g at least as big as d?
True
Let f(i) = -i**2 + 5. Let g be f(0). Let o = -49 + 46. Let v = g - o. Are v and 1 unequal?
True
Let y = -312620/19 + 16459. Is y != 4?
True
Let f = 11 + 13. Let g = -44 - -44. Let c be -1 - ((5 - 5) + (-25 - g)). Are f and c non-equal?
False
Let a be 4/(-10) - 6/(-15). Suppose 8*j - 10*j + 4 = a. Is 2 greater than or equal to j?
True
Let o = -68 + 70. Let j be (-2 - o/(-4)*6)*-11. Which is bigger: -12 or j?
j
Let u be (-1 - (-1316)/(-324)) + 5. Which is greater: u or 0?
0
Suppose -16*g = 14*g + 30. Do g and 1/5 have the same value?
False
Suppose 2*k + 0*k - r = 4, -k + 4*r - 12 = 0. Suppose -k*j + 20 = j. Suppose 3*v + j*c = -12, -8 = 2*v - c + 5*c. Is -4 smaller than v?
False
Let u = -0.388 + -0.002. Let x = -0.4 - u. Let c = x - 0.09. Which is bigger: 3 or c?
3
Let q(y) = -y**2 + 11*y - 6. Let x be q(10). Suppose -4*k + 2*h = 6, 0*k + x*h = -k + 3. Is k at most as big as -1/27?
True
Let k = -318 - -297. Is -0.09 bigger than k?
True
Let a(b) = b**3 + 5*b**2 + 6*b + 8. Let g be a(-3). Let d be (2/3)/(0 - g/12). Is d at most as big as 4?
True
Let v = 23 - 18. Suppose -v*c + d = -3*c + 4, 9 = -3*c + 3*d. Is c greater than 1/73?
False
Let h(z) = -z**3 + 23*z**2 - 39*z - 40. Let b be h(21). Which is smaller: b or 258/11?
b
Suppose 21*b + 23 = 5*d + 20*b, -2*d + 6 = -2*b. Is 21/4 at most d?
False
Let a = 1621 + -1638. Let o be 40/((-4)/2) + 1. Which is greater: a or o?
a
Let k(p) = p**3 + 11*p**2 - 13*p - 18. Let m be k(-12). Let i be m*5/6*(-2)/5. Is 7/4 < i?
True
Let p = -11 - -5. Suppose 5*q - k + 27 = 0, -k - 3 = -0*k. Is p smaller than q?
False
Let c = 2529 - 2531. Let a(s) = s. Let i be a(1). Which is greater: c or i?
i
Let x(g) = -g**2 - 4*g + 5. Let k be x(-5). Let r = 2 - k. Let o be 0 + (1 + -3)/r. Is 1/6 <= o?
False
Suppose -j + 10*j + 72 = 0. Are -10 and j equal?
False
Let o be (3582/(-5))/(-3) + 3. Suppose 0 = j - 4*z + 241, -3*j + 0*z + 4*z = 723. Let b = o + j. Which is smaller: b or 0?
0
Let v = -83764/17 + 4932. Which is bigger: 4 or v?
v
Let p be 4/(2/1) + 5. Suppose 2*d + 4*c = 25 + 5, -2*d + c = -5. Which is greater: d or p?
p
Let v be -2*318/(-36)*-3. Is v >= 0.1?
False
Let d be (-20)/40*12/10. Suppose -10 + 2 = 4*s. Let f be (s/(-4))/(3/(-12)). Is f greater than or equal to d?
False
Suppose 3*a = 5*z - 31, -4*a + 3*z - 35 = 10. Let c be a/(-15) + (-113907)/(-210). Let k = c + -543. Which is smaller: k or -1?
-1
Let v be (1 + 0)*3 + 279/124. Is v at most 4?
False
Let g be (-30)/1387682*(-14295067308)/(-351). Let k = g + -2/693841. Let u = 880 + k. Is u equal to -1?
False
Let r(n) = -6*n**3 - 2*n**2 + 4*n - 1. Let j be r(1). Let p(x) = -2*x**3 + 4*x**2 - 2*x - 1. Let h be p(2). Is j <= h?
True
Suppose 126 = -2*z - 16*z. Which is smaller: z or -6?
z
Let c = -30 + 28.5. Let d = 0.5 - c. Which is bigger: d or 0.22?
d
Suppose 7*r + 38 = -11. Which is smaller: r or -9?
-9
Let v be (-3979)/(-18027) - 2/9. Let y = 9019147021825/14021 - 643259902. Let p = v - y. Is 6 at most as big as p?
False
Let a(o) = o**3 - 2*o**2 + 5*o - 21. Let b be a(6). Suppose -6*f + b = 33. Which is greater: f or 18?
f
Suppose 3*f = -5*g + 7, 17*g - 16*g + 2*f - 7 = 0. Do g and 186 have the same value?
False
Let c(w) = w**2 + 6*w + 2. Let y be c(-6). Suppose -y*a - 3 = a. Is 10 smaller than a?
False
Let y(f) = -3*f + 24. Let t be y(8). Suppose 7*p - 10*p = t. Do p and 2/103 have different values?
True
Let p(n) be the second derivative of n**4/12 + 11*n**3/6 + 13*n**2/2 + 5*n. Let m be p(-10). Suppose 5*k = 0, 4*b - 4*k = -m - 1. Is 1/6 > b?
True
Let b = -58.3 - -59.1. Which is smaller: 41 or b?
b
Suppose 4*p - 133 = -4*q - 5, 0 = 3*p - 3*q - 120. Let t be (24/p)/((-4)/42). Let y = t - -8. Does y = 3/5?
False
Let h(t) = 6*t**2 - 5*t**2 + 18 - 8 - 13*t. Let l be h(9). Is l greater than -26?
False
Let l be 0 - -7*1 - 1. Let t be (l/(-2))/(114/4). Let k(h) = -17*h + 222. Let b be k(13). Which is bigger: t or b?
b
Suppose 6*n + 17 = -91. Is n at most as big as -13?
True
Let q = -1053 + 1138. Which is smaller: 257/3 or q?
q
Let w(u) = 5*u**3 - 6*u - 5 - 2 + 4*u + 6*u**2 - 4*u**3. Let o be w(-6). Are 5 and o unequal?
False
Suppose -5*r - 2189 = 4*h, -r + 3*h + 21 = 455. Which is greater: r or -436?
-436
Suppose -q = -3*q + 10. Let s be (-12)/18 + (-2)/(-3) + 5. Let p = q - s. Is 3/7 not equal to p?
True
Let o = -313/1950 + -2/325. Is o <= -1?
False
Let b = -16 + 11. Let q = b + 2. Let o be 3 + (-6)/(0 - q). Is -4/5 equal to o?
False
Let t = 0.9 - -6.09. Let g = 7 - t. Let s = g - 0.01. Is s greater than -4?
True
Let i = 149/278 - 5/139. Which is greater: 1/92 or i?
i
Let o be (-1)/3 + (-14)/(-6). Suppose v = 2*l + 15, -o*v - 3*l = -v + 5. Are 10 and v equal?
False
Let w = -452 + 567. Which is smaller: w or 114?
114
Let h be 45/(-10)*-2*(-1)/3. Let a be -1*h/((-12)/4). Does a = -7/6?
False
Suppose -2*q - q = -6, -2*q + 11 = r. Let p = 14 - r. Is 6 != p?
True
Let m = 0.483 + -1.483. Is m less than 483?
True
Let i = -49/97 - 7171/1358. Is i not equal to -5?
True
Let s = -124 + 739/6. Let h(w) = 2*w - 5 + 3 - 6 - 5. Let l be h(6). Which is bigger: l or s?
s
Let f be (-14 - -10)*((-19)/(-4) + -2). Let g(y) = y**2 + 14*y + 19. Let r be g(f). Which is greater: 2 or r?
2
Suppose -5*d - 8 = -2*k - 0*k, 3*d + 9 = -3*k. Let f be (-1 + 5)*k/(-2). Suppose -s + f*s = 3. Do 3 and s have the same value?
True
Let c = -2 + 1. Let d be (-21)/(-12)*(6 - 2). Suppose -7*l = -l + d*l. Which is greater: c or l?
l
Suppose 0 = 6*u - 2*u + 64. Let l = -10 - u. Is l < 5?
False
Suppose q + 2 = -0, -3*c + 12 = -3*q. Suppose c*w = 7*w + 75. Let n be (2/6)/((-10)/w). Which is greater: -0.1 or n?
n
Let g = 28 + -28. Suppose g = 5*v - 25 + 110. Is v less than or equal to -17?
True
Let j = 704.11 + -700. Let z = j - 0.11. Let d = z + -5. Which is greater: d or -9?
d
Let w = -1 - -1.1. Suppose 106 = o - 5*f, f + 357 = 3*o + 11. Let d = 98 - o. Is w < d?
False
Let s = -1.8 - 0.2. Let f = -0.15 + -10.85. Let m = f + 6. Do m and s have different values?
True
Let z = -2.466 + -0.034. Let t = z + 2.1. Is t > 0.1?
False
Suppose -22 = -5*b - 2. Let v = -68 - -1. Let m = v - -71. Are b and m non-equal?
False
Suppose -2*g - 1 = -v, v + v + 7 = -5*g. Let a = 7584 + -37787/5. Let r = 27 - a. Are g and r nonequal?
True
Suppose 5*b + 2 = 17. Suppose -b*j - 4 = -2*j. Are j and -1 equal?
False
Let n be 4/(-32) + (-28)/32. Let x be 11 - (0/1 + n) - 1. Is x <= 10?
