e v(-7). Suppose q = 3*a + a. Is 7 a factor of a?
True
Suppose 37 = -x + 41. Is (3/(18/x))/(2/108) a multiple of 3?
True
Suppose 25 = 5*y, 0 = 5*l + y + 3*y + 125. Let x = l + 40. Is x a multiple of 11?
True
Let x = -36 + 34. Let o be (-167)/(-6) - x/12. Suppose 9*s + o - 361 = 0. Is s a multiple of 18?
False
Let r(d) = -d**2 + 29*d - 64. Is 9 a factor of r(25)?
True
Suppose -3*m = -7*m + 656. Is 15/10*2/6*m a multiple of 11?
False
Is 22 a factor of ((-4)/(-10))/(-2 - (-6273)/3135)?
True
Let x(g) = 2*g**2 - 5*g - 25. Let q be x(-6). Is (q - (-2)/(-1)) + 12 + -12 a multiple of 23?
False
Suppose m - 6 = 3*i, -2*m - 2*m + 2*i = -4. Suppose -7 = -2*a + 3*r, -a - a + 5*r - 3 = m. Does 11 divide a?
True
Let l(p) = p**3 + 6*p**2 - 11*p - 7. Let v be l(-7). Suppose v + 35 = w. Let r = 81 - w. Is r a multiple of 18?
False
Is 20/130 + 106655/65 a multiple of 28?
False
Let s = 13 + -20. Let r = 9 + s. Suppose 7*m - 2*m + r*u = 114, 4*m = -4*u + 96. Is 14 a factor of m?
False
Let o(j) = 2*j**2 + 38*j. Let w(f) = f**2 + 39*f - 1. Let i(l) = 4*o(l) - 3*w(l). Is i(-10) a multiple of 17?
True
Let c(q) = -7*q**3 - 7*q**2 + 2*q - 4. Let j(w) = -w**3 - w. Let a(s) = -c(s) + 6*j(s). Is 19 a factor of a(-7)?
False
Let c = 99 + -99. Suppose w - 185 + 0 = c. Is 10 a factor of w?
False
Suppose -2*r - 4*o + 36 = 0, 2*o + 2*o + 104 = 5*r. Suppose 3*s - 2*s - r = 0. Is s a multiple of 5?
True
Let o(p) = -p**2 + 2*p - 1. Let z be o(3). Let g(i) = 8*i + 2 - 50*i**2 + i**3 + 57*i**2 - 6*i. Does 14 divide g(z)?
True
Let t be ((18 - 4)/(-2))/(-1). Suppose t*b = 115 + 165. Is 6 a factor of b?
False
Suppose -9418 = -130*v + 113*v. Is v a multiple of 10?
False
Suppose -8*k + 4*k + 5*h + 1136 = 0, 0 = k - h - 285. Is 2 a factor of k?
False
Let v be 0/2 - (-4 - -5). Let u be v/2*(-1 + 1). Let i(c) = c + 3. Is i(u) a multiple of 3?
True
Let o(m) = -3*m + 39. Let z(w) = -5*w + 58. Let x(v) = 8*o(v) - 5*z(v). Let q = -4 + 4. Does 13 divide x(q)?
False
Let r = 5 + -5. Suppose -3*b = -b. Suppose -5*c - 20 = r, b*i = 5*i - 5*c - 55. Is 3 a factor of i?
False
Is (2/3)/((-4)/4644*-2) a multiple of 43?
True
Let m(p) = 373*p + 500. Is m(5) a multiple of 15?
False
Suppose 4*c = 4*t + 88, -c - c - 5*t + 16 = 0. Suppose -326 = -4*j - c. Is j a multiple of 13?
False
Let w(p) = 3*p**2 - p - 149. Does 77 divide w(-22)?
False
Let c be (0 - 2)*(-6)/1. Let u be 3 - -1*(c - 1). Let k = u - -16. Is 12 a factor of k?
False
Is 2 a factor of ((-90)/(-24))/(3/76)?
False
Suppose 131 - 21 = -2*l. Let t = 112 + l. Does 18 divide -1 + (-4)/((-12)/t)?
True
Let q be (-10 - 8)*(-9 - 0). Suppose 46 = v - 0*v - l, 3*v + 5*l = q. Does 15 divide v?
False
Let x = 24 + -19. Suppose u = x*u - 48. Is u a multiple of 5?
False
Is (5 - 572)/((-2)/4) a multiple of 28?
False
Suppose 8*h - h - 21 = 0. Suppose 17 + h = 5*u. Is u even?
True
Is ((-18)/8*-3)/(1/20) a multiple of 3?
True
Is (16/(-48))/(((-10)/(-4938))/(-5)) a multiple of 26?
False
Let t(m) be the second derivative of m**3/3 - 17*m**2/2 + 6*m. Let s be t(11). Suppose d + y - 17 = 0, 0 = s*d + 6*y - 4*y - 94. Is 15 a factor of d?
False
Let d(h) = 2*h**3 + 11*h**2 + 6*h - 6. Let x be d(-7). Does 12 divide x/(-2) + 6/(-12)?
False
Suppose -14*i = 3*i - 11934. Does 27 divide i?
True
Let c(u) = -u**3 + 4*u**2 + 4*u + 7. Let p be c(5). Let l be (-1)/p + (-50)/(-4). Is 11 a factor of (-985)/(-15) + 4/l?
True
Let y(b) = -3*b + 3. Let w(r) = 0 - r**2 - 5 + 3*r**2 - 3*r**2. Let m be w(0). Is 7 a factor of y(m)?
False
Let b(j) = j**2 + 6*j - 3. Let o be b(-7). Suppose o*r - 3*v = 30, r + 0*v + 2 = -4*v. Suppose 4*s - 2*w = 88, r*s + 3*w - 66 = 3*s. Is 10 a factor of s?
False
Let p be 1948/16*4 - -3. Suppose 3*r = -4*o + 384, 4*r - 5*o = -3*o + p. Is 31 a factor of r?
True
Let m be 2/5*5*(-61)/2. Let h(w) = -96*w - 1. Let k be h(-1). Let j = k + m. Does 12 divide j?
False
Let n = 253 + -183. Is 7 a factor of n?
True
Let l be (-11)/(-11)*1/1. Let j be l*(4/4 - -19). Suppose -2*b = -3*v + 190, 0 - j = -5*b. Is v a multiple of 22?
True
Let z(q) = q**3 + 17*q**2 - q - 8. Let v be z(-17). Suppose n - 4 = -3*n. Let c = v - n. Does 2 divide c?
True
Suppose -3*v + 10 = 1. Suppose 0 = -3*w + q + 53, -3*w + 87 = 2*w - v*q. Is w even?
True
Let l(x) = x**3 - 6*x**2 - 2*x - 5. Let k be l(7). Let g = 120 - k. Does 10 divide g?
True
Suppose -15*t - 7784 = -29*t. Is 10 a factor of t?
False
Let b(h) = -h**2 - 24*h - 91. Is b(-6) a multiple of 17?
True
Let h = 1282 - -371. Is h a multiple of 29?
True
Let j(y) = 8*y. Let x be 25/10*(-12)/(-5). Does 16 divide j(x)?
True
Suppose -9 - 300 = -3*o. Is 26 a factor of o?
False
Let y(c) = 2*c**3 - 62*c**2 + 68*c - 30. Does 15 divide y(30)?
True
Let f be -3 - -1 - (-7 - 4). Suppose 5*g - 5*k + 10 = 0, 3*g - 13 = -4*k + f. Is 19 a factor of g/(0 + 2/28)?
False
Let g(r) = -r**3 + 3*r**2 + 12*r - 3. Let c be g(5). Suppose c*x - 35 = 2*x. Is 7 a factor of x?
True
Suppose 0 = 9*j - 476 - 478. Suppose j = 3*r - 2. Is r a multiple of 4?
True
Let k = 17 - 17. Suppose k = 4*m - 4*d - 268, -m + 85 = 3*d + 2*d. Is 32 a factor of m?
False
Suppose -5*w + 10 = 0, w = 2*d - 3*w - 34. Suppose -37*h - d = -38*h. Is h a multiple of 7?
True
Let p be (-2840)/35 + -1 + 24/21. Is 17 a factor of ((-6)/2 - p) + 0?
False
Suppose -148*f + 159*f - 22880 = 0. Is 10 a factor of f?
True
Let a(j) = 14*j - 1. Suppose -l = -0*l - 5. Let q(k) = -29*k + 2. Let z(t) = l*a(t) + 3*q(t). Does 26 divide z(-3)?
True
Let p be 4/12*0*(-1)/(-3). Suppose 6*y - 387 + 9 = p. Is y a multiple of 8?
False
Does 36 divide (7*3 - 1)/((-274)/(-13837))?
False
Suppose 0 = -k + 3, -2*b - 2*k - 46 = -4*b. Let a be 12/9*(9 + -12). Let y = b - a. Is 10 a factor of y?
True
Let w be 6/(-27)*-6*15. Suppose 6*d - w = d. Suppose -d*j + 5*a + 9 + 52 = 0, 5*j - 4*a = 65. Is 9 a factor of j?
True
Let d(j) = -j**2 + 7*j + 5. Let f be d(6). Let w(r) be the second derivative of r**4/12 - 11*r**3/6 + 27*r**2/2 + 129*r. Does 10 divide w(f)?
False
Let x(b) = b**3 - 5*b**2 + 2*b - 9. Let o be x(5). Is (3 - 0) + -2 - o*-44 a multiple of 17?
False
Suppose 5*u = 6*u - 7. Suppose u*h = 13*h - 60. Is 5 a factor of h?
True
Let t(w) = w + 9. Suppose -3*f + 12 = -0*f. Let c = f + 3. Is 8 a factor of t(c)?
True
Let v(q) = -q + 23. Let r be v(-6). Suppose 0 = r*s - 31*s + 26. Is 3 a factor of s?
False
Suppose 4*f - 213 + 53 = 0. Is 8 a factor of f?
True
Suppose 3*i + 115 = 2*j, -2*i + 6 = -0*i. Is 19 a factor of -12 + 13 + j/1?
False
Let k(f) = -3*f - 76. Let x be k(-19). Let t(h) = -h**3 - 5*h**2 - h - 7. Let w be t(-5). Does 22 divide (x - -15)/(w/44)?
True
Suppose 2*m - 4*c = -12, -2*c + 0*c + 4 = -2*m. Suppose m*o - 4*q - 202 = -0*q, 4*o + 4*q - 440 = 0. Is o a multiple of 27?
False
Let t(w) = -w**3 - w**2 - w - 1. Let o(m) = -16*m**3 - 3*m**2 - m - 1. Let n(q) = o(q) - 2*t(q). Is 7 a factor of n(-1)?
False
Let q be (-3)/(-2) - (-456)/(-16). Let l(u) = -u**2 - 29*u + 5. Is 6 a factor of l(q)?
False
Is (-2)/(-6)*(42 - -99) even?
False
Suppose 0 = -2*q - 2*c - 38, -2*q + 5*c = -4*q - 35. Is 111 - ((-2)/(-7) + q/(-28)) a multiple of 11?
True
Is 4 + (10113/3)/1 a multiple of 9?
True
Suppose -q + 51 = 31. Is 4 a factor of q?
True
Let t(d) be the first derivative of -32*d**2 + 10*d + 13. Does 50 divide t(-4)?
False
Let u(m) = 15*m**2 + 9*m + 9. Let i(w) = -8*w**2 - 5*w - 5. Let q(g) = 9*i(g) + 5*u(g). Let h be q(-1). Suppose -h*n - 4 = -52. Is n a multiple of 8?
True
Suppose 2584 + 4625 = 27*o. Is o a multiple of 3?
True
Suppose 5*b + k + 0*k = 27, 0 = 5*b - 5*k - 15. Suppose i - b*i + w = -115, 5*w = -5*i + 125. Does 18 divide i?
False
Let m = 1333 + -943. Is 39 a factor of m?
True
Let g = 78 + 275. Is 9 a factor of g?
False
Let l be (0 + 1)/(2/4). Suppose -4 = -2*j + l. Suppose j*n - 21 = -3. Is 6 a factor of n?
True
Suppose -10*o = -1380 - 5220. Is 15 a factor of o?
True
Is (4/(-7))/((-20)/17080) a multiple of 7?
False
Suppose 0 = 10*k - 55 - 2245. Is k a multiple of 10?
True
Let l(m) = 77*m**2 - m - 1. Let j be 6/2*(-22)/66. Is 11 a factor of l(j)?
True
Suppose -5*l - 17 = 18. Let i(d) = d**3 + 7*d**2 + d - 5. Let u be i(l). Is 11 a factor of 88/10*(-30)/u?
True
Let t be 1092/(-44) - -2 - 4/22. Is t*(5 + -6)/(1 - 0) a multiple of 17?
False
Let o(z) = -z + 2. Let p be o(3). Let t(m) = -23*m + 1. Does 6 divide t(p)?
True
Let b be 1*