actor of 123/(-205) - (-1753)/5?
True
Suppose 0 = 4*p + 29 - 117. Suppose -4*s - x - 43 = 0, -3*s + 3*x - p = 14. Is 17 a factor of (s - -15) + 94/2?
True
Suppose 72*p - 48624 = -384. Is p a multiple of 62?
False
Let u(n) = n**2 - 4*n + 9. Let p be u(3). Let z(k) = -10*k + 7. Let y(q) = q**2 + 11*q - 7. Let v(x) = 3*y(x) + 4*z(x). Does 24 divide v(p)?
False
Let m(t) = 6*t**2 + 18*t + 12. Is m(6) a multiple of 16?
True
Suppose -4035*j - 1078 = -4036*j. Does 14 divide j?
True
Let d(a) = -13*a - 18. Let v(p) = p + 5. Let h be v(-3). Let y(r) = 1. Let n(l) = h*y(l) + d(l). Does 13 divide n(-8)?
False
Suppose 0 = -3*q - q. Let v(w) = 4 + w**2 + w + 0*w + q*w**2. Is v(-5) a multiple of 12?
True
Let o = 283 + 424. Does 2 divide o?
False
Suppose -720 = -k + 3*x - 99, -k - x = -641. Is 18 a factor of k?
False
Suppose -1058*n = -1053*n + 10. Suppose -2*v + 4 = 3*b, -5*b = v + 3*v - 8. Is (n - b - -74) + -2 a multiple of 21?
False
Let d(x) = -x**2 + 2*x + 8. Let r be d(4). Let v(t) = t**2 - 4*t + 161. Is 22 a factor of v(r)?
False
Let v be (0 - 2)/((-1)/(-2)). Let s be (88/(-55))/(v/10). Let k(o) = o**3 - 3*o**2 + 4*o - 8. Is k(s) a multiple of 5?
False
Suppose -5*g + 948 + 1817 = 0. Does 28 divide g?
False
Suppose -3*q - 731 = -5*t, 0 = -5*t + 3*t + 3*q + 296. Suppose 15*i - 10*i = t. Does 5 divide i?
False
Does 5 divide -5 + (13 - 7) - (-3 - 25)?
False
Let b = 2 + -30. Let z = 43 + b. Let x = 44 + z. Is 17 a factor of x?
False
Suppose -13*p = -3250 - 4121. Is 27 a factor of p?
True
Suppose -34 = -7*b + 5*b. Suppose -b*x - 14 = -19*x. Is 7 a factor of x?
True
Let m be 200 + -5 + -2 + 5. Let u(g) = -g**3 + 6*g**2 + 5*g. Let n be u(-4). Let f = m - n. Is f a multiple of 12?
False
Let w = 71 + -66. Is 2 a factor of 5 + (11 - (w + 0))?
False
Suppose -2880 - 984 = -12*f. Does 61 divide f?
False
Let i be 18 + 0*(-1)/(-1). Suppose 16*t + 70 = i*t. Does 6 divide t?
False
Suppose -35*a = 3*a - 23256. Does 51 divide a?
True
Let i = 2 - 0. Let z(l) = 2*l**3 - 2*l**i + 4 - 1 - l**2 - l - l**2. Is z(3) a multiple of 6?
True
Let i(x) = -x**3 + 10*x**2 + 3*x - 25. Let y be i(10). Let h(f) = f**3 - f**2 + 2*f - 26. Is h(y) a multiple of 12?
True
Let n be ((-4)/5)/((-15)/300). Suppose 4*o - 4 = -n. Is 8 a factor of 12 - o/(12/(-8))?
False
Does 15 divide 1831 - (-12)/(-18)*(-12)/(-8)?
True
Let u = 38 - 39. Let s(h) = 42*h**2 - 2*h + 1. Is 9 a factor of s(u)?
True
Suppose 4*u + 194 = 782. Does 7 divide u?
True
Suppose 0 = 3*k - 6*k - 228. Let u = 133 + k. Does 18 divide u?
False
Let b(p) = -4*p + 2. Let n be b(-7). Let s = -25 + n. Does 2 divide s?
False
Let a(o) = o**3 + 21*o**2 - o + 5. Is a(-20) a multiple of 25?
True
Suppose 3*w + 0*w - 51 = 0. Suppose -4*z - b + w = -4*b, 5*z = -3*b + 1. Suppose 0 = z*s - 30 - 28. Does 9 divide s?
False
Is 78 a factor of 70/(-56)*5*-80?
False
Let h = 592 + -102. Is 24 a factor of h?
False
Suppose -4*b - z + 2789 = 0, 4*b = 7*b + 5*z - 2113. Is b a multiple of 24?
True
Let u(r) = -8 + 4*r + 2*r**2 + 3*r - 2*r. Is u(8) a multiple of 20?
True
Let x(i) = 1. Let b(t) = -5*t**2 - t + 4. Let z(p) = -b(p) + 4*x(p). Is 12 a factor of z(-5)?
True
Let i(m) = -10*m + 5. Let d(b) = -6*b**2 - b + 2. Let c be d(3). Let y(k) = 90*k - 45. Let v(q) = c*i(q) - 6*y(q). Is 15 a factor of v(5)?
True
Let v(m) = 1970*m**3 + m**2 + m - 1. Is 9 a factor of v(1)?
True
Let m(o) = 596*o**2 + 30*o + 28. Is 27 a factor of m(-1)?
True
Let j(a) = 2*a - 26. Let d = -20 + 29. Let s(x) = -8*x + 105. Let n(r) = d*j(r) + 2*s(r). Is n(16) a multiple of 4?
True
Suppose 3*o - 28 = 7*o. Is ((-2)/6)/(o/357) a multiple of 5?
False
Let l(r) = -r**3 + 14*r**2 + 2*r - 15. Let m be l(8). Suppose 3*d = m + 191. Is d a multiple of 48?
True
Is 71 a factor of 45/(-105) + 13502/14?
False
Let b = -19 + 24. Suppose 0 = -b*f + 3*k + 239, -5*k - 61 = -5*f + 4*f. Is 23 a factor of f?
True
Let y = 724 - 187. Is y a multiple of 19?
False
Let i be -2 + 64/34 - (-880)/(-34). Let v = i - -230. Does 51 divide v?
True
Let w = 21 + -27. Is 5*-12*4/w a multiple of 8?
True
Suppose -3*d + 2651 + 301 = 3*z, -z - 4*d = -972. Does 20 divide z?
False
Suppose -q - 15 = -6*q - 5*y, -5*q - 4*y = -14. Let r be ((-4)/16)/(q/8). Is r/2 + 22/4 a multiple of 5?
True
Suppose -17 = -4*h + 3. Suppose t + h*b - 242 = 42, -1036 = -4*t + 5*b. Suppose 0*f + 6*f - t = 0. Is 5 a factor of f?
False
Let l = 15 + -10. Is l/10*172 + 4 a multiple of 15?
True
Suppose -11*o + 144 = -8*o. Let g = 92 - o. Does 17 divide g?
False
Suppose 2*z + 6 = 16. Suppose -i = b - 7, 3*i + 0 = z*b + 5. Suppose 0 = 4*l + i*g - 75, -l - g + 78 = 4*l. Does 5 divide l?
True
Let t(j) = 530*j**2 + 13*j - 27. Does 54 divide t(2)?
False
Let a = 383 - 273. Is 5 a factor of a?
True
Suppose 4*f = p + 3, -5*p - 9 + 30 = -2*f. Suppose -6*k = -5*k - 3. Suppose -f*s + 3*r + 44 = -140, 0 = -k*r. Is s a multiple of 22?
False
Let n = 620 - 410. Is n a multiple of 42?
True
Let m(x) = 19*x**3 - 7*x**2 + 11*x - 3. Is 30 a factor of m(3)?
True
Is 15 a factor of -80 + 75 - (-101 - 2)?
False
Let j(z) = -459*z + 10. Let o be j(1). Let n = o + 647. Does 24 divide n?
False
Let d(i) = -4 + 0 + 5*i - 9 - 6*i. Let v be d(-13). Suppose v = -5*a - 4*o + 267, -4*o - 283 = -7*a + 2*a. Is 18 a factor of a?
False
Let y(z) = 3*z**2 - 6*z - 3. Let p = 6 + -1. Let b be y(p). Suppose 0 = 2*d - b + 6. Is 9 a factor of d?
True
Let w = -164 - -181. Suppose -15*t + w*t = 44. Is 20 a factor of t?
False
Let a(b) = -b**2 + 18*b + 20. Let d be a(15). Suppose d*i - 33 = 64*i. Does 20 divide i?
False
Let o be 9 - (4 - 3)*3. Suppose o*y - 25 = y. Suppose -4*n - 24 = -y*l + 2*l, -2*l + 21 = -n. Is l a multiple of 3?
True
Let v be 0/(3 - 0)*1. Suppose -j + 187 = -5*c, -3*c + 2*j + v*j = 108. Let y = c - -78. Does 10 divide y?
True
Let f(m) = 11*m + 122. Is f(23) a multiple of 14?
False
Let p = 889 - -111. Is 34 a factor of p?
False
Does 46 divide -2*(4180/(-8) - 7)?
False
Let v = -11 - -9. Let z be 122/2*v/2. Let h = 114 + z. Is 17 a factor of h?
False
Suppose -87*u + 31473 = 30*u. Is 2 a factor of u?
False
Suppose -l = -3*x - 5, x - 2*l + 14 = 4. Suppose -2*m + 0*m = x. Suppose k + 10 = -k, m = 3*o - 5*k - 187. Is 22 a factor of o?
False
Let b = 1766 - -491. Does 91 divide b?
False
Suppose -l - 191 + 1096 = 4*c, -2*c + 2725 = 3*l. Is l a multiple of 10?
False
Let w = 673 + -369. Is 19 a factor of w?
True
Let w(t) = 3*t**3 + t**2 - 1. Let z be w(-1). Let a be 1*(z - 0)*-2. Suppose -p - 2*n = 0, -3*p - n = -4*p + a. Is p a multiple of 2?
True
Let j(k) = 2*k**3 - 14*k**2 - 13*k + 11. Is j(10) a multiple of 13?
True
Let g(s) = s**2 - s - 15. Let h be g(5). Does 2 divide ((-5)/h)/(3/(-45))?
False
Suppose 11*s + 4*s = 5250. Does 25 divide s?
True
Let w(l) be the first derivative of -2*l**2 - 1. Let p be w(1). Let a = 0 - p. Is a a multiple of 2?
True
Suppose -2*c - 4*x = -325 - 121, -2*c - 5*x + 441 = 0. Is 6 a factor of c?
False
Let m(a) = 98*a**3 - 2*a**2 + 5*a - 4. Is 7 a factor of m(1)?
False
Does 36 divide 288 - 0*(8 + -7)?
True
Suppose 71 = -4*r - 3*n + 4*n, -n = -3*r - 52. Let b = 19 + r. Suppose 2*f + f = 3*z + 165, b = 5*f - z - 255. Is 21 a factor of f?
False
Suppose 18 = i + 3*m, -6 = -i + 4*m + 12. Is 6 a factor of i?
True
Suppose 3*w + 112 = 25. Let z = -25 - w. Suppose 33 = 5*p - z*t - 357, -4*p = t - 291. Is 13 a factor of p?
False
Let i be 40/(-2) + 3 + -3. Let r = i - -22. Suppose r*x + h = 32, 0*h - 3*h - 48 = -2*x. Does 13 divide x?
False
Is ((-32)/32)/(1/(-165)) a multiple of 6?
False
Let o be (-2)/5 + 2332/(-20). Let c be 2/(-9) - (-2431)/o. Let g = c - -33. Does 12 divide g?
True
Let g(f) = 13*f**2 + 20*f + 11. Let b(h) = -3*h**2 - 5*h - 3. Let u(v) = 9*b(v) + 2*g(v). Let n be u(-2). Does 30 divide 5 - -104 - 0/n?
False
Let i(n) be the second derivative of 1/20*n**5 + 2/3*n**4 - 6*n - 13/6*n**3 + 0 - 3*n**2. Is 15 a factor of i(-9)?
True
Suppose 60 = 2*b - 3*q, -3*b + q + 152 - 48 = 0. Suppose 2*n = 2*i - 58, 10*n - 5*n + 70 = 2*i. Let a = i + b. Does 20 divide a?
False
Let y(n) be the third derivative of n**5/12 + 19*n**4/24 + 11*n**3/6 + 5*n**2. Is 18 a factor of y(-7)?
False
Let p(v) = v**3 + 6*v**2 + 9*v + 6. Let a be p(-4). Suppose -138 - 42 = -a*b. Is b a multiple of 5?
True
Let q(s) = 4*s**3 - s**2 + 4*s - 6. Let l = -28 + 31. Let w be q(l). Suppose -d = -0*d - 2*p - 