 10 = -3*d. Are -5 and d nonequal?
True
Let s = -5 - 2. Let w = 7 + s. Which is greater: w or 1/77?
1/77
Suppose 0 = 9*o + 44 - 17. Suppose -u - 5*z + 26 = 3*u, -3*z = -4*u + 10. Let q = u + o. Are -2 and q non-equal?
True
Let u = 1 + 0. Let h = -40 - -40. Let w = u + h. Is w greater than or equal to 0.2?
True
Let z be 16/(-28) + (-61562)/(-840). Let m = z - 218/3. Is m at least 1?
False
Let l be (-114)/(-19836)*-2*1/1. Are l and -0.05 equal?
False
Suppose 5*d = 2*m - 39, -5*m = -2*d - 49 - 38. Let h = m - -8. Which is smaller: 26 or h?
h
Let b = -196 - -172. Is -27 equal to b?
False
Suppose 8*r + 0*r = 40. Suppose 0 = -5*v + r + 70. Are v and 15 nonequal?
False
Let b = -33 - -31. Let t = b - -2. Which is greater: t or -0.02?
t
Let r(k) = k - 4. Let a be r(6). Let w(q) = -q + 6. Let o be w(6). Suppose o = -5*u + 4*u. Is a less than or equal to u?
False
Let d = -9 + 13. Suppose -d*k + 2 = 3*n + k, 31 = 4*n + k. Let y be 2/(-3 - 65/(-20)). Which is greater: n or y?
n
Let h = -441 - -438. Let y = -14/5 - 8/15. Which is smaller: y or h?
y
Let c be (-3)/(-18) + (-476)/(-6). Let a = 81 - c. Let j = -8 + 11. Do j and a have the same value?
False
Suppose 2*n - 2 + 0 = -o, 0 = -4*n. Let z be o + (-4 + -1)*1. Which is bigger: -2 or z?
-2
Let g be 1 - ((-1 - 0) + 3). Let c = -70 - -62. Let q be c/(-28) - 34/70. Which is smaller: g or q?
g
Let y be 3 - (2 + 0) - -9. Let r be (36/(-5))/((-2)/y). Suppose 15 = 2*a - w, 4*a = -a + 2*w + r. Is 5 smaller than a?
True
Let d(p) = -7*p - 13 - 3*p + 8*p. Let j be d(-18). Which is smaller: j or 26?
j
Let r = 248 - 249. Which is smaller: -3 or r?
-3
Let j(s) = s**2 - 9*s + 8. Let b be j(8). Let c be 3 - (102/112 + 2). Let v = -131/840 + c. Is b greater than or equal to v?
True
Let u(v) be the first derivative of v**4/4 + 5*v**3/3 - v**2 - 4*v - 4. Let m be u(-5). Let j be 1/(-18) + m/(-36). Is -1 < j?
True
Let b(o) = -o**3 + 17*o**2 - 16*o + 2. Let h be b(16). Let w = -23 - h. Is w > -26?
True
Let u = 392/9 + -13702/315. Suppose -s - 1 = -0*s. Is s at least u?
False
Let t = 0.11 - -0.08. Let i = -0.11 - t. Let x = 0.3 + 0.7. Is i greater than x?
False
Let y = 6819/14 - 487. Let c = -1 - -1. Is c < y?
True
Let q = 0.29 + -0.03. Let v = -16 - -15. Is q at least as big as v?
True
Let u = 270 - 263. Which is smaller: u or -7?
-7
Let u = 2 + 4. Let r = -184 - -176. Let c = u + r. Is -10/7 at most as big as c?
False
Let b(j) = -5*j**2 - 6*j - 4. Let y be b(-5). Let n be (-1)/(y/(-48) - 2). Suppose 47*a - 357 = 68*a. Does a = n?
False
Let i be (2/(-10))/((-27)/18 - -1). Is -0.088 greater than i?
False
Suppose 0 = -15*h - 3*h + 1512. Is h smaller than 83?
False
Suppose -10*b = -3*b + 7. Is -3/268 equal to b?
False
Let n be -3*1*((-50)/(-15))/5. Which is greater: n or 340?
340
Let h be 4 + -6 + 2 + 2. Suppose -9 = 5*t - 3*n, 3*n = -h*t + n + 6. Suppose -3*y - 2*y = t, -5*v = 3*y + 5. Is -2/73 greater than v?
True
Let q = -42 - -37. Let h be 126/q + 2/10. Is -24 >= h?
True
Let v = 0 + -2. Let p be (2/(2 - 0))/(7/(-70)). Which is smaller: v or p?
p
Let w be (-8)/22*(14 + -8) - -2. Is 1/223 equal to w?
False
Let k be 3/(-6)*(31 - -9). Which is greater: -17 or k?
-17
Let u = 1.8 + -1.794. Is 3 equal to u?
False
Let p = 3502 - 17411/5. Is 20 > p?
True
Let o = 0.8 + -0.8. Let g = 0.3 - -12.7. Let v = -12.8 + g. Which is smaller: o or v?
o
Suppose -3*x + 11 = -4*z, 3*z = z - 5*x + 27. Let u be (-143)/(-52) - z/(-4). Suppose u*f = 2*f. Which is greater: 1 or f?
1
Suppose 0 = 3*z + 3*u - 18, z - 3*u = -0*u - 6. Let k be ((-4)/z)/(68/36). Is 0 at most as big as k?
False
Suppose s - 4590 = -5*s. Let m = 347 - s. Let v = 7108/17 + m. Is 4 != v?
True
Let u be (1 - 18) + (-1744)/(-218). Do -172/17 and u have the same value?
False
Let v = -44 + 0. Let w be v/(-10) - 20/50. Suppose 1 = -h + w. Which is smaller: -2 or h?
-2
Let a = 4 - -15. Suppose -3*c + 31 = a. Is c < -2?
False
Suppose -41*a = -39*a - 22. Suppose -a*p = -25 - 8. Are p and -7 unequal?
True
Let b = 14 + -22. Let g(z) = z**2 + 4*z - 6. Let s be g(b). Is s >= 26?
True
Let v = 0.231 + 0.169. Let a = 0.25 + 0.05. Let n = a - 0.2. Is n less than or equal to v?
True
Suppose 1876 = 5*v + 28*h - 30*h, -2*v = -h - 751. Is v equal to 375?
False
Let o = -35 - -24. Let i(m) = -71*m + 15. Let x be i(o). Let d = x - 4759/6. Which is bigger: d or 3?
3
Let q(w) be the second derivative of -w**3/2 - 21*w**2/2 + w. Let r be q(-7). Let v be (21/8 - 2) + -1. Is v equal to r?
False
Suppose -22 = 4*j + 5*b, b + 17 = 3*j + 43. Suppose -5*p = 5*h + 10 + 50, 5*p + 50 = -3*h. Which is bigger: j or p?
p
Let x(u) = u**2 - 10*u + 16. Let o be x(8). Suppose -3*m + 340 = -2. Let w be -3*(2 + (-232)/m). Is o bigger than w?
False
Let d = 8 + -24. Let h = d + 15. Is h greater than or equal to -5/11?
False
Let c = 2028 + -75042/37. Which is smaller: c or 1?
c
Let x = 325 - 4227/13. Let w(h) = -2*h**2 - 6*h + 3. Let n(l) = -l**2 - 5*l + 2. Let j(y) = -3*n(y) + 2*w(y). Let t be j(3). Which is smaller: t or x?
x
Let c = 54 - 51. Suppose 5*w = 4*w - 14. Let v be (-6)/3 - w - c. Is v less than 9?
False
Let o be (5 + (-85)/15)*(-3)/(-2). Is o smaller than 45/11?
True
Let o(h) = -h - 7. Let k be o(-6). Let j(t) be the second derivative of -t**4/12 - t**3/2 + 2*t**2 + 5*t. Let d be j(-4). Which is smaller: k or d?
k
Let n = -17433631/375 + 46490. Let v be ((-2)/3)/(250/6). Let j = n - v. Is 1 less than j?
False
Let f(z) = -3*z - 1. Let j be f(0). Let w(h) = h**2 + 9*h + 9. Let g be w(j). Are g and 3/77 unequal?
True
Let d = 100 + -90. Do d and 6 have the same value?
False
Let g = -644 + 678. Which is smaller: 33 or g?
33
Let h = -456679/35 - -13049. Do 2 and h have different values?
True
Let h(y) = 11*y + 86. Let c be h(22). Is 327 greater than c?
False
Let w = 1401 + -571. Is -1 greater than w?
False
Let y be (-3)/(-8) + 326/(-16). Which is smaller: y or -103/5?
-103/5
Let u = 518.12 + -533. Let t = -15 - u. Let n = t + -0.08. Is 0.8 greater than n?
True
Suppose 0 = -4*v + 110 - 30. Let o be ((-6)/(-11))/(v/55). Is o bigger than 3?
False
Suppose -8*v = 4 - 52. Is v less than -1/12?
False
Let t = 326 + -321. Does -1 = t?
False
Let d(v) = -v**3 - 13*v**2 + v + 23. Let r be d(0). Suppose 4*k + 12 = 0, 5*x + 23 - 122 = -2*k. Are r and x equal?
False
Let h = -194 + 194. Which is smaller: -77 or h?
-77
Let z(h) = h**2 + 10*h - 3. Let v be z(-7). Let s be (-22)/v - (-2)/(-8). Let i = 2 + 0. Are s and i nonequal?
True
Let l = -57.65 - 0.35. Let o = l + 56.1. Which is smaller: 0 or o?
o
Suppose 111*g = 84*g + 783. Which is greater: g or 32?
32
Let h = -35 + 35.1. Which is smaller: h or 9.9?
h
Let x be (20/18)/(296/333). Is x less than -0.1?
False
Suppose 8*i = 3*i. Suppose i = -4*v + 3*v. Let z = -5/193 + 501/4439. Which is bigger: v or z?
z
Let x be 3*(-4)/6 - (-20 + -1). Suppose g = 3*j + 17, 29 = 2*g - 4*j - 7. Is x > g?
False
Suppose -11 = 4*i + 5*v, 0 = i - 4*v - 17 + 4. Let b = 12.3 - 26.5. Let x = 12.1 + b. Which is smaller: i or x?
x
Let y = -0.905 - -83.705. Let h = y - 83. Does -9 = h?
False
Let u = -328 - 1885. Is -0.1 at least u?
True
Let d = 0.31 - 0.76. Suppose 0 = -29*h + 26*h. Is d less than h?
True
Let y = 28.68 - -0.32. Let w = y - 28.83. Let z = -3.83 - w. Is z at least as big as -1/2?
False
Let o be 1/3 - 9/27. Suppose 2*k + 6 + 20 = o. Is -13 < k?
False
Let t = -229.1 + 229. Are t and 6/11 equal?
False
Let z(a) = -4 - 10*a**2 + 16*a - a**3 + 2*a**3 - 7*a**2. Suppose -57*d + 47*d + 160 = 0. Let r be z(d). Are r and -3 non-equal?
True
Let u be ((-10)/8)/(215/(-86))*0. Let b = -1/900 + -2/75. Is u at most as big as b?
False
Suppose 0 = -2*i + i. Let q = 528887455/880777414 + 1/2107123. Let b = 9/38 - q. Which is greater: b or i?
i
Let t be 3/15 - 12/(-15). Suppose -t = 2*r + 3. Let q = -429 + 429. Is q >= r?
True
Let i = -8 - -8. Suppose 5*y - 2*j + i*j = -28, 5*y + 4*j = -4. Are -0.2 and y equal?
False
Let t = -1 - -4. Let l be (-2)/t + 4/7. Let p be (6 + -2)*(-1)/(-4). Which is bigger: p or l?
p
Suppose -i = -4*d - 14, -d - 2*i + 4 = 3. Let a be 0 - ((-3)/(-7))/d. Let c = 51 - 51. Are c and a equal?
False
Let d = -0.032 + 79.632. Let m = 80 - d. Which is bigger: m or -2/5?
m
Let p = -43502 - -347351/8. Let g = p - -83. Is g less than or equal to 0?
True
Suppose -3*q + 34 + 20 = 0. Suppose h - 4*f - 9 