v, -3*h + 14 = -3*k + 5*k. Which is smaller: 2 or h?
2
Let p = -4 + 0.1. Let b = -1.86 - -4.76. Let l = p + b. Is -2/9 greater than or equal to l?
True
Let z = -702.99 + 706. Let n = z - 0.01. Let s = 2510 - 12551/5. Is s less than n?
True
Suppose 3*b + k + 2*k = 15, 5*k = b + 7. Let h = 6 - 4. Suppose -30 = 2*f + 2*q, -26 = h*f + 6*q - b*q. Does -20 = f?
False
Let f be 1/2 + 2 + -3. Let j(w) = w**3 - 4*w**2 + 2*w + 2. Let c = 10 + -8. Let h be j(c). Is f less than or equal to h?
False
Let p be 525/70 - (-1 + 3)/4. Suppose -p*f - 48 = 85. Which is bigger: -16 or f?
-16
Let q = 13 - 40. Is 6 greater than or equal to q?
True
Suppose 0 = 4*c - 74 - 30. Let i(q) = -q**3 + 11*q**2 - 4*q + 8. Let r be i(11). Let k be ((-1)/c)/((-3)/r). Is k > 1?
False
Let g(q) = 43*q + 2. Let m be g(8). Suppose -2*r = -3*u + u + m, 4*u = 3*r + 687. Let p be 32/u*(-7)/(-6). Is 1 at most as big as p?
False
Let r(d) be the third derivative of -d**6/120 + d**5/10 - d**4/6 - d**3 + 2*d**2. Let j = 1 + 4. Let c be r(j). Is c equal to 7?
False
Suppose 3*s - 6*g + 5*g = 18, -5*g = -s + 20. Which is greater: 25/6 or s?
s
Let f be (-6)/2 + (-1636)/(-544). Let h = -142 - -143. Which is bigger: h or f?
h
Let f = -112 - -111. Which is smaller: -9/25 or f?
f
Suppose -q = -2*y - 89, -2*y = -7 + 3. Which is greater: q or 92?
q
Let n = -5214 + 2888557/554. Is n greater than 1?
False
Let a(g) = g**3 + 3*g**2 + g - 4. Let t be a(-3). Let q = -48 + 63. Suppose -j = -8 + q. Are t and j nonequal?
False
Suppose 3*b + 4 = -4*c - 0*c, -5*b - 20 = 0. Suppose 6*d - 3*d = -3*r + 21, c*d - 9 = 3*r. Suppose -d = -p + 2*u, 2*p + 3 = 3*p - u. Is 1/7 smaller than p?
False
Let q(l) = l**2 - 4*l - 2. Let j(c) = c**3 + 8*c**2 + 2*c + 11. Let h be j(-8). Let i = h - -9. Let b be q(i). Which is smaller: b or 0?
b
Let t = 6 + -4. Suppose -8*b = -42 + t. Is b less than or equal to 5?
True
Let f(w) = -58*w - 8. Let i be f(-6). Suppose 8 = -4*x + i. Suppose -5*u - 13 = -x. Which is greater: 15 or u?
15
Let q = 11 + -10. Let g(f) = -f**2 - 8*f - 5. Let c be g(-8). Let x be c/((-4)/q - -3). Which is smaller: x or 3?
3
Let b = -0.1 + 0. Let s = b + 0.2. Let d = s - 0. Is 0 smaller than d?
True
Let a = -114 - -113. Let p = 3615 - 574783/159. Let l = -988/2703 + p. Which is bigger: l or a?
l
Let z = 1 - -2.5. Let j = -14.6 + 11.2. Let o = j + z. Which is smaller: 1/12 or o?
1/12
Suppose -8*r - 2114 = -1978. Is r bigger than -146/9?
False
Let q be 4 + -4 - (-5 - (2 + -5)). Suppose -2*i - 8 = -3*r, -5*i - 3*r - q*r + 5 = 0. Which is greater: i or -3/2?
i
Let k be ((-8)/24)/(4/24). Is 48 >= k?
True
Let w = -97 + 65. Let y be (186/(-24))/((-2)/(-8)). Is w greater than y?
False
Let z = -1.29 + -2.71. Which is smaller: z or 0.02?
z
Suppose -b + 2 = -2, -2*w = 3*b - 150. Let a = 60 - w. Is -14 >= a?
False
Suppose -2*v = 3*y + 5, 3*v = -5*y - 26 + 19. Is -7/17 not equal to y?
True
Let f = 34 - 30. Let s = 5 - f. Is -3/10 bigger than s?
False
Let l = 1 + -10. Let i be 0/(l/3) - -2. Suppose -5*y = -7*y - i. Which is bigger: -3/11 or y?
-3/11
Let i = 31 + -40. Let n(k) = k**2 + 10*k + 9. Let d be n(i). Which is bigger: -2/51 or d?
d
Suppose 5*o - 36 = 4*o + 5*a, 4*o + 4*a = 48. Let y be (15/(-4))/((-4)/o). Which is smaller: 102/7 or y?
102/7
Let z = 9326/25 + -373. Let m = 0.3 - 0.2. Is m not equal to z?
True
Suppose 13*o + 0 - 13 = 0. Is o <= 1/269?
False
Let o = -64 - -28. Let h = o + 35.9. Does -11/5 = h?
False
Suppose -4 + 8 = 4*d. Let p be 5666/(-2678) + (3 - 1). Let w = 4/103 + p. Which is smaller: d or w?
w
Let l(z) = z**3 - 38*z**2 - 167*z - 2. Let x be l(42). Is x > -14/5?
True
Let o be (-2)/(28/(-858)) - 4/14. Is 61 > o?
False
Let l = 44 + -45. Which is bigger: l or -166/5?
l
Let s(r) = -3*r - 4. Let m be s(-3). Suppose -6 = m*a - 8*a. Is a bigger than 0?
True
Suppose 0 = 5*h - 0*h. Suppose -4*b + h*x - x - 4 = 0, 12 = 4*b + 5*x. Is b at least as big as 0?
False
Suppose -4*d - 8 = x + 1, 5*x + 28 = -3*d. Let h be d - -1 - (111/(-21) + 5). Is 1/3 equal to h?
False
Let a = 29/11 + -236/77. Let p(v) = 2*v**2 + 4*v - 5. Let f be p(1). Is a equal to f?
False
Let m = -3/329 - 1627/1974. Suppose -5*n + 3*n = 0. Suppose n*g = -3*g. Is m at least g?
False
Suppose o + 3*m + m = 14, -5*o = m - 13. Let c be 7 - (-5 + -3 + 12). Let d be 1/c + 14/3 + -2. Is o != d?
True
Let l = -462.3 + 433. Which is smaller: 1 or l?
l
Suppose -9*j - 4 = -5*j. Let l be ((-2)/3)/(j/3). Do -3 and l have the same value?
False
Let p = 0.34 - 0.04. Let b be (-375)/7 + 27/(-63). Let f = -52 - b. Are p and f unequal?
True
Let p be (10/(-15))/((-5150)/6). Let m = -29353/2575 - p. Let y = m + 394/35. Is y greater than or equal to -1?
True
Let i = -121 + 121.4. Is i > 4/27?
True
Let p(b) = 2*b**2 + 1 - 2*b - 2*b**2 - 5*b**3. Let w be p(1). Let o be 4*-2 - (-3)/(2 - 1). Which is bigger: o or w?
o
Let f = -19 + 8. Let j = 10 + f. Let b be 20/(-7 + 3)*j. Which is greater: b or 4?
b
Suppose 2*d - 4 = 0, 3*d - 434 = 4*f + 4*d. Is -107 at most as big as f?
False
Let v = -3/5 + 41/85. Which is smaller: v or 2/9?
v
Let o = -6/43 - 13/215. Which is greater: o or -0.1?
-0.1
Let v = -28 - -11. Let q be (-640)/35 + (-4)/(-14). Is v less than or equal to q?
False
Let k = 3 + 2. Suppose -5*x + 2*q = -4, x - k = -0*x - q. Let n be x - 2/4*2. Is n at least as big as 6/13?
True
Let y = -20.0397 + 0.0397. Which is smaller: -6 or y?
y
Let q = -2 - -20. Suppose 13*d = q*d. Which is smaller: -5/17 or d?
-5/17
Let j(g) = 3*g + 67. Let u be j(-21). Suppose 4*f = -3*h + 3*f + 47, u*h - 4*f = 52. Is 15 at least h?
True
Let d be 5*(3/(-50))/((-6)/56). Let h = 8 - 4. Is d bigger than h?
False
Let z = -29/12 + 287/132. Which is bigger: z or 0?
0
Suppose -9*x + 6*x = -540. Suppose 9*c = 4*c - x. Let m = -40 + 4. Does m = c?
True
Let j be 1*1477/(-3675) + (-4)/(-12). Which is greater: -1 or j?
j
Suppose -3*g + 555 + 770 = 4*v, 4*g - 1766 = -5*v. Let h = g + -849/2. Does h = 14?
False
Let q = 78 - 78. Let b be (6/9)/((-245)/(-21)). Is b < q?
False
Let h(t) be the third derivative of -t**4/4 + t**3/2 - 3*t**2. Let y(p) = p**3 - 11*p**2 - 13*p + 15. Let o be y(12). Let b be h(o). Is b less than -16?
False
Let p be (-418)/(-8) - (-4)/(-16). Suppose 0 = -4*o - 2*t + 32, 3*o + 18 = -4*t + p. Let h = 7 - o. Do 2 and h have different values?
True
Suppose -4*g + 8 = -0. Suppose 3*p - 26 = -5*a, g*p + p + 2*a = 23. Let l = -8 + p. Are -5 and l equal?
False
Suppose -2*s = -0*s - 8. Let a be (-12)/1042*((-55)/(-15) - 3). Let c = a + 6789/2084. Is c equal to s?
False
Let m = -9 - -6. Let t = -15 - -7. Is m greater than t?
True
Let l = -18.1 + 17. Let b = 0.1 + l. Let z = 5.12 + -0.12. Which is bigger: z or b?
z
Let o be (-10)/9 + (1 - 1). Are 5 and o equal?
False
Suppose -3*w - 1 - 2 = 0. Let d = 6/25 + -1729/7100. Let o = -1985/852 + d. Which is bigger: w or o?
w
Let m(n) = -n**2 - 5*n + 2. Let w be m(-5). Let t(y) = y - 2*y + w*y - 16. Let c be t(12). Which is bigger: c or -1?
-1
Suppose 5*c = -3*m - 61, -5*c - 58 = -m + 5*m. Let x be (-5 + (-14)/(-4))*52/6. Is x greater than c?
True
Let a = -28 - -27.89. Let q = 5.11 + a. Let n = q + -5.2. Which is smaller: n or 3?
n
Let y = -0.972 - 5.928. Which is greater: y or 4/9?
4/9
Let n be ((-30)/(-910))/((-2)/(-14)). Let x(m) = -m**3 + m**2 + m + 4. Let a be x(0). Suppose 2*u - u = -w, 0 = a*u - 5*w - 9. Which is bigger: n or u?
u
Let m = 80 + -44. Let x be ((-4)/m)/(1/(-3)). Let c = -2 - -1. Which is smaller: c or x?
c
Let i = 383.1 + -410. Let r = i - -28. Let t = r + -1. Do -9 and t have different values?
True
Suppose -4*s - 35 + 7 = 0. Let y be (7/28)/((-1)/(-12)). Suppose -y*p - 17 = 4. Is p not equal to s?
False
Let v = 244 + -346. Is v at most as big as -102?
True
Let d = -60 - -34. Let k = -487 + 504. Let s = d + k. Is s < 1?
True
Let z = -0.1 - -3.1. Let m = -3.3 + z. Let p = -0.1 - m. Are p and -3 equal?
False
Let s(v) = -v**2 - v - 5. Let g be s(8). Let h be ((-1806)/g)/(8/74). Let k = h + -217. Which is greater: -1 or k?
k
Let s(h) = -h - 3. Let g be s(6). Let d(q) = -3*q + 4*q - 9 - 2*q. Let t be d(0). Do g and t have the same value?
True
Let k = 20 - 26. Let l be k/(-4)*144/(-27). Let m be l/21*(-3)/2. Which is bigger: m or 2?
2
Suppose 116 = 3*v - 4*j, 0 = -3*v - 2*v - j + 155. Let f be 6 + (24/v)/(1/(-4)). Is f bigger than 4?
Fal