ultiple of 19?
False
Let g(k) = 10*k + 2. Let c be g(1). Let v be ((-4)/5)/((c/3)/100). Is 6 a factor of 1/((v/(-1590))/(4/6))?
False
Let o be ((-25)/7 - -3)/(1/(-7)). Is o/(-10)*-130*4/8 a multiple of 13?
True
Suppose -11*f - 213036 = -52*f. Is f a multiple of 12?
True
Let q = -1402 + 3011. Is 134 a factor of q?
False
Suppose -3*g - 298 = -5*f, g - 5 = -1. Let a = f - 60. Suppose 6*c + a*c = 288. Is 5 a factor of c?
False
Suppose -2*q + 3*i + 1149 = q, q + 3*i - 363 = 0. Let s = q - 114. Is s a multiple of 24?
True
Let h = 28628 - 7708. Is h a multiple of 40?
True
Let w(x) = -x**3 - x + 1. Let f(g) = -7*g**3 - 2*g**2 - 6*g + 8. Let q(i) = f(i) - 6*w(i). Let p be q(0). Is 31 a factor of (-184)/(-32)*6*p?
False
Suppose -o - a = -14211, a + 70995 = 5*o - 4*a. Does 15 divide o?
True
Does 75 divide 175542/(-170)*80/(-12)?
False
Let j be 2400/(-45) + ((-2)/3)/1. Let o = 58 + j. Suppose -o*w - 3*v + 361 = 0, -4*w + 0*v = -3*v - 343. Is 22 a factor of w?
True
Suppose 111*q = 99*q + 68688. Does 90 divide q?
False
Suppose 2 + 8 = -2*l. Let m be ((-2)/4)/((l/6)/5). Suppose m*p - 3*z - 2*z = 271, 5*p - 437 = z. Is 15 a factor of p?
False
Let b = -6808 + 11803. Is b a multiple of 111?
True
Suppose 8*m = 8407 + 29785. Does 77 divide m?
True
Suppose 0*d + 2*k - 307 = -5*d, -5*d + k + 304 = 0. Let h = d - 59. Is 39 a factor of h*(-13)/4*-30?
True
Let s = -9 + 7. Let o be 148 + 0/(s + (-2)/(-2)). Does 10 divide o - (0/4 - 2)?
True
Suppose -5*v = -4*z - 113, 4*z - z + 6 = 0. Let b = v + 59. Is b a multiple of 8?
True
Suppose -63 = 3*v + 22*i - 19*i, -2*v - 54 = 5*i. Let n = 203 - v. Is 12 a factor of n?
False
Suppose 3*z - 6 = 3*l, 2*z - 5 = 3*z. Let x = l - -10. Suppose -3*u - 49 = x*b - 175, -2*u + 87 = b. Is 15 a factor of u?
True
Suppose r - 4*r + 5*p = 387, -4*p = 0. Let k = -114 - r. Is 3 a factor of k?
True
Suppose 10*t + 452347 = 104*t - 15585. Is 5 a factor of t?
False
Let m(f) = 27*f - 25. Let j(v) = 53*v - 44. Let w(l) = 3*j(l) - 5*m(l). Let k(s) = -s - 6. Let a be k(-8). Does 6 divide w(a)?
False
Suppose 0 = 9*j - 4*j - 25. Suppose -67 = -j*g - 392. Let u = 149 + g. Does 7 divide u?
True
Let q be ((-3)/2)/((42/(-12))/7). Suppose 3*u = 5*h - 669, q*u = 3*h - 4*h + 141. Is 15 a factor of h?
True
Let z be -8*(135/(-2))/3. Is 29 a factor of z + (5/(-25)*0 - 5)?
False
Let l(z) = 19*z - 9844. Let u be l(0). Does 37 divide u/(-19) - 4/38?
True
Let f = 6781 - 3561. Is f a multiple of 28?
True
Let u = 682 + -335. Let a = u - 113. Does 13 divide a?
True
Suppose -11*k + 15 = -40. Let m be ((-2)/2 - -243)/1. Suppose -136 - 34 = -3*x + k*y, -2*y + m = 5*x. Is 25 a factor of x?
True
Let z be -3 + -1 + 7 - 0. Suppose z*j = -3*j + 1566. Suppose 5*k - 689 - j = 0. Is k a multiple of 40?
False
Let z(d) = d**3 + 21*d**2 - 48*d - 44. Let n be z(-23). Let x(f) = 48*f**2 - 14*f + 4. Is 7 a factor of x(n)?
True
Let s(w) = w**3 - 17*w**2 - 2*w - 3. Is 3 a factor of s(24)?
True
Suppose -3*b - 72765 = -38*b. Suppose -11*r - b = -20*r. Is r a multiple of 10?
False
Does 58 divide (12/16 + 22/(-8))*(-6323 - -1)?
True
Suppose y - 5*h = 17, 3*h + 9 = 3*y + 2*h. Let p be -1 + (-10)/(-6) - (-44642)/303. Suppose -y*t + p = -t. Is t a multiple of 36?
False
Suppose -118*i + 287 = -111*i. Suppose i = 5*u + 5*y - 8*y, 2*u + y - 23 = 0. Is u a multiple of 8?
False
Let p be 28/(-8)*20/(-35). Suppose -5*y - 4*v = -753, -4*y - p*v - 3*v = -606. Let m = -61 + y. Is 9 a factor of m?
False
Suppose 269*l = -264*l + 497*l + 48096. Is 17 a factor of l?
False
Let p be 10/4 + (-10242)/12. Let f = -551 - p. Is 16 a factor of f?
False
Suppose -122 = 6*b - 4*b. Is 16 a factor of (b/2)/(70/(-2240))?
True
Suppose 2*a - 8*w + 3*w + 8 = 0, -5*a - 2*w + 9 = 0. Suppose -a + 7 = -3*z. Is (-80)/(-3) + (z/(-6) - 1) a multiple of 13?
True
Let r(i) = 5570*i - 208. Is 127 a factor of r(6)?
False
Suppose -4*x + 2*x - 3*i = -36320, 4*x - 72634 = -3*i. Is x a multiple of 97?
False
Suppose -3*f - 662 = -5*f + b, -2*f + 4*b = -650. Let r = -181 + f. Is r a multiple of 38?
True
Suppose -5 = -a + 4. Let c(b) = -a + 6*b**2 + 10 + 5*b - 16. Does 9 divide c(-6)?
True
Let l be (6 + -2)*56/7. Suppose 0 = l*v - 2777 - 6151. Does 11 divide v?
False
Let j = -163 + 471. Suppose -4*x = -4*d - j, -2*d = 2*x + d - 134. Is x a multiple of 3?
False
Let z(h) = 6*h - 17 + 0*h + 0*h + 10. Let d be z(6). Suppose d*k = 33*k - 108. Is k a multiple of 27?
True
Let d be 35/15 - 10/(-15). Suppose -4*h + 3*h + 304 = d*a, -2*a - 3*h = -191. Is a a multiple of 5?
False
Let m = -2758 + 3508. Is 50 a factor of m?
True
Suppose -73*y = -24*y - 139062. Does 13 divide y?
False
Let h = -119250 + 198860. Let a = h + -28156. Does 55 divide a/156 - 1/(-6)?
True
Let w(a) = -a**2 + 6*a + 6. Let i be w(-3). Is 3 + (-5404)/i - 2/6 a multiple of 35?
False
Suppose 12*z - 63454 = 86172 + 52394. Is z a multiple of 17?
False
Let h = 5136 + 1487. Does 179 divide h?
True
Let c(g) be the first derivative of 5*g**4/4 + 4*g**3 - 9*g**2/2 - 8*g - 3. Let t(h) = -h**3 - h**2 - h - 1. Let j(z) = c(z) + 4*t(z). Is 8 a factor of j(-7)?
True
Let j(f) = f**3 - 109*f**2 - 327*f + 418. Is j(113) a multiple of 8?
False
Let f = -582 - -613. Let p be ((-102)/8)/1*-4. Let d = p - f. Is 20 a factor of d?
True
Let g(d) = 13*d**2 - 4*d. Let z(k) = 27*k**2 - 9*k - 1. Let r(j) = 9*g(j) - 4*z(j). Is 17 a factor of r(-3)?
True
Let g(x) = 8*x**3 - 9*x**2 - 17*x + 18. Does 24 divide g(9)?
True
Suppose 0 = 6*d + 20*d. Suppose 6*x - 196 - 392 = d. Does 14 divide x?
True
Suppose 0 = -15*c + 23586 + 21414. Suppose -20*n - c = -50*n. Does 20 divide n?
True
Suppose 38181 = 7*s - 27339. Is 195 a factor of s?
True
Let j(l) = -l**2 + 26*l - 43. Let x be j(22). Suppose 6*a - x = -3*a. Is 3 a factor of (-3)/(a/(-15) + 0)?
True
Let n = 2315 - 1235. Suppose -161*g + n = -159*g. Is g a multiple of 60?
True
Suppose 0 = 3*j - 2*t + 123 - 578, -3*j = 5*t - 448. Let r = j - 11. Does 20 divide r?
True
Let y(t) = -5*t**3 - 8*t**2 - 15*t - 59. Is y(-7) a multiple of 37?
True
Suppose 5*y + 29*a - 12250 = 21*a, 5*y - 5*a - 12250 = 0. Is y a multiple of 14?
True
Let k = -13 + 8. Let n(c) = 1 + 0*c**3 + 0 - 22*c - 2*c**3 + 3*c**3 - 5*c**3 - 11*c**2. Is 24 a factor of n(k)?
True
Suppose 4*d + 4*i = d, 5*d + 2*i - 14 = 0. Let x(g) = -3*g**2 - 6*g + 23. Let b(c) = -c - 1. Let r(o) = d*b(o) - x(o). Is 8 a factor of r(-5)?
False
Let m(h) = 4*h - 2*h**3 + 5*h**2 - h**2 + 0*h - 2. Let x be m(-4). Suppose 3*d + y - x = -3*y, -3*d - 5*y = -171. Does 15 divide d?
False
Let k(j) = -j**3 - 7*j**2 - 4*j + 1. Let f be k(-7). Let g = f + -27. Suppose -3*v + 4*o = -100 + 3, g*v + 3*o - 93 = 0. Is v a multiple of 9?
False
Suppose -136701 = 241*b - 465473 - 123344. Is 40 a factor of b?
False
Let l(z) = 3*z**3 + 105*z**2 - 48*z + 248. Does 10 divide l(-35)?
False
Is 19 a factor of 316/(-3*(-4)/(-608) - (-16)/128)?
True
Let y be 0/(0 + -2 + 4). Let q(k) be the third derivative of -k**5/60 + k**4/12 + 3*k**3 - 3*k**2 + 6. Does 2 divide q(y)?
True
Let w(h) = -h**3 + 6*h**2 + 6*h + 10. Let g be w(7). Suppose -4*b + 2*i - 59 = -5*b, -g*i = 4*b - 226. Is b a multiple of 23?
False
Suppose -64236 - 35549 = -7*j. Is j a multiple of 20?
False
Suppose -77627 + 14523 = -17*i. Suppose 4*r - 4*q = i, -10*r + 2780 = -7*r - 2*q. Is 84 a factor of r?
True
Suppose 14406 = 23*s - 46945 + 9808. Does 9 divide s?
True
Suppose 23*d - 30 = 18*d. Let y(o) = 5*o + 70. Does 20 divide y(d)?
True
Let g(o) = 4811*o + 251. Does 96 divide g(1)?
False
Let k = 187 + -185. Suppose 3*l = 5*y + 687 + 457, -k*l - 5*y + 746 = 0. Does 38 divide l?
False
Suppose -16*k + 18*k + 52*k - 72468 = 0. Does 22 divide k?
True
Suppose -4512 = 13*y - 17*y - 2*u, -5*y + 2*u = -5640. Let o = -201 + y. Is o a multiple of 28?
False
Suppose -5*s - 5*x = -13660, -4*s - x - 2588 = -13498. Does 4 divide s?
False
Let p(q) = 29*q - 160. Let n = -64 + 78. Does 48 divide p(n)?
False
Let g be (-3)/((3/(-5))/1). Let k = 7847 - 7832. Does 11 divide ((-275)/k)/(g/(-15))?
True
Let k(y) = -y**2 + 2*y + 1. Let j be k(0). Suppose -3*x - l = -j, x - 4 = -4*l - 0*l. Suppose x = -c + 4*n - 9*n + 239, -4*c + 1001 = 5*n. Is 25 a factor of c?
False
Let i(a) = a**3 - 6*a**2 + 8*a - 5. Let b be i(5). Suppose 8*j - 6 - b = 0. Suppose -5*q + j*q + 36 = 0. Does 2 divide q?
True
Let m(s) = -1556*s**3 + 11*s**2 