 of 10?
True
Suppose -4*c + 5 = -5*x - 66, -3*c - 5*x + 97 = 0. Suppose -c*l - 1985 = -9977. Does 9 divide l?
True
Let h(s) = 4*s**2 - 85*s - 89. Let t(m) = 3*m**2 - 57*m - 59. Let v(c) = 5*h(c) - 7*t(c). Is v(-23) a multiple of 5?
False
Suppose 6*b - 27*b = 5*b - 211666. Is 2 a factor of b?
False
Suppose z - 5*z + 12 = 4*f, 3*f = z - 11. Suppose 4 = n - 0. Suppose 3*b + 4 = 4*b, -z*u + n*b + 334 = 0. Is 10 a factor of u?
True
Let n(t) = -10*t - 12 - t**2 + 2*t - 5*t - t. Let s be n(-14). Let j(b) = -3*b + 2. Is 10 a factor of j(s)?
False
Suppose 77*d - 60 = 72*d. Suppose 359 = d*k - 181. Is 2 a factor of k?
False
Let s be 9*3/3 - (-4)/(-2). Suppose -10*n = -s*n - 819. Is n a multiple of 7?
True
Let v = 213 + -383. Does 42 divide 0 + -7 + 5 - (0 + v)?
True
Let s(d) = d**2 + d + 2. Let v be s(-1). Suppose -2*c = -3*i + v*c + 236, -3*i - 2*c = -206. Is i a multiple of 36?
True
Let f = 13 - 14. Let i be (-3 - f)*74/(-4). Let r = i + -29. Is 7 a factor of r?
False
Is 3174/(4 - 2) + -18 a multiple of 37?
False
Let s be ((-9)/6)/(18/(-24)). Suppose 0 = s*l + 4*a - 258, 0 = -l + 4*l - 3*a - 414. Is 9 a factor of l?
True
Let u = 6677 - 3117. Suppose -u - 15580 = -20*s. Is s a multiple of 33?
True
Let p(g) be the first derivative of g**3/3 - 9*g**2 - 27*g + 14. Let b(v) = 7*v - 14. Let c be b(5). Does 12 divide p(c)?
True
Does 29 divide 6/((-2)/2) - (751075/25)/(-13)?
False
Suppose b = -2*b + 984. Let u be -1 + (3 - 6) + 552. Let a = u - b. Is a a multiple of 44?
True
Let k = 47 - 45. Suppose k*i + 33 = -4*y + 127, 0 = y + 3*i - 36. Is -16*2/(-6)*y a multiple of 40?
False
Is -24*84/(-180)*650 a multiple of 112?
True
Suppose -4*c + 16 = 0, m - 10*c + 2 = -9*c. Let j be (-45)/(-10) + 3/(-6). Suppose -l = j*l - m*y - 418, 168 = 2*l - y. Does 30 divide l?
False
Suppose -4*t = -76 + 28. Is 25 a factor of 20/(-3)*(1 - 102/t)?
True
Let j(s) = -44*s**2 + 6*s + 6. Let a be j(-1). Let l = 17 - a. Suppose -l = -3*q - 3*o + 17, -122 = -5*q - 3*o. Is q a multiple of 7?
False
Suppose 3*y = 5*u - 335 + 42, -195 = 2*y - 3*u. Let z = 121 - 91. Let t = z - y. Is 14 a factor of t?
True
Let k(c) = c + 8. Let p be 7/(14/20)*(-4)/5. Let o be k(p). Suppose o = 9*w - 72 - 405. Does 25 divide w?
False
Suppose -1795 = 25*m - 26370. Is m - (-18)/(-8)*68/51 a multiple of 14?
True
Suppose -t - 5*z - 3 = 0, 5 = 2*z - 7*z. Let p = t - -1. Suppose -15 - 228 = -p*m. Does 11 divide m?
False
Let s = -253 + 223. Let o(q) = 2*q + 71. Does 2 divide o(s)?
False
Suppose -467*h - 10005 = -470*h. Is h a multiple of 23?
True
Suppose 79*k = 74*k + 11985. Does 3 divide k?
True
Let f(j) = 46*j + 32*j - 23*j + 18 - 3*j**2 + 6*j**2. Is 48 a factor of f(-27)?
True
Suppose 5*f - 121 = l, 2*f + 5*l + 14 = 57. Is (f/40)/((-3)/(-1385)) a multiple of 59?
False
Suppose -101*g + 104*g = 27. Is 24 a factor of (-2)/g + 3 + 191/9?
True
Suppose -34 = 24*q + 14. Let y(r) = -140*r**3 - 4*r - 8. Is 10 a factor of y(q)?
True
Let s = 57 + -467. Let i = s - -625. Does 38 divide i?
False
Let h be (270/(-12))/15 + (-13)/(-2). Suppose -o - h = -1. Is 14 a factor of ((-29)/o)/(-5 + (-246)/(-48))?
False
Let b(y) be the third derivative of -y**6/3 - y**5/20 - 5*y**4/24 - 2*y**3/3 + 21*y**2. Let n be b(-2). Suppose -3*a = -n - 10. Is a a multiple of 40?
False
Let h = 2938 + -1314. Is 116 a factor of h?
True
Let a = -490 - -493. Suppose 36 + 463 = 4*o - z, -3*o - a*z + 363 = 0. Is o a multiple of 15?
False
Does 38 divide 18 + -1 - (-5649 - 2)?
False
Let j(d) be the first derivative of -5*d**2/2 + d - 67. Suppose -5*x + x = 28. Is 9 a factor of j(x)?
True
Suppose -7*h + 13 + 379 = 0. Suppose h*j = 19*j + 4403. Is j a multiple of 17?
True
Let p(z) = 3*z**3 + 8*z**2 - z - 11. Suppose -4*g = -5*o + 41, 2*o - 3*o + 5*g + 25 = 0. Is 11 a factor of p(o)?
False
Suppose 82*w - 797874 = 27*w - 102*w. Is 6 a factor of w?
True
Let b(h) = -4*h**2 + h + 4. Let x be b(6). Suppose -37*k + 1648 = -7010. Let z = x + k. Is z a multiple of 10?
True
Suppose -113*j + 119*j - 4344 = 0. Let v = -438 + j. Is v a multiple of 9?
False
Let a(k) = 567*k**2 + 221*k + 1484. Is a(-7) a multiple of 198?
True
Suppose -19*d - 42 = -16*d. Is 54 a factor of d/14 - (-353 + 0)?
False
Suppose -3*p = -12*p + 4455. Suppose -4*u - 4*u = 0. Suppose u = -7*h + p + 219. Is 19 a factor of h?
False
Suppose -5*s + 78200 = -66*z + 71*z, -5*z + 78192 = -3*s. Is z a multiple of 10?
False
Let z be (6 - 5)*(-36)/(-4). Suppose 2*t - 4 = 2*i, 0 = -3*t + 2*i - 0 + z. Is 6 a factor of 17 - ((t - 1) + -5)?
True
Let g(a) = 125*a - 110. Let b(d) = d. Let r(y) = 6*b(y) + g(y). Does 19 divide r(7)?
False
Let h(w) = 32*w**2 - 13*w - 61*w**2 - 4 + 28*w**2. Let k be h(-5). Suppose -3*a = -84 - k. Is 20 a factor of a?
True
Let h(b) = -6*b**3 + 7*b**2 - b + 2. Let a be h(6). Let k = -269 - a. Is k a multiple of 49?
False
Let d = 6089 + -3702. Suppose -4*w + 1833 = -d. Is 14 a factor of w?
False
Is 57/(32772/2520 + -13) a multiple of 7?
True
Let o = 116 + -105. Suppose 1010 = -o*b + 2990. Let m = b - -96. Is m a multiple of 30?
False
Suppose 0 = -7*l - 37 - 5. Let h = 7 + l. Is 4 a factor of 1*(h - -3) - -7?
False
Suppose -4*u = i - 1033, -5*u + i - 6*i + 1310 = 0. Suppose -n = -u + 37. Is 29 a factor of n?
False
Does 22 divide ((-1837)/(-5))/((-2)/77*143/(-130))?
False
Suppose -w + r - 2*r + 3 = 0, -2*r + 12 = -4*w. Let n = w - 2. Let y = n - -55. Is 13 a factor of y?
True
Suppose 6*h - 261 = 237. Suppose -561 = -h*n + 80*n. Does 17 divide n?
True
Suppose -39 = 2*o + 125. Let g = 107 - o. Is g a multiple of 11?
False
Suppose 0 = -3*i - i - w + 18, 8 = 4*w. Suppose -895 - 681 = i*g. Let x = -227 - g. Is 20 a factor of x?
False
Suppose -116*d = 191*d - 57*d - 721500. Is d a multiple of 74?
True
Suppose 0 = 5*a - 3*v + 196 - 53, 3*a = v - 85. Let d be 8/a - 2270/(-7). Let c = d - 156. Is 16 a factor of c?
False
Let k = 1174 - 985. Suppose 0 = -4*f - k + 721. Is 4 a factor of f?
False
Is 80 a factor of -5 + 1 + (630/9)/((-13)/(-6240))?
False
Is 2/(-16)*2 - 31009237/(-1316) a multiple of 44?
False
Suppose -5*u + 101397 = 4*z, -8*z + 20277 = u - 6*z. Is u a multiple of 23?
False
Let q be 48*6/(-9)*-1. Let k = q - 31. Is 4*(-15)/(-4)*(k + 0) even?
False
Let f(s) be the second derivative of s**4/12 - 19*s**3/2 + 329*s**2/2 - 75*s + 3. Is 2 a factor of f(6)?
False
Suppose -26*i + 732769 = -3*t, -4*i = 135*t - 134*t - 112741. Does 13 divide i?
True
Let w = 366 + -360. Suppose 8 = -2*n + 4*c, -5*n + 0*n + 35 = c. Is 18 a factor of 37*3/w - 3/n?
True
Let z(o) = 1951*o**2 - 7*o + 6. Let w be z(1). Let d = w + -1365. Is 39 a factor of d?
True
Let f = 1669 + -1588. Suppose -x - 16 = 3*x, -x = -3*y - 2. Is (-2)/y + (f - 2) a multiple of 40?
True
Let v = 69743 - 49415. Is 168 a factor of v?
True
Suppose 22*r + 9*r = 448500 - 161688. Is 18 a factor of r?
True
Suppose -36*c - 1801 = -200917. Is c a multiple of 121?
False
Let g = 665 + -995. Let w = 570 + g. Is w a multiple of 16?
True
Suppose 384562 = 50*i + 9*i. Does 13 divide i?
False
Let a(p) = p**3 - 14*p**2 - 16*p + 7. Let v be a(15). Does 5 divide 94 + (v/(-6))/(8/6)?
True
Is 72 a factor of 1188/(-8)*(5 + -85)/5?
True
Let z = 83 + -115. Does 6 divide 1048/z*-2 - 2/(-4)?
True
Let z = -117 - -489. Let x = z + -257. Is x a multiple of 23?
True
Suppose -5*z + 4*u + 151172 = 0, 73*z - 75*z = 2*u - 60458. Is 12 a factor of z?
False
Is (-5 - -5 - 5) + -4 + 3 + 2761 a multiple of 29?
True
Suppose 0*a + 5*a = -0*a. Suppose -4*o + a*o = -64. Let m = 43 - o. Is m a multiple of 4?
False
Let d(o) = 13*o**2 - 1. Let x be d(1). Let h(i) = -i**2 + 13*i + 6. Let m be h(x). Let c(f) = f**3 - 19*f**2 + 19*f + 1. Is c(m) a multiple of 9?
False
Suppose -42*c + 13588 = c. Is 66 a factor of c?
False
Let n(r) = 221*r**2 + 37*r + 23. Is 12 a factor of n(-3)?
False
Is 92 a factor of 384113/(-17)*-1 - ((-6544)/136 + 48)?
False
Let w = -3474 + 7149. Is (-2 - 3) + (5 + w)/5 a multiple of 77?
False
Suppose 27817 = 2*i - 2*p + 47, 27767 = 2*i + p. Is 78 a factor of i?
True
Let f(h) = -15*h**3 - 11*h**2 - 6*h + 6. Let m be f(-4). Suppose 3*o - 180 - 1054 = n, -5*n = -2*o + m. Does 5 divide o?
False
Suppose -2*a + 536 = -4*l + 2340, 5*a - 1340 = -3*l. Suppose -36*g - l = -26802. Is 45 a factor of g?
False
Suppose 4*l - 5*x - 46849 = 0, -5*l - 5*x = -2*x - 58552. Is 8 a factor of l?