 factor of 4747 - -21 - (-4)/1?
False
Suppose 3*o - 4*k - 6 = 5*o, k = 4*o - 15. Let p(c) = 74*c + 1. Let s be p(o). Let t = -118 + s. Does 21 divide t?
True
Let g = -32 + 41. Let q = 0 + g. Suppose 0 = q*r - 13*r + 72. Is r a multiple of 3?
True
Let u(p) be the third derivative of -p**6/120 - p**5/60 + p**4/24 - 5*p**3/6 - 4*p**2. Let v be -7*(-1)/7*-4. Does 10 divide u(v)?
False
Let l = -79 + 88. Is 14 a factor of (-1 + -9)*(l - (-59)/(-5))?
True
Let s be 6/(-24) - 51/(-12). Suppose s*h + 1070 = 5*f, 0*h - 3*h - 642 = -3*f. Is f a multiple of 17?
False
Let v(r) = -2*r**3 + 10*r**2 + 51*r - 2. Suppose -4 = 4*s, 3*z + s - 6*s + 10 = 0. Is v(z) a multiple of 2?
False
Suppose 4*n - 9*n = 160. Let z(i) = 158*i**3 + 3*i + 4. Let y be z(-1). Let h = n - y. Is h a multiple of 24?
False
Let z = -141 - -145. Suppose y + 5 = -z*y + 3*j, -3*y = j - 11. Is 8 a factor of (y*(-6 + -4))/(1/(-4))?
True
Let i be (22/(-3) + 0)*(-1323)/294. Let g be (8/(-6))/(-1)*3. Is 12 a factor of g + 11/(i/36)?
False
Let n(l) = 3*l**2 + 3*l + 54. Suppose 66 = -18*q + 7*q. Is 18 a factor of n(q)?
True
Suppose -251*o + 255*o - 75168 = 0. Is o a multiple of 87?
True
Let t(p) = -1194*p + 9010. Is 46 a factor of t(-19)?
False
Let n(g) = 13*g**2 - 13*g - 2 + 1 + 17*g**2 - 1. Is n(-2) a multiple of 8?
True
Suppose 4*g + 851 = k + 38, -3*k = -g - 2395. Let p = 1132 - k. Does 67 divide p?
True
Suppose -23*q - 221 = 32. Is 8 a factor of 0 + 182 - (17 + q)?
True
Let z(u) = 1 + 10 + 31 - 3 + 26 - 56*u. Is 101 a factor of z(-26)?
False
Is 5 a factor of (19/((-133)/2))/((-7)/66199)?
False
Let z be -1*(-7)/((-14)/12). Let w be ((-220)/15)/((-14)/(-42)). Is (84/7)/(z/w) a multiple of 22?
True
Let i(a) be the second derivative of 23*a**4/4 - 3*a**3/2 + 5*a**2/2 - 77*a + 2. Does 14 divide i(2)?
False
Let k(j) = -j + 16. Suppose 6*w + 336 = 14*w. Suppose 31 = 3*u - a, 4*u - w = 3*a + 6. Is 2 a factor of k(u)?
False
Let v(g) = 63*g**2 - 8*g - 20. Let j be v(-2). Let a = j - 64. Is 8 a factor of a?
True
Suppose -j = 4*o - 10824, -12179 = -4*o + 3*j - 1339. Suppose 2*y = -y - 5*n + 2747, 5*n + o = 3*y. Suppose 111 + y = 5*d. Is d a multiple of 20?
False
Suppose 37*a + 4480 = 42*a. Suppose -5*c = 3*c - a. Does 4 divide c?
True
Let c be (-4)/(-16) - ((-173)/(-4) - -1). Let m = c - -38. Is 13 a factor of (-938)/(-8) + m/72*3?
True
Suppose -4*f + 4*l + 24276 = 0, -4*f + 18203 = -f + l. Does 74 divide f?
True
Let a be (-10 + (-2 - -5))*(-5 + 6). Let t = 19 + a. Suppose 26 = t*i - 10. Does 3 divide i?
True
Suppose -11*w - 2*p - 764 = -13*w, 3*p = -3*w + 1164. Suppose -15*j = -20*j + w. Does 50 divide j?
False
Suppose 145 = 12*f + 37. Let b(p) = -p**3 + 10*p**2 + 10*p - 44. Does 68 divide b(f)?
False
Suppose 0 = -2*j - 210 + 20. Let g = -92 - j. Does 17 divide 201/9*3 - (2 - g)?
True
Is (76428/1188)/((-2)/(-42)) a multiple of 7?
True
Let b be 531783/945 - (-4)/15. Suppose 3*g - 9 = 3*v, -4*g = -2*g + 3*v + 9. Suppose 584 = 5*n + 3*m, 5*n - 4*m + g*m = b. Is n a multiple of 34?
False
Let x be (2 - 1)*-1 - -6. Suppose -268 = -5*b + 2*z, 0 = -5*b + z - x*z + 244. Suppose -26*t - b = -27*t. Is 26 a factor of t?
True
Is (-1)/10 - (129 - 132)*(-21761)/(-30) a multiple of 64?
True
Let a = -37 - -42. Suppose -4*u - 2*l + 2032 = u, 0 = -a*u + 4*l + 2026. Let o = 618 - u. Does 53 divide o?
True
Suppose -3*d + 34 = -x, 19 = -x + d - 23. Suppose n + 0*g - 3*g = 22, 3*n - g - 66 = 0. Let h = n - x. Is 17 a factor of h?
True
Let q be (-33 + 34)/(2/(-4)). Is 16 a factor of (q/(-5))/(6 + (-5789)/965)?
False
Is 42 a factor of (-17)/((-85)/156)*1225/14?
True
Is (4 - 3)*(38 + 5383) a multiple of 70?
False
Suppose -8 = -i + 7. Suppose -153 = i*h - 12*h. Let f = -13 - h. Does 10 divide f?
False
Let h = -135 - -75. Let w = h - -76. Is w a multiple of 14?
False
Suppose -22*h + 29*h = 5*q - 51821, -3*q + 2*h + 31108 = 0. Does 91 divide q?
True
Let s be 88/14*14/4. Suppose -s*n = -2306 - 10784. Is 35 a factor of n?
True
Let d(a) = -10*a + 4. Let n(s) = -6*s - 2. Let v be n(-1). Suppose -5*f - 8 = 4*i + 3, -i - v*f + 11 = 0. Does 7 divide d(i)?
False
Let o(c) = -35*c + 3. Let m = -208 + 205. Is o(m) a multiple of 12?
True
Let u(p) = -445*p - 80. Does 68 divide u(-4)?
True
Suppose 0 = 2*q - 2*m - 59418, 48*m - 29646 = -q + 42*m. Does 225 divide q?
True
Let g = 5821 + -3337. Is 138 a factor of g?
True
Suppose -49*t = -43*t + 3780. Let w = t - -935. Is w a multiple of 37?
False
Suppose -37*h + 154*h - 188955 = 0. Does 18 divide h?
False
Suppose 1860 = 3*j + 5*q - 2*q, -j - 2*q + 615 = 0. Let x = j - -130. Is 85 a factor of x?
False
Let w(p) = 9*p - 12. Let y be w(11). Let c be (-4)/(80/1084) - (-5)/25. Let k = y + c. Is 8 a factor of k?
False
Suppose -3*g = -2*g - 1, s = -5*g + 280. Let i(m) = m + 18. Let h be i(-15). Suppose h*x + s = 929. Is x a multiple of 15?
False
Suppose 7*j + 11*j = 36. Suppose 2*t = 253 - 7. Suppose -3*r + t = 5*i, j*r + 0*i + 5*i - 87 = 0. Does 6 divide r?
True
Let b(p) = -p**3 + 15*p**2 - 17*p + 32. Suppose 0*d = -2*d - 3*q + 13, -24 = -d + 2*q. Let h be b(d). Is (-102)/h + 18/(-90) a multiple of 2?
True
Let h be 21*-4*2/(-6). Let g(c) = -3*c - 12*c**2 - 40 - c**3 + 0*c + 0*c**3 + h. Is 8 a factor of g(-12)?
True
Suppose 321*y = 326*y - 23625. Is y a multiple of 21?
True
Let n be (-556)/(-14) - 2/(-7). Let b = 4111 + -3567. Is b/n + (-4)/(-10) a multiple of 7?
True
Let t(h) be the first derivative of h**4/4 + 44*h**3/3 - 48*h**2 + 65*h + 126. Is 36 a factor of t(-46)?
False
Suppose -5*u = 5*j - 1320, -13*j + 8*j = 4*u - 1325. Suppose 5*p = 5*b - 330, 5*p = 6*b - 2*b - j. Is 4 a factor of b?
False
Let f = -60 - -140. Suppose -3*o = 3*h + 58 - 253, 0 = -h + 2*o + f. Suppose 4*j - k - 280 = 0, -5*k + 350 = 4*j + h. Does 14 divide j?
True
Suppose 25*z + 50799 = 51*z - 19*z. Is z a multiple of 4?
False
Let d = -363 + 179. Let q = d + 118. Let g = q + 120. Does 9 divide g?
True
Suppose -26*w = -22*w - 12. Suppose 12*c = -w*c + 15. Does 15 divide (-31 - -97)*(c + (-3)/(-2))?
True
Suppose 4*t = -q - 5, 9*t + 16 = 2*q + 4*t. Suppose 7*j + q = 31. Suppose b - j*b = -792. Is b a multiple of 24?
True
Let n(q) = q**2 + 10*q + 10. Let c be n(-5). Let z be c/(-3)*(-4 + 3). Is (-593)/z + -2 + (-14)/(-35) a multiple of 12?
False
Suppose -573071 - 93085 = -114*i + 97188. Does 3 divide i?
True
Let p = 73 - 61. Let h be 1/(5/(-2)) - p/(-5). Suppose -h*d + 72 = -262. Is d a multiple of 39?
False
Let u(p) = -10*p**2 + 11*p - 12. Let d(f) = -10*f**2 + 10*f - 10. Let x(a) = -7*d(a) + 6*u(a). Does 15 divide x(2)?
True
Let r(u) = 4511*u**3 - 2*u**2 - 1. Is 14 a factor of r(1)?
True
Suppose 2*t - 3884 = 2*v, 5*t - 3405 = 3*v + 6297. Is 34 a factor of t?
True
Suppose 393 + 1411 = 22*z. Suppose -905 - z = -3*l. Is 36 a factor of l?
False
Let x = 1166 + -751. Suppose 4*k - 149 = x. Is 9 a factor of k?
False
Suppose -w = 2*g - 3 - 0, -2*w = -5*g + 3. Let z be -2 + 2 - g*-4. Suppose 7*i - 2*i - 3*d = 100, -z*i = -d - 80. Is 10 a factor of i?
True
Let a(l) = -26*l**2 - 13*l + 4. Let p be a(2). Let q = 341 + -203. Let w = q - p. Is w a multiple of 11?
True
Let l be (517/55 - 3)/((-4)/(-10)). Suppose -l*a + 1104 = 30*a. Does 7 divide a?
False
Is 0 + 3/(-4) + ((-16022565)/(-12))/61 a multiple of 114?
True
Let q = 188 - 188. Suppose 3*y + 139 - 442 = q. Does 6 divide y?
False
Let l(z) = -204*z - 216*z - 134 + 0 - 110 + 152*z. Does 38 divide l(-5)?
False
Let g be -32*(-27)/33 + (-18)/99. Suppose -a + g + 33 = 0. Suppose -z - a = -2*i, 4*z + 2 = 6. Is i a multiple of 3?
True
Let j = 7218 + -6079. Does 7 divide j?
False
Let h(u) be the first derivative of -31*u**2/2 - 2*u + 710. Let v be (-4)/10 - (-16)/(-10). Is h(v) a multiple of 12?
True
Suppose -1799 = 4*u - 21287. Is 29 a factor of u?
True
Let h be (-128)/(-96)*(5986/4 + -1). Suppose 0 = 2*n - 2*j - 1998, -54*n - j - h = -56*n. Is 34 a factor of n?
False
Let a(b) = 27*b - 39. Suppose 15*d - 28 = 11*d. Let q(f) = 18*f - 26. Let w(p) = d*q(p) - 5*a(p). Does 24 divide w(-4)?
False
Let k(j) = -990*j + 502. Is 43 a factor of k(-14)?
True
Let t(a) = 2*a. Let v(k) = 8*k - 10. Let q(l) = -6*t(l) + 2*v(l). Let y be q(8). Suppose -y*x = -6*x - 138. Is x a multiple of 9?
False
Suppose 0 = 54*d - 50*d - 8. Suppose -2*q + 5*z + 128 = 2*z, -4*q + 224 = d*z. Is q a multiple of 3?
False
Suppose -505