t m be i(-3). Which is smaller: m or -8?
-8
Let t = -1 - -5.5. Let l = t - 4. Let y = l - 0.3. Which is smaller: 1 or y?
y
Let c(p) = 3*p**2 + 3*p - 5. Let q be c(-4). Suppose -5*a + q = -3*u, -20 - 3 = -5*a - u. Let w be a/7 - 4/(-14). Which is smaller: w or 2?
w
Let m(l) = 4*l - 1. Let y be m(1). Let i be 15/(-12) + (-2)/(-8). Let j = i + y. Which is bigger: j or 1?
j
Let u = 248 - 246. Let x = -0.01 - 0.39. Is x < u?
True
Suppose -10 = 2*b - 3*a, -3*a = 2*b + 3*b - 17. Let k = -3 - -3. Do k and b have the same value?
False
Let r(x) = -x + 8. Let y be r(7). Suppose 4*u - p - 3 = 6, 0 = -3*u - 2*p + 15. Let n be 3/y - 8/u. Are 1 and n non-equal?
True
Let y(x) = -20*x**2 + 29*x**2 + 0*x**3 + x**3 - 9*x + 10. Let b be y(-10). Is 2/5 greater than or equal to b?
True
Let t be ((-3)/(-153))/(1/3). Let v = -72 - -71. Which is smaller: t or v?
v
Let s = -78 + 389/5. Let j be -4*(-2 - (-4 + 3)). Suppose 4*z + j*b = -4, -4*z = 3*b + 3 - 0. Does z = s?
False
Let b(x) = x**3 + x**2 + 4*x - 4. Let p be b(7). Let o be p/(-510) + (1 - 0). Let q = o + -1/15. Is 1 smaller than q?
False
Let y(a) = 2*a - 2. Let v be y(4). Let q = 17 + -10. Is v smaller than q?
True
Let t = -106 + 107. Which is bigger: 20/13 or t?
20/13
Suppose -2*m + 11 = 51. Let z be 34/(-20) - 4/m. Let g be (0 - 1/2)*2. Is g >= z?
True
Let i be 1/(156/(-40) + 4). Which is greater: i or -0.2?
i
Suppose -o + u - 4 = -0, -3*o - 20 = -5*u. Let w(p) = p**2 + p. Let g be w(o). Is g smaller than 2/7?
True
Let b be (1 + -3)*2/(-46). Which is greater: b or 0?
b
Suppose -12 = 2*w - 6. Which is bigger: -9/4 or w?
-9/4
Let d(j) = j**2 - 8*j + 7. Let g be d(5). Which is greater: -9 or g?
g
Let v(i) = -i**2 + 8*i + 11. Let n be v(9). Suppose 2*k + k + 5*c - 17 = 0, -n*c = 5*k - 41. Is 9 at least k?
True
Let t = 11/129 - 1291/6063. Do t and -1 have the same value?
False
Let h = -13 - -18. Let u be (-4)/6 - (-88)/6. Suppose b - 7*v - u = -2*v, -3*v = 9. Is h bigger than b?
True
Let s = 0.39 + 15.61. Let b = -14 + s. Which is smaller: b or -1?
-1
Let z = -0.2 - -2.2. Let i = z - 1. Let x = -2 - -3. Is x != i?
False
Suppose 0 = -5*d + l + 34, -7*d + 8 = -3*d + 4*l. Let k be d/(-20) - (-6)/(-12). Let q = -0.1 + 0.2. Which is bigger: q or k?
q
Let s = -9 - -25. Let i = s + -11. Suppose f = i*f. Is 2/5 greater than or equal to f?
True
Suppose 0 = -o + 2*v - 1, 4*o = -2*v - 7 - 7. Suppose 5*z = -0*z - p - 43, -19 = 2*z + p. Let d be -2 + -2*2/z. Which is greater: o or d?
d
Suppose -264 = -10*y - 74. Is 35/2 > y?
False
Let q = -0.25 - 21.75. Let j = q + 20.1. Which is bigger: 0 or j?
0
Let h be (4 + 0)*5/4. Suppose -h*d - 18 = 22. Which is smaller: -2/3 or d?
d
Let h = 427/12 - 133/4. Is 1 > h?
False
Suppose -2*y + 5 = -5*h, -3*y + 12 + 5 = 2*h. Is 2/35 at least as big as h?
False
Let c = -0.036 - 2.264. Let a = c + 3.3. Let j = -1 - -0.8. Which is greater: j or a?
a
Let j(x) = -3*x + 6. Let p be j(-5). Which is smaller: p or 22?
p
Let x(i) = i**3 - 4*i**2 - 5*i + 1. Let v be x(5). Suppose 5*r = -w - 2*w - v, 2*r - 2*w = 6. Let n = -2 + 3. Is n less than or equal to r?
True
Let v = 3 - 6. Let a = -2.5 - v. Is 1/3 less than or equal to a?
True
Let s(f) = f**2 + 7*f - 9. Let q be s(-8). Which is smaller: q or -10/21?
q
Let q be 1 - (-2)/(-1) - 0. Let g be 154/63 + q + 1. Let n = g + -79/36. Which is bigger: 1 or n?
1
Suppose -2*o - 91 + 19 = 0. Is -37 >= o?
False
Let k(d) = 5*d + 14. Let m be k(-4). Which is smaller: m or -5?
m
Let t = 9248/10773 + -2/1539. Which is greater: t or 1?
1
Let y = 1.8 + -1.8. Let n = -4 + 0. Let z be 1 + 10/n - -2. Is y >= z?
False
Let v be (-157)/(-280) + (-2)/7. Let d = v + 1/8. Is 1 smaller than d?
False
Let q = 18 + -14.8. Let l = 3 - q. Let m = l - 0.8. Which is smaller: -2 or m?
-2
Let i be ((-4)/(-12))/((-2)/(-6)). Let p be (i/3)/(4/(-3)). Let g be (0*(2 - 1))/(-2). Which is greater: g or p?
g
Suppose -6*k + k + 4*s + 95 = 0, 25 = k - 2*s. Let u be (4/k)/((-12)/(-10)). Let c be 1/(-2)*(0 - 2). Is c >= u?
True
Suppose -2*g + 4*i - i - 12 = 0, -5*i = g - 7. Suppose 0 = 5*m - 1 + 16. Is m bigger than g?
False
Let q be (-12)/22*2/(-8 + 2). Is 1 <= q?
False
Suppose 0 = -2*k + 3*k, -4*k - 3 = -j. Suppose 19 = -j*o + 7. Which is greater: o or -5?
o
Let s = -3 - -7. Suppose -d = 3*t + 4*d - 16, -s*t = 3*d - 25. Is 6 bigger than t?
False
Let q = 6 + -6.1. Is 5 at least q?
True
Let z(j) = j**2 - 19*j - 37. Let f be z(21). Let d(y) = 7*y**2 + y. Let x be d(-1). Is x equal to f?
False
Suppose -5*s + 5*j + 20 = 0, -4*j - 2 = -3*s + 11. Suppose -s*q = -4*q + 1. Suppose 14 = 5*l + 5*m - 11, -l = -m - 1. Which is smaller: q or l?
q
Let q = -5/64 - -1719/704. Let g = q - 472/209. Which is bigger: 1 or g?
1
Let n(s) = s**3 + 12*s**2 - 8*s - 16. Let b(q) = q**2 - 1. Let t(h) = 6*b(h) - n(h). Let x be t(-7). Suppose -5 + 2 = x*m. Is m at most as big as 2/9?
True
Suppose 0*b + 20 = -5*b. Let i = b + 4. Which is smaller: i or 1/4?
i
Let i = 5.6 - -1.4. Is -2 <= i?
True
Let a be (4 - 1 - 5)/2 - -16. Is a > 55/4?
True
Let x(y) = y + 4. Let v be x(6). Let z(i) = -i**2 + 11*i - 7. Let g be z(v). Suppose h = 4*h + g. Which is bigger: h or -2?
h
Let y be 840/(-9) + (-2)/3. Let u = 1127/12 + y. Is u not equal to 0?
True
Let n be (-2104)/(-36)*(-3 - 1). Let x = 234 + n. Suppose -4*r - 2*b = 0, 3*b + 2 = -5*r + 1. Are r and x unequal?
True
Let d be 0/1*(-1)/(-2). Let o = -32 - -33. Is d greater than or equal to o?
False
Suppose 0 = -4*x + 22 + 2. Which is bigger: x or 3?
x
Let m = 3727/1197 - -5/171. Which is smaller: 0 or m?
0
Let d = 1 - -1. Suppose -d*h - h = 0. Suppose 2*o + o - 2*k = h, -o + k = 0. Does o = 2/19?
False
Suppose -4*g - 8 = -4*y, 3*y + 4*g - 3 = -11. Let u be (-5)/(-3)*(-4)/(-40). Is u < y?
False
Let w = -92 + 91. Which is smaller: w or -2/7?
w
Let u be (6/5)/(3/(-60)). Let n = -72 + 49. Which is bigger: u or n?
n
Suppose x = -0*x - 1174. Let a = -4729/4 - x. Let m = -8 - a. Which is smaller: 1 or m?
m
Let v = -96151/52 - -1849. Let z = 4/13 + v. Is z <= 4?
True
Let z = 5.07 + -5. Let v = 0.03 + z. Which is greater: v or 1?
1
Suppose -3*n + 11 = -7. Let p be 1 - 3/(9/n). Is p < -1?
False
Let g be -1 - (2 + -2)*-1. Let s be -8*-2*g/4. Let x be 1/14 - (-2)/s. Are 0 and x non-equal?
True
Let u(b) = -b**3 + 4*b**2 - b + 4. Let y be u(3). Suppose 1 = -s - k, 8*k = 3*k - y. Let z be 1 - s/(3 - 2). Which is greater: 1/4 or z?
1/4
Suppose -141 = 4*g + 3. Which is smaller: -35 or g?
g
Suppose u + u + 36 = 0. Let h = -17 - u. Is h greater than or equal to 1/9?
True
Let s(d) = d**3 - 5*d**2 + 2*d - 6. Let r be s(5). Let q be ((-2)/16)/(2/r). Is 1 greater than q?
True
Suppose r = -3*r + b + 59, b = 2*r - 31. Let u = -43/3 + r. Which is bigger: -0.1 or u?
-0.1
Suppose 0 = -u - 3*n - 6 + 17, 3*n + 29 = 4*u. Suppose -t = b + 3*b + 8, 0 = -4*b - 4*t - u. Which is smaller: -7/4 or b?
b
Suppose -5*j = 5*i - 12 - 8, -5*j + 2*i = 8. Which is greater: j or 3?
3
Let p = -12 - -16. Let d = p - 7. Which is smaller: -12/7 or d?
d
Let i = -1.3 - -0.6. Let h = -32.2 - -21.3. Let m = h + 11. Which is smaller: i or m?
i
Let m = -10 + 18. Let o = -4 + m. Let w be -4 + 0/(-4) + 3. Is o at most w?
False
Let o(f) = f**2 + 16*f + 19. Let x be o(-14). Is x greater than -9?
False
Let h = -0.07 + -0.13. Let m = -10 - -8.8. Let a = 1 + m. Are h and a unequal?
False
Suppose -4 = 3*m - 9*d + 4*d, 0 = -3*d + 6. Let o be (-5)/(-6) + 16/24. Which is bigger: m or o?
m
Let m = -15845/4 + 3935. Let t = -1357/52 - m. Is 0 smaller than t?
True
Let v(n) = -n**3 - 5*n**2 + 4*n - 6. Let u be v(-6). Suppose 7*b = 3*b + 28. Which is greater: b or u?
b
Let i be (-3)/(-2)*(5 + -3). Suppose 0 = i*j + 2*j - 5. Do j and -5/2 have the same value?
False
Let q(r) = -r**3 + 4*r**2 - r + 1. Let o be q(3). Suppose 270*s + 6 = 271*s. Are s and o equal?
False
Let q = -4.6 + 14.6. Is q greater than -1?
True
Let t(l) = -12*l + 4. Let f be t(2). Let r = f - -20. Suppose -4 = -2*n + 2. Is n at most r?
False
Let t = 3.37 - 0.07. Let m = t - 6.5. Let y = -3 - m. Which is smaller: y or 0?
0
Let i = -1 - 1. Let m be 1*(1 - i/(-1)). Let y = -25/2 + 12. Is m equal to y?
False
Suppose -1 = 4*t + 15. Suppose -4*r + n = 19, n = -r - 3*n + 8. Is r less than t?
False
Let l = -5 - 5. Let o = 0.2 - -5.8. Let w = o + l. Which is smaller: w or -1?
w
Suppose 3*x - 16 = x.