ltiple of 15?
True
Let w be (-25)/15 + 3 + 50/(-15). Is 23 a factor of (-653)/w + (-168)/112?
False
Let f(p) = 3*p - 1. Let s(y) = 34*y + 160. Let m(i) = -12*f(i) + s(i). Is m(-24) a multiple of 10?
True
Let n(h) = 3*h**2 - h + 6. Suppose -14 - 6 = -10*t. Suppose -t*d = 13 - 3. Is n(d) a multiple of 35?
False
Let n(d) = d**2 - 11*d + 38. Let z be n(6). Suppose -z*h + 3*h + 575 = 0. Suppose 4*l = 5*l - h. Is l a multiple of 25?
False
Let r = 74314 - 37342. Is r a multiple of 78?
True
Suppose -l = -j + 1596 + 1970, -5*j + l + 17846 = 0. Is j a multiple of 42?
True
Let v(s) = s**3 - 26*s**2 + 29*s - 140. Is 13 a factor of v(28)?
False
Suppose 77*z - 373812 = -25*z - 99840. Is 158 a factor of z?
True
Suppose -3*j = -5*o + 8554, 0*o - 3*o + 5128 = -4*j. Suppose -134*t + o = -118*t. Does 2 divide t?
False
Suppose w = 21*v - 19*v - 43, -4*w - 4*v = 112. Let k = w - -96. Does 7 divide k?
True
Let j be 990/396*(0 + (-19748)/(-10)). Suppose 13*f = 4111 + j. Is 24 a factor of f?
True
Suppose 4*z + 1 = -3, 0 = -2*f + 4*z + 940. Suppose -4*j + 8 = 0, s - f = -2*j - 0*j. Let d = s - 229. Does 16 divide d?
False
Does 9 divide (130/52)/(10/432)?
True
Let a(v) = 11 + 5*v**2 + v**2 + 1 - 2 - 29*v. Is a(9) a multiple of 13?
False
Suppose -997 - 233 = 6*c. Let l = 24 - -336. Let m = l + c. Does 31 divide m?
True
Let f(q) = q**3 + 4*q**2 - 5*q + 2. Let z be (-3)/((-4)/(20/(-5))). Let g be (3 - 1)/(((-3)/(-2))/z). Is 13 a factor of f(g)?
False
Suppose b + 286 = -4*c, 2*c - 5*b + 345 = -3*c. Let w = c - -111. Is w a multiple of 7?
False
Let q(w) = 11*w + 1. Suppose -3*b + 4*d = 8*d - 14, 2*b - d - 2 = 0. Let x be q(b). Is -2*4/(-2 - 6)*x a multiple of 23?
True
Suppose 0 = 118*r - 161*r + 53793. Is 2 a factor of r?
False
Let t = 12336 - 7068. Does 16 divide t?
False
Suppose 0 = -3*g - 18, -3*u - 4*g + 3812 = -550. Is 28 a factor of u?
False
Suppose -2*p - 26 = -g, -2*g - 7*p = -2*p - 97. Let r = 11 - 11. Let u = g - r. Is u a multiple of 18?
True
Let i(h) be the third derivative of -h**6/120 - h**5/20 + h**3/6 + 13*h**2. Let w be i(-3). Is 3 a factor of w + (-22)/18 + 83/9?
True
Does 13 divide (((-234208)/6)/4)/((-314)/471)?
True
Let o be (-11 - -12) + (-1 - -1). Let y be (2 - 1)*1*o. Let u(a) = 6*a - 1. Is 5 a factor of u(y)?
True
Let v be (-65)/(-4) - (2 - 91/52). Let a = -24 - -52. Let u = a + v. Is u a multiple of 11?
True
Let y(r) = 13*r**2 - 165*r - 851. Is 13 a factor of y(-5)?
True
Suppose 18*k - 2*t = 17*k + 8669, -2*t - 34706 = -4*k. Is k a multiple of 77?
False
Is 44 a factor of (-120664)/(-108)*9 + (-14)/6?
False
Let q(l) = 116*l**2 - 116*l + 580. Does 29 divide q(5)?
True
Suppose 4*v = 4*u - 144, 2*u - 134 = -2*u + 2*v. Let t = u - 26. Suppose -2*p + 123 = t*b, -27 = b - 2*b + 2*p. Is b a multiple of 5?
True
Let x be 140/1 + -6*5/(-30). Let s = 306 - x. Suppose 3*u - 37 = d + s, -3*d = 2*u - 142. Does 17 divide u?
True
Suppose 7*n = 3269 + 11977. Suppose -22*u + 28*u - n = 0. Is u a multiple of 33?
True
Let y(u) = 4980*u - 5524. Is y(7) a multiple of 22?
False
Let m(t) = 1 + 4 + t**2 + 5*t + 4. Let k be m(-6). Suppose x - k = 93. Is x a multiple of 14?
False
Let n(v) = 46*v. Let t be n(2). Let l = t + -46. Suppose 11*z + l = 12*z. Is 23 a factor of z?
True
Let t = 13437 + 2189. Does 26 divide t?
True
Let q = 408 - 400. Suppose 2*l = n - 440, 16*l - 20*l + q = 0. Is 11 a factor of n?
False
Suppose -3 = 3*p, -97*u - 8752 = -98*u + 2*p. Is u a multiple of 50?
True
Suppose -2*g = 5*c - 54938, -95526 - 41912 = -5*g + 3*c. Is 47 a factor of g?
False
Let i(j) = -13*j**2 - 54 + 104 - 12*j + j**2 - 46 - j**3. Let h(b) = b**3 + 7*b**2 - 7*b - 3. Let d be h(-8). Is 14 a factor of i(d)?
False
Let c = -86 + 41. Let u = c + 46. Suppose -5*o + u = -4, -5*d = -o - 799. Is d a multiple of 21?
False
Is ((-242264)/(-66))/((-10)/(-15)) a multiple of 22?
False
Suppose 5958*v - 5959*v = -76249. Is 13 a factor of v?
False
Let o be -12*(-1)/(-9)*-3. Let r be (0 + o)/((-20)/(-120)). Does 13 divide ((-32)/r)/(3/(-108))?
False
Let h(c) = 7*c**2 + 21*c - 17. Let o be h(-7). Is 11 a factor of o/1 - (107 + -107)?
False
Suppose 0 = -5*o - 5*q + 20165, 11*q - 8066 = -2*o + 13*q. Is o a multiple of 11?
False
Let o(x) = -x**2 - 12*x - 12. Let u be o(-10). Let t = u + -6. Suppose 0 = 5*a - t*a - 579. Is a a multiple of 22?
False
Let g = -34 - -42. Suppose -2 = b + g. Is (b + -3)*(-1 + (-8 - 0)) a multiple of 13?
True
Let f(p) = p**3 - 6*p**2 + 7*p. Let i be f(5). Suppose 0 = 2*r - 3*u + i, -5*r - 6 = -3*u + 19. Does 3 divide (-20)/(-8)*(-66)/r?
True
Let y be (-12)/(((-6)/5)/(-3)). Suppose -5*a - 3*j - 170 = -171, a = -3*j + 5. Let v = a - y. Is v a multiple of 16?
False
Let r(n) = n**2 - 3*n - 1225. Let c be r(0). Let u = 1834 + c. Is 87 a factor of u?
True
Suppose 6*u - 5188 = 5173 - 2339. Does 21 divide u?
False
Let m be 32/10 - (-2)/(-10). Let h be (-2)/(47/260 + 14/(-70)). Suppose 4*c = 2*c - 2*f + 72, 0 = -m*c - 5*f + h. Is c a multiple of 4?
False
Let s(y) = y**2 + 64. Let p = 509 + -521. Is s(p) a multiple of 13?
True
Let n = -135 + 589. Suppose -33*w + n = -932. Is 7 a factor of w?
True
Let m = 35050 + -8287. Does 49 divide m?
False
Suppose 2*j - 19154 = -5*s, 43*j - 47939 = 38*j + s. Is 215 a factor of j?
False
Let l = -88 - -117. Let p = -27 + l. Suppose p*q - q = 28. Is 28 a factor of q?
True
Suppose -4*l = 4*y - 844, 0 = -3*l + 16*y - 15*y + 613. Let j = -6 + 11. Suppose 2*g - 146 = -2*p + l, j*g - p - 856 = 0. Does 43 divide g?
True
Let f = -672 - -1214. Does 14 divide (f/3)/(112/168)?
False
Let v = 82 - 65. Let p = v - -188. Let b = 457 - p. Is 9 a factor of b?
True
Let q = 13309 - 1263. Does 38 divide q?
True
Suppose 61304 - 914 = 90*d. Does 19 divide d?
False
Is (-3 + (-80)/(-24))/(3/3672) a multiple of 34?
True
Suppose 0 = -5*o - 4*k + 11 + 16, 0 = 5*k - 15. Suppose -6*d = -o*d - 18. Suppose d = 4*f - 70. Is 8 a factor of f?
False
Let b(x) = -2*x**3 - 57*x**2 + 68*x + 1856. Is 6 a factor of b(-32)?
False
Suppose -32648 = -167*y + 139*y. Is y a multiple of 4?
False
Let o = 2459 - 1276. Suppose -5*z + 383 - o = 0. Is 30 a factor of z/(-24)*(-84)/(-5)?
False
Let k be (-1 - 64)*1122/(30/(-5)). Suppose 28*f - 11*f = k. Does 13 divide f?
True
Let l be ((-3575)/66 - 2) + (-2)/(-12). Is 28 a factor of ((-11956)/l)/(3/2 - 1)?
False
Suppose -3*l + 2799 = -2*q - 6189, 2*l - 4*q - 6000 = 0. Is l a multiple of 88?
False
Is (1389 + (5 - 4))*875/70 a multiple of 19?
False
Let s(j) = 25*j**2 + 160*j + 49. Let c(a) = -11*a**2 - 80*a - 25. Let g(p) = 7*c(p) + 4*s(p). Is 21 a factor of g(-6)?
False
Suppose -4*u - 2*c = -13488, 3*c - c = 7*u - 23604. Is u a multiple of 113?
False
Let n = -137 - -141. Suppose -3*p - 777 = -2*y, -n*y - y = 2*p - 1914. Is y a multiple of 18?
False
Suppose -244*h + 248*h - 5*y - 55424 = 0, -8*h + 2*y + 110880 = 0. Does 13 divide h?
False
Let w be 28/12 + -3 - 685/3. Let o = -105 - w. Suppose -6*y + 176 = -o. Does 10 divide y?
True
Suppose -2*n + 74 + 46 = 0. Suppose 3*u + n = -36. Let l = u - -119. Is l a multiple of 11?
False
Suppose 194*n - 3782504 = -93*n + 75*n. Does 22 divide n?
True
Suppose 9*r + 2*j - 12089 = 4*r, -3 = j. Is 70 a factor of r?
False
Let c = 43 + -47. Let h be (-6)/4 + (-14)/c. Suppose 4*a - 34 = -h. Is a a multiple of 4?
True
Let p be 10/(-2 + (24/3)/2). Let y(d) = d - 1. Let n be y(p). Suppose n*s + t - 8 - 91 = 0, -5*s + 4*t = -150. Is s a multiple of 13?
True
Let l be (-1)/(5/(-130)) + -2. Suppose -l*k = -20*k - 12. Suppose 2*p - p = 2, k*p + 294 = 5*c. Is c a multiple of 20?
True
Let y = 935 + -897. Let f be ((-2)/(-5))/(2/20). Is 14 a factor of (y/(-57) - 172/(-6))*f?
True
Let f(q) = -33*q + 30. Let p be f(5). Let o = 48 - p. Is o a multiple of 9?
False
Let i = -392 - -245. Let z = i + 699. Is 10 a factor of z?
False
Let f(q) = -q**2 - 14*q + 8. Suppose p = -2*s + 18, -p - 36 = -5*s + p. Let h be (4/s)/(1/(-20)). Does 4 divide f(h)?
True
Suppose 0 = 3*q + 4*h - 1014, -9*q + 4*q - 2*h + 1704 = 0. Is 6 a factor of q?
True
Let d(r) = 6*r**2 + 115*r + 75. Is d(32) a multiple of 7?
False
Let o(g) = 96*g - 106. Let s be o(8). Let u = s - 407. Is 17 a factor of u?
True
Suppose -13*m = -9*m - 24. Let d be m*6/9 + 6. Let z(w) = w**2 - 4*w + 5. Is 8 a factor of z(d)?
False
Let g = 7227 - 1879. Is g a multiple of 15?
False
Let b(z) = -15*z 