 -4*p - 3*s = -90. Does 6 divide p?
True
Suppose -5*r + 930 = x + 44, 0 = 2*r - 10. Is 8 a factor of (-7)/(-42) + x/18?
True
Let u(n) = -5*n. Let l be u(-1). Suppose 12 = p + l*m - 10, 150 = 5*p + 5*m. Is p a multiple of 6?
False
Let g(k) = -30 + 5*k - 3*k + 5*k - 2*k. Is 7 a factor of g(13)?
True
Let d be 4*(15/4 + -3). Suppose 0 = o + x - 21 - 44, 0 = -d*x + 12. Does 6 divide o?
False
Let d be 26 + (0/(-4))/6. Suppose -195 = 23*y - d*y. Does 19 divide y?
False
Suppose 2*h - 687 = -267. Let c be h/4 - 3/(-6). Suppose -3*u - 145 = -5*o, -5*o - 5*u + c = -2*o. Does 6 divide o?
False
Let v(o) = 3*o**2 - 2*o. Let s be v(2). Is (32/(-6))/(s/(-12) - 0) a multiple of 3?
False
Suppose 0 = 5*j - j. Suppose j = 2*n - 3*n + 42. Let u = 113 - n. Is u a multiple of 30?
False
Suppose 6*j = 2*j. Suppose -5*t + j = -280. Does 14 divide t?
True
Suppose -7*a + 58 + 12 = 0. Suppose v - 473 = -a*v. Is v a multiple of 29?
False
Suppose -1 = -2*a + 3. Suppose -3*d + 11 = a*n, -4*n - 30 = -3*d + 11. Does 4 divide d?
False
Let h be (-4)/12 - 40/6. Let c be (4/(-10))/(h/35). Let n(g) = 22*g + 3. Does 21 divide n(c)?
False
Let k(i) = 11*i - 33. Let q(p) = 5*p - 16. Let b(g) = -6*k(g) + 13*q(g). Let d be b(-11). Let y(m) = 22*m - 2. Is 20 a factor of y(d)?
True
Suppose 3*d + 547 = 6*d + 4*r, -2*r = -2*d + 388. Suppose 5*y - 91 = d. Suppose 0 = -4*i + 4, 0*i + y = k - 4*i. Does 12 divide k?
True
Let h(s) = 5 - 2*s + 2 + 1 - 2. Let j be h(5). Let f = j - -38. Is 17 a factor of f?
True
Let r(g) = 24 + 7 - g**3 - 11 + g**2. Let l = 1 - 1. Does 5 divide r(l)?
True
Suppose -17*q + 14*q + 12 = 0. Suppose 4*n = 2*n - 5*y + 45, -2*y + 50 = q*n. Suppose n = x - 56. Does 30 divide x?
False
Let d = -995 + 3131. Is 25 a factor of d?
False
Suppose 4 = -2*g - 0. Does 3 divide g + (-21)/(4 + -7)?
False
Let t be 1 + 108 - (-9 - -11). Let b = t + -191. Does 4 divide (2 + b/(-4))/1?
False
Let i(d) = d - 33. Let g be i(-7). Let r = g + 154. Does 30 divide r?
False
Let h be 0*(-4 - -1)/6. Let t be (0 - -1)/((-7)/(-420)). Suppose -i + h*i = -t. Does 21 divide i?
False
Let a be 0/2 + -1 + 134. Let s = a + -24. Does 24 divide s?
False
Let z be 12/9 + 1/(-3). Does 10 divide (z + 449/3)*12/8?
False
Suppose 247 = 3*g + 2*m - 802, 0 = 4*m + 8. Is 13 a factor of g?
True
Let l(t) = -271*t + 1. Let n be l(1). Let i be (7/(21/n))/(-1). Suppose -5*z = -0*z - i. Is 15 a factor of z?
False
Suppose -838 = -2*k + 2*o - 106, -4*o + 1126 = 3*k. Is k a multiple of 10?
True
Let w(h) = -1 + 0*h**2 + h + 0 - h**3 + h**2. Let z be w(1). Suppose z = 5*o - 101 + 21. Is o a multiple of 6?
False
Suppose b + 252 = -35*t + 37*t, -2*t + 3*b = -260. Does 41 divide t?
False
Suppose 2*k = 2*l + 30, 2*l + 11 = -3*k + 81. Suppose -24*c + 140 = -k*c. Suppose -4*x + 5 = -c. Is x a multiple of 10?
True
Is 6 a factor of (998/(-4))/(3 + 21/(-6))?
False
Suppose -3*o = 2*p - 18, p + 4*o = 5*p + 4. Suppose 2*b - 180 = -4*v - 0*b, -p*b = -4*v + 180. Does 14 divide v?
False
Let n be (-2)/9 + 18724/18. Suppose 5*t + 3*l + 2*l = n, -3*l - 1008 = -5*t. Is 35 a factor of t?
False
Let f(u) = -u**3 - 8*u**2 - 6*u + 4. Let z be f(-7). Let b(r) = r**3 + r**2 - 5*r - 1. Let a be b(z). Does 5 divide (a/(-6)*57)/2?
False
Suppose -2*r - 140 = 2*o, -5*o - 180 = -2*r + 135. Let i = o - -125. Is 15 a factor of i?
True
Let j = 69 - 5. Let h(w) = 5*w - 16. Let x be h(4). Suppose j = -x*o + 180. Does 11 divide o?
False
Suppose 16 = -4*k, -2*j + 3*k - 3308 = -6*j. Is j a multiple of 19?
False
Let a = 205 + -78. Is 8 a factor of a?
False
Suppose -3*z - 2*l = -248, 8*z - 5*z - 236 = l. Is 3 a factor of z?
False
Suppose -3*g - 3*g + g = 0. Suppose 3*p = 3*l + 40 + 32, g = -5*p - 3*l + 96. Is p a multiple of 13?
False
Let t(v) = 113*v. Let s be t(1). Let p = -86 + s. Is 3 a factor of p?
True
Suppose 3*j - 5*i + 2*i - 783 = 0, -2*i + 6 = 0. Is 44 a factor of j?
True
Let h = -6 - -9. Suppose 0 = 4*i, -2*i = -2*r - h*i + 298. Suppose -4*p - 6*a + 3*a = -131, 3*a + r = 4*p. Is p a multiple of 11?
False
Does 37 divide (193 + 12)/((-2)/(-6))?
False
Is ((-6)/(-4))/1*(-599880)/(-180) a multiple of 13?
False
Let d(f) = 8*f + 69. Let w be d(-9). Is 37 a factor of (w + -34)*(4/2 - 11)?
True
Suppose -4*x + 2*g + 447 - 63 = 0, -g + 473 = 5*x. Suppose 0 = -4*o + 245 + x. Is 17 a factor of o?
True
Suppose -4*o - p = -9, 5*p + 3 = 4*o - 0*p. Suppose -16 = o*w - 170. Suppose w - 17 = 3*l. Is 10 a factor of l?
True
Suppose -3*h = -14 - 58. Let b = h - 7. Does 3 divide b?
False
Suppose -5*s = -8*s - 189. Let v be (-2)/4 - 438/(-4). Let q = s + v. Is 23 a factor of q?
True
Is ((-7618)/(-6) - 3)*(-684)/(-190) a multiple of 16?
True
Suppose 84*m - 131604 = -48*m. Is m a multiple of 59?
False
Suppose -l = 2*a - 470, 16*l - 3*a + 944 = 18*l. Is l a multiple of 20?
False
Let i = -236 + 359. Does 77 divide i?
False
Let q = -6 - 3. Let t = 11 + q. Suppose -t*c + 45 = 3*f, -5*f - c + 76 = 2*c. Is 6 a factor of f?
False
Let j(z) = -2*z + 5. Let i be j(4). Let r(d) = d**2 + 3*d + 3. Let k be r(i). Suppose a - 92 = -0*t - k*t, 44 = t + 3*a. Does 5 divide t?
False
Is (49140/1323)/(1 + 5/(-7)) a multiple of 8?
False
Let h(b) = 9*b**2 + 4*b - 9. Is 12 a factor of h(3)?
True
Is 21 a factor of (34365/(-60) + (-7)/(-1))*-4?
False
Let x(w) = -49*w**3 + w**2 + 3*w + 1. Suppose 0 = -0*v - 3*v - 3. Is 26 a factor of x(v)?
False
Suppose 12 = -3*t + 9*t. Suppose 0 = 3*r + t*b + b - 273, -2*b = -4*r + 376. Does 18 divide r?
False
Suppose -27*a + 2400 = -7*a. Let d = -7 - -12. Suppose b - a = -d*b. Does 7 divide b?
False
Let r be 45/(-30)*(13 - -1). Let z = 23 + r. Suppose 2*j + 1 = -t + 51, 0 = z*t - 4. Is 12 a factor of j?
True
Let n be (-46)/(-4) + (-1)/(-2). Suppose 4 = 5*b - b. Let x = b + n. Does 9 divide x?
False
Does 29 divide 12/(-2) + -5105*(-4)/20?
True
Let p = 21 + 41. Suppose 2*r - r - v = -31, r + 3*v + 11 = 0. Let o = r + p. Is 12 a factor of o?
True
Suppose -1416 = -6*f + 372. Is f a multiple of 8?
False
Let j(r) = 34*r - 5. Let q be j(-1). Let n = -14 - q. Does 25 divide n?
True
Suppose 2*g - 1677 - 69 = 0. Is 12 a factor of g?
False
Suppose -724 = 2*z - 6*z. Let f = z + -355. Let c = f - -254. Does 40 divide c?
True
Let n = 131 - 129. Does 31 divide -3*n/(-9) - 8950/(-75)?
False
Let b(y) = -36*y - 114. Is b(-8) a multiple of 24?
False
Let k = -153 + 204. Is 12 a factor of k?
False
Let m = -442 - -832. Does 6 divide m?
True
Let h be (-1 - 2) + 21/3. Suppose -3*n - 37 = -h*n. Is 7 a factor of n?
False
Suppose 4*g - 37 = -17. Suppose -3*n = -5*q - 352, 0*n = g*n - 4*q - 578. Is n a multiple of 6?
True
Let g be 1/((-333)/167 - -2). Let v = g + -109. Does 10 divide v?
False
Let i(t) = 42*t - 567. Is i(28) a multiple of 7?
True
Suppose -n - 6*n - 14 = 0. Let t = 6 + n. Suppose -g - s + 15 = -4*s, -2*g = t*s. Does 2 divide g?
True
Suppose -6*u + 5*u = -1. Is 18 a factor of (18/54)/(u/222)?
False
Let j = 235 + -126. Is j a multiple of 9?
False
Let s = 241 - -519. Is s a multiple of 23?
False
Let k be 1984/14 + (-22)/(-77). Suppose -k = 5*b - 622. Does 7 divide b?
False
Suppose 5*n - n - r = 29, 2*r = -2. Suppose -5*w + 17 + n = -2*o, -4*o - 8 = 0. Suppose -w*f = -f - 54. Does 9 divide f?
True
Let x(l) = -8*l - 12. Let r be x(-3). Let g = 24 - r. Is 5 a factor of g?
False
Does 8 divide 1655 + 6 + -9 + 0?
False
Suppose -16 - 40 = 4*v. Let l = -10 - v. Is (-149)/(-4) + 3/l a multiple of 26?
False
Let z = 38 + -28. Suppose -2*q + 3*u = u - z, 0 = -q - 5*u + 23. Is 6 a factor of q?
False
Let l be (-24)/7*(15/(-6) + -1). Suppose -l*q = -8*q - 168. Is q a multiple of 3?
True
Let t = 339 + -129. Does 15 divide t?
True
Suppose 0 = 4*k - 5*d + 7, -6*d + 2*d = 4*k - 20. Suppose 5*c = -5*g + 370, -k*c + 10 - 212 = -3*g. Is 10 a factor of g?
True
Let j(s) = 8*s - 2. Suppose -2*d = -5*q + 6 + 12, d = 4*q - 15. Let w be j(d). Suppose m = w*m - 230. Does 23 divide m?
True
Let b(o) = -4*o + 21. Let c be b(9). Is 8 a factor of 6/c + (-682)/(-5)?
True
Let a(r) = -33*r**2 - 11*r - 7. Let c(f) = -17*f**2 - 5*f - 3. Let u(n) = -4*a(n) + 9*c(n). Let o be u(1). Does 11 divide (-6)/o + (-304)/(-14)?
True
Let i(s) = -2*s - 34. Let o be i(0). Is 30/2*o/(-6) a multiple of 17?
True
Suppose 2*z + p - 111 = -2*p, z + 5*p - 45 = 0. Does 6 divide z?
True
Let p(i) = 1 - 22*i + i + 0 + 8. Is 15 a factor of p(-6)?
True
L