5 a factor of s?
True
Suppose 5*h = 5, 3*h = 5*k - 15 - 7. Suppose -20 = -15*p + k*p. Suppose 5*c + 3*q = 212 + 111, 0 = p*c - 4*q - 124. Does 5 divide c?
False
Let z(j) = -38*j**3 + 4*j**2 + 6*j + 7. Suppose 0 = 3*y - 0*y - 5*h - 9, 0 = -4*y + h - 5. Is 13 a factor of z(y)?
False
Let v = -55 - -61. Let q be (-4)/v + 280/42. Suppose -x - 3*w + q = -4*w, -12 = -4*w. Does 4 divide x?
False
Let v(a) = 8*a - 253. Is 61 a factor of v(73)?
False
Suppose y - 27 = -17. Let p(c) = c**2 - 5*c - 18. Let j be p(y). Suppose -2*o + 4*a - j + 96 = 0, 5*o + 2*a = 160. Is 9 a factor of o?
False
Let g(y) = 3*y**3 - 2*y**2 - 70*y + 99. Is 10 a factor of g(11)?
True
Let x(a) = -1638*a - 676. Is 22 a factor of x(-6)?
True
Let b(l) = l + 7. Let d be b(-1). Let n(i) = 2*i**2 + 23*i. Is n(d) a multiple of 7?
True
Suppose -704577 = 154*q - 6356530 - 2069299. Does 53 divide q?
True
Let q = 29 + -25. Suppose 2*j - q*k - 36 = 6*j, 33 = -4*j - k. Does 34 divide (-982)/(-5) - j/(-20)?
False
Let w be (-3762)/(-90) - (-1)/5. Suppose -5*q + 110 = -0*q. Let r = w - q. Does 20 divide r?
True
Suppose -3*t + 4*i + 24689 = 5*i, 16441 = 2*t - 3*i. Does 10 divide t?
False
Let g = -3511 + 5260. Does 22 divide g?
False
Let b = -9110 - -17538. Is 196 a factor of b?
True
Suppose -2*g - 4*q = 8, 5*g - 14 = -q + 11. Does 29 divide 22/((g/8)/((-81)/(-36)))?
False
Does 18 divide 5/20 - -2*70558/16?
True
Let j(g) = g**3 + 57*g**2 - 2*g - 2294. Is 6 a factor of j(-56)?
True
Let q be 8/5*(-195)/(-6). Suppose -a + 19 = -0*t + 4*t, -q = -4*a - 4*t. Does 5 divide a?
False
Let i be (-3226)/(-34) - (-10)/85. Let x = 491 - i. Is 6 a factor of x?
True
Let t(y) = -118*y + 130. Let v(c) = -13*c + 177. Let o be v(14). Is t(o) a multiple of 48?
True
Suppose -r + 6 = 0, 12*m - 16*m - r = -100022. Does 270 divide m?
False
Suppose 21 + 3 = 6*l. Suppose m = l*m. Suppose m = c + 10 - 58. Is 12 a factor of c?
True
Let j(i) = i**2 - 5*i + 6. Let g = 32 - 29. Let x be j(g). Suppose x = -h + o + 3*o + 11, o = h - 8. Is 2 a factor of h?
False
Suppose 5*s + 2*s - 245 = 0. Let w = 35 - s. Is w + (-9)/3 + 33 a multiple of 6?
True
Let i = -1730 + 3012. Is i a multiple of 19?
False
Let a = 200 - 206. Is 12 a factor of ((-136)/a)/((-7)/(-63))?
True
Let v(f) = 153*f + 35 - 325*f + 165*f. Let r be (-2 + 1)/(1/6). Is v(r) a multiple of 25?
False
Suppose 7*q - 4 = 6*q. Suppose -3*u - 7*r = -4*r - 621, -q*u + 843 = -r. Is 21 a factor of u?
True
Is 1/(-15) + (-593565)/(-225) a multiple of 5?
False
Suppose 0*s - 21*s + 13*s + 67952 = 0. Is s a multiple of 30?
False
Let w(v) = 25*v - 13. Let t(h) = -424*h + 220. Let u(b) = -6*t(b) - 104*w(b). Is 32 a factor of u(-4)?
True
Let q(h) = 71*h**2 + 19*h + 190. Is 14 a factor of q(-6)?
True
Let x(p) = -p**2 + 2*p + 8. Let u be x(3). Suppose 153 = u*r + o, 4*o - 141 = -3*r - 39. Does 3 divide r?
True
Let m = 125 - 27. Let j = -96 + m. Suppose -2*q - 138 = -v - 5*q, 5*q = j*v - 331. Does 9 divide v?
True
Let a(l) = -6*l - 97. Let h be a(-19). Let u be (-1 - 0/(-4)) + 4. Suppose -u*t + 82 = 5*s, -2*s - 5*t + 65 = h. Is 9 a factor of s?
False
Let g = 16438 + -14303. Is g a multiple of 103?
False
Suppose 4*i - 140 + 20 = 0. Let r = -45 + i. Is 9 a factor of (33/(-5))/(1/r)?
True
Suppose 0 = 2*v - 1 - 51. Let i = 31 - v. Suppose -7*g - i*t + 210 = -2*g, 0 = 3*g - t - 138. Is g a multiple of 9?
True
Suppose -5224 - 32585 = -w + 3*m, -3*m + 37851 = w. Does 13 divide w?
True
Suppose 0 = -3*f + 114 + 51. Let o be 1/(((-1)/(-159))/(5/(-15))). Let y = f + o. Does 2 divide y?
True
Let x be ((-30)/75 + 16/(-10))*-60. Let d = x - -288. Is d a multiple of 12?
True
Suppose 5*w + 76 = t, w + 3*w + 48 = 4*t. Let z be (-40)/w*(1/1 - -1). Suppose z*i = 10 - 25, 5*x + i = 442. Does 23 divide x?
False
Let f = 273 - 163. Let n = f + -402. Let y = 490 + n. Is 9 a factor of y?
True
Let t = -7810 - -25544. Is 6 a factor of t?
False
Suppose -3*m - w + 20 = 0, 2*m + 2*w = -3*w + 9. Let z(t) = 12*t - 13. Is z(m) a multiple of 14?
False
Let c = 22381 - 21361. Is c a multiple of 12?
True
Let q(z) = z**2 + 2*z + 25. Let o be q(-13). Let k = 291 - o. Is k a multiple of 27?
False
Suppose -9*b = -10*b + 9. Let r(x) = 0 - 13 - 5*x - x**3 + 10*x**2 + b. Does 18 divide r(7)?
True
Is -4*(-3)/18 + (-3)/(-9)*22531 a multiple of 29?
True
Let j(l) = -106*l + 2512. Is j(-5) a multiple of 78?
True
Suppose 148*a + 54013 - 286077 = 0. Does 98 divide a?
True
Let u(p) = 2071*p**2 + 576*p - 579. Does 11 divide u(1)?
True
Suppose -11*d + 22*d - 55 = 0. Let k(o) = 176*o + 250. Does 12 divide k(d)?
False
Let v = 597 - 143. Suppose 0 = -3*i - 5*t + 684, -11*i + 13*i = -4*t + v. Suppose -3*b = 2*l - i, -3*l + 358 = -0*b - 4*b. Is l a multiple of 10?
False
Suppose 0 = -28*m - 6*m + 513128. Does 154 divide m?
True
Let o(a) = 2*a**2 + 20*a - 314. Does 38 divide o(21)?
True
Let j(n) be the third derivative of -n**6/20 - n**5/20 - n**4/3 + n**3/3 - 57*n**2. Is j(-5) a multiple of 80?
False
Suppose -2*k - 2*n + 26 = 0, -5*k + 0 = -2*n - 79. Suppose 15 = -4*z + k. Suppose z = 60*b - 55*b - 435. Does 9 divide b?
False
Let n = -979 - -985. Does 55 divide (-12051)/(-13) - (n + 0)?
False
Let x(i) = 2*i + 19. Let o be x(-8). Let v be (14 + -14)/(1*o). Suppose 3*f - f - u - 98 = 0, 2*f - 2*u - 100 = v. Is f a multiple of 24?
True
Suppose 6 + 26 = 8*c. Let g(t) = 5*t**3 - 2*t**2 - 2. Let j be g(c). Let y = j - 160. Does 14 divide y?
True
Let x(j) be the third derivative of j**4/2 + 5*j**3/2 + 15*j**2 - 2. Is x(9) even?
False
Suppose 0*d - 3*j = 2*d - 13, j = -2*d + 15. Suppose d*c + 1 = 3*o + 3*c, 4*o + 4*c = -20. Is 9/3 - 12/o a multiple of 7?
True
Suppose -10*o + 17*o = 35. Suppose -9 = -0*x + 2*x - o*b, 0 = 2*x - 4*b + 6. Suppose x*j - 382 = -58. Is j a multiple of 12?
True
Let o be 6/(-4) - 2067/(-78). Suppose 10982 = o*k - 23893. Is k a multiple of 15?
True
Let o = -14333 + 18460. Does 4 divide o?
False
Does 278 divide 183478/20 + 189/1890?
True
Let w = 3747 - 2200. Is 9 a factor of 64/28*w/26?
False
Suppose 350*s = 4793612 + 8594985 - 774247. Is s a multiple of 41?
False
Let l = 8365 + -1140. Does 4 divide l?
False
Let h(p) = -2*p**3 - 12*p**2 + 2*p - 12. Let s be h(-6). Does 9 divide (-640)/s + (4/3)/4?
True
Let m(s) = s**2 - 15*s + 16. Let u be m(14). Suppose 8 = 3*w + 3*o - o, -4*w - u*o = -12. Suppose -2*i + w*i - 4*n = 338, n = 3*i - 492. Does 11 divide i?
False
Let a(m) = -5*m - 39. Let b be a(-18). Suppose l + b - 43 = 0. Let c(x) = -15*x - 50. Does 35 divide c(l)?
True
Let w(y) = y**3 - 8*y**2 + 2*y + 31. Let r be w(5). Let f = r + 180. Is 56 a factor of f?
False
Suppose 0 = 8*p + 12021 - 37517. Is 9 a factor of p?
False
Let r(d) = 27*d**2 + 7*d - 26. Let b be (-5 - -7) + 5/((-5)/(-2)). Let o be r(b). Suppose -4*i + o = 50. Is 16 a factor of i?
True
Let x(w) = -w**3 + 37*w**2 + 128*w - 700. Is x(36) a multiple of 6?
False
Let n(l) = -43*l - 18 + 3*l**3 - 13*l**2 + 54*l - 9*l**2 + 4*l**2. Is 45 a factor of n(9)?
True
Let c = 48930 - 22086. Is c a multiple of 140?
False
Suppose 6*a + 2*t - 126456 = 0, 5*a + 4*t + 52855 = 158221. Is 58 a factor of a?
False
Let r be (-2262)/(-14) - (-21)/49. Let v = 142 + r. Does 19 divide v?
True
Suppose 5*a = 4*d + 1801 - 6982, d - 1291 = -3*a. Let f = d + -755. Suppose 0 = -2*z + 3*w + w + 252, -4*z + w = -f. Is 34 a factor of z?
True
Let z = -5486 - -18884. Is z a multiple of 21?
True
Suppose -39*n + 173 = -22. Let x(d) = 3*d + 172. Does 45 divide x(n)?
False
Let r be 4/(-1 + 791/777). Suppose -3*p + 243 = -r. Is 31 a factor of p?
True
Let t(q) = 5*q + 3*q - q + 162 + 4*q. Is t(33) a multiple of 25?
True
Let d = -261 + 474. Suppose -5*g + d + 217 = 5*v, -286 = -3*v + 4*g. Is v a multiple of 6?
True
Suppose -70680 = -3*x - 5*t, 207*x = 205*x - 5*t + 47120. Is x a multiple of 62?
True
Let k = -352 - -379. Suppose -4212 = -k*d - 0*d. Is d a multiple of 12?
True
Suppose -31*k = 432 - 2540. Suppose 9*m - k = 292. Is m a multiple of 5?
True
Let t(f) = -31*f**3 + 16*f**2 + 3*f + 7. Is 121 a factor of t(-7)?
False
Let i = -54 - -65. Let n be (-1 - i/(-3))*27/18. Suppose -153 = a - n*a. Is a a multiple of 9?
False
Suppose 5*g = -24*r + 20*r + 10829, 21 = -3*g. Does 194 divide r?
True
Let g = 9 - 4. Let y(b) = -9*b + 26. Let n be y(-11). Suppose -g*c + 385 = n. Is c a multiple of 13?
True
Let q = 970 - 2301. Le