Let n = -18.4 + 18. Which is bigger: -5/16 or n?
-5/16
Let h(v) = -2*v - 10. Let w be h(-7). Suppose 1 + w = -5*k. Let a be k - (-1 - 1) - -3. Is 4 at least as big as a?
True
Suppose 5*s = 25 - 5. Suppose 0 = -n + s*n. Suppose n = -0*q + q - 3. Which is smaller: q or 2?
2
Let t(r) = r**2 - 10. Let o be t(3). Which is smaller: -1/2077 or o?
o
Suppose 243*q = 239*q - 48. Suppose 2*a + 34 = -2*j, -j + 2 = -2*j + 4*a. Which is greater: q or j?
q
Let u be 5*6/4*70/105. Let a be 1 - ((-11)/u + (-3)/(-15)). Is 2 >= a?
False
Let x = 57/1738 + 1/79. Let t = 863/16 + -218171/4048. Let w = x + t. Is 2 bigger than w?
True
Suppose -5*f + 0*f = -5*b - 220, 3*b - 5*f = -142. Let c = b - -196/5. Suppose 2*y - 3*v + 8 = -v, -3 = -v. Which is smaller: y or c?
y
Let h be (-1 - -2)*(-60)/(-6). Suppose y - 4*m + 10 = 0, 0 = 3*m + 2*m - h. Let f(n) = n**3 - 6*n**2 + 4*n + 1. Let s be f(5). Is y <= s?
False
Let w = 0.3 + 5.7. Let b = w + -20. Let l = 15 + b. Is -3 at most l?
True
Let u be -6*(1/2 + -1). Suppose u*m + 12 = 18. Suppose -g - g + 3*z = 5, -z - m = 3*g. Are g and 1/18 equal?
False
Let z(j) = -j**3 - 24*j**2 - 23*j - 23. Let v be z(-23). Is v != -20?
True
Let s(m) be the third derivative of m**6/30 - m**5/60 + 5*m**4/24 - 2*m**3/3 - 5*m**2. Let g be s(1). Which is bigger: 1 or g?
g
Let d(m) = -27*m - 140. Let z be d(-5). Which is smaller: -25/6 or z?
z
Let l(c) = c**3 + 2*c**2 - 2. Let m be l(-1). Is m >= 3/259?
False
Let x = 3.77 + -0.57. Let f = 3 - x. Is f >= -2/31?
False
Let d = 17 - 5. Suppose -5 = m + 2*c, m + d = -5*c + 1. Let u = -2 - -1.8. Is u <= m?
False
Let l = -15 - -25. Let x be (-15)/l*(-2)/84. Suppose 0 = -2*w - 4*r, -2*w - 3*w + r = 0. Which is smaller: w or x?
w
Let j = 1.001 - -1.123. Let g = j + -0.074. Let h = g - 0.05. Which is smaller: -2/5 or h?
-2/5
Let p(l) = -8*l**2 - 152*l. Let r be p(-19). Which is smaller: 2/163 or r?
r
Let b be (-6 - 1220)/((16/(-2))/4). Is 613 bigger than b?
False
Let s = -201 + 132. Let w = -66 - s. Do -7/5 and w have the same value?
False
Let c = -20.6 - -2.6. Let l = c + 18.05. Is 3 less than or equal to l?
False
Let d = 5.29 - 5.09. Let a = -9.06 - -12. Let q = 0.06 + a. Is q not equal to d?
True
Let d be 378/(-81) - 4/3. Are -11 and d non-equal?
True
Let n(i) = 4*i - 9. Let h be n(-2). Do h and 6 have the same value?
False
Let s = -1237 - -1573. Which is greater: s or 338?
338
Suppose 50 = 53*s - 3. Suppose 185 - 25 = l. Let o be l/(-258) + (-4)/(-6). Which is greater: o or s?
s
Let v = -80/693 + 1/231. Which is smaller: v or 0?
v
Let v = 0.8 - -0.2. Let s be 13 - (15 - (7 - -5)). Is s greater than or equal to v?
True
Let p = -1722 - -1728. Which is greater: 80 or p?
80
Let k(s) = -s**3 + 22*s**2 - 3*s + 41. Let x be k(22). Is x bigger than -28?
True
Suppose -3*u - 590 - 774 = 2*r, 2*u - 2*r + 906 = 0. Is -454 smaller than u?
False
Suppose -w + 2*r - 16 = 0, 3 = 2*w + 4*r - r. Suppose -2*l + 11 = -21. Suppose -l = 5*s - s - 3*v, 4*v - 20 = 4*s. Is w smaller than s?
True
Let l = -92 - -92. Is l less than 331?
True
Let l be (2*(-1)/(-2))/(2/14). Suppose 3*i = 17 - 2. Suppose l - i = 2*x. Which is greater: x or 1/10?
x
Suppose 5*o + 0*h - 284 = -2*h, h = 2*o - 119. Let c = o + -53. Is c > 5?
False
Let b be 80/(-7) + 1 + -1. Let c = -0.1707 + 0.1707. Which is greater: c or b?
c
Let r be (1 - 1)/(-1 + 0) + 0. Suppose r = -20*d + 5*d + 45. Which is bigger: 17/4 or d?
17/4
Let x = 21.35 - 21.31. Which is smaller: -23 or x?
-23
Let c = 11.2 - 29.9. Let l = -19 - c. Is 6 equal to l?
False
Let o be 2/((-6)/(-183)) - 4. Is o not equal to -1?
True
Let f = 2 - 3. Let i = 42 - 41. Let q(l) = -4*l**3 + l**2 - 2*l + 2. Let v be q(i). Is f > v?
True
Let b(c) = c**3 + 16*c**2 + 13*c - 16. Let p be b(-15). Suppose -p = 3*f - 23. Are 1/2 and f equal?
False
Suppose -13*z = 169 + 520. Is -51 greater than z?
True
Suppose -b + 13 = -0*f + 5*f, -5*b - 16 = -2*f. Suppose -f + 2 = -h. Let z be -3 - -3 - h/(-4). Which is smaller: -8 or z?
-8
Let f be 226/12 + (-16)/(-12). Is 21 smaller than f?
False
Let b(i) = -i**2 - 7*i - 7. Let k be b(-5). Let p be ((-1)/(-3))/(k/9). Let d be 0 - (-2 + 0/(-3)). Is d smaller than p?
False
Let y be (-12)/(-30) + 344/(-910). Let n = -1054/1729 - y. Is n > 0?
False
Let v = -667 + 761. Which is greater: v or 0?
v
Let h = 1/11 - -53/22. Let t be -2 - ((-21)/3 - -3). Is h != t?
True
Let o = -245 + 244.9. Let j = 11/4 + -47/20. Are j and o unequal?
True
Let m be ((-2)/2)/((-15)/(-60)). Suppose 3*i + 75 = -3*q, 62 = 2*i - 4*i + q. Let y = i - -27. Which is greater: y or m?
y
Suppose c = -5*j + 120, j = 3*c + 6*j - 330. Which is greater: 106 or c?
106
Let b = -1.71 + -3.29. Is b at least 25?
False
Let j be 6/(-9)*(-19 - -1). Let i be (-402)/(-30) + 4/(-10). Let k = j - i. Is k equal to 2/27?
False
Let u(n) = -22*n**3 - 2*n + 1 + 2*n + n. Let f be u(-1). Suppose -3*a = -8 - f. Which is smaller: a or 11?
a
Let l = -1524.9 - -1525. Is l smaller than 1/5?
True
Let x(q) = q**3 + 5*q**2 + 4*q - 2. Let c be x(-4). Let t = c + 1. Let i be 6 + 0 + (2 - 314/40). Which is smaller: i or t?
t
Let w(c) = 2*c - 8. Let l be w(8). Let d = l - 15. Let o be (-1)/((d - 4)*-1). Which is greater: 0 or o?
0
Let g be 178233/(-25443) - (-10 - -3). Which is smaller: g or 1?
g
Let j be 93/(-12) + (-2)/8. Let h(n) = -n**2 - n. Let i be h(-1). Is i smaller than j?
False
Let y = 869 - 869.09. Which is greater: y or 2?
2
Let p = 59749/69 + -41/69. Let v = p + -887. Is v bigger than -22?
True
Suppose -6*x - 121 = 5*s - 4*x, -s = -x + 20. Is s at most as big as -119/5?
False
Let m = -287/40 - -14/5. Let k be 1*-1 - 150/75. Are m and k equal?
False
Suppose -6 = 28*n - 25*n. Suppose 2*x = 3*x. Suppose 3*p + p = x. Which is greater: p or n?
p
Suppose -4*d = -5*y - 2*d - 403, -3*y = 2*d + 245. Let x be (-3 - (-6)/4) + y/2. Which is smaller: -40 or x?
x
Let b be 6 + -68 + 3*1. Let x = 109 + b. Is x at most as big as 50?
True
Let g(z) = z**2 - 11*z + 21. Let h be g(7). Let v(n) = n**3 + 7*n**2 - 2*n - 14. Let u be v(h). Is u > -1/57?
True
Let u = 33.8 + -35.38. Is u bigger than -1/4?
False
Let j(t) = -3*t**2 - 8*t - 9. Let a(p) = p**2 + p. Let h(g) = 2*a(g) + j(g). Let r be h(-7). Are r and -15 equal?
False
Let p = 5 - -6. Let w = p + -16. Let d = w + 6. Is -3/7 >= d?
False
Let h be (3/(15/(-2)))/(98/140). Which is bigger: -3 or h?
h
Suppose 2*b = 4*b - 4. Let o = -1 + b. Suppose -3*d = 4 - o. Is d not equal to 1/6?
True
Let s = 0.4 + -0.3. Let m = 56 - 39. Let q = 17 - m. Which is bigger: s or q?
s
Suppose -10 = o + 2. Let s be ((-4)/5)/(4/58). Which is smaller: o or s?
o
Let p(i) = 9*i + 8. Let g be p(3). Let m = g + -33. Suppose 3*s + 5 + 1 = 0. Is s <= m?
True
Let c be 0/1*2/(-4). Suppose 0*r + 3*r - 60 = 3*f, c = 2*f + 4*r + 34. Let o = 153 + -1069/7. Which is smaller: f or o?
f
Let p = 1 + 3. Let c(r) = -r**3 + 3*r**2 + 7*r - 7. Let s be c(p). Suppose 0 = s*l + 8 + 82. Is -0.1 greater than l?
True
Let x = -50 - -215. Which is bigger: x or -0.1?
x
Let h(r) be the first derivative of -3*r**2/2 - 41*r + 48. Let s be h(-11). Suppose 3*i + 30 = 9. Which is bigger: s or i?
i
Let n = -10 + 21. Suppose -n*t - 80 = -6*t. Let m be (-12)/t + (-1)/4. Which is bigger: m or 0?
m
Let j be (-14)/(-6) + 32/(-24). Let t be 36/(-2)*(-28)/21. Suppose 3 - t = -4*h + 3*q, -q = 3*h - 6. Which is smaller: h or j?
j
Suppose 7*d - 8*d + 6 = 0. Suppose 3*m = 2*n - n - d, 3*m = 3*n - 12. Let g be (-10)/(m*(1 + 1)). Which is smaller: 7 or g?
g
Let h(d) = -d - 2. Let n be h(-2). Suppose 6*b - 1 - 17 = 0. Let f be (-7)/(357/48) - b/(-3). Is n equal to f?
False
Let k(j) = -j**3 + 4*j**2 + 15*j - 8. Let d be k(6). Let s be ((-88)/18 - -1)*(-4)/d. Is s at most -2/7?
False
Let f(c) = -8*c - 8. Let r be f(-7). Suppose 4*h + u + 3*u = -r, -h + 5*u = 24. Let z be (-114)/h + (-2)/14. Which is bigger: z or 7?
z
Suppose 23*x = 226 + 119. Let d(l) = l**2 + l + 14. Let r be d(0). Is r at least as big as x?
False
Let x = -19 - -31. Suppose x*n - 10*n = -6. Let g be (-2)/1 + 6/(-4). Which is bigger: n or g?
n
Let r = -736/13 - -6806/117. Is -27 not equal to r?
True
Let a be 4/10 - (-12)/45*81. Is 32 greater than a?
True
Let n(f) = f**2 - 3*f + 6. Let s be n(-5). Let y be (0 - s/(-3)) + 16/24. Is 12 > y?
False
Suppose -6 = 2*j - u, -4*j + 71*u + 16 = 76*u. Is j at most as big