 (-1 - 1). Let j(m) be the first derivative of -m**2/2 + 4*m + 3. Let v be j(t). Do 1 and v have the same value?
False
Let f be 1/(-3) - (-134)/6. Suppose 0 = 5*o + f - 2. Let y be o/10 - (-13)/20. Which is smaller: y or 0.1?
0.1
Let j(l) = l**2 - 9*l + 10. Let a = 8 - 0. Let q be j(a). Is 1/2 at least as big as q?
False
Suppose 13 = -5*o - 6*d + 2*d, -5*d - 7 = -3*o. Let u = -33/2 + 15. Which is bigger: o or u?
o
Let x be (16/(-352))/(1/12). Suppose 4*y + 1 = 3*y. Which is smaller: y or x?
y
Suppose -4 = 4*w - 2*a + a, -5*w = -5*a + 5. Are w and -21 non-equal?
True
Let w be (-14)/4*4/(-7). Suppose p + w*i = 2, i = -2*p - 0*i + 1. Is -3/5 < p?
True
Let t = 0 + -4. Which is greater: t or -6?
t
Let y(j) be the third derivative of j**5/60 - j**4/12 - j**3/6 + 3*j**2. Let v be y(-1). Suppose -2*c - v*c = 0. Do c and 0 have the same value?
True
Suppose 3*n = 18 - 3. Suppose 0 = n*d + 5*y - 4*y - 7, 5*d = y + 13. Suppose -4*q = 2 + d. Does 2/9 = q?
False
Suppose -1 = -r, 3*r = -4*f - f - 2. Let d be 72/(-42) + 2/(-7). Is d not equal to f?
True
Let o be (-8)/12*(-15)/(-2). Let w(l) = l**3 - 7*l**2 - 9*l + 12. Let q be w(8). Let k = q + o. Is -2/9 > k?
True
Let t(h) = 5*h**2 + 2*h + 1. Let l be t(-1). Let d be 21/6 - 6/l. Which is smaller: 5/2 or d?
d
Let s = 0 + -1. Let u(c) = -c**3 - 3*c**2 - c - 1. Let r = -6 - -4. Let x be u(r). Which is smaller: s or x?
x
Let f be 168/3 - (-1 + 1). Let y be 16/f + 1/(-28). Suppose -2*l = v - 3, 0 = -3*v + 2*v - 1. Which is bigger: l or y?
l
Let z be 5/(-10) - (-3)/(-2). Is z != -18/13?
True
Let a be 2*-1 - 40/(-24). Is a at most -1/3?
True
Let c = -124 + 127.05. Let r = -0.25 + c. Let n = -3 + r. Which is smaller: n or -3?
-3
Let x be 6/(-4)*(-16)/(-84). Is 5 greater than x?
True
Let x be (8/(-6))/((-11)/165). Is x > 20?
False
Let l(w) = w + 13. Let z be l(-10). Let k be (z/18)/((-6)/4). Which is smaller: 1 or k?
k
Let n be (-2)/(-4)*(-1 - -5). Suppose -n*u = -2*k + k - 1, 3*u = -4*k - 4. Suppose m + 1 = -u, 0 = -4*c + 2*m - 2. Which is greater: c or -2/3?
-2/3
Let n be 40/(-18) - (-22)/99. Let t(d) = -d**3 - 2 - 4 - d + 5*d**2 + 2*d. Let l be t(5). Do n and l have different values?
True
Let s = -1724 - -1709.97. Let t = s + 14. Which is bigger: t or 0.1?
0.1
Let k = -8 - -9. Is k >= -2/17?
True
Let x = -39.9 + 40. Which is smaller: 21 or x?
x
Let o = -3189 + 73359/23. Is 2 at least as big as o?
True
Let d be 111/9 - 4/12. Is d less than 12?
False
Let a = -6905/72 + 880/9. Let z = a - 49/24. Are 2/3 and z equal?
False
Let j = 12 - 11. Is j >= -7?
True
Let u = -0.5 + 0.6. Which is bigger: u or -1?
u
Let l = -173.95 + 178. Let n = 0.05 - l. Let z = n + 6. Is 2 > z?
False
Let g(k) = -k**2 + 6*k + 2. Let a be g(5). Suppose -4*d = 0, 0 = -h + 4*h - 5*d - 21. Is h < a?
False
Let g(f) = -f - 4. Let t be g(-4). Is 3/7 at most as big as t?
False
Let b be -51 - -3*5/5. Is -47 bigger than b?
True
Let o(p) = -p**2 - 7*p - 7. Let s be o(-5). Let h(x) = -2*x - 4*x + s - 2*x + x**2. Let n be h(8). Which is greater: n or 4?
4
Suppose -2*k + 0 - 6 = 0. Let q be 138/(-4)*2/k. Suppose 12 + 5 = 4*s - 5*p, -5*p = -s + q. Do s and -3 have different values?
True
Let u = -12 + 11. Let w be (8/(-6))/(u/3). Is w >= 3?
True
Suppose -3*l = -5*l + 28. Suppose -3*d + 2*d = -l. Let q be (4/(-14))/((-2)/d). Which is greater: q or 3?
3
Suppose 0 = 5*w + 63 + 2. Let o = 7 + w. Let i be (0/o)/((-1)/(-1)). Which is smaller: 1/4 or i?
i
Let h be (-1)/(-4) + 6/8. Let c = -1 + h. Is c smaller than 0?
False
Let w be (-4)/(-6)*(-3042)/(-24). Let v = w - 86. Which is smaller: -1 or v?
v
Suppose -9*t = -13*t + 4. Is t equal to 2/15?
False
Let i = 20 + -22. Which is bigger: i or 9?
9
Suppose 5*a = -13*a. Suppose 0 = -2*t + 21 - 7. Is a < t?
True
Let n = -80 - -80.2. Is -8/5 greater than n?
False
Suppose -6*t + t - 44 = 4*o, 0 = -3*o + t - 14. Let p = 5 + o. Which is greater: p or 1/10?
1/10
Let p = 13 + -12. Which is smaller: p or 3/23?
3/23
Suppose 8*f - 12 = 4*f. Which is greater: 11/5 or f?
f
Let t = 0.079 + -1.079. Let s = 6 - 9. Let o = s + 3.3. Which is greater: t or o?
o
Let d(j) = j**3 - 4*j**2 + 2*j + 2. Let c be d(3). Let y = -4 - c. Do y and -5 have different values?
True
Let g = 11 - -2. Let j = 12 - g. Are j and 0 non-equal?
True
Let u = 47 - 34. Let f = 7 - u. Suppose 0 = n + 22 - 17. Which is bigger: n or f?
n
Suppose v = -2*w - 63, 5*v + 141 + 167 = -3*w. Is -62 > v?
False
Suppose -135 = -5*j + w, 0*j + j + 2*w = 27. Let q be j/(-5) + (-3)/5. Let u be (-12)/99*(-9)/q. Do 1 and u have the same value?
False
Suppose 0 = 3*k + a - 67, -k - 3*a + 17 = -0*k. Is 22 at least as big as k?
False
Let s = 154 - 109. Is 2/5 at most s?
True
Let p(i) = -i**3 + 8*i**2 + 6*i - 11. Let z be p(9). Let c = 115/3 + z. Let k be (1/(-2))/((-2)/(-4)). Which is smaller: c or k?
k
Let b = 142 - 141. Is -33/4 greater than b?
False
Let d be -7*((1 - 1) + 1). Let a be 12/d + 2/(-7). Is a at most as big as -3/4?
True
Suppose -9 + 1 = -2*b. Suppose -b*p + 13 + 6 = -t, -4 = -p. Is -3 at most as big as t?
True
Let t be 25/(-396) + (-3)/9. Let i = -2/99 + t. Let w = 1/6 + i. Does w = 2/9?
False
Let o be (2/12)/((-14)/112). Which is bigger: o or -2?
o
Let o(i) = i**2 + 8*i - 25. Let l be o(-12). Let k = l - 28. Is k at most as big as -3?
True
Let q be (-2)/10 - 3/(-25). Which is smaller: -0.2 or q?
-0.2
Suppose 4*a + 0*a = -11*a. Is -1/24 greater than a?
False
Let z = -5 - -10. Let y = z - 6. Is 2/9 greater than y?
True
Suppose 4*s = y + 19, -4*y = -s + 19 - 3. Suppose -3*c - 5 = s*a, 2*a + 5 = -4*c + 5*c. Are c and 1/5 unequal?
True
Let f = -367/242 - -2/121. Let h = -0.7 + 0.65. Let a = h + 2.05. Which is smaller: f or a?
f
Suppose 3*t + 7 = 4*d + d, -2*d = -4*t. Let z(m) = -9*m**3 - m. Let h be z(t). Let q be (4 - 2) + h/4. Which is smaller: q or 0?
q
Let a be ((-9)/6)/(3/(-4)). Suppose -a*h + 4 = f, 3*h = -0*f - 4*f + 1. Suppose h*y - 4*l = 4*y - 4, 0 = -2*l + 2. Are y and 2/17 unequal?
True
Suppose -f + 4*f - 6 = 0. Suppose -5*g + 5*y = -35, -5*g - 3*y = -9 - f. Let d be g - 4 - 1/(-4). Which is bigger: d or 0?
d
Let s(c) = c + 1. Let w be s(0). Which is smaller: w or 5?
w
Let g(l) = -11*l - 1. Let k be g(-1). Suppose -2*p = k, 0*v - 4*v - 3 = 3*p. Suppose 4 = -z + v*z. Is -0.1 >= z?
False
Let i = 17/55 + 23/11. Which is smaller: 1 or i?
1
Let v = -110/3 + 4843/132. Let m = -331/44 + v. Is m less than -9?
False
Let s be 4/80 - (-1)/4. Is 1 at most as big as s?
False
Let m = -9 + 8. Let o be m/(-14)*(-4 + 6). Is o != 0?
True
Let l = -104.87 - 0.13. Let y = -111.1 - l. Let a = 6 + y. Is a equal to -2/5?
False
Let v be (-3)/(-2 + 5) - 4. Let h = v + 13. Let i = h + -5. Is i smaller than 3?
False
Let m = 3 - -2. Let x(s) = s**3 + 10*s**2 - 9*s + 28. Let c be x(-11). Is c < m?
False
Let y = -7 - 1. Let i = y + 14. Let r = 11 - i. Are r and 0.1 equal?
False
Let r be 1/(-2)*(4 + 0). Let x be 2/r*(1 + -2). Is x at least as big as 2?
False
Let t be (0/(-3) - 88)/(-1). Let c be (-12)/(-14)*(-56)/t. Which is bigger: 0 or c?
0
Let t = -12 - -12.08. Let b = 3 + -2.98. Let v = t + b. Which is greater: -6 or v?
v
Let s = -14.2 + 13. Let y = s + 5.2. Are -1 and y equal?
False
Suppose 5*u + 6 = 3*a, 4 = -a + 5*u + 6. Is 24/7 not equal to a?
True
Suppose 0 = -4*s + 5*t - 36, -4*s + 2*t - 68 = 5*t. Is -13 not equal to s?
True
Suppose 3*a - 35 = 8*a. Let m be (-32)/(-6) + 1/(-3). Let d = m + a. Are -2 and d unequal?
False
Let u be ((-6)/20)/(3/4). Suppose -b - 30 = 4*b. Let y be 2/3 + 4/b. Which is smaller: y or u?
u
Suppose -3*p = -13 + 4. Suppose 3*q = -2*n + 20, p*q - 26 = -q - 3*n. Which is greater: 7 or q?
q
Suppose 0 = -4*c + d, -5*c - 1 = 4*d - 22. Is 1 smaller than c?
False
Let m be (-96)/7 - 6/21. Let w be (-10)/14*m/(-12). Suppose 0 = 2*g - 5*v - 8, g - 6 = 5*g + v. Which is greater: g or w?
w
Let w(b) = -1 + 0*b**2 + 0*b**2 + 5*b**2. Let v be w(1). Let k(a) = -a + 2. Let h be k(v). Is h at most as big as -3?
False
Let w = -15.1 - -0.1. Does 2 = w?
False
Let p = -0.028 - -7.228. Let n = p + -7. Which is smaller: -0.2 or n?
-0.2
Let u = 540 - 1591/3. Let v be 202/22 - (-2)/3. Let f = v - u. Which is bigger: 1 or f?
1
Suppose -2*o - 1 = 1, -14 = -5*q + 4*o. Let i = q - 3. Is -1 equal to i?
True
Let i(x) be the second derivative of -x**5/20 - 7*x**4/12 - 3*x**3/2 - 9*x**2/2 + 4