u + 90. Is 14 != u?
True
Let t = 5.04 + -5. Are t and -1 unequal?
True
Let s(f) be the second derivative of f**5/20 - f**4/4 - f**3/3 - f**2 + f. Let k be s(4). Let y = -16/3 + k. Are 3 and y unequal?
True
Let o(n) = n**2 - 8*n + 4. Let r be o(8). Suppose 5*y + 4 = 2*a - 2, -r*a - y = -12. Let p = 1 + 0. Which is smaller: a or p?
p
Let f(g) be the first derivative of g**2/2 - 8*g - 1. Let l(s) = -s + 9. Let k(c) = 4*f(c) + 3*l(c). Let t be k(7). Which is bigger: 3 or t?
3
Let u = 2/25 + 19/75. Let r = 27 - 28. Is r >= u?
False
Suppose 5*g = -0*m - 2*m + 14, -3*m = -4*g - 21. Suppose 0 = 2*n + 3 - m. Suppose -c = n*c - 9. Do c and 3 have the same value?
True
Let h = 0.07 - 0.77. Let a = 0.5 + h. Is a greater than -0.2?
False
Let c be (-3 + 2)*1*9/123. Do c and 1 have the same value?
False
Let w(n) = -n**3 + 4*n**2 - n + 2. Let t be w(2). Let c be (-2)/t + 469/196. Which is smaller: 3 or c?
c
Let k = -17 + 14.5. Let v = k + 2. Is 1 <= v?
False
Let m = -0.9 - 0.1. Is m != -1/3?
True
Let n be -2 + 0 + 0 + 1. Let v(s) = s + 4. Let j = -7 - -1. Let d be v(j). Is n less than d?
False
Let z = -6.22 - -0.62. Let q = z - -6. Let a = -0.6 - q. Which is smaller: a or 0?
a
Let i = 4 + 2. Suppose 4*b - 6 - i = 0. Suppose b*y = -y. Is y greater than 2/5?
False
Let w = -306.1 + 306. Let p = -0.9 + -0.1. Let q = p + 0.9. Is q < w?
False
Suppose f = 2*f. Are 1 and f unequal?
True
Let m = 4 + 0. Suppose 1 + 5 = -2*u. Let h be 8/12 - 13/u. Which is smaller: m or h?
m
Let x = -1.2 + 1.3. Do -0.1 and x have different values?
True
Let g = -103005/73 - -1411. Which is greater: -1 or g?
g
Suppose -l + 2*l - 2 = 0. Let x be 2 + 2*3/l. Suppose 4*z = x*p - 38, 3*p - z = -3*z + 14. Which is smaller: p or 5?
5
Let v = 161111 + -1777176/11. Let l = v - -451. Is 1/5 bigger than l?
False
Suppose -4*p - 1 = 3. Which is bigger: -2/31 or p?
-2/31
Let k = -62118.91 - -61378. Let p = k + 745. Let s = p + -0.09. Is s != -1?
True
Let g(q) = q**3 - 7*q**2 - q + 6. Let o be g(7). Let t = o + 4. Suppose -d = -t*d. Is d smaller than 0.1?
True
Let y be 1/2 - (-63)/(-133). Which is smaller: 1 or y?
y
Let n = 15 - 14. Which is greater: 2 or n?
2
Suppose 3*l + 3*s + 12 = 0, 4*s + 8 = -12. Suppose -t + l = -2. Is t at least 2?
True
Let r = 16 + -9. Let n(u) = u**3 - 11*u**2 + 8*u + 10. Let c be n(r). Let k be ((-5)/c)/(1/(-12)). Is k at most -1?
False
Let c(o) be the second derivative of 1/12*o**4 + 0 + 2*o - 1/2*o**3 - 1/2*o**2. Let j be c(3). Which is smaller: j or -1/2?
j
Let b = -118/5 + 2827/120. Which is smaller: b or 1?
b
Let a = -3/80 + -139/560. Suppose 0 = 4*r + b + 9, -r - 2*r + 3*b + 12 = 0. Which is smaller: a or r?
r
Let w = 4 - 11. Let b(c) = c + 3 + 0*c - 2 + 6. Let n be b(w). Which is smaller: n or 0.1?
n
Let g = 0.8 + -2.8. Let j = 1 + g. Let s = j + 6. Which is smaller: 0 or s?
0
Suppose 0*d = -4*d + 28. Let i = -4 + d. Which is smaller: 4 or i?
i
Suppose 3*n = 5*w - 0 - 2, 4*n - 3 = w. Let p = n - 1. Is p >= 0?
True
Let i be -4 - ((-56)/12 - 1). Is i smaller than 2?
True
Let d(n) = -11*n - 1. Let c be d(-1). Suppose -c = -5*w - 2*v + 5*v, 4*w = 2*v + 10. Let m(a) = -a**2 + 5*a. Let l be m(w). Which is smaller: -1 or l?
-1
Let w = -7.67 + 7.8. Is -1 less than or equal to w?
True
Suppose 5*d + 2*l + 17 = 0, -3*d = d - l + 11. Is d > -16/5?
True
Suppose k + 600 = 6*k. Let o = 31181 + -156502/5. Let f = o + k. Are 2 and f unequal?
True
Let r = -35 + 12. Do -22 and r have the same value?
False
Let v = -0.036 - 0.024. Is v at most 2?
True
Let p = 78/47 - 5476/3243. Is p greater than 1?
False
Let s = 11 - 9. Is s less than 5/3?
False
Let u be (183/(-182) - -1)*-10. Let o = u - -1/455. Which is smaller: 1 or o?
o
Let c be (-222)/70 - 4/10. Let q = c - -3. Do -1 and q have the same value?
False
Let o = -5.5 + 5. Let w = 0.1 - o. Let h = -0.5 + w. Which is greater: h or 2/9?
2/9
Let j = 121 + 5. Let t be -1 - (j/20)/(-7). Which is smaller: t or 0?
t
Let w(u) = -u**3 - 15*u**2 - 19*u - 34. Let n be w(-14). Which is bigger: n or 37?
37
Let i be 184/10*(-105)/6. Let h be -2*(i/(-180))/7. Let f = -1/9 - h. Which is bigger: -1 or f?
f
Suppose 0 = -l - 0*l - 10. Let b(r) = -r - 11. Let q be b(0). Does q = l?
False
Let d be 1*(-26)/6*1. Which is bigger: 2 or d?
2
Let k be (-1 + -2)/(36/24). Which is bigger: 2 or k?
2
Let z = -7 - -6. Is z < -6/7?
True
Let f be (1/(-7))/((-2)/(-6)). Let g = -24 + -3. Let w be (2/(-6))/((-9)/g). Is w smaller than f?
True
Let z = 6 + -3. Suppose -q - z*q = 0. Is q greater than or equal to -2/11?
True
Let b(d) = d**2 - 9*d + 2. Let r be b(9). Is r != -0.6?
True
Let y(s) = s**3 - 9*s**2 - s + 11. Let q be y(9). Let j(t) = 2*t**2 + 11*t - 6. Let o be j(-6). Is q less than or equal to o?
False
Let i = 94 - 656/7. Which is bigger: i or -2/45?
i
Suppose 5*i = 3*k + 20, 5*i - 35 = -5*k - 15. Which is bigger: i or 1?
i
Suppose v = -5*f - 0*f - 1, 3*v - 3*f = 15. Suppose v*u + 7 = -5*i - 13, -25 = -i + 5*u. Let c = i - -1. Is c < 0?
False
Suppose 12 = -2*o - 2*o. Let z be (-3)/2*(-4)/o. Let x(w) = w**3 + 7*w**2 + 5*w - 7. Let g be x(-6). Which is bigger: g or z?
g
Suppose -1 = 5*d + 4. Do 4/9 and d have different values?
True
Let k = -4.87 + -0.13. Let u = 4.72 + k. Let v = 0.02 - u. Which is greater: 1/2 or v?
1/2
Let q(f) = -f**2 - 9*f - 11. Let g be q(-8). Let c(z) = -z**3 - 8*z**2 - 6*z + 2. Let p be c(-7). Are p and g nonequal?
True
Let y = 11 - 16. Let r = -6 - y. Do 3 and r have the same value?
False
Let t = 16481/3 + -5424. Let g = t + -69. Which is greater: 1 or g?
1
Let p = -4 + 6. Suppose -r = 4*l - p*r + 6, 5*r - 12 = 2*l. Which is smaller: l or -0.1?
l
Let w be (3 + 328)*6/33. Let f = 60 - w. Which is bigger: f or 1?
1
Let u = -9 + 3. Do u and -7 have the same value?
False
Let g = -1 + 0. Let k be (-2)/g - 24/15. Let f = 0.2 - 0.3. Which is greater: f or k?
k
Let z = 14 - 13. Are -3/13 and z nonequal?
True
Let v = -5 + 5. Suppose -3*w = 2*x - 24, -4*w + 4*x + 7 + 5 = 0. Let y be ((-4)/(-8))/(w/(-8)). Which is greater: y or v?
v
Let m = -16.1 - -16. Is m greater than 0.2?
False
Let l(z) = 4*z - 4. Let n(x) = 3*x - 4. Let w(y) = 2*l(y) - 3*n(y). Let d be -1 - (5/1)/(-1). Let h be w(d). Is -2 < h?
True
Let f(q) = -q**3 - 6*q**2 + 7*q + 2. Let d be f(-7). Which is smaller: 3 or d?
d
Let b be 2/((-5)/(-11) - (-20)/(-50)). Which is greater: 38 or b?
38
Let v = 3 - -12. Let r = 18 - v. Is r at most as big as 0.1?
False
Let b(u) = u**2 - u. Let m(d) = 8*d**2 - 3*d. Let k(v) = 6*b(v) - m(v). Let s be k(-2). Let f be s + 12/3 + -1. Do -4 and f have different values?
True
Let y be -1 - ((-2)/(-1) - 7). Suppose -u - f = 2, -4*f = -y*u + 13 + 3. Let c be (u*-1)/(7 + -5). Is c < -1?
False
Suppose 0*i - 2*i = 12. Is i not equal to -1?
True
Let a be (0*3/(-9))/(-1*1). Which is smaller: -3 or a?
-3
Let y be 7 - -2*(2 + -1). Let k be ((-12)/y)/(3/(-202)). Let g = k - 90. Which is bigger: 1 or g?
1
Suppose -l + 1 - 4 = 0. Let k(t) = -3*t + 42. Let m be k(15). Is m not equal to l?
False
Suppose 2*n - 2*b = 10, b + 27 = 5*n + 10. Suppose -7*w + 2*w = 4*j + 5, n*w - 5*j + 3 = 0. Is 0 at most as big as w?
False
Suppose u - 3*y = -0*y - 12, 5*y - 25 = 0. Let f = 4 - -1. Suppose 5*x - 30 = -f*d, 3*d = -3*x + 7*d + 4. Which is bigger: x or u?
x
Let m = -28 - -40. Is 0.1 at most as big as m?
True
Let r = -29/5 + -87/10. Let n be 43/(-3) + (-6)/(-18). Let j = r - n. Is j less than 0?
True
Let p(q) = -q**3 + q + 1. Let m be p(-1). Let s(g) = -g**3 - g. Let c be s(0). Suppose c = 6*u - u. Do m and u have different values?
True
Let r(n) = -7*n**2 - n - 1. Let v be r(-1). Is v < -11?
False
Let m be (-4)/14 - 28/(-98). Which is smaller: 3 or m?
m
Let d be 24/(-156) + 23/65. Does 5 = d?
False
Suppose -3*f + 19 = 4*b, -7 = -0*b + 3*b - 2*f. Let k be (2 + b)/((-195)/(-20)). Is -1 at least k?
False
Let k = 879 - 1797/2. Let c = k + 23. Which is smaller: 3 or c?
3
Let k be 4/(-2) + (4 - 1). Let p be ((-1)/(-16))/((-1)/(-6)). Is p at least k?
False
Let z be 7/(-21) + (-44)/(-6). Let k = -9 + z. Is 4/7 >= k?
True
Let p = 0 - 1. Let d = -1033921/152 + 6802. Let y = 1/76 - d. Which is greater: y or p?
y
Let x = -3 - -1. Let a = 1 + x. Which is bigger: a or -5?
a
Let t(x) = x**2 - 5*x + 1. Let a be t(5). Let q be (-30)/24 - a/(-4). Which is bigger: q or 0?
0
Suppose -h = -3*t + 2*t - 25, 73 