*r - 1. Let i be x(-3). Is a at least as big as i?
True
Let l(i) = 11*i**2 + i. Let y be l(-1). Let m(k) be the second derivative of -k**4/12 + 11*k**3/6 - 9*k**2/2 + 6*k. Let h be m(y). Is h > 2?
False
Let s = -168.3 + 169. Let u = -2 - -1. Which is greater: s or u?
s
Suppose -y + 3 + 9 = 4*n, 3*y - 5*n = -32. Which is greater: -5/2 or y?
-5/2
Let y = 3032/3 + -1021. Let m = y - -157/12. Which is smaller: 4 or m?
m
Suppose 0 = -4*k + i, k + k = 4*i - 14. Which is bigger: -13 or k?
k
Let q be (0/2)/(1 + 0). Let y = 2 - q. Let h = -4 - -6. Is h greater than y?
False
Let l = -87.8 + 74. Let p = l + 14. Let n = -3 + 5. Are p and n equal?
False
Let n = 1 - -2. Suppose 0 = n*q - q. Suppose -5*m = -q*m + 5. Is 1/12 bigger than m?
True
Let m = -0.4 - 1.6. Let s = -322.4 - -322. Are s and m non-equal?
True
Suppose -24 = -d - 0*d. Suppose d = -a - 3*a. Let y be -3 + ((-10)/a - -1). Which is smaller: y or -0.1?
y
Let o be (-1)/2*0*1. Let z be 10/3 - (-3)/(-1). Which is greater: o or z?
z
Let k(x) = x**2 + 5*x + 3. Let v be k(-6). Is 9 at most as big as v?
True
Suppose 0 = 3*f - 5*v - 2, 5*v + 0*v - 10 = 0. Is f bigger than 8?
False
Suppose 13*x = 9*x - 16. Do x and -3 have different values?
True
Let x = 9.63 - 8.7. Let f = -0.07 - x. Which is smaller: -2 or f?
-2
Let l(q) = q**2 + 8*q - 2. Suppose -2 - 26 = 4*u. Let z be l(u). Let r = 11 + z. Is r less than 3?
True
Suppose w + w - 4 = -2*f, 3*f = 5*w + 30. Suppose 0 = -k - v, 0 = -3*k + f*v - 2*v + 18. Suppose 4*c = -c + 15. Is c > k?
False
Let z be (13/299)/(2/2). Is z not equal to 1/3?
True
Suppose -4*r - 4*g + 115 = -309, 5*g - 209 = -2*r. Is 108 > r?
True
Let t be (-4)/(-6)*11 + 1/(-3). Is 7 at least as big as t?
True
Let p(v) be the second derivative of v**4/12 + v**3/2 + v**2/2 + 2*v. Let i be p(-4). Do 5 and i have the same value?
True
Let u = -66.9 - -67. Is u greater than -7?
True
Suppose -2*m = a + 1, -5*a - 5 = 6*m - 5*m. Is 2/59 not equal to m?
True
Suppose k - 6*k + 75 = 0. Suppose 2*y = 4*w + 7*y - k, -3*y = -9. Let i(b) = -b**2 - 9*b + 12. Let p be i(-10). Which is smaller: p or w?
w
Let j = -6 + 5.8. Let b = 0.1 + j. Let x = b - -0.07. Is 1/4 at most as big as x?
False
Let f = -21 - -20. Is -2/91 at most as big as f?
False
Let d = -5 - -6. Which is smaller: d or -1.5?
-1.5
Let i = -0.9 - 1.1. Which is smaller: -15 or i?
-15
Let g(v) be the second derivative of v**5/20 + v**4/6 - v**3/6 + v**2 - 2*v. Let m be g(-3). Let k = -4 - m. Are k and 1/2 nonequal?
True
Let v(q) = 3*q**3 - 2*q - 1. Let w be v(-1). Suppose s + 1 = 11. Suppose 5*d + 5*u + s = 0, u = -4 + 3. Does w = d?
False
Let o = -7 + 12. Let k = o + -4.7. Is -1/4 bigger than k?
False
Let n = -5 - -8. Is n at least 2?
True
Let c be ((-35)/(-21))/((-1)/(-15)). Let x = c + -26. Let l = 2.92 + 0.08. Do x and l have different values?
True
Let f = 0.71 - 0.81. Is f less than or equal to 8/5?
True
Let i(r) = -11*r**3 + 32*r**2 + 35*r + 11. Let g(h) = 7*h**3 - 21*h**2 - 23*h - 7. Let a(m) = 8*g(m) + 5*i(m). Let z be a(9). Which is bigger: z or -2?
z
Let s(q) = q**2 - 2*q - 5. Let y be s(4). Let i be (-1)/((y/2)/(-3)). Is i >= -1?
True
Let i(z) = -z**2 - 5*z + 3. Let n be i(-4). Let m be 0 + -3 - n/7. Suppose 0 = 4*g - 4 + 16. Which is bigger: g or m?
g
Suppose -3*v + 34 + 2 = 0. Let d be 2 - (39/v - 1). Suppose 5 = 2*b + 3. Are d and b non-equal?
True
Let b = 4937/20 - 1005/4. Is 1/3 > b?
True
Let u = 6 - 3. Let q(n) = -u*n + 4*n + 1 - n**2 + 1. Let m be q(2). Is m > 0?
False
Suppose -m - m - 12 = 0. Which is smaller: -25/4 or m?
-25/4
Let u = 21 - 30. Which is greater: 0.1 or u?
0.1
Let i be ((-4)/(-1))/(-2 + 1). Let n be 0/(-2)*(-2)/i. Suppose 4*q + 7 - 3 = n. Which is smaller: 2/11 or q?
q
Let m = 136/57 - 39/19. Let v = 2/9 + 1/9. Is m bigger than v?
False
Let j be 2 - (-1 + -1 + 1). Let x(c) = 4*c**2 - 4. Let g(k) = -3*k**2 + k + 4. Let w(d) = j*g(d) + 2*x(d). Let q be w(4). Which is bigger: 1 or q?
1
Let r(x) = x**2 - 4*x + 3. Let a be r(2). Let h be (-2)/5 + (a - -1). Let q be (-6)/(-4)*(-4)/6. Is q != h?
True
Suppose -6*s = -2*s - 16. Let m = s + -3. Is -2/11 not equal to m?
True
Let k = 269/5 + -54. Which is greater: 0 or k?
0
Let i = -9.9 - 2.1. Let x = -6 - i. Let p = x - 4. Is -2/3 at least p?
False
Suppose l - 6*l - 100 = 0. Let o be (-3)/((l/(-2))/(-2)). Is o greater than or equal to 2?
False
Let u = 2 - 3. Let x(c) be the first derivative of -c**2/2 + 5*c + 1. Let h be x(6). Is u greater than or equal to h?
True
Suppose -3*l = -2*u - 16, 9 - 1 = 3*l + 2*u. Suppose -3*x + 4*x = 2. Let m be (x*(-2)/l)/1. Is -2/5 bigger than m?
True
Let t = 0.46 - 0.46. Is -10 greater than or equal to t?
False
Suppose 0 = 5*z - 4*b + 3, 0 = 2*b - 0*b - 4. Is 3/20 != z?
True
Let z be 1/(-1 + 3 - 1). Which is greater: 2 or z?
2
Let x be ((1 - -3)/(4 - 2))/(-5). Let c = 5/8 - 3/8. Which is bigger: c or x?
c
Let z = -0.07 - 0.03. Which is smaller: z or 2?
z
Let t(k) = -k**3 - 9*k**2 - 9*k - 11. Let i be t(-8). Let n be (-2 - -1)/(3/9). Let l = -2 - n. Which is bigger: l or i?
l
Suppose 1 = v - 0*v. Let n be v/2 - (-7)/14. Which is smaller: n or 1/7?
1/7
Let f(k) = -k**3 - 8*k**2 - 2*k - 12. Let t be f(-8). Let i(z) = -z**3 + 7*z**2 - 7*z + 8. Let s be i(6). Is s smaller than t?
True
Suppose 4*q - 20 = 3*i, 0 = -3*i - i + 4*q - 32. Let p be i/(-9)*(-9)/(-8). Suppose -g = -0*g - 1. Which is smaller: g or p?
g
Let h = -1.6 + 13.6. Which is smaller: h or -1?
-1
Let i be 4 - (1 - (-4)/(-1)). Is i > 8?
False
Let n be (-10)/(-25)*20/2. Suppose -n = -4*o - 3*l, 0 = -4*o - 3*l + 8*l + 36. Suppose u = -o*u. Which is smaller: u or 1/2?
u
Let b = -12 - -11.8. Are -1.2 and b non-equal?
True
Let h = -38.2 + 38. Let x = 1 + 3. Let k be x/(-1)*(-1)/10. Are h and k nonequal?
True
Let x = -3.5 + 7.7. Let z = 0.2 + -0.4. Let q = x + z. Which is smaller: q or -1?
-1
Let t = 13.1 - 13.4. Which is smaller: -2/27 or t?
t
Let y = -205/7 + 30. Let a(s) = -s**3 + 4*s**2 + 4*s + 6. Let r be a(5). Which is smaller: y or r?
y
Let a be 32/8*2/1. Let t be (-3)/9*6/a. Which is smaller: -1 or t?
-1
Let g be (-28)/(-6) - 12/18. Let j = g - 4. Is 3 at most as big as j?
False
Let h = -4 - -14/3. Suppose -2*i = -g, 0 = 3*g - 4 - 8. Which is greater: i or h?
i
Let l = -3 - 5. Let s = -5 - l. Let p = 1 - -1. Which is greater: s or p?
s
Let p(z) = z + 8. Let d be p(-6). Suppose 0 = -4*x + 3*a - 6, d*a + a = 5*x + 6. Suppose 0 = 2*o + 5*v + 14 - 1, 3 = -3*o - 2*v. Is x < o?
True
Let y be 6/411*(-554)/(-12). Let k be 4 + 2194/(-274) + 4. Let x = y + k. Which is smaller: 0.1 or x?
0.1
Suppose 5*n + s - 12 = 11, -2*n - s = -8. Suppose 2*u - 6 = -2*j, 17 = n*j + 3*u + u. Which is smaller: -1 or j?
-1
Let k be 1/(-2) - (-22)/4. Suppose 0 = k*o - o. Let i(l) = l + 6. Let s be i(-5). Which is smaller: o or s?
o
Let t(o) = 14*o**2 + 3*o - 2. Let n be t(1). Is n <= 15?
True
Let l = 34 - 31.9. Let o = -22 - -24. Let n = l - o. Which is greater: n or 4/5?
4/5
Let l = 67 - 403/6. Let f be (-2)/(-5) - 6/15. Suppose f = 2*j + j. Is l > j?
False
Suppose 2*b - 4*b - 2*p + 24 = 0, 28 = 3*b - p. Let v(o) = 5*o**2 + 5*o. Let y be v(-2). Is y not equal to b?
False
Suppose -12 = -r - 3*r. Suppose 0 = 5*f + 2*s - 53, 2*f + 3*s - 34 = -s. Let g be (-4)/(-18) - (-25)/f. Is g less than or equal to r?
True
Let k(s) = s**3 - s**2 + 1. Let t be k(0). Suppose 2*d - 5*h = 0, 5*h - 7 = -d + 8. Suppose 2 = -i + d. Which is bigger: i or t?
i
Let n = -6 - -11. Suppose -3*v - 5 = -4*u + 14, -2*v - n = 5*u. Does v = -3?
False
Suppose -3*i + 3*f = -24, -2*i - 5*f + 26 = -2*f. Are i and 10 non-equal?
False
Let y be 2/20 - (-3)/(-5). Let i = 0.1 - 0.1. Which is smaller: i or y?
y
Let t = 4 - -2. Suppose -g = g - t. Which is smaller: 1/5 or g?
1/5
Let s(o) = -o**2 - o + 4. Suppose 0*a - 3*a = 0. Let c be s(a). Suppose -11 = -3*j + c. Which is bigger: j or 0.1?
j
Let l be (-40)/(-25) - (-2)/5. Suppose 0 = 3*f + l*w - 26, -3*f + 21 + 9 = 3*w. Let h = f + -8. Which is bigger: -2/3 or h?
-2/3
Let j be 4*((-14)/4)/(-7). Suppose 4*t + 3*y = -11, j*y + 20 = -2*y. Which is smaller: 1/3 or t?
1/3
Let n be 3/75*(0 + -1). Let s = -18/175 + n. Which is greater: -1 or s?
s
Let d(i) = -7*i + 2. Let h = -17 + 24. Let o(y) = 8*y - 1. Let l(j) = h*d(j) + 6*o(j). Let u be l(4). Is 4 < u?
False
Let u = -4 + 2. Let i = u - -3. Let t be (-10