se
Let m = -0.01 - -0.01. Let q = 0.2 - m. Which is greater: q or -1?
q
Let i(s) = -13*s**2 - 17*s + 12. Let d(v) = 3*v**2 + 4*v - 3. Let t(m) = -9*d(m) - 2*i(m). Let a be t(-3). Let b = -118 - -1063/9. Which is greater: b or a?
b
Let b = 999/11 + -91. Let t be -1 - (1 - (1 - -1)). Which is greater: t or b?
t
Let r = 12 + -11.8. Let s = 0.1 - r. Is 1/3 <= s?
False
Let b be (1/(2/66))/8. Let i = b + -13/8. Which is smaller: 3 or i?
i
Let r(b) be the first derivative of b**5/60 - 5*b**4/24 + b**3 - b**2/2 + 4. Let t(a) be the second derivative of r(a). Let p be t(4). Is p at most 1?
False
Let a(n) = -5*n**2 - 2*n - 1. Let c be a(2). Let p = 23 + c. Is 0 at most as big as p?
False
Suppose -j = -2 - 3. Let h be 2/(-6) + j/(-30). Suppose d = -2*d + k, -d + 2 = -k. Which is greater: h or d?
h
Suppose -5*c + 5 = 0, -2*c - 2 = 2*h - 0. Is -13 at most as big as h?
True
Let y = -2.3 + 2. Let x be (-304)/(-240) - 9/15. Which is smaller: y or x?
y
Let r = -181307/135733 - -260/197. Let u = -9/53 - r. Is u at least 0.1?
False
Let g = 1 + -9. Let b(x) = x**3 + 8*x**2 - x - 4. Let k be b(g). Suppose t - 9 = -k*u, 4*u + 2 = 4*t + 6. Is 2 at least t?
True
Suppose 0 = -4*d + 4, -4*b - 8 = 2*d + 30. Let l = b - -11. Is l > 1?
False
Suppose -10 = -2*k - n, k = 3*n + 1 + 18. Let r = k + -4. Let a be 4/(-6)*2*-3. Is r at most a?
True
Let o(g) = -3*g - 1. Suppose -4*t + 1 = -3. Let m be o(t). Let c(h) = h**3 + 4*h**2 - 3*h - 4. Let a be c(m). Which is greater: a or 1?
a
Let c(p) = 2*p**2 + 4*p + 3. Let x(d) = -d - 1. Let b be (-2)/4 - 6/(-4). Let n be x(b). Let z be c(n). Which is smaller: 2 or z?
2
Let d be (-2)/12 - 138/468. Let h = 0 - -0.1. Which is smaller: h or d?
d
Let r = 4 + 0. Let n = 4 - r. Which is smaller: n or 1?
n
Let h(l) = -l + 45. Let n be h(42). Suppose -5*j + 418 - 103 = 0. Let k = 129/2 - j. Is k bigger than n?
False
Suppose 5*x = 2*n - 4*n, -n - 2*x = 0. Suppose n*o = 5*o + 10. Is -3 less than or equal to o?
True
Let h be (-40)/8 - (-3 + (-1 - -1)). Suppose -3*q + 2 = -5*q - 4*u, -2*q - 7 = -u. Is h < q?
False
Let i(b) = -9*b - 1. Let h be i(-1). Do 8 and h have different values?
False
Let w = -8 + 12. Let u(o) = o**2 + 4*o - 2. Let y be u(-4). Let g be 0 - y/(-12)*3. Which is greater: w or g?
w
Suppose -2*q - 3 - 1 = 0. Let w be q/9 + 8/(-126). Let d be ((-1)/(-2))/(2/4). Which is smaller: w or d?
w
Let a be 113/6 - (-7)/42. Is 19 greater than a?
False
Let x be 11145/(-31075) - (-2)/5. Let a = x + -17/113. Let c = a - -152/385. Which is greater: 1 or c?
1
Let q(i) = -i**2 + 17*i - 24. Let v be q(16). Is -6 not equal to v?
True
Let p = 2/29 + -43/203. Let l(v) be the second derivative of v**3/6 - 5*v**2/2 + 2*v. Let f be l(4). Is f smaller than p?
True
Let k = -1176 - -1176.1. Let n(a) = -a**2 - 5*a - 4. Let l be n(-5). Let o = -1 - l. Which is greater: k or o?
o
Let t(y) = y + 2. Let a be t(2). Let r be -2*1/2 - a. Let u = r + 6. Which is smaller: -2/7 or u?
-2/7
Let w = -9 + 19/2. Let c be ((0/2)/(-1))/((-2)/2). Which is bigger: w or c?
w
Suppose 6*l - 25 = 3*l - w, 4*w - 44 = -5*l. Which is smaller: l or 9?
l
Let n(m) = -m**3 + 2*m**2 - 2*m + 1. Let s be n(1). Let v be 8/(-15)*3 + 2. Which is bigger: s or v?
v
Let t(q) = q**3 - 7*q**2 - 5*q + 11. Let f be t(8). Suppose 6*h = h - f. Is -7 at most as big as h?
True
Let i = -33 - -46. Which is greater: -1/5 or i?
i
Let l be (-4 + 5)*3*4. Suppose 4*y - l = 0, -5*x + 2*y + 0 = 21. Suppose -5*i = -4*f - 13, 3*f = i + 2*i - 9. Do f and x have different values?
True
Suppose 3*q - 12 = -3*v, -v - 4*v = 3*q - 18. Do 2 and v have different values?
True
Let s = 0.007 - -0.563. Let a = -0.31 + s. Let y = a - 0.06. Is y at most as big as 2?
True
Let j(n) = -2*n - 8. Let i be j(-4). Which is bigger: i or 2/7?
2/7
Let y = -2.7 - -2.57. Let s = -0.03 - y. Which is smaller: s or 1/3?
s
Let y be (2/(-6))/((-2)/18). Suppose 0 = -2*a - y*a. Suppose 2 = f - a. Is f >= 2?
True
Suppose 7*m = 4*m - 24. Let b = m + 6. Which is smaller: b or -3?
-3
Let d = 1.2 + -1.2. Which is smaller: 18 or d?
d
Suppose 4*f = 5*o - 12, -4*f = -3*o + 4*o + 12. Suppose 0 = -2*t + 7*t. Let b(k) = k - 2. Let l be b(t). Is f less than l?
True
Let z = 57 + -59. Which is smaller: z or -18/7?
-18/7
Let f(k) = 3*k - 3. Let t be f(10). Let r = t - 109/4. Which is greater: r or -0.07?
-0.07
Suppose 6*z - 4*f = z + 22, 0 = -2*z - 3*f - 5. Let x be (-1)/(-1) - (2 - 1). Suppose -3*l + z - 5 = x. Which is smaller: l or -4/3?
-4/3
Suppose 0 = -4*x + 6*x. Let p = -4 + 5. Is x greater than p?
False
Suppose -4*f - 448 = -2*g - 2*f, 0 = 5*g - 2*f - 1108. Let l = g - 3741/17. Which is bigger: 0 or l?
0
Suppose -2*c + 7*c + 25 = 0. Let t be (c - -3)/((-4)/2). Let r be 2/9 - 171/405. Is t smaller than r?
False
Let u(p) = 25*p**2 + 2*p - 2. Let o be u(1). Which is bigger: o or -2/3?
o
Let z = 4.3 + -4. Let g = -1115.7 - -1116. Is z >= g?
True
Suppose -12 = s + 3*s + 3*y, -5*s - 15 = -5*y. Let f = s + 0. Suppose 2*b + b + 12 = 0. Is b > f?
False
Let w = 59 - 60. Let o = 122/387 - 4/43. Are w and o nonequal?
True
Let y be 2 - 5 - 212/60*-1. Which is greater: 1 or y?
1
Suppose -4*i = -2*n + 50, 2*n + 12 = -2*n. Let f be (-14)/21 - i/(-6). Let b be (1 + f)*2 - -2. Is -2 smaller than b?
False
Let v be (-6)/238 + 12/(-102). Which is smaller: v or 3/4?
v
Let i = 33 + -100/3. Is -3/2 > i?
False
Let w(n) = -n**2 + 7*n - 8. Let c be w(5). Let p be 12 + (-2)/(-2) + -1. Let j be ((-2)/p)/(1/(-4)). Which is smaller: j or c?
j
Let c = -9.92 - -10. Let w = 0.38 - c. Is 1/5 <= w?
True
Let h = -8 - -10. Let i be 4/(-18) - h/(-9). Which is smaller: i or -2/9?
-2/9
Suppose 0 = -2*z - 3*z + 15. Suppose 6 = z*g - 0*g + 3*n, 3*n = -5*g + 8. Which is smaller: 0 or g?
0
Let t(z) = -z**2 + 8*z - 9. Let k = 1 - -6. Let r be t(k). Let h = 2 - 2. Which is greater: r or h?
h
Suppose 5*r + 15 = -5*x, 0 = 2*r - 6*r - x - 18. Let b be (-2)/(-14) + 5/(-35). Suppose b = -5*g - 16 + 1. Is g at most r?
False
Let h(t) = -2*t - 2. Let i be h(2). Which is smaller: i or -4?
i
Suppose 9*f - 10 = 4*f. Let v be (2 + 0)/(0 + f). Is 3/4 > v?
False
Let p be -3 - ((-681)/12 - 1/4). Which is smaller: 56 or p?
p
Let s = -3620 + 763818/211. Which is smaller: 0 or s?
s
Let m = -35 + 19. Let a be -3 + 2 + (-14)/m. Is a < 1?
True
Let b = -1.2 + -0.6. Let o = b - -0.8. Let r = 0.6 + -0.1. Which is smaller: r or o?
o
Let y(g) = -g**2 + 7*g + 16. Let w be y(-5). Is w equal to -44?
True
Suppose 5*f + 0 - 5 = 0. Let p = 15788/1243 - -44/113. Let q = 1041/77 - p. Which is smaller: q or f?
q
Suppose 3*g - 17 = -5. Let r(f) = f + 4. Let x be r(-4). Suppose x*v + 3*v - 15 = 0. Is g at most as big as v?
True
Let s = -10 + 6. Let z be ((-6)/s)/(1/2). Suppose -z*q + 3*w + 21 = 0, -7 + 21 = -3*q - 4*w. Which is bigger: q or 1?
q
Let v = 51 + -72. Let d = -22 - v. Which is smaller: d or -3?
-3
Let z = 3 + -7/3. Let o = 3.7 - 5.7. Is o < z?
True
Let v = -2 + 1. Let c = 1663 - 4922/3. Let d = -23 + c. Are v and d unequal?
True
Let v = -2/2123 - 159221/4246. Suppose -5*o + 144 = -o. Let y = o + v. Which is smaller: y or -3?
-3
Let c be 6/(6/1) - (-230)/22. Is 11 less than c?
True
Let g = 0.2 - 0.25. Let s = -2.106 + 0.056. Let m = g - s. Are 1/3 and m unequal?
True
Let j = -6 - -3. Let d = j + 3. Let t = d - 1. Is -1 smaller than t?
False
Suppose 0 = -s + 4*s. Suppose 5*r = -0*f + 3*f - 9, 4*r - 3*f + 9 = s. Let u be -1 + (r - 1) + 1. Which is smaller: u or -2?
-2
Suppose 0 = 2*j + x - 51, 7*x + 123 = 4*j + 2*x. Let q be 3/(j/6) - 1. Let i = 4 - 3.6. Is q greater than or equal to i?
False
Let r be (((-27)/6)/(-3))/(6/4). Is -1/5 greater than or equal to r?
False
Suppose 0 = 2*y - 6*y + 12. Suppose -3*g = s - 15, 0 = -5*s - g - y*g + 31. Is 3 != s?
False
Suppose 0*l + 3*l = 21. Let v = -0.15 + -0.05. Is v not equal to l?
True
Let x be 24/72 + 122/(-42). Suppose -g + 1 = g + r, 5*r - 21 = -2*g. Which is smaller: g or x?
x
Suppose 0 = 5*y - 4*i - 26, 0*y - 2*i = 2*y + 4. Let m be 0*1*-1*1. Suppose -y*l + m = -2. Is 1 != l?
False
Let d(w) = -w**3 - 8*w**2 + 8*w - 8. Let l = -11 + 2. Let q be d(l). Is q at most 2/3?
False
Suppose -2*n + 56 = 5*n. Which is smaller: 1/3 or n?
1/3
Let c(z) = -z**2 - 1. Let l be c(1). Let q = l - -1. Let n = 2 + q. Which is bigger: n or 0?
n
Suppose 2*m - 15 = -m. Suppose -2*r = -5*q - 6*r - 20, 