 45. Suppose 0*h - 2*q = 2*h - 14, -t*q = -h - 18. Suppose a - 268 = -h*a + 2*o, 3*a - 4*o = 260. Is a a multiple of 23?
True
Does 149 divide (-1508)/38454 + 896684/51?
True
Let f = 15561 + -4011. Is 30 a factor of f?
True
Suppose -4*v - 238 - 2530 = -5*b, 4*v - 1096 = -2*b. Let y = -95 + b. Is 18 a factor of y?
False
Let j be 3*((-6)/(-15) - 178/(-30)). Let d(c) = -c**2 + 19*c + 65. Let x be d(j). Suppose 10*t + x = o + 5*t, 2*o = t + 94. Is o a multiple of 15?
True
Does 35 divide 3717/(-7*(-11)/308)?
False
Let c(b) = -b**2 + b + 40. Let u = -40 + 45. Suppose -3*o + 2*o = -u*o. Does 10 divide c(o)?
True
Suppose 15*n - 12*n - 537 = 0. Suppose -2*p = -2*w - 190, -5*p + n + 256 = 3*w. Is 14 a factor of (3/2)/(30/40) + p?
False
Let c(m) = 157*m + 5. Let k be c(4). Let x = -1167 + k. Is 26 a factor of (5 - 1) + (-1)/(3/x)?
True
Let r(s) = s**2 + 16*s - 1947. Is r(51) a multiple of 11?
False
Does 5 divide (12*(-3)/(-30))/(261/474150)?
True
Suppose 2376 + 6024 = 21*j. Is 16 a factor of j?
True
Suppose -637*k + m = -634*k - 1095, 5*k - 4*m = 1832. Does 9 divide k?
False
Suppose 0 = -0*m + m - 2. Suppose 0 = -m*q - 4*q. Suppose 2*l + 3*l - 170 = q. Is 34 a factor of l?
True
Suppose 0 = 26*n - 63*n + 777518. Is 146 a factor of n?
False
Is 30/(-100) - (-55230)/100 a multiple of 10?
False
Let b(a) = 44*a**2 + 164*a - 71. Does 61 divide b(17)?
True
Suppose -173 = -r + 4*t, -3*r + 2*t - 4*t = -589. Let h = -17 + r. Does 16 divide h?
True
Suppose -24*x = -2805 - 1707. Let a = -20 + x. Does 12 divide a?
True
Is (-385254)/(-54) - 4/12 a multiple of 17?
False
Let m(g) = -42*g**3 + 17*g**2 + 40*g + 184. Is m(-5) a multiple of 62?
False
Suppose 0*c + 13*c - 23517 = 0. Suppose -15*v + 5661 = -c. Does 22 divide v?
False
Suppose -2*r + 599 + 4481 = 0. Let m = 1793 - r. Is 15 a factor of m/36*-2*2?
False
Suppose 41 = 6*n - 5*n. Let m = n - 35. Suppose -m*l = -72 - 0. Does 4 divide l?
True
Let b be 138 + -5 + -1 + 3. Suppose 5*u + 51 = -2*i, i = -i + u - 57. Let w = b + i. Is 22 a factor of w?
False
Suppose -3*w + 16 - 7 = 0. Suppose j = 3*d + 596 - 1810, 3*j + 1218 = w*d. Does 28 divide d?
False
Suppose -b - 8463 = -f, 3*f - 18348 = -3*b + 7005. Does 16 divide f?
False
Let y(r) = -3*r**2 + r - 5. Let x be y(5). Let f(n) = 4*n - 136. Let i be f(34). Is i - x - (-23 + 24) a multiple of 11?
False
Let g be (-3)/(-27) - 130/(-45). Suppose 2*w + 5*r - 11 = -w, 4*w + g*r - 11 = 0. Is 12 a factor of 142/(-8)*-2*w?
False
Let h = 4778 - 4343. Is 29 a factor of h?
True
Is (5/3 - 1)/(122/(-549)) + 6525 a multiple of 123?
False
Let o = -34 + 44. Let s = 42 + -35. Suppose -o*a = -s*a - 303. Is 26 a factor of a?
False
Let w(j) = -2254*j + 4235. Is w(-10) a multiple of 9?
True
Let l(g) = g**2 - 26*g - 77. Let t(b) = -b**2 + 24*b + 78. Let i(m) = 3*l(m) + 4*t(m). Does 4 divide i(20)?
False
Let a(v) = 2*v**2 + 65*v + 2218. Is 8 a factor of a(78)?
True
Suppose 12*x = 10*x + 150. Let m = x + -65. Suppose -6*s + m = -56. Is s a multiple of 4?
False
Suppose 3*r + 3 = 2*z - 8, 4*z = 4*r + 20. Suppose 615 = -z*k + 3095. Is k a multiple of 75?
False
Suppose -43*u = -10952 - 34972. Is u a multiple of 76?
False
Suppose -3*t = -6 - 75. Let u = t + -26. Let c(s) = 88*s - 4. Is 12 a factor of c(u)?
True
Let d = -103 + 487. Let n = d - -67. Is 27 a factor of n?
False
Let d(m) = 143*m + 2810. Does 20 divide d(20)?
False
Let g(h) = 4*h**2 + 93*h + 1257. Is 149 a factor of g(-15)?
False
Suppose 0 = 4*o - 2*i - 26, -o + 8 = -i - 0*i. Suppose -9*g - 7*g + 2880 = 0. Suppose g = w + o*w. Does 6 divide w?
True
Let b(j) = j**2 - 12*j + 42. Let o be b(7). Suppose -o*h + 3162 = 1048. Is h a multiple of 47?
False
Suppose -2*v + 16*b - 441 = 11*b, 4*b + 12 = 0. Does 30 divide (-240)/(-32)*v/(-10)?
False
Let p(s) = -421*s + 1310. Does 36 divide p(-27)?
False
Let y = 13209 + -9574. Is y a multiple of 150?
False
Let i(l) = l**3 - 3*l**2 + 4*l - 1. Let w be i(3). Let h = -4438 + 4589. Let n = h - w. Is n a multiple of 14?
True
Let g(r) = -r**2 + 24*r - 23. Suppose 0 = -3*m + 2*s + 2, -5*m + 0*m = 3*s + 3. Suppose m = 6*o - o + 3*z - 73, -z = -4*o + 72. Does 29 divide g(o)?
False
Let r = -603 + 3363. Does 23 divide r?
True
Suppose 3*q - 9842 = 1042. Suppose -10*x + 872 = -q. Is 6 a factor of x?
True
Let s be (-3)/((-27)/36) - (-1 + 11). Let o(x) = -2*x**3 + 7*x**2 + 30*x - 9. Is 55 a factor of o(s)?
True
Let k(q) = 69*q**3 + 2*q**2 + 5*q - 4. Suppose -o = 5*c + 13, -5*o - 7 + 2 = 5*c. Does 12 divide k(o)?
False
Let h(x) = -2*x**2 - 33*x - 6. Let i(g) = -g**2 - 1. Let p(a) = -h(a) + 4*i(a). Let t be p(16). Let f(y) = 2*y - 28. Is f(t) a multiple of 8?
True
Let o be -5*5/75*3*-2. Suppose o*s - 294 = -5*v, 418 = -4*s + 7*s - 4*v. Does 11 divide s?
False
Let r(o) = 2*o**3 + 2*o**2 + 3*o + 2. Let q be r(-1). Let m be q + (-19)/(-4) + (-39)/52. Suppose l = -l - 2*p + 18, -m*l + p = -47. Is l a multiple of 7?
True
Suppose -r - r = 0. Suppose 2*z - 439 + 79 = r. Suppose -2*t + z + 0 = 0. Is 30 a factor of t?
True
Let l(h) = -15231*h - 60. Is 54 a factor of l(-2)?
True
Let o(q) be the second derivative of q**4/6 + 5*q**3/6 - q**2/2 + 10*q. Let w be o(-3). Let p(m) = 11*m**2 - 9*m + 4. Is p(w) a multiple of 10?
True
Is (6 - (-99837)/(-36)*6)*(-1 + -1) a multiple of 162?
False
Suppose -39*c - 15*c = -88452. Is 14 a factor of c?
True
Suppose f - 2*f + 3*g = -16, -5*g = 25. Let l = f + 44. Suppose l*u - 49*u + 1108 = 0. Is u a multiple of 30?
False
Suppose -5*u = 18 + 2, -5*f + 86 = u. Let s(v) = -v**3 + 17*v**2 + 21*v - 48. Let r be s(f). Suppose 1098 = -r*o + 12*o. Is o a multiple of 61?
True
Let b = 25447 - -1625. Is 96 a factor of b?
True
Suppose -250965 = -801*x + 786*x. Is 39 a factor of x?
True
Suppose -109*h + 25*h + 1337733 + 451383 = 0. Is 23 a factor of h?
False
Let r(g) = 40*g**2 - 4*g - 4. Let d(k) = 8*k + 54. Let p be d(-7). Let u be r(p). Let a = u - -16. Is a a multiple of 20?
True
Let i = -563 + 563. Suppose i = -5*s + 2*d + 253, 2*s - 3*s + d + 53 = 0. Is 7 a factor of s?
True
Is (-27)/(-120) + 47/(-470) - (-31943)/8 a multiple of 33?
True
Suppose 40*l - 72*l + 87791 + 382801 = 0. Is l a multiple of 84?
False
Let b(w) = 9*w**3 + 3*w**2 + w + 6. Let a be b(-4). Let h = a - -737. Is 58 a factor of h?
False
Let g(s) = s**2 + 35 + 33 + 2*s - 72. Let z be g(-4). Suppose -4*y = z*p - 372, -5*y + 80 = 2*p - 121. Is p a multiple of 22?
True
Suppose -14648 = -h - 4*i, 201*h = 196*h + 4*i + 73192. Is 15 a factor of h?
True
Suppose 5*o - 40535 - 6865 = 0. Is 30 a factor of o?
True
Let u = 6897 - 6062. Is u a multiple of 6?
False
Let f(o) = -1. Let b(a) = -333*a - 25. Let u(v) = b(v) + 5*f(v). Is 54 a factor of u(-2)?
False
Let d = 15009 + -5958. Does 81 divide d?
False
Let a = 316 - 310. Suppose a*y - y = 400. Does 4 divide y?
True
Let j(w) = -w**3 - 68*w**2 - 8*w - 640. Is j(-70) a multiple of 6?
True
Let t(k) = 7*k**2 - 3*k - 10. Let d be (4 - 2) + 3*(-1)/(-3). Suppose 2*n - 7*n + d*p - 16 = 0, 5*n = -p - 28. Does 30 divide t(n)?
True
Let h = -127 - -208. Suppose -6*m = -159 - h. Is m a multiple of 4?
True
Let m = -69 + -6. Let g(r) = -35*r - 2. Let t be g(10). Does 11 divide t/12*m/20?
True
Let v be ((-1)/2)/((-10179)/(-5094) + -2). Let d = v + -51. Is 14 a factor of d?
False
Let h(j) = 347*j**3 - 4*j**2 - 8*j - 3. Let l(v) = 346*v**3 - 5*v**2 - 9*v - 3. Let q(p) = -5*h(p) + 4*l(p). Does 10 divide q(-1)?
True
Let d be (6/5)/(2 - 148/80). Suppose -5*g + d*g = 72. Is g a multiple of 12?
True
Let g(n) = n**2 + 5*n - 1642. Let a be g(0). Is 18 a factor of (-8)/40 + a/(-10)?
False
Does 16 divide ((-4)/(-15))/(9 - (-2958)/(-330))*777?
False
Let z = 337 - 167. Let p = z - -196. Does 25 divide p?
False
Let x = -15 - -18. Suppose 0*w - x*w - b + 329 = 0, 0 = -2*w + 5*b + 225. Let q = 169 - w. Does 12 divide q?
False
Suppose -12*t + 17*t - 110 = 0. Let a = t - 145. Let b = 113 - a. Does 59 divide b?
True
Let d = 9773 - -1573. Is (d/155)/(2/(-10)*-2) a multiple of 27?
False
Suppose 5*u = 3*u - 3*a + 9, a - 3 = -5*u. Suppose p - 4*p + 30 = u. Let y(t) = -t**2 + 14*t - 6. Does 6 divide y(p)?
False
Let i(y) = -y**3 + 14*y**2 - 17*y - 31. Let f be i(13). Let s = -31 - f. Does 19 divide s?
False
Suppose -147*o = -335966 - 1145147 + 122392. Is o a multiple of 20?
False
Let u = 9330 - 6440. Is 170 a factor of u?
True
Does 18 divi