24 = -33*s - p. Is s a multiple of 13?
False
Suppose 7*i - 7 = 28. Suppose 0*f = i*f - 3*c, -f - 2*c = 0. Suppose -42*u + 38*u + 560 = f. Is 28 a factor of u?
True
Suppose -2*y = -q + 5, 4*q - 3*y - 11 = -4*y. Let v be (12 + -4)*q/(1 + 5). Suppose -5*d + v*x = -0*x - 36, 3*x = -2*d - 4. Is 2 a factor of d?
True
Suppose 5*j - 5*k - 61265 = 0, -5*j + 61283 = -0*j + 4*k. Does 215 divide j?
True
Suppose 28 = 4*r + 3*v, 0*r - 4*r + 8 = -2*v. Suppose z + 60 = r*z. Is 4 a factor of z?
True
Let d(i) = -10*i**3 - 68*i**2 - 85*i + 7. Let f(q) = 7*q**3 + 45*q**2 + 57*q - 5. Let l = 14 - 7. Let a(j) = l*f(j) + 5*d(j). Is a(-24) a multiple of 8?
True
Suppose 37*s - 110685 = 361731. Is 48 a factor of s?
True
Let r(w) = 7*w**2 + 11*w - 8. Let y(h) = 15*h**2 + 23*h - 18. Let j(k) = 5*r(k) - 2*y(k). Is 6 a factor of j(-4)?
False
Suppose 2*i + 4*x = 3974, 5*x - 3*x = 4. Suppose 7*p + 100 = i. Is 32 a factor of p?
False
Let f = -7110 - -7215. Is f a multiple of 16?
False
Suppose -j + 11 = -4*a - 45, -5*j = 3*a - 326. Let b = 4 + j. Suppose 69*x = b*x + 136. Is 17 a factor of x?
True
Let d = 4639 - 2681. Is d a multiple of 22?
True
Let j be (-194)/(-7) - 9 - (-2)/7. Suppose -6 = j*u - 291. Is 11 a factor of u?
False
Let h = 3336 - -1398. Suppose h = 108*f - 99*f. Is 12 a factor of f?
False
Suppose -4*i - 3*s + 24 = -0*i, 5*s = -i + 23. Let y(j) = 26*j**2 - 2*j + 5. Is y(i) a multiple of 25?
False
Let g(h) = 4*h**3 - 7*h**2 + 68*h - 162. Does 13 divide g(14)?
False
Let r(f) = -f**3 + 8*f**2 - 4*f - 17. Let w be r(7). Suppose 0 = -w*q - 0*q + 1480. Is 20 a factor of q?
False
Is (-3)/(-27) - (-20 + 226420/(-180)) a multiple of 9?
True
Let q(z) be the first derivative of -z**3/3 + 2*z**2 + 28*z - 11. Let f be q(8). Is 8/f + 6 - -2*2 a multiple of 4?
True
Let j(s) = s**2 + 15*s + 41. Let n be j(-12). Let g(b) = -88 + 5*b - 3*b + n*b**2 + 2*b + 77. Does 17 divide g(5)?
False
Let s(x) = -x**3 + 6*x**2 + 7*x + 4. Let d be s(7). Suppose -4*o + 440 = -10*f + 14*f, 0 = -d*f. Is 10 a factor of o?
True
Suppose 4*c - 9*c + 10 = 0, 5*u = -5*c + 35. Is 12 a factor of 68/u*(-2535)/(-78)?
False
Suppose -r + 0*n - 2*n + 1 = 0, -3*n - 3 = 0. Does 20 divide 34/(-51) + 797/r?
False
Does 33 divide (-1161)/12*(4 + 700/(-21))?
True
Suppose 0 = 6*t - 1797 - 315. Suppose -3*g = -t - 224. Is g a multiple of 12?
True
Let n(f) = f**3 - 20*f**2 + f - 18. Let k be n(20). Suppose -c + 0 = 3*t - 73, 3*c - k*t = 208. Does 10 divide c?
True
Let d(z) = -z**3 + 20*z**2 + 10*z - 23. Let c(t) = 4*t**2 + 11*t. Let x(g) = -g**3 + 9*g**2 - 9*g + 4. Let j be x(8). Let b be c(j). Is d(b) a multiple of 36?
False
Let z(n) be the second derivative of -n**4/3 - n**3/6 + 8*n. Let k be z(1). Let j = 25 - k. Is j a multiple of 3?
True
Let s(v) = 46*v + 6. Let n be s(-4). Let f(k) = 17*k**2 - 120*k + 7. Let g be f(9). Let d = g + n. Does 21 divide d?
True
Let v = -24645 - -34947. Does 24 divide v?
False
Let y(u) = 4*u - 62. Let b be y(18). Let a be (12/b)/(6/615). Suppose a = 3*k - 24. Does 3 divide k?
False
Let r = -97 - -99. Suppose g = -5*u - g + 56, -g + 23 = r*u. Does 8 divide 51 - (u/(-5) + 5)?
True
Suppose 0 = -9*h - 8*h. Suppose 5*d + 2*x - 6653 = 3433, h = -d + 5*x + 2001. Suppose 0 = -13*p + 20*p - d. Is 18 a factor of p?
True
Let c(d) = -44*d - 74. Let b be c(14). Is ((-3)/2)/(3/b) a multiple of 15?
True
Let l(f) = f**3 + 8*f**2 - 8*f + 9. Let o be l(-9). Suppose o = 122*m - 129*m + 1463. Does 12 divide m?
False
Suppose 0 = -3*s - 12, 3*b - 3797 = 4*s + 20096. Is 21 a factor of b?
True
Suppose -4*p - 81 - 111 = 4*k, 5*k - 4*p + 276 = 0. Let c = k - -1347. Is 40 a factor of c?
False
Let y = 554 + -163. Let j = -333 + y. Is 37 a factor of j?
False
Let s be 757 + (10/(-25) - 51/(-15)). Suppose -207*u + 205*u = -s. Is u a multiple of 13?
False
Suppose 0 = -3*q - 3*x, 3*x = -0*q - 5*q + 10. Let h be (737 - -2 - q)/(1 - 3). Let b = h + 582. Does 15 divide b?
False
Suppose p = -4*p - 595. Suppose -90*n + 70*n = -140. Is 5 a factor of (-1)/1 - p/n?
False
Let m(w) = w**3 + 32*w**2 - 24*w + 30. Is 17 a factor of m(-17)?
False
Does 19 divide (2/(-2))/(((-16)/3 - -5)/1159)?
True
Suppose 42*o = 191001 + 1329819. Does 19 divide o?
False
Let k = -424 + 437. Let q(c) = c**3 + 16*c**2 - 6*c - 23. Let m(g) = 3*g**3 + 33*g**2 - 11*g - 46. Let z(d) = -2*m(d) + 5*q(d). Is z(k) a multiple of 5?
False
Let f(h) = 40*h**2 - 85*h + 408. Does 3 divide f(6)?
True
Let r(v) = -5*v**3 + 146*v**2 + 10*v + 72. Is r(29) a multiple of 21?
False
Let f = -106 + 165. Let s = f + -54. Suppose -u + 2*g + 174 = 0, 496 - 112 = 2*u + s*g. Is u a multiple of 13?
True
Let c be ((-9)/(-3) - -2) + -1. Let t be c + (1 - 0)*12. Let x(b) = 2*b + 6. Does 19 divide x(t)?
True
Let q = 34 - 43. Let f = -9 - q. Suppose f = 5*y + 14 - 59. Does 3 divide y?
True
Let u(b) = -b**3 - 2*b**2 + 9*b + 10. Let m be u(8). Let a = m + 843. Does 15 divide a?
True
Let l(c) = 941*c - 1182. Does 16 divide l(6)?
True
Suppose -65*k + 170002 - 85803 + 195301 = 0. Does 6 divide k?
False
Let t(d) be the first derivative of 8*d**3 + 3*d**2 + 14*d - 104. Is t(-6) a multiple of 25?
False
Suppose -5*h - 25 = -3*y, -2*h + 13 = 3*y - h. Let z = 38 - 33. Suppose 2*t = -2*b - t + 33, 75 = y*b + z*t. Is 12 a factor of b?
True
Suppose -3*z - 2*j = -16, -9*z - 10 = -4*z - 4*j. Suppose -1423 = -4*v + f, -2*v + z*f + 1781 = 3*v. Does 71 divide v?
True
Let f(s) = 9*s - 63. Suppose -40 + 268 = 19*c. Is 25 a factor of f(c)?
False
Let a(m) = 7*m**3 - 6*m**2 - 6*m - 370. Let s(o) = -8*o**3 + 7*o**2 + 7*o + 370. Let t(b) = -6*a(b) - 5*s(b). Is 37 a factor of t(0)?
True
Let o = 617 + -792. Let a = o + 433. Is a a multiple of 38?
False
Suppose 15 = -5*d, -109*b + 409 = -107*b + d. Let i = 27 - 125. Let c = b + i. Is 18 a factor of c?
True
Suppose 20 = 5*x - 73*i + 70*i, -2*x + 2*i + 8 = 0. Let g(w) = -113*w - 5. Let b be g(-6). Suppose -5*n + 1005 - 312 = 4*f, x*f + n = b. Does 44 divide f?
False
Let k = 24380 - 15308. Is 14 a factor of k?
True
Let f(x) = 227*x - 10. Let i = 305 + -301. Does 12 divide f(i)?
False
Suppose z = -4*i + 5, 0*i + z + 7 = 2*i. Suppose -2 - i = 4*g. Is 3 a factor of ((-2)/(-3))/(((-7)/126)/g)?
True
Suppose -3*n = -2*x + 23, 0 = -4*x - 3*n + n + 22. Let u = 11 - x. Suppose -347 = -u*f + 241. Does 15 divide f?
False
Let h(c) = -3*c + 19 + 11*c**2 - 7*c**2 - 5*c**2 - 3*c. Let v be h(-8). Suppose -v*w + 4*n = -389, 0 = -2*w - 2*n + 274 + 4. Is 15 a factor of w?
True
Does 39 divide -1686*13*(-8)/(-288)*-18?
True
Suppose -o + 3*n + 56 = 0, -5*o + 2*n = 6*n - 299. Suppose -4*l = -5*k - o, l = -3*k + 2*l - 34. Does 33 divide (-4 + 7)/((-3)/(15*k))?
True
Suppose 1802 = -4*w + 8182. Does 81 divide w?
False
Let d(f) be the third derivative of -27*f**2 - 17/3*f**3 + 0*f - 3/2*f**4 + 0. Is d(-6) a multiple of 31?
False
Let l(k) = 16*k - 13 + 7 + 5. Let t(b) = -b**2 + 15*b - 3. Let z(c) = 2*l(c) - 3*t(c). Is z(6) a multiple of 7?
False
Suppose 0 = -3*k - 92 - 31. Let b = 41 + k. Suppose 4*q + 4*l - 104 = b, q + q - 49 = -5*l. Does 27 divide q?
True
Suppose -1488 = -7*z + 871. Suppose -2*i = -4, 4*i - 2 = 2*v + 3*i. Suppose v = -0*n - n + 3*w + 73, 0 = 5*n - w - z. Is n a multiple of 21?
False
Let w = -4421 - -7141. Is w a multiple of 34?
True
Let y = 1020 + -780. Is 10 a factor of y?
True
Suppose -11*h + 535 = -620. Suppose 0 = 101*i - h*i. Suppose 0 = -i*o - 2*o + 132. Is 22 a factor of o?
True
Suppose 13*v = 5*b + 18*v - 10435, -2*b + 4149 = -3*v. Is 6 a factor of b?
True
Let k(n) = 13*n - 7. Suppose 2*l = 3*c + 5*l - 12, 2*l + 10 = 4*c. Let j be k(c). Suppose -j = d - 2*d. Is 8 a factor of d?
True
Let p(w) = -w**3 + 19*w**2 - 34*w - 77. Is 4 a factor of p(16)?
False
Let a(h) = -4*h + 40. Let x(t) = 1. Let s(k) = a(k) - 8*x(k). Is 14 a factor of s(-12)?
False
Suppose 0*x + p = -4*x - 2, 0 = -4*x + 5*p + 10. Suppose 2*o - 2*f + 48 + 42 = x, -5*o + 4*f = 226. Let j = 61 + o. Is 7 a factor of j?
False
Suppose 0 = -4*o - 32, -4*q = -41*o + 46*o - 13508. Is q a multiple of 29?
False
Let v(x) = -24*x**3 - 23*x**2 - 131*x - 3. Is 75 a factor of v(-6)?
False
Let d(z) be the first derivative of -72*z**2 + 6*z - 59. Is 21 a factor of d(-2)?
True
Suppose 15*p + 16962 = 171*p - 17202. Is 30 a factor of p?
False
Let n = 9531 + -6939. Is 24 a factor of n?
True
Suppose -5*v = -6*k + 2*k - 30500,