l)*4/1?
True
Let g(m) = 6*m**2 - 10. Let x be (10/((-80)/(-36)))/(1/2). Suppose 0 = -x*c + 18 + 9. Is 22 a factor of g(c)?
True
Let l(k) = -k**2 - 2*k + 15. Let c = -62 + 65. Let i be l(c). Suppose i*u - 68 = -4*u. Is 11 a factor of u?
False
Let i = -23590 - -33178. Does 4 divide i?
True
Let w = 2794 + -1656. Suppose w + 87 = 7*q. Is 26 a factor of q?
False
Suppose -152*m + 226*m = 505494. Is 25 a factor of m?
False
Let w be (1/3)/(2/18). Let t be (-372 + -2 + w)*1. Let i = 594 + t. Is i a multiple of 14?
False
Let o = -599 - -591. Does 21 divide 18 + 60/o*(-8)/20?
True
Let p(d) = -35*d - 61. Let j be p(-31). Suppose j = 2*b + 2*o, 5*o = -4*b - 107 + 2157. Is b a multiple of 17?
True
Let x(o) = 12*o + 108. Let g be x(-3). Let c = g + 1035. Is 23 a factor of c?
False
Let b = 2772 - -1575. Is 69 a factor of b?
True
Let n = -146 + 1305. Does 3 divide n?
False
Suppose -4*g = -31 + 11. Suppose 0*w = -2*c + g*w - 14, c = -w. Is 5 a factor of ((-125)/(-15) + c)*3?
False
Let y be (-233)/(-3) - (2 + 28/(-12)). Let f = y - 79. Does 4 divide (f - 2/4)*406/(-21)?
False
Let j(o) = 8*o + 2. Let l be j(2). Let y = 20 + l. Suppose p + 2*g = g + y, 4*p - 2*g = 152. Is p a multiple of 10?
False
Let v(q) = 3*q + 357. Suppose 0 = -63*a + 65*a. Is 51 a factor of v(a)?
True
Suppose -3*x - 5*l = -l - 8, -5*x + 2*l + 22 = 0. Suppose 5*t = 4*m + 1390, -x*t + 1420 = t + 2*m. Is t a multiple of 34?
False
Let z(r) be the third derivative of 13*r**7/5040 - r**6/120 + r**5/20 - 12*r**2. Let p(c) be the third derivative of z(c). Does 17 divide p(6)?
False
Let b(t) = -4*t**3 - 3*t**2 + 6*t - 19. Let p be 225/(-33) + 2 + (-8)/44. Is 22 a factor of b(p)?
False
Is 34 a factor of (-4)/(-5) + 710511/555?
False
Suppose -4*l + 77 + 63 = 0. Let y = 4070 + -4080. Is (44/(-7))/(y/l) a multiple of 11?
True
Suppose 10 = 2*m - m. Suppose 108 = -m*j - 1362. Let f = -98 - j. Is f a multiple of 7?
True
Is (25 + -47 - -17)/((-10)/2614) a multiple of 4?
False
Suppose -2*r - 9 = -13, -3*r = 2*h - 38. Suppose 25*u = h*u + 9027. Is u a multiple of 59?
True
Suppose 70291 = -28*y + 170083. Suppose -4*n = 7*n - y. Is 18 a factor of n?
True
Let r = 370 - 104. Let o = -206 + r. Is o a multiple of 9?
False
Let v = -46 - -23. Let o = -18 - v. Suppose 4*w + 2*m - 660 = -3*m, o*w + 5*m - 820 = 0. Does 10 divide w?
True
Let j be 680 + (8/(-48) - (-11)/(-6)). Suppose 18*x = 12*x + j. Does 8 divide x?
False
Let k = 3989 + -1394. Does 22 divide k?
False
Let f(t) be the second derivative of 2*t**3/3 - 33*t**2/2 - t. Let n = 167 - 154. Is 14 a factor of f(n)?
False
Suppose 108 = -42*j + 33*j. Is (-8)/j + 1 + 1970/6 a multiple of 9?
False
Suppose 34508 = 4*o + u + 3*u, 2*u + 34556 = 4*o. Does 5 divide o?
True
Suppose -3*x + 0*v = -4*v - 111, 5*x - 217 = -4*v. Suppose x*w - 1368 = 33*w. Is w a multiple of 3?
True
Is (-2)/(-5) - (-5)/50*73396 a multiple of 17?
False
Suppose 0 = -q - 5*j - 10, -11*j - 22 = -q - 8*j. Suppose 0 = 11*p + q*p - 13524. Is 8 a factor of p?
False
Suppose -3309 = -14*p + 1647. Is 11 a factor of p?
False
Let o = -51 - -53. Suppose 0*w + 3*w + 5*p = 46, -o*w - 4*p = -32. Is w/15*(27/1 - -3) a multiple of 6?
True
Let x(d) = -d**3 - 6*d**2 + 5*d - 39. Let l be x(-9). Suppose 4*p - 141 = -a + l, 4*p + 540 = 2*a. Is 31 a factor of a?
False
Let f = -17 + 24. Suppose 5*i + 3*q = 492, -i = f*q - 3*q - 112. Is 12 a factor of i?
True
Let v be -2 + 10 - (5 + 3). Let n(u) = u**3 - u**2 + 3*u + 34. Is n(v) a multiple of 34?
True
Is 174 a factor of 1987*6 - ((-3)/(-2))/(54/(-180))?
False
Suppose 1911 = d - 105*u + 102*u, 4*u = d - 1918. Is 7 a factor of d?
True
Let z = -20 + 12. Let l(r) = -3*r + 14. Let y be l(z). Suppose -v - y = -x + 89, 0 = 2*x + 5*v - 282. Does 33 divide x?
False
Let p = -33 + 36. Let l be p - (-17 - 1 - (-1 - 1)). Is 22 a factor of l + (-5)/(15/(-9))?
True
Suppose 5*t - 523 - 1832 = 0. Suppose p - t = -4*n + n, 3*p = 4*n + 1465. Is p a multiple of 21?
True
Suppose -27*v + 88*v - 1829520 = -19*v. Is v a multiple of 21?
True
Let t = 12206 - 9083. Is t a multiple of 9?
True
Let g(q) = 11*q**2 - 6*q + 42. Let m be g(9). Suppose 0 = -2*v + 1137 + m. Is 36 a factor of v?
True
Let g = -58 + 72. Suppose g*m - 9*m - 2100 = 0. Does 14 divide m?
True
Suppose -5*q - o = -0*q - 2645, 2*q + o - 1061 = 0. Let u = 614 - q. Is 43 a factor of u?
True
Let w(x) = 9*x - 129. Let k be w(13). Is 10 a factor of (-840)/(-9) - (-4)/k?
False
Let w(t) = 75*t - 448. Let d(q) = -74*q + 449. Let k(z) = -5*d(z) - 4*w(z). Is 38 a factor of k(9)?
False
Let x be (36/10)/((-4)/(-10)). Suppose -g + 5 = -3*b, b - 190*g = -187*g - 15. Suppose x*d - 2079 = -b*d. Is 10 a factor of d?
False
Suppose -26*q + 4624 = -10*q. Let b = q + -87. Is b a multiple of 13?
False
Let m(t) = -4*t**2 - 22*t - 59. Let u(w) = 9*w**2 + 44*w + 118. Let f(z) = -7*m(z) - 3*u(z). Let r be f(-19). Does 26 divide (r - 1) + (189 - 5)?
False
Suppose 7 = 3*v + w, -v = 4*v + 4*w - 7. Is 41 a factor of v/(0 - -3)*(3 - -145)?
False
Let p be -6 + 15 - 3/((-3)/2). Suppose 6*m - p*m + 30 = 0. Is (3/m)/((-4)/(-40)) a multiple of 3?
False
Let j(n) = 1031*n**2 - 4*n - 3. Let g be j(-1). Let f = g + -600. Is 3 a factor of f?
True
Suppose 5*c = 4*q - 19, 2*q = -q + 3*c + 15. Let k(d) = 3*d - 5 + 21 + 10 - 13. Is 15 a factor of k(q)?
False
Suppose -2*q - 6422 = -2*f, 2*f + 248*q - 6373 = 243*q. Does 4 divide f?
True
Suppose 4*n - 2*r - 2878 = 8820, 0 = 5*r - 35. Does 16 divide n?
True
Let f be (151 - (-5 - -4))*11. Suppose 57*a = 38*a + f. Does 8 divide a?
True
Let b be 13/(-26)*2*-4. Let t = 109 + -104. Suppose -180 - 461 = -b*z - t*a, -z + 162 = 3*a. Does 36 divide z?
False
Let z(l) = -5*l + 11. Let k be z(3). Let o be k/(16/(-44)) + (2 - 3). Suppose 0 = o*d - 2*d - 200. Does 11 divide d?
False
Suppose -4*m + 996 = -0*d + d, 0 = -d + 4. Let a = 410 - m. Let x = a - 90. Is x a multiple of 24?
True
Let u(g) = -3*g**2 - 17*g + 28. Let d be u(-16). Let p = 848 + d. Suppose p = n + 3*n. Is n a multiple of 17?
False
Suppose -4*p = -2*d + d + 34, 0 = -2*d + 5*p + 62. Let x be (13/d)/((-177)/88 - -2). Let b = 60 + x. Is b a multiple of 16?
True
Suppose 2*j - 26 = m + 3*m, -4*m - 5*j = -9. Let l be (0 - 1) + 0 - m. Suppose 2*i = 3*i - l*b - 46, 3*i - 3*b - 108 = 0. Is 23 a factor of i?
False
Let n(t) = 2*t + 17. Suppose w - 116 = -3*w + 4*b, 4*b = -2*w + 70. Is 2 a factor of n(w)?
False
Suppose -2*q + 15 = q, 158 = 3*j - 2*q. Let x = -5 - -81. Let k = x + j. Does 33 divide k?
True
Suppose 24*d = 20*d - 68. Let c(k) = -k**3 - 14*k**2 + 24*k + 18. Does 53 divide c(d)?
True
Let k(s) = 14*s**2 + 88*s + 36. Does 126 divide k(-23)?
True
Suppose 5*z = -4*y + y - 309, 5*y + 179 = -3*z. Suppose -2*n + d = -6, -n + 13 = 5*d - 12. Let q = n - z. Is q a multiple of 25?
False
Let w(g) be the second derivative of -g**5/20 - g**4/4 + g**3/6 + 11*g**2 + 107*g + 2. Does 21 divide w(-6)?
False
Suppose -u - 2 + 8 = 0. Is 121/(7*u/168) a multiple of 6?
False
Suppose 7*b - 14*b = 609. Let o = 174 + b. Is o a multiple of 23?
False
Let n be 31 + 9 + 1*-5. Is 2135/n - 1*-1 a multiple of 15?
False
Let u(d) be the second derivative of d**4/12 - d**3/6 + d**2/2 - 23*d. Let p be u(-2). Suppose -p*g + 606 = 144. Does 22 divide g?
True
Let j = 22855 - 16131. Is 41 a factor of j?
True
Is 43 a factor of 4/50 - (-5)/125*19373?
False
Let o(y) = y + 23. Let b be o(0). Let f be (19 - b) + 5 + 1. Suppose f*j + 11 = 129. Does 10 divide j?
False
Is (-7744)/(-160)*(-19600)/(-20) a multiple of 77?
True
Suppose s + 4215 = -2*m + 22942, -2*m = -s - 18729. Is 42 a factor of m?
False
Suppose 1646 = 2*t - f, -3*t - 4*f - 285 = -2765. Suppose z + 152 - t = 0. Is z a multiple of 48?
True
Let g = -5968 + 10968. Is 10 a factor of g?
True
Suppose 0 = -4*v - 2*q + 6, -3*v + 0 = -2*q - 8. Suppose v*c - 2*g - 4348 = -950, 6793 = 4*c - 3*g. Is 16 a factor of c?
True
Suppose 2*r = -3*b + 7, 0 = b - 5 + 2. Is r/1 + -3 + (-311)/(-1) a multiple of 21?
False
Let k(w) = w**3 + 23*w**2 + 25*w - 30. Let b be k(-21). Let y = b - 147. Is 10 a factor of (y/21)/((2/7)/2)?
True
Let m(u) = 30*u - 655. Does 112 divide m(87)?
False
Let r = -528 + 489. Let l(o) = o**3 + 41*o**2 + 58*o - 11. Is l(r) a multiple of 16?
False
Suppose 1176 + 1339 = h. Suppose 690 - h = -4*t + l, -3*t = -l - 1368. Is 16 a factor of t?
False
Let u be -3 - (1