t l = 0.5 + n. Which is smaller: 1 or l?
l
Let j be 9/6*(-2 - 4). Let c = j - -2. Let m be ((-3)/(-9))/(c/3). Which is greater: 1 or m?
1
Let s be (-9 + -3 - 0) + 4/(-4). Is -13 bigger than s?
False
Let k(g) = -8*g**3 + 17*g**2 + 11*g + 8. Let p(m) = -3*m**3 + 6*m**2 + 4*m + 3. Let d(a) = 4*k(a) - 11*p(a). Let n be d(1). Which is smaller: n or 3?
n
Let v = 38 + -32. Which is bigger: v or 1/4?
v
Let b be 353*(3/(-4) - -1). Let q = -90 + b. Is q not equal to -1?
True
Let t = 8 - 6. Suppose -4 = 5*w + 2*o + 35, -4*o = w + 15. Let a = -6 - w. Which is bigger: a or t?
t
Let v = 3 - 6. Let t be (-1 + -22)/(3/v). Suppose 2*k = 2*g - 3*k + t, 0 = 5*g + 4*k - 25. Which is bigger: g or 2/11?
g
Let c = 15 + -10. Suppose 0*p = 2*a + c*p, 0 = 5*a - 5*p. Is a < -2/9?
False
Suppose 5*p - 31 = -3*o, -2*o + 2*p + 9 = 3*p. Let g be (-2 + 5/o)/1. Which is smaller: 0.3 or g?
0.3
Let i = -6.919 + -0.081. Which is greater: -1/4 or i?
-1/4
Suppose 3*q + 73 = -5*h + 2*q, 10 = 5*q. Let k be (-15)/h + 4/(-6). Suppose -5*r - 10 = -4*v + 3*v, -3*r - 2*v = -7. Which is smaller: r or k?
r
Let j be (0 - 0/(-1)) + (-320)/40. Is -7 <= j?
False
Suppose -5*p = -2*w - 6*p - 4, 0 = 5*p + 10. Which is smaller: 5/13 or w?
w
Suppose 4*g - 5*t - 7 = g, 3*t + 9 = 3*g. Is 6 < g?
False
Let a = -1 - 0. Suppose -1 + 4 = -3*k. Let r be k + 3 + 0 + 0. Is a greater than r?
False
Let y be ((-1)/(-2))/(1*(-1 - 0)). Is y at most as big as -1/7?
True
Let i be -4 + 3*(-2)/6. Let n be (-8)/35 + i/25. Do 0 and n have different values?
True
Suppose -s = 4*o + s + 90, 3*o - 5*s = -35. Is -0.1 greater than o?
True
Let l be ((-1)/5)/((-32)/(-200)). Let v = -2 - 0. Is l equal to v?
False
Suppose -5*n + 13 - 3 = 0. Which is greater: -0.2 or n?
n
Suppose -2 = -2*j - 0. Which is bigger: 1/11 or j?
j
Let u be (3 - 0)*4/(-6). Let k = 8 - 7. Suppose 2*f - 3*f = k. Which is smaller: u or f?
u
Let b = -147 + 147.1. Which is smaller: 1 or b?
b
Suppose -3*o + 5 = v, 0*v + v = o + 5. Is o < 9?
True
Let c(t) = t + 1. Let d be c(-2). Let u(n) = -n - 10. Let i be u(-7). Let r be -3*i/18 + -1. Is d at least as big as r?
False
Let s be 44/52 - (2 + -1). Do s and -3 have the same value?
False
Suppose -5*m + m + 20 = 0. Suppose x - 10 = -5*f + f, -2*x - m*f = -11. Let b(g) = g - 4. Let j be b(4). Which is greater: j or x?
j
Let x be (1 - (-5)/(-1)) + 2. Let k = 0 - x. Suppose k*q + 0 - 7 = -3*v, -2*q = -4*v - 14. Which is smaller: v or 2/15?
v
Let g(s) = 2*s**2 + 3*s + 2. Let c be g(-3). Suppose 2*a - 48 = -2*a. Is c <= a?
True
Let g be 18/(-22) - 8/44. Let j be g/4 - (-30)/24. Is j bigger than 1?
False
Suppose 0 = -a + 3*o - 10, 5*a = -0*a + 4*o - 6. Let y(t) = -2*t. Let g be y(-1). Is a < g?
False
Let o(h) = -h. Let r be o(5). Suppose -8 = 8*b - 4*b. Which is greater: r or b?
b
Suppose -y = 1 + 1. Let j be 2 + -1 + y - 1. Is j bigger than -2?
False
Let b = -1 + -3. Let f = -2 - b. Suppose f*j + 6 = 2. Is j less than -2?
False
Let d be 7/(35/10) - 16/10. Let g = -1 + 3. Is g at most d?
False
Let m be ((-36)/(-14))/((-3)/(-14)). Suppose 2*k - 5*k = m. Let h = k - -7. Which is greater: h or 4?
4
Suppose 0 = -i + 1 + 2, -3*r + 4*i = 12. Suppose r = -4*a + 8*a. Is a less than -3?
False
Let q(i) = 5*i - i - 4*i**2 + 2 + 5*i**2. Let d be q(-3). Let h be 4/10 + 12/(-55). Which is bigger: h or d?
h
Let z = -39 - -38. Which is smaller: z or 1/76?
z
Let j(v) = v**3 - 4*v**2 + 3*v - 4. Let z be (-5)/5 - (0 + -5). Let w be j(z). Let y(h) = -h + 1. Let u be y(-7). Are u and w unequal?
False
Suppose -u + 2*q - 12 = -5*u, 0 = 5*u + 2*q - 13. Let g be (1 + 7/(-6))/u. Which is smaller: g or 1?
g
Let t(b) = -b**3 - 11*b**2 + 10*b + 6. Let s be t(-12). Which is bigger: s or 28?
s
Suppose 2*p - 3*p - 5*n = 18, n = -2*p + 9. Is p at most as big as 8?
True
Suppose 5*r - 2*r - 15 = 0. Suppose r*h - 1 = f, 11 = 3*h + 4*f - 8. Let z be (5/10)/(14/(-4)). Which is greater: h or z?
h
Let c(m) = -m**3 + 7*m**2 - 1. Let i be c(7). Let b(n) = n. Let d be b(i). Are -1/5 and d equal?
False
Suppose 4*b = 5*i + 38, 0*b + 39 = 5*b - 2*i. Which is bigger: b or 10?
10
Let b(p) = 2*p**2 - 3*p. Let t be b(2). Let j be (-3)/5 + (-3)/(-15). Which is smaller: j or t?
j
Let s(o) = o**2 + 5*o + 3. Let g be s(-4). Is g at most as big as 1/69?
True
Let y be 4 + 6/24*4. Which is bigger: y or 6?
6
Let d be 2/(-18)*(-18)/(-60). Is d at most as big as 1?
True
Let b be (-2 + 3)/(2/4). Suppose 0 = -3*k + 3, -2*g + 5*k - b = 3*k. Do g and -1 have different values?
True
Let y = 2 + 15. Suppose 4 - 6 = c - k, -y = 5*c + 2*k. Let j(w) = w**2 + 3*w - 2. Let d be j(-3). Which is greater: d or c?
d
Let r = 3 + 1. Suppose -r*c - 1 = -5. Is c <= 2/15?
False
Let z = 14 - 9. Let v be (3/27)/(z/(-15)). Do v and 1 have different values?
True
Let c(g) = g**2 + 2*g - 2 + 2*g + 0*g**2. Suppose 0 = 2*u - 4*a + 24, 0*u - a = -2*u - 12. Let y be c(u). Which is smaller: 0.1 or y?
y
Let c(a) = a - 10. Let t be c(10). Suppose -5*g + 2 = -3. Is t equal to g?
False
Let k be ((-78)/4)/(6/(-8)). Let r be 12/16 - k/(-8). Suppose 0 = u + 3*n + 7, 0 = 3*u - n + r*n + 3. Is 2/3 <= u?
True
Let g = -3 - -3.4. Let c = 0.3 - g. Let y = -0.1 - c. Which is bigger: y or -0.3?
y
Let x be 2 + -4 + (-120)/(-65). Is x >= -1?
True
Let d = 0.5 - 22.5. Let z = 21 + d. Is z at least as big as 2?
False
Suppose -u - 2*u = 9. Let n be 69/21 + u - 0. Which is greater: 1 or n?
1
Let o(x) = 9*x + 27. Let v be o(-3). Which is bigger: v or -1?
v
Let w be (-1612)/(-247) + 1 + -7. Do w and 2 have the same value?
False
Let l(p) = 2*p**2 + 21*p + 8. Let h be l(-10). Which is bigger: 1 or h?
1
Let u = -26 - -264. Let f be (-7)/(u/4)*-1. Which is smaller: f or -1?
-1
Let d = 3 - 3. Suppose -2*n - 3 = g, 4*n - 12 = -d*g + 4*g. Suppose p = -a - 1, -3 = p + p + a. Which is greater: n or p?
n
Let l = -0.122 - 3.898. Let r = l + 0.02. Let n = r - -4. Which is smaller: n or -0.2?
-0.2
Let r = -1 + 1. Let c = -2 + 1. Let d = c - -0.9. Which is greater: d or r?
r
Let v be ((-1)/2)/((-81)/4 + 0). Which is smaller: v or 0?
0
Let u = -99 - -695/7. Which is bigger: 1/5 or u?
u
Suppose -5*i + 2*p + 2*p = -71, -4*i + 56 = -4*p. Suppose 5*g - 5*z + i = 0, -8 = -2*g + 6*g - 2*z. Let d be -3 + -3 + (-1 - g). Does d = -7?
False
Let o = 18886/5611 - 104/31. Which is bigger: o or -1?
o
Suppose -3*u + 4*m = -3, 3*m - 2*m - 2 = -2*u. Let b be -6 + 5 + u*-3. Is b greater than or equal to -4?
True
Let k(z) = 14*z**2 + z + 1. Let f be k(-1). Suppose f = 4*m - 6. Let p be 4/(-10) - (-27)/5. Are p and m non-equal?
False
Let k be (1 + 1 - 2)/(-2). Let s = k + 0. Let o be (-3)/(-6)*(-4)/2. Is o greater than or equal to s?
False
Let j(a) = a + 15. Let b be j(-16). Which is smaller: b or -2/17?
b
Suppose 12*z = 11*z. Let b(m) = m**2 - 3*m - 1. Let k be b(2). Is z <= k?
False
Let y = -107/44 + 24/11. Suppose -2*b + 3*b = 0. Suppose b*j = -5*j. Do y and j have the same value?
False
Let l = 3 - 1. Suppose -3*v + v - l = 0. Is 2/7 less than v?
False
Let z = 5.9 - 5.4. Which is bigger: z or 1/7?
z
Let k be 34/(-3 - (2 - 11)). Is 5 less than k?
True
Let g = 1 + -1.09. Let u = g - -0.49. Are 0.4 and u non-equal?
False
Let b = -0.09 + 7.09. Let d = 14 + -19. Let z = b + d. Is z at least as big as -2/3?
True
Suppose 2*p + 3 - 5 = 2*k, k - 3 = -p. Suppose 9 = 4*t + n, 0 = t + p*t - n - 12. Are t and 2 unequal?
True
Let p = -20 - -20. Suppose -6 = 3*z - p*z. Is z < -1/2?
True
Let v = 31 + -20. Is v less than 11?
False
Suppose y + 3*y - 12 = 0. Suppose y*q - n + 1 = 6*q, -q + n - 5 = 0. Which is bigger: q or -1/4?
-1/4
Let k be -5 + 7 + -13*1/11. Which is smaller: k or 2?
k
Let h = 3.05 + -0.25. Let s = h - -0.2. Let g = s + -5. Is 0.2 smaller than g?
False
Suppose 4*s + 107 = k, 9 = 3*k - 0. Let u = 180/7 + s. Which is bigger: 1 or u?
1
Let l be 6/1 - 6/2. Suppose 6*t - 5*f = 2*t + 20, 4*t + l*f + 12 = 0. Let r = -73/270 - 4/135. Is r at least as big as t?
False
Let w be (0 + 106/(-6))*4. Let v = -70 - w. Let q = -37 - -37. Are v and q equal?
False
Suppose 0*i - 8 = 3*i - 4*w, 4*i - 5*w = -9. Suppose d + 3*g + 21 = 0, 14 - 43 = i*d + g. Which is greater: -7 or d?
d
Let b = 0.16 + -13.16. Let h = 10 + b. Which is greater: h or -2/5?
-2/5
Suppose -h + 1 = 3*a, 3*h - 3*a - 2 = 13. Suppose -24 = 8*d - h*d. Which is smaller: -7 or d?
-7
Let m be (-4 - -4) + (-2)/112. Let