 -2. Let f = 208/321 - -2/107. Which is smaller: f or y?
y
Suppose 0 = -2*t + m + 9, 5*m + 4 = 2*t - 25. Is 2/3 less than t?
True
Let g = 3 + 0. Let x = -22 + 34. Suppose -w = g*w + x. Is -4 at most w?
True
Let v(k) = k**2 + k. Suppose -5*j = -0*p - p - 12, 2*p + 8 = 2*j. Let m be v(p). Which is bigger: 10/3 or m?
10/3
Let m be (7/5)/((-18)/5). Let v = -39 + 350/9. Let y = m + v. Which is smaller: -1 or y?
-1
Let p(d) = d**2 - 3*d - 1. Let k be p(2). Do -9/4 and k have the same value?
False
Suppose 2*h = h + 2*p + 14, -h + p = -9. Suppose 5*j + 4*f + 5 = 0, -3*f - h = -j - 5. Is j greater than -1?
False
Suppose 3*n = 2 + 1. Suppose 4*l + 3*x = 56, 3*x + 8 = l - 6. Let f be (10/(-15))/(l/(-6)). Is f at least n?
False
Let i be 1/(1 - 10/8). Let g be (-2)/5 + 12/5. Suppose 5 + 1 = -g*w. Are i and w non-equal?
True
Let a = -947/29886 - -2/879. Is a less than 0?
True
Let g = -7 - -10. Let i = g + -1. Which is greater: 3 or i?
3
Let r be ((-4)/(-6))/(3/(-90)). Let q be (5/r)/((-1)/2). Is q < 0?
False
Suppose 0 = -21*y + 16*y. Which is greater: y or -6/5?
y
Let r(k) = k**3 + 10*k**2 + 10*k + 5. Let n be r(-9). Is -4 at least n?
True
Let b = -1 + 0.6. Let h = 7.9 - 8. Do h and b have the same value?
False
Let b = 0.19 + -0.2. Let v = b - 0.03. Is 0 at most v?
False
Let w be 5 - 3 - 8/6. Let n = -2 - -4. Let a be n/4*0/(-2). Do w and a have the same value?
False
Let q = 1.4 - 2.4. Which is smaller: q or 0.05?
q
Let u(q) = -2*q - 5. Let d = 7 - 11. Let h be u(d). Is 3 greater than h?
False
Let x be 10*(2 + (-9)/6). Let n be (5 - -1) + 4/(-2). Is n at least x?
False
Suppose -4*g + 2*l = 24, -l + 4 = -4*g - 4*l. Is g less than -5?
False
Suppose -5*k + 12 = -2*a + a, -4*a - 3 = -5*k. Let l be -1*2*a/(-6). Which is smaller: -1/13 or l?
-1/13
Let w be (-1)/6*-4 - 572/876. Is w at most 0?
False
Suppose -k = -3*k + 6, -m - 2*k = -10. Which is bigger: m or 1.4?
m
Let b = -5/48 + -2663/240. Let n = b + 1502/135. Do 1 and n have different values?
True
Suppose -5*v + 7 = 57. Is v greater than -9?
False
Let s be 2 - (1 - -1 - -2). Let n be (1 - 2) + s/(-2). Suppose 2*v + 0*v = n. Are v and -2 equal?
False
Let x = 0.037 + -1.537. Which is smaller: x or 0.1?
x
Let i = 1 - 0.9. Let w = i + 4.9. Let k = w + -4. Is 1 at least k?
True
Suppose 5*b = b - 16. Is b greater than -4?
False
Suppose -o - 3*o = 0. Is o at least as big as 1/2?
False
Let a be 2/((-5)/(-20)*-26). Which is bigger: a or -1?
a
Let i be (-7)/(21/(-36)) - 2. Let y = 18 - i. Let g be 17/(-36) + 2/y. Is g < -2/5?
False
Let u = 120 - 1081/9. Which is smaller: u or 0.06?
u
Let x = 12.99 - 13. Which is smaller: 0.3 or x?
x
Let l = -2.3 + 2.5. Which is smaller: l or 1?
l
Suppose 2*p - 4 = 3*z - 2*z, 0 = -5*z + 20. Let t be p/(-18) - (-128)/(-18). Let b = t - -7. Is b less than 1?
True
Suppose 3*m + 1 = 2*m. Let t(z) = -4*z**2 - 2*z + 1. Let c(v) = -9*v**2 - 5*v + 2. Let f(d) = -2*c(d) + 5*t(d). Let j be f(m). Is j < -1?
False
Let s = 4 - 3. Let b = 136/9 + -15. Do b and s have the same value?
False
Let q(u) = -1 - 6 + 5 + 2*u. Suppose 2*h + z = -h + 1, -2*h + 14 = -2*z. Let o be q(h). Is 1 bigger than o?
False
Let m be 54/(-126) - 4/7. Which is smaller: m or -5/4?
-5/4
Let a = 3 + 0. Suppose 0 = -8*q + a*q - 10. Let i = -4 - q. Which is greater: -3/5 or i?
-3/5
Suppose q = -m + 9, 0 = -4*m - 3*q + 20 + 15. Let g be (12/(-8))/((-66)/m). Which is smaller: g or 0?
0
Let v be (74/12)/((-6)/(-24)). Let i = v + -24. Which is smaller: i or -4/9?
-4/9
Let q(m) = 5*m**2 + 4*m - 3. Let n(k) = 11*k**2 + 8*k - 6. Let i(r) = 6*n(r) - 13*q(r). Let p be i(2). Is p greater than or equal to -2?
True
Let w(c) = -c + 4. Suppose 2*r = l + 9, -l - 15 = -r + 3*l. Let t be w(r). Is 2 smaller than t?
False
Let o be -63 - (-2 - (-1 - -1)). Let y = 304/5 + o. Is -1 at most y?
True
Let b = -12.4 - -12. Are 1/2 and b nonequal?
True
Let z(u) = u**3 + 14*u**2 + 12*u - 11. Let r be z(-13). Suppose -3 = -p + r. Suppose 0 = -2*x + 5*w + 7, 0*x + p*w + 9 = 4*x. Is x at least 2/7?
True
Let b(n) = 2*n**2 - 4*n**2 + 4*n - 2*n - 1. Let p be b(2). Let j = 3 + p. Which is smaller: -0.1 or j?
j
Let o be 9 + (0 - 3/(-3)). Suppose 4*b - o = 18. Let s be (-3 - b/(-1))/2. Are 1/2 and s equal?
False
Let n = 92 + -93. Which is greater: -2/9 or n?
-2/9
Let k be (-2)/(-9) - 420322/18. Let m = 1050877/45 + k. Let i = -8/5 + m. Which is greater: i or 1?
1
Suppose -2 = -2*y - 4. Let s = 1.15 - 0.05. Let a = s - 0.1. Are y and a non-equal?
True
Suppose -h = -3*h. Suppose -5*r - 20 = 0, 2*z = -0*z - 5*r - 20. Suppose -3*a + 3 + 0 = z. Is h smaller than a?
True
Let j be (-4)/(-9)*(-3)/2. Suppose -3*g = g - 16. Suppose -3*x + 17 = -4*w, -2*w + w - g*x + 10 = 0. Which is smaller: w or j?
w
Suppose 3*i - 6 = 5*i. Is -5 > i?
False
Suppose -5*m + 5 = -5*w, -2*m - 3*m - 31 = 4*w. Which is bigger: w or 5?
5
Let l = 7/25 + -71/75. Does 0 = l?
False
Suppose 4*u - 447 = -5*b, 47 + 46 = b - u. Which is smaller: -0.1 or b?
-0.1
Let c be (28/36)/7*-2. Is c smaller than -32?
False
Suppose 5*u = -4*z, -4*u = -2*z + u. Suppose -f = 3*n + 1, z = -2*f - 3 + 7. Let a be (-3 - n) + 1 + 1. Is a at least as big as 0?
True
Let x = -8 - -11. Let t be (x/6)/(2/20). Which is greater: 4 or t?
t
Let m = 6 - 5.85. Let v = -0.15 - m. Is 1 bigger than v?
True
Let j = -8.22 + 0.22. Let d = -2 - -6. Let l = j + d. Is -1/4 bigger than l?
True
Let b be 430/142 - (-5 + 3 + 5). Are 1 and b nonequal?
True
Let j(z) = 3*z**2 - z**3 + 4 + 2*z + 2*z - z. Let y be j(4). Let b be 2/(-5) + y + 0. Which is smaller: b or 0?
b
Let b(a) = 4*a**3 + 3*a**2 - 3*a**3 - 2 + 6. Suppose 5 = 5*v - 4*h - h, -v + 9 = -3*h. Let p be b(v). Which is smaller: p or 3?
3
Let p be (4/5)/((-4)/(-10)). Which is smaller: p or 6/5?
6/5
Let o be 3 - ((-21)/(-5) + 0). Which is greater: o or 0?
0
Let n(f) = -f + 22. Let x be n(16). Is x not equal to 3?
True
Let j = 4 + -4.08. Which is greater: j or 4/3?
4/3
Let t = -0.2 + 0.3. Let d be (-2 + 0)/(146/3). Let s = 155/219 + d. Is s at least as big as t?
True
Suppose 36 = -6*l + 3*l. Let i be (-9)/l + 2/(-4). Suppose -c + 2*m - 9 = 0, 4*c + m = -0*m + 9. Are i and c non-equal?
True
Let k = -1/395 - 2761/1580. Is k != -2?
True
Let y = -11.2 - -1.2. Let x = 4 - 4. Which is smaller: y or x?
y
Let g(f) = -f**3 + 10*f**2 + 6. Let a be g(10). Which is bigger: a or 5?
a
Suppose -5*j - 5*n = -30, -4*j - j + 4*n + 39 = 0. Let g be (2 - j) + (2 - 1). Which is greater: -5 or g?
g
Suppose -3*w - 2*z = 8, 2*z - 5 - 1 = 4*w. Is -8/7 > w?
True
Let k(o) = o + 3. Let f = 5 + -2. Suppose -f*u = 2*t + 15, 5*t + 27 = -4*u - 0*t. Let c be k(u). Which is smaller: c or 1/4?
c
Suppose 5*y - 15 = 5*b, 4*y - 10 = 8*b - 3*b. Let d be 3 - y/(10/4). Is 1 less than or equal to d?
True
Let z(b) = 11. Let k(v) = -v - 1. Let p(h) = 2*k(h) + z(h). Let u be p(8). Let y = u - -6. Which is bigger: y or 2/7?
2/7
Let b be ((-28)/(-3) + -8)/(2 - -1). Let l = 37 + -112/3. Which is bigger: b or l?
b
Let h = -15 - -16. Is -1 > h?
False
Let s = -4 - -2. Let h be 1*s + 6/3. Does h = 0?
True
Let b be -3*1/3 + -4. Does b = -4?
False
Let i = -1.8 - -0.7. Let o = i - -1. Which is smaller: o or 3?
o
Let a(k) = k**3 + 5*k**2 + 12*k + 1. Let n(p) = -p**2 + p - 1. Let d(m) = a(m) - 4*n(m). Let u be d(-8). Which is greater: -2 or u?
u
Suppose -16 = 2*y + 20. Let d = y - -16. Is d > -2?
False
Let v be ((-3)/(-8))/(5 + -8). Which is smaller: v or -1?
-1
Let x(l) = -l**2 - 2*l - 6. Let o be x(-3). Which is smaller: o or -10?
-10
Suppose -5*l = -2*f - 1 + 2, 0 = -2*f + 6. Let d = -0.86 + 1.16. Is d at least l?
False
Let o be (1/1)/((-3)/6). Suppose 4*l + 20 = 2*l. Let v be (o/(-3))/(l/12). Which is smaller: -1 or v?
-1
Let s = 2 - 0. Let o be s - 1/(-3)*-3. Is o at most 2?
True
Let j = -1581/2779 - 1/397. Let h = -0.3 - -0.4. Which is smaller: j or h?
j
Let b = -137 - -95. Let d be (b/(-35))/(2/(-5)). Are -4 and d equal?
False
Let a = 34.8 + -34.8. Let r = -20 - -6. Let f be (-1 - -3) + r/9. Are f and a equal?
False
Let t(z) = 5*z**2 - 3*z + 6. Let g be t(3). Is 42 bigger than g?
False
Suppose 3*q - 42 = -11*q. Is -9/11 less than or equal to q?
True
Let g be 4*(-5)/25 + 783/(-15). Are g and -160/3 nonequal?
True
Suppose -5*i - 5*l - 40 = -0*i, -3*i - l - 18 = 0. Which is smaller: -6 or i?
-6
Let j = 1.15 + -0.15. Which is smaller: -2/7 or j?