2/11 or w?
-2/11
Suppose 5*t - 46 - 29 = 0. Suppose -h + 2 = -1, -3*k + h = t. Let c = -1 + -4. Which is smaller: k or c?
c
Let a = -0.6 + 0.3. Let n = 112562/1299 + 6/433. Let u = 86 - n. Which is smaller: u or a?
u
Suppose 5*d = n - 23, -3*d - 27 = 3*n - 8*n. Let j be (2 + -1)*-1 - d. Do j and 3 have different values?
False
Let b = -64/5 + 13. Is 0.1 at least b?
False
Let y be -7 - (9 + -3 + -3). Is y at most as big as -10?
True
Let l = 0.2 + 0. Let u = -14 + 14.2. Are u and l equal?
True
Let s be (-20)/9 - (-36)/162. Let c = -1 + -1. Do s and c have different values?
False
Let o = 125 - 873/7. Suppose x - 2*m + 12 = -5*m, 0 = 3*m + 9. Let f = -2 - x. Which is smaller: f or o?
o
Let d be ((-28)/(-6))/((-14)/(-21)). Suppose 0*y - 13 = -2*y - 3*s, -s - 4 = -y. Is d smaller than y?
False
Let u be 2926/(-49) - (-2)/(-7). Let l be (1/10)/(5/u). Which is greater: l or 2/13?
2/13
Suppose 0*n = -5*n - 65. Suppose 0 = -2*u - 21 - 7. Which is smaller: n or u?
u
Let x be ((-3)/9)/(146/6). Which is smaller: -1 or x?
-1
Let q = -19 - -25. Is q equal to 6?
True
Let x(o) = -o**3 + 6*o**2 - o + 2. Let g be x(6). Suppose s - 8 = f, -3*s + f + 32 = 6*f. Let r be 1 + s/(-6)*2. Which is bigger: r or g?
r
Let d = 3 + -3.1. Let n = 1.9 - d. Let p = 1/11 - -7/44. Is n <= p?
False
Suppose 0 = 2*r - 4, -3*r + r = 4*l + 44. Let c be (-4)/10 - l/5. Suppose -x + 15 = 4*x. Which is greater: c or x?
x
Let t be ((-2)/(-4))/(2/(-4)). Which is greater: -1/47 or t?
-1/47
Let z = -8 - -10. Let i = z - 5. Which is smaller: 0 or i?
i
Let q(g) = -g**2 - 2*g - 3. Let y(o) = o**3 + 8*o**2 - o - 11. Let p be y(-8). Let s be q(p). Let c = -5 - s. Which is bigger: c or -2/19?
c
Suppose -4 = -0*j + 2*j, -w + 4*j + 11 = 0. Let o = -8 + w. Does o = -5?
True
Let l be (-1)/(-20)*6*2. Suppose 5 + 6 = o + 5*y, 2*o - y = 0. Do o and l have the same value?
False
Let y(u) = 12*u - 6. Let i be y(2). Is 17 greater than i?
False
Let f be (-3 - (-21)/6)*4. Suppose 5*c + u - 19 = -2*u, 0 = -c - f*u + 1. Which is bigger: 4 or c?
c
Let k be (20/6 + -2)*3. Suppose -k*f + 17 = -3*u, 4*u = 8*u - 2*f + 6. Which is smaller: u or 1/17?
1/17
Let i(d) = -6*d + 55. Let q be i(9). Is 3/23 >= q?
False
Let w = 2188/265 - 3/53. Let b = -359/45 + w. Is b at least 0?
True
Let g be (4 + 0)*(-9)/12. Let b = 7 - 4. Suppose -6 = 5*j - b*j. Is g less than or equal to j?
True
Let h be (3/9)/(1/(-3)). Let q(v) = v + 2. Let w be q(4). Let k be (-4)/w*(-9)/39. Which is smaller: k or h?
h
Suppose 3 + 9 = -3*a. Are -5 and a equal?
False
Let y = 3 - 6. Let s = y - -5. Which is greater: -2/9 or s?
s
Suppose -4*g = -73 + 5. Which is smaller: g or 15?
15
Let z be (-644)/(-63) + 2/(-9). Suppose 0*c - z = -c. Let v be (3/(-2))/(5/c). Which is smaller: -5 or v?
-5
Let k = -92 - -467/5. Suppose 0 = -2*b + 6*b. Which is smaller: k or b?
b
Let h(p) = -p**3 - 5*p**2 + 4*p - 3. Let l be h(-6). Suppose -y + 0*y + 4*i + 5 = 0, -5*i + 62 = 4*y. Let c = y - l. Is 5/2 equal to c?
False
Let x = -1.5 - 0.5. Let y = 2.5 + x. Let f = y - -1.5. Which is smaller: f or -1?
-1
Let d be (0 + 2/8)*8. Which is smaller: d or 1?
1
Suppose -8 = -4*a - i, 1 = 2*a + 2*i - 3. Suppose a*h = -12 + 2. Is h less than -4?
True
Let x be 1 + 3 + 60/(-14). Which is greater: 1 or x?
1
Suppose -2*d - 3*h = -24, 4*d + 2 = 5*h + 6. Let l = -1 + 0. Is d bigger than l?
True
Let v be 1 - (5 - 3)/(-2). Let d = -8 + 16. Suppose 0 = d*m - 4*m. Is v equal to m?
False
Let q = 0.1 + -2.1. Which is smaller: q or -2/17?
q
Let g be (-4)/(-14) + 594/(-21). Let v be (-4)/(-3)*1818/g. Let u = v + 87. Does u = 1?
False
Let i(n) = -n + 1. Let o(m) = -5*m + 5. Let l(r) = -6*i(r) + o(r). Let x be l(-1). Is -2 less than x?
False
Let i be 21/36 - (-1)/(-4). Let w(h) = h + 6. Suppose -14 = 5*a + 11. Let v be w(a). Is i less than or equal to v?
True
Suppose v = -3*u + 35, 3*v - 2*v = u - 13. Let t = u - 13. Let o = 3023/19 + -159. Which is greater: t or o?
o
Let w = -4 - 1. Let u be ((-2)/5)/(1/w). Suppose -1 = u*v - 3. Which is smaller: v or 3?
v
Let x be ((68/(-8))/17)/(51/20). Is x at least as big as 0?
False
Let s = -1.3 - -0.3. Is 2 < s?
False
Let m = -5 - -6. Let l be 1/(1 + (-6)/5). Let s = l - -6. Is s equal to m?
True
Let c(z) = z**3 - 7*z**2 + 3*z + 17. Let p be c(6). Are 1/35 and p non-equal?
True
Let s = -187 + 177.17. Let y = -0.17 + s. Is y at least 1?
False
Let h be (2 - (8 + -3))/(-1 - -5). Which is bigger: h or 0.15?
0.15
Suppose -3*h + 46 = -4*y, -6 = -y - 1. Do 23 and h have different values?
True
Let c be (-1)/(27/(-6) - -4). Suppose 3*p = 3*d, -c*p = p + 5*d + 24. Which is bigger: -4 or p?
p
Suppose -3*c - 21 = -6*c. Let g(k) = k**3 - 4*k**2 + 9*k + 2. Let i be g(c). Let u = -1064/5 + i. Is u greater than or equal to 0?
False
Let s = -1 + -1. Suppose 0 = 3*n, 3*n + 20 - 4 = 2*i. Suppose -2*f + 4*f = -k, -k + 2*f = i. Is s != k?
True
Let a = 77 + -91. Is -2 greater than a?
True
Let l be -1 - -2*((2 - 0) + -1). Which is smaller: 5 or l?
l
Let t = -2.2 + 4.2. Is t > 0.18?
True
Let h(a) = -a**3 + 10*a**2 - 2*a + 6. Let i be h(10). Is i at most as big as -14?
True
Suppose 12*h = 114 + 6. Let q be 1*(7 - -2)/1. Is q < h?
True
Let t(m) = 4 + 7 + 2*m - 3*m. Let p be t(8). Let r be 0*(-3)/(p + 0). Are 0 and r nonequal?
False
Let k = 6 + -3. Let q = k + -4. Let w be q/(-4)*-2*2. Which is greater: 2/7 or w?
2/7
Suppose 4*q = 2*q + 2. Which is smaller: -4/21 or q?
-4/21
Let s = -10 + 13. Suppose 0*g - 2*m = -s*g - 11, -3*m = -g + 1. Which is bigger: -4 or g?
-4
Suppose -w - 4*w + 5*x + 45 = 0, -5*w + x = -25. Suppose 14 = -w*h + 2. Let v(p) = -p**3 + p**2 - p + 2. Let g be v(2). Is h not equal to g?
True
Let g(u) = -u. Let f be g(1). Which is smaller: f or -13?
-13
Let n = -0.42 - -2.32. Let l = 6 + -4. Let u = l - n. Which is smaller: u or -0.1?
-0.1
Suppose -5*p + 6 = -9. Let f be 0 + (-1)/(-6)*p. Is f less than 0?
False
Let x(m) = m + 5. Let t be x(-13). Is -8 < t?
False
Suppose -2*p - 3*t = 8, -p + 3*t + 6 = -8. Let g = 0.2 + -0.2. Let w = g + -0.1. Which is smaller: p or w?
w
Let a be ((-2)/(-4))/(8/12). Is a smaller than 0?
False
Let c(u) = u**3 - u + 3. Let d = 11 + -11. Let x be c(d). Is 11/5 bigger than x?
False
Let t(z) = z**3 - z**2 + z + 2. Let n be t(0). Let d be n/9 + (-87)/27. Which is smaller: -4 or d?
-4
Let i = 206/385 - -2/55. Is 2 less than i?
False
Let c = -938244/3245 - -19/9735. Let i = c + 289. Which is greater: 0 or i?
0
Let l be ((-10)/6)/5*-15. Suppose -2*p - 30 = -l*u, 0*u + 5*p = -u - 21. Is 4 at most u?
True
Let d be 3/4*2/2. Suppose 5*i = 5*z + 15, -z - 4*z = 4*i - 21. Which is bigger: d or z?
z
Let u = -20 + 19. Let n(r) = 3*r**2 - 3*r. Let s be n(2). Let a be 0 + (s/(-8))/u. Is a equal to 2?
False
Let u be (-4)/8 - 6626/(-6072). Let z = u - 2/253. Let y = z + -3/4. Is 1 > y?
True
Let p(q) = -q**3 - 3*q**2 - 1. Let f be p(-3). Let m be -2*(f + (-8)/(-6)). Let w be ((-5)/(-2))/(-5)*0. Which is bigger: w or m?
w
Let x(g) = g**3 - 5*g - 2. Let d be x(-4). Is d at most -46?
True
Let s be (-1)/(-8)*-14 + 2. Which is smaller: 0.7 or s?
s
Suppose -q + 4*d - 12 = 0, 0 = -q - q + d - 17. Let o = 13 + q. Suppose 2*r - 8 = 4*n - 5*n, -o*r + 15 = 0. Are n and 3 nonequal?
True
Let f = -2 - -5. Let y = -3 + f. Let o = 2 - 3. Is y > o?
True
Let q = -119/2 + 64. Is q >= 4?
True
Let w be 2/(-8)*(-408)/(-21). Let j = 5 + w. Let b = -8 + 8. Which is smaller: b or j?
b
Let q = -14 - -35. Is q at most 21?
True
Suppose -4*u - 16 = 0, 2*u + 53 = 3*p - 9. Let d be 1 - (0 - 2) - p. Let x be 8/(-20) - 1/d. Which is bigger: 1 or x?
1
Let h = -68 - -143/2. Which is smaller: 4 or h?
h
Let f(j) = -j**2 + 2*j + 8. Let o be f(6). Let h = o - -24. Let x = h + -7. Which is smaller: 3/7 or x?
3/7
Let p(j) be the first derivative of -j**3/3 + 4*j**2 + j - 6. Let m be p(8). Are m and 9/7 equal?
False
Let z be 32/(-8)*(-1)/2. Suppose 4*b - 3 = -19. Which is smaller: b or z?
b
Let o = -2.2 - -6.2. Which is smaller: o or -9?
-9
Let j = -0.092 - -0.192. Which is smaller: j or -0.24?
-0.24
Suppose 4*a + 4 = 0, 0*s - 2*a - 6 = -2*s. Let t be ((-2)/4)/(s/(-24)). Are t and 6 nonequal?
False
Let k be 1/1 - 13/42. Let v = k + -6/7. Is v greater than or equal to 0?
False
Let d = 77/3 + -25. Is -1 at most as big as d?
True
Let b = -105 + 180. Is b <= 1?
False
Let v = -17 + 17.02. Which is smaller