- (-626)/4. Is (v/(-9))/(4/(-12)) a multiple of 26?
True
Let c(h) = 9*h**3 + h**2. Let f be (-4 + -3)*(-2)/7. Suppose -f = 2*w - 4*w. Is c(w) a multiple of 3?
False
Let u be 176 - (2 + -7 + 3). Suppose -u = -2*p + 126. Does 15 divide p?
False
Is (8 - -770)/((-2)/(-4)*4) a multiple of 3?
False
Let q be ((-9)/27)/(1/279). Let t = q - -201. Does 18 divide t?
True
Let j = 1011 + 199. Is j a multiple of 55?
True
Let x = 53 - 2. Let r = x + -25. Is 3 a factor of r?
False
Let t = -94 - -38. Let m = 153 + t. Is 26 a factor of m?
False
Suppose -54*d - 2475 = -69*d. Is d a multiple of 5?
True
Let t = 473 + -201. Does 16 divide t?
True
Let v = 558 - -196. Is 13 a factor of v?
True
Suppose -3*n - 2*v + 533 = -0*v, 3*n - v - 521 = 0. Let b = 273 - n. Does 24 divide b?
False
Let u = 346 + -268. Is 5 a factor of u?
False
Let j be -3 - (-175 - (4 + -5)). Suppose j = -5*l + 501. Does 28 divide l?
False
Suppose -m + 4*c + 429 = 77, -5*c = -m + 353. Is m a multiple of 29?
True
Let a be (1 + (-2)/8)*4. Let m = -85 - -169. Suppose o - m = -a*o. Does 11 divide o?
False
Let k be (2 - 9/6)*0. Suppose -3*s + k*s + 19 = -q, -8 = -4*s - 3*q. Suppose 0 = -5*h + s*v + 35, 0*h = 2*h - 3*v - 9. Is 7 a factor of h?
False
Let w = -69 - -34. Let q = w + 49. Let b = q - 4. Is 5 a factor of b?
True
Let t(q) = q + 6. Let y be t(-4). Suppose 2*n - y*v = 132 - 40, -4*n = 2*v - 184. Suppose n = 2*l - 2*m, 0 = -4*m + 6*m - 8. Is l a multiple of 17?
False
Suppose -642 = z - 4*v - 1756, -5*v = -4*z + 4445. Does 66 divide z?
False
Suppose z - 14288 = -18*z. Is 94 a factor of z?
True
Suppose 45*y - 58*y + 4680 = 0. Is y a multiple of 9?
True
Let t(z) = 6*z**3 - 2*z**2 - z. Suppose 0 = 3*d + 5 - 2. Let o(p) = -p**2 + p + 1. Let g(v) = d*t(v) - o(v). Does 16 divide g(-2)?
False
Let u(d) = d**3 - 16*d**2 + 20*d - 43. Does 3 divide u(15)?
False
Suppose d + 45 = 3*j - 92, -5*j = 2*d - 210. Is 2 a factor of j?
True
Let j(w) = w**3 - 11*w**2 - 4. Let p(g) = g + 16. Let i be p(-4). Is 29 a factor of j(i)?
False
Let l(n) = -16 + 26*n - n - 9*n. Does 16 divide l(16)?
True
Let p = 3916 + -1007. Is p a multiple of 40?
False
Is 30 a factor of 4/14 - 58872/(-42)?
False
Suppose 4*d = 18*d - 4508. Does 10 divide d?
False
Suppose -4*o + 3*o + 2*x + 3 = 0, 7 = 3*o - 5*x. Let t = o - 14. Does 19 divide (39/5)/((-3)/t)?
False
Let b(o) = -o**3 + 36*o**2 - 41*o + 90. Is b(34) a multiple of 72?
True
Let z(v) = -v - 9. Let d be z(-16). Suppose -4*i - 216 = -d*i. Does 12 divide i?
True
Let a = -140 + 192. Is 7 a factor of a?
False
Suppose -2*a - 3*i + 5*i = -184, -20 = 4*i. Suppose 4*d = d + a. Is d even?
False
Let y(j) = 2*j - 11. Let t be y(7). Does 13 divide (29 - t)*6/4?
True
Is (-8)/(-18) + 80016/27 a multiple of 39?
True
Suppose 5*j + 6*d = 3*d + 2263, -d = 4*j - 1816. Is j a multiple of 13?
True
Let z(t) = t**3 + 24*t**2 - 14*t - 144. Does 14 divide z(-20)?
True
Does 6 divide (-6300)/(-245)*(-14)/(-4)?
True
Suppose -52*u + 51*u + 6041 = 4*y, -5*y = 5*u - 7570. Does 39 divide y?
False
Suppose -169*g + 56 = -168*g. Is g a multiple of 4?
True
Suppose -4*o - 45 = -3*o. Let n = o - -23. Let x = -10 - n. Does 10 divide x?
False
Let b(h) = -h**3 - 3*h**2 + 6*h - 7. Let q be b(-5). Let a = 5 - q. Let m(v) = -v**2 - 12*v - 11. Is m(a) a multiple of 7?
True
Suppose 2*z - 5*m - 16 = -2*m, 3*z - m - 10 = 0. Suppose 2*b - 6*w - 64 = -z*w, 2*w + 176 = 5*b. Does 36 divide b?
True
Let n be ((-1)/2)/((-3 - 3)/216). Suppose 2*j - 8 = n. Is j a multiple of 12?
False
Let c be 28/42 - 34/(-3). Is (-3 - (-813)/c)*4 a multiple of 10?
False
Let i be 2*1 + (3 - -32 - 2). Suppose -5*f + 0*p + 157 = p, -f + i = -p. Does 8 divide f?
True
Suppose 4*p + 31 = 31. Suppose 3*m - 7*m + 208 = p. Is m a multiple of 13?
True
Let k = -2 - -7. Let z(s) = 10*s + 4. Let d be z(k). Is (d/24)/((-3)/(-16)) a multiple of 12?
True
Let h(k) = -k - 51. Let z be h(-4). Let g = z - -75. Does 2 divide g?
True
Does 25 divide (4 - -2*(-6)/(-4)) + 1716?
False
Let z(t) = -9*t**3 - 18*t**2 - 10*t - 23. Let q(b) = -5*b**3 - 9*b**2 - 5*b - 12. Let v(x) = -5*q(x) + 3*z(x). Is 21 a factor of v(-6)?
False
Suppose -5*v + 4*y + 345 = 0, -3*v - 8*y + 3*y = -170. Is v a multiple of 5?
True
Let d be ((-6)/12)/((-2)/12). Is 10 a factor of d/54*6 + 658/6?
True
Suppose 228*j + 3078 = 231*j. Is 9 a factor of j?
True
Let m(s) be the third derivative of -s**4/12 - 5*s**3/3 + s**2. Let p be m(7). Is (-104)/p*3*2 a multiple of 6?
False
Suppose -26 = -3*y + 34. Let v = y + -13. Suppose v*i = 397 - 117. Does 8 divide i?
True
Suppose 0 = m - 11 + 7. Let p = 10 - m. Let s(i) = 9*i + 16. Is 14 a factor of s(p)?
True
Is (782 - 7) + -2 + -5 a multiple of 12?
True
Let g = -669 - -1655. Is g a multiple of 58?
True
Let q = 13 - 11. Suppose q = 7*w - 9*w. Is 25 a factor of 25/(w/(-1))*1?
True
Let q = -491 + 687. Does 14 divide q?
True
Let z(b) = 5*b + 31. Let c(j) = -5*j - 30. Let k(u) = -6*c(u) - 7*z(u). Does 2 divide k(-9)?
True
Suppose -4*y - g + 7959 = 0, 5*y - 7538 - 2416 = -3*g. Does 39 divide y?
True
Let o(l) = -l**2 - 14*l + 28. Let i = 49 - 64. Is o(i) a multiple of 13?
True
Suppose -z + 26 = -19. Let h(r) = -r**2 + 13*r + 5. Let v be h(12). Suppose 0 = -w + 2*k + v, 3*w - 2*w + 5*k = z. Does 19 divide w?
False
Suppose -o = 4*o - 200. Does 28 divide (-2608)/(-7) - (o/35)/2?
False
Let h = -4 + 8. Suppose k = h*k - 9. Suppose -5*q + 124 = -k*n, -28 - 12 = -2*q - 2*n. Is 8 a factor of q?
False
Let a = 28 + -25. Suppose -5*x + 3*x - 5*d = -50, x = a*d + 3. Is 14 a factor of x?
False
Suppose -8*w + 10*w - 1400 = 0. Does 25 divide w?
True
Let m = -19 + 21. Suppose -m = -2*i + 10. Suppose i*s = 2*s + 184. Is 23 a factor of s?
True
Let y = 338 - 226. Is 4 a factor of y?
True
Suppose -3*h - 276 - 156 = 2*m, -2*m = 0. Let o = 984 - 728. Let w = h + o. Is w a multiple of 30?
False
Let b(k) = 5*k**2 + 5*k - 15. Let d(q) = q**3 - q**2 - q + 1. Let c(a) = -b(a) - d(a). Does 19 divide c(-6)?
False
Suppose b = 4*a - 8, b + 0*a = -3*a + 6. Let v(r) = 2*r**2 + 2*r - 77. Let d(f) = f**2 + f - 39. Let h(y) = 11*d(y) - 6*v(y). Is h(b) a multiple of 11?
True
Let z(i) be the first derivative of -7*i**2 + 2*i + 53. Does 19 divide z(-15)?
False
Suppose 0 = 3*t - 15 - 45. Let l be ((-68)/(-10))/((-4)/t). Is 14 a factor of (-18)/(-3)*l/(-6)?
False
Let w be (7*-1)/((-13)/26). Suppose -w*n + 16*n + 92 = 0. Let j = n + 92. Is j a multiple of 15?
False
Let m = -48 - -48. Suppose 5*g + 773 = -0*p + 4*p, -2*p - g + 383 = m. Is p a multiple of 16?
True
Let s(x) = 3*x**3 + 2*x**2 - x + 2201. Does 35 divide s(0)?
False
Suppose 9*v - 763 = 2045. Does 12 divide v?
True
Suppose 2*f + 2*y = 89 + 95, 180 = 2*f + 3*y. Suppose -9*v + 5*v + f = 0. Is 6 a factor of v?
True
Let v(k) = 1 + k**3 + 6 - 7*k + 6*k**2 - 5 + 8. Is 11 a factor of v(-6)?
False
Let y(x) = 2*x**2 - 7*x. Let g be y(7). Let s = g + -19. Is s a multiple of 3?
True
Let l(a) = a**2 + 10*a - 13. Let s be l(-10). Let r = -21 - s. Is (r/12)/((-1)/72) a multiple of 8?
True
Let v(i) = 52*i**3 - 2*i**2 - 4*i + 4. Does 24 divide v(2)?
False
Suppose 0 = -c + 545 - 119. Does 16 divide c?
False
Does 20 divide (-8391)/(-21) + (32/(-56) - -1)?
True
Let l(q) = q**3 + 19*q**2 + 39*q + 35. Is l(-15) a multiple of 11?
False
Let s be -48*(-3 + (-21)/(-9)). Is 5 a factor of (-4)/(2 - 4/(s/18))?
False
Let w be 29 - (28/12*-3 - -3). Let o be (3/(-4))/((-2)/24). Let r = w - o. Does 12 divide r?
True
Let v = -201 + 360. Does 7 divide v?
False
Let j(c) = 22*c + 3. Let y be j(-1). Let p(f) = -8*f - 1. Is p(y) a multiple of 14?
False
Let p(x) = 11*x - 32. Let s(k) = 11*k - 33. Let m(l) = 5*p(l) - 4*s(l). Is m(3) even?
False
Let i = 641 - 346. Does 29 divide i?
False
Let r(t) = -10*t - 28. Let k be r(5). Let l = k + 91. Is l even?
False
Let c be 93/15 + (-3)/15. Suppose 0 = 4*i - c + 182. Let p = i - -62. Is p a multiple of 4?
False
Let z = 12 + -9. Suppose h + 8 = z*h. Suppose -28 = -h*f + 2*f. Is 8 a factor of f?
False
Suppose -f + 100 + 215 = 0. Is 9 a factor of f?
True
Let t = 59 - 39. Let g(l) = -l - 12. Let a be g(-6). Let m = a + t. Does 7 divide m?
True
Suppose 0 = -o, 2*q + 3*o - 16 = -0. Let p = 13 - q. Suppose 0*k + 16 = 2*v + k, 2*k = -p*v + 41. Does 5 divide v?
False
Suppose 3*o - 1536 = -o. Let s = o + -265. Is s a multiple of 17?
True
Let q(h) = -h + 7. Let s be 