Suppose q = k*q - 2*i - 41, -3*q + 2*i = -107. Let s = q + -16. Is s a multiple of 17?
True
Let g = 1428 + -445. Does 11 divide g?
False
Let w be ((-6)/(-2))/(9/6). Suppose -5*h = 0, 0*h = -3*k + w*h - 450. Let q = k + 213. Is q a multiple of 21?
True
Suppose 8 = 4*m - 0. Suppose -3*g + 45 = q + g, -111 = -m*q - g. Is 10 a factor of q?
False
Let n(c) = -9*c - 8. Suppose -4*r + 44 = -4*z, r = -3 - 1. Is 24 a factor of n(z)?
False
Let l(b) = -b + 30. Is 2 a factor of l(-9)?
False
Does 15 divide ((-528)/60)/(1/(-20))?
False
Suppose 0 = -a + 84 - 92. Suppose -3*u - 17 = -2*u. Is -12*u*(-2)/a a multiple of 23?
False
Let d = 3 - -196. Suppose 6*m - 515 - d = 0. Is m a multiple of 15?
False
Let g = 490 - 339. Is 12 a factor of g?
False
Let z = -3 - -5. Suppose -5*i = -3*x - 12, i - 2*x = -7*x + 8. Suppose -4*h + 23 = t, -2*t + z*h - i*h + 11 = 0. Does 2 divide t?
False
Let s(b) = -b**3 - 8*b**2. Let k be s(-8). Suppose -2*d = 3*n - 280, n - 2*n = k. Is d a multiple of 18?
False
Let j be 3/18 + (-287)/(-42). Is -14*((13/j)/(-1) + 1) a multiple of 2?
True
Let g(l) = -9*l - 10. Let k(m) = 5*m + 5. Let z(n) = 3*g(n) + 5*k(n). Let f be z(-5). Suppose h - 22 = f. Is 14 a factor of h?
False
Let y = 75 - -96. Is 9 a factor of y?
True
Let h(j) = -2*j + 4. Let f be h(-1). Suppose p - 65 = 5*r, -2*p + 4*r - 332 = -f*p. Does 10 divide p?
True
Does 19 divide (-39)/78 - (-767)/2?
False
Suppose 0 = 86*q - 60433 + 6683. Is q a multiple of 25?
True
Let l(w) = w**3 - 5*w**2 + 7*w - 5. Let b be l(4). Suppose -m + b + 45 = 0. Is m a multiple of 13?
True
Let u be 2 + 1/1 + 0. Suppose 5*r - 594 = u*f, r - 135 = -3*f - 9. Is 8 a factor of r?
True
Suppose 18983 + 56347 = 45*g. Is 31 a factor of g?
True
Let b(l) = l**3 + 9*l**2 + 7*l + 8. Let u be b(-8). Let i(c) = -4*c + 112. Let j be i(27). Suppose 0 = -5*n + 5*d + 85, 4 - u = -n - j*d. Does 8 divide n?
True
Suppose p - 99 - 36 = 0. Let v(h) = -2*h**3 - 3*h**2 - 2*h + 1. Let i be v(-2). Does 3 divide (2/3)/(i/p)?
False
Suppose 1568 = 5*t + 378. Is 14 a factor of t?
True
Suppose -46 = -3*p + u + 4*u, 0 = 2*u - 2. Suppose -p = 2*o - 57. Suppose -3*f - 2*f = o, 621 = 5*r - 4*f. Does 32 divide r?
False
Let n(h) = 14*h + 4. Let z(g) = 15*g + 5. Let w(i) = 4*n(i) - 3*z(i). Let c be (-2)/((-24)/10 - -2). Does 20 divide w(c)?
False
Let l = 401 + -182. Let v = l + -3. Is v a multiple of 12?
True
Let h = 27 + -25. Suppose -p + 12 = h. Suppose 0 = 2*j - 6 - p. Is 8 a factor of j?
True
Suppose -d = -106 + 342. Let r = d - -331. Does 15 divide r?
False
Let z = 4 + 33. Suppose -3*s = 3*d - 9, -4*d + 23 = -3*s + 4. Suppose -v = -2*u + z, -4*u - d*v + 7*v = -79. Is 11 a factor of u?
False
Let c = -18 + 21. Is (c/6)/((-2)/(-432)) a multiple of 12?
True
Let m(j) = 17*j**2 + 15*j - 53. Does 59 divide m(7)?
True
Suppose 24*z - 20 = 28*z. Let b(x) = 8*x**2 - 6*x - 10. Does 20 divide b(z)?
True
Suppose -8*u - 12 = -10*u. Let p be (10 + 2)*(-4)/u. Is 22 a factor of 552/10 + p/(-10)?
False
Suppose -22 + 2 = -5*q. Suppose -3*j = -q*i + i + 3, 5*i - 9 = 4*j. Let p(v) = v**3 - v**2 - 3*v. Is p(i) a multiple of 24?
False
Suppose 0 = 3*y - 3*x - 1122, 2*y - 4*y + 763 = -5*x. Is y a multiple of 7?
False
Let q be (-9 - -11)*(-18)/4. Let v be (28/21)/((-6)/q). Suppose 2*p = p - w + 11, 4*p - v*w - 56 = 0. Is 8 a factor of p?
False
Let c = 10 + -10. Suppose -2*z + 33 - 5 = c. Let a = z - 3. Is a a multiple of 3?
False
Let h be 6/(-21) - 37/(-7). Suppose -3*s + h = -4. Is (-2 + 3 - s) + 6 a multiple of 4?
True
Suppose -7*s = -11*s - 176. Let v = 107 + s. Is v a multiple of 7?
True
Let t be 6 - (-1 + 0 - (-11 + 11)). Suppose -694 + 1898 = t*a. Is 43 a factor of a?
True
Suppose -q + 12 = -5*q. Let m be 1/(2/(-144)*q). Suppose 0*h + m = h. Does 12 divide h?
True
Does 12 divide ((-8140)/(-111))/((-1)/(-18))?
True
Let f(q) = 68*q**2 - 8*q + 2. Is f(-2) a multiple of 9?
False
Is 14 a factor of -6*((-238)/10)/(33/55)?
True
Suppose 2 = 4*h - 46. Suppose 4*d - 16 = -3*s, 5*s - 3*d + h = -0*d. Suppose s = -3*m + 2*m + 30. Is m a multiple of 10?
True
Let i(n) = n**3 + 4*n**2 - 13*n - 6. Is 20 a factor of i(-5)?
False
Let g be 79/(-7) + 8/28. Let k(t) = -11*t - 8. Is k(g) a multiple of 22?
False
Suppose 0 = 9*s - 41*s + 3200. Is s a multiple of 8?
False
Suppose -3*t + b = t - 76, 0 = t + b - 19. Let x = t - 7. Is 12 a factor of x?
True
Let y(i) = 4*i - 1. Let b be y(1). Suppose l + 4*j = -5, 8 = 4*l - b*j + 5*j. Suppose -z + 4*c = 4*z - 124, -l*c = 3*z - 96. Is z a multiple of 14?
True
Suppose 4*t - 30 = -2*t. Suppose 6*a - a = 4*z - 523, t*a = -z + 137. Is 12 a factor of z?
True
Let p(c) = -31*c + 1. Let n be p(8). Let i = n - -371. Is 12 a factor of i?
False
Suppose d - 79 - 25 = 0. Let b = d + -58. Does 6 divide b?
False
Let n = 11570 - 6407. Is 32 a factor of n?
False
Let t(u) = -4*u + 31. Let j(r) = r**2 - r - 4. Let w be j(-2). Suppose -h = 2*d + 10 + 6, -w*h + 2*d = 32. Is t(h) a multiple of 19?
True
Suppose -1669 = -m - 2*k, 3*m - 8*m = 2*k - 8369. Is 13 a factor of m?
False
Suppose -678 - 477 = -5*n. Is 14 a factor of n?
False
Let l = 1006 + -339. Is 29 a factor of l?
True
Let h be (-1)/1 - 4/(-8)*6. Suppose h*i + 5*q - 288 = -2*i, 3*q - 144 = -2*i. Does 18 divide i?
True
Suppose 7808 = -223*c + 227*c. Is c a multiple of 30?
False
Let m(c) = c**3 - 15*c**2 + 15*c - 8. Let j be m(14). Let p = 4 + j. Is 5 a factor of p?
True
Let m be (6/(-2) - 0)*-1. Let p(b) = b**3 - 4*b**2 + 5*b - 3. Let o be p(m). Suppose 0 = r - o. Is r a multiple of 3?
True
Suppose 4*x = 0, -8500 = -3*b - 3*x + 4502. Is 15 a factor of b?
False
Suppose 18313 = 21*j + 169. Does 5 divide j?
False
Let m(f) = -f**2 + 4*f + 32. Let d be m(6). Suppose 0 = k + 2 - d. Does 3 divide k?
True
Is 90/((4/490)/((-39)/(-195))) a multiple of 13?
False
Suppose 0 = 4*b + 12, -2*q = -2*b + 66 - 318. Does 15 divide q?
False
Let x(t) = 14*t**3 + t**2 - 2*t - 2. Let g be x(3). Let u = g + -221. Does 63 divide u?
False
Let h = 20 - 18. Suppose q - h = -0*q. Suppose -4*c = q*o - 164 + 64, 5*c - 2*o = 143. Is c a multiple of 23?
False
Let c(y) = -2*y**2 - 7*y - 6. Let i be c(-5). Let o = 14 - i. Is 7 a factor of o?
True
Let j(i) = i + 15. Suppose 4*h + 4*y = -60, 5*h - 3*y + y + 61 = 0. Let t be j(h). Suppose 3*z - 157 = -6*n + t*n, z - 5*n - 65 = 0. Is 11 a factor of z?
True
Let j be 1*(154*-1 - 3). Let m = 305 + j. Is 37 a factor of m?
True
Let w = 528 + -224. Is w a multiple of 16?
True
Let b(d) = -d**3 + 19*d**2 + 3*d + 76. Is b(19) a multiple of 19?
True
Let a = -364 - -457. Is 80 a factor of a?
False
Let q = -134 - -182. Is q a multiple of 6?
True
Let g(r) = 2*r + 1. Let w be g(1). Is 26/78 - (-704)/w a multiple of 18?
False
Let y(p) = 32*p**3 + 11*p**2 - 20*p + 1. Is y(5) a multiple of 24?
True
Let y = 1041 + -753. Is 4 a factor of y?
True
Suppose 11*h = 5*a + 9*h - 2985, 2*a + h - 1194 = 0. Does 14 divide a?
False
Suppose 0*x + 3*x = -21. Let k = -8 - x. Let b(s) = -34*s - 1. Is 20 a factor of b(k)?
False
Let r = 2266 + -1327. Let u = r + -666. Is 39 a factor of u?
True
Let t be ((-20)/(-15))/((-4)/(-6)). Suppose 0 = -t*c + 3*c - 24. Is c a multiple of 12?
True
Suppose 191 = 12*k + 35. Suppose 5*x - 4*x = -3. Let z = x + k. Is 10 a factor of z?
True
Suppose 0 = -0*y + 7*y + 308. Let r = -18 - y. Is r a multiple of 13?
True
Let k = 19 - 19. Suppose -w - 3*w + 452 = k. Is w a multiple of 12?
False
Let p = 36 - 61. Let k = 180 + p. Does 31 divide k?
True
Suppose 333*m - 336*m = -2847. Does 73 divide m?
True
Let o(u) = -u**2 + 5*u - 4. Let f be o(3). Suppose -58 = -6*t + 26. Let h = f + t. Is 16 a factor of h?
True
Suppose 5*n - 12 = 23. Is 13 a factor of 60/n*(1 - -6)?
False
Suppose -k + 5*k = 460. Suppose -b = 4*i + 32, -2*b - k + 7 = -3*i. Let p = -16 - b. Does 10 divide p?
False
Suppose 0 = -5*a - 9*a + 56. Suppose -4*p + 0*p + 5*t = -443, t + 447 = a*p. Is 8 a factor of p?
True
Let t(a) = 50*a + 2. Is 92 a factor of t(11)?
True
Let z be -9 - (5 + (2 - (-3 + 9))). Let o = 26 - z. Does 9 divide o?
True
Let w = -2 - -4. Suppose w*t = -3*t + 90. Is 6 a factor of t?
True
Suppose -82*f + 10500 = -67*f. Does 20 divide f?
True
Let o(r) = -2*r**3 - 8*r**2 + 5*r - 6. Let k be o(-5). Let l = -19 + k. Suppose 4*z - 100 = -l*z. Is 10 a factor of z?
False
Let k be -2 + 5 - (-3)/(-3). Does 3 divide 6/k*1*3?
True
Let