- 19*t - 11. Let c be j(-9). Let u = c - 625. Does 13 divide u?
True
Let q = -31 - -41. Is (-1566)/(-4) - ((-76)/8 + q) a multiple of 17?
True
Let h be (5 + (-64)/12)*3 - -910. Suppose -2*k = 3*g - h, 3*k = -3*g + 8*k + 930. Is g a multiple of 11?
False
Suppose -3624*s + 3587*s + 156214 = 0. Is 29 a factor of s?
False
Suppose m + 0 + 16 = -5*n, n + m = 0. Let h = -11 - n. Is 15 a factor of 12/h + 4/(-14) + 92?
True
Let v = -4062 + 5645. Does 151 divide v?
False
Let r(i) be the third derivative of -119*i**4/24 + 109*i**3/6 - 38*i**2 + i. Is r(-3) a multiple of 35?
False
Suppose -30*i + 154585 = 27*i - 14*i. Does 13 divide i?
False
Suppose -2*k - 2*l = -5*l, -10 = -5*l. Suppose -7*n + 12 = -k*n. Suppose -53 = -c + 5*g, -n*c + 3*g + 25 + 74 = 0. Is 14 a factor of c?
True
Let u(z) be the second derivative of 15/2*z**2 - 37*z + 5/4*z**4 + 1/20*z**5 - 11/6*z**3 + 0. Does 20 divide u(-15)?
True
Suppose 10*s - 25 = 5*s. Suppose s*m - 3*m + 48 = 0. Let y = m - -166. Is y a multiple of 14?
False
Let h(k) be the first derivative of -k**4/4 + 14*k**3/3 - 11*k**2/2 - 4*k + 130. Is h(13) a multiple of 22?
True
Let x(t) = 3*t + 3680. Is x(40) even?
True
Suppose -1 = -g - f, g + 4*f - 16 = -0*g. Let o be (-186)/(-1*2/g - 2). Suppose -6*j + o = -200. Is j a multiple of 52?
False
Suppose 0 = -3*m + 155 + 709. Let d = m - 48. Is 8 a factor of d?
True
Let g = 748 + -352. Is (11/3)/(((-20)/g)/(-5)) a multiple of 13?
False
Let o be (-65)/39*3/(-1). Suppose -o*q - 220 = 20. Let x = q - -69. Is 4 a factor of x?
False
Let v = 7645 + 3329. Is 21 a factor of v?
False
Let j(l) = -583*l - 488. Does 52 divide j(-16)?
True
Let v(c) = 2*c**3 - 4*c**2 - c + 3. Let g(q) = -q**3 - 24*q**2 - 21*q + 51. Let r be g(-23). Let z be v(r). Is (306/(-15))/(z/40 + -4) a multiple of 19?
False
Suppose -10191 + 47751 = 10*m. Is 28 a factor of m?
False
Let k = -18 - -25. Suppose 14 = -k*w - 21. Let a(b) = -5*b + 5. Does 5 divide a(w)?
True
Suppose 5*t = -h - 940, -4*h + 2*t + 2859 = -7*h. Let d = h - -1818. Is 37 a factor of d?
False
Suppose 15 = 3*m, -k + 17 = m - 33. Suppose k*l = 51*l - 528. Is l a multiple of 22?
True
Suppose 29*l = 34*l - 55. Suppose l*a = 860 + 3122. Does 12 divide a?
False
Let v = 5478 + -1066. Does 52 divide v?
False
Let q be (24 - 21) + (-2 - 1). Suppose 0 = 5*a - 5*g + 15, -2*a = -q*a + 3*g + 1. Is (-91)/a + 16/32 a multiple of 5?
False
Let x = -129 + 137. Suppose x*m - 7*m - 226 = -2*h, 0 = -2*m - 4. Is h a multiple of 6?
True
Suppose 1685 + 6635 = 10*f. Let t = f - 480. Is t a multiple of 22?
True
Let m = 141 - 97. Let p = -4 + 39. Let h = m + p. Is 17 a factor of h?
False
Suppose -30*p + 17*p - p = -59976. Is p a multiple of 34?
True
Let c be 30/(-105) + (-2)/(-14)*-453. Is 20 a factor of 210/2 + c/13?
True
Is ((-1904016)/30)/(-8) - -2*18/60 a multiple of 21?
False
Suppose 19*y + 4*z = 22*y + 7, 4*z - 1 = 5*y. Is 10 a factor of ((-16)/(-8) - y)*-328?
False
Does 31 divide 80353/16 - (-9)/(-144)?
True
Let w be 1/8 - 708/32. Let n(s) = -s**2 + s + 1. Let z(f) = -3*f**2 + 29*f + 50. Let q(l) = 4*n(l) - z(l). Is q(w) a multiple of 2?
True
Let p = 2399 + 7941. Does 22 divide p?
True
Suppose -4*m + 160*u - 164*u + 51084 = 0, 0 = 5*m + u - 63835. Is 51 a factor of m?
False
Let s(g) = 110*g**2 + 922*g + 14387. Does 108 divide s(-16)?
False
Let y(u) = -u**3 - 6*u**2 - u - 6. Let g(t) = -t**3 - t**2 - 1. Let p(j) = 6*g(j) - y(j). Let s be p(1). Let w(b) = 6*b**2 - 2*b + 4. Is 36 a factor of w(s)?
True
Let h(k) = k**3 + 23*k + 304. Does 30 divide h(22)?
False
Let j be 0/2 + -2 - 22. Let p = j + 28. Does 22 divide p/(-16)*0 + 66?
True
Let l = 65638 + -36598. Does 24 divide l?
True
Let v be (-33 + 33)/(1 - -1). Suppose 72*z = 70*z - 4*q + 382, -4*z + 4*q + 764 = v. Is z a multiple of 47?
False
Suppose 15*k = -j + 12*k - 1560, 0 = -3*k - 12. Let r = 2771 + j. Is r a multiple of 29?
False
Suppose 136*z - 131*z = 3295. Suppose k - z = -147. Does 64 divide k?
True
Suppose 5*f = 501 - 151. Is f a multiple of 70?
True
Let y(r) = 3*r**3 + 3*r**2 - 6*r + 3. Let c be y(4). Is 13 a factor of c - 0*6/18?
False
Suppose -4*w + 4*h = -70828, -410*h + 411*h - 35426 = -2*w. Is w a multiple of 158?
False
Suppose h + 14 = 13. Is 13 a factor of h/(-8) - (-795)/40?
False
Does 34 divide (-1 - (1 + 6)) + 26 + 47954 + -10?
False
Suppose 19*g - 23*g = -148. Let v(c) = -11 + g + c**2 - 9*c + 9. Is 15 a factor of v(14)?
True
Let p(b) = b**2 + 8*b + 19. Suppose 3*l + 3*q = 57, 5*l = 4*q + 13 + 91. Suppose 8*f + l = -84. Is p(f) a multiple of 25?
False
Let t(o) = -107*o - 3. Let v be t(-2). Let x = 530 - v. Does 29 divide x?
True
Suppose 0 = 2*r - 4*z - 23966, -50*r + 47920 = -46*r - 2*z. Is r a multiple of 9?
True
Suppose -4*x + z + 3833 = 0, 4*x + 4*z + 1163 = 4971. Is 33 a factor of x?
True
Let w(v) be the second derivative of -v**5/20 - 17*v**4/12 - 17*v**3/6 + 47*v**2/2 - 36*v + 1. Is w(-17) a multiple of 33?
False
Let w(l) = -299*l**2 - 15. Let j(x) = -448*x**2 - 24. Let s(m) = 5*j(m) - 8*w(m). Does 38 divide s(-2)?
True
Let v(x) = 578*x - 19220. Is v(43) a multiple of 6?
True
Suppose -9*n = 4711 - 30685. Is 13 a factor of n?
True
Let m = 675 - 58. Let n = m - 288. Is 47 a factor of n?
True
Let b(x) = -x**3 + 32*x**2 + 60*x - 142. Suppose -93 = 10*o - 423. Does 32 divide b(o)?
False
Let m(f) = -3*f**2 - 9*f**2 + f**3 - 39 + 5*f - 10*f**2. Is 71 a factor of m(22)?
True
Let z(r) = -r**3 - 12*r**2 + 7*r - 87. Does 12 divide z(-16)?
False
Is 3 a factor of 627415/(-58)*(-1)/(-10)*(-4)/1?
False
Is (-19463631)/(-462) - (-2)/(-28) a multiple of 279?
True
Let w be 13 - (-1 - -10)*1. Does 26 divide ((-13637)/(-26))/(2/w)?
False
Let u(w) = w**2 + 16*w + 113. Let p be u(-25). Suppose -5*m + p + 1097 = 0. Does 7 divide m?
True
Suppose -31*g - 60291 = -64*g. Is g a multiple of 3?
True
Let v(j) = 6*j - 7. Let g be v(2). Suppose 5*q - 6 + 26 = -g*n, -3*q - 12 = -2*n. Does 25 divide (-162)/(3/((-12)/4) - n)?
False
Let r = 21 - 63. Let y = r - -168. Suppose 6*n + y = 3*j + 2*n, 3*n - 210 = -5*j. Is j a multiple of 42?
True
Let f = -12584 + 25285. Suppose f = 15*x - 2404. Does 25 divide x?
False
Let r(v) be the second derivative of v**3/2 - 2*v**2 + 13*v. Let p be r(3). Suppose -3*q + 61 = -m + 3*m, -p*m + 180 = 2*q. Is 12 a factor of m?
False
Let k = -24 + 32. Let n = -17 - -22. Suppose -k*b + n*b = -51. Is b a multiple of 2?
False
Let a be 2/11 - (5 - 86/11). Suppose -3*n - 4 = -2*n + a*y, n - 1 = 2*y. Is 3/(20/(-23) - n) a multiple of 12?
False
Let r(u) = 117*u + 40. Is r(10) a multiple of 72?
False
Suppose -354*j + 236*j = -1196284. Is 74 a factor of j?
True
Let j(v) = v - 24 + 4 - 18 - 51. Let n be j(0). Let g = 140 + n. Does 10 divide g?
False
Let o be -55 + 57 + 14/2 + -249. Let k be -2 - (6 + -2)*25. Let g = k - o. Does 46 divide g?
True
Let i = 1179 + -367. Let z = 1491 - i. Is z a multiple of 64?
False
Let c(v) = -v**2 + 10*v + 171. Let b be c(17). Suppose -b*j + 1578 = -46*j. Does 4 divide j?
False
Let h(v) = 1119*v + 1062. Is 71 a factor of h(4)?
True
Let q = 186 - 190. Does 59 divide (11/q)/((-2)/472)?
True
Let b(m) = m**2 + 10*m - 22. Suppose -10*s + 70 = -30. Let f be b(s). Suppose 4*a - a - 3*q - 267 = 0, 5*q = 2*a - f. Does 12 divide a?
False
Suppose 4*h = 938 + 1494. Let i = -262 + h. Let p = -158 + i. Is 15 a factor of p?
False
Let s be -9 - (2 + 0) - -1. Let c(f) = -f**2 - 5*f - 13. Let a(o) = -3*o**2 - 16*o - 41. Let v(k) = -6*a(k) + 17*c(k). Does 10 divide v(s)?
False
Suppose -o - y = 2, 4*o - 7*y + 4*y = 20. Is 13 a factor of (-1 - 0/o) + 738 + -32?
False
Let u = -278 - -280. Suppose m + 721 = 5*y - 2925, 5*y = u*m + 3642. Does 24 divide y?
False
Let q(p) = -8*p + p + 8*p + 45. Let n be q(0). Suppose 5*d - 45 = n. Is d a multiple of 6?
True
Suppose -5*x + 0*x = -2*o + 425, 0 = -2*o + 3*x + 435. Let t = o + -177. Does 3 divide t?
True
Suppose -4*j + 7*j = -9*j. Suppose j = -11*t + 2045 + 375. Is 10 a factor of t?
True
Suppose -1 = 3*y - 4*y, -5*y + 35 = 5*p. Let s be ((-338)/2)/((-1)/(p - 4)). Suppose 5*r + s = c, -3*r + 630 = 4*c - 653. Does 15 divide c?
False
Is 573/((1/(-4))/(15 - 17)) a multiple of 6?
True
Let p(g) = -g**2 + 5*g - 25. Let a be p(15). Let n = 234 + a. Is 59 a factor of n?
True
Suppose p + 5*r = 3234, -12961 = -4*p - 20*r + 25*r. Is p a multiple of 81?
False
Let u = 303