 62 a factor of 2/19 - (-182367178)/12901?
True
Let s = 22033 - 10547. Is 96 a factor of s?
False
Suppose 46*b - 177*b + 110188 = -79*b. Is 18 a factor of b?
False
Let h = -4 - -6. Let z be ((-5019)/(-1912))/((-1)/(-7 - 1)). Is 6/h*742/z a multiple of 13?
False
Let z = -10 + 3675. Is 77 a factor of z?
False
Let t(f) = f**2 + f - 6. Let s be t(-3). Let y(k) = -k + 18. Let r be y(16). Is (-8 - s)*(1 - r) a multiple of 6?
False
Suppose 93*l + 11*l - 474240 = 0. Is l a multiple of 8?
True
Let p be 3018/48 + 2/16. Let m = -240 - -242. Suppose 6 = m*w + 2*q, 0 = 5*w - 3*q + 16 - p. Is w a multiple of 7?
True
Let i(c) = -c + 3. Let o(x) = -1. Let l(s) = i(s) + 2*o(s). Let a be l(7). Let p = a + 37. Is p a multiple of 14?
False
Let v(h) = 8*h - 15. Let a be v(3). Suppose a*z = 5*z - 48. Let j = 116 + z. Is j a multiple of 13?
True
Let x be -3760 + 0*(-4)/(-10 + 6). Is ((-6)/(-39) - x/(-104))*-32 a multiple of 18?
True
Let h(y) = 5*y - 15. Let m be h(4). Suppose -2*x = 6, -2*s + 342 = -m*x - 205. Is s a multiple of 38?
True
Let p(k) = 510*k - 220. Let x be p(-23). Does 6 divide (-9)/21 + (x/(-35) - 4)?
False
Let y = 621 - 339. Let j(h) = 4*h**3 + 19*h**2 - 8*h + 14. Let n be j(-6). Let b = n + y. Does 29 divide b?
False
Suppose r = 3*i + 1086, -9*r = -5*i - 7259 - 2471. Is r a multiple of 12?
True
Let d = 3970 + -3826. Is 57 a factor of d?
False
Let v(p) = -p**3 + 34*p**2 + 56*p + 61. Is 38 a factor of v(32)?
False
Is 39 a factor of 30*(224*4 - 19/722*19)?
False
Let h = 400 + 432. Suppose -7*n + h = -5*n. Is n a multiple of 17?
False
Suppose 0 = 9*m - 0*m + 12387 - 15978. Does 13 divide m?
False
Let z = -95 - -239. Is z a multiple of 16?
True
Suppose 1633 = 3*d + 2*y, -3*d + 132 + 1508 = -5*y. Is d a multiple of 4?
False
Does 39 divide (-4*(-15)/(30/3368))/1?
False
Let p(a) be the first derivative of -4*a**2 + 12*a + 1. Suppose 0 = 24*b + 144 - 24. Is 10 a factor of p(b)?
False
Suppose 15 = -7*a + 12*a. Suppose -m - 2174 = -4*y - a*m, -2177 = -4*y + m. Does 34 divide y?
True
Suppose 4*c = 4*j - 1940, -8*j + 6*j = -10. Let a = -62 - c. Is a a multiple of 22?
True
Let f = -47 + 200. Let i = f - 325. Let a = i + 346. Does 47 divide a?
False
Let u(r) = -2*r**2 - 14*r - 3. Let b be u(-6). Suppose 8 = -5*c + b*c. Is 18 a factor of ((-1)/((-5)/(-4)))/(c/(-180))?
True
Let l = -12 - -17. Suppose 17 = -l*b + 37. Suppose -b*y = -49 - 103. Is 22 a factor of y?
False
Let r be 747/153 - 6/(-51). Let f = r + -5. Suppose f = 39*s - 40*s + 54. Is s a multiple of 27?
True
Let t = -51 - -54. Suppose -t*l + 1004 = -2*y, -5*l + 4*y = -0*y - 1672. Is l a multiple of 28?
True
Let w = -212 + 219. Is ((-5)/w*-132)/(4/42) a multiple of 45?
True
Let c be (3 + 11/(-3))*-6. Suppose c*r - 1985 = -r. Suppose -2*d - 398 = -4*s, 3*d = 4*s - 0*d - r. Is 17 a factor of s?
False
Suppose -37*d = -39*d. Suppose d = 4*s - 12, -5*y + 12 = -s - 465. Suppose 0 = -5*f - f + y. Is f a multiple of 4?
True
Let p = 45 + -297. Let c = p + 3260. Is 4/(-34) + c/136 a multiple of 5?
False
Let l(q) = q**3 + 2*q**2 + 10*q - 8. Let a be l(8). Suppose 33*r + a = 37*r. Is r a multiple of 13?
False
Let z(o) = 7*o - 6. Let r be z(2). Suppose r*m + 139 - 11 = 0. Let h = m - -89. Is h a multiple of 6?
False
Let x be 3/(29556/(-1968) + 15). Suppose 3*p + 2*p + 585 = 0. Let d = p - x. Is 16 a factor of d?
False
Suppose 0 = 2*b + 2*g - 1854, 26*b - 31*b + 4628 = -2*g. Is 46 a factor of b?
False
Suppose 56*i - 35*i - 181650 = 0. Is i a multiple of 28?
False
Let a(r) = -r**3 + 44*r**2 + 153*r - 63. Is 107 a factor of a(24)?
False
Let h(g) = 12*g**2 + 30 + 9*g + g**3 - 16*g**2 - 8*g**2 + 25*g**2. Let l be 0 + -1 - (12 + -1). Is 23 a factor of h(l)?
False
Let l = -519 + 338. Let o = 245 + l. Does 11 divide o?
False
Let w be 40/(-2)*2/(-24)*3. Suppose 3*v - 76 = 5*h, 14 = w*v - h - 76. Does 10 divide v?
False
Let b(m) = 21*m - 181. Let n be b(9). Suppose -n*u + 245 + 171 = 0. Is 13 a factor of u?
True
Let n = -108 - -292. Let g = 322 - n. Does 58 divide g?
False
Suppose 74*q = 78*q - 20. Let a(g) = 6*g**2 + 3*g + 6. Let c be a(-6). Suppose q*s - 2*s = c. Does 12 divide s?
False
Let d(c) = 5*c**2 + 2*c - 24. Let x be d(6). Suppose -2*y = y - z - 146, -4*y + x = 4*z. Suppose 424 = 13*k + y. Is 18 a factor of k?
False
Let j be (-1)/2*(3 - 7). Let c(r) = r**3 - 15*r**2 + 17*r - 40. Let f be c(14). Suppose j*d - 118 = -5*x + d, -f*d - 52 = -2*x. Is 11 a factor of x?
False
Let k(a) = 92*a + 32. Suppose -12*b + 40 = -8*b. Let w be k(b). Suppose -18*v + w = -11*v. Is v a multiple of 13?
False
Suppose -3209*n = -3*g - 3206*n + 35232, 2*n - 10 = 0. Does 28 divide g?
False
Suppose -7*n - 785 - 146 = 0. Let q = -73 - n. Suppose 26*g + q = 31*g. Does 2 divide g?
True
Suppose -302*y + 311*y - 66501 = 0. Does 11 divide y?
False
Let v(o) = 3*o**2 - 8*o - 10. Let y be v(7). Let a = -84 + y. Is 23 a factor of (-182)/(-24)*(0 + -4)*a?
False
Suppose -2*j - 155 = -5*h + 3*j, 0 = 5*h + 3*j - 195. Let g = 38 - h. Suppose -g*x + 9*o = 5*o - 112, -208 = -3*x - 2*o. Is 11 a factor of x?
True
Let u be -1*(-2 - -3)*53 - 1. Let h = u - -36. Let n = h + 32. Is n even?
True
Let x(f) = 2*f**2 + 5*f + 3. Let d be x(-5). Let v(c) = c - 2. Let s be v(7). Suppose -s*q + 74 = -2*q - 2*n, -q + d = -4*n. Is q a multiple of 12?
True
Let h(a) = a**3 + 3*a**2 - 5*a - 10. Let s be h(-3). Suppose s*v - 6 - 39 = 0. Does 6 divide v?
False
Let u be -5 - (-2 + -2402 + 0 + -4). Is 13 a factor of ((-36)/108)/((-1)/u)?
False
Let h(c) = 11*c**2 + 105*c + 78. Does 4 divide h(-22)?
True
Let t(m) = 170*m**3 + 425*m**2 + 5*m + 3. Does 17 divide t(3)?
False
Let t(c) = c**3 + 10*c**2 - 2*c - 21. Let f be t(-8). Let z = f + -10. Does 4 divide z?
False
Suppose 458384 = 42*s - 5*s + 112434. Does 34 divide s?
True
Suppose 4*s + 4 = 2*f + 6, 3*s = -3*f + 15. Suppose 6*h = -s*l + 3*h + 655, 661 = 2*l + 5*h. Is l a multiple of 36?
False
Let g(m) = 45*m**2 - 35*m + 145. Let o be 6 + (-7)/7 - (0 + 0). Is g(o) a multiple of 73?
True
Let n(b) = 8*b + 4. Let d be n(-7). Let u be d*(82/(-24) - 6/(-9)). Suppose -u = -7*t - 45. Is t a multiple of 14?
True
Let f be -5 + 220 + (-5 - -3). Suppose -81 - f = -i. Is i a multiple of 49?
True
Let h(g) = 2*g**3 + 88*g**2 - 252*g + 200. Is 32 a factor of h(-46)?
True
Let a(m) = 127*m**2 + 26*m + 2. Let o(g) = -85*g**2 - 17*g - 1. Let p(w) = 5*a(w) + 7*o(w). Is p(3) a multiple of 11?
True
Let s(i) = 1412*i**2 + 26*i - 23. Is s(1) a multiple of 2?
False
Let g(w) = 299*w - 5263. Is g(116) a multiple of 63?
True
Let k(y) = y**3 - 10*y**2 + 30*y - 2. Let l be k(5). Suppose -l*o = 100 - 721. Is o even?
False
Let t = -195 - -262. Is 7 a factor of t?
False
Let b = -30 + 30. Suppose b = 5*x - 4*y - 28, -x + 3*y + 10 = -0*x. Suppose -x*i = -2*d - i + 61, -5*d = -4*i - 142. Is d a multiple of 6?
False
Let b(x) = -x**3 + 8*x**2 - 15*x + 4. Let f be b(4). Let u(n) be the second derivative of 5*n**3 - 19*n**2 + 25*n. Does 25 divide u(f)?
False
Is ((-3384)/(-30))/(3/30) a multiple of 141?
True
Suppose -14 = -14*i + 7*i. Suppose -2*x - v + 96 = 0, i*v = 3*x - 114 - 37. Is 35 a factor of x?
False
Suppose 0*a = 3*a + 4*j - 170, 160 = 3*a + 2*j. Suppose -2*u - 20 = a. Is 543/21 + (-5)/u a multiple of 26?
True
Suppose -5 = 2*j - 5*t, 4*j + t + 0*t = 23. Let c(o) = 0*o + 1 + j - 9*o. Is c(-2) even?
True
Does 4 divide (-27365)/(-20) - 16 - 1/4?
True
Is 12 a factor of (-6)/4*(-6896)/24?
False
Suppose -8*g - 20 - 36 = 0. Let b = -6 - -6. Does 14 divide b + 2 + (45 - (g - -8))?
False
Let x be (3 - -342) + (-12)/(-4) + -4. Let w = x + -313. Does 14 divide w?
False
Let u(p) = 2*p**2 - p + 2. Suppose -8 = r - 3*f, -f - 1 = -2*r + 8. Let h be u(r). Suppose -2*c + h = -47. Is 14 a factor of c?
True
Suppose 3*w - 4*l = -2, w + 19*l - 23*l = -6. Suppose 4*k = -y + 81, 6*k + 81 = y + w*k. Is y a multiple of 2?
False
Suppose -12 = 4*q, 0 = 5*x + 2*q + 77 + 3424. Does 18 divide x/(-9)*(0 - -6)?
False
Let f(r) = -r**2 - 6*r - 6. Let n be f(-3). Suppose 2*h + 2*a - 736 = -n*a, -2*h = -3*a - 768. Does 45 divide h?
False
Let k = 116 + -78. Let z = 38 - k. Does 6 divide z - 4/10 - 1708/(-70)?
True
Suppose -10704 = -t + w, -t + 678 = -4*w - 10008. Does 63 divide t?
True
Let u be ((-11)/((-44)/(-552)))/((-8)/(-4)). Let i(p) = 3*p**2 + 14*p + 12. Let l be i(-9). Let m = l + u. Does 12 di