 235.07 - 235. Are 0.5 and k nonequal?
True
Suppose -p + 36 = 3*p. Let m(a) = a**2 - 7*a + 7. Let w be m(2). Let x be w/p + 17/(-3). Does -4 = x?
False
Let k(x) = -1 - 3 - 2 + 2*x - x**2 + 8*x. Let v be k(11). Which is greater: v or -18?
v
Let d(a) = a**3 - 8*a**2 - 18*a + 14. Let l be d(10). Which is bigger: l or 2?
l
Let n = 6392/45 + -718/5. Which is bigger: n or -3?
n
Let p be -2 + 1113/(-3) - 36/(-6). Which is greater: p or -364?
-364
Let u = 983/14 - 141/2. Let a = -0.16 + 0.2. Let r = a + -2.04. Is r at most as big as u?
True
Suppose 48 - 1614 = -18*y. Which is greater: y or 88?
88
Let r be 2/4 - (-30)/(-44). Let q(a) = -a + 11 + 2*a - 2*a. Let c be q(10). Which is smaller: r or c?
r
Let a = -0.74 + 0.32. Let z = 0.52 + a. Do 0.5 and z have the same value?
False
Let l = 509/195 - 38/15. Let h(z) = 0*z + 9*z + 1 - 3*z - 7*z - z**3. Let r be h(0). Is r smaller than l?
False
Let z be -1 - 0 - (-3 + 0). Let v(p) = -p**3 + 3*p**2 - 4*p + 3. Let n be v(z). Let k = -96/25 - -238/75. Which is smaller: n or k?
n
Let g be ((-546)/231)/(3/(-42)). Which is smaller: 33 or g?
33
Let b = -761 + 762. Is 3/214 != b?
True
Let p = 23 - 19. Let h be (-8)/(-32) - (-11)/p. Suppose -3*x = -4*z - 4, -z - 4 = -2*x + h*z. Which is greater: 2/9 or x?
2/9
Suppose -7*q + 6 = -5*q. Suppose 0 = 4*r - 8, -2*r + 16 - 6 = -q*n. Let s = -0.2 - -0.1. Are n and s nonequal?
True
Let j = -35.5 - -36. Let p = j + -1.4. Which is bigger: p or -1?
p
Let y(n) = -6*n - n + 4*n + 3*n**2. Let f be y(2). Suppose 11*x = f*x. Is 3/7 <= x?
False
Let a(m) = 37*m**2 - 110*m - 2. Let k be a(4). Which is greater: k or -1?
k
Let d = 408 + -394.3. Is d > 0.06?
True
Suppose -2*w + 3238 = 1274. Let b be w/(-42) - (-6)/9. Let a = -23 - b. Is -1/4 less than or equal to a?
False
Suppose 5*y = -4*a - 17, -4*y + a + 5 - 27 = 0. Which is smaller: 5 or y?
y
Suppose -3*g = -5*g + 28. Suppose 0 = 4*k - 2*b - 48, 2*k - 12 = 5*b - 4. Let i = k - g. Is i at most -3?
False
Let w(q) = -q. Let m be w(-25). Let a be 1/(m/(-2))*(-10)/(-78). Is a greater than 0?
False
Let p = -0.602 - -2.602. Is p smaller than 0.042?
False
Suppose 0 = u + 134 - 169. Let j = -70 + 68. Does j = u?
False
Suppose -5*l + 120 = 5*c, -2*l + 54 = -3*c + 7*c. Let w be (1/4)/(l/132). Let q = 3/2 - w. Which is smaller: -1 or q?
-1
Let z = 123 - 128.1. Let j = -6.2 - z. Suppose 0 = 5*d + 3*n + 15, -5*n + 3 - 28 = -2*d. Which is bigger: j or d?
d
Let y be 76/399 + (-1)/3. Are y and -2/7 unequal?
True
Suppose -7*a = 2*a - 18. Which is greater: a or 20/21?
a
Suppose -5*q = 5*h - 2*q - 11, h + 4*q = -8. Let f be (0 + -1)/(h/24). Let t be (1 - (-1 - 1)) + f. Does -5 = t?
False
Let i(l) = 5 + l - 2 - 1. Let g be i(3). Suppose g*t = -3 - 2. Is -1 equal to t?
True
Suppose 443 = -5*m + 133. Let r be 14/(-70) + m/(-10). Let q = r + -3. Which is bigger: 13/5 or q?
q
Suppose -4*c + g = -275, -3*c = g + 29 - 230. Suppose -63*i = -c*i + 135. Is 28 at most as big as i?
False
Let h = -26 + -68. Let r = h + 92. Which is bigger: r or -10?
r
Let j = 48 - 47.992. Let q = j + -0.008. Which is greater: -3 or q?
q
Let n be ((-21)/(-6))/(-7)*0. Suppose 0 = 4*y + 4 - n. Suppose -2*c + j = 0, -5*j - 11 = -5*c - 1. Which is smaller: y or c?
c
Let r = 713 - 6419/9. Let h = -19.3 + 6.9. Let u = h - -1.4. Is u equal to r?
False
Suppose -2*x + 39 = 2*l + 31, 3*l - 10 = -5*x. Let j(b) = 5*b**3 + b**2 - 2*b + 1. Let t be j(1). Let u be (1/40)/((-2)/t). Which is bigger: x or u?
u
Let y(l) = -2*l - 34. Let h be y(-19). Suppose 0 = -h*b + 2*b. Which is bigger: b or 6/25?
6/25
Let o be (-1 + 5)/(-10 + 11). Suppose 0 = b + 5*h - 3, 0*h - 60 = -o*b + 4*h. Suppose 3*f + f = 56. Is f less than b?
False
Let x = 10 + -14. Let k be 2*x - (3 + -5). Let b be (15/10)/(((-24)/(-38))/(-2)). Which is greater: k or b?
b
Suppose 0*s + 5*d = -s + 80, 4*d + 416 = 4*s. Let q = s + -68. Suppose 3*y = 2*b + 8*y + 12, -4*b + 4*y = -q. Is 3 > b?
False
Let r(z) be the first derivative of 231*z**3 - z**2/2 - z + 8. Let u be r(-1). Let l be (-550)/u + (-4)/(-18). Is -1/4 equal to l?
False
Let m = -0.03 + -0.1. Let j = m + 4.93. Let f = j - 5. Which is smaller: 2/9 or f?
f
Let n = -3 - -13/4. Let r be (2 + -3)/((-1)/(-5)) + 4. Which is smaller: n or r?
r
Let r(g) = g**3 + 3*g**2 - 2*g - 3. Let s be r(-3). Suppose 0 = -u + 4*u + s. Let d = -9/4 - -5/2. Is u >= d?
False
Let v = -21 + 31. Let q = -1 - v. Let w = q + 11.3. Which is greater: w or -3?
w
Let h = -2528 + 2590. Is h bigger than 60?
True
Let r = -108 - -110. Let w be r/(-7) - 1*352/(-252). Which is bigger: 1 or w?
w
Let y(w) = -6*w**2 + 3*w - 16. Let j be y(4). Is -100 not equal to j?
False
Let p = 0.425 - 1.325. Is -8 <= p?
True
Let v be 1/(-2)*2720/(-720). Which is smaller: v or 2?
v
Let h(v) = -v**3 + 7*v**2 - v + 10. Let x be h(7). Let n(b) = 2 - x - 2 + 4 - b. Let m be n(0). Is m at most 1?
True
Let t be (-159)/(-15) - 4/(-10). Suppose 0 = 2*s - 3*i - 13, 5*s + 3*i + t = -9. Which is greater: s or 4/13?
4/13
Let p = 207 + -206. Suppose 9 = 2*z - 1. Let b be (1/z)/(-2 + 1). Which is smaller: b or p?
b
Suppose 5*u + 3*l - 4*l = -40, 4*l + 56 = -4*u. Let b be ((-3)/(42/4))/(u/(-21)). Is 3.4 at least as big as b?
True
Suppose 0 = -5*a + j - 5 + 71, 1 = -j. Let c = a + -7. Let g(q) = -6*q - 1. Let h be g(-1). Are c and h equal?
False
Let g = -5 + 14. Suppose -x = 5*s - 5, -16*x = -3*s - 15*x + 11. Which is smaller: s or g?
s
Let c = 27719 + -3187661/115. Which is smaller: c or 0?
0
Let l(n) = n**2 - 3*n. Let d be l(4). Let h = 102 - 58. Let f = h - 43. Which is greater: f or d?
d
Let r be (-8)/24 - ((-133)/21 + 7). Let h be (9/(-66))/(3/(-8)). Is h >= r?
True
Let b = -0.04 - -0.14. Let p = 11 + -10.3. Let n = p + -0.9. Is n smaller than b?
True
Let g be 6/9*9/(-2). Let s be (-24)/(-11) - (-1 - g). Suppose 10 = -10*h - 0*h. Is h at most as big as s?
True
Let t(u) = 16*u**2 + 88*u + 16. Let z be t(-5). Suppose -150 = 5*o - 25. Is o greater than z?
False
Let j(v) = 21*v**2. Let b be j(2). Let h be 14/12*(-270)/b. Is -4 at least as big as h?
False
Suppose 0 = 15*r - 1337 - 1138. Which is smaller: r or 162?
162
Let z be ((-1435)/6)/7 - 4/12. Let q = z + 1175/34. Is 0 <= q?
True
Let u = 59 + -63. Let v be 2/u - (4 + (-57)/15). Is 0 > v?
True
Let n(h) = h**3 + 8*h**2 + 8*h + 2. Let o be n(-6). Which is greater: o or 123/5?
o
Suppose -5*z - 65 = 2*j, -2*z - 42 = 4*j - 0*j. Suppose 0*k + 66 = 4*d + 3*k, -3*k + 51 = 3*d. Let a be (z + 23)*4/d. Are a and 3 equal?
False
Let b = 337 - 157. Suppose -3*a = -y - 6*a + 54, 0 = 3*y + 3*a - b. Is y at least 63?
True
Let t be 2/(-5)*(-1)/(-24). Is t greater than 0?
False
Let g = 3/308 - -85/308. Let j = 20 + -23.7. Which is bigger: g or j?
g
Let s = -3/13 - -70/247. Let m = -32 + 31. Which is smaller: m or s?
m
Let g = 426 + -426. Are -3/205 and g unequal?
True
Suppose -1410*w - 22 = -1388*w. Which is smaller: 1/2975 or w?
w
Let z be (-14)/8 + 16/8. Which is greater: z or 69?
69
Let n be 46/(-575) - (-69)/(-75). Which is greater: -7/54 or n?
-7/54
Let i = -1 - -3. Let a be -5*-5*(-5)/125. Is i < a?
False
Let f be 21/9 + (-5)/15. Let w(z) = -3*z + 386*z**2 - 1 - 387*z**f - 5*z. Let m be w(-8). Is m >= 1?
False
Let s = 6 - 26. Let h be 37/(-4) + (-5)/s. Which is bigger: -7 or h?
-7
Let t = -481 + 480.6. Is t at most 4/7?
True
Let r be 10/5 + 34/(-15). Let q = 3/5 + r. Let i = 0.1 + -0.3. Are q and i equal?
False
Let t(o) = 76*o + 175. Let p be t(-5). Do -205 and p have different values?
False
Let o be (-6 - -80)*1*-1. Which is greater: o or -73?
-73
Let n(a) be the second derivative of -a**5/10 - a**4/4 - a**3/6 - a**2 - 7*a. Let y be n(-2). Suppose 9 = -20*u + 23*u. Which is smaller: y or u?
u
Let c be (-39)/45*(-5)/2. Suppose 9 = 5*v + 2*o, -v = v - o. Which is smaller: c or v?
v
Let w = 25.7 + -25. Is 5 at most w?
False
Let y(k) = k**2 + 13*k + 2. Let i be y(-14). Suppose i*a + 1 = 17*a. Which is smaller: a or -3/16?
-3/16
Let o be 2/7 + (-19)/(-7). Suppose o*w + 6*b = b - 38, b = 2*w + 21. Suppose 4*h + 0 = -3*g - 23, -4*h = -5*g - 49. Which is smaller: w or g?
w
Let y = -493/1940 + 2/485. Let k be 4/18*(-9)/6. Is k <= y?
True
Let y be (-84)/27 - (-7)/63 - -2. Is y > 37?
False
Let l be 2/(-9) - (-10 - 4062/54). Is l >= 259/3?
False
Let p be (12/10)/(1 - 18/10). Which is bigger: 4/25 or p?
4/25
Let a(i) = -i*