0. Is g a multiple of 5?
True
Let z(p) = -p**2 + 15*p + 18. Let s be z(16). Is 45 a factor of (6/9)/((4/258)/s)?
False
Let r = 14 + -12. Suppose -4*i + 60 = -3*h + 190, -4*h = -4*i - 180. Suppose -4*c = -h + r. Is 2 a factor of c?
True
Let v = 41106 + -17206. Is v a multiple of 25?
True
Let a = -2283 + 2284. Let c(o) = o. Let j be c(1). Does 38 divide (-306)/(a + -3) + j/(-1)?
True
Let j be (6/(-5))/((-10)/1850). Suppose 0 = -3*s - 280 + 67. Let d = s + j. Is 29 a factor of d?
False
Suppose 47*l + 3*l = 748250. Does 73 divide l?
True
Let c(i) = i**3 + 10*i**2 + 9*i. Let z be c(-9). Suppose -5*t + 200 + 90 = z. Does 18 divide t?
False
Let w = 18 - 56. Let a = 19 + w. Let p = a + 70. Is 17 a factor of p?
True
Suppose -19*c + 14*c + 42940 = 5*d, 4*c + d = 34340. Is c a multiple of 97?
False
Suppose -310*l = 4*s - 311*l - 5350, 2668 = 2*s - 4*l. Is s a multiple of 2?
True
Let w be 4*3/(-36)*-21. Suppose 0 = 4*s - 2*l - 294, 0 = -3*s + w*s + l - 285. Does 12 divide s?
True
Suppose -19*n + 89*n - 10808 - 136192 = 0. Is 14 a factor of n?
True
Let j be -2 + ((-1)/(-2) - (-29589)/42). Let d = j + -473. Is 10 a factor of d?
True
Let q = -480 + 380. Let g = 130 + q. Is 3 a factor of g?
True
Let m(j) = j**3 - 19*j**2 - 2*j - 5. Let o be m(19). Let t = 155 + o. Is 16 a factor of t?
True
Suppose 0 = 5*v - 20, 4*m - 5*v = -0*m - 124. Let j = m + -9. Let b = -3 - j. Is b a multiple of 16?
True
Let x(b) = -1843*b + 57. Is x(-1) a multiple of 5?
True
Let u = 14146 - 6658. Is 5 a factor of u?
False
Suppose -p + 3*w = 5, 5*p - 4*p + 8 = 4*w. Suppose 9 = c - p*c, 5*s + c = -23. Is (-5)/(30/s)*21 a multiple of 11?
False
Let q(b) = -b**3 - 31*b**2 - 25*b - 124. Let a be q(-32). Let l = -750 + a. Is 42 a factor of l?
False
Suppose 0 = -5*t + 5 - 0. Suppose 75 = 3*n + 4*r, 5*r + 50 = 5*n - 3*n. Let y = n + t. Is 4 a factor of y?
False
Suppose -15*j + 77883 + 50115 = -115257. Is j a multiple of 14?
False
Let x be 3*(-1 - 12/18). Let d be (-2 - -3 - x)*(16 - 17). Let i(a) = -2*a**3 - 7*a**2 + 5*a + 4. Does 20 divide i(d)?
False
Suppose b - 9192 = -3*z, 0 = 3*b + 204*z - 203*z - 27544. Is b a multiple of 23?
False
Let l be 3 - (-18 + 5 + -3). Suppose 16 = 4*h, 0 = -t + 2*h + l + 233. Is 13 a factor of t?
True
Let x(f) = 233*f**2 - 256*f - 18. Is 27 a factor of x(9)?
True
Suppose 18*t - 512 = 14*t. Suppose 5*i + t = 3*i. Does 45 divide 18/(0 + 6/i*-1)?
False
Is ((-112)/(-16))/(0 - 1) - -632 a multiple of 39?
False
Let w = -54 + -20. Let n = w + 149. Is 15 a factor of n?
True
Let s = -40434 + 57284. Is s a multiple of 10?
True
Suppose 20*m - 110 = -10. Suppose -96 - 3149 = -m*l. Is l a multiple of 23?
False
Suppose -36*m + 296911 = -6*m - 21689. Is 18 a factor of m?
True
Suppose 0 = 166*d - 12*d - 4614456. Does 132 divide d?
True
Suppose -32*z + 38627 - 24230 = -95139. Is 67 a factor of z?
False
Let v be (14/(-8))/(-1 - (-55)/60). Let c(j) = j**3 - 22*j**2 + 29*j + 21. Is 10 a factor of c(v)?
False
Suppose -4*z = 4*h + 8, 0 = -9*h + 8*h + 3*z - 10. Let p(l) = -6*l**2 - 3*l - 9. Let q(y) = y**3 - y**2 - 1. Let x(j) = p(j) - 2*q(j). Is x(h) a multiple of 27?
False
Suppose -4*u - 4*y + 1872 = 0, -16 + 4 = 4*y. Is 6 a factor of u?
False
Suppose 7038 = 2*w - 3*c - c, 2*w - 2*c = 7034. Suppose 10*v + 235 = w. Is 7 a factor of v?
False
Suppose -290 = 8*f - 3378. Let o = f - -84. Is 10 a factor of o?
True
Let f(k) = -40*k + 2553 - 20*k - 2556. Let v be (3*(-1)/(-3))/(-1). Is 19 a factor of f(v)?
True
Suppose 3*h - 2*g = 7*h - 22, -5*g = 3*h - 13. Let f be h/24 - 179/(-4). Let r = f + -29. Is r a multiple of 5?
False
Suppose -43*k + 44*k - 10304 = 0. Is k a multiple of 112?
True
Let p(q) = 531*q - 284*q - 285*q - 11. Does 32 divide p(-8)?
False
Suppose 3*h + 30*m = 28*m + 2246, 2964 = 4*h - 5*m. Suppose q - h = -r, -2*q - 4*r = 3*q - 3733. Does 20 divide q?
False
Let o = 110 + -106. Suppose o*p + 2*g - 32 + 10 = 0, 0 = 4*p + g - 21. Suppose -p*v = -1172 + 292. Is v a multiple of 44?
True
Let f be (-5)/(20/(-7))*28. Suppose 0 = y + 5*b + 4 + 13, f = -y + 3*b. Let v = 77 + y. Does 8 divide v?
True
Let o(m) = -2*m**2 + 2*m + 3. Let y be o(0). Let l(x) = 3*x - 8. Let a be l(y). Does 16 divide ((-27)/(-81))/(a + (-436)/438)?
False
Let h = -3714 + 11609. Is 21 a factor of h?
False
Let y(s) = -s**3 - 2*s**2 - s - 2. Let n be y(-4). Suppose n*t = 40*t - 54. Is t a multiple of 3?
True
Let b = 70 - 0. Let h = 88 - b. Suppose h*m - 352 = 14*m. Is m a multiple of 11?
True
Suppose 0 = 2*l - 4*l + 4. Suppose -l*g = g - 186. Suppose 197 = 4*s + j + g, -3*s - 5*j = -114. Is s a multiple of 4?
False
Suppose -5*u = 46*v - 48*v - 22181, -5*v - 8885 = -2*u. Does 77 divide u?
False
Let x = -533 - -4253. Is x a multiple of 10?
True
Let q = -9041 - -28444. Is q a multiple of 39?
False
Suppose -15 = 5*t, -6*u - 6351 = -10*u - 3*t. Does 53 divide u?
True
Suppose -1697 = -31*m + 3418. Let x = m - -468. Does 42 divide x?
False
Suppose -17011 = -2*w + 1917. Does 13 divide w?
True
Let w(h) = -h**2 + 18*h - 12. Let y be w(17). Suppose 3*q + 2*v - 722 = 0, y*q - 8*q - 3*v + 723 = 0. Is 40 a factor of q?
True
Let i = -3799 + 1660. Let c = 3755 + i. Is 101 a factor of c?
True
Does 34 divide 442/2*(66 - 18)?
True
Let w = -55441 - -79765. Does 10 divide w?
False
Suppose 4*y - 3*d = 43942 - 652, -4*d = -8. Suppose -27*m - y = -38*m. Is m a multiple of 51?
False
Let p be (0 - (-3)/2)*56/3. Suppose -5*w = 3 - p. Suppose -203 = -12*f + w*f. Does 29 divide f?
True
Suppose 466*n + 496608 = 487*n. Does 21 divide n?
False
Let i(d) be the second derivative of 0 + 21*d - 3*d**2 + 1/6*d**4 - 2/3*d**3. Is 5 a factor of i(4)?
True
Let k(p) = -2*p**2 - 4*p + 5. Let l be k(8). Is 31 a factor of 1/((-1)/l)*3?
True
Suppose 125*z - 12*z = 733370. Is z a multiple of 8?
False
Suppose 3*b = k - 3*k + 24, 33 = 3*b - k. Suppose b*a - 14*a = -60. Is a a multiple of 3?
True
Suppose 28001 = 16*n - 149407. Is 36 a factor of n?
True
Let v(g) = -g**3 + 11*g**2 - 5*g - 22. Let c(f) = -3*f**3 + 33*f**2 - 15*f - 65. Let d(m) = 6*c(m) - 17*v(m). Is 17 a factor of d(10)?
True
Let b = 6205 - -11889. Does 218 divide b?
True
Let c(j) = j**3 - 5*j**2 - 49*j - 96. Let d be c(16). Suppose 2*u - 5 = -5*x, 2*u - 3*u + 4 = 2*x. Suppose 0 = u*b - d + 486. Is 20 a factor of b?
False
Let j = 542 - 490. Is j a multiple of 26?
True
Suppose 30*a + 3204 = 15*a + 16*a. Does 12 divide a?
True
Let i = -41019 + 48243. Is i a multiple of 14?
True
Let t(q) = -q**3 + 37*q**2 - 32*q - 6. Suppose 0 = 12*f - 2*f - 360. Does 6 divide t(f)?
True
Let j(f) = -f**2 + 22*f. Let a be (-3900)/(-175) + (2/(-7) - 0). Let k be j(a). Suppose k = 3*s - i - 241, 5*i = 2*s + 4*i - 162. Is 13 a factor of s?
False
Let z(r) = 47*r**2 - 339*r - 1. Is z(20) a multiple of 317?
False
Let k = 121 - 119. Suppose 16 = k*a - 508. Let l = 437 - a. Does 25 divide l?
True
Let j = 21 + 85. Let b = 105 - j. Is -36*26*b/6 a multiple of 12?
True
Suppose -80*d + 73*d = -29855. Is d a multiple of 40?
False
Does 21 divide (4 + -3)*3 - 6265/(-14)*26?
False
Let j(o) = -8*o**2 + 2*o - 5. Let s be j(3). Let h = s + 70. Is (-15)/(-6)*(4 + -1 + h) even?
False
Let h be ((-400)/(-125))/((-4)/(-1390)). Suppose -6*v + h = -1264. Is v a multiple of 44?
True
Suppose 10 = k + 6. Suppose -2*t - 14*o = -12*o - 240, k*t - 490 = o. Is t a multiple of 14?
False
Is 6 a factor of (2279 + -5)/(1 + 0/(-2))?
True
Suppose 4*j = -4*p + 28, -5*p + 2*j = -6 - 22. Let o(l) = -10*l + 31. Let q(f) = 21*f - 59. Let g(n) = 5*o(n) + 3*q(n). Does 16 divide g(p)?
False
Let z(s) = s**2 - 39*s + 74. Let p be z(37). Suppose 640 = t + 4*d, t + 3*d + 2*d - 644 = p. Does 34 divide t?
False
Let z be (-36)/6*3/(-12)*14. Let b be ((-7)/((-49)/z))/(0 + -1). Is 21 a factor of ((-281)/b + 1)*18/12?
False
Let f be (-4)/14 - (-23391)/161. Suppose -268 = 143*k - f*k. Does 9 divide k?
False
Suppose -64*a - 34744 + 198292 = 20*a. Is 14 a factor of a?
False
Let y(q) = -2*q**3 - 2*q**2 - 3*q + 10395. Is 105 a factor of y(0)?
True
Suppose -3*m - 1 = -4*y, -3*m + 14 + 9 = 2*y. Let g be (-2)/m - (1341/(-15) + -6). Let u = g + -17. Is u a multiple of 26?
True
Suppose -5*c + 4*r = 9, r = -3*c - 0*r - 19. Let t be 24/(-20)*c + -1. Suppose 298 = 2*m + d, -115 + 870 = t*m + 5*d. Is m a multiple of 22?
False
Suppose 5*s + 15*u - 3998 = 14*u, -3*s = 5*u - 2390. Suppos