- 1 = -3*l, -l + 2*l - 3 = -k. Suppose 1 = -3*b + 2*x + 10, 14 = l*b - 4*x. Which is smaller: b or -0.3?
-0.3
Suppose -p = p. Let j be p/(-2 + (-8)/(-2)). Suppose h = -j*h. Which is smaller: 1 or h?
h
Let n = -397/140 - -3/35. Is -2 greater than n?
True
Suppose -22*d + 3*d - 475 = 0. Which is greater: -27 or d?
d
Let y = -3 - -3.3. Is y <= -1/7?
False
Suppose -20 = 3*z - 23. Is -1/26 smaller than z?
True
Let w = -0.003 - -0.003. Which is bigger: w or 6?
6
Let x be 48/(-10)*60/(-1092). Let b = 5/26 - x. Which is smaller: 1 or b?
b
Let c = -6 - 5. Are 0.1 and c equal?
False
Let c = 3 - 1. Let u = c - 2. Let x = 1 - 1. Is x at most as big as u?
True
Suppose 3 + 3 = -2*c. Is -26/17 bigger than c?
True
Let u = -5 + 8. Suppose u*f + 8 = -7. Are f and -3 equal?
False
Let p(m) = 2*m + 11. Let v be p(-9). Let y(z) = z**3 + 7*z**2 + 2*z + 4. Let g be y(v). Let a be (-14)/g + -1 + 0. Which is bigger: a or 1?
1
Let x = -31/51 - 1/17. Which is greater: -2 or x?
x
Let z = -7 + 5. Which is smaller: z or 0.08?
z
Let q = 3059/3 - 1035. Let m be (-1)/15*227*1. Let o = m - q. Are 2/7 and o nonequal?
True
Suppose -y = 2*c, y - 2*c = 3 - 7. Let l be (-3 + 2 - -2) + -1. Suppose -d - 4*x = 8, -4*d - d - 5*x - 10 = l. Is y at most as big as d?
True
Let u = 7 + -8. Let t = -1 - 1. Which is smaller: u or t?
t
Let o be (-1300)/(-798)*(-6)/16. Let j = o - -3/76. Which is bigger: j or -1?
j
Let s(l) = -3*l + 30. Let m be s(11). Suppose -4*v + 0*v + 4*i = -12, -v + 2*i = -8. Which is bigger: v or m?
v
Let m = 22 - 5. Which is smaller: m or 16?
16
Suppose -5*l + 3 = -q, 3*l + 2 - 1 = 2*q. Let d be (-66)/(-45) - 1/(-3). Which is smaller: d or l?
l
Suppose -24 - 16 = -j. Suppose 5*f - 91 = -3*g, -2*f = -0*g + 3*g - j. Is 16 greater than or equal to f?
False
Let s = 0 + 0. Let z = 2.293 + -0.293. Which is smaller: s or z?
s
Suppose 2*k - 10*z = -13*z, -3*k = -5*z - 19. Is 4 bigger than k?
True
Let v = 1.7 - 1.3. Let o = -0.2 + v. Which is greater: o or -3/5?
o
Let p = -27 + 32. Is p bigger than 31/5?
False
Let k = -99143/79 - -1255. Are k and -1 equal?
False
Let j = 4 + -2. Let d = j - -1. Let l = -2 + d. Do l and 2/5 have the same value?
False
Let g = -1/3 + 17/6. Is g greater than 3?
False
Let y = 0.292 - -0.008. Let v = 0.07 + -0.07. Which is greater: v or y?
y
Let o = 0.1 + -0.3. Let u = 20 + -20.1. Let s = o - u. Which is smaller: s or -1/7?
-1/7
Let w = -61 - -43. Which is bigger: w or -1?
-1
Suppose -2*i + i + 3*k + 1 = 0, 9 = -4*i - k. Suppose -4*l - 10 = -3*l + 5*f, -3*f = 3. Let z be (l + 1)/(-2) - 5. Which is smaller: z or i?
z
Let q be 6/(-21) + 136/(-14). Which is smaller: q or -11?
-11
Suppose -6*y + 2*y = 44. Are -11 and y unequal?
False
Suppose 5*x = -4*k - 11, 11 = 2*k - 0*k - 3*x. Is 2/7 greater than k?
False
Let m(p) = -2*p + 6. Let v be m(8). Let k be (-8)/(-30)*v/(-12). Is k > 1?
False
Let z be ((9/3)/3)/1. Let y = -16 + 7. Let a be (-3)/(y/3) - 0. Is z at least a?
True
Let u = 229/4 - 57. Is u less than 0.02?
False
Let h = 8 + -11. Let m(p) = 2*p**2 + 3*p + 2. Let j be m(-3). Suppose j - 35 = 6*r. Is h less than r?
False
Let s = 12/55 - 103/220. Suppose 2*i - 1 = 5. Which is smaller: i or s?
s
Let g(w) = 6*w + 18. Let s be g(-8). Let o be 10/(-2)*5/s. Suppose 2*u - a = -2*u - 3, -4*a + 12 = 2*u. Is o equal to u?
False
Suppose 5*t - 24 = -4*m, 3*t - t - 8 = 0. Suppose 3 = 3*y - p, -7*y = -3*y + p - 4. Is m > y?
False
Suppose 0 = 4*k + t + 42, 1 + 1 = -t. Let z be (6/(-5))/((-4)/k). Does -2 = z?
False
Suppose -2*d = 5*g + d + 17, -10 = -2*g + 3*d. Let w(z) = -1 - 6*z + 0 - 4*z**3 + 5*z**3 + 5*z**2. Let m be w(-6). Is m < g?
False
Suppose -4 = 2*t - 16. Let x = 7 - 0. Which is bigger: x or t?
x
Let u be -6*-1*2/4. Let z be -4*(-3)/3 - 4. Suppose 15 = u*p - z*p. Are p and 4 non-equal?
True
Let f be (-6)/64*(-12)/105. Let r = 527/3080 + f. Is 1 > r?
True
Suppose 3*q + 16 = -5*g - 0, -4 = -g + 3*q. Let b = 0 + 2. Let x = b + -1. Which is bigger: g or x?
x
Let c(n) = 7*n + 5. Let g(d) = -20*d - 14. Let v(w) = -17*c(w) - 6*g(w). Let h be v(-6). Let f be h - 1 - -3 - -1. Are -4 and f equal?
True
Let y be -1 + 3/4 + 36/(-48). Which is bigger: 4 or y?
4
Suppose 2*m - 7 = -4*z + 1, 0 = 3*m + 3*z - 12. Suppose -5*d + 34 = m*t - 0*d, 3*t - 22 = -2*d. Is t less than or equal to 5?
False
Let f = 8 + -9. Is f greater than or equal to -2/33?
False
Let u = -3.4 - -3. Is 11 greater than u?
True
Suppose 122 = 5*f + 3*v, -7*f + 114 = -2*f + v. Let y be f - 0*1/(-2). Suppose 1 = 5*z + 4*x + y, 3*z - 17 = 5*x. Is z at most as big as 2?
True
Let g be (359/3)/((-854)/6). Let c = -1/61 + g. Which is smaller: -1 or c?
-1
Let l = 3.05 - 0.05. Let h = -3.3 + l. Does 2/5 = h?
False
Suppose 5 = -8*i + 3*i. Let r be (i - -2)*(-2)/(-2). Is 1/3 smaller than r?
True
Suppose -20 = 3*b + 7. Is -9 smaller than b?
False
Suppose 0 = -3*x - 1 - 29. Let j be x/6*21/15. Which is smaller: j or 0.1?
j
Let q = -6 + 6. Suppose -2*g + 15 = 5*f - q, 0 = -3*f + g - 2. Is 0 greater than or equal to f?
False
Let v(u) = -u - 4. Let a be v(-2). Suppose 3 + 6 = -4*j + 3*i, 2*j = -i - 7. Is j at least as big as a?
False
Let m = -5 + 6. Let h = 0.07 - -5.93. Let g = h - 6.3. Is m less than g?
False
Let a be 18/(-45) - 17/(-30). Are a and 1 equal?
False
Let d(h) = -h**3 + 10*h**2 - 3. Let a be d(10). Let n = a - -6. Suppose -5*q = -n*t + 29, -2*q - 2*q = 16. Is 0 != t?
True
Let z be (-21)/(-12)*(-1 + 5). Is z < 5?
False
Let c be (-3)/7 - (-8)/(-14). Which is greater: c or 2/19?
2/19
Let b = -15 - -16. Which is smaller: 4/5 or b?
4/5
Let m = -3 - -2. Let f = 3 - 0. Let c = 1 - f. Is m > c?
True
Let m(z) = 2*z**2 + 18*z - 5. Let p be m(-10). Which is greater: 12 or p?
p
Suppose 0*f = f + 2*u - 17, -26 = -f - 5*u. Suppose z + 3*d - 11 = 0, z - 4*d = 2*z - f. Which is smaller: 10 or z?
10
Let u = -7 - -7. Suppose 0 = -5*a - 5*m + 25, 0 = 5*a - 2*m - u + 3. Is -0.2 > a?
False
Let n = -26.1 - -26. Which is smaller: n or 71?
n
Let x = -219/4 + 55. Is -0.1 > x?
False
Let h = -0.1 - 0.9. Let a = -2.2 - -2. Let k = a + 0.3. Which is bigger: h or k?
k
Let r = 9 + -7. Let i = r + -2.2. Which is bigger: i or -0.4?
i
Suppose -2*q = -4*v + 6, 0 = 5*q + 5 - 0. Which is smaller: 1/4 or v?
1/4
Let q(d) = d**3 + d**2 + 1. Suppose 3*h - 8 = -2*y, -h + 3*y - 6 = 6. Let o be q(h). Let p be ((-1)/(-26))/(2/(-8)). Which is greater: o or p?
o
Suppose 0*p + 4*k + 75 = 5*p, -2*p - 2*k + 12 = 0. Which is greater: p or 12?
12
Let n(v) = -4*v + 5. Let w(g) = -9*g + 10. Let m(b) = 5*n(b) - 2*w(b). Let p be 30/9*(-9)/(-6). Let t be m(p). Is t < -4?
True
Suppose -a - 2*z + 5 = -6*a, 3*z - 15 = 0. Is -1 equal to a?
False
Let c = -111 - -110. Let v = -19.01 + 0.01. Which is smaller: c or v?
v
Let f = 1 + 3. Suppose f = 4*t - 12. Suppose 0 = -2*n + 3*v + 9, -3*n - 12 = t*v - 0. Is n less than 1/2?
True
Suppose 0 = -5*b - 10, 2*z - b = -0 - 2. Let u(s) = s**2 - 5*s - 3. Let q be u(5). Is q > z?
False
Let k = -1 + 0. Let c = 40 + -39. Let p be (-7 + c)/2 - k. Is -2 smaller than p?
False
Suppose -2*h = k - 38, 0 = 3*k + k - 5*h - 126. Let j = 133/4 - k. Which is smaller: 0 or j?
j
Let n be (1 + (-7)/12)/((-100)/450). Which is smaller: n or -1?
n
Let d(p) = -3*p - 8. Let c(s) = s + 4. Let b(t) = 5*c(t) + 2*d(t). Let n be b(3). Is n not equal to -1/3?
True
Suppose -2 = 2*b + h - 14, 5*h + 52 = 4*b. Let d(f) = f - 5. Let u be d(-4). Let n = b + u. Is 2/17 bigger than n?
True
Suppose p + q - 4 = 0, -4*p + 3*q = 2*q + 9. Let x be 5 + p + 3 + -3. Suppose -18 = r + 5*f, -3*r = 2*r + x*f + 6. Is 2 less than or equal to r?
True
Suppose 0 = -3*m + 6*m - 18. Let k be (-519)/(-21) - (-2)/7. Suppose 5*w + 0*w = k. Which is greater: w or m?
m
Let m = -0.47 - -0.01. Let g = m + 0.06. Let y = g + 0.4. Which is smaller: -1/3 or y?
-1/3
Let r(a) = a**2 + 3*a + 1. Let d be r(-4). Suppose -d*j + 0*j - 60 = 0. Let f be (j/(-9))/(-2)*6. Which is smaller: -5 or f?
-5
Let w = -5.04 - -0.04. Let k = -7 - -3. Let r = w - k. Which is greater: -0.3 or r?
-0.3
Let l(p) = p - 12. Let u be l(12). Let n = -9 - -173/19. Which is smaller: n or u?
u
Let y = 22/3 + -8. Is y greater than or equal to -4?
True
Let p = 38606/3 - 13003. Let h = 133 + p. Which is smaller: -2 or h?
-2
Let x = -0.6 + 0.2. Let k = x + 0.3. Let n(l) = -l**2 - 5*l + 7. Let a be n(-6). Which is smaller: k or a