
True
Suppose -3*b - 31 = -l, 3*b + l = 6*l - 47. Is 2*2*(2106/(-12))/b a multiple of 13?
True
Let v = -16596 - -46982. Does 11 divide v?
False
Suppose 5*n = -0*n - 4*o + 310, -2*n - o = -127. Let l = -50 + n. Suppose 68 = 2*c - m, 2*c - 5*m - 76 + l = 0. Is c a multiple of 7?
True
Suppose -3*j = 4*c - c - 687, 3*j = 15. Suppose -5*d = 4*r - c, 49 = r - d - 7. Let s = r + -27. Does 3 divide s?
False
Let c = -56 - -64. Suppose 197 = c*b - 595. Does 18 divide b?
False
Suppose -244949 + 220313 = 128*v - 1831868. Is v a multiple of 17?
False
Let v = 1814 + -1015. Suppose v = 2*j - 381. Is 59 a factor of j?
True
Let g = 15 + -15. Suppose -i + j + 2 = -g, 0 = -4*i - 5*j + 26. Suppose -2*m - 4*r + 182 = 0, -i*m + 419 - 41 = r. Is m a multiple of 16?
False
Suppose 23 = 6*k - 67. Let w(j) = 42*j - 347. Is 35 a factor of w(k)?
False
Suppose 3*f - 105*j = -108*j + 17181, -f = -3*j - 5723. Is f a multiple of 98?
False
Suppose 30*j = 23*j. Suppose j = -y - 2*r, -5*y + 17 = -5*r - 13. Suppose 666 = 5*g + 2*s, y*s = 5*g + 2*s - 654. Is 22 a factor of g?
True
Suppose f + 5*c = -1 + 18, -c + 1 = -f. Let s be (-6)/6 - (f + -5). Suppose -5*j + 294 = -s*j. Is j a multiple of 14?
True
Let a = 496 - 452. Is (a - 1) + 5/((-5)/3) a multiple of 7?
False
Is 8 a factor of 12195/2 - 165/(-110)?
False
Let d(o) = -o**2 - 8*o - 7. Let g be d(-6). Suppose -2*l - g*p + 542 = -257, 2*l - 5*p - 789 = 0. Suppose -l + 1997 = 5*h. Is 20 a factor of h?
True
Suppose 5*z + 5*w = 2930, 4*z - 2383 = 4*w - 23. Does 14 divide z?
True
Let p(t) = t - 5. Let m be p(-3). Let i(o) = -o**2 - 6*o + 19. Let x be i(m). Suppose 3*w - 626 = -2*w + 2*r, -x*w + 3*r + 381 = 0. Does 16 divide w?
False
Let t be ((-2)/(-4))/((-5)/(-50)). Let z be t/(125/15)*15. Is (-8)/36 + 1028/z a multiple of 11?
False
Suppose -52 - 32 = 4*t. Suppose 4*l - 38 = q - 0*q, -2*l + 5*q = -10. Let i = l - t. Is i a multiple of 10?
False
Let o be 4*18*(6 + -3 - 2). Suppose -68*y - 144 = -o*y. Is 18 a factor of y?
True
Suppose 87 = 5*n + 5*l - 343, 0 = 2*n - 2*l - 156. Suppose -n + 10 = w + 2*y, -4*w = 4*y + 268. Let j = w - -123. Is j a multiple of 17?
False
Suppose 4*y - 208 - 20 = 0. Suppose 0 = -2*z - 3*b + 273, y = -5*z - 4*b + 736. Let q = z + -79. Is 12 a factor of q?
False
Suppose -7812 - 29583 = -27*h - 1161. Is h a multiple of 13?
False
Let y(s) = s**2 - 6. Let m = -26 - -33. Suppose m*c + 2*c - 54 = 0. Does 10 divide y(c)?
True
Let t = 18 - 12. Let c be 3/t*-6 + 1. Does 2 divide (c - 1*-4) + 68/2?
True
Let c be (-3 - -4)*(48 + -1). Suppose -c*g = -44*g - 276. Let b = g + -71. Does 15 divide b?
False
Let c = -38 - -41. Suppose -5*o = -c*o - 380. Is 24 a factor of o*((12/8 - -1) + -2)?
False
Let l = -1830 - -1900. Let f be (-24)/(0 - -1) - 0. Let o = f + l. Is 23 a factor of o?
True
Let b(z) = -73*z - 46. Let i be b(-7). Suppose 461*d - i*d = -280. Is 14 a factor of d?
True
Let m = -138 + 130. Let g(x) = 3*x**2 - 2*x - 28. Is 5 a factor of g(m)?
True
Suppose -120428 = -2240*o + 2223*o. Is o a multiple of 46?
True
Suppose 61*s = 315060 + 603600. Does 20 divide s?
True
Let b be 26 - (4 + -5 + -3). Suppose 10*v - 90 = b. Let h(s) = 4*s - 27. Is 3 a factor of h(v)?
True
Suppose u - 1013 = -2*i, 5*i - 5*u - 3451 + 911 = 0. Let b = i + -105. Is 6 a factor of b?
True
Suppose -4*u = 5 - 17. Suppose -8*f = -12*f + 8. Suppose u*q + f*q - 40 = 0. Is q a multiple of 5?
False
Suppose 1952380 = 469*m - 345*m. Is m a multiple of 67?
True
Suppose 4*w - 3*w + 579 = -x, -w + 2877 = -5*x. Let i = 1278 + x. Does 13 divide i?
True
Suppose 225051*w - 225069*w = -960048. Is 236 a factor of w?
True
Does 36 divide 4968*(1 + 1 + 12*7/(-63))?
True
Let i be 16/7 - ((-400)/70 + 6). Is 37 a factor of (-5 - -414) + (i/2 - 3)?
True
Let h = -75 + 94. Suppose -2*p - 12 = -z, 5*p + 2*z = -z - h. Is ((-96)/p)/(3*3/90) a multiple of 12?
True
Suppose -69*i = -90*i + 63. Suppose 0 = i*d - 0*d - 324. Is 27 a factor of d?
True
Let u = -2631 + 1831. Let c = -355 - u. Suppose -122*p = -117*p - c. Does 13 divide p?
False
Let i be (24/(-180))/((-8)/2040). Let n(k) = -k**2 - k. Let b be n(0). Suppose -j - f + 44 = b, 2*j + 4*f = 3*j - i. Is 21 a factor of j?
True
Is (-19524)/(-44) - (-12)/44 a multiple of 6?
True
Let d(v) = -5*v - 1. Suppose -5*c + 0*c - 7 = q, 5*q - 5 = -5*c. Suppose 3*m + q = -3. Is 3 a factor of d(m)?
True
Let q be 0 + 6/8 - 11364/(-16). Let k = q - 571. Does 10 divide k?
True
Is 9 a factor of (-1657784)/(-658) + (-12)/(-21)?
True
Let o = -180 - -204. Suppose o*v - 12118 = 7250. Does 16 divide v?
False
Suppose 5*o = h - 4773 - 37348, -3*h + 126251 = o. Does 7 divide h?
False
Is 2 a factor of (-4)/(-10) + (-4)/(-30)*13827?
True
Let p(l) = 24*l - 66*l**2 - 40 - 19*l**3 + 4 + 17*l**3 + 10*l. Does 28 divide p(-34)?
True
Suppose -5*o + 443 = -67. Suppose o*y - 96*y - 1206 = 0. Is y a multiple of 67?
True
Does 76 divide -14 + 69282/27 + 5?
False
Suppose 0 = -2*u - 3*p + 2229, -4*u + 2233 = -2*u - p. Suppose 5*d + 3*a = u, a + 153 + 75 = d. Does 9 divide d?
True
Let t = 275 + -267. Is (-161 - -3 - -14)*(0 - t) a multiple of 32?
True
Suppose 2*b + 6 = 0, -875*b = -2*g - 879*b + 9108. Is 120 a factor of g?
True
Let b(o) = 9*o**2 - 10*o + 89. Let m(z) = -5*z**2 + 4*z - 45. Let j(a) = 4*b(a) + 7*m(a). Is j(7) even?
True
Let y = 4629 + -1011. Is 67 a factor of y?
True
Suppose 5*d = 46 + 19. Let p(w) = w**2 - 9*w + 16. Is p(d) even?
True
Is 5 a factor of 10/(-40) - ((-62975)/60 + (-6)/9)?
True
Is 12 a factor of (-4913080)/(-232) + 26/(-377) - 9?
True
Let q be (-110)/((125/30 + -4)*-4). Suppose q = -12*v + 1149. Does 7 divide v?
False
Suppose -4*f + 24 = 4*i, 0 = -f + i - 10 + 22. Suppose 7273 = f*l - 827. Is l a multiple of 12?
True
Is 64 a factor of (-56)/(-154) + (-56312)/(-22)?
True
Is (7967/124 - -28)*(173 + -1) a multiple of 41?
True
Let i be (11/(-3) - -4)*4*3. Suppose 0 = -5*b - i*b + 3330. Suppose 26*s = 21*s + b. Is 37 a factor of s?
True
Let z(k) = -6*k + 22. Let i = 104 + -72. Let b = 32 - i. Is z(b) a multiple of 13?
False
Let o = 29083 - 13400. Is 207 a factor of o?
False
Suppose -136*c + 137*c = -24. Does 25 divide -4 + -39*c/9?
True
Suppose 7*x = x + 66. Suppose x*f + 5*r + 11 = 12*f, -5*r + 133 = 3*f. Is f a multiple of 12?
True
Suppose -18*s + 76*s - 25*s - 90783 = 0. Is 2 a factor of s?
False
Suppose -7*a + 4*a + 12 = 0. Suppose 6 + 6 = a*k. Suppose -9 = k*i - 156. Is 10 a factor of i?
False
Let g(h) = -50*h + 922. Is g(8) a multiple of 3?
True
Let d = -4095 + 9908. Does 9 divide d?
False
Let n(x) = x**3 + x**2 - x. Let h(v) = -5*v**3 - 15*v**2 - 9. Let b(z) = -h(z) - 3*n(z). Let d be b(-7). Is 1/2*5*(-7876)/d a multiple of 14?
False
Suppose 2*q + 2*n = -2*q - 3852, 2876 = -3*q + 5*n. Let p = q - -1719. Is p a multiple of 10?
False
Let w(p) = p**3 + 12*p**2 - 7*p - 12. Let k be w(-14). Is ((-169)/26)/(3/k) a multiple of 51?
True
Suppose 53 = -12*g + 185. Suppose 0 = -5*a - g*o + 7*o + 2102, -3*a + 3*o = -1272. Does 6 divide a?
False
Suppose 9*z - 92 = 25. Suppose -92 - 454 = -z*o. Suppose -37*w - 150 = -o*w. Is 6 a factor of w?
True
Let b(r) = -27*r - 96*r - 6*r + 38. Is b(-2) a multiple of 17?
False
Let f(m) = -3*m**3 + 17*m**2 - 6*m + 10. Let v be f(5). Is ((-24824)/(-120) + 4/v)*1 a multiple of 9?
True
Suppose -8*l + 7*l + 20 = 0. Suppose -5*a + l = 0, 9*a + 11 = -5*r + 8*a. Let x(j) = 22*j**2 + 3*j + 9. Does 33 divide x(r)?
True
Suppose 0 = 2*a - 3*n - 57778 - 1763, 2*n = 4*a - 119094. Is 397 a factor of a?
True
Let f(k) = -k**2 - 9*k - 9. Let h be f(-6). Suppose 6*l - h*l + 6 = 0. Suppose 497 = 4*b + 3*p, -l*p = -1 + 3. Is b a multiple of 17?
False
Suppose 0 = -w + 5*a - 21, -2*a - 12 = 4*w + 2*a. Let o be w/5*90/(-27). Suppose -o*f + 3 = -3*f. Is f even?
False
Is (-1084)/813 - 115725/(-9) a multiple of 16?
False
Suppose 0 = -5*i - 7*c + 49602, 5*i = 5*c - c + 49646. Is 14 a factor of i?
True
Let h(q) = -12*q**2 - 13*q + 7 - 16*q - 2*q**3 + 12 + 18*q. Is 41 a factor of h(-6)?
False
Suppose -9848954 = -506*l + 148*l - 3310800. Is l a multiple of 43?
False
Suppose -24464 - 8800 = -14*a. Is 4 a factor of a?
True
Is 34 a factor of 1*15/40 + 156/96 + 3354?
False
Suppose 18 = 3*m - 3*l, -4*m + 0 = -3*l - 19. Suppose -2 = -h + m. Suppose -h*n = -7*n + 40. Is 5 a factor of n?
True
Let l(j) = -j**3 + 16*j**2 + 5*j + 6. Suppose 0 = -4*s +