multiple of 2?
True
Let p = -744 + 520. Is (-308)/(-6)*(-384)/p a multiple of 3?
False
Suppose -4*z + 5*u = -389, 0 = 3*z + 4*u - 3*u - 268. Let x = -69 + 118. Let y = z - x. Is 19 a factor of y?
False
Let i = 26 + -21. Let z(y) = -y + 7. Let p be z(i). Suppose -p*k + 3*k = 11. Is k a multiple of 2?
False
Let o(x) = x**2 + 14*x + 34. Let b be o(-16). Let t = 475 - b. Is t a multiple of 48?
False
Let l = 180 - 124. Suppose l*f = 54*f + 32. Is 4 a factor of f?
True
Is 117 a factor of (351*-1)/(-2 + -6 + 7)?
True
Let f(p) = 62*p + 1727. Is 2 a factor of f(0)?
False
Suppose 9*t + 52 = 7*t. Let q be ((-69)/(-46))/(2 - t/(-16)). Suppose -1578 = -4*l + 5*h, 3*l - h = -q*h + 1197. Does 57 divide l?
False
Suppose 0*o - 30 = -j + 3*o, 76 = 2*j + 2*o. Let i = -30 + j. Let z(g) = -g**3 + 7*g**2 + 2*g - 13. Is 5 a factor of z(i)?
True
Let y(o) = o + 24. Let p be y(-6). Let t(b) = 3 + 13*b**2 + p*b**2 - 6*b - 18 - 29*b**2. Is t(8) a multiple of 6?
False
Suppose 32*b = 166761 + 593175. Is 20 a factor of b?
False
Suppose 0*y = -y - j - 11, 2*j - 62 = 4*y. Is 220*(7 + y/10) a multiple of 16?
True
Let f = 43 + -65. Let b = f - -27. Suppose 0 = b*m - m - 3*y - 75, 3*m + 2*y - 52 = 0. Is m a multiple of 18?
True
Suppose -594*p = -12169407 - 4919973. Does 91 divide p?
False
Let h(l) = l**2 + 9*l + 9. Let r be h(-6). Let p = 14 + r. Suppose p*a - 58 = -3*m, -3*m + 7*m - 2*a - 34 = 0. Is m a multiple of 3?
False
Suppose 8 = 13*h - 9*h. Suppose -10*p = -h*p. Suppose p = 6*i - 831 - 183. Is i a multiple of 13?
True
Let c = 54 + 3. Let m = c + -57. Suppose -4*u + 496 = -4*i, 3*u + 2*u - i - 636 = m. Is 22 a factor of u?
False
Suppose 0 = -7*p - 258 + 300. Suppose -p*d = -2*d - 1280. Does 10 divide d?
True
Suppose 2849 = 23*m - 6972. Let w = 445 - m. Is w even?
True
Let f = -3269 - -3324. Is f a multiple of 5?
True
Let c(h) = -h**2 + 15*h - 17. Let f be c(15). Let u = 9 + f. Does 9 divide (-36)/(-1)*u/(-6)?
False
Let f = 1356 + -755. Suppose 0 = -k + 2*u + 371, -k - u + f = 233. Is 41 a factor of k?
True
Let h(a) = a**2 + 8*a + 5. Let o be h(-8). Suppose -o*d + 30 = m - 2*d, 3*m - 3*d = 54. Is m a multiple of 3?
True
Suppose -4*i + 10*i - 828 = 0. Let k = 484 - 286. Let t = k - i. Is 15 a factor of t?
True
Let n = -309 + 379. Suppose -p = -7*w + 8*w - n, -10 = -5*w. Is 2 a factor of p?
True
Suppose 4*z + 144 = 5*s, -3*s = 2*s. Let x be (1/(-2))/(9/z). Suppose -r + x = -4*l, l = -3*l + 12. Is r a multiple of 2?
True
Suppose 4*k - 38215 = s, s + 14725 - 5166 = k. Is 12 a factor of k?
True
Suppose 4*y + 3*n - 9040 = -0*y, -5*y - 2*n = -11293. Let i = y - 1537. Is 10 a factor of i?
True
Suppose -20 + 12 = -8*c. Is 7 a factor of (c*(-774)/15)/(4/(-10))?
False
Let i(o) be the third derivative of o**4/24 + 27*o**3 + 32*o**2. Is 17 a factor of i(-9)?
True
Suppose -u + 2*u = -2. Let m be (-14)/u - 3*1. Suppose -2*i = 5*d - 230, d + 3*d + 432 = m*i. Is 10 a factor of i?
True
Suppose 0 = 5*u - 56*u - 22*u + 610864. Is 125 a factor of u?
False
Let c(t) = -3*t - 7. Let q be c(-4). Suppose 4*g = -a + q, 0 = 4*a - 8*a - 5*g + 20. Suppose -u + 0 = -2, d + a*u - 21 = 0. Is d a multiple of 2?
False
Let j(f) = 3*f**2 + f. Let a(k) = -17*k**2 + 9*k + 6. Let b(s) = -a(s) - 2*j(s). Is 41 a factor of b(8)?
False
Let v = -9679 + 18791. Does 32 divide v?
False
Let v = 17 - 15. Let j be 2880/(-39) + -1 + v/(-13). Is 2/3*j/(-10) a multiple of 5?
True
Let z = -629 - -1420. Is 7 a factor of z?
True
Suppose -9 = -5*x + 4*n, 3*x + 6*n - 27 = 3*n. Suppose 0 = x*w - 4*w - 4*p - 184, 0 = 4*w + 4*p - 776. Is w a multiple of 52?
False
Is 74 a factor of 2864120/504 - (3 + (-58)/18)?
False
Let h(r) be the second derivative of r**5/20 + 2*r**4/3 - r**3/2 - 5*r**2 + r. Let a = -8391 - -8385. Is 40 a factor of h(a)?
True
Let b(q) be the third derivative of q**5/30 + 11*q**4/8 - 7*q**3/6 + 12*q**2 - 2. Is b(-22) a multiple of 5?
True
Is (92/10)/(-1)*(183 - 568) a multiple of 23?
True
Suppose 1540 = 4*w + 4*d, -w - 3*d = -559 + 168. Let k = -226 + w. Is 39 a factor of k?
True
Suppose -5*g - 36 = -14*g - 9*g. Let m be 0/(3 + -1 - 0). Suppose g*i + 2*i = l - 76, -3*l + i + 250 = m. Is 6 a factor of l?
True
Let h(g) be the second derivative of -g**3/3 + 4*g**2 + 28*g. Let y be h(1). Is 20 a factor of 63 - (y/2 + 0)?
True
Let g(d) be the first derivative of -2*d**3 + 10*d**2 - d + 18. Let u(o) = o - 1. Let s(p) = -g(p) + 2*u(p). Does 10 divide s(5)?
False
Suppose -8*i + 624 = -24*i. Is 2 a factor of (-189)/i + (-5)/(390/(-12))?
False
Let z = -6340 + 7116. Is z a multiple of 107?
False
Suppose -3*g + 57380 = 2*g. Is 38 a factor of g?
True
Let n(f) be the second derivative of f**5/20 + 7*f**4/12 - 3*f**3/2 + 5*f**2 + f. Suppose m + 4*m + 3*b + 22 = 0, -3*b = 3*m + 6. Is 3 a factor of n(m)?
True
Suppose -5*f + 9 = 4, 0 = -2*q + 5*f - 13. Does 15 divide 1803/12 - 4/(-64)*q?
True
Suppose -51*l - 25*l + 411431 = 131903. Is 81 a factor of l?
False
Is 15 a factor of -4*1/(17/((-169473)/12))?
False
Does 211 divide (13 + -12)/(7*5/435715)?
True
Let u = 3532 + -1996. Suppose 2*b + u = 4*w, -387 = -w + 4*b - 2*b. Is w a multiple of 42?
False
Let y be -5 - 0 - 1/(-2)*-2. Let x be 37 - (y - -2) - (1 + -2). Let i = x - 23. Does 5 divide i?
False
Let u(j) = -2*j**2 - 23*j - j**3 - 2*j**2 + 0*j**2 + 39*j - 8. Suppose 13 = 3*f - p + 34, 3*p + 25 = -2*f. Does 13 divide u(f)?
False
Let l(v) = 2*v**2 + 10*v + 17. Let j(m) = 6*m**2 + 31*m + 52. Let f(u) = -3*j(u) + 8*l(u). Let s be f(-6). Is 14 a factor of (s/(-5))/(8/(-40))*-7?
True
Let k(h) be the second derivative of -h**4/12 - 7*h**3/3 - 41*h**2/2 + 25*h. Let y be k(-17). Let r = y - -153. Is r a multiple of 3?
False
Let v = 438 - 263. Suppose 10*t + 35 = v. Is t a multiple of 3?
False
Suppose 5*b - 19965 = -5*y, 2453 + 5518 = 2*y - 3*b. Is 105 a factor of y?
True
Let f = 24638 - 19802. Is 5 a factor of f?
False
Let w(z) = 2*z - 101. Let c be w(18). Let k = 2138 + -886. Does 7 divide 10/c + k/26?
False
Let b = 5195 + -4073. Is 102 a factor of b?
True
Suppose 0*d + d - 11 = 0. Let s(h) = h**2 - 10*h + 12. Let k be s(10). Suppose -d*w = -k*w + 6. Is w a multiple of 2?
True
Let t = 3432 + 62889. Does 214 divide t?
False
Let i(f) = -f**3 + 49*f**2 + 6*f - 880. Does 110 divide i(32)?
True
Does 286 divide 6/1 + (1 - -1) + 3044/2?
False
Is 17 a factor of 342/1881 + (-493674)/(-33)?
True
Suppose 2*v - 20293 = 6797. Is v a multiple of 45?
True
Suppose 0 = 5*x + 3*r - 8416 - 797, -5*x + 5*r = -9245. Suppose -5*t + 458 + x = 4*v, -5*t + 1159 = 2*v. Is 38 a factor of v?
False
Suppose 4100 = 7*m + 551. Let h = -79 + m. Does 16 divide h?
False
Suppose 2*x = -4*a + 44, -4*a + 9*x = 4*x - 44. Let v = 18 - a. Suppose -v*b = -5*b - 38. Is 16 a factor of b?
False
Let o(m) = 5*m + 3*m - 10 + 8*m**2 + 0*m + 24*m. Does 6 divide o(-8)?
True
Suppose -11 = t - 2*l, -5*t + 5*l = 3 + 27. Is 12 a factor of t/((-3)/1179) + (1 - 6)?
False
Let y be (-8)/10*25/(-10). Suppose i + y*g = -i - 2, -3*i + 4*g + 32 = 0. Suppose 0 = -5*j - b + 4*b + 745, -i*j + 579 = b. Is j a multiple of 39?
False
Let w be -1 - 780/(-18)*33. Is 43 a factor of (-4)/(-18) - w/(-9)?
False
Let m = 223 + -110. Suppose -517 = -2*d + m. Is d a multiple of 12?
False
Suppose t - a - 14341 = 0, -2*a - 16610 = -t - 2271. Does 150 divide t?
False
Let x(b) = 4*b**2 + 17*b - 77. Let h = 52 - 67. Is 5 a factor of x(h)?
False
Let h(t) = 9*t + 138. Suppose -12*z = -14*z - 16. Is h(z) a multiple of 2?
True
Is (-110)/(-140)*65 + 13/(-182) a multiple of 24?
False
Let k be (14 - -4)*3/6. Let q be (-12)/k + 38/6. Suppose -2*p + 4 = 0, 0 = -2*c - q*p - 31 + 77. Is c a multiple of 9?
True
Let c(x) = -235*x + 232. Does 13 divide c(-15)?
True
Let o be (-4)/(((-49)/70)/7). Suppose 0 = -45*l + o*l + 1000. Is l a multiple of 40?
True
Let b(m) = -m**3 + 2*m**2 + 3*m. Let n be b(5). Let k be (-144)/n*(-40)/(-3). Suppose k = 20*c - 19*c. Does 6 divide c?
False
Suppose 19*c - 1635 = 14*c. Suppose -k - a = -101, 5*k - c = 2*k + 5*a. Suppose -6*w = -2*w - k. Is w a multiple of 15?
False
Suppose -46 = -t + 4*c, 2*t - 80 = 3*c + 7. Let q = -39 + t. Suppose g = -q + 21. Does 4 divide g?
False
Suppose 205399 + 23081 = 56*w. Is w a multiple of 10?
True
Let w be -2 + 4 + -1 - (4 - 4). Let b(v) = -17*v + 5. Let o be b(w). Let q(c) = c**2 + 14*c + 51. Is q(o) a multiple of 27