+ 17.39. Let h = -3 + z. Let w = 14.1 - h. Are w and 2/31 nonequal?
True
Suppose 0*k = -3*k - 3*m + 24, 0 = -5*k - 3*m + 34. Suppose -5*t - 2*a + 5 = 0, -k*a + 0 - 3 = -3*t. Which is bigger: 5/6 or t?
t
Let p(o) = -6*o**2 - 11*o + 3. Let r(h) = 13*h**2 + 22*h - 7. Let w(x) = 9*p(x) + 4*r(x). Let n be w(-5). Is 30/7 > n?
True
Let o be (-30)/(-5) - 319/55. Let l = 2.97 + 0.03. Is o != l?
True
Suppose 5*a + 7 = 4*a. Let g(b) = b + 4*b - 6*b - 9 - 3. Let m be g(a). Is m <= -5?
True
Let c = -17 + 8. Suppose 0 = -8*g + 43 + 61. Let m = g + c. Which is bigger: 7 or m?
7
Let n be (-65)/2769*(-270)/25. Which is greater: 1 or n?
1
Let z(c) = 2*c + 21. Let w be z(-9). Suppose w*b + 4 - 13 = 0. Let q = -53/4 + 13. Which is smaller: b or q?
q
Let d = -4381/7 - -623. Is -3 > d?
False
Let h = 22.6 - 21. Let j = h + -0.7. Suppose -f - y - 5 = 0, -2*f = -5*y - 30 + 5. Does j = f?
False
Let y = -1 + 1. Suppose -t + 7*w - 3*w = -8, -2*w = 6. Let c(k) = -2*k**3 - 6*k**2 + k + 5. Let a be c(t). Which is smaller: a or y?
y
Let y = -236.492 - -0.492. Is y at least as big as -0.1?
False
Suppose 3 - 3 = 3*s. Suppose 2*k + 1 + 35 = s. Suppose -h + 90 = -6*h. Is k >= h?
True
Let r = 851 + -851. Is r not equal to 5?
True
Let y(r) = r**2 + r. Let n be y(2). Suppose 0 = -n*d + 99 + 63. Which is smaller: d or 26?
26
Suppose 6*l = 3*l + 12, -4*o + 84 = -5*l. Suppose -o*t = -25*t + 3. Does t = 0.4?
False
Let f = 0.065 - -5.535. Let p = f - 6. Which is smaller: p or -0.3?
p
Let r(m) = 7*m**2 - 11*m + 6. Let d(z) = -4*z**2 + 6*z - 3. Let i(k) = 5*d(k) + 3*r(k). Let g be i(3). Let c be 1 - g - 10/(-5). Which is smaller: 2/19 or c?
c
Let p be ((-6 - -1) + 4)/((-1813)/2). Is 1 equal to p?
False
Let j = 424 + -493. Is j less than or equal to -69?
True
Let c(y) = 11*y**3 + 9*y**2 - 2*y. Let d(a) = -7*a**3 - 6*a**2 + a. Let v(f) = -5*c(f) - 8*d(f). Suppose -4*l = -0*l + 12. Let n be v(l). Is -2 > n?
True
Let s = -32 + 47. Let w = -11 + s. Which is smaller: 5 or w?
w
Let w be (-1)/5 - 43833/19710. Let l = w + -3/146. Do l and -3 have the same value?
False
Let s = -2 + 3. Let q be (s*-1)/(16/(-4)). Which is smaller: 0.4 or q?
q
Let a = 3.28 - 3.21. Is 3 greater than a?
True
Let v be (2/5)/((-126)/(-2415)) + 2. Are v and 9 non-equal?
True
Let o(n) = -128*n - 53. Let b be o(2). Does -309 = b?
True
Let t be 8*(-3)/(-12) + 11. Suppose 0 = -t*i - 24*i + 74. Let y be 1*(0/(-2) - 0). Is y greater than or equal to i?
False
Let y = -2541873/875 + 2905. Is y != -1?
True
Let u(h) be the first derivative of -h**4/24 + 2*h**3/3 + h**2/2 + 4. Let v(x) be the second derivative of u(x). Let d be v(3). Is d equal to -1?
False
Let z = -5 + 17/3. Let a = 4/15 - z. Do -6 and a have the same value?
False
Suppose -5*w + 56 = -4*n - 2*w, n = -5*w - 14. Let o(f) be the second derivative of -f**4/12 - 7*f**3/3 + f**2/2 + f. Let a be o(n). Are 1/4 and a nonequal?
True
Let s be (-130)/14 - 4/(-14). Let c be -2 + -2*(-3)/(-3) + -4. Is s less than or equal to c?
True
Let h be (-244)/(-140) + (-22)/(-55). Is h greater than -0.2?
True
Let h = -676 - -676.1. Let u = -1.18 - 0.02. Which is smaller: u or h?
u
Let i = 19/3 + -136/21. Suppose -30 = -9*d - 6*d. Suppose 0 = -3*c + 4*c + 3*k, -d*k = 0. Do c and i have different values?
True
Let h be (-10)/(-4)*(-396)/(-55). Let n = 18 - h. Which is bigger: 20 or n?
20
Let w be -3 + -2 + 4 - -7. Let z be 4/w*(-5)/(-30). Do 1 and z have different values?
True
Let v = -2224/5 - -331346/745. Which is smaller: -1 or v?
-1
Suppose -8*t = -11*t - 18. Let b be 2/(-8) - 0/t. Let m be 15/(-8)*32/(-48). Which is bigger: m or b?
m
Let h(n) = 6 - 4*n - n**2 - n + 5*n + 2*n. Let c be h(3). Which is smaller: 8/5 or c?
8/5
Let d = 240 + -239. Which is smaller: 25 or d?
d
Let l = -5/8487 + 34839215/135792. Let u = l - 256. Is u greater than or equal to 0?
True
Let d(a) = 5*a**2 - 23*a + 6. Let y be d(3). Is -96/5 >= y?
False
Let d(v) = -v**3 + 13*v**2 - 28*v - 3. Let p be (-5 - (-20)/4) + 10. Let z be d(p). Which is smaller: 18 or z?
z
Let j(u) = -u**2 + 8*u - 9. Let s be j(6). Suppose -s*a - 5*r = 8, -4 = 4*a + 3*r + 3. Do a and -2/41 have different values?
True
Let p(f) = -f**3 - 18*f**2 - 45*f - 7. Let g be p(-10). Which is bigger: g or -355?
-355
Let n be ((-165)/(-6) - -8)/2. Which is bigger: n or 0.2?
n
Let u = 0.356 + -64.356. Are -1 and u unequal?
True
Let j(q) = 3*q**2 + 31*q + 14. Let f be j(-10). Suppose -d + f = -6. Let r be 9 - (-1 + 2 + -2). Is r <= d?
True
Let z = -72 - -73. Let b = -1/31 - -159/124. Are z and b equal?
False
Let m = -1752 - -1797. Does m = 20?
False
Let x = 3.2 - 3.275. Let s = 1.475 + x. Let y = -3 - -2.9. Do s and y have different values?
True
Let r = 334/9 + -74491/2007. Which is smaller: r or -1?
-1
Let j(l) = l**3 - 3*l**2 - l + 2. Let a be j(5). Let m = a - 30. Is 2/3 > m?
False
Let l = -24.16 - -24. Let p = l + 0.06. Let v be (-4)/22 - (1 + -1). Is v less than or equal to p?
True
Let c(d) = d - 1. Let z(r) = -5*r - 1. Let w(g) = 2*c(g) + z(g). Let h(a) = -4*a - 4. Let o(s) = 4*h(s) - 5*w(s). Let k be o(-1). Which is smaller: -1/10 or k?
-1/10
Let d = -95/10619 + -4/259. Let f = 85/123 + d. Suppose 2*g = 5*g. Is g not equal to f?
True
Suppose -2*r = -2*o + 34, 4*r - 5*o + 59 = r. Let l = r - -17. Suppose 2*j = -l*c - 2*j - 56, -5 = 5*j. Is -12 at most c?
False
Let g be 545/90*-4 + 4/18. Suppose -137 = 7*v + 10. Which is greater: g or v?
v
Let d be 56/(-98) + (-6)/14. Is 1/291 at least as big as d?
True
Let l be (6/(-4) + 1)*(2 - 2). Which is greater: -2/275 or l?
l
Let l = 0 + 0. Let b be (-3)/(-6)*11/(121/(-858)). Which is bigger: l or b?
l
Let t = -68 + 69.12. Let r = t + -1.1. Which is smaller: 0.3 or r?
r
Let k be 2*7/((-168)/2598)*-4. Is k not equal to 866?
False
Let c(p) = p**2 - 6*p + 9. Let i be c(4). Is i equal to 3/8?
False
Let x be 3/9 + 61/(-3). Is x > -20?
False
Let y = 97.919 - 98. Let p = -0.881 - y. Which is bigger: p or 0.05?
0.05
Let g = 151/6 - 1721/66. Let b = 12/11 + g. Which is bigger: b or -1?
b
Let o = -15701/14097 + 128/111. Is o greater than or equal to -0.2?
True
Let w = -409/108 - -1/27. Suppose 77 = 12*p + 125. Is w less than or equal to p?
False
Suppose z + 756 = -2*z. Let l = 2 + 2. Let u be l/(-18) + (-497)/z. Are -1/2 and u nonequal?
True
Let b be 3/((-42)/(-20)) + 6/(-14). Are 44 and b nonequal?
True
Suppose -1 = -2*x - 25. Let f be (2/6)/(-1 + x/(-8)). Do f and 3/4 have different values?
True
Let b be ((-4)/(-20))/((-2)/(-10)). Suppose 7*k - 5*k - 20 = 0. Let h be ((-3)/(-75))/(k/(-25)). Which is greater: h or b?
b
Suppose -10*g = -134 - 286. Which is greater: g or -1?
g
Let l = -218.85 - -219. Do l and -0.1 have different values?
True
Let y = -706 + 700. Which is smaller: y or -25/4?
-25/4
Let n = 511 + -210. Is n < 299?
False
Let h = 29 + -42. Let f = -53 - -34. Let c = h - f. Is c > 5?
True
Let h(v) = 3*v - 9. Let b be h(10). Suppose -2*k = 2, k = j + 5*k + b. Is -17 < j?
False
Let t(q) = -89*q - 4. Let w be t(-2). Let n = -873/5 + w. Which is bigger: n or 0?
0
Suppose 5*u = q - 6, -86 - 4 = -5*q - 5*u. Suppose -a - 13 + 33 = z, -a - 5*z = -q. Which is greater: 20 or a?
a
Let p = -2 + 1. Let o(k) = -k**3 + k**2 + k. Let g be o(p). Let u = -14/13 - -71/78. Does g = u?
False
Let k = 263 + -262.5. Are -17 and k nonequal?
True
Let j = -2191 + 2320. Is j at most as big as 130?
True
Suppose -y + 0*y = 5*m + 19, -2*y - 52 = -4*m. Is y at least as big as -25?
True
Let t = 2/7279 - -13996/2045399. Is t < -1?
False
Suppose 4*b + 6*w = w, -w = 0. Suppose b*p - p = 4. Let h = 5 - 8. Is h at most p?
False
Suppose -3*v + 9 = 0, -l + 3*v = -122 - 259. Is 1/3 at least l?
False
Suppose 21*s + 2*s = 1748. Which is greater: s or 1?
s
Suppose -3*v + 360 = 5*v. Which is smaller: v or 48?
v
Let t be (-6)/(-33) + (-444)/22. Let y = t + 45/2. Let x = 21/10 - y. Which is smaller: x or 7?
x
Let g be -1 + 138 + 1/(1/(-3)). Is g less than 133?
False
Suppose -9 = 20*o + 11. Which is bigger: o or 7/95?
7/95
Suppose -4 + 16 = w. Is 12 <= w?
True
Let i be ((-39)/39)/((-5)/2). Which is bigger: 118 or i?
118
Let d be 808216/(-282) - (-5 - (-3 - 1)). Let y = d + 2865. Which is greater: y or 0?
0
Let s = 0 - 2. Let z be (s/4)/((-2)/8). Suppose u - 10 + 2 = -2*o, 0 = -4*o + z*u + 16. Is 4 less than o?
False
Let x = -2 - 1. Let p be 1*(9 + -3) + x.