 k be 1 + (-3 - -2)/(r/15). Which is greater: k or 0?
0
Suppose 0 = -2*b - 2*b, -2*b = r - 80. Let x be r/(-30)*(-3)/(-2). Is x less than -4?
False
Let f = 10 + -7. Let w(n) = 41*n**2 + 1. Let j be w(-1). Suppose 3*o = f*l + 30, 4*o - 5*l = 2 + j. Which is greater: 3 or o?
o
Let p = -36.3 - -38. Let a = -2.9 + p. Is a at least -2?
True
Let h be (-1)/2 - (-247)/38. Suppose -4*v + 22 = 3*b, 2*b - 8 = -v - 0*v. Let a = h - v. Is a at most as big as 0?
False
Suppose 5*b - 24 = 2*j, -5*b + 7*b = 3*j + 14. Let o be -1*(-1 + 3) - -11. Which is smaller: j or o?
j
Suppose -4*w = -w + f - 4, f = -w. Let v be (1 - 1)/(1 - w). Suppose v = -5*h - 0 + 5. Is h greater than or equal to 2/13?
True
Let l = -68/69 + 1. Is l <= -1?
False
Let h = -11163 + 76841/7. Let d = h + 186. Let f(k) = -k - 7. Let q be f(-8). Which is smaller: q or d?
d
Let t = -49 - -23. Let h = t + 25. Do 3 and h have the same value?
False
Let l = -1163 + 1169. Let q(i) = -10*i - 1. Let y be q(1). Let x = 16 + y. Is x smaller than l?
True
Suppose 4*b + 0*b - 20 = 3*m, 0 = 3*m + 5*b - 25. Suppose -5*h - 19 + 79 = m. Suppose 3*j - 2*q - h = -q, -2*q - 4 = -j. Which is smaller: 1 or j?
1
Suppose 0 = a + 4074 - 1829. Which is smaller: a or 0.1?
a
Suppose 0*t + 15 = 3*n + 2*t, 3*n - t = 15. Suppose 2 = s - n. Which is bigger: s or 25/3?
25/3
Let b = -4.3 + -0.2. Let t = 5.5 + b. Let v = -57 + 403/7. Which is smaller: t or v?
v
Let g = -1093.85 - -1094. Let c = 0.25 + -0.3. Let d = c + g. Is 12 greater than or equal to d?
True
Let u = 0.05 - -0.15. Let z = -30.5 + -0.5. Let f = -31.4 - z. Which is smaller: u or f?
f
Suppose p + 3*u + 21 = 3*p, -5*u - 28 = -p. Let b(c) = -c - 2 - c - 2. Let l be b(-3). Which is bigger: l or p?
p
Let g be ((-52)/(-16) - 2)*4. Suppose -v - 11 = -3*q, -4*v - 2 = -4*q + 2. Let z = v - g. Is 1/5 equal to z?
False
Let g = 5/8 + -37/72. Which is smaller: g or 1/3?
g
Let x be -1 - (-3 + 93/(-18)). Let f = 227/30 - x. Which is smaller: 26 or f?
f
Let m = 1732 - 1730. Let g be (-1*2/1)/(-1). Is m >= g?
True
Let v(r) = r**3 - 7*r**2 - 4*r + 16. Let s be v(7). Which is smaller: s or -32/3?
s
Let i be (-2)/4 - (-1 + 4/8). Are i and -1/151 non-equal?
True
Let z(i) be the first derivative of i**2/2 - 18*i - 12. Let l be z(8). Let s be (0 + (-1)/1)*10. Is s > l?
False
Let h = -61 - -63.7. Let j(t) = 1. Let b(f) = -f - 2. Let o(w) = 2*b(w) + 6*j(w). Let a be o(1). Is h > a?
True
Let z = 42 - 130/3. Suppose 26 = 4*r - 2*x, 5*r - 3*x = 8*r - 24. Suppose -5*d + r*d + 4 = 0. Is z smaller than d?
False
Let w be (10 - -24)*(0 - -2). Suppose -2*x + w = -4*x. Is x != -34?
False
Let j = 701/10 - 70. Is j <= -2?
False
Let i = 392 - 391. Let z = 3/223 + 389/4237. Is i <= z?
False
Let k(c) = -c - 2. Let r be k(-14). Let z(g) = -12*g**3 - g - 1. Let b be z(-1). Is r > b?
False
Suppose 6 - 1 = -5*p. Let o be (3 + (p - 2))/1. Which is bigger: o or -0.4?
o
Let f be ((-4)/(-6))/((-8)/(-88)). Let n = f + -8. Let r = 0.2 - -1.1. Are n and r equal?
False
Let h be 10/(-9)*48/20. Suppose 2*a - 6 = 4*u, -7*u - 20 = -4*a - 3*u. Suppose a*b = 3*b + 5*v - 26, 4*v = b + 12. Which is smaller: h or b?
b
Let a = 225 - 357. Do a and -133 have the same value?
False
Suppose 0 = -4*m - 5*v - 21, 5*m = -4*v - 0*v - 24. Let n(h) = -h + 2. Let o be n(-1). Suppose 13 - o = -2*q. Is m equal to q?
False
Let j = -346 - -669/2. Which is greater: j or -12?
j
Suppose -59*c + 20 = -57*c. Let v(w) = 3*w - 30. Let r be v(c). Is r at most -4/9?
False
Let m = 208 - 221. Is 0.1 at most as big as m?
False
Suppose 0 = -2*i + 10 - 2. Suppose -w - 29 = -5*l, -8*w - 56 = -i*w - 5*l. Let v(r) = r**2 - 6*r - 2. Let m be v(4). Is m less than w?
True
Let v be (-3 + 1)*1 - -1. Let x(d) = d - 2. Let t be x(5). Suppose 7 = -t*a - 5. Which is smaller: a or v?
a
Let a = 10309/9 + -1145. Suppose 2*z - 3*b = -5, -2*z = 2*z + b - 25. Let o(l) = l - 5. Let k be o(z). Do k and a have different values?
True
Let a = 0.65 - -4.05. Let t = 0.3 + a. Is t less than 1/2?
False
Suppose 9*a = 10*a + 3, 3*a = c - 718. Which is bigger: 710 or c?
710
Let c(b) = -b - 9. Let q be c(-10). Which is bigger: q or -1.41?
q
Let h(q) = q**3 - 12*q**2 + 21*q - 8. Let r be h(10). Let d be (6*(-3)/30)/(14/r). Is 0 > d?
True
Let s(z) = z - 16. Let j be s(12). Suppose 0 = b + 5*w - 3 - 13, -5*b - 5*w + 20 = 0. Let r be 2/(b - (j + 3)). Is 3 <= r?
False
Let a = 89 + -24. Let b = 38 - a. Is -26 at most as big as b?
False
Let i(m) be the first derivative of -m**3/3 + 2*m**2 + 8*m + 6. Let l be i(6). Let w be (3 + 1)/(l/(-6)). Is w greater than 6?
False
Let v(a) = a + 9. Let q be v(-3). Let o be 0/((-15)/(-5) - q). Let u be (-17)/5 + 2 + 2. Which is smaller: o or u?
o
Let l be -3 - (-3 + (-51)/(-57)). Which is smaller: 0 or l?
l
Let w be 5 + 1 - 5 - (4 - 11). Are w and 8/7 equal?
False
Let d(c) be the second derivative of -c**4/4 + c**2/2 + c. Let k be d(1). Let m = 359/5 - 73. Which is greater: k or m?
m
Let k(v) = -3*v - 3. Let c be k(-2). Suppose 7 = c*h - 2*h. Suppose -q = -3*f - 3, 18*f - 17*f = 4*q - 23. Are h and q equal?
False
Let y = 2062 + -2060.9. Let l = -0.5 + 0.2. Is l bigger than y?
False
Let r(j) = 2*j**3 + 12*j**2 + 7*j - 16. Let b be r(-5). Which is smaller: 12/31 or b?
b
Let f = 55.2 - 55.1. Which is greater: f or -41?
f
Let j(g) = -2*g**3 + 4*g**2 - 14*g + 6. Let s be j(3). Which is greater: -55 or s?
s
Let m(i) = i**3 + 13*i**2 + 34*i + 59. Let n be m(-8). Does n = 106?
False
Let r be 0/(-2 - 0/(-1)). Let k = -11911/12 - -993. Is k at least as big as r?
True
Suppose -r - 10 = -q + 10, -3*r - 3*q - 90 = 0. Let y be (-6)/(-1)*r/10. Which is smaller: y or -17?
-17
Suppose -2*s = 4*b + 408, -3*s + b = -5*s - 417. Let u be ((-4)/(-15))/(s/(-567)). Which is bigger: u or 0?
u
Let u = -1189 - -10853/9. Is 16 at least as big as u?
False
Let y be (1/6)/(-4 + 200/48). Is y < -1/7?
False
Let z be ((2/(-4))/((-2)/(-48)))/(-2). Suppose 2*d - 3*s + s = 94, 0 = 3*d + 3*s - 129. Suppose -z*k + k - d = 0. Is k less than or equal to -9?
True
Let j be 4 - ((-15197)/(-42))/13. Which is smaller: -25 or j?
-25
Let d = 177 - 140. Which is greater: d or 34?
d
Suppose 0 = -6*j + 1069 + 731. Is 300 bigger than j?
False
Let j = -2.53 + -3.47. Which is smaller: 7 or j?
j
Let c(b) = -3*b - 11*b**2 + 8 + 6*b + 13*b**2. Let j be c(6). Let l = -684/7 + j. Which is greater: l or -1?
l
Let n(p) = -p**3 - 7*p**2 - 11*p - 12. Let o be n(-6). Let t be (o/(-45))/((-8)/380). Are t and 21 nonequal?
True
Let z(a) = 4*a + 211. Let w be z(-33). Which is bigger: w or 544/7?
w
Suppose -5*a - 77 = -0*c - 3*c, 3*c - 76 = 4*a. Let f be ((-1)/(-3))/(c/(-18)). Which is smaller: 43 or f?
f
Let w = -117 + 134.6. Let l = 3.6 - w. Let y = l - -13.8. Which is greater: y or -3?
y
Let i = -1/577 - 117121/5770. Is -21 less than i?
True
Let w(j) be the first derivative of -j**4/4 + 3*j**3 - 8*j + 11. Let g be w(9). Is g less than -5?
True
Let y be (-11 - (0 + -3))*1. Let f be (y/(-6))/((-8)/180). Let b be (-2)/3 - 22/f. Is 1 at most b?
False
Let a be (-8)/28 - (-23)/7. Suppose -6*d + a*d + 52 = 4*o, -4 = -o. Is d greater than 12?
False
Let t = 11.6 + 3.4. Let q = 397 + -380. Let y = t - q. Which is bigger: 2 or y?
2
Let l be ((-104)/(-65))/((-506)/(-20)). Does l = 1?
False
Suppose -3*t + 4*f = -11, -2*f = t - 5*f - 12. Let b be (47/(-42))/(-6 + 40/6). Let r = b + 3/7. Which is bigger: t or r?
r
Suppose -40 = -0*n - 5*n. Let x be (-1)/(3276/5644) - -2. Let k = x + 1/117. Does n = k?
False
Let o be (-2)/(-3)*(-108)/8. Which is bigger: -8 or o?
-8
Let s = 265.66 + 13.34. Is s greater than -0.1?
True
Let f be (-2 + -32)/(7 - 5). Let g be (-8)/28 - (0 - 468/(-28)). Is f at most as big as g?
True
Suppose 20*w - 4 = 24*w. Let k be (-1)/(-1)*w/2. Is k <= -2/5?
True
Suppose 0*y - y + 30 = 0. Suppose -4*l - y = 10. Let s = 11 + l. Which is greater: s or 1/3?
s
Let u(v) = -25*v - 235. Let s be u(-9). Suppose -4*n = -7*n. Which is bigger: s or n?
n
Let u = -53/260 + -3/65. Which is smaller: u or -1/8?
u
Suppose a = -4*r + 101, -2*r - 417 = -5*a - 0*r. Let f = -9679/136 + -233/17. Let v = f + a. Do v and 1 have the same value?
False
Let f be (-69)/(-6) + -1 - (-7)/(-14). Suppose 4 = 6*s - f*s. Is -2/49 > s?
True
Let t be 1*(-3)/(-9)*(1 - 7). Suppose 5*m + 16 = 3*m. Let c = m - -7. Are t and c equal?
False
Suppose 5*w - 85 