h = h + 5*u - m. Is h a multiple of 15?
True
Suppose 4*b = b - 4*s - 1561, -3*b - 1554 = -3*s. Let i = 810 + b. Is 11 a factor of i?
False
Suppose 3*o = 4*t + 23, -3*o + 15*t - 14*t + 17 = 0. Suppose 2*x + o*b - 347 = 0, -5*b = -2*x + 350 + 7. Is 16 a factor of x?
True
Let b(t) = -59*t**2 + t - 2. Suppose -j - 5*y + 20 = 0, -2*j - 3*j - 35 = -2*y. Let d be b(j). Is ((-2)/(-4))/(4 - d/(-372)) a multiple of 19?
False
Let x(z) = -395*z**3 + 8*z**2 + 9*z - 5. Is 65 a factor of x(-2)?
False
Let y(f) be the second derivative of f**5/10 - f**3/3 - 25*f**2/2 - 276*f. Is 61 a factor of y(7)?
False
Let r(w) = 6*w**2 - 12. Let m(g) = -7*g**2 + 11. Let y(b) = 5*m(b) + 6*r(b). Is y(11) a multiple of 83?
False
Let r(t) = 6640*t + 4056. Does 31 divide r(6)?
True
Suppose -4*c + j = -56, 0*c - 2*j = -5*c + 70. Let u be ((-10)/(-4))/(7/c). Suppose -3*r + 57 + 58 = 2*d, -u*r - 3*d = -193. Is 15 a factor of r?
False
Let w be (-37)/(-111) + (-301)/3. Let r = w - -160. Is r a multiple of 10?
True
Let z(c) = -c + 12. Let a be ((-5)/5)/(17/9 - 2). Let i be z(a). Suppose -2*v = -3*u - 2*u - 123, -i*v = 5*u - 147. Does 18 divide v?
True
Suppose 294*h + 43695 = 297*h. Is 111 a factor of h?
False
Let j(i) = -30*i - 147. Does 3 divide j(-25)?
True
Let c(n) = -n**2 + 14*n - 17. Let a be c(7). Let h = -29 + a. Suppose h*s - 2*g = 788, -148 = s - 2*g - 404. Is s a multiple of 38?
True
Let b be (0 + (0 - 3))*-15. Suppose 0*p + 5*p - b = 0. Is 28 a factor of 6/2 + (117 - p) + 1?
True
Suppose v = -5*r + 78568, -404*v + 15704 = r - 405*v. Is r a multiple of 189?
False
Suppose 0 = 4*u + 422*h - 425*h - 16366, -h + 2 = 0. Does 35 divide u?
False
Let c(v) = 13*v**2 + 2 + 7 - 2*v - 3. Suppose 0 = 2*q - 45 + 49, -3*q = 2*b. Is c(b) a multiple of 11?
False
Let q = -2318 + 18107. Is 7 a factor of q?
False
Suppose 2*v + 7*z + 7 = 4*z, -3*z = -2*v + 23. Let n be v/(-2)*2 + -35. Let c = 141 + n. Does 17 divide c?
True
Let i(s) = -s**2 - 17*s - 26. Let h be 64/(-2)*10/20. Let c be i(h). Let w = 17 - c. Is 2 a factor of w?
False
Suppose -9977 = 15*k - 145817. Is k a multiple of 46?
False
Let t = 3168 + -3164. Suppose -4*n + 18 - 6 = 0. Is 2 a factor of 1/3*9/n*t?
True
Let m(j) = 15*j**3 - 4*j**2 - 4*j - 1. Let i be m(4). Suppose o - i = -3*l, -3*l - l = -3*o - 1185. Is l a multiple of 14?
True
Suppose -905 = -5*q - 3*r, 5 + 5 = 2*r. Let i = q - -68. Suppose -10*w = -554 - i. Does 20 divide w?
True
Suppose w + 0*w - 23 = 5*l, -l = 4. Suppose 0*f = f + 5, 3*f = w*i - 1056. Does 39 divide i?
False
Let n = -1292 + 15992. Is n a multiple of 20?
True
Let d(y) = -573*y - 4269. Is 89 a factor of d(-41)?
True
Let r be 5 + (8 - (-5 - -11)) + -22. Let o(t) = -t**3 - 2*t. Let p be o(3). Let l = r - p. Does 9 divide l?
True
Suppose 0 = 2*i - 121*n + 122*n - 101973, 1 = n. Is 13 a factor of i?
True
Let f = -1673 - -5448. Is 151 a factor of f?
True
Suppose 8*r = 1487 + 17. Let y = r - -236. Does 7 divide y?
False
Suppose 5*q = 2*j + 9184, -3*q = -8*q + 5*j + 9190. Does 9 divide q?
True
Let o(x) = 4*x - 23. Let q be o(7). Suppose -5*f + 3*t = 1735, q*t - 347 = 2*f - f. Let g = -227 - f. Does 20 divide g?
True
Let v(q) = 402*q**2 + 30*q - 110. Does 9 divide v(4)?
False
Suppose 5*h = -658 - 567. Let u = h - 4. Let v = -135 - u. Is v a multiple of 19?
True
Let u(j) = -j**3 - 72*j**2 + 604*j + 177. Is 8 a factor of u(-81)?
False
Let v be (((-14)/3)/((-8)/(-12)))/1. Does 12 divide 226 - (7/(-1))/v?
False
Suppose 3*o = 8*k - 5*k - 30, 3*o - 15 = 0. Is (-1 + 36)*81/k a multiple of 29?
False
Let u(d) = 3*d**2 - 28*d - 1027. Is 14 a factor of u(33)?
True
Let p be (-54)/(-8 + 2 - -3 - -2). Suppose -4*s + 2*s = -p. Does 27 divide -4 + 0 + 4 + s?
True
Suppose -a = 4*q + 8, 3*q + 25 = 104*a - 100*a. Let u(l) = -l**2 + 8*l + 3. Let f be u(6). Suppose 0 = -d + a*d - f. Is 2 a factor of d?
False
Suppose -466 = -5*m - 5*o + 559, 4*m = -3*o + 818. Let f = 323 - m. Suppose -6*s = -s - f. Is 5 a factor of s?
False
Let q be 1/(-2 + 3) + 48. Is (-1 - -3) + 1*q a multiple of 4?
False
Suppose -3*v - 20*y = -23*y - 20817, -3*v + 4*y + 20826 = 0. Is v a multiple of 63?
True
Let k = 19 + -59. Let l(c) = 10*c**2 + 597*c - 174. Let u be l(-60). Is 18 a factor of -30*((-32)/k)/((-4)/u)?
True
Suppose -3*y = -4*l - 201792, 9*y - 5*y + 201764 = -4*l. Does 50 divide (l/(-475))/((-3)/(-10))?
False
Suppose 5*k - 3 - 17 = 0. Let g be 15/495*(-5 - 1) - 5790/(-22). Suppose k*t + x - g = 382, -3*x = t - 175. Does 9 divide t?
False
Let h = 6008 - 424. Is h a multiple of 22?
False
Suppose 0 = 21*c - 248714 - 194070 - 310654. Is c a multiple of 106?
False
Let y = 31774 + -20719. Is y a multiple of 21?
False
Let i = 96 - 107. Let f = i + 228. Is f a multiple of 30?
False
Suppose 0 = -4*o + o + 1521 - 228. Is o a multiple of 55?
False
Let r = -429 - -245. Let g = r + 321. Is 20 a factor of g?
False
Let w(u) = -8 - 16*u - 2*u - 2*u**2 - 5*u - 10*u. Let r be w(-12). Suppose -28*j = -27*j - r. Is 10 a factor of j?
True
Let h = -28204 - -29500. Does 24 divide h?
True
Suppose -4770 = -2*f - 5*s, 558*f - 563*f + 12012 = -2*s. Does 15 divide f?
True
Let r(m) = -18*m + 162. Let z be r(0). Is 6/14 - z/(-63) - -294 a multiple of 11?
True
Suppose 9*b = 7*b + 2. Let i be (b - (0 + -66)) + (7 - 11). Suppose -5*w + 72 = -5*h - i, 5*w - 3*h - 137 = 0. Is w a multiple of 23?
False
Let a = -5365 - -6754. Is 149 a factor of a?
False
Suppose 858*t = 933*t - 756600. Is 26 a factor of t?
True
Let m be (-3)/12 + 17/4. Let l = 418 + -416. Suppose l*c - 54 = -m. Is 5 a factor of c?
True
Suppose 0 = -c + v + 63, 30 + 33 = c - 2*v. Suppose u - c = 107. Does 5 divide u?
True
Suppose 0 = y + 3 + 2, -2*g - 5 = 3*y. Suppose g*w - 163 = 132. Is 6 a factor of w?
False
Let v(w) = -6082*w**3 - 155*w - 155. Does 23 divide v(-1)?
False
Let l be -170*(64/(-10) + 6). Suppose -72 = -4*q + l. Is 19 a factor of q?
False
Let d(u) be the first derivative of -u**6/120 + 4*u**5/15 + u**4/8 - u**3/2 + 17*u**2 + 34. Let s(b) be the second derivative of d(b). Is 10 a factor of s(16)?
False
Let l = -2298 - -6038. Does 34 divide l?
True
Suppose -3*g + 6126 = g + 2*g. Does 18 divide g?
False
Suppose s - 823 = -2*j, j = -4*j - 3*s + 2057. Suppose -2*o + j = -3124. Is o a multiple of 68?
True
Let s(i) = 10*i**2 - i - 6*i - 6*i + 6*i + 29. Is s(7) a multiple of 47?
True
Suppose -1167*r + 1164*r = -855. Is 5 a factor of r?
True
Suppose -6*o - 60180 = -11*o. Suppose -r = p - 0*r - 2999, -o = -4*p + 4*r. Is 18 a factor of p/28 + (-4)/14?
False
Let w be ((-6)/4)/(11/(-264)). Suppose -540 = 35*c - w*c. Suppose -7*q = -2*q - c. Is q a multiple of 18?
True
Let g(q) = 8*q. Let u be g(1). Suppose 6*w + u = -4. Is 23 a factor of (w/4)/((-1275)/(-640) - 2)?
False
Let u = 432 + 783. Does 27 divide u?
True
Let z(k) be the second derivative of -k**5/20 + 3*k**4/2 + 10*k**3/3 + 10*k**2 + 54*k. Is z(19) a multiple of 2?
False
Suppose -k + 2*x = 1546, 8*k - 10*k + 5*x = 3094. Is k/(-30) + 15/25 a multiple of 13?
True
Suppose 3*y = -4*b - 21, 4*y - 37 + 46 = b. Does 18 divide 7048/(-132)*y + 16/(-88)?
False
Let r = -321 + 340. Let b(u) = -u**3 + 21*u**2 - u + 38. Does 19 divide b(r)?
True
Let g = 6004 + -5639. Is g a multiple of 13?
False
Let m(q) = -6*q**2 - 63*q + 16. Let p be m(-15). Let l = -276 - p. Is 33 a factor of l?
False
Let w(c) = c**2 + 7*c + 25. Let d be w(11). Suppose x + d - 229 = 0. Does 3 divide x?
True
Suppose 0 = 2*n - 4*w - 24, -5*w = n - w + 18. Suppose -2*t - 5*a = -278, -n*t - 2*a + 422 = 132. Is 7 a factor of t?
False
Let t(f) = -f + 4. Let l = 45 - 34. Let a be t(l). Let z(h) = -h**3 - 6*h**2 + 3*h + 2. Is 15 a factor of z(a)?
True
Let a = 27852 + -16201. Does 13 divide a?
False
Suppose 5*j - 20 = 3*h, 2*j - h = -0*h + 8. Suppose -x - 2*f + j*f = 0, x - 3 = -f. Suppose -x*k = -6*k + 680. Is 17 a factor of k?
True
Suppose -265*z - 976118 + 5248225 = -329088. Is z a multiple of 65?
False
Suppose 7*r - 20590 = -3846. Suppose -r = -5*g - 3*t, 3*g + g - 5*t - 1884 = 0. Suppose -2*m - 368 = -3*s - 4*m, 4*s - m = g. Is 24 a factor of s?
True
Let i be 0 + -3 + (-4)/(-1). Let p(j) = 5*j**3 + j - 2. Let o be p(i). Suppose h - 3*d - 51 = -0*d, -o*d + 255 = 5*h. Is h a multiple of 17?
True
Is 188 a factor of (17 - 64)*(-189 + 1)?
True
Suppose -610*m - 42 = -607*m. Is 58 a factor of (m/(-1))/(19/((-7676)