/12. Let i = -2 - o. Is i greater than or equal to a?
False
Let c(u) = -u**3 + 2*u**2 - 2*u + 3. Let o be c(2). Let z be 1*1*(1 + -2). Let q be o*4*(0 - z). Which is smaller: q or -3?
q
Let b = 0.3 + -0.3. Let d = 44/3 - 15. Is d <= b?
True
Let u be 478/3 + (-2)/(-3). Let a(v) = -4*v. Let x be a(1). Let i be x/10 - (-44)/u. Which is smaller: 1 or i?
i
Suppose 0 = 3*y + 2*y - 35. Let x(f) be the third derivative of -f**6/120 + 7*f**5/60 + f**3/6 + f**2. Let n be x(y). Is 1 equal to n?
True
Let o be 48/30*1/2. Let n(f) = -f**3 - f + 1. Let j be n(1). Which is smaller: o or j?
j
Let l(z) be the first derivative of 1/2*z**2 - 10*z - 2. Let n be l(9). Is 2/13 at least n?
True
Let n(p) = p + 6. Let b be n(-6). Suppose -5*w - 17 = -4*u + 2*u, -3*w - 10 = -u. Is u at most as big as b?
False
Let d(t) = -t + 5. Let z be d(3). Suppose 5*i + 13 = z*j, 4*j - 5 = 3*i - 0*i. Let n be j/((-1)/4*-2). Is -2 less than n?
False
Let o = -2 + 2.1. Let v = -0.1 + o. Let b = v - -2. Which is smaller: -0.1 or b?
-0.1
Let i = -36.4 + 37. Which is smaller: 0.2 or i?
0.2
Let m(b) = -b**3 + 2*b**2 - b + 1. Let c(v) = v**2 + 2*v - 1. Let w be c(1). Let x be m(w). Suppose -3*n = -r + 7, -3*n - 3 = -2*r + 5. Which is bigger: r or x?
r
Let u be (-18)/8 + (-12)/16 + 0. Is -22 at least as big as u?
False
Let r = 33 - 65/2. Suppose 0*v = -v. Let u be (3 - 3) + 1 - v. Does r = u?
False
Suppose 4*i + 4 = 4*l, -4*l - i + 25 = 2*i. Let y = l - 1. Suppose 0*k = 3*k - y. Which is smaller: -2 or k?
-2
Let p = -7384/35 - -211. Do p and -0.1 have different values?
True
Let g = -3 + 1. Let b be (-2)/(2/(-39)*3). Suppose -3*a + 2*y = b, -4*a - 4*y = -0*y - 16. Is g less than or equal to a?
True
Let l be (-4)/8*(-68)/(-6). Is -6 at least l?
False
Let p(n) = -n**3 - 3*n**2 - n - 4. Let s be p(-4). Let k be (-12)/(-16)*s/(-78). Let v be 1/(-1 - 0 - -2). Which is smaller: v or k?
k
Let l = -0.3 - -0.4. Suppose -5*z + 5 = 2*y + 29, 4*z + 12 = 2*y. Let n be 32/(-14) + 4 + y. Which is greater: l or n?
l
Suppose 4*z + 16 = -0*y + 4*y, -2*y + 8 = 0. Let j(g) = -3*g + 7. Let h(u) = -u + 1. Let q(b) = -2*h(b) + j(b). Let m be q(4). Is z greater than m?
False
Let s(o) = -2*o. Let y be s(-2). Let w(z) = 19*z - 3. Let g be w(2). Suppose n + n + 5*l = g, 4*l - 20 = 0. Is n at most y?
False
Suppose 1 = q + x, 3*q - 5*x - 10 = 5*q. Suppose q*b = -0 + 5. Let t = -4/33 + 49/132. Which is smaller: t or b?
t
Let d(k) = k**2 - 4*k + 1. Let c be d(4). Is 2 <= c?
False
Let q = 53.3 - -4.7. Is -1/4 at least q?
False
Let i be (-2)/5 - 4200453158/5880. Let r = 714364 + i. Let w = 3/196 + r. Which is greater: 1 or w?
1
Let t be (-6 - -6)/((-1)/(-1)). Suppose 0 = -t*f - f. Is f less than or equal to 0.03?
True
Suppose -5*b - 3 = -v + 2*v, 0 = -4*b - 2*v. Which is greater: -5/8 or b?
-5/8
Suppose l = -0*l + 6. Let i = 8 - l. Suppose -3*g + 0*o - o = 0, i*g + o = 0. Is -2/7 <= g?
True
Suppose 0*f = 3*f + 12. Suppose 0 = y - 0*y - 1. Let j = -3 + y. Is f equal to j?
False
Let f(t) = -t + 20. Let q be f(13). Do 5 and q have different values?
True
Let y = -24 + 19. Is -4 less than or equal to y?
False
Let a = 5 - 2. Which is bigger: a or 6?
6
Let j = 129 + -130. Is 1/120 at most j?
False
Let w be 3/(-9)*-3*0. Suppose -2*o - o + 12 = w. Suppose -o*z = -2*f, 0*z = 3*z + 3*f. Is 1/14 greater than z?
True
Let g = -7152/11 + 648. Is g bigger than -3?
True
Suppose -2*c = 3*m - 7, -5*m + 5*c - 5 = -0*m. Which is smaller: 0 or m?
0
Let p be (-4 - (-2 + -5))/8. Suppose o = 2*o + 2*l + 8, -o - 3*l - 11 = 0. Let w = 1 + o. Which is greater: w or p?
p
Suppose h - 8 = -h - 4*r, -h + 3*r - 6 = 0. Let b = h - -1. Is 3/5 >= b?
False
Let p be 10*(-15)/138 + 1. Which is smaller: p or 0?
p
Let f(a) = -a**2 + 4*a - 1. Let v be f(2). Let x(t) = -t - 3. Let y be x(-6). Is y less than or equal to v?
True
Suppose 9 = 3*d + 2*p, -3*d - 3*p + 8*p - 12 = 0. Let b = 9 - 4. Suppose 2*z - z + b = 5*u, u - z = 5. Is d >= u?
True
Let y = -15 - -15.2. Which is smaller: y or -1/4?
-1/4
Let i(j) = 4*j + 2. Let b(t) = 3*t + 1. Let z(y) = 3*b(y) - 2*i(y). Let d be z(3). Let m be -1 + (2/2 - d). Are m and 0 non-equal?
True
Suppose 2*w + 29 = 3*o, -2*w + 2*o = 4*o + 4. Suppose 2*l - 5 = 3*l. Which is bigger: w or l?
l
Let w be (-1338)/(-876) - 2 - 1/(-2). Is 1 smaller than w?
False
Let r(t) be the second derivative of -t**4/12 - 7*t**3/6 + 3*t. Let y be r(-7). Suppose -4*u - 2*n - 8 = y, -2*u - n - 7 = 3*u. Are u and -2/21 equal?
False
Let u = -66.2 - -61. Let x = 6 + u. Is -2/7 less than or equal to x?
True
Let z(r) = -11*r**3 - 2*r**2 + 1. Let b be z(1). Let h = 1 + -13. Is b at least h?
True
Let h = -308/5 + 61. Which is smaller: h or -4/7?
h
Let f be 4/(-6) - (-16)/6. Let b be 12/(2 + 2) - (0 + 4). Is b bigger than f?
False
Let q be 10/40 - 23/(-36). Is q at most 2?
True
Suppose -4*o + 3*t = 0, -o = -6*t + 3*t. Let d be 3/4*16/9. Is d != o?
True
Let g(f) = f**2 + 0*f**2 - 5*f**2 + 3*f + 4. Let n be g(5). Let t = 403/5 + n. Is t greater than 1?
False
Suppose -2*d + 5*p + 17 = 0, -p - 4*p - 15 = 0. Let m(c) = c**3 + 14*c**2 - 16*c - 15. Let z be m(-15). Suppose d = -r - z. Is -1/5 not equal to r?
True
Let p(i) = -i**2 + 10*i + 11. Let s be p(11). Suppose 2*w + 2*w + 40 = s. Which is smaller: w or -8?
w
Suppose -5*x + m = -789 - 107, 3*x = 4*m + 524. Let a be (-1)/(-3) + (-78)/x. Is a at least -1?
True
Let a = -6 + 4. Is -7/5 < a?
False
Let b be 1*1*22 + -2. Suppose b = -0*z - 5*z. Let p be 10/(-18) - z/18. Is 3/7 < p?
False
Let m = -8.4 + 6.44. Let v = 0.04 - m. Let o = v - 3. Which is greater: o or 0?
0
Let a = 2 - 0. Let g = -3 + 4. Which is smaller: a or g?
g
Let z be 4 + (2 - 3) + -3. Let x be (3 + -1)/(-2 + z). Is x != -0.1?
True
Let m = -0.069 + -0.031. Which is greater: -1/27 or m?
-1/27
Let o = 11 - 27. Which is smaller: 0.4 or o?
o
Let m(r) = r**2 - 12*r + 10. Let x be m(9). Is -18 != x?
True
Let w = 2 - 5. Let y = 0.6 + -3.6. Let n = y - w. Are n and 1/4 equal?
False
Let c be -6 - (-1 + 2 - 5). Is c > -3/2?
False
Let s(z) = -z**2 + 2. Let l be s(0). Let p be 2/(-6)*(-3)/l. Is -2 at least as big as p?
False
Let a be (6/7)/(9/(-63)). Which is smaller: -2 or a?
a
Suppose -b = 3*s - 13, -6 = 3*b - b - 2*s. Let d = 4 - 2. Is b at most d?
True
Let c be (-15)/51*2/5. Let f = 50 - 50. Is c at most as big as f?
True
Let p be -3 - (-1 + 2 - 3). Let t = 3 - -1. Is t not equal to p?
True
Suppose 2*w = -11 - 1. Let y(u) = u - 7. Let j be y(w). Is j >= -14?
True
Suppose -6*s - 29 = -c - 2*s, 21 = c + 4*s. Which is greater: c or 26?
26
Let c be (231/(-5))/(-3) - -2. Let k = -17 + c. Is k <= 2/7?
False
Suppose z = 3*r + 11, z + 3*z = 3*r + 17. Suppose -z*d - d = -12. Which is smaller: d or 5?
d
Let p = -21.1 + 20. Let z = -0.1 - p. Is -2/11 smaller than z?
True
Let b be 2*(171/(-108) + (-2)/(-1)). Which is smaller: b or 1?
b
Suppose -17 = -2*u + 5*x, -2*x + 22 = -0*u + 4*u. Which is smaller: -2 or u?
-2
Suppose z - 23 - 1 = 5*n, n = 2*z - 3. Suppose 23 = 4*t - v, 0*t - 15 = -2*t - 3*v. Let c be t/(-30)*(-1 + 0). Which is smaller: c or z?
z
Let r = 1.98 + 0.02. Let l = 121/78 - 2/39. Is r greater than l?
True
Let u = 137 - 137. Is u smaller than -2/7?
False
Suppose 3*r + 21 = 2*a + 2, -2*a = r + 1. Suppose -5*m - 6 = -a*m. Is m equal to 2/15?
False
Let w be (1 - (1 + -2)) + 3. Suppose a - 29 = -3*g, 31 = g - 0*a - w*a. Suppose n - 6 = -0*k - k, k + 2*n - g = 0. Is 1 >= k?
True
Suppose -u - 4*u = -105. Suppose -2*p = -p + l + 3, 5*l + u = p. Suppose 0*m + 0*m = -2*m. Which is smaller: p or m?
m
Let w = 6 - -48. Suppose -s + 8*t = 4*t, -5*s + 2*t = -w. Do 13 and s have different values?
True
Let c = 4 - -17. Which is smaller: c or -3?
-3
Let i be (1/3)/(9/(-81)). Suppose 4 = 2*u - 0. Let w = i + u. Is w greater than or equal to -1/7?
False
Let f = 9 - 1. Is f at least as big as 8?
True
Let s = 8 - 9. Let q be ((-21)/70)/(s/(-57)). Let m = -87/5 - q. Do 0 and m have the same value?
False
Suppose 2*i - 19 = -3*j, 2*i + 0*j - 29 = -5*j. Suppose 0 = -3*t - 3*u + 6, u + i*u + 8 = 4*t. Let m be 1/(-2)*(-8 + t). Is m at least as big as 2?
True
Let h be (8 + -5)*7/3. Is 9 smaller than h?
False
Suppose 2 = -0*i + i. Are 6/5 and i equal?
False
Let b = 12 - 7. Let i = -24 - -32. Let r = i - b. Which is greater: r or 4?
4
Let n be 1 + -4*(-3)/4. Let x be (-6)/n*(3 + -5). Let