l?
True
Let d = -12 + -1. Let o = 13 + d. Is o greater than or equal to 0?
True
Suppose -4*s = 5*f - 10, -5*s = -4*f + 6 - 39. Let j = s + -5. Let w be (-7)/(-3) - 2/1. Which is bigger: j or w?
w
Let s be -3*1/(12/40) + 2. Let p(q) = -2*q + 1. Let h be p(4). Is h < s?
False
Let q be (-46)/(-4) - (-1)/2. Let y = -8 + q. Which is greater: 7 or y?
7
Suppose -19*u - 18 = -17*u. Let j = -10 - -1. Is u greater than or equal to j?
True
Let w be (42/9)/((-4)/6). Is -9 at least as big as w?
False
Let d be 149/(-51) - 6/(-2). Let t = -185/408 + d. Which is smaller: 0 or t?
t
Let k = 109 + -115. Suppose -5*m = -3*v + 30, 4*v + v - 18 = 3*m. Does m = k?
True
Let g be 4/(-46)*(-6)/(-12). Which is greater: 1 or g?
1
Let k be (-2)/(-6)*(-5 + 3). Let f = -6 - -2. Let m = f - -8. Which is smaller: k or m?
k
Let m(n) = -3*n**3 + 17*n**2 + 20*n + 5. Let f(j) = -2*j**3 + 11*j**2 + 13*j + 3. Let t(v) = 8*f(v) - 5*m(v). Let w be t(4). Is -1 less than w?
False
Let s(o) = o**3 - 3*o**2 + o - 3. Let u be s(3). Let q be (-81)/(-5) - 2/10. Let d be q/(-18)*(-3)/12. Which is bigger: d or u?
d
Suppose h = 7 + 1. Let v(l) be the first derivative of -l**3/3 + 4*l**2 + l - 1. Let a be v(h). Is 1 >= a?
True
Let s(b) = b**2 - 6*b + 5. Let m be s(4). Let v(j) = j**3 + 3*j**2 + 2*j + 2. Let a be v(m). Which is greater: a or 0?
0
Let o = -15.42 + 16. Let a = -0.08 + o. Which is bigger: a or -1/2?
a
Suppose -3*t = -7*t. Which is bigger: t or -1?
t
Suppose -2*t + 3*g = -3*t - 2, -5*t + 2*g = 10. Let w = -2 + t. Let q(p) = -p - 3. Let r be q(w). Which is smaller: 0 or r?
0
Let i be 10 + -8 + 2*1. Suppose -i*a - 4 + 24 = 0. Suppose 0 = a*x + 4*s - 36, s + s + 2 = 0. Is 8 smaller than x?
False
Let n be (-6)/4*((-201)/(-45) - 5). Is 0.08 >= n?
False
Let u = 50 + -78. Let r(b) = -b**2 + 8*b - 9. Let h be r(6). Let f be u/63*h/2. Which is smaller: f or -2?
-2
Let y = 1 - 0. Let o = 0.16 + 0.74. Let g = y - o. Do 3/2 and g have the same value?
False
Let c = 3 + -7. Let r = -7 - c. Which is bigger: r or -0.1?
-0.1
Suppose c - 2*c + 23 = -3*k, -2*c + 5*k + 41 = 0. Let f = 0 - 8. Let y = c + f. Which is smaller: y or -2/19?
-2/19
Let l = 0.24 + 0.36. Let i = l - 1.6. Which is smaller: i or -16?
-16
Suppose -802 + 178 = 8*w. Is w <= -78?
True
Let q(b) = -2*b - 1. Let c be q(-2). Suppose -s = i, -c*i + 0*s - s = -4. Let a be i/(-7) + (-27)/(-21). Is -2/9 != a?
True
Let l be 2*6/8 + -1. Is l at most -0.04?
False
Suppose m = -3*m + 20. Let b = m - 4. Which is greater: b or 2?
2
Let j(l) = -l**2 - 6*l - 4. Let n be j(-5). Let k = n + 10. Suppose -2*t + 11 = 3*c + 1, 3*t = 2*c - k. Is 0 less than or equal to t?
False
Let n be -7 + 0/3 + 2. Let q be ((-614)/n)/((-7)/(-10)). Let z = -175 + q. Is z less than or equal to 1?
True
Suppose -4*p = p + 5*v + 5, -3*p - 3 = -3*v. Is p at least as big as 2/21?
False
Let g be (2 + -2)*(-9)/(-18). Which is smaller: 1 or g?
g
Let h = -3/20 - 8/5. Suppose -2*p + 3*i + 4 = -3, p + 5*i = -16. Which is smaller: h or p?
h
Suppose 5*t = 0, q + 5*t = 55 + 78. Let v = -24287 - -122103/5. Let f = v - q. Do f and 0 have the same value?
False
Suppose -1 = 2*p - 15. Suppose -p = -2*h - 1. Let g be h/(-4) + (-2)/8. Is g at most as big as -1?
True
Let u = -0.18 + 1.98. Let a = u - -0.2. Which is smaller: a or -1/3?
-1/3
Let i(v) = v - 8. Let w be i(8). Suppose 2*f = p - 2, 4*p - p = w. Is 2/13 greater than f?
True
Let k = -3 - -4. Which is smaller: 3/10 or k?
3/10
Suppose 33 = 4*q - q + 3*j, 8 = 2*j. Suppose -5*u - 3*c + q = 0, -2*c - 2*c = 2*u - 14. Which is smaller: u or -3/7?
u
Suppose -1 = 3*o - 2*o - 3*y, 4*o - 26 = 2*y. Suppose 5*k - 2*k - 8 = -2*c, 2*c = 3*k + o. Is c smaller than 4?
False
Let j = 1.3 - 1.6. Which is smaller: j or 4?
j
Let j(v) = -9*v - 6. Suppose 4*y - 16 = -c + 2*y, -2*c - y + 17 = 0. Let t be j(c). Let m be (-7)/((-189)/t) - -2. Which is smaller: m or 1?
m
Suppose -9 = 4*v + 5*g - 2, -3*g = 4*v + 1. Let y = -3 + v. Let t be 0 - (5 - (6 - 2)). Are y and t unequal?
False
Let k be (-3)/(4/((-24)/(-9))). Let m be (k/5)/((-2)/(-10)). Let f be (-1 + 0)*m/7. Which is bigger: 1 or f?
1
Suppose -30*l + 550 = -19*l. Is l at least as big as 50?
True
Let y = 11 + -6. Let p(b) = -b**3 + 4*b**2 + 4*b + 7. Let g be p(y). Suppose -2*l + g = -0. Is l >= -2?
True
Let t = -712 - -1069. Let d be (t/6)/((-9)/(-2)). Let p = -13 + d. Are p and 0 nonequal?
True
Let r = -5 - -10. Suppose 4*s = r*p + 40, -2*s - 4*p = -9*p - 30. Which is greater: 6 or s?
6
Let j(r) = -2*r - 10. Let t be j(-5). Let f be 5 + 2/(-1 - 1). Let w = t - f. Do w and -5 have different values?
True
Let r(j) = -j**3 - 17*j**2 - 2*j - 32. Let a be r(-17). Which is smaller: -4 or a?
-4
Let g = -0.1 - 5.9. Let w = -5.4 - -0.4. Let d = g - w. Which is bigger: 0 or d?
0
Suppose -2*f = 2*f. Suppose -4*s - m = 1, -2*s - 4 = 4*m - f. Which is smaller: s or 2/9?
s
Suppose -3*h + 8*h + 5 = 0. Let p be 0*2/6*h. Is -6/7 at least as big as p?
False
Let j = -97/2 - -48. Let c = 1.7 + -0.8. Let a = 1 - c. Is j >= a?
False
Let n be 8/(-16) + 1/2. Suppose -h = -4*l - 3*h, n = l - h. Which is smaller: -5 or l?
-5
Suppose -i + 5*v + 23 = -2*i, -3*i - 3*v - 33 = 0. Let k = i - -4. Is -5 smaller than k?
True
Suppose -13*a + 17*a - 4 = 0. Is -3 not equal to a?
True
Let k be (3/18)/((-4)/32). Is k greater than -1?
False
Let w be 1/(-2)*82/36. Let q = -8/9 - w. Which is bigger: 3 or q?
3
Let p(w) = -w**2 + 1. Let j(d) = d**3 - 5*d**2 + 9*d + 4. Let b(m) = -j(m) - 5*p(m). Let c be b(9). Which is bigger: -10 or c?
c
Let o = -2.4 - 0. Let q = 0.6 - o. Is -1 >= q?
False
Let c = 3 - 3. Let b(u) be the first derivative of 3*u**2/2 + 2*u + 2. Let t be b(-3). Which is bigger: c or t?
c
Let v(k) = -k**2 + 5*k + 6. Let s be v(5). Is s >= 8?
False
Let l = -19 + 14. Is l smaller than -5?
False
Suppose h = -2*h. Are -1/7 and h equal?
False
Let w = 13/70 - -3/14. Which is smaller: w or 0.1?
0.1
Let w be (78/65)/((-2)/20). Is -14 equal to w?
False
Suppose -5*k + 31 = 3*z, -2*z + 2 = -k + 3. Let m be (z - 2)*1/2. Let n be m + (-2 - -3)*2. Which is smaller: n or 1/2?
1/2
Let w = -9 - -5. Is w greater than or equal to -5/2?
False
Suppose 4*l - g - 4*g - 77 = 0, -4*l - 4*g = -68. Suppose 2*b - b + 4*o - l = 0, 3*b + 2*o = 14. Which is greater: 0 or b?
b
Suppose 3 = b - 4*m - 1, -2*m = 0. Suppose -5*z - 4 = -b*j, 3*j + 2*j - 5 = -4*z. Is z equal to 1?
False
Let z(c) = -2*c - 20. Let a be z(-10). Which is greater: 5/4 or a?
5/4
Suppose 2*x + 15 = -3*x. Let p be 1/2*-2 + -3. Is p >= x?
False
Let r be (-16)/(-32) - (-1)/(-2). Let x(p) = -p**3 + p**2 + 1. Let f be x(r). Does f = 4/3?
False
Suppose -4*k + 2*w = -w - 7, 5*k + 3*w = 29. Suppose -3*z = 5*p, -k*p - z = -0*z. Suppose -2*f + 3*f = p. Is f less than -2?
False
Let q be (-115)/(-1)*14/35. Is -1 < q?
True
Let z = -3.06 + 0.06. Let i = z - -4. Let h = i - 0. Which is smaller: h or 0.3?
0.3
Let u be (-21)/14 + (-15)/(-6). Which is smaller: 2/43 or u?
2/43
Let m = 8/33 - -1/11. Let p = 0.4 + 3.6. Let v = -2 + p. Which is bigger: m or v?
v
Let p(o) = -2*o**2 + 1. Suppose -20 = -4*z - 5*x, 0*z + 20 = 4*z - 2*x. Suppose 3 = -z*i - 2. Let j be p(i). Is j >= -1?
True
Let z be 204/130 + (-52)/65. Which is greater: 1 or z?
1
Suppose 0 = -4*x, 4*s + 3*x = -x + 96. Which is bigger: 23 or s?
s
Suppose 5*j + 0*j = -5*p - 15, 3*j = 5*p - 1. Let q be (j - -1)/((-2)/(-6)). Is -4 smaller than q?
True
Suppose 3*x - o + 11 = 0, 0 = -3*x + 4*x - 4*o. Let g be 0*(6/x - -1). Is 0 smaller than g?
False
Suppose -3*h - 4 = -h. Let z(q) = -q - 5. Let c = 2 + -6. Let n be z(c). Are h and n nonequal?
True
Suppose 4*f + 2 = -10. Suppose 4*x + 2*o - 46 = 0, 0 = 3*x - 4*o + 2*o - 17. Let a = x - 13. Do f and a have different values?
True
Let m(z) = z**3 + 14*z**2 + 16*z + 28. Let n be m(-13). Is -1/4 at least n?
True
Let v = -17 + 17. Is 2/3 < v?
False
Let t be 1*(-4)/(-2)*-6. Let o be -2*(-9)/t - 1. Let s be (-2)/3 + (-24)/18. Which is greater: o or s?
s
Let u = -2 + 1. Let o be ((-3*1)/(-3))/u. Let s = -75 - -227/3. Is o <= s?
True
Let h be 1*(2 - (-976)/(-492)). Which is smaller: h or -1?
-1
Suppose m + 0 = -12. Is m at least as big as -12?
True
Let p = -444/7 + 190/3. Are -1 and p unequal?
True
Let d be 2/4 - 683/2. Let y be 118/(-4)*161/14. Let l = d - y. Is -1 equal to l?
False
Suppose 3*h - 60 = n, -8*n + 4*n = 0.