ue
Suppose -o + 3*o = 248. Suppose -3*g - g + o = 2*v, -5*v = 4*g - 136. Is g a multiple of 6?
False
Does 7 divide (9 + -2)*(-10 + (-3000)/(-70))?
False
Suppose 3*b = -0 + 12. Suppose -b*w + 11 = -329. Is 18 a factor of w?
False
Let x(y) = -y**2 - 18*y + 2. Let a(h) = h**2 - 11*h + 14. Let r be a(10). Suppose n - 4*l = 12, 6*n - r*n = -3*l - 31. Does 14 divide x(n)?
False
Suppose -7*w - 384 = 449. Suppose -17 - 1 = -3*b. Is 17 a factor of (b/(-2))/(7/w)?
True
Suppose 4*z - 940 - 1496 = 0. Is z a multiple of 14?
False
Suppose 10*m + 3*i = 11*m - 423, 2*i + 2050 = 5*m. Does 34 divide m?
True
Suppose 2*v - 5*v = m - 402, 3*m + 3*v - 1182 = 0. Is 26 a factor of m?
True
Let c = 44 - 164. Let s = 249 + c. Is 43 a factor of s?
True
Let v = 665 - 305. Is v a multiple of 15?
True
Is 5 a factor of ((-1225)/(-21) - 1)*3?
False
Suppose 1196 = 3*x + 188. Does 12 divide x?
True
Let z(m) = m**3 - m**2 + m + 1. Let v be z(2). Suppose f - 4*p - 6 = 0, -2*f + 2*p + 66 = 3*f. Is 7 a factor of 270/f + (-2)/v?
False
Let l be (-3 + (-11)/2)*-2. Suppose 0 = c + l - 50. Suppose 0 = -4*u + u + c. Does 3 divide u?
False
Suppose -c = -4*x + 1296, 5*x - 9*c = -4*c + 1620. Is 27 a factor of x?
True
Suppose 162 = 3*p - 3*n, 0 = 5*p - 2*n + 55 - 313. Is p a multiple of 3?
False
Suppose 0 = a - 3*a + 8. Let k(i) = 16*i - 4. Is 20 a factor of k(a)?
True
Suppose -3 = -0*v - v. Suppose 0 = -v*w - 37 + 10. Is (-3 - -5)/((-3)/w) a multiple of 3?
True
Let j be (-5)/15*-3 - -4. Suppose -5*r + j = -160. Is 5 a factor of r?
False
Let j be 9 + 4/((-4)/(-1)). Let h = j - 9. Suppose -h = -2*f + 17. Is f a multiple of 9?
True
Suppose -2*g + 3*g - 5 = 0. Let v = -71 + 4. Let w = g - v. Is 18 a factor of w?
True
Let j = -934 + 1794. Is j a multiple of 43?
True
Let c = 21 - 23. Let p(g) = -6*g**2 + g - 1. Let b(s) = -s**2 - 1. Let z(v) = 2*b(v) - p(v). Is z(c) a multiple of 10?
False
Suppose 0 = -202*z + 200*z + 1428. Is z a multiple of 42?
True
Let g(k) = k - 6. Let u be g(7). Let m be (3 - u)/((-3)/(-42)). Is (-8)/m - 130/(-14) a multiple of 9?
True
Suppose 33*x + 39*x = 301176. Is x a multiple of 89?
True
Suppose -7*w = -20*w + 1404. Is 3 a factor of w?
True
Let x(y) = 163*y**2 - 2*y - 24. Is x(-3) a multiple of 21?
True
Suppose 6930 = -5*l + 14*l. Is 35 a factor of l?
True
Let d be ((-8)/(-44) + 35/(-11))*-1. Suppose -2*z - 15 = -t + 6, -d*z + 36 = 3*t. Does 5 divide t?
True
Let q be 2/((-94)/(-31) + -3). Let b = q + -44. Is b a multiple of 6?
True
Suppose 18*u = 8*u + 6280. Is 17 a factor of u?
False
Let h = 0 + 10. Let q(c) = -c**2 + 5*c + 4. Let s be q(h). Let y = s - -96. Is y a multiple of 13?
False
Let i(o) be the second derivative of o**4/3 - o**3/6 + 3*o**2 - 13*o. Is 6 a factor of i(3)?
False
Let x = -37 + 26. Let b = x + 115. Does 10 divide b?
False
Suppose -w - 2*w + 9 = 0. Let y(b) be the second derivative of b**4/12 - b**3/3 + 5*b**2/2 + 17*b. Does 2 divide y(w)?
True
Suppose 3*j = 5*q - 1, -4*j - 3*q + 12 = -2*j. Suppose -26 - 58 = -j*d. Does 7 divide d?
True
Suppose 0*l - 4*p + 90 = -2*l, -4*l + 5*p - 186 = 0. Let r = 55 + l. Is r a multiple of 5?
False
Let v(j) = -j**3 - 34*j**2 + 83*j - 82. Does 20 divide v(-38)?
True
Does 34 divide (-8)/12 + 206/3?
True
Suppose l - 90 - 355 = 0. Is 43 a factor of l?
False
Is (-62*(-9)/36)/(2/4) a multiple of 10?
False
Let n be 7/((-44)/(-20) - 2). Suppose 85 = 5*s + n. Let i = -3 + s. Does 2 divide i?
False
Suppose -4*a + 131 = 3*n, -n - 1 = 2. Suppose p - 116 + a = 0. Does 19 divide p?
False
Suppose 36*d = 31*d + 2145. Is 33 a factor of d?
True
Let t be (-78)/21 + 2/(-7). Let y(v) = 3*v**2 + 7*v + 6. Does 7 divide y(t)?
False
Suppose 5*m + 16 = -3*z, 0 = -5*z + 6 + 9. Is 17 a factor of 1 - (0 + m + -181)?
True
Suppose 17*y - 5*y = 39132. Is y a multiple of 149?
False
Suppose 4*w - 1 + 25 = 0. Let b(u) = 4*u**2 - 4*u**2 + 2*u - 3*u**2 + 4*u**2. Is b(w) a multiple of 12?
True
Let q(a) = 2*a**3 - 5*a**2 + 3*a - 3. Let y be q(3). Let k = -23 + y. Does 18 divide k/12*27*-1?
True
Let o(s) = 32*s + 2. Suppose 4*n + 0 = 4. Is o(n) a multiple of 34?
True
Let k = -46 + 42. Is (50/k + 3)/(1/(-2)) a multiple of 19?
True
Let b be (-1)/((1 - -3)/(-8)). Let c(s) = -23*s - 3. Let d(g) = 12*g + 2. Let p(u) = -6*c(u) - 10*d(u). Is 17 a factor of p(b)?
True
Let k(j) = 8*j + 11. Suppose -g - 3 = 0, -g = -3*t + g + 51. Does 30 divide k(t)?
False
Suppose -3*u + 4 = -2*u. Suppose -d = -u*d - 180. Does 10 divide ((-10)/3)/(4/d)?
True
Suppose -3*n + v + 548 + 2184 = 0, 5*n + 2*v - 4546 = 0. Is 70 a factor of n?
True
Suppose 0 = -k + 3*m + 17, 0 = 4*k + m - 3 - 13. Suppose 4*f + 40 = -5*g + g, -k*f + 58 = -4*g. Let j = 24 + g. Does 10 divide j?
False
Let p = 389 - -61. Does 10 divide p?
True
Let l(o) = 13*o - 10. Let r be l(1). Suppose 0 = -3*g - 2*g. Suppose g = 3*m + 2*a - 15, 4*m - r*a + 4*a - 25 = 0. Is m a multiple of 5?
False
Suppose 0 = -10*o + 73 + 1577. Is o a multiple of 15?
True
Let n be (-4 + 3)*(0 - -1). Let b be (6 + n)/((-8)/(-80)). Does 17 divide (-4)/(-10) + 2430/b?
False
Let f = -742 - -1352. Is 41 a factor of f?
False
Suppose 0 = o - 4*t + 69, -2*t = 5*o + 410 + 45. Suppose 572 = 2*b + 2*b. Let u = o + b. Is 18 a factor of u?
True
Let l = 22 - 11. Let k(j) = -j - 1. Let m be k(l). Let x = 36 + m. Is x a multiple of 8?
True
Let n(u) = 28*u**2 + 4*u - 3. Let r be n(3). Suppose -4*q = -5*k + 1042, r - 43 = k + 4*q. Suppose -2*s + 5*p = s - 102, -k = -5*s - 5*p. Is s a multiple of 13?
True
Is 35 a factor of 1539/(-1)*(-2)/(-9)*-3?
False
Let l = -12 - -1. Let a(k) = -k**3 - 11*k**2 - 10*k - 30. Is a(l) a multiple of 16?
True
Let y = 1823 + -723. Does 44 divide y?
True
Let m be (0 + 2 - 4)*-2. Suppose f - 2*b - 3 = 0, -f - m*b = 4*f + 13. Does 2 divide (-1 + f - -1)*-7?
False
Suppose -1 = 2*d - 3, 3*d - 1 = y. Suppose 5*g + 36 = -y*s + 380, -3*g = s - 206. Does 17 divide g?
True
Suppose r - 11 = 21. Suppose 5*g - r = -2. Let w(k) = -k**2 + 7*k + 8. Is 4 a factor of w(g)?
False
Suppose -5*m + 2*m - 111 = 0. Let p = -16 - m. Does 4 divide p?
False
Suppose 5*l - 10478 = -8*l. Does 13 divide l?
True
Let t be (40/(-50))/((-4)/10). Is -1 - (-21)/t - 1/(-2) a multiple of 3?
False
Suppose o - 5 = 0, 0 = 4*k + 11*o - 14*o - 3825. Does 35 divide k?
False
Let p = 20 - 18. Suppose g + 21 = v, 44 = p*v + g - 1. Is v a multiple of 4?
False
Let i(s) = 12 + 3 + 4*s - s**2 - 7 + 2*s**2. Does 17 divide i(-7)?
False
Let q(s) = s**2 - 4*s - 8 - s - 12*s. Is 26 a factor of q(23)?
True
Let c = 490 + -721. Let u = 417 + c. Does 31 divide u?
True
Let r(q) = 119*q - 3. Is r(4) a multiple of 15?
False
Let l = 3 - 15. Let o = l - -148. Is 24 a factor of o?
False
Suppose 0 = 4*l - 4*p - 676 + 192, l + p - 119 = 0. Let d = l - 106. Is 2 a factor of d?
True
Suppose 172 = -36*x + 32*x. Let k = 76 + x. Is 2 a factor of k?
False
Does 3 divide 36952/80 + -15 + 2/20?
True
Let a be ((-2)/4)/((-1)/8). Let u be (6/(-12)*-11)/((-2)/(-24)). Suppose a*n - 116 = -4*g, g + u = 3*g - 2*n. Is 9 a factor of g?
False
Let u = 17 + -26. Let z be ((-2)/6)/(u/81). Suppose -3*b + 118 = -5*d, 2*d + 20 = z*b - 110. Is b a multiple of 16?
False
Let h(q) = -189*q + 139. Is 13 a factor of h(-4)?
False
Suppose 0*m - 4 = -2*m. Let b(x) = 4*x**2. Is b(m) a multiple of 8?
True
Let n(s) = -54*s**3 - s**2 - 3*s - 5. Is n(-2) a multiple of 33?
True
Let l be (312/20)/2 - 16/20. Let y(p) = p**3 - 2*p**2 - 14*p - 2. Does 10 divide y(l)?
False
Is 699 + (-9 - -5) - 0/(-6) a multiple of 57?
False
Let i(o) = o. Let r be i(3). Suppose -80 = -5*c - l, -r = 2*c + 5*l - 12. Does 11 divide c?
False
Suppose -53 = 3*v + 5*a - 222, 0 = -5*a - 5. Let l be (-5 - 34/(-5))*20. Let n = v - l. Is 11 a factor of n?
True
Suppose 4*o + 13*h - 338 = 16*h, 5*o - 419 = 2*h. Let g = o + -25. Is 11 a factor of g?
False
Let s(g) = g**2 + 41*g - 172. Does 35 divide s(10)?
False
Let t be ((0 + 4)/1)/(-2). Let f be 4 + t - -16 - -4. Is 8 a factor of (-1 + 2)*f - 0?
False
Let v(l) = -l**3 + 8*l**2 - 5*l + 5. Let h be v(8). Let p = h + 68. Is p a multiple of 15?
False
Suppose -2*a - 4*p + 1532 = 0, -5*p - 1296 - 1013 = -3*a. Is a a multiple of 24?
True
Let a(z) = -45*z. Let u be a(-7). Suppose 0 = -9*w + 4*w + u. Let r = -45 + w. Is r a multiple of 5?
False
Suppose 0 = -21*o + 33*o - 864. Is 36 a factor of o?
True
Suppose 4*f + 12 = 7*f. S