 = -60*m - 30. Let s(h) = 2*t(h) + 21*x(h). Let a be s(-4). Let v be a/18*2/14. Is v at most as big as 1?
True
Suppose 2*n + 0 = 10. Let p be (3 + -3)/(n + -3). Are -2/25 and p equal?
False
Let s be (-16)/(-3) - 4/(-6). Let h be ((-4)/s)/((-4)/(-3)). Is h smaller than -2?
False
Suppose 5*y - 3 = 2*y. Is y bigger than 2?
False
Let m = -74 - -73.9. Which is greater: m or 5/7?
5/7
Suppose -l + 4*t + 12 = 3*l, -5*t + 9 = 3*l. Suppose 2*o + o - l = 2*m, o + 5*m = -16. Let f be 1*-2 - 21/(-10). Is f at least o?
True
Let s = -0.12 - -0.02. Let x = -2.1 + s. Is 1/4 greater than x?
True
Let i be ((-54)/(-15))/((-6)/(-20)). Let h = 5 + i. Is 17 bigger than h?
False
Let h be ((-5)/(-50))/(2/4). Suppose -2*j + 0*j = 0. Which is greater: h or j?
h
Let d be (-1)/3 + (-3)/(-9). Let r be 4/20 - (-18)/10. Let b = r - 11/6. Is d greater than b?
False
Let q = -16 + -2. Let n = q - -11. Let h be (n/(-5))/(-4 - -5). Which is smaller: h or 0?
0
Let v be 3*((-900)/2709 - 6/(-21)). Is v at most as big as -2?
False
Let p(k) = -k**2 - k - 2. Let n be p(0). Let o = 5 + n. Let j be o/2*2/(-6). Which is greater: 0.3 or j?
0.3
Let g(u) = u**2 - 6*u - 7. Let f be g(7). Suppose -n + 6*n = f. Let h = 5 - 5. Do h and n have the same value?
True
Let q = -9 - 0. Let u be 2 - (3/q)/(-1). Is 2 equal to u?
False
Suppose 0 = 4*j + i - 6 - 16, -i + 4 = j. Suppose -j*p = -p. Let s be (2 + -4)/(2 - p). Is 0 at most s?
False
Let w(j) = 2*j - j + 3*j - 3. Let r be w(4). Is r <= 13?
True
Let a = 3 - 12. Let j be (a/(-12))/(15/40). Which is greater: 1 or j?
j
Let u = -15 - -12. Let b be (u - -4)/(6 + -5). Which is smaller: b or -3/14?
-3/14
Let w = 8 - 8. Let v be -2*(1 + (-24)/27). Which is greater: w or v?
w
Suppose -8 + 2 = 3*i. Let p be (-3)/(-153)*i*3. Which is smaller: 1 or p?
p
Suppose 6*n = 10*n + 12. Let i(l) = 4*l. Let c be i(-1). Let j be 2 - (-1 - 18/c). Which is smaller: j or n?
n
Let l(h) = -h**3 + 9*h**2 - h. Let c(a) = -a**3 + 8*a**2 - 2*a + 1. Let j(u) = -4*c(u) + 3*l(u). Let r be j(4). Is 1/3 at least r?
True
Suppose 5 = -3*j - 13. Let y(u) be the second derivative of -u**5/20 - 7*u**4/12 - 5*u**3/6 + 4*u**2 - 4*u. Let v be y(j). Is 2 less than v?
False
Let c be (-4)/(-6) - 24/63. Let d = 7.04 + -5.1. Let a = 0.06 + d. Which is smaller: c or a?
c
Let h = -2.1 - -3.7. Let q = -0.2 + 2.2. Let l = q - h. Is -1 < l?
True
Suppose 60 = -w - 4*w. Is -11 bigger than w?
True
Suppose -4*a - 12 = 0, -4*z + 29 = -5*a - 10. Let m be ((-1)/z)/((-25)/20). Is 2 greater than m?
True
Let l be 595/140 + 6/8. Is l greater than 32/7?
True
Let p = 25 - 25. Which is smaller: 3/5 or p?
p
Let t = 3.88 + -4. Let p be ((-4)/14)/(5 - (-40)/(-10)). Is p > t?
False
Let g = -13/9 - -92/45. Suppose -2*y + d + 0*d - 4 = 0, 12 = y + 3*d. Is y < g?
True
Suppose 4*s = 3*s. Let k be 0 + 1 - 1/(-5). Which is smaller: s or k?
s
Let w be 6/(-8)*16/(-30). Do -2 and w have the same value?
False
Let s = -2/55 - 51/110. Let g = 354 - 346. Are s and g unequal?
True
Let a be ((-8)/(-10))/((-4)/30). Let s = 4 + a. Let u be 18/4*s/12. Which is smaller: 0 or u?
u
Let k = 19 + -13. Suppose 2*s + 3*u - 8 - k = 0, -s - u + 5 = 0. Which is greater: s or -1/5?
s
Let f = 28/3 - 142/15. Is f at least as big as 0?
False
Let w = -1.17 + 0.17. Let x = w + 1.1. Which is bigger: x or -0.02?
x
Suppose -4 - 5 = -3*b. Let t(f) = -f**3 + 3*f**2 + f. Let c be t(b). Suppose 2*d - 9 - c = 0. Which is bigger: d or -1?
d
Let q(p) = p + 10. Let c be q(-7). Suppose -3*f + 0*f + 12 = c*t, -4*t + 23 = -3*f. Let o = 1 - t. Which is bigger: o or -3?
-3
Let j(a) = a**3 + 2*a**2 - a - 4. Let o be j(-2). Let m = -88 + 173/2. Which is smaller: m or o?
o
Let y = -2 - -1. Let d = -121 + 1087/9. Is y greater than d?
False
Let v be 0/(2 + -2 + 1). Suppose 5*a = -0*a + 10. Let o be a*(-1)/(-2)*0. Is v greater than o?
False
Let i = 47/36 + -13/12. Let u = 0.3 + -0.3. Let m = -1 + u. Is m at least i?
False
Let u be -1*(154/156 - 1/1). Do u and 1 have the same value?
False
Let l = 7 + -6.98. Let w = -21.9 - -19.88. Let x = w + l. Which is greater: -2/11 or x?
-2/11
Let d be -2 + -1 + -1 + 2. Let a = -19/455 - 1/65. Let s = a + -101/70. Does s = d?
False
Let n = -9 + 6. Is -2 less than or equal to n?
False
Let f = -151 - -151. Is -6/17 not equal to f?
True
Let j(h) = -h + 7. Let q be j(6). Let b be (-2)/(-12)*-3*4/(-37). Are q and b non-equal?
True
Suppose k = -14*k + 225. Which is smaller: k or 21?
k
Let h = 0.8 + 0.2. Let z = 1/83 - -247/166. Is h at least as big as z?
False
Let p = 81 - 245/3. Let o(n) = n - 7. Let z be o(7). Suppose z = -5*b - w - 12, 4*w + 5 + 7 = -2*b. Which is smaller: b or p?
b
Let p be 16/32*(-1)/(-1). Is p < 9/2?
True
Suppose -5*a - u + 0*u - 9 = 0, -4*a = -5*u - 16. Let m be ((-1)/(-3) + a)/(-2). Which is smaller: -1 or m?
-1
Let g(c) = -c**3 + 2*c**2 + 2*c + 2. Let l be g(3). Which is smaller: -2/119 or l?
l
Suppose 3*l = p + 1 - 10, 2 = -l. Suppose -6*y - 20 = 2*i - 2*y, p*i + 2*y + 14 = 0. Let j be 3/(-7)*i/3. Does 1 = j?
False
Let j be 10/2*14/7. Which is smaller: j or 2?
2
Suppose -2*f - f = 5*d - 879, 12 = -4*d. Let x be f/8 - (-4)/(-16). Let s = x - 149/4. Which is bigger: s or -1/2?
s
Let g = -4 - -5. Let m = 0 + g. Suppose 3*f - m = 5. Is 2/3 != f?
True
Let m(d) be the second derivative of 2*d**3/3 + d**2/2 + 3*d. Let u be m(1). Which is greater: -1 or u?
u
Let b = -206 + 121. Let i = 1273/15 + b. Which is smaller: 0 or i?
i
Suppose 0*f - 2*f = 4. Suppose d + 4*t = -d + 18, t - 5 = 0. Is f >= d?
False
Suppose 4*w - w = 42. Let x = w - 9. Is x less than 5?
False
Let k = -8 - -7. Let n(g) = 5*g**2 + 2*g + 1. Let l be n(k). Which is bigger: l or -2/9?
l
Let q be 4/18 + (-40)/18. Let l = q - -5. Suppose -2*k + l*u - 8 = 0, -3 + 6 = 5*k + 4*u. Which is greater: k or -2/7?
-2/7
Let n = 31 - 33. Which is greater: n or 0?
0
Let o be 33*((-2)/1 - (-21)/9). Is 5 at least o?
False
Suppose -3*o + 6 = -6*o. Let j be 10/(3 - 2) - o. Suppose 0 = -c - 2*c - j. Is -4 > c?
False
Let o be (-4)/(-1) - (2 - 1). Suppose 5*x + 76 = -c, o*x - 4*c + 5*c = -44. Let v be -2 + (0 - x/11). Which is greater: v or 0?
0
Let p = 0.7 + 8.3. Let d = p - 8.8. Which is greater: 2 or d?
2
Let k = -0.46 - -0.26. Are -3 and k equal?
False
Let t = -2.314 - -0.014. Is 0.1 smaller than t?
False
Let k = -0.2 - 2.8. Which is smaller: k or -2/3?
k
Let c be (-1)/4 + (-321)/12. Let i be -2 - (2 + c/6). Is i smaller than 1?
True
Let q be (-10)/(-8) + (-3)/(-12). Which is smaller: q or 0.1?
0.1
Let s(c) = -2*c - 18. Let k be s(0). Is -17 greater than k?
True
Let s be 18/81 - 8/(-126). Is 0.9 greater than or equal to s?
True
Suppose m + 0*m = -9. Which is greater: -8 or m?
-8
Let j = 45/2 - 89/4. Which is smaller: -1/4 or j?
-1/4
Suppose -2*x - 18 = -2*v, 0*v + 2*x = -4*v + 12. Suppose -v*w - 5*f + 11 = 1, 5*f - 19 = 4*w. Let j = 48/265 - -1/53. Which is smaller: j or w?
w
Let c = -7/18 - 1/9. Which is smaller: c or -2/25?
c
Let b = 22346/9 - 2486. Is b greater than or equal to -2?
False
Suppose -3*s + 8*s - 10 = -2*m, -8 = -4*s - 3*m. Suppose 3 - 12 = -3*g. Suppose -o + g*j - 17 = -1, s*o + 22 = 4*j. Is o not equal to 2/9?
True
Let v = 6 + -8. Let o = -59 + 58.9. Is v less than o?
True
Let q(u) = 2*u - 2. Let d be q(4). Which is smaller: d or 7?
d
Suppose -4*n - 2 = 6. Let a(d) = 2*d**3 + d**2 - 2*d. Let b be a(2). Let t = b - 20. Is n >= t?
True
Suppose 4*i + 3*b + 11 = -0*i, 2*i - 5*b = 1. Let p = 1 + i. Is 0 less than p?
False
Let p = 37 + -13. Let u = -21 + p. Which is bigger: -0.3 or u?
u
Let c(z) = -z + 18. Let o be c(6). Suppose -16*t + o*t = 16. Let y = -5 + 1. Is t less than or equal to y?
True
Let c be 0*(0 + 5/5). Which is bigger: c or 1/41?
1/41
Let c be 1 + 1 + -3 + 3. Let q(v) = 2*v**2 - 18*v + 18. Let m be q(8). Is m at most c?
True
Suppose 0*l = -5*l - 165. Is l > -34?
True
Let k = 14759/22 - 671. Is 0.1 at most k?
False
Let q = -63 + 64. Is 2/15 at least q?
False
Let u(w) = -w**3 + w**2 + w + 1. Let k be u(-1). Suppose -q + 8 = o, -5*q - k + 22 = o. Suppose -q*j = -j. Is j greater than -1?
True
Suppose 3*g + 2*g - 4*s = -3, -2*g + 3*s + 3 = 0. Let j(d) = -d**2 - 5*d + 5. Let w be j(-6). Let y be (w + g)*1/(-2). Is 2/3 less than or equal to y?
True
Let h be 5991/(-20) + (-1)/5. Let v = 363 + h. Let m = -63 + v. Is 0 < m?
True
Suppose -4*r = 2*t - 1932