*3/6 - 5*h**2/2 - 5*h. Let p = 752 - 754. Is 13 a factor of q(p)?
False
Let r = 0 - -4. Suppose -w = r, -o - 5*w = -6*w - 354. Does 14 divide o?
True
Suppose 151*m = 24*m + 2235708. Does 27 divide m?
True
Let s(u) = 224*u**2 + 4*u + 5. Suppose -23*o = -4*o + 19. Does 14 divide s(o)?
False
Suppose 5*b - 53*x + 57*x = 16791, 6702 = 2*b - 2*x. Is 67 a factor of b?
False
Let w be (-27)/9 + (-2 - 47*-1). Let q be 5/25 + -1 + w/15. Suppose -105 = -q*r + r - 3*y, -2*r + 215 = y. Is 27 a factor of r?
True
Does 61 divide (-66805)/(-20) + ((-148)/16 - -8)?
False
Let b(h) = h**2 + 10*h + 22. Let i(g) = -g**2 + g. Let p(y) = b(y) + 2*i(y). Let w be p(10). Is 7 a factor of (-20)/4*w/(-5)?
True
Suppose -30*k + 35*k - 3*r - 64379 = 0, -38641 = -3*k - 5*r. Is 75 a factor of k?
False
Let o(l) = 6*l**2 + 7*l**2 + 8 + l**3 - 3*l**2 + 3*l**2 - 13*l. Let y be o(-14). Does 11 divide (-598)/(-8) + y*5/(-120)?
False
Suppose 53*z - 4837 = 4491. Is 22 a factor of z?
True
Is 31 a factor of (-7 + -981)*75/(-30)?
False
Suppose -8*t + 4500 = -3404. Suppose -4*z + t = c, 0 = -3*z + 5*c + 316 + 448. Does 25 divide z?
False
Let r = 222 - 504. Is 32/(-10)*(37 + r) a multiple of 14?
True
Suppose -2*z = -6*z, -3*z = 3*l - 6. Suppose -l*q + 2 = 2*u, 4*q + 4*u + 17 = 7*q. Suppose -5*k = -3*h - 231, 148 = 4*k - q*h - 35. Is 7 a factor of k?
False
Let n be 3192/(-9) + 3/(-9). Let t = 571 + n. Is 38 a factor of t?
False
Suppose -10*g - 6*g + 476 = -9316. Does 34 divide g?
True
Suppose -d + 7 = 6*d. Let a(h) = h. Let q(g) = 15*g**2 - 9*g + 9. Let j(c) = d*q(c) + 5*a(c). Is 36 a factor of j(3)?
False
Is -1 - ((-56)/14 - 319) a multiple of 14?
True
Let n = -273 + 280. Is (0 - -1) + (n - -165) a multiple of 10?
False
Suppose -5*c + 380 = 2*o, -4*o + 3*c + 736 = 7*c. Suppose 5*g - 10 - 8 = -3*j, 0 = -4*j + 5*g + 59. Suppose j*a - o = 9*a. Does 18 divide a?
True
Does 7 divide ((-2784)/(-60))/(3/(120 - 0))?
False
Let x = 683 + -643. Suppose x*f = 16*f + 3576. Does 21 divide f?
False
Let x be -3*3*(-15)/(-27)*10. Let a(f) = 3*f**2 + 13*f - 4. Let l be a(-10). Let b = x + l. Is 23 a factor of b?
False
Suppose -40*v = -58*v - 24*v + 14826. Is v a multiple of 14?
False
Let t(s) = -5*s + 2 - 2 + 1 + 6*s. Let p(v) = v**2 + 11*v + 55. Let k(f) = p(f) - 6*t(f). Does 19 divide k(-6)?
False
Suppose 5*h - 4711 = 2*y, 4*h - 5*h + 933 = -5*y. Suppose -h = 15*g - 4393. Does 10 divide g?
True
Does 14 divide (2/6)/(664430/(-47460) + 14)?
True
Suppose 0 = -5*h - 5, 2*d - 3*h - 1065 = -4*h. Is 65 a factor of 41/d + 4028/26?
False
Let b(v) = -v**2 - 3*v + 9. Let i be b(4). Let m(q) = -q**3 - 20*q**2 - 18*q + 13. Let y be m(i). Is 0 - y/(30/325) a multiple of 25?
False
Suppose -118*a + 17494 = 2*h - 122*a, 0 = 3*h + 5*a - 26241. Is 16 a factor of h?
False
Suppose -l + 13 = -0*l. Suppose -s - 4*f = -128, 0 = s - f - 130 - l. Suppose 4*c = 16, -2*k + 4*c + 366 = -s. Does 43 divide k?
False
Suppose -5*y + 2*i = -1 - 34, 3*y - 2*i = 25. Suppose -y*r = -b + 3*b - 458, 4*r - 8 = 0. Does 14 divide b?
True
Let c(r) = 2*r**2 - 91*r - 4654. Does 17 divide c(-67)?
True
Let x = -59 - -71. Let m = 13 + x. Suppose 5*o + m = 225. Is o a multiple of 10?
True
Let y(m) = -7*m - 66. Let x be y(-9). Does 7 divide 6*x/(-6) - -109?
True
Suppose 31*j + 5383380 = 363*j. Is j a multiple of 47?
True
Suppose -2*b + 1051 = -b. Suppose b = 4*i - 2*i - y, -1057 = -2*i - 5*y. Is 13 a factor of i?
False
Let j(n) be the third derivative of n**6/120 - 31*n**5/60 + 71*n**4/12 + n**3/6 + 30*n**2. Is 5 a factor of j(5)?
False
Does 18 divide (3888/(-90))/((-4)/120)?
True
Let u(f) = f**2 - 17*f + 70. Let o be u(8). Does 4 divide 33 + -35 - 11*o?
True
Suppose n - 53 - 32 = -2*g, -15 = 5*n. Suppose g*s - 468 = 26*s. Does 26 divide s?
True
Let l be 2/7 - (-38)/(-133). Suppose -35*n + 1976 = -31*n + f, -n + 4*f + 494 = l. Is n a multiple of 19?
True
Suppose g - 31 = -3. Let w be (4/(-6)*1)/(g/(-3990)). Suppose w = 6*p - 127. Is p a multiple of 10?
False
Suppose -r + 133 = -4*l, r = 3 - 6. Let n = 77 + l. Is 15 a factor of n?
False
Let q = -2563 + 2575. Let j(d) = 15*d**3 - 2*d + 1. Let p be j(1). Suppose p*k - q*k - 352 = 0. Does 8 divide k?
True
Suppose 5*l - 15 = 0, -2*l + 28 - 52 = 5*i. Let d(w) = -3*w**3 - 2*w**2 - 8*w + 6. Does 14 divide d(i)?
True
Let n(q) = -14*q**3 + 16*q**2 - 48*q - 5. Let p(c) = -5*c**3 + 5*c**2 - 16*c - 2. Let f(x) = 6*n(x) - 17*p(x). Let l = 232 + -241. Is f(l) a multiple of 44?
False
Let d(o) = 19*o + 12*o**2 - 4*o - 8*o**2 - 58 + 10*o - 3*o**2. Does 13 divide d(-32)?
False
Let k = -12431 + 40516. Is 41 a factor of k?
True
Let u(p) = -3*p**3 + 24*p**2 + 22*p - 13. Let v be u(9). Does 19 divide ((-8)/3)/(v/14877)?
True
Let t(l) = 158*l**3 - 3*l**2 + 3*l - 6. Let k be t(2). Suppose 0 = -2*n + 3*r + k, -3*n + 5*r + 72 + 1807 = 0. Is 32 a factor of n?
False
Suppose j - 172*r = -174*r + 7450, -3*j + r = -22336. Does 16 divide j?
False
Let t be (1 + -3 - 0) + 3 - -636. Let o = -182 + t. Does 7 divide o?
True
Suppose -2763*y + 243 = -2736*y. Does 2 divide y?
False
Suppose 5*r - 80*x - 23611 = -83*x, -2*r = 4*x - 9450. Is 100 a factor of r?
False
Suppose -1825 + 409 = 4*h. Let o = 582 + h. Is o a multiple of 38?
True
Let p(j) = 19*j**2 + 248*j + 34. Does 26 divide p(-27)?
False
Suppose -198 = -4*m + 3*z + 7, 5*z = 3*m - 162. Suppose m = 7*y - 0*y. Let k(n) = n**2 - 2*n - 7. Is 28 a factor of k(y)?
True
Let i = 7709 + -1989. Is 52 a factor of i?
True
Let o be 8943/22 - ((-42)/4)/(-7). Let c = o + 262. Is 32 a factor of c?
False
Suppose -j = -5*s - 18097, -18087 = 214*j - 215*j + 3*s. Is 24 a factor of j?
True
Let h = 36 - 25. Suppose -4*q = -51 + h. Let v(z) = -z**3 + 10*z**2 - z + 20. Does 10 divide v(q)?
True
Suppose 0 = -4*h + 3*c + 69064, -22894 = -4*h + 2*c + 46166. Is h a multiple of 61?
True
Suppose -4*b + 1342 = 2*w + 246, 4*b - 1650 = -3*w. Suppose 5*j - 419 = -4*p + 320, -3*p - 4*j + w = 0. Suppose -666 + p = -8*u. Does 12 divide u?
True
Let s = -14479 - -27442. Does 12 divide s?
False
Let b = 532 - 524. Suppose -q = 3*k - 1161, -5805 = -b*q + 3*q - 4*k. Does 27 divide q?
True
Let s = 13777 - 5288. Let a be s/3 + 64/48. Suppose 17*l - a = -400. Is l a multiple of 8?
False
Suppose -20*o - 4919 + 269639 = 0. Is 63 a factor of o?
False
Let n = 21 + -16. Suppose -4*w + 552 = -n*y, w - 38 = -y + 109. Is 13 a factor of w?
True
Let o = 26 - 24. Let n(w) = 9*w**3 - 4*w + 4. Let l be n(o). Let g = l - 32. Does 6 divide g?
True
Suppose i = -3*i - 4, 2*a = -2*i + 1688. Is 26 a factor of 4*a/(-30)*-3?
True
Let u(r) = r**3 - 10*r**2 + 14*r + 20. Let i be u(11). Suppose i = 2*c + 89. Is c a multiple of 16?
False
Let g(f) be the second derivative of f**4/6 - 13*f**3/6 + 5*f**2 - 44*f. Let v = 25 - 16. Does 55 divide g(v)?
True
Let i(v) = 67*v + 23. Suppose -l - 15 = 5*d, 0*l = -4*d - 2*l - 18. Let t be i(d). Let h = t - -126. Is 7 a factor of h?
False
Suppose 135374 = 5*g - 3*j + 25685, 3*g - 3*j - 65811 = 0. Is 23 a factor of g?
False
Let m be 1/(-3)*0 + 10. Suppose m*z = 4*z + 252. Suppose -z*x + 39*x + 111 = 0. Does 37 divide x?
True
Let s(y) = 3*y - 11. Let o(n) = n**2 + 5*n + 4. Let m be o(-5). Let w be s(m). Does 12 divide 4536/32 + w/4?
False
Suppose 5*y - i + 1094 = 0, -3*i + 58 = -y - 158. Let c = y + 378. Is c a multiple of 14?
False
Suppose 4*h + 3*k = 12835, 2*h - 15*k - 6419 = -16*k. Is h a multiple of 82?
False
Let h(z) = -149*z - 2381. Let p be h(-16). Suppose 0*k + 2*k = -4*d, 12 = 4*k + 2*d. Suppose k*r + p*c - 708 = -0*r, -2*c - 368 = -2*r. Is 12 a factor of r?
True
Suppose 4*g + 5*z - 89736 = 0, 162976 - 50806 = 5*g + 2*z. Is 16 a factor of g?
False
Let c = -28243 + 37464. Does 2 divide c?
False
Let h(g) = -11143*g + 2431. Is 26 a factor of h(-5)?
False
Suppose 13*a - 149*a + 76704 = 0. Is a a multiple of 16?
False
Suppose 5*l - 5*a - 29915 = 0, -5*l + 47*a - 51*a + 29906 = 0. Is l a multiple of 160?
False
Let h(u) = -3*u + 15. Let p(t) = -2*t**2 + 60*t + 17. Let l be p(29). Suppose 0 = l*x - 74*x + 9. Is h(x) a multiple of 13?
False
Let g = -1125 + 6585. Suppose 27*k = k + g. Is 2 a factor of k?
True
Let t = -77 + 85. Suppose 0 = -4*v + 8, -t*y + 3*y - 5*v = -2650. Is 48 a factor of y?
True
Let p be ((-6)/4 - (-3)/2) + 5. Suppose p*x - 16 = -6. Suppose -1 = -i - 2*u + 23, x*u = -5*i + 96. Does 3 divide i?
True
L