14 + (9 - -2281) - 0 a multiple of 46?
False
Suppose -3*v + 13875 = 3*t, 5*t + 176*v = 175*v + 23097. Does 28 divide t?
False
Let r = -1008 - -1237. Suppose -3*t = -15*v + 10*v - 115, -5*t - v = -r. Is 15 a factor of t?
True
Suppose 9*b = -4*b + 25766. Is b a multiple of 25?
False
Suppose 178*o - 173*o = 20. Suppose x + 364 = o*x + 5*f, 236 = 2*x + 5*f. Is 8 a factor of x?
True
Let n(l) = 3*l**3 + 2*l**2 - 4*l + 157. Does 17 divide n(15)?
False
Let o be (-7)/(21/(-9)) - 0. Does 12 divide (68/o)/((-27)/(-243))?
True
Suppose 2*d - 2*q = -16, 2*q = 2*d - 4*d - 24. Let x(t) = -2*t - 5. Is x(d) a multiple of 3?
True
Is 38499/82*(1 - (0 - 65)) a multiple of 99?
True
Suppose 0 = 5*x - 11 - 4. Let f(a) = -8*a**2 - 19*a**x - 16 + 18*a**3 - 7*a**2 - 17*a + 2. Does 28 divide f(-14)?
True
Does 8 divide (-4)/50 - (-533022)/2775?
True
Let m(c) = -19*c**2 + 5*c - 5. Let a(s) = -39*s**2 + 11*s - 11. Let r(v) = 2*a(v) - 5*m(v). Let j(p) = 2*p**2 - 10*p - 14. Let n be j(6). Does 11 divide r(n)?
True
Suppose -o + 4334 = h, -13001 = 10*h - 13*h - 2*o. Is 2 a factor of h?
False
Suppose -3*l + 6*l - 3972 = 0. Suppose 5*v - 7*s - l = -3*s, 3*v + 3*s = 789. Is v a multiple of 22?
True
Suppose 24*t - 27*t + 552 = 0. Suppose 0 = -181*i + t*i - 324. Is i a multiple of 9?
True
Suppose -93*t - 32*t + 376200 = -30*t. Is 66 a factor of t?
True
Suppose 2*i - 630 = -0*i. Suppose -135 = -2*s + i. Is s a multiple of 10?
False
Let g = -2747 + 4700. Let b = -910 + g. Does 51 divide b?
False
Let k(i) = -4956*i + 2621. Does 46 divide k(-9)?
False
Is 7 a factor of 554370/(-340)*(-8)/6?
False
Let h(r) = -4*r - 8. Let u be h(-2). Suppose -5*k - 127 = -o + 18, 2*o + 4*k - 318 = u. Let b = -89 + o. Is b a multiple of 40?
False
Suppose 0 = -4*i + 2*p + 17242, -239*i + 235*i + 17245 = -p. Is i a multiple of 8?
True
Let r be 573/4 + (30/8)/5. Let i be 180/r + 1/(-4) + 1. Suppose i*w = 5*x - 0*x - 264, 2*x - 117 = -3*w. Does 13 divide x?
False
Is (-485 + 4)*(-85)/10*2 a multiple of 13?
True
Let o = 5215 + -479. Suppose -19*r = -18*r + 5, 3*z = -2*r + o. Is 11 a factor of z?
False
Suppose 22*h = 13*h + 27. Suppose h*d + 3*r - 263 = -2*r, -r = 5. Is 11 a factor of d?
False
Let s(c) = -160*c + 300. Is 54 a factor of s(-15)?
True
Let b(h) = h**2 - 25*h - 4644. Is b(-65) a multiple of 9?
True
Let z(o) = 237*o + 4014. Does 203 divide z(12)?
False
Let x be (-8)/3*(-136 + -5). Suppose 312 = 4*q - x. Suppose 3*m - q = -28. Is m a multiple of 12?
True
Let x be ((-10)/(1 - 2))/(32/208). Let s = x + -79. Let q = s - -38. Is 6 a factor of q?
True
Let i = 7357 - 2243. Is 30 a factor of i?
False
Let j = 26564 + -14621. Does 3 divide j?
True
Suppose 4*i - 1618 = 2*i - 7*f, -4*i + f + 3176 = 0. Is 11 a factor of i?
False
Suppose -5*j = 3*a - 6243, 28*j + 2*a = 30*j - 2478. Is j a multiple of 15?
True
Suppose 0 = 6*q - 21810 + 1398. Is q a multiple of 16?
False
Let v(l) = -10*l**2 + 7*l + 2. Let d(h) = 7*h**2 - 5*h - 1. Let z(f) = -7*d(f) - 5*v(f). Is z(-13) a multiple of 43?
False
Suppose v = 3*s + 253, 5*v - s - 2*s - 1265 = 0. Let o = 264 - v. Is o a multiple of 11?
True
Suppose 0 = -2*z - z + 21. Suppose 0 = z*v - 8*v. Suppose 132 = 3*j - v*j. Is 12 a factor of j?
False
Let s = 658 - 657. Does 14 divide s + (-20)/16 - 4287/(-12)?
False
Suppose -54*l + 58*l + 512 = 0. Let g be (l/12)/((-4)/18). Let n = 158 - g. Does 32 divide n?
False
Let j = 43 + -41. Suppose -3*w - 663 = -j*d - 6*w, 4*w = -d + 344. Suppose -t - d = -5*t. Does 9 divide t?
True
Let h = 1706 - -8798. Is h a multiple of 26?
True
Let j(d) = 3*d**2 - 7*d + 818. Is j(62) a multiple of 12?
True
Suppose 0 = -d + 5*d - 344. Suppose 513 = -9*s + 837. Suppose -83*x - s = -d*x. Is x a multiple of 5?
False
Let p be 0 + 3 - (-5)/1. Let w(l) = 10*l - 32*l**2 + l**3 + 8*l - p*l + 8 + 40*l**2. Is w(-6) a multiple of 12?
False
Suppose 4*p - 31 = 17. Suppose -2*i = -p - 10. Suppose -15*a = -i*a - 64. Is 4 a factor of a?
True
Let f = -782 - -904. Is 3 a factor of f?
False
Suppose -1067 = -4*a + 1149. Suppose 3*p - 40 = a. Suppose 0 = 4*w + 3*m - p, -w - 49 = -2*w - m. Is w a multiple of 3?
True
Suppose 0 = 12*x - 13 - 35. Let r(v) = v**3 + 2*v**2 - 11*v + 22. Does 14 divide r(x)?
False
Let x = -293 - -276. Let q(c) = c**2 + 8*c - 63. Is q(x) a multiple of 15?
True
Suppose 0 = -5*c - 2*d + 130, -4*d - d = -5*c + 130. Is 14 a factor of 4/c - ((-58200)/(-130))/(-2)?
True
Let b(n) = 18*n**2 - 377*n + 1537. Is b(4) a multiple of 210?
False
Let t = 345 + -1022. Let i = -346 - t. Does 29 divide i?
False
Let v be (0/(2 - 4))/2. Let f be (-9)/84*-7*4. Suppose v = -f*t - 148 + 586. Is 20 a factor of t?
False
Suppose -7*w + 3*w = 3*o + 4, 3*w + 3*o + 6 = 0. Let j be -2*1/w*(1 - 158). Does 11 divide j + -3*(3 + -2)?
True
Suppose 83237 = 40*l + 15*l - 95513. Is l a multiple of 8?
False
Does 17 divide (20145/9)/(56/168)?
True
Let w(q) = q**3 + 47*q**2 - 55*q + 46. Let f(b) = b**2 + 2. Let n(m) = -3*f(m) + w(m). Does 11 divide n(-45)?
False
Let x(q) = 68*q + 4400. Does 3 divide x(74)?
True
Let h be ((-99)/22)/(3/(-6)). Let p(f) = 2*f**3 - 14*f**2 + 19*f - 15. Is 71 a factor of p(h)?
False
Suppose 3*k - 5 = 3*a - 2*k, 3*a = -5*k + 5. Suppose -v - 29 = -2*v - 3*z, 5*z + 5 = a. Is v a multiple of 4?
True
Suppose 0 = -3*f - 15, 2*y = 5*f + 122 - 505. Let w = y - -301. Is w a multiple of 3?
False
Does 3 divide (-20436)/(-39) - (-10)/(-2)?
True
Suppose 495*i + 21591 = 498*i. Is i a multiple of 10?
False
Suppose 156 = 3*u - w - 167, 4*w = -3*u + 328. Is 3 a factor of u?
True
Let w(b) = 0 + 1 - 3*b + b + 8. Let p be w(12). Is 3 a factor of (-5)/p - 280/(-6)?
False
Let k = -29 + 36. Let n(c) = 7*c**2 - 45*c + 3. Does 5 divide n(k)?
False
Let c be (-17732)/(-11) - (-3 - 5). Suppose d = -4*d - 4*a + c, 0 = 5*d - 5*a - 1575. Is d a multiple of 20?
True
Suppose 2*d - 1798 = 610. Suppose -4*y + 4*j + d = 0, 4 = j + 5. Does 20 divide y?
True
Suppose -2*w - 4*q = 0, -4*w = -19*q + 15*q + 48. Is w/6*(-2805)/10 a multiple of 34?
True
Let b(d) = 310*d**2 + 3 - 327*d**2 - d**3 + 76 + 5*d. Is 34 a factor of b(-18)?
False
Suppose 5*z = 43*z + 199 + 333. Let v(i) = 0*i**3 + 3*i**3 - 4*i**3 - 12*i - 14*i**2 + 3. Is v(z) a multiple of 19?
True
Let h(w) = 6*w - 60. Let i = -82 - -78. Let q be (-36)/45*130/i. Does 10 divide h(q)?
False
Suppose -i = 2*z - 105538, -71844 + 282936 = 4*z - 2*i. Does 13 divide z?
False
Let x(m) = -m**3 + 13*m**2 + 15*m - 14. Let i be x(14). Suppose 10*q + 103 = 11*q + 2*r, -4*q + 5*r + 425 = i. Is q a multiple of 17?
False
Does 16 divide (3594/14 + 0)/(353/7413)?
False
Let a(y) = 5*y**2 + 29*y - 31. Let w(q) = -4*q**2 - 28*q + 31. Let l(g) = -3*a(g) - 4*w(g). Is 31 a factor of l(19)?
False
Let d be -1*12/3*5/20. Does 13 divide (164/(-4))/d*4?
False
Let n be 0*(3 - (-21)/(-6)). Let s(m) = 37*m + 104. Does 12 divide s(n)?
False
Let z = 77 + -74. Suppose -584 = z*m - 2444. Suppose m = 3*x + 2*x. Is x a multiple of 16?
False
Suppose 0 = -17*b + 14*b + 4212. Suppose -25*w - m = -20*w - b, 0 = -w + m + 282. Is 7 a factor of w?
False
Let i be 10 - 21/35*10. Suppose -5*s + 3*l = -4474, 3*s - i*l - 2688 = -l. Is s a multiple of 70?
False
Is 13 a factor of 52638/27 - ((-1160)/180 + 6)?
True
Let u = 250 + -268. Let k(r) = 4*r - 16. Let d be k(10). Is 5 a factor of (1/(u/d))/(4/(-54))?
False
Suppose 0 = -j - 5*d - 2 - 3, 3*j + d + 1 = 0. Let r be -21 - -19 - (-4)/(j - -1). Suppose -3*q - r*c + 188 = 0, c - 6*c = -5. Does 9 divide q?
False
Let m(s) = -s**3 - 52*s**2 - 14*s + 391. Is m(-53) a multiple of 18?
True
Let s = 11 + -31. Let u = s - -74. Suppose -4*n - u = -5*y, 3*y - n = -6*n + 25. Is y a multiple of 2?
True
Let d(o) = -o**2 - 27*o + 228. Does 6 divide d(-33)?
True
Suppose -5*p + 23500 = 5*o, 8 = -31*p + 33*p. Is o a multiple of 34?
False
Does 21 divide (-70758)/(-12) + 55/(-22)?
False
Let v be 5 + (4/6)/(2/3). Suppose -2*n - 2*u = -n + v, 0 = -2*u - 10. Suppose n*y - 480 = -y. Is 32 a factor of y?
True
Does 61 divide (-7572)/(-1) - 26/(-182)*-56?
True
Is 4 + 54764/32 - 27/72 a multiple of 18?
False
Let g(w) = -19*w**3 - 5*w**2 - w + 42. Is 18 a factor of g(-9)?
False
Let i(q) = -q**3 - q**2 - 2*q + 3. Suppose -2*u - 6 = 2. Let n be i(u). Suppose -3*f + s = -41, -5*f + n + 8 = -s. Does 2 divide f?
False
Suppose 58*p - 57*p + 48 = 0. Let n(s) = -s**3 - 6*s**2 - 2*s + 1