*2 + 153*d + 299. Is p(-2) a multiple of 34?
False
Suppose 0 = -o + 5*o - 676. Does 13 divide o/(5 + (-112)/24)?
True
Suppose 0 = 5*q + 8*q - 13. Let f(o) = -5*o**2 - 2*o + 3. Let m be f(q). Is 32 a factor of (m/18)/2 - (-3468)/108?
True
Let r(k) = 3*k**2 - 35*k + 50. Suppose -8*x = -2*u - 3*x + 26, 2*u - x = 26. Does 3 divide r(u)?
True
Let z(g) = g**2 - 7*g - 82. Does 53 divide z(-14)?
True
Does 59 divide ((-6741)/(-9) - -18)*(-34)/(-2)?
True
Let l = 53261 + 6316. Does 15 divide l?
False
Suppose 5*i - 4*i - 4 = 0. Is 25 a factor of (-193)/(-3)*(i - -2)?
False
Suppose 2*n + 37*n = -8268. Let q = 1886 + n. Does 27 divide q?
True
Let z be ((-5)/3 - -2)/((-13)/(-78)). Suppose z*s - 437 = 131. Does 11 divide s?
False
Suppose 5*s + 0 - 15 = 0. Let n(p) = -29*p + 0 + 8*p + s. Does 30 divide n(-7)?
True
Let f = -63 + 58. Does 4 divide -1*(2/(-6))/(f/(-375))?
False
Let u(o) = -o - 4. Let i be u(-29). Suppose -3*z + i = b + 5, -5*b + 3*z = -190. Is b a multiple of 7?
True
Let a = 65 - 61. Let q = a - -1524. Suppose q = 4*w + 4*w. Is w a multiple of 16?
False
Let c be 322/28 + -1 - 1/2. Suppose 0 = c*t + 22*t - 22176. Is 7 a factor of t?
True
Suppose -4*y + 3*c = -90997, -32*y - c = -30*y - 45481. Does 212 divide y?
False
Suppose 88*i - 96*i = -16. Suppose i*t - 1417 = 323. Does 10 divide t?
True
Let y(u) = -6*u**3 - 21*u**2 + 5*u + 43. Is y(-10) a multiple of 7?
False
Let u = 7858 + -3490. Does 104 divide u?
True
Let w(v) = 22*v - 90. Let a = -525 + 560. Is w(a) a multiple of 10?
True
Suppose -2*o - i + 5*i + 6008 = 0, -10 = 2*i. Suppose -462 - o = -8*q. Is 16 a factor of q?
True
Suppose -4*n - 9176 = 2*n - 239036. Is 30 a factor of n?
True
Is 2*-34*-71 + (9 - 6) + -7 a multiple of 8?
True
Let t = -4748 - -7056. Suppose 5*i = 4*m + 7*i - 4596, 4*i + t = 2*m. Is 46 a factor of m?
True
Let t(p) = 68*p + 12. Let y(g) = -g**3 - 2*g + 3. Let n be y(0). Is t(n) a multiple of 9?
True
Let r = 13398 + -8799. Is 63 a factor of r?
True
Let p(q) = 158*q**3 + q**2 + 3*q + 1. Let m be p(-1). Is 1358/(-4)*(7 - m/(-21)) a multiple of 2?
True
Suppose 3*k + 4*z = -0*z + 44, 0 = 3*k + 3*z - 39. Suppose -3*c = -3*w + 438, k*w - 9*w + 3*c + 152 = 0. Is 13 a factor of w?
True
Let n(u) = -u**3 + 22*u**2 + 6*u - 81. Let v(h) = 20*h**2 + 4*h + 2. Let y be v(-1). Is n(y) a multiple of 27?
True
Let b = 25 - -30. Let i = b - 54. Is 11 a factor of 4/(-6) + i + (-1668)/(-18)?
False
Let g be (-791)/(-21) - 1/(-3). Let b = g - 38. Does 3 divide ((b + 1)*-38)/(-2)?
False
Suppose -13*a = 3*a - 26*a + 7020. Is a a multiple of 107?
False
Suppose 0 = 2*p - 10, -2*m - 2*p + 15 = -3*m. Let i be -63*(-1 - m - 5). Let b = 77 - i. Does 5 divide b?
False
Let n(o) = -223*o + 101. Is 16 a factor of n(-5)?
True
Does 29 divide ((-1102)/(-114))/(8/15336)?
True
Let z = -27 - -37. Suppose 9 = -z*t - 1. Is 4 + -3 + (8 - t) even?
True
Let l = 2466 + -2231. Is l a multiple of 3?
False
Suppose 0 = 5*y - i - 33745, 77*y - 76*y - 3*i - 6763 = 0. Is 28 a factor of y?
True
Suppose -5*k = 4*z - 414 - 50384, 0 = -5*k + 3*z + 50749. Does 7 divide k?
False
Is (-78)/1092 - (-221682)/84 a multiple of 3?
False
Suppose 40*f = -40476 + 69524 + 90552. Is 23 a factor of f?
True
Let r(h) be the second derivative of h**5/15 - 5*h**4/12 - 3*h**2/2 + 25*h. Let f(v) be the first derivative of r(v). Is 10 a factor of f(5)?
True
Let f = 76 + -70. Let y(u) = 50*u - f + 3*u**2 + 15 - 51*u. Is 10 a factor of y(-6)?
False
Let m = 20580 + -5152. Does 33 divide m?
False
Let p = -339 - -363. Let y = 322 - p. Is 11 a factor of y?
False
Suppose -5*a + 582 = -3*r + 7*r, -3*r = -9. Suppose -100*t - a = -102*t. Is 25 a factor of t*21/6 + 3/6?
True
Let v(d) = 128*d - 84. Let b = 110 + -108. Is v(b) a multiple of 4?
True
Let o(a) = 2*a**2 - 10*a + 14. Let g be o(-12). Suppose -722 - g = -11*l. Does 8 divide l?
True
Let z(p) be the first derivative of 115*p**2/2 + 16*p + 18. Let h be z(10). Suppose 8*k = 186 + h. Does 40 divide k?
False
Let g = 29 - 26. Suppose 3*q - g*h = 198, 0*q + 266 = 4*q - 3*h. Let a = q - 38. Is a a multiple of 15?
True
Let f(t) = -t**3 + 8*t**2 + 2*t - 2. Let q be f(-9). Suppose -9*x = -2225 - q. Suppose 5*v - x - 267 = 0. Does 19 divide v?
True
Suppose -63*c - 30570 = -73*c. Let k = -2182 + c. Does 15 divide k?
False
Let f = -98 - -88. Let s be (-19 - -2)*(f + 11). Let j(w) = -w + 51. Does 10 divide j(s)?
False
Let s(a) = 1093*a + 6340. Does 27 divide s(17)?
True
Suppose -3*f = 4*d - 4345, -2*d + 5*d - 3*f - 3285 = 0. Suppose -29*p - d = -31*p. Does 5 divide p?
True
Suppose 2*n + y = 6*y, -4*y = -2*n + 2. Suppose -7 = -2*k - 3*h, -6*k + 5 = -k + n*h. Is (k - 20/(-8) - 4)*-6 a multiple of 8?
False
Let r = -209 + 209. Suppose r = -74*i + 83*i - 450. Does 7 divide i?
False
Let q = 127 - 140. Let l = 13 - q. Is l a multiple of 2?
True
Let k = -191 + 166. Is 4 a factor of 0/4 - (k - -1)?
True
Let u = -444 + 446. Suppose -u*x = -7*x + 1825. Is x a multiple of 73?
True
Let s(g) = 5*g - 15. Let t be s(4). Suppose l = -4*z + 82, -11 = -2*z - t. Is 7 a factor of l?
True
Let n = -19 + 135. Let g = 357 - n. Let x = -25 + g. Is x a multiple of 24?
True
Let z(a) = a**3 - 70*a**2 - 278*a + 288. Does 27 divide z(74)?
True
Suppose 5*v = 7*w - 3*w - 1543, -4*v + 2*w - 1232 = 0. Let p = 468 + v. Is 12 a factor of p?
False
Let f be 4/16*50*2. Suppose 3*q = -2*q. Suppose -4*m + 3*c + 375 = q, 5*c = -f - 0. Is 15 a factor of m?
True
Let w be -3*(1 + (-2)/3). Is ((-156)/117)/(w/132) a multiple of 16?
True
Suppose g - 3*y = -2*g + 27, -32 = -3*g - 2*y. Suppose 5*r - g = 0, 3*j - 171 = 4*r + 91. Is j a multiple of 10?
True
Suppose -38 = -5*c - 13. Suppose q = -2*n + 27, 6 = 5*q + c*n - 119. Suppose 0 = x - b + 2*b - q, -99 = -4*x + 3*b. Is 3 a factor of x?
True
Let u = 25001 + 506. Does 23 divide u?
True
Let h = -13 + 13. Suppose 3*g + 12 = h, 0 = -4*w + g - 3*g + 2420. Suppose 4*p = 3*u + 538, -w = -3*p - 2*u - 195. Does 34 divide p?
True
Suppose 10 = -2*q, c = 4*c - 5*q - 37. Suppose 0 = 4*z + c*z - 1416. Is 8 a factor of z?
False
Suppose 15*q + 91063 = 4*w, 19*w - 22*w + 4*q = -68261. Is w a multiple of 43?
True
Let u = -31600 - -47755. Is 15 a factor of u?
True
Let k = -32 + 42. Suppose -k = -3*y + 2. Is 31 a factor of 62*(14/y - 3)?
True
Suppose 32*x = 18*x + 38934. Is 27 a factor of x?
True
Does 18 divide 3049648/448 + (3/(-4))/3?
False
Suppose 2*h - 8*h - 54 = 0. Let y be (-3148)/h + 2 - (-6)/27. Suppose -2*a + y = 2*a. Is 13 a factor of a?
False
Let n(x) = 57*x + 67. Suppose o - 17 = -2*b, 5*o - 29 = -b + 20. Is 58 a factor of n(o)?
True
Let w(y) be the third derivative of y**6/40 + y**5/60 - 7*y**4/24 + y**3/6 - 2*y**2 + 13*y. Is w(4) a multiple of 9?
False
Let t be 68/16 + 6/8. Suppose t*i + 0*i - 345 = 0. Is i a multiple of 3?
True
Let f be 24/(-4 - -2) + 4. Let g be ((-10)/f)/((-6)/(-1392)). Suppose -3*q + 70 = -g. Is q a multiple of 22?
False
Let f(i) = 7*i**2 - 2*i - 17. Let h(w) = -6*w**2 + 3*w + 18. Let j = 134 - 138. Let k(v) = j*f(v) - 5*h(v). Is 3 a factor of k(9)?
False
Let f(q) = -14*q - 29. Suppose 2*d + 9*g = 12*g - 79, 5*g + 103 = -4*d. Does 16 divide f(d)?
False
Let m = 3 - 0. Let x(r) = r**2 + 3. Let y(j) = 4*j**2 + 5*j + 18. Let v(f) = -5*x(f) + y(f). Is v(m) a multiple of 3?
True
Let v = -78957 + 113655. Does 42 divide v?
False
Let j(b) = 1201*b - 157. Is 42 a factor of j(3)?
False
Let g = 47 + -83. Let x be 9/g - (-181)/4. Is x/(-6)*130/(-15) a multiple of 13?
True
Let w = 204 + -190. Does 12 divide (5*-1 - 1)/(w/(-840))?
True
Let q be ((-3)/2)/((-30)/(-280)). Let a = 172 - 110. Let k = a + q. Is k a multiple of 8?
True
Suppose -74*m = -24*m - 1231307 - 1682443. Is 259 a factor of m?
True
Suppose 135 = 6*a + 3*a. Suppose 0 = -10*u - a*u + 10625. Is 85 a factor of u?
True
Let x = 25928 - 13320. Is 64 a factor of x?
True
Suppose 700651 + 721421 = 108*u + 251784. Is 9 a factor of u?
True
Let b be 1*1/((-15)/(-12))*345. Suppose v - b = 252. Is v a multiple of 24?
True
Is (24/16 - 3/2) + 6939 a multiple of 29?
False
Suppose q = 3*k - 21, -2*k + 23 = 4*q - 5. Let x(n) = -n + 10. Let r be x(k). Suppose -r = -h, -2*g - g + 3*h = -144. Does 6 divide g?
False
Let m = 232 + -136. Suppose m*w = 100*w - 1848. Does 15 divide w?
False
Let o(w) = -325*w - 1555 + 1554 + 306*w. Suppose 4*j + 8 = -0*j. Is 5 a factor of o(j)?