v + 4*u - 28 = 0, 4*v - 5*u - r = 0. Suppose -62 = -v*o - 2. Does 13 divide o?
False
Suppose -u - 4*l = -3, -5*u - l = 4*l - 15. Suppose -u*j = 2*j - 4*s - 53, -2*j = -3*s - 24. Suppose 2*p - 93 = -j. Does 12 divide p?
False
Let x = -92 - -70. Let c(d) = d**2 + 11*d - 14. Does 38 divide c(x)?
True
Suppose -5*i = 2*c - 3466, -3*i - 2*i + 6922 = 4*c. Is 69 a factor of c?
False
Let r be (-16)/(-88) + (-4)/22. Let u be r + 1 + -4 + 3. Suppose -4*q + 11 + 45 = u. Is q a multiple of 4?
False
Let t = -187 + 311. Suppose -5*x + 155 = -k, 0 = 4*x + 2*k + 2*k - t. Suppose -33*j = -x*j - 76. Is j a multiple of 19?
True
Suppose j = a - 192, -5*a + 1153 - 199 = -3*j. Is a a multiple of 9?
True
Let y = 6 + 31. Suppose y = -5*v + 177. Is 4 a factor of v?
True
Let b = 471 + -325. Suppose 4*x + g - 110 = 0, 5*x + 0*x - b = 3*g. Is 10 a factor of x?
False
Suppose -2*l - 4 = 4. Let c be -3 + 2 + l - 4. Let o(f) = -2*f - 4. Is o(c) even?
True
Is 2 a factor of ((-1310)/(-300) - (-8)/60)*72?
True
Suppose -4*p - 115 = 3*m - 2*p, 5*m = -2*p - 197. Let l = m + 60. Is l a multiple of 17?
False
Suppose 4*i - 36 = -4*d + 9*i, -3*i + 4 = 4*d. Suppose 0 = -d*p - 3*b + 2*b + 639, 0 = 2*p - 5*b - 325. Is 26 a factor of p?
False
Suppose -318 = -2*o + 3*u, 5*o - 809 + 33 = -2*u. Suppose -15*i = -2*i - o. Is 6 a factor of i?
True
Let m = -77 + 59. Let k(f) = -f**3 - 17*f**2 + 5*f - 10. Is k(m) a multiple of 16?
True
Suppose 2*z - 274 = 302. Does 18 divide (0 - (-2)/4)*z?
True
Suppose -5*h = -u - 228, h + 2*u - 1 - 38 = 0. Does 15 divide h?
True
Let m(i) = 49*i - 7. Does 14 divide m(36)?
False
Let s(p) = 305*p**3 + 4*p**2 - p - 2. Is s(1) a multiple of 18?
True
Suppose -3*q = -18 - 6. Suppose t = 3*o - q*o + 10, t = -2*o + 4. Suppose 2*j - 152 + 50 = t. Does 14 divide j?
False
Let g be 29/5 + (-3)/(-15). Suppose -5*p - 5 = -g*p. Suppose m + 122 = p*r, -3*r - 3*m + 78 = -6*m. Is r a multiple of 6?
True
Let f(c) = c**2 + 5*c + 4. Suppose 0 = -3*u + 4*u + 4. Let q be f(u). Suppose q = 4*s + s - 100. Is s a multiple of 10?
True
Does 81 divide ((-1215)/2)/9*24/(-5)?
True
Let p be 4/20*3*15. Suppose -5*u + p*u = -24. Is 9/(-54) + (-361)/u a multiple of 18?
False
Suppose 9 = -2*m + 13. Let v be (-5 + m)*(-42)/(-18). Is 3 a factor of (-2)/((14/12)/v)?
True
Suppose 0 = -3*d + 2*r + 6 - 0, -4 = -2*d - 2*r. Suppose 0 = -2*m + 4*k + 98, d*k + k = m - 51. Does 15 divide m?
True
Suppose h = -h + 4*b + 12, 19 = -h - 3*b. Is 7 - -23 - h/(-2) a multiple of 4?
True
Let q be (-1)/(3/(-24)*2). Suppose 0 = 5*h - 2*i - 10, -4 = -6*h + q*h - i. Suppose h*t - 21 = 7. Is 9 a factor of t?
False
Suppose 3925 - 19875 = -10*u. Does 29 divide u?
True
Let x be (18/(-15))/((-2)/5). Is 2226/35 + x/(-5) a multiple of 15?
False
Suppose 5*j - 4265 = -1210. Is j a multiple of 26?
False
Suppose -5330 - 6220 = -25*q. Is 14 a factor of q?
True
Let t(r) = 10*r + 1. Let i = 19 + -17. Is 13 a factor of t(i)?
False
Let x(m) = m**2 + 14*m + 6. Let b be x(-9). Let q = -33 - b. Does 2 divide q?
True
Let g be 5/(-20) - (-50)/8. Let l be 1497/5 + g/10. Suppose 3*j - l = -3*j. Does 9 divide j?
False
Let a = -3 - -8. Suppose 8*y + 3*l = 3*y + 3, -5*y = 5*l - a. Suppose -5*w + 4*w + 4 = y. Is w even?
True
Suppose 3296 = 31*l - 4857. Is 4 a factor of l?
False
Suppose -3*r + 1277 - 254 = 0. Suppose 0 = 3*c + 12, 3*z - r - 70 = -3*c. Does 41 divide z?
False
Let q(d) = -d**2 + 13*d + 14. Let a be q(11). Suppose -5*h = 20, 5*l + h + 93 = -211. Is 7 a factor of (-4)/a*3*l?
False
Suppose 0 = -4*r + 14 + 2. Let s be (-6 + -79)/((-2)/r). Suppose s = 6*h - h. Does 17 divide h?
True
Suppose -9 = 4*z - 7*z. Let j be -1 - z - (-5 + 2). Let l(f) = 12*f**2 - 2*f - 1. Is l(j) a multiple of 6?
False
Let f = -22 - -32. Let b be 0/1 - (f + -1). Let k = -1 - b. Is k a multiple of 8?
True
Let c = -61 - -53. Let m(h) be the second derivative of h**5/20 + 7*h**4/12 - 3*h**3/2 - h**2/2 + h. Does 5 divide m(c)?
False
Suppose -3*g = 5*n + 2*g - 1835, 5*g - 383 = -n. Is 38 a factor of n?
False
Suppose -41 = -5*a - 3*p, -4*a + 4*p - 3 = -23. Let u(f) = f**3 - 8*f**2 + 16*f - 15. Is u(a) a multiple of 24?
True
Let d(w) = -w**3 - 8*w**2 - 9*w - 14. Let s be d(-7). Let x(t) = t**3 + t**2 + 306. Does 51 divide x(s)?
True
Let h(c) = -4*c + 9*c + c - 8*c + 2 + 44*c**3. Is h(1) a multiple of 5?
False
Let o = -129 - -128. Is (o + -3)*(-289)/34 a multiple of 15?
False
Let r = -278 + 1003. Suppose 5*f + r = 10*f. Is f a multiple of 29?
True
Let i = 764 + -413. Does 7 divide i?
False
Let a = 5 + -7. Let z(g) = -16*g**2 + 45*g - 40. Let l(p) = 3*p**2 - 9*p + 8. Let u(d) = a*z(d) - 11*l(d). Is u(6) a multiple of 10?
True
Let a = 6 - 6. Suppose 0 = -0*k + 3*k - 9. Suppose a*c - 195 = -k*c. Is 13 a factor of c?
True
Let r = -8588 - -13228. Is r a multiple of 40?
True
Let t(g) = 7*g**2 + 37*g + 8. Let i(q) = 3*q**2 + 19*q + 4. Let n(z) = -5*i(z) + 2*t(z). Is 53 a factor of n(-11)?
True
Let n(x) = -x**3 + 5*x**2 + 4*x - 2. Let f be (2 + 8)/(2 - 0). Suppose -2*b - b + 17 = v, 5*v + f*b = 45. Is n(v) a multiple of 8?
False
Suppose 0 = -10*a + 6*a - 8*a. Suppose a = -5*y - 3*u + 785, -2*y + 471 = y - 4*u. Is 16 a factor of y?
False
Suppose 26 = -4*z + 2*m - 4*m, 3*m = 3. Let v = 132 + z. Suppose 5*b - v = -0*b. Is 8 a factor of b?
False
Suppose z - 2 = -5, 2*x + 2*z - 14 = 0. Let j be 3/15 + (-2)/x. Suppose j = -0*d - 2*d + 44. Does 14 divide d?
False
Suppose 0 = y + 4*y + 120. Does 16 divide ((-80)/(-12))/((-2)/y)?
True
Suppose 2*i = 3*i - 2. Suppose -3 = -2*n + 5*a - i, -3*a = -3. Does 2 divide n?
False
Suppose -25*y + 6565 = -12*y. Does 52 divide y?
False
Let n(t) = t + 23. Let z(u) = 4*u + 91. Let x(r) = 26*n(r) - 6*z(r). Does 2 divide x(-21)?
True
Suppose 9*o = 6*o. Let u be -1*(o - (-5)/(-1)). Suppose -122 = 3*j - u*j. Is 16 a factor of j?
False
Let o(h) = -h**3 + 8*h**2 + 5*h + 11. Let d be o(6). Suppose 0 = v - d + 33. Does 16 divide v?
True
Let o(i) = -i - 3. Let x be o(-7). Suppose x*y - 12 = 3*y. Let z = 36 + y. Is z a multiple of 13?
False
Let m(i) = i**3 + 9*i**2 - 3*i + 11. Let x be m(-9). Does 15 divide (x + 9)*(-1 + 3)?
False
Let u(i) = i**2 - 2*i + 1. Let q be u(19). Suppose -4*p + q = -0*p. Is p a multiple of 4?
False
Let c(q) = q**2 - 4*q - 1. Let h be c(5). Let j be -2 + -6 + 3 + 5. Suppose h*z + 5*b + 3 = j, 2*z - 15 = -z + 2*b. Is 3 a factor of z?
True
Let i(n) = 3*n + 39. Let k be i(-12). Suppose -x + k*h + 77 = 0, -3*x + 256 - 9 = -h. Does 17 divide x?
False
Let s(n) = 79*n + 6. Is 10 a factor of s(6)?
True
Let u(t) = 2*t**3 + 16*t**2 - 4*t - 11. Let k be -6 + (-2)/((-1)/(-1)). Is u(k) a multiple of 10?
False
Suppose -33 = -2*n - 13. Let q be (n/10)/((-1)/(-17)). Suppose -5*h + 2*x = -11, 3*h - q = -6*x + 2*x. Is 3 a factor of h?
True
Let h(q) = -35*q - 56. Let n(w) = -7*w - 11. Let g(i) = -4*h(i) + 22*n(i). Does 19 divide g(-7)?
False
Let j be (-1)/(-2) + (-121)/(-22). Let d = 14 - j. Does 8 divide d?
True
Let y(f) = -2*f + 35. Let o be y(16). Suppose -4 - 392 = -o*d. Is d a multiple of 11?
True
Suppose -75 = -5*p - 2*z, 3*z - 26 = -2*p - 7. Let b = p - 3. Does 14 divide b?
True
Is 85 a factor of 17/(1*((-7847)/(-1120) + -7))?
True
Suppose 5*j = 18 + 12. Suppose -j*o = -8*o. Suppose -14 = -5*w - 3*i + 77, o = -w - 4*i + 8. Does 13 divide w?
False
Is 11 a factor of (-10 - -2005) + 3*3/(-9)?
False
Is (-12)/((-72)/(-150))*(-13 + 1) a multiple of 20?
True
Suppose -1366 = -4*b - 414. Is b a multiple of 14?
True
Let a(h) = 9*h**3 - h**2 - h - 1. Let j be a(-1). Is 24 a factor of j/(-55) + (251/11 - -1)?
True
Let c(f) = -3*f**3 + 8*f**2 - 4*f - 1. Let o(h) = 4*h**3 - 9*h**2 + 3*h + 2. Let p(y) = -3*c(y) - 2*o(y). Let d be p(6). Let v = d - -13. Is v a multiple of 24?
True
Suppose 5*x + 10479 - 27414 = 0. Does 25 divide x?
False
Suppose -1265*v = -1256*v - 1584. Is 16 a factor of v?
True
Suppose -4*k = -4*r + 13248 - 2612, 0 = -k + 5. Is 72 a factor of r?
True
Let r = 148 + 16. Let k = -97 - 17. Let v = k + r. Is v a multiple of 25?
True
Let g = 5 + -1. Suppose -20 = -s - g*s. Suppose -20 = -2*u + s*b, 7*u - 5*b - 30 = 2*u. Does 2 divide u?
True
Is 2*(-324)/63*-70 a multiple of 36?
True
Suppose 2*i - 24 = 14. Suppose -184*k + 190*k + 18 = 0. Let a = i + k. Does 4 divide a?
True
Suppose 0 = o + o - 2*y - 1242, -o - 2*y = -609. Let j = -419 + o. Is j a mult