 d - m = 3*a + 11, -4*d = a + 1. Let x = 79/160 + -3/32. Which is bigger: d or x?
d
Let t = -0.54 - 0.46. Which is greater: t or -1/57?
-1/57
Let l = 1 - 0.95. Let i = l - -0.05. Are -2 and i equal?
False
Let j(s) = s + 6. Let z be j(-7). Let a be 2*2*z/(-8). Which is smaller: a or 0?
0
Let d = -0.03 - -0.06. Is 0.03 smaller than d?
False
Let k(z) = -z**3 - 4*z**2 - z + 2. Let t be k(-2). Which is smaller: -7 or t?
-7
Let o = 7.2 - 8. Let t = o + 0.9. Which is bigger: t or 0.02?
t
Let y(d) be the third derivative of d**6/120 + d**5/60 - d**4/8 - d**3/2 - d**2. Let f be y(-2). Suppose -111*u + 112*u = 0. Is u less than f?
False
Let l = 0.05 + 0.75. Let n = 6.2 + l. Let v = n + -7.1. Are -0.3 and v equal?
False
Let h = 56 + -55. Which is smaller: h or -3?
-3
Let j = -2 + 1. Suppose -x + n = 2*n, -x = -n. Suppose -2*l = l - 3, x = -3*o - 4*l - 2. Are j and o equal?
False
Suppose 0 = -0*j + 4*j - 2*h - 74, 5*j = -2*h + 88. Let w = j - 18. Which is greater: -7/5 or w?
w
Let y be 4/(-2) + 213/84. Let d = y - -3/14. Let f(c) = 3*c**2 + c. Let l be f(0). Which is smaller: l or d?
l
Let d = 44 + -44. Let j = 7489/3 - 2518. Let y = j + 21. Which is smaller: d or y?
y
Let n = 4.88 + -5. Which is smaller: 2/5 or n?
n
Suppose -3*n + n + 2 = 2*c, c + 3 = 0. Let v(z) be the second derivative of 2*z**3/3 - 3*z**2/2 + 2*z. Let o be v(2). Which is bigger: n or o?
o
Let h be (-75)/(-50)*(-2)/3. Let m be 1/(-2) + 1/(-4). Is h != m?
True
Suppose 0 = -3*u - 2*d + 1, -2*d + 2 = -u + 3*u. Let i be 2 + 16/(-18) + -2. Which is smaller: i or u?
u
Suppose -30*c = -33*c + 69. Is 24 greater than or equal to c?
True
Let m be -2 + 4/(256/132). Is -1 less than m?
True
Let w = 0.251 + 0.049. Which is bigger: w or 1?
1
Suppose -37 = -5*y + 13. Suppose -5*d + 65 = -5*s, d + 4*s - 4 = 2*s. Is y <= d?
True
Suppose -2 = 5*p + 128. Which is bigger: -27 or p?
p
Let d(t) be the third derivative of t**6/120 - 2*t**5/15 + t**4/4 - t**3/2 - 3*t**2. Let j be d(7). Let c be 14/j + 6/15. Which is smaller: 5 or c?
c
Let i = 0.024 - -0.076. Let j = -15/157 - 2377/1413. Let y = 59/18 + j. Which is smaller: i or y?
i
Let k = 79 - 554/7. Let g(s) = s + 5. Let l be g(-4). Which is smaller: l or k?
k
Let l = -1 - 3. Let c = -4.4 - l. Which is greater: c or 1?
1
Let h = -12 + 20. Let x be 1*7*3/3. Which is bigger: x or h?
h
Suppose -3 = -3*x + 3*l, 5*x = -2*l - 2*l + 32. Suppose g + g - 16 = -4*j, 0 = 2*j + 5*g. Let q = j - x. Which is smaller: 3 or q?
q
Let d = 3028/9 + -336. Which is smaller: 2/5 or d?
2/5
Suppose 3*v + 0*p + 2*p - 9 = 0, 11 = -v + 4*p. Suppose 4*j - 3 = v. Let c be (30/(-25))/((-4)/5). Is c greater than or equal to j?
True
Suppose 4*s = 5*y - 123, -2*s + 71 = 3*y - 3*s. Let c = 34 - y. Is 12 smaller than c?
False
Let g = 4 + -11. Let j = g + 7. Which is greater: j or -3?
j
Let b(f) = f**2 - 2*f - 1. Let d be b(2). Which is smaller: 2/5 or d?
d
Suppose -w = z - 1, -5*z - 5 = -2*w + 11. Let i be (-5)/10 + (-2)/28. Is z bigger than i?
False
Let r = -0.94 - -0.94. Are -2/39 and r unequal?
True
Let w = -2 + 10. Let l = -7.9 + w. Which is greater: 2 or l?
2
Suppose -863 = -5*x + 52. Let q = x - 554/3. Is -3 equal to q?
False
Suppose -d = -4*d + 9. Let w(h) = -h**2 + 2*h - 3. Let j be w(d). Is -4 at least j?
True
Suppose 5*a = -3*u + 7*u + 60, 2*a - 4*u - 24 = 0. Let j(p) = -p**3 + 5*p**2 + 6*p + 3. Let b be j(6). Suppose -b*z = z - a. Are z and 3/2 unequal?
True
Let c = -0.3 - -0.1. Let u = 0.3 - -3.7. Let z = -3.9 + u. Which is greater: c or z?
z
Let v = 0.05 - 0.35. Let n = v - -0.5. Suppose q = -2*q - 6. Which is smaller: n or q?
q
Let u = 1097/28 - 155/4. Let m(d) = -d**3 + d**2 - d. Let l be m(0). Suppose 4*y = -l*y. Is y smaller than u?
True
Let p = 0.11 - -0.05. Let t = -0.06 + p. Which is smaller: t or 2?
t
Suppose 11 - 15 = -4*s - 4*j, j = 5*s - 35. Let v(q) = q + 5. Let p be v(0). Which is greater: s or p?
s
Let g = 518.98 - 512. Let i = 0.02 + g. Let s = -6 + i. Which is smaller: 2 or s?
s
Suppose -9*c = -4*c - 5. Let r be c + -2*1/6. Let g = 0.1 - -0.1. Is g at most as big as r?
True
Let l = 9.04 - 0.04. Let i = -4 + l. Let j = -6 - -7. Is j at least i?
False
Suppose 3*u + 4 = -5*k, -k - 2*u - u = 8. Which is greater: -8/31 or k?
k
Let s be (4812/(-163210))/(45/50). Let r = 2/859 - s. Let n = r + 47/285. Which is bigger: 1 or n?
1
Let g = -9 + 2. Let u = 8.9 - 9. Which is smaller: g or u?
g
Let w be (0/1 + -4)/(-11 - -10). Is w greater than 19/7?
True
Let a = 0 + 1. Let u = 87/28 - 13/7. Which is smaller: u or a?
a
Suppose 3*c + 10 = -8. Which is smaller: c or -4?
c
Let k = -17 - -18. Suppose 0 = w + w. Let n = w - k. Is -3 smaller than n?
True
Suppose -5*x + 4*q + 30 = 2*q, -2*x = -3*q - 23. Suppose -3*w - 3*r - 19 = 2*r, 2*r + x = 0. Let g = 14 + -16. Which is greater: g or w?
g
Suppose -2*d + 5*u + 7 = 4*u, 2*d + 4*u + 18 = 0. Are d and 8/17 equal?
False
Let l be (-16)/(-4) + ((-40)/2)/4. Which is smaller: -18/19 or l?
l
Let w(y) = -y**2 + 11*y - 13. Let m be w(10). Let z = -3 - -2. Which is bigger: z or m?
z
Let f = 38 + -38.1. Which is bigger: f or 4/11?
4/11
Suppose 0*w - w = 3*f, 0 = -5*f + w. Let n be (-1)/(3 + -1 + -1). Is n > f?
False
Let h = -243/13529 + -1/163. Which is smaller: h or 0?
h
Let w = -289961/780 - -4816/13. Let b = w - -8/15. Let h(n) = n + 4. Let k be h(-6). Which is smaller: k or b?
k
Suppose 3*x + 1 = -8. Which is bigger: x or -2?
-2
Let s = 0.08 + -0.11. Let u = s - -0.13. Is u less than or equal to 0?
False
Let s(j) = -j**3 + j**2 + 2*j + 2. Let o be s(-2). Which is smaller: o or 9?
9
Let l be (1 - -2) + (-27)/(-3). Suppose 0 = -l*u + 8*u - 24. Which is bigger: -4 or u?
-4
Suppose 17 = 5*k - 3*q, 2*q + 14 = 2*k + 2*k. Suppose 5 - 13 = k*n. Let f be n/(-6) - (-4)/(-12). Is 0 equal to f?
True
Suppose 5*v + 2 - 27 = 0. Let s = v + -5. Which is smaller: s or 2/11?
s
Let w = -5.3 + 3.5. Which is bigger: -0.1 or w?
-0.1
Let u be (-42)/(-15) - (-3)/15. Let f be u/(1/(-1 + 0)). Let o = -1 - f. Do o and 1 have the same value?
False
Let x = 30 + -30. Are x and 1/3 equal?
False
Let y = 1 + -2. Let v = -72 + 72.2. Are v and y non-equal?
True
Let c = 0 + 2. Let i(x) = x**2 - 2. Let s be i(c). Let q be ((-2 - -2)/2)/s. Is q at most -2/5?
False
Let i = 712 - 20646/29. Suppose 0 = -3*r - 0 - 3. Let p be (-1)/2*(r - -3). Which is smaller: i or p?
p
Suppose x = 7 + 8. Suppose -x = h + 5*c, -6*h + 2*h = 2*c + 6. Is -1 smaller than h?
True
Let w = 86 - 604/7. Are w and 102 equal?
False
Let a be 30/(-4)*(-12)/195. Is 0 at most as big as a?
True
Let i be (-18)/(-20) - 14/35. Is i smaller than -0.08?
False
Let i = 14.5 - -0.5. Let p = i - 9. Let y = -5 + p. Is y != -0.2?
True
Let o = -2/141 + -28/235. Are o and -1 unequal?
True
Let r = -1.49 + 0.09. Let o = r - -0.4. Let p be (-16)/(-50)*5/(-2). Which is smaller: p or o?
o
Suppose -1 = -4*x - 4*u + 3*u, 0 = 2*x - 5*u + 27. Which is greater: x or -5/17?
-5/17
Let v be (-4)/34*9/(-117). Which is smaller: v or 0?
0
Let r = -12 - -28. Which is smaller: -2/7 or r?
-2/7
Let g = 0.06 + -11.06. Let j = 10.9 + g. Which is smaller: 2/3 or j?
j
Let o = 8134 + -8059.99. Let j = -75 + o. Let w = j - 0.01. Which is bigger: w or -0.2?
-0.2
Let m(k) = -k**3 - k + 1. Let v be m(0). Let a be 0 + v - (1 + -1). Is a equal to 1/9?
False
Let s be (-2)/4 + 933/10. Let i = s - 92. Let o(m) = 2*m**2 - 1. Let y be o(-1). Is i greater than y?
False
Let n = -73/2 - -404/11. Are n and -1 nonequal?
True
Let j = -88 - -89. Which is bigger: j or 2?
2
Suppose -2*m - 2*s + 22 = 0, -6*s - 5 = -5*m - s. Let c = -88 - -89. Which is greater: m or c?
m
Let n = -11.2 - -2.2. Let g = 5 + n. Let o = -4.3 - g. Which is greater: o or -0.1?
-0.1
Let k = 7 - 9. Let a be (-6)/(-4 - (k + -1)). Is 6 less than a?
False
Let f = 619.87 - 623. Let w = 0.13 + f. Is w equal to -0.1?
False
Let r(t) = -t**3 + 2*t**2 - 1. Let c be r(1). Which is bigger: -1/5 or c?
c
Let t(i) = i**3 - 9*i**2 - 10*i + 2. Let n be t(10). Let q be (-42)/(-22) - n/1. Is -1 > q?
False
Suppose -k - 4*k = -2*n - 72, 0 = 2*n + 3*k + 40. Let y = n - -22. Is -6 <= y?
True
Suppose -3*v = -5*v. Which is smaller: -3/8 or v?
-3/8
Suppose -6 = -w - 2*w. Suppose 0 = o + w + 6. Let h be 2/5 - o/5. Is 2 less than h?
False
Suppose -4*u + 2*u = -2*o - 4, 16 = 3*u + 2*o. Let w be 0 - (0 - (-3)/u). Which is