 a multiple of 60?
True
Let r be ((-2)/(-5))/((-3)/(-15)). Suppose -r*f = f. Suppose f = q - 3*q + 272. Is q a multiple of 34?
True
Suppose -a - 92 = 3*a. Let v(r) = -7*r + 91. Is 14 a factor of v(a)?
True
Let i(v) = -2*v**2 - 14*v + 6. Let x be (28/(-21)*-1)/(4/78). Suppose 4*l + 2*r + x = 0, 5*r + 16 = -2*l - 9. Is 10 a factor of i(l)?
False
Let x(k) = 5*k + 25. Let t be x(-5). Suppose -2*q + 2*j + 23 + 185 = t, 4*q - 5*j - 417 = 0. Suppose 633 = 4*h - y, y - 212 - q = -2*h. Does 24 divide h?
False
Suppose 6*a - 2*t - 35296 = 2*t, -12 = 3*t. Is 27 a factor of a?
False
Let q = -66 + 66. Suppose q = -i + 164 - 44. Is 12 a factor of i?
True
Suppose v + 4*f = 7, -5*v - 54 + 161 = 2*f. Let l = v + -9. Does 19 divide (21/l)/(3/92)?
False
Suppose -3*a - 4*f = -7230, -a - 75*f + 78*f + 2423 = 0. Is 16 a factor of a?
False
Let n = -8642 + 8646. Let o(c) = 12*c + 15*c - 3 - 3. Is o(n) a multiple of 22?
False
Let y(x) = 1. Let w(r) = -141*r - 37. Let k(j) = -w(j) + 4*y(j). Let q be k(19). Suppose -17*o = -25*o + q. Does 23 divide o?
False
Let z(b) = -b**3 + 9*b**2 + 1. Let h be z(9). Let p(r) = r - 12. Let y be p(6). Is 15 a factor of (y/15)/(0 + h/(-490))?
False
Let i(z) = -z**3 - 94*z**2 - 200*z - 68. Is 52 a factor of i(-92)?
True
Let w(p) = -p**2 - 2*p - 4. Let o be w(-3). Let k = 0 - o. Suppose 3*l - k*l + 176 = 3*y, 0 = y. Does 22 divide l?
True
Suppose 160 + 940 = -5*f. Let j = -190 - f. Does 12 divide j?
False
Let x = 204 - 24. Let q be 643/2 - (-93)/(-62). Let w = q - x. Is 20 a factor of w?
True
Let r be (-4)/((22/(-330))/((-50)/(-3))). Suppose -8*c = -12*c + r. Is c a multiple of 19?
False
Let x = -218 + 442. Suppose -4*c = -204 - x. Suppose -p - 5*g + c = 0, 5*p - 3*g - g - 477 = 0. Is 20 a factor of p?
False
Suppose -18*f + 5*f = 45*f - 369576. Is f a multiple of 108?
True
Let y(t) = 7*t**2 + 9*t + 21. Let o be y(-4). Suppose 3*u - 4*q - 89 = 0, 3*u - o = -5*q + 7*q. Let l = u - -269. Is l a multiple of 19?
True
Let l(k) = 22*k - 1650. Let v be l(72). Let i = 50 - 95. Let c = i - v. Does 7 divide c?
True
Let q(s) = 236*s + 1308. Is q(9) a multiple of 44?
True
Suppose 0 = 7*o - 15*o + 888. Is 58349/o + 7/3 a multiple of 22?
True
Let l be 1814/5*25/10. Suppose 13*n = 5561 - l. Is n a multiple of 14?
False
Let j(u) = u - 14. Let f be j(21). Let m(i) = -i**2 + 18*i - 60. Is m(f) a multiple of 17?
True
Let j be -3 + (-116)/(-6)*9/(-6). Let w = -37 - j. Does 23 divide (2/w)/(1/(-345))?
True
Let p(b) = 3*b**3 - 3*b**2 + b - 29. Is 86 a factor of p(7)?
True
Suppose 1458 = -2*a - 224. Is (1 + 16)*a/(-29) a multiple of 17?
True
Suppose -8*k = -5*k + 87. Let u = 30 + k. Is 29 a factor of (-174)/(u + 3 - 6)?
True
Let y be 270/63 - 2/7. Suppose y*p + 0*p - 3*u - 950 = 0, 5*p - 1186 = 3*u. Is p a multiple of 34?
False
Let x = 610 + -642. Suppose 3*b - 140 = -l, 3*l + 52 = 2*b - 34. Let s = b + x. Is 4 a factor of s?
False
Suppose 0 = -5*a + 3*u + 5603, -3*u = -0 + 3. Let y = a + -598. Is 36 a factor of y?
False
Suppose -115*a = 16*a - 24*a - 271138. Is 37 a factor of a?
False
Let i = 234 + -54. Suppose -1 = -t, 300 + 32 = 4*v + 4*t. Let p = i - v. Does 20 divide p?
False
Suppose -4*h - 2*w = 44, -2*w - 16 = 5*h + 39. Let l = -8 - h. Suppose -l*z + 56 = -100. Does 15 divide z?
False
Is 1292*102/24 + -10 a multiple of 3?
True
Suppose -4*u = 4*z - 40496, 1264*z + 30362 = 1267*z - 2*u. Is 14 a factor of z?
True
Let k(v) = 299*v + 11606. Is 8 a factor of k(54)?
True
Let a be 4/(-10) + (312/10)/(-2). Let c = -17 - a. Does 9 divide ((-51)/2)/(c/2)?
False
Let a(g) = -110*g**3 - 2*g**2 - 4*g - 5. Let k be a(-2). Suppose 5*q = -0*q + k. Suppose 3*t + 10 - q = 0. Is 20 a factor of t?
False
Suppose -34*d + 161382 - 19115 = -54083. Does 75 divide d?
True
Let j(l) = -2*l**2 + 4*l - 15. Let s be 2/(-3) - 115/(-15). Let c be j(s). Let h = c + 161. Is 19 a factor of h?
True
Suppose 0 = -2*f + 2, 0*q + 7037 = q - f. Does 6 divide q?
True
Suppose -3*a + 1 = 1. Suppose q - 8*q + 35 = a. Suppose 410 = 5*z + q*i, -3*i + 400 = -2*z + 7*z. Does 7 divide z?
True
Let z(b) = -b**3 - 17*b**2 - 19*b - 6. Does 14 divide z(-16)?
True
Is 16 a factor of (-55254)/(-207)*15 - (-6)/69?
False
Suppose -2*f + 2*y + 364 = 0, -19*f + 926 = -14*f - y. Is 4 a factor of f?
False
Suppose 1080305 = 479*m - 191182 - 67318. Is 15 a factor of m?
False
Let m = 119 - 117. Suppose -m*i + 177 = -551. Does 54 divide i?
False
Let r(v) = 7*v - 6*v - 6*v - 9*v + 40. Suppose 5*a = a - 28. Does 46 divide r(a)?
True
Is 20 a factor of 1 + 0 + (1 + 235)/4?
True
Suppose 9*d + 2*d = 231. Suppose -1 - d = -2*w. Let k = w + 61. Is k a multiple of 18?
True
Let x = 420 - 177. Let v = 445 - x. Does 5 divide v?
False
Suppose -18*i + 19*i = 2*v + 5828, 0 = 3*i - 4*v - 17482. Is i a multiple of 44?
False
Let d(i) be the third derivative of -29*i**4/6 + 14*i**3/3 - 5*i**2 + 2*i. Does 16 divide d(-5)?
True
Let t(b) = -b**3 - 18*b**2 - 5*b - 6. Suppose 0 = -11*x - 0*x + 132. Suppose -n + u = 17, 3*n - 2*u = -40 - x. Is t(n) a multiple of 28?
True
Let y = 8388 - 6222. Is 4 a factor of y?
False
Suppose 16*f + 33814 - 73196 = 29498. Is 9 a factor of f?
False
Let p be 2*1 + -1 - -2. Let d(y) = 11*y**2 + 183*y + 353. Let g be d(-15). Does 7 divide 2 - g/(-3)*p?
False
Let y = 154 + -14. Let s = -98 + y. Is s a multiple of 3?
True
Suppose 3*u - 29 - 23 = -5*m, 0 = -3*u + 4*m + 88. Let q(s) = 26*s - 132. Does 6 divide q(u)?
True
Suppose 89*y = 110*y + 714. Let z(v) = -v + 92. Does 9 divide z(y)?
True
Suppose 5*m + 664 = -2*g, 7*g + 5*m = 2*g - 1645. Let t = -143 - g. Is t a multiple of 8?
True
Let z = 1029 + -2525. Let u = -696 - z. Suppose 2*y + 8*y = u. Does 14 divide y?
False
Suppose -4*m = 3*p - 220, 2*m + 3*p - 144 = -28. Suppose -83*d = -m*d - 21483. Is 99 a factor of d?
True
Suppose 5*r = 5*k + 20, r - 2*r = -5*k + 4. Let d(a) = 4 + 11 - r + 8*a + 3 - a**2. Does 5 divide d(7)?
False
Suppose 45*x = 69454 + 91196. Does 42 divide x?
True
Let b(h) = 2*h - 24. Let s be b(14). Suppose 2*t - 108 = 7*t - s*r, 0 = 4*r - 8. Let c = t - -32. Does 12 divide c?
True
Let h(g) = -169*g**3 - 3*g**2 - 98*g - 96. Does 28 divide h(-1)?
True
Let s(a) = 3*a**2 + 8*a + 9. Let c be s(-1). Suppose -c*w + w = 90. Does 20 divide (-6)/w + (-2)/((-10)/479)?
False
Suppose 197*f - 195*f = 30. Is 10 a factor of (-6)/f - (1410/(-25) - 4)?
True
Let j be 25*(1 + 6 - 5). Let w = 14 - 6. Is 25 a factor of j/(0 - (0 - w/12))?
True
Let q(c) be the first derivative of -c**4/4 + 2*c**3/3 - 8*c**2 - 31*c - 149. Is 7 a factor of q(-5)?
True
Let o = -165 + 171. Let c(j) = 93*j**2 + 2*j - 6. Let z be c(2). Suppose y - 374 = -4*a, 2*a + y + z = o*a. Is a a multiple of 16?
False
Suppose 0 = v - 1820 + 1126. Let o = 45 + -30. Suppose 3*a = -o, 0*j - 4*j - 2*a = -v. Does 16 divide j?
True
Let i(v) = -v**3 + 10*v**2 - 51. Is i(8) a multiple of 4?
False
Let j = -1862 + 1950. Is j a multiple of 11?
True
Let z = -197 + 215. Is 64 a factor of (-46908)/(-81) + -11 + (-2)/z?
False
Suppose 0 = -v + 2927 - 1364. Does 16 divide v?
False
Suppose 0 = -q + 3*l + 43036, -27*q + 32*q - 215144 = -3*l. Does 68 divide q?
False
Suppose 8155*t = 8189*t - 1262624. Is t a multiple of 16?
True
Suppose 0 = -5*r - 5*t + 290, 2*t + 10 = 4. Let w = -124 + r. Let h = -15 - w. Does 12 divide h?
True
Let f(g) = 48*g**2 - 19*g - 391. Is f(-13) a multiple of 96?
True
Let u(a) be the third derivative of 3*a**5/20 + 17*a**4/12 - 47*a**3/6 + 5*a**2 - 11*a. Is u(-15) a multiple of 91?
False
Suppose -x - 3*r + 2491 + 3821 = 0, 5*x + 2*r - 31625 = 0. Does 111 divide x?
True
Suppose -r - 2 = -0. Let o(g) = 5*g**2 - 328*g - 133. Let a be o(66). Is 11 a factor of (0 - r)/(92/88 + a)?
True
Let y(g) = -g**2 + 12*g - 29. Let c be y(8). Suppose -3*q + 1002 = 4*r, -4*q = -r + c*r - 1336. Is q a multiple of 11?
False
Let u = 3516 - 2461. Suppose 6*y - u = 985. Is y a multiple of 17?
True
Suppose g = -14*g + 45. Suppose 0 = -g*w + 543 + 630. Does 12 divide w?
False
Is ((-76)/57)/(4/(-2286)) a multiple of 106?
False
Is 115 a factor of ((13208/(-24))/(-13) - 4)*249?
True
Let l(r) = -r**3 - 8*r**2 - 2*r. Let x be l(-8). Let p = x + 9. Is 25 a factor of p?
True
Let p = 240 + -116. Let u = 87 + -84. Suppose -u*v = -4*w + 648 - p, 0 = -4*w - 5*v + 492. Is w a multiple of 5?
False
Let y(x) = -2*x**2 + 21*x + 13. Let i be y(