Suppose 6*v = w*v - 4. Which is bigger: v or 3?
v
Suppose 0 = -5*v - 31 + 1. Let s(x) = x**3 + 25*x**2 + 26*x + 63. Let j be s(-24). Let b be 10/(-36)*v/j. Is b equal to 1?
False
Let c = -434 + 433. Let m = 0.1 + 0.1. Is c at most m?
True
Let w be ((-567)/(-54))/(3/(-32)). Let k = w + 671/6. Is -3 less than or equal to k?
True
Suppose -8*o = -3*o + 10. Let l(z) = -5*z**2 + 2. Let n be l(2). Let p be 140/n + o/9. Which is bigger: p or -9?
p
Let d(p) be the second derivative of -7*p**3/6 - 29*p**2/2 - 5*p. Let u be d(-10). Which is smaller: u or 40?
40
Suppose -2*i + 52*p + 2 = 49*p, 5*p = 4*i - 8. Is 28/5 at least i?
False
Suppose -2 = -v + 4. Let k(o) = 3*o - 2. Suppose 4 = -4*a + 3*b, -8 = -a + 3*a - 3*b. Let j be k(a). Which is bigger: v or j?
v
Let k(p) = -p**2 - 13*p - 37. Let y be k(-5). Let j be 3*8 + (-3)/y. Are 24 and j unequal?
True
Suppose -10 = -5*o + 30*q - 35*q, 5*o = 2*q + 38. Let m = 7 + -5. Is o at least m?
True
Suppose -31 = s + 3*t + t, 0 = -4*t - 12. Let r = -13 - s. Suppose -2*x = 3*i + 18 + r, 4*x = 2*i. Which is greater: i or -7?
i
Suppose -2 = -2*c + 6. Let b be 1*18/6 - (-3 - -1). Suppose c = b*t + 9. Which is smaller: t or -5/6?
t
Suppose -5*s + 3*z = 4*z + 16, 0 = -3*z - 3. Let g = 4/257 + -3357/1028. Do s and g have the same value?
False
Let l = 76 - 97. Let x = 11 + l. Is x at most as big as -12?
False
Let x = -1483 + 48923/33. Let b = x - -499/825. Is 0.1 at most b?
True
Let f be 36/8*6 + 2. Suppose -5*j - f = -4, -2*b - 27 = 5*j. Let n be 2/(-10) - 34/(-120). Which is smaller: b or n?
b
Suppose 0 = -5*x + 1946 + 1154. Suppose x = -12*h + 2*h. Which is smaller: h or -63?
-63
Let d(l) = -47*l + 12. Let t be d(-2). Let k = -105 + t. Which is bigger: 2 or k?
2
Let x = -934 - -6540/7. Let s = -0.03 - 1.97. Is s != x?
True
Let h(t) = 5*t**2 - 29*t + 12. Suppose 2*w - 5*w = 4*z - 23, -z = 5*w - 27. Let o be h(w). Is o bigger than -10?
True
Let t be ((-2)/(-6))/((-3)/(-81)). Suppose -5*w - 140 = -t*w. Let j be (-5)/25 - (-32)/w. Which is greater: 0 or j?
j
Let w be (-1156)/221*(-4)/8. Which is greater: w or 3?
3
Let v = -1.1 + 2.4. Let s = v - -6.7. Let o = 8.4 - s. Which is smaller: o or -0.1?
-0.1
Let b = 177 + -165. Let v be b/20 - 4/(-10). Which is smaller: v or 0?
0
Let g(k) = -k**2 + k - 12. Let q be g(0). Let u be 16/10 + 2/5. Which is bigger: q or u?
u
Let m = 300319/227 - 1323. Let v(i) = i - 2. Let a be v(3). Which is smaller: m or a?
m
Suppose 0 = w + 2*a + 8, -33 = -2*w + 5*a - 4. Suppose w*v + 7 = -39. Let u = -66 + 44. Is u less than or equal to v?
False
Let b be (((-64)/(-20))/8)/(1865/50). Which is greater: 0 or b?
b
Let s = -1882 - -1880.1. Suppose 5*h - 3 = 7. Are s and h equal?
False
Suppose 3659 + 7001 = -26*y. Is -409 less than y?
False
Suppose 0 + 6 = 2*g, 12 = -5*r - g. Let l be (r/9)/((-1)/(-3)). Suppose 5*m = 5 + 25. Are l and m non-equal?
True
Suppose 3*f + 30 = -21. Suppose -4*g - 76 = -0*g - p, -g + 3*p - 19 = 0. Which is smaller: f or g?
g
Let i(d) = -d. Let a be i(1). Let k = a - 2. Let q = 283 - 288. Is k at least q?
True
Suppose 4*f + 118 = -5*v, 4*f - 4*v + 53 = -47. Let w be 2/(-24) + 6/(-9) + 56/112. Is w at most as big as f?
False
Let p = 1258 + -1273. Is p at most -12?
True
Suppose 2*d = -3*d + 10. Suppose d*w - 6*w = 0. Is -2/15 smaller than w?
True
Let b = -11/5 - -73/40. Let w = -50 + 68. Suppose 4*v = 18 - w. Which is smaller: v or b?
b
Let q = -6 + 14. Let f(u) = -u + 11. Let b be f(q). Suppose -b*x = 2*x + 45. Is -8 equal to x?
False
Suppose 5*k - 3*z - 27 = 13, -z = 3*k - 38. Let r be -6*(22/(-12))/k. Does r = 4/37?
False
Let s be (-4)/10*(-217 + -3). Let h(u) = u**3 + 8*u**2 - 11*u - 1. Let k be h(-8). Which is smaller: k or s?
k
Let v = 272/3 + -90. Is v smaller than -30?
False
Suppose -11 = -5*w - 1. Suppose 5*g - 5*t + 6 = 1, -t = -w. Let r be 9/22*(-8)/(-6). Which is greater: g or r?
g
Let s = -285/91 + 23/7. Let y = -31 + 44. Let q = y + -12. Do q and s have the same value?
False
Let k(a) = -7*a - 4. Let d(x) = -6*x - 4. Let g(w) = -4*d(w) + 3*k(w). Let q be g(-4). Let y = -43 - -35. Does q = y?
True
Let q = 4612/5 + -922. Are 8 and q non-equal?
True
Suppose -3*j = 3*w - 36, j - 3*w = w + 12. Let t(n) = -n + 35. Let i be t(j). Is i at most 24?
True
Let g be 1008/(-1813) - 6/(-21). Which is smaller: 0 or g?
g
Let j(u) = u**3 - 4*u**2 - 6*u + 4. Let w(d) = d**2 + d + 4. Let s be w(0). Let v be j(s). Let r be 4/v - (-51)/(-120). Which is bigger: 0 or r?
0
Let r = 9/1493 + 532983/2986. Is r < 179?
True
Let v = -1.071 - -1.171. Which is greater: 3/5 or v?
3/5
Let d(n) be the third derivative of n**5/30 - n**4/24 + 2*n**3/3 - n**2. Let p be d(5). Suppose p = 5*q + 9. Which is greater: 0 or q?
q
Let x(o) = -10*o + 148. Let z be x(14). Is z less than or equal to 8?
True
Let a(f) = 6*f + 44. Let g be a(-6). Suppose -g*u = 11 - 83. Is u not equal to -3?
True
Let x = 26 - 25.78. Let j = x + -0.23. Which is smaller: j or 1?
j
Let c = 5.0711 + 0.1189. Let i = -0.19 + c. Which is smaller: -0.1 or i?
-0.1
Suppose -2*s - 4*r - 194 = -0*s, 3*s + 5*r = -288. Which is bigger: s or -89?
-89
Let j(y) = 4*y**3 - 2*y**2 + y - 2. Suppose 2*m - m = 2*o - 4, -o - 2*m + 2 = 0. Let k be j(o). Which is smaller: 23 or k?
23
Let g(l) = l + 29. Let f be g(-12). Suppose 3*k + 12 = 0, 4*k = q - 0*k - f. Suppose q = 5*c - 9, -8 = -3*n - 4*c. Is n less than or equal to 7/5?
True
Let f = 2567 + -2571. Does f = -35/12?
False
Suppose 0*v - j = -v - 14, -5*v - 86 = 3*j. Let f be 1*(0 - 0 - v). Which is smaller: f or 15?
15
Let x be 1/((-26)/106) - 1. Let s = x - -408/65. Suppose 4*d = u, -18*u + 17*u - 2*d = 0. Is u equal to s?
False
Let b be 7/2*12/7. Let q = 145 + -141. Is q bigger than b?
False
Let z = -1415/33 + 688/11. Let j = 55/3 - z. Is j greater than or equal to -1?
False
Let y = 17701 + -124190/7. Which is bigger: y or -41?
y
Let a be (-2037)/(-12294) - 32/192. Are 0 and a equal?
False
Let y = -47/144 - -5/48. Let k = 5 - 3. Let l = -1 + k. Which is greater: y or l?
l
Let z = -3 + 5. Let n be (5/z)/((-15)/40). Suppose -5*b + 2*x - 26 = 0, -2*b - 10 = -x - 0. Is b equal to n?
False
Let o = -0.06 + 1.06. Let f = -94/5 + 19. Are o and f non-equal?
True
Let b be 28/33 + 2/(-3). Suppose 0 = -9*q + 7*q + 82. Let r = 42 - q. Which is smaller: b or r?
b
Let l = -0.069 - 0.01. Let a = 2.079 + l. Which is smaller: 11 or a?
a
Let s be (-1)/6 + 21015/123498. Let y = 1031469/9148 - s. Let q = y + -112. Is q greater than 0?
True
Let f = 118/39 + -15811/5187. Is -1 equal to f?
False
Let h = 3845339 - 1588125965/413. Let f be ((-8)/6)/((-236)/6). Let d = f + h. Which is smaller: d or -1?
d
Let y = 36 - 32. Suppose 0 = 5*i + 4*w + 11, 2*i - 4*w = y*i + 14. Is -2/41 > i?
False
Let c = -15 + 21. Suppose -3*w = 2*f - 8, -3 - c = -4*w - 3*f. Let j be (-71)/3 + (-2)/w. Are -24 and j equal?
True
Suppose 2*r - 5*r = -69. Suppose q - r = -19. Suppose 0*n - n + 9 = 5*m, -q*n + 17 = m. Do 4/7 and m have the same value?
False
Let h = 0 - 7. Let w(l) = 11*l + 7. Let g(v) = 5*v + 3. Let u(j) = -9*g(j) + 4*w(j). Let b be u(9). Is h smaller than b?
False
Let m = 28 - 20. Suppose 2*i = -a - 5, 2*a - 2 = -m. Let y = i + 4. Which is smaller: y or 2?
2
Let w be 20/(53480/(-7854)) - (-6)/2. Which is greater: -1 or w?
w
Let k(l) = 7*l**3 - 2*l + 1. Let w be k(1). Let q(s) = -s + 27. Let r be q(20). Do r and w have different values?
True
Let q = 2754 + -950128/345. Which is bigger: -1 or q?
q
Let i(s) be the first derivative of s**2/2 + 9*s - 10. Let h be i(-9). Let a be ((-3)/18)/(2/(-8)). Which is smaller: h or a?
h
Let p = -1 - -25. Let s(l) = 1569*l - 6253. Let j be s(4). Which is smaller: j or p?
j
Let z be (-64)/(-20)*198/(-88). Let q = -4 - 3. Which is greater: q or z?
q
Let m = -289013/26 + 11116. Suppose 0 = -5*s + 4*s. Which is bigger: m or s?
m
Let m = -204.08 + 204. Is 1 at least m?
True
Let f = 33 + -33. Suppose f = 9*c - 7*c + 26. Are -15 and c unequal?
True
Let j be 2*75/(-40)*-4. Is 15 > j?
False
Let v(h) = h**2. Suppose 6*n - 5*n + 13 = 0. Let u = n + 12. Let p be v(u). Which is smaller: 2/19 or p?
2/19
Let t = 2481/2 + -1241. Which is bigger: t or -129?
t
Let q be (76/10 - 8)/(3482/(-10)). Which is smaller: 0 or q?
0
Let q be 438 + (-8 - 24/(-6)). Are 434 and q nonequal?
False
Let j = 35.8 + 20.2. Is 2 >= j?
False
Let