Suppose -8 = -4*s, 0*s = a + c*s - 36. Is a a multiple of 3?
False
Suppose 44*d = 48*d - 1252. Suppose -d - 253 = -s. Is s a multiple of 52?
False
Is (2346855/2604)/((-1)/(-84)) a multiple of 147?
True
Let z = -3117 - -3077. Let h be (-3 - 2)*1 + -1. Is 13 a factor of h/(-15) - -8*(-388)/z?
True
Let s be ((-12)/(-3))/(126/(-129) + 1). Suppose 82 = 2*t + 4*p, 0*p - s = -4*t - 4*p. Is 15 + -11 - (-1 - t) a multiple of 6?
False
Let d be 6*(5 - ((-92)/(-8) + -5)). Let p(u) = -u**3 - 10*u**2 - 22*u - 7. Does 8 divide p(d)?
False
Let j(o) = -4196*o - 127. Does 13 divide j(-2)?
False
Suppose 151*m + 7524 = 137*m + 38436. Is 16 a factor of m?
True
Suppose 5*i - 2*h = 304, 2*h + 23 = i - 41. Is 4 a factor of i?
True
Let v(i) = 7*i + 7. Let u be v(2). Let p be (u/4)/((-4182)/(-696) - 6). Suppose -16*f + p = -671. Is 6 a factor of f?
False
Let r(b) = -b + 13. Let c be r(10). Suppose -5*v = -c*l + 42, v = -4*l - 4*v + 21. Does 3 divide l?
True
Suppose -2212844 + 14505920 = 483*l + 1596558. Is l a multiple of 56?
False
Suppose -4*j + 0*j + 20 = -2*z, 0 = 2*z + 8. Suppose -j*f = -16*f + 8697. Does 46 divide f?
False
Let c = 404 + -405. Is 14 a factor of (2646/105)/(c/(-10))?
True
Is 2360 - (2940/14)/(-15) a multiple of 156?
False
Let i(x) = -14*x + 45. Let m be i(3). Let s(q) = 10*q**2 - 16*q + 42. Is 28 a factor of s(m)?
True
Let t = -5 - 217. Let u = 584 + t. Does 4 divide u?
False
Let l(q) = -2*q**2 - 31*q + 35. Let o be l(-15). Suppose -228 = -o*g + 54*g. Let d = 111 + g. Does 8 divide d?
False
Let m = 37 + 1383. Does 10 divide m?
True
Let x(g) = 42 - 9*g**2 + 12*g + 6*g**2 + 4*g**2. Is x(-3) a multiple of 15?
True
Let t(v) = -386*v**2 + 6*v + 6. Let g(n) = 1154*n**2 - 18*n - 18. Let q(h) = 3*g(h) + 8*t(h). Does 34 divide q(-1)?
True
Let p = -22 - -8. Is 3 a factor of 1/3*(-3318)/p?
False
Let m(h) = -21*h + 10. Let w(j) = j**2 - j. Let s(k) = m(k) + 2*w(k). Let x(q) = -q**3 + 10*q**2 - 5*q - 20. Let i be x(9). Does 22 divide s(i)?
True
Let u be -2 + (-2)/(-1) + 4/(-2). Let v be (-15 + (-2)/u)/(96/(-1488)). Let h = v - 95. Is 12 a factor of h?
False
Let t(s) = 4*s + 98. Let y(k) = 12*k + 294. Let q(j) = -8*t(j) + 3*y(j). Does 6 divide q(8)?
False
Let j(g) = g**2 - 4*g. Let t be j(5). Suppose -2*l - 112 = t*l. Is (8/l)/((-2)/244) a multiple of 9?
False
Suppose -o - 3*x + 143 = 0, -o + 4*x + 198 - 69 = 0. Let a be 254 - 0/(-15 + 22). Let f = a - o. Is 13 a factor of f?
True
Let s = 132559 + -93581. Is s a multiple of 46?
False
Suppose 5*a + 3*s + 2241 = 15774, -2*s = 5*a - 13537. Is a a multiple of 43?
True
Suppose -j + 5*d = -49108, 3*j + 116*d = 121*d + 147304. Does 320 divide j?
False
Suppose -6*w + 209084 = -89319 + 98051. Is 36 a factor of w?
False
Let d be 21/(-56)*1 - 38/(-16). Suppose 0 = d*s - j - 105, 0*j = s - j - 53. Is 5 a factor of s?
False
Let c(f) = -4*f**2 + 34*f - 14. Let g be c(8). Let o(u) = -2*u - 3. Let r be o(-5). Suppose 265 = -g*y + r*y. Is 12 a factor of y?
False
Suppose 0 = -c + 4*c - 6. Let n(q) = 9*q + 131. Let h be n(-14). Suppose -5*u = 4*f - 144, h*u = -c*f - 0*f + 72. Is 12 a factor of f?
True
Suppose 3*j = -4*k + 717, 4*j - 467 - 479 = -2*k. Suppose -5089 = j*v - 242*v. Is 13 a factor of v?
False
Let f = 26 + -49. Let t = 13 - 30. Let r = t - f. Is 5 a factor of r?
False
Suppose -6*g - 2*g = -40. Let n be -156*(4 - (-4 + g)). Let v = n + 780. Is v a multiple of 49?
False
Let t(i) = -i**2 - 15*i - 9. Let y be t(-14). Suppose y = -3*z + 17. Suppose -z*f = -3*n + 101, 3*n + 7*f - 109 = 3*f. Is 8 a factor of n?
False
Suppose -3*s + 25 - 52 = -3*p, 20 = -5*s. Is (-8)/(80/(-3258)) - p/(-25) a multiple of 26?
False
Let j = 31040 + -23460. Is 4 a factor of j?
True
Suppose 30 = 5*z + 3*t, -t + 6 = -0*z + z. Does 9 divide 52 - (-1 + z + -4 - 3)?
True
Let t be 3/9 - (-16)/6. Suppose 2*z = 4*y - t*z - 12, 4*z = -y + 3. Is (y/2)/(12/272) a multiple of 7?
False
Let d(y) = 13*y**2 + 12*y + 549. Is d(-26) a multiple of 19?
True
Let z(i) = 27*i - 41. Let j be z(2). Suppose 0 = -j*d - 11*d + 1728. Is d a multiple of 6?
True
Suppose -162324 + 42204 = -28*b. Is 26 a factor of b?
True
Suppose -36 + 140 = 2*p + 4*f, 3*f - 105 = -2*p. Let b be 12/p + (-184)/18. Let n = 62 + b. Is n a multiple of 13?
True
Suppose 3*a = 10*a - 35. Suppose l + 2*l - 5 = -a*k, 0 = -4*l. Is 16 a factor of 1/(-2 - (k + 944/(-314)))?
False
Is 40 a factor of (-318)/(-1) + (266/(-14) - -21)?
True
Let o(h) = 18*h**3 + 5*h**2 + 7*h + 8. Let f be o(-3). Let z = f + 1066. Does 102 divide z?
True
Let m be 1/(-1*1)*(-1738)/158. Suppose 3*a - 4*x - 51 = 0, -4*x + 1 = -m. Is a even?
False
Let v(x) = -5*x - 13. Let w(t) = -t**2 - 11*t + 9. Let m be w(-12). Let q be v(m). Suppose -q*l = o - 98, -4*o = -4*l + 3*l - 428. Is 23 a factor of o?
False
Suppose g = 4*z - 2835, -3*z + 711 = -2*z - g. Suppose 4*q + 2*s - z = 0, 0 = -2*q + s - 218 + 564. Is q a multiple of 35?
True
Suppose 6 = q + 5*y, 2*q - 7*q + 5*y = 60. Let x(m) = -48*m + 129. Does 17 divide x(q)?
True
Let k(d) = 10*d**2 + 30*d - 568. Does 104 divide k(28)?
True
Let g(n) = n**3 + 20*n**2 - 25*n + 32. Let t be g(-19). Suppose 4*c = -22*i + 19*i + t, -i + c = -280. Does 70 divide i?
False
Let y(o) = 319*o - 42. Does 7 divide y(52)?
False
Let c = -672 - -683. Let u be (2 + 7/(-3))*-3. Is c/(-11) + 52 + u a multiple of 26?
True
Let r(h) = 9*h**2 + 2*h + 14. Let x(d) = 18*d**2 + 5*d + 27. Let k(j) = 9*r(j) - 4*x(j). Let g be k(-18). Is 12 a factor of (2/(-3))/((-11)/g)?
True
Let l(f) = -30*f - 158. Suppose -5*w - 4*u = 125 - 24, u = -4. Does 16 divide l(w)?
True
Let v be (1 + (-22)/10)/((-9)/150). Suppose 5*z + 5*g - 1170 = 0, 9*g - 5*g - v = 0. Is z a multiple of 22?
False
Let w = 469 - -111. Let t = -203 + w. Is t a multiple of 13?
True
Let l(y) = -y - 3. Suppose 5*o = k + 1, -4*k = -5*k - 3*o - 9. Let s be l(k). Suppose 66 - 240 = -s*b. Is 12 a factor of b?
False
Suppose -2*a - 3*u = -12, -2*a - 5*u + 4 = -8. Suppose -a*k + 3*k + 309 = 0. Suppose -k = -5*o - 28. Does 6 divide o?
False
Suppose -7*q + 11 - 4 = 0. Let p be q/(-3*(-6)/(-4158)). Is 42 a factor of (58/(-3))/(14/p)?
False
Let j(w) = -5*w**3 - 4*w**2 + 2*w + 2. Let f be (2 + 2/1)*(-2)/(-2). Suppose -5*c = -5*m + 2*m - f, 4*c = 4*m + 8. Is 19 a factor of j(m)?
True
Is 47 a factor of 57076/14 - 4/(-28)?
False
Let h = -5313 + 7560. Is 12 a factor of h?
False
Let m(f) = 77*f**3 + f**2 - 2*f - 2. Let n be m(-1). Let a = n - -90. Does 2 divide ((-108)/(-21))/(3/a)?
True
Suppose 2*g - 4*k - 4 = 0, k - 5 + 0 = 0. Let s = g - 10. Suppose -s = -3*y - 3*f + 64, -y = -5*f - 10. Does 13 divide y?
False
Let k(d) = d**3 + 10*d**2 + 14*d - 23. Let f be k(-8). Let s(x) = x**3 + 9*x**2 - 3*x + 11. Is s(f) a multiple of 10?
True
Suppose -4844*g = -4935*g + 2205112. Does 104 divide g?
True
Let g = 1665 + -895. Suppose -g = -5*d + 5*j, 0 = -2*d + 6*j - 11*j + 294. Does 38 divide d?
True
Suppose 26*i = -109*i + 193050. Is 10 a factor of i?
True
Let a = -286 - -284. Is 60 a factor of -2206*a/8 + 18/36?
False
Let p(h) = h**3 + 4*h**2 + h - 17. Suppose 2*w = 7*w - 15. Suppose 3*b = 4*x - 1, w*x - 4*x = 4*b - 24. Is p(x) a multiple of 5?
True
Does 26 divide (2/(-12))/(6/(-38176)) + 1428/(-3213)?
False
Let w(o) be the first derivative of 11*o**2/2 + 39*o - 76. Does 5 divide w(1)?
True
Let x be (-180)/(-85) + (-8)/68. Is 1872/x + (99/(-11) - -8) a multiple of 85?
True
Let m = 4984 + -3093. Suppose -4*t = 5*z - m, 24*z - 359 = 23*z + 4*t. Does 15 divide z?
True
Is 7 a factor of -106995*((5 - 3) + 52/(-20))?
True
Let d(z) = 4488*z**3 + 2*z**2 + 10*z - 11. Does 33 divide d(1)?
False
Suppose -4*h - k = -0*k - 2416, -5*k - 20 = 0. Suppose -5*o + 11*v + h = 6*v, -v + 383 = 3*o. Is o a multiple of 14?
True
Let j(r) = 420*r + 280. Is 105 a factor of j(2)?
False
Suppose -23991 = -4*n + 19*v - 18*v, 23994 = 4*n + 2*v. Does 84 divide n?
False
Suppose 0 = -4*f + a - 17631 + 55583, 3*f - 28447 = 5*a. Is 226 a factor of f?
False
Is (-10)/(100/390)*89*-1 - -1 a multiple of 62?
True
Suppose 11705 = b + 4*q, 45*b - q = 44*b + 11685. Is 253 a factor of b?
False
Let l = 13210 - -8481. Is 9 a factor of l?
False
Let d be -325*1*(-20)/50. Suppose d = 19*n - 17*n. Is 1066/n - 6/(-10) a multiple of 5?
False
Is (-2)/8*(-5 - (3217 - 14)) a multiple of 14?
False
Suppose 6*y + 10 + 440 = 0. Let p = y - -77. Let c(