t m be l(-7). Let h = -4088/11 + m. Are h and -1 unequal?
True
Let n = -51 + 36. Which is smaller: n or -19?
-19
Let i = 37 - 35. Which is bigger: 5/3 or i?
i
Let q = -23239/40968 - 5/2276. Let y = 1/8 + q. Which is smaller: y or 0?
y
Let p be ((-11)/2)/((-6)/(-12)). Let l = p - -11. Is -1/5 < l?
True
Suppose -2*j + 0 - 8 = 0, 4*f + j + 24 = 0. Let d be (9/6*(-10)/(-3))/(-1). Is f at most d?
True
Let f be (-2)/(-3) + (-2)/12. Which is smaller: 14 or f?
f
Let f = 2 + -3. Let b(q) = -2*q - 1. Let n be b(f). Let w = 0.2 - 0.3. Which is smaller: w or n?
w
Let h = -155/2813 + 2/97. Is -1 equal to h?
False
Let k(y) = -y**2 + y - 1. Let x be k(1). Suppose 0 = -5*f + 9 + 1. Let q be 6/4*f/12. Is q less than x?
False
Suppose 0 = 8*t - 2*t. Let u = 195/77 - 19/7. Is t at most u?
False
Let h = -10 - -16. Which is greater: 5 or h?
h
Let q(b) be the first derivative of -b**2/2 - 4*b + 2. Let t be q(-3). Which is smaller: t or 1?
t
Let a = 0.2 - -0.1. Let r = a - 0.1. Let s = -17.4 - -22.4. Is r greater than or equal to s?
False
Suppose 0*y + 2*y = 0. Suppose y*c + 2 = -2*c. Is 4 equal to c?
False
Let w(y) be the second derivative of -2*y**3/3 - 3*y**2/2 - y. Let k be (-6)/(-9)*(-3 + 0). Let d be w(k). Which is smaller: d or -2/5?
-2/5
Let q be ((-91)/(-28))/((-1)/(-4)). Which is greater: q or 9?
q
Let h be ((-24)/36)/((-2)/6). Let d be (11/22)/(h/(-4)). Which is smaller: d or -1/3?
d
Let h = -13 - -9.4. Let s = -0.6 - h. Let m = s - 3. Is 1/3 bigger than m?
True
Suppose -21 = -0*i - 4*i - 3*d, -21 = -3*i - 4*d. Suppose i*k + k = 4*u, u = 0. Which is greater: k or -4/3?
k
Let r(d) be the first derivative of d**3/3 + d + 1. Let w be r(-2). Suppose 3*b + 28 - 5 = 4*v, w*b - 5*v = -30. Is b >= 2/13?
False
Suppose 4*g - 18 + 150 = 4*a, 3*g = -a + 49. Which is smaller: a or 35?
35
Let n = 23 - 14. Let q be 9/12*12/n. Is 1 greater than q?
False
Let n(r) = -1 + 5*r**3 - r**2 - r - 3*r**3 - 5*r**3. Let w be n(-1). Is w equal to -2?
False
Suppose -15 = -g + 3*n, 2*g + 3*n = -11 + 68. Let s = -35 + g. Which is smaller: s or -10?
s
Let i = 16 - 11. Let p(w) = w**2 - 4*w + 6. Suppose -1 = -3*k + 8. Let a be p(k). Is i > a?
True
Let s(v) = 1 - 65*v**2 - 2*v - 2*v + 64*v**2. Let w be s(-4). Are 1 and w unequal?
False
Let t = -48.9 + 49. Let j = -3.06 + 3. Which is smaller: j or t?
j
Let c = 24 + -25. Which is greater: 67 or c?
67
Let x be 6*3/15 - 1. Suppose 3*y - 10*y = -7. Is x smaller than y?
True
Suppose -4*g - 5 = 3. Let z be 4*((-27)/12 - g). Is -1 > z?
False
Suppose -93*b + 88*b = 40. Is -6 greater than b?
True
Let q(k) = -k**3 + 11*k**2 - 15*k - 12. Let l be q(9). Which is smaller: l or 13?
13
Let a(u) = 3*u**2 - 2*u - 1. Let g be a(1). Let k = -3/32 - 49/160. Which is smaller: g or k?
k
Let y = -0.42 - -0.52. Does y = 2/11?
False
Let o = -6 + 6.4. Let d = 0.8 - o. Let s = 1.4 - d. Is s greater than or equal to 4/7?
True
Let b(r) = 4*r. Let t(o) = -o - 5. Let k be t(-6). Let a be b(k). Is 4 > a?
False
Let h = 24/35 + -3/35. Which is greater: -1 or h?
h
Let j = 50 + -70. Let t be 10/j - 1/(-10). Which is bigger: 0 or t?
0
Let n be (3/(-45))/((-4)/(-12)). Which is smaller: -0.5 or n?
-0.5
Let y = -14 + 30. Let q = -10 + y. Is q less than 6?
False
Suppose -2*d - 52 = 2*d. Let w be ((-27)/d + -2)*2. Let n = -403 - -403.2. Is n at most as big as w?
False
Suppose b + 3*b = -z + 8, 2*b = -4*z + 18. Let c be (6/(-44))/(2/z). Which is smaller: -1 or c?
-1
Suppose -5*z + 2*i - 16 = 0, z = -z - 2*i + 2. Let j be (3 + -5)*(-3)/z. Suppose -3*d + 7*d + 4 = 0. Which is bigger: d or j?
d
Let x be (8/(-2))/(2/(-5)). Suppose -2 = -3*y + x. Let d = y + -5. Is -1/6 less than or equal to d?
False
Suppose -7*n - 5*n = 984. Which is greater: -0.1 or n?
-0.1
Let s = 0.4 - 0.3. Which is smaller: 11 or s?
s
Let r = -0.6 - 0.4. Let n = r - 0. Let y = 0.2 - -0.8. Is y <= n?
False
Suppose -4*c = 33 - 9. Let u be c/(-4)*(-18)/21. Which is smaller: 0 or u?
u
Let j(h) = h**2 + 4*h + 5. Let p be j(-5). Let w = 7 - p. Do w and -3 have different values?
False
Let n be (-7)/(-4) + 3/12. Let c be -6*(-1)/(n/(-1)). Let y = c + 3. Which is greater: y or 2?
2
Let q = 99269/30 - 16528/5. Let z = 7/2 - q. Are z and 0 nonequal?
True
Suppose 2*h - 2*q = 18, -h - 3*q + 7*q = -21. Suppose 8*m = 5*m. Suppose -h*i = -m*i. Which is smaller: i or 3?
i
Suppose 0 = -4*s - 0*s + 416. Let o = 726/7 - s. Is 0 bigger than o?
True
Suppose 1 = 3*b - 2*b. Let d be (4/(-54))/((-5)/30). Does d = b?
False
Let a = -83/429 + 4/39. Which is smaller: a or 1?
a
Let i(l) = l**2 - 4*l - 4. Let g be i(4). Let j be -1 - g - (-108)/(-16). Which is greater: -4 or j?
j
Let q be 14/6 + 2/(-6). Let m be q/4 + 0 + -1. Let n = -1.4 - -1.7. Which is greater: n or m?
n
Let i = 1 + -0.93. Let k = -0.23 - i. Let z = 0 + 0.1. Are z and k nonequal?
True
Suppose -t = 2*b + t - 8, 3*b + 18 = 3*t. Which is smaller: b or 0?
b
Let i = -0.28 + 0.18. Which is greater: 6 or i?
6
Let y = 5 - 9. Is -2/5 greater than y?
True
Let g be 1*-2 + 30/16. Suppose 2*m + 3 + 1 = 3*z, -z - 4*m = -20. Let c = -3 + z. Which is bigger: g or c?
c
Let a = -42 - -41. Which is greater: a or 9/4?
9/4
Let f = 1079/46 + -68/23. Are 21 and f equal?
False
Let i = -4 + 4. Let o be (-5)/(-2) - 2/1. Which is smaller: o or i?
i
Let m be (-1)/(6/(-5)) - 0. Let o(g) = -g - 5. Let a(j) = -2*j - 10. Let v(r) = 6*a(r) - 11*o(r). Let w be v(-6). Is m < w?
True
Suppose -4*i + f + 3*f = -16, -2*i - 4*f + 32 = 0. Suppose 0 = 3*b + 5 - i. Is b not equal to -2/41?
True
Let b = 987/8 + -123. Which is smaller: 1 or b?
b
Suppose 3*h - 5 = 1. Suppose x = -h + 1. Let f = -113/280 + -1/40. Is f at most as big as x?
False
Let b = -0.1 + 0.2. Let z = 22 + -29. Which is bigger: b or z?
b
Suppose 5*b + 5*f + 1 = 41, -2*f + 19 = 3*b. Suppose b*m - 12 = 5*m. Let u be (-3)/(3/4 + 0). Which is bigger: u or m?
u
Let m = -0.001 - -0.021. Which is smaller: m or 0.3?
m
Let x = 0.026 + 0.094. Let t = -14/25 - -48/175. Which is greater: x or t?
x
Let v = 6.8 - 6.7. Which is bigger: -6 or v?
v
Suppose 5*p = 3*t + 432, 4*p + 0*t - 353 = -5*t. Let w be 2/(168/p + -2). Let u = w + 21. Is u not equal to -8?
False
Let b = -12784/21 + 1804/3. Let r = -50/7 - b. Which is smaller: r or 0?
0
Let d = -13 + 13. Is -1/57 < d?
True
Suppose 5*k = k. Suppose -6 = -2*o - k*o. Suppose t = 2*m, t - 2 - o = -3*m. Which is smaller: m or 2?
m
Let z(q) be the third derivative of -q**4/12 - 2*q**3/3 - 2*q**2. Let m be z(-7). Let v be (1 + -2)*4/m. Is v at least as big as -1?
True
Let m = -41/5 - -8. Do -1 and m have the same value?
False
Let q = 4 - -1. Let c be (q + 1)*8/12. Suppose -c*x + 0*f + 5*f - 7 = 0, -3*f = -3*x - 3. Is x smaller than 4/5?
False
Let d = 15 + -9. Let k(u) = 7 - d*u + 7*u**2 - 3*u - 6*u**2. Let x be k(8). Is x greater than -2?
True
Let l = -6 - 22. Let d be -4*(-2 + l/(-16)). Which is greater: 5/3 or d?
5/3
Let t be (-2 - (-1160)/612) + (-4)/(-18). Which is smaller: t or 1?
t
Let l be (0/(-4))/(-1 + 2). Do 9 and l have the same value?
False
Let w be (-1)/4*2 - 0. Let h = -34 + 29.9. Let z = h - -4. Which is bigger: z or w?
z
Let l be -4*3/30 + (-346)/10. Is l smaller than -36?
False
Let p = -72 - -54. Which is smaller: p or 0?
p
Let s be (-1)/((-2)/12*2). Let p be (4/138)/(1/s). Which is bigger: 1 or p?
1
Let u be (-1)/3*(-2)/(-6). Let v = 3 + -4. Is v bigger than u?
False
Let x be (6/(-12))/((-18)/8). Is x at most as big as 1?
True
Let z = 1.69 + 0.11. Let r = -0.8 + z. Is r >= -2.2?
True
Suppose -3*x + 4*u - 15 = 0, -x - 2*u - 16 = -7*u. Let h = -40 - -40. Do x and h have the same value?
False
Let l(b) = -2*b**2 + 9*b + 2. Let j(y) = 3*y**2 - 10*y - 1. Let v(f) = 3*j(f) + 4*l(f). Let p be v(-5). Is 3/7 equal to p?
False
Let c = 16 + -16. Suppose 3*p - 4*r - 2 = 8, 16 = -4*p - 2*r. Which is bigger: p or c?
c
Let a = -5191/336 + 13/112. Let b be (-2 - -3 - 0)*-15. Let i = a - b. Does 0.2 = i?
False
Let p(u) = -u**3 + 4*u**2 + 1. Let j be p(4). Suppose 3 = 4*g - j. Suppose g + 2 = -3*m. Which is smaller: -1/5 or m?
m
Let y = 0.27 - 16.27. Let r = y - -16.2. Which is greater: r or 2/7?
2/7
Let n be ((-416427)/(-442))/(35/10). Let s = n - 1280/91. Let b = -255 + s. Is 1 greater than b?
True
Let h = 4606/11 + -419. Which is smaller: h or -1?
-1
Let m be 1/(-127)*12/6. Let o = -115/762 + m. Which is greater: 2 or