s 3 divide (p/(-81))/(j/120)?
False
Suppose 3*f - 139 = -2*o + 1309, -3*f = -2*o - 1456. Suppose f = 6*l - 38. Is 14 a factor of l?
False
Suppose -4*c - 12 = 0, 0 = -f - 3*c + 3 + 5. Suppose 5*a = -m - f, -2*m + 6*m - 12 = 0. Let q(y) = -2*y**3 - 3*y**2 + 5*y - 2. Does 8 divide q(a)?
False
Let k(t) = -707*t - 2532. Is 30 a factor of k(-6)?
True
Let n = -74 + 76. Is ((-2)/n - 3) + 6015/15 a multiple of 27?
False
Suppose 42*y - 95428 = 39518. Does 52 divide y?
False
Let q = 76 - 34. Suppose k = -2*a + 328, 330 = 43*k - q*k + a. Does 3 divide k?
False
Let d be (-22)/(-6) + (-5)/3. Suppose -3*x + 2148 = -3*r, -d*x - x + 2134 = 4*r. Is 14 a factor of x?
True
Let l(g) = 3*g - 1. Let n be l(-7). Let q = n - -27. Let v(j) = 10*j - 11. Is 11 a factor of v(q)?
False
Suppose -2*q = 4*z - 15 - 5, -z + 4*q = 4. Let b be (-2 + (0 - 8/z))*-1. Suppose 0 = -b*k, -n = -2*n + 2*k + 103. Is n a multiple of 16?
False
Let o = -47 + 51. Let n(s) = -24 - o*s - 9 - s. Is n(-8) a multiple of 4?
False
Let f = 299 - 754. Let d = f + 915. Suppose -2*p = -4*s + d, -8*p = -4*p. Is s a multiple of 13?
False
Suppose -5*v = v - 162. Suppose -v*i + 11*i = -3408. Is i a multiple of 5?
False
Let v be 9*((-138)/(-45) - (-8)/(-20)). Does 7 divide 505/3 - (-8 + 152/v)?
False
Let o(m) = -m**2 + 27*m - 17. Let i be o(27). Let x(h) = h**3 + 18*h**2 + 15*h + 20. Let z be x(i). Suppose 44*t - 45*t = -z. Does 27 divide t?
True
Is 4 + 121433/8 + (-87)/696 a multiple of 26?
False
Let k = -437 + 221. Let p = 275 + k. Is p a multiple of 3?
False
Let a = -5394 - -16212. Is a a multiple of 52?
False
Does 47 divide ((-5)/(-10))/(46/2549228)?
False
Let b be (112/70)/((-2)/15). Does 15 divide (2 - 52/8)/(b/80)?
True
Let k = -47 + 47. Suppose -r - 3*r - 20 = k, 0 = n - 5*r + 104. Let h = n + 220. Does 13 divide h?
True
Suppose v + 12 = 4*o, -3*v + 0*v = -3*o. Suppose 429 = -o*i + i. Let k = i - -200. Is 7 a factor of k?
False
Let y(g) = -g + 12. Let u(o) = o - 11. Let w = -39 - -33. Let n(k) = w*y(k) - 7*u(k). Is n(0) a multiple of 5?
True
Let k = 344 + -240. Let c(z) = z**2 + 19*z + 55. Let i be c(-17). Suppose 17*a - i*a = -k. Does 19 divide a?
False
Let o = -102 + 86. Let z(j) = -2*j - 20. Let t be z(o). Let s(h) = -h**3 + 14*h**2 - 15*h - 28. Is s(t) a multiple of 8?
True
Let l(m) = -8*m**3 + 8*m**2 + 25*m - 141. Is 5 a factor of l(-7)?
True
Let r = -46 + 51. Suppose -a - 5*g + 420 = 0, 0 = a + 2*a - r*g - 1320. Is a a multiple of 10?
False
Suppose -88*m - 490 = -89*m. Let z = 927 - m. Is z a multiple of 23?
True
Suppose -56*l + 118*l = 81*l - 145920. Is l a multiple of 12?
True
Is 7/14*33486 - (-45)/(-15) a multiple of 13?
False
Let g = -3346 + 11506. Is 68 a factor of g?
True
Let r be (0 + 1)/((80/6264)/(-10)). Is 5 + (4 - (0 + r)) + -6 a multiple of 98?
False
Suppose 0 = 5*k - 2*n + 161, 0 = -5*k + 4*n + n - 155. Let r = k + 147. Is r a multiple of 6?
True
Suppose -20360 = -4*i - 8*j, 11715 = 3*i + j - 3580. Is 170 a factor of i?
True
Suppose 16*p - 9647 = 193. Let u = p + -196. Let c = u + -179. Is 15 a factor of c?
True
Suppose b - 1974 = -h, 0 = -3*h - 2*b + 8541 - 2624. Suppose 0 = 52*m - 41*m - h. Does 8 divide m?
False
Let w(u) = -u**3 + u**2 + 4*u + 2. Let l be w(-1). Suppose -z - 55 + 228 = l. Does 21 divide z?
False
Let k(c) = -c**3 - 35*c**2 - c - 33. Let q be k(-35). Suppose q*b - 5*t - 735 = 0, 3*b - 1077 = -35*t + 34*t. Is b a multiple of 18?
True
Let s = -24 + 32. Suppose s*t = 10*t + 10. Let g(j) = -4*j + 37. Does 25 divide g(t)?
False
Let g = 180 + -257. Let f = 84 + g. Let w = 29 + f. Does 6 divide w?
True
Is (144/20)/(-12)*-6530 a multiple of 3?
True
Is 22 a factor of (5504/48)/((3 + -5)/(-66))?
True
Let h(q) = 171*q - 1378. Is 23 a factor of h(36)?
False
Suppose 16*u - 55309 - 120003 = 0. Does 15 divide u?
False
Let l(a) = -11*a + 124. Let m be l(11). Suppose -4*y - f - 7 = -178, m*f + 89 = 2*y. Does 13 divide y?
False
Let q = 8492 - 4527. Is q a multiple of 13?
True
Suppose 36 - 15 = -3*d. Is (2 + 50/d)/(3/(-399)) a multiple of 9?
True
Let p be 4/48*4*-21. Let b(r) = 24 - 15*r - 4 - 3 - 2 - r**2 - 5. Is 22 a factor of b(p)?
True
Suppose 23*z = 15415 + 12 + 29078. Is 43 a factor of z?
True
Let l(j) = -4*j**2 + 3*j + 4. Let t(o) = o - 1. Let s be t(-1). Let f be l(s). Let p = f - -21. Does 3 divide p?
True
Is 2 a factor of ((-9294)/24)/((-44)/176)?
False
Let w(v) = -v**2 - v + 2. Let f(o) = -6*o**2 - 25*o + 43. Let h(y) = f(y) - 5*w(y). Is 36 a factor of h(-15)?
True
Let v(k) = 12*k**2 + 23*k + 3. Let q be (-7)/2 + 4/8. Does 7 divide v(q)?
True
Let o(a) = a**3 - 6*a**2 - 8*a + 1. Let g(r) = 2*r**3 - 19*r**2 - 25*r + 4. Let b(i) = 3*g(i) - 8*o(i). Let m be -4 - (3 + -2 + 0). Does 25 divide b(m)?
False
Does 14 divide 5493 - -8*2/8?
False
Let x be 2/((-8)/(-24) + (-1)/(-3)). Suppose c - t + 7 - x = 0, 4 = 3*c + 5*t. Is 28 a factor of 4/(-4) + (-58)/c?
True
Suppose -3*h - 70 = -17*h. Suppose 0 = r - 3*k - 408, 2148 - 148 = 5*r - h*k. Is r a multiple of 29?
False
Let w = 514 - 503. Is 21 a factor of ((-16)/3)/(w + (-6239)/567)?
True
Suppose 53012 = 3*u - 4*q, -2*u = -4*q - 21668 - 13664. Is 65 a factor of u?
True
Let s = -10285 + 15847. Suppose -4*h = 114 - s. Is h a multiple of 17?
False
Suppose 9*p - 13*p - 2110 = -x, -5 = p. Is 38 a factor of x?
True
Suppose 24 = -18*u + 22*u. Let z = -3 + u. Suppose 256 + 89 = z*b. Does 23 divide b?
True
Suppose 4015 = s + 5*p - 3350, -4*s + 29574 = p. Is 85 a factor of s?
True
Let v be (-12 - 10)*(-6)/4. Let b be 2/(6/v + 0). Let p = b + 55. Does 22 divide p?
True
Suppose 25 + 14 = 3*l. Let p = 100 - l. Suppose u + p = z, -4*u + 75 = z - u. Does 14 divide z?
True
Suppose 535 = -159*l + 164*l. Does 68 divide 0 + l - (13 + -9)?
False
Let g = 428 + -170. Suppose 5*h = 2*h + g. Does 25 divide h?
False
Suppose -26*k - 15 = -31*k. Let l be 3 + (2 - -1)/k*0. Is 14 a factor of (l + (0 - 1)/1)*76?
False
Let t = 108 + -110. Is 23 a factor of (t/(-3))/(22/17457)?
True
Let c = 2719 + 1215. Does 12 divide c?
False
Let w = -34 + 33. Let q be (-1)/w + (12 - -7). Suppose -q*y + 25*y = 45. Does 7 divide y?
False
Suppose 0 = -4*c, -2*k - 46*c = -45*c - 12400. Does 50 divide k?
True
Let s(o) = 5*o**2 + 5*o + 2. Let t be s(-4). Let b(a) = 72*a - 430. Let k be b(6). Is 2 a factor of 3 - t/(-8) - k/(-8)?
False
Does 24 divide 169 + -185 - 252*-15?
False
Is 18 a factor of 8*(-1676)/80*(-56 - -1)?
False
Let b(j) = 206*j - 3342. Is 36 a factor of b(51)?
True
Let g(r) = 51*r**2 + 2*r + 1. Let q be g(2). Let z = 390 - q. Is 27 a factor of z?
False
Suppose 0 = -5*k + 4*k - 4. Let o be 4/8*79*k. Let h = -4 - o. Is 11 a factor of h?
True
Suppose -8*t - 7 - 9 = 0. Let l be -1 - (t/(-4))/((-14)/28). Suppose 4*c - 8 = l, -2*d + 4*d - c - 58 = 0. Is d a multiple of 8?
False
Let i be (-2620)/(-110) + (-2)/(-11). Let l be i/42 + 54/(-21). Does 5 divide (3 - 7) + 8 - l?
False
Suppose -43*s + 45*s - 14 = 2*r, -s + 5*r = -19. Suppose -c = 2*p - 6*p + 2891, -724 = -p - c. Suppose -s*g + 2*f + 969 = -f, 3*g - p = f. Does 37 divide g?
False
Let h = 1087 + 3326. Is 36 a factor of h?
False
Let n be ((49 + 3)/((-13)/(-26)))/2. Suppose 53*p + 2*s - 563 = n*p, 4 = s. Is p a multiple of 37?
True
Let k be (12/(-5))/3*(-420)/2. Let b = k + -76. Is 23 a factor of b?
True
Suppose 8*p + 7*p - 135 = 0. Suppose -p*u + 1665 = -603. Does 12 divide u?
True
Suppose 19*r - 2484 = 18*r. Does 29 divide (r/8)/((-6)/(-8))?
False
Let m(i) = 27*i - 6. Let z(b) = -27*b + 5. Let a = -40 + 38. Let w(q) = a*m(q) - 3*z(q). Does 35 divide w(3)?
False
Let n = 92 + 64. Let g be ((-20)/50)/(16/(-120)). Suppose a = -g*a + n. Is 13 a factor of a?
True
Suppose 0 = -28*o + 16330 + 2486. Suppose 0 = -5*d + 4*f - 0*f + 40, 3*d = 3*f + 27. Suppose 2 = -z, -o = -d*r + 3*z - 26. Is r a multiple of 7?
False
Is 11 a factor of 35176/5*195/78?
False
Suppose -5*x - 1920 = -0*x. Suppose -c - 2*t - 108 = 453, -2*c + 4*t = 1146. Let v = x - c. Is 16 a factor of v?
False
Does 91 divide 20 - (-40)/(-4) - -809?
True
Let b(h) be the first derivative of 35 + 2/3*h**3 - 4*h - 7/4*h**4 - 5/2*h**2. Is 24 a factor of b(-3)?
False
Let m(s) = -22*s - 35. Let y = -10 + 23. Let n be m(y). Let k = 562 + n. Is 45 a factor of k?
False
Let b(h) = 580*h - 2480. Does 45 divide b(16)?
False
Suppose -55*y = -17*y. Suppose 3*p - 1675 = -4*q, 6*q - 