s 30 a factor of v(g)?
False
Suppose -2*a + 7*y - 9*y = -12828, -4*a - 2*y + 25660 = 0. Is a a multiple of 13?
False
Let g(f) = -109*f**3 - 3*f**2 + 8*f - 13. Let y be g(5). Does 33 divide y/(-9) - (-1 + 55/45)?
False
Let l = 560 - 560. Suppose 2 + l = z, 4*h + z = 970. Is 22 a factor of h?
True
Suppose 5*l - 3*q + 41 = -307, 136 = -2*l - 2*q. Let p be (15/6)/(l/18 - -4). Is 15 a factor of 786/p - (6/(-5))/2?
False
Suppose 0 = 16*f - 12*f. Suppose f = -22*g - 1507 + 8327. Is g a multiple of 13?
False
Suppose 8*p + 3*u = 5062 + 296033, -3*p + u + 112900 = 0. Is p a multiple of 15?
True
Let q = 43 + -35. Suppose 4*x = 2*z + 3*z - 10, -4*z = 4*x - q. Suppose z*o - 339 = -45. Is 32 a factor of o?
False
Let c = -400 + 380. Is 387 + (c/6 - 14/(-42)) a multiple of 14?
False
Let n(s) = 48*s + 2. Let v(p) = -2. Let h(c) = n(c) - 3*v(c). Is 46 a factor of h(11)?
False
Let p = -3139 - -12222. Is 33 a factor of p?
False
Let s(y) = y**2 + 7*y - 12. Let n be s(-8). Let t(b) = b**3 + 10*b**2 + 11*b + 6. Let h be t(n). Suppose 62*x = h*x + 36. Is x a multiple of 3?
True
Let j(r) = -5*r**2 + 4*r + 11. Let a be j(-5). Let l = 84 + a. Does 15 divide ((-30)/25)/(2/l)?
True
Let a = 7716 - 2769. Is a a multiple of 17?
True
Suppose 4*d - 9*d + 15*d - 685040 = 0. Is d a multiple of 18?
False
Suppose -35*n - 49499 + 152274 + 84825 = 0. Is n a multiple of 11?
False
Let m(o) = 2*o**2 - 42*o + 73. Suppose 220 = 5*a + 5*a. Is m(a) a multiple of 9?
True
Let c(s) be the second derivative of -34*s**3/3 + 10*s**2 - 33*s + 2. Does 11 divide c(-4)?
False
Suppose 5*b - 4*j = 36940 + 4860, -75240 = -9*b + 2*j. Is b a multiple of 220?
True
Let r(b) = -4*b - 28. Let o be r(-7). Let m be o/(2/(-4) - 7/14). Suppose m = -g - 6*g + 280. Is g a multiple of 13?
False
Let s(q) = 3*q**2 - 16*q - 1. Let i be s(6). Suppose -16 = -4*b, -4*o - i = -2*b - 3. Suppose 0 = -2*m - o*m + 500. Is 38 a factor of m?
False
Let w(f) = -22 - 279*f + f**2 + 343*f + f**2 + 62. Does 4 divide w(-32)?
True
Let p = 106 + 1412. Is p a multiple of 23?
True
Let v(i) = 4*i**2 + 4*i - 12. Suppose -6*p - 77 + 11 = 0. Let q(g) = -3*g - 28. Let m be q(p). Is v(m) a multiple of 18?
True
Let x(a) = a**3 - 5*a**2 - 20*a + 102. Is 7 a factor of x(7)?
False
Suppose 11250 = 4*q + 6573 - 22935. Is 59 a factor of q?
True
Let n = 315 + 73. Suppose -13*r + n + 340 = 0. Is r a multiple of 8?
True
Let g be (-87)/27 - (4 + 76/(-18)). Let w be 24/9*((-18)/4)/g. Suppose -9 = -0*q - w*q - 3*l, -55 = -5*q + 5*l. Does 2 divide q?
True
Let u(v) = -v**3 + 10*v**2 + 7*v - 142. Let i be u(10). Let h(w) = -43*w**2 - w. Let g be h(-1). Let m = g - i. Is m a multiple of 5?
True
Let h(s) = 102*s**2 - 29*s + 104. Does 6 divide h(4)?
True
Suppose b - 10*c + 6*c = 61080, 0 = -3*b + 5*c + 183275. Is 319 a factor of b?
False
Let m = 6185 + -2284. Let l = m - 2031. Is l a multiple of 22?
True
Let j = -283 - -111. Let r = 104 - j. Suppose 3*o - 9*o = -r. Is o a multiple of 7?
False
Let s be ((-10)/(-3))/(49/(-441)). Let n(m) = -m**2 + m + 41. Let i be n(0). Let g = s + i. Does 9 divide g?
False
Let u = -12303 - -21335. Is 8 a factor of u?
True
Let q(s) = s**2 - s - 2. Let t be q(-1). Let m = t + 235. Is 22 a factor of m?
False
Let s(j) = j**3 - 118*j**2 + 19*j - 1160. Is 91 a factor of s(118)?
False
Suppose 3*n - 14 = -4*h, 0*n + 21 = 3*h - 3*n. Suppose 0 = 2*t + 2, j - 3*t - 212 = -h*t. Does 14 divide j?
False
Let k(u) = 2*u**3 - 18*u**2 - 12*u + 32. Let x be k(10). Is 57 a factor of 1/4 - (-38276)/x?
True
Let f be (-260)/((-4)/(-12) + -1). Let z be 1 + -6 + (-3472)/16. Let n = z + f. Is n a multiple of 24?
True
Let v be ((-170)/(-136))/(15/12 + -1). Let d(c) = 51*c - 7. Let m be d(5). Suppose -v*i - 38 = -m. Does 14 divide i?
True
Let s be (3 + -2)/(-1) + 3. Suppose q + 5*c - 18 = 3, -s*q = -c - 75. Is q a multiple of 18?
True
Let r = -1142 + 1154. Let l be 26/(-3)*2*3. Let w = r - l. Is w a multiple of 64?
True
Let v(d) = -4504*d - 5172. Does 28 divide v(-9)?
True
Suppose -6*u = -5*u + 560. Let o = -256 - u. Does 19 divide o?
True
Let i(v) = -60*v**3 + 55. Let w(r) = r**3 - 1. Let y(m) = 4*i(m) + 220*w(m). Let h be y(-3). Suppose 5*d + h = 9*d. Is d a multiple of 27?
True
Suppose -202*v - 75*v + 127851 = -258564. Is v a multiple of 8?
False
Let b = 11050 - 4734. Is 9 a factor of b?
False
Let w = -223 + 162. Let r = -7 - 26. Let j = r - w. Does 15 divide j?
False
Suppose 0 = -141*a + 145*a - 52008. Is 66 a factor of a?
True
Suppose -3*u - 2*u = 3*d - 14433, -d - u = -4811. Is 283 a factor of d?
True
Suppose -5*t + 2*c + 60336 = 0, -30080 = -4*t - 3*c + 18221. Is t a multiple of 227?
False
Suppose 154 = n + d, 5*d - 475 - 136 = -4*n. Suppose -q + n = -193. Is (2/4)/(11/q) a multiple of 2?
True
Let r(c) = c**3 - 66*c**2 + 29*c - 566. Is r(68) a multiple of 56?
False
Suppose 4*s + 23 + 10 = -5*y, 0 = 4*s + 3*y + 39. Is 14 a factor of ((-76)/(-133))/(s/14)*-273?
True
Let s(c) be the third derivative of 169*c**7/2520 - c**5/120 + 3*c**4/4 + 14*c**2. Let x(k) be the second derivative of s(k). Does 21 divide x(-1)?
True
Let c(v) = -v**3 + 19*v**2 + v - 7. Let n be c(19). Suppose -15*g = -w - n*g + 375, -2*w + g = -725. Is 15 a factor of w?
True
Suppose -6*w - 2486 = -29954. Is w a multiple of 14?
True
Let k(i) = 4*i - 4. Let l be k(10). Suppose 31*s + 410 = l*s. Suppose 80*t - s*t + 114 = 0. Is t a multiple of 16?
False
Let s(f) = 129*f**2 + 2*f - 1. Suppose i + 112 = 3*i. Let a = -57 + i. Is s(a) a multiple of 21?
True
Suppose 20*b = 6543 + 37. Suppose a - 37*f = -35*f + 327, -a + b = -3*f. Is a a multiple of 9?
False
Suppose -8*v + 3*v - 20 = 0, -2*n + 4*v + 10444 = 0. Suppose -n = 84*y - 90*y. Is 12 a factor of y?
False
Suppose 10*v - 3696 = -6*v. Suppose -2*f = -3*x + 4*x - v, 5*f = -5*x + 1140. Is x a multiple of 5?
True
Let s = 667 - -647. Let a = s + 136. Is a a multiple of 25?
True
Suppose -47502 = 314*s - 332*s. Does 91 divide s?
True
Suppose 11*l + 98 = 10. Let h(c) = 0*c - 4*c + 13 - 3*c + 30. Does 41 divide h(l)?
False
Let d(t) = -14*t - 23. Let c be d(-2). Suppose c*o = 57 + 58. Suppose -o*u = -29*u + 2028. Does 23 divide u?
False
Let n(x) = 890*x + 2435. Does 15 divide n(-1)?
True
Let a be -2 + 16 + (-1 - 6). Does 40 divide ((-204)/(-8) + a)/(1/18)?
False
Let j(t) = -4*t**3 - 88*t**2 + 51*t - 17. Does 78 divide j(-23)?
False
Let u = 2130 + 894. Does 21 divide u?
True
Does 81 divide (-236 + 233)/((-6)/27742)?
False
Let o(f) = -f**3 + 85*f**2 + 277*f - 441. Does 36 divide o(81)?
True
Suppose 3*p - 43 = -n - 0*p, 0 = 2*n + 2*p - 66. Suppose 2*x = 6*x - n. Let v(m) = m**2 - m - 2. Is v(x) a multiple of 20?
True
Is 16 a factor of (-42)/(-18)*(-8945)/(-7) + 5/(-3)?
False
Let c(t) = 1572*t + 2442. Is c(17) a multiple of 87?
False
Let o be (2 + -3)/(3/18*1). Let a(l) = 54*l. Let n(m) = -18*m. Let d(t) = 5*a(t) + 16*n(t). Is d(o) a multiple of 12?
True
Let z = -264 + 266. Is 6 a factor of 2*z*(-9 - (-495)/10)?
True
Let u = -55 - -25. Let y be 114/u - 4/(-5). Let c(a) = -a**3 + 2*a**2 - 6*a + 1. Does 11 divide c(y)?
False
Let c(h) = -h**2 + 5*h - 15. Let u(r) = 3*r**2 - 14*r + 44. Let i(l) = 11*c(l) + 4*u(l). Let n be i(0). Let s(w) = -w**2 + 16*w + 8. Is 6 a factor of s(n)?
False
Suppose -4*b - 229*c + 228*c + 56841 = 0, -2*b - 5*c + 28443 = 0. Is 292 a factor of b?
False
Let u(q) = 3*q**3 - q**2 - q + 1. Let w be u(-1). Let x(j) = -3*j**3 + j**2 - 2*j - 1. Let o be x(w). Suppose o*a = 26*a + 1830. Is a a multiple of 22?
False
Suppose -5*f + 414 = -4*y, -2*f - y = -4*f + 165. Let c be (-1 + -4)*(1 + 21). Let a = f - c. Is a a multiple of 32?
True
Suppose 4*q + 8 = -8. Is 3 a factor of ((-92)/(-5))/(q/(-50))?
False
Suppose 2*v + 10 = 0, -3*b = 5*v + 1 + 12. Suppose -2*g + b*d = 110, -3*g - 2*d - 185 = -3*d. Let t = g + 71. Is 8 a factor of t?
True
Suppose 582762 = 133*n - 557645 + 77072. Is n a multiple of 7?
False
Let c = 29 - 25. Suppose c*w + 0 = 24. Suppose 7 = w*d - 173. Does 11 divide d?
False
Suppose l + 2*l - 42 = 0. Let s(b) = b**3 - 8*b**2 + 17*b - 9. Let t be s(5). Let m = t + l. Does 6 divide m?
False
Let s = -14 + 16. Suppose -p - 8 = -s. Is p/21 + 933/7 a multiple of 9?
False
Let g(n) = -1522*n - 884. Is g(-5) a multiple of 112?
False
Suppose 13*m + 12380 = 5*l + 17*m, -3*l = -5*m - 7391. Does 35 divide l?
False
Suppose -23 = 2*k - 3