0 = -2*u - 3*q + 9328, -10*q - 42 = -3*q. Is u a multiple of 2?
False
Suppose 29*q - 25*q - 16 = 0. Is 90/120 + 17/q - -310 a multiple of 45?
True
Suppose -7*y - 3 = 3*h - 4*y, 5*h - y = -11. Let r be h/10 + 264/20. Suppose -14 = -j + r. Does 9 divide j?
True
Let k = -126 - -42. Suppose -4*f = 275 - 1067. Let t = f + k. Is 19 a factor of t?
True
Let d = -3117 + 5350. Suppose 0 = 9*r - 683 - d. Is 9 a factor of r?
True
Let p(s) = -s**2 - 7*s + 23. Let g be p(-10). Let d be (g + 7)*(-1)/(-1). Suppose 4*j - 8 = d, 2*k - 6*k + 3*j = -110. Does 12 divide k?
False
Let g(n) = 162 + 2*n**2 + 8 + 30*n - 24*n. Is 14 a factor of g(0)?
False
Suppose -47*k + 1279389 = -513191. Is k a multiple of 40?
False
Suppose -2*k - 4 = -3*g + 38, -4*g + 60 = -4*k. Let i be (-12)/(-9)*g/8 + -51. Is 23 a factor of i*((-2)/8 + (-3)/4)?
False
Suppose -2*i = 3*m + 9, -2*i + 0*m - m = 3. Suppose i = -80*c + 87*c - 917. Is 54 a factor of c?
False
Let t = 126 + 164. Suppose 2*u - t = 4*v, 6*v = -u + 3*v + 130. Is u a multiple of 23?
False
Is (1983 - -9 - 8)*1 a multiple of 39?
False
Suppose 1740 = p - 5*f, 3*p - 8*p + 8870 = 9*f. Is p a multiple of 7?
False
Let j(v) = 2. Let t(n) = 2*n**2 + 2*n - 59. Let r(x) = 2*j(x) - t(x). Does 11 divide r(0)?
False
Let i(k) = k**3 - 3*k**2 - 3*k + 1187. Let n be i(0). Suppose -4*j - n = -3*u, -7*u + 1981 = -2*u - 4*j. Is 8 a factor of u?
False
Suppose -5*v - 4*v = -162. Suppose -43 = -p + g - v, -5*p - 5*g = -125. Let o = p + 25. Is o a multiple of 14?
False
Is (-14)/3*(-26136)/462 a multiple of 44?
True
Is 43 a factor of (-4)/(64/(-688))*(220 + -2)?
True
Let l(d) = -d**3 + 35*d**2 + 181*d + 14. Is 8 a factor of l(39)?
False
Let o = 6 + 1. Let s = 12 - o. Suppose -s*l - 3*k = -4*k - 183, 2*l + 3*k = 63. Does 9 divide l?
True
Let f(z) = z**2 + 5*z - 108. Is f(-36) a multiple of 14?
True
Let a(m) = 10*m - 217. Let k be a(28). Suppose 5*n + k = 358. Does 20 divide n?
False
Suppose -4*n = 2*k - 235718, 0 = -3*n - 4*k + 86343 + 90453. Is n a multiple of 58?
True
Let o(f) = 3*f**3 - 5*f**2 + 78*f + 98. Does 10 divide o(17)?
False
Let j(p) = -123*p + 255. Does 60 divide j(-55)?
True
Let u(l) = -67*l - 50. Let r be u(-16). Suppose 0 = o + o - r. Suppose 0 = 4*w - 0 + 4, -w - o = -5*b. Does 17 divide b?
True
Suppose -42*g + 515679 = 41*g. Is g a multiple of 57?
True
Let u(a) = -a**3 - 10*a**2 + 13*a + 26. Let m be u(-11). Suppose -4*z + 295 + 9 = m*t, -3*t = -5*z + 420. Is z a multiple of 15?
False
Let k(j) = -6*j**3 + 14*j**2 - 37*j - 17. Let p(f) = f**3 - f**2 + f - 1. Let o(m) = -k(m) - 5*p(m). Is 7 a factor of o(9)?
False
Suppose -17*b - 33565 = -5*o - 12*b, 3*b + 13427 = 2*o. Is 20 a factor of o?
False
Let l(o) = 163*o - 3. Let t be l(1). Suppose -404 = 4*h + t. Does 14 divide h/9*(-1 - 2)?
False
Let y = 2065 - 2122. Let n be 111/(-9)*(-12)/1. Let w = n + y. Does 5 divide w?
False
Let n be (27/6 + -7)*-2. Suppose -4*o - 2*z - 182 = -n*o, 3*o - 578 = -2*z. Is 21 a factor of o?
False
Suppose d = 4*d. Let x = 19 + -15. Suppose d = -x*a - 43 + 335. Is a a multiple of 35?
False
Suppose 15*d = 3*d + 249468. Let s = 30525 - d. Does 9 divide (-4)/30 - s/(-120)?
True
Let c be 14/4 + (-6)/12. Let j be (c - 28/8)*-4. Suppose -5*a + 4*i + 234 = 0, -4*a + j*i = a - 242. Does 10 divide a?
True
Suppose -3430 = 17*c - 7*c. Let j = -143 - c. Is j a multiple of 47?
False
Suppose 0 = 5*k - 5*q - 7238 - 1862, -4*k = 4*q - 7280. Does 20 divide k?
True
Let u(a) = 141*a**3 + 25*a**2 - 51*a + 10. Is u(2) a multiple of 71?
True
Let i = 134 + -130. Suppose -i*z = -781 - 71. Is 17 a factor of z?
False
Suppose 31 + 61 = -4*u. Let y = 13 + u. Let x(t) = t + 26. Is 8 a factor of x(y)?
True
Let q be (1*3/(-2))/((-3)/6). Let y be (-4)/(-12)*q*-6. Is 12 a factor of (10/y)/((-6)/360)?
False
Let n(j) = 48*j**3 + 2*j**2 + 5*j + 6. Let g be n(-2). Let a = 22 - g. Does 17 divide a?
False
Is 104 a factor of 3514572/122 - 16/(-488)?
True
Suppose 0 = -10*x + 31 + 89. Let j be ((-162)/10)/(-1)*5. Suppose x*h - j = 3*h. Is h a multiple of 9?
True
Suppose -10665*d + 1435 = -10672*d. Suppose -o - 1555 = -6*o. Let h = d + o. Does 12 divide h?
False
Let z(y) = -y**3 - 5*y**2 + 13*y + 427. Is z(0) a multiple of 12?
False
Suppose -5 = -y, -2*f - 16 = -f - 4*y. Suppose f*u - 632 = 28. Suppose u + 35 = 5*h. Does 10 divide h?
True
Let q = 1 + 10. Let d(r) = -r + 16. Let p be d(q). Suppose 30 + 38 = p*u + 3*z, -3*u - z + 40 = 0. Is 6 a factor of u?
False
Let n be (-2)/(-8) + 2019*(-5)/(-20). Let t = n - 365. Is 15 a factor of t?
False
Suppose -72912 = -121*r + 100*r. Does 62 divide r?
True
Let j = -20 + 40. Suppose w + 0*w + g = 0, -j = 5*g. Is (-244)/(w/(-1)) + 4 a multiple of 15?
False
Let j = -10 + 6. Let y be (1 + -5)/(j/18). Is (-194)/(-10) + y/30 a multiple of 4?
True
Is (-1228)/(-1) + (2*(-8 - -5) - 0) a multiple of 13?
True
Let v(f) = -2*f**3 - 12*f**2 - f - 4. Suppose 3*o + 21 + 15 = -5*l, -10 = l + 2*o. Let c be v(l). Suppose c*w - 5 = 43. Is w a multiple of 12?
True
Is -5993*(-2 + -1) + 0 a multiple of 13?
True
Suppose 1288978 - 5304514 = -296*z. Does 34 divide z?
True
Let d(n) = 1343*n + 690. Does 27 divide d(2)?
False
Let o = 61 + -58. Suppose o*i + 2 = 11. Suppose -9*f - 320 = -11*f + 5*h, -i*h - 159 = -f. Is f a multiple of 15?
True
Let i = 332 - 329. Suppose -15*d = -i*d - 456. Is 33 a factor of d?
False
Let c = 3391 + -2599. Is c a multiple of 18?
True
Let a(s) = s + 17. Let z be a(-17). Suppose z = 5*v - 13*v + 216. Is v a multiple of 3?
True
Let s(h) = 389*h**2 + 177*h + 1480. Is 208 a factor of s(-8)?
True
Let x = 30 - 65. Suppose 3*g - 82 = -3*v + 131, 2*g - 140 = -4*v. Let r = g + x. Is r a multiple of 7?
False
Let j(y) = 139*y**3 - 4*y**2 - 4*y + 15. Is 24 a factor of j(3)?
True
Suppose -4*h = 5 - 21. Suppose -2*d = h*r - 984, d + r - 490 = -2*r. Does 12 divide d?
False
Suppose -5*g = -j + 103, -3*g = 2*g + 4*j + 88. Let r = -14 - g. Suppose -r - 62 = -4*t. Is 11 a factor of t?
False
Let m(b) = -b**2 - 30*b. Let y be m(-30). Suppose -g - 4*w - 5 = -y*w, -2*g + 2*w + 10 = 0. Suppose -p - g*t = -57, 4*p + 3*t = -0*p + 219. Is 8 a factor of p?
False
Suppose 6*c = 1261 + 899. Is c a multiple of 5?
True
Let u = 365 - 360. Suppose 5*j + 3*v - 5*v - 2606 = 0, -u*v - 15 = 0. Is 24 a factor of j?
False
Suppose 5*t - 2054 - 7406 = 0. Is 3 a factor of t?
False
Let h be ((-36)/54)/((-2)/16632). Suppose -41*t + h = -29*t. Is t a multiple of 14?
True
Is -6 - (11 + -5 + -486) a multiple of 6?
True
Suppose -5*b - 4915 = -5*c, -4*c - 229*b + 3972 = -225*b. Does 26 divide c?
True
Suppose n - 3*c = -20, 2*c - 1 - 1 = 0. Let y = n - -22. Suppose 5*v + 0*v = -w + 146, y*v - 166 = 4*w. Is v a multiple of 8?
False
Let g(l) = 278*l**2 - 24*l + 80. Is g(3) even?
True
Let q(w) = 62*w**2 - 14*w + 15. Let n = -164 + 165. Is 2 a factor of q(n)?
False
Let l be 1/(-3) - 870/(-45). Suppose -l = -5*h + 1. Suppose -3*d = 3*t - 312, -h*d + 5*t + 657 = 196. Is d a multiple of 39?
False
Let o = -107 + 110. Suppose 288 = o*g + 3*c, 4*g - 579 = 2*c - 177. Does 59 divide g?
False
Let p(b) = -b**3 + 8*b**2 + 9*b + 5. Let s be p(9). Suppose -s*x + 2128 = 148. Suppose -3*g = 8*g - x. Does 9 divide g?
True
Suppose -5*u = 5, -3*x - 213 = -5*u + 367. Does 3 divide 1*2/(-6) - 85475/x?
True
Suppose 14*q - 45 = -17. Suppose 6 = -0*w - w - q*g, -2*w - g - 3 = 0. Suppose w = -10*a + 7*a + 396. Does 11 divide a?
True
Does 238 divide 1789000/(-80)*(((-12)/15)/1 - 0)?
False
Let f(q) = 4*q**2 - 15*q + 2. Let p(h) = h**2 - h. Let n(b) = -f(b) + 5*p(b). Let c be n(-11). Suppose -v = -c*v + 520. Does 14 divide v?
False
Suppose -3*w - d = -151, 4*d = 3 + 13. Suppose -43 = 3*c - w. Suppose x + 423 = 6*x - c*u, -3*u = -x + 95. Is x a multiple of 8?
False
Let l = -81309 + 119499. Is l a multiple of 95?
True
Let l be -6*-34*18/(-4). Let p = -458 - l. Is 23 a factor of p?
True
Let h(k) = 263*k - 611. Is h(13) a multiple of 36?
True
Suppose 690 = 4*g - 5*k - 17550, -3*g + 2*k = -13680. Does 8 divide g?
True
Is 83 a factor of (-31)/((-434)/(-168)) + 938?
False
Let x(p) = 3*p - 4. Let i be (1 - 60/(-35)) + (-2)/(-7). Suppose -4*m + 89 = i*z, -45 = m - 3*m - z. Is x(m) a multiple of 6?
False
Let w(j) = -50*j - 29. Suppose 2*d - 169 = -177. Let c be w(d). Suppose -8*a + 397 = -c. Does 28 divide a?
False
Suppose -31*d + 171682 + 17883 