alse
Suppose -2*i + 686 = -3*y, -y + 1032 = 3*i - 4*y. Is i a multiple of 2?
True
Suppose 5*k = k - 144. Let y = 38 + k. Suppose m = y*m - 13. Does 13 divide m?
True
Let h be (5*-3)/5 - -7. Suppose h*p = 2*c - 198, 0*c - 3*p + 451 = 4*c. Let i = c - 13. Is i a multiple of 12?
True
Is 23 a factor of -1*(44/242 - 53499/33)?
False
Suppose -817 + 152 = -5*q. Let o = 8553 + -8481. Is (o/(-14))/((-19)/q) a multiple of 12?
True
Let s be -1 - (6/5)/((-5)/25). Suppose -3*w - 858 = -k, -s*k + 2*k + 4*w = -2564. Does 11 divide ((-4)/6)/(((-80)/k)/10)?
False
Let j(f) = -f**3 - f**2 + 8*f - 12. Let u = -170 - -164. Is 6 a factor of j(u)?
True
Suppose 2*o - 114 = 2*c, -2*o + 5*o + 4*c - 150 = 0. Let y = o + -54. Suppose y = -2*k + n + 80, -12 = -3*n - 0*n. Is 9 a factor of k?
False
Let z(l) = -l**2 - 9*l - 14. Let g be z(-9). Is (-4)/(8/7)*g a multiple of 10?
False
Let a be (-133965)/(-130) - (-2)/(-4). Let u = -226 + a. Does 9 divide u?
False
Suppose -139*g - 54*g = 13111 - 4287675. Is g a multiple of 22?
False
Suppose -9897237 - 5581409 - 2997834 = -464*b. Does 220 divide b?
True
Suppose 5*f + 4*n = 4434, 0 = -5*n - 323 + 328. Is 2 a factor of f?
True
Suppose -5*g + 7 = 3*s, 3*s - g + 0 = 13. Suppose -5*b + 518 = -4*q, -9*q = -s*q - 2*b + 656. Is 4 + 0 + q/(-3) a multiple of 6?
True
Let o be (-79)/(-9) + (-1)/(-18)*4. Let g(f) = f**3 - 8*f**2 + 11*f + 9. Is g(o) a multiple of 63?
True
Suppose -4*m + 3*f - 2*f = 877, 3*f = -3*m - 654. Let o(a) = -47*a**3 - 3*a**2 + 2*a - 1. Let q be o(2). Let b = m - q. Is b a multiple of 38?
False
Suppose -486*w + 491*w = -2*p + 107, -2*w - 311 = -5*p. Is p a multiple of 3?
False
Let p(s) = -4*s + 105. Let h be p(27). Let t(n) = -25*n**3 - 15. Is 22 a factor of t(h)?
True
Suppose 1125*k - 28073 = 1123*k + 5*p, 2*k - 2*p = 28064. Does 35 divide k?
False
Let p(x) = -5*x + 7*x + x**2 - 8*x. Let a be p(6). Suppose 4*y - 108 = -3*g - a*g, -g - 2*y = -38. Is g a multiple of 21?
False
Suppose -3*h - 17*h + 15400 = 0. Suppose -h*b - 320 = -775*b. Is b a multiple of 3?
False
Suppose 5*i - i - 3*g = 0, -g + 1 = -i. Suppose 5*t + 320 + 46 = i*u, 0 = -3*u - 2*t + 345. Is 15 a factor of u?
False
Is 8*(3690/24 + (-3)/3) a multiple of 9?
False
Let o(f) = 7*f**3 + 114*f**2 - 16*f - 54. Is 4 a factor of o(-13)?
False
Let k(r) = 5*r - 20. Let l(q) = -4*q**2 + 3 - 3*q + q**3 + 0*q**2 + 5*q**2. Let s be l(2). Does 25 divide k(s)?
True
Let r = -25706 - -32402. Is 31 a factor of r?
True
Let u be 16/(-6)*(-31278)/104. Suppose 0 = 6*t + u - 2278. Does 17 divide t?
False
Let x = 26 - -44. Does 4 divide x/(-455) - 2316/(-13)?
False
Let y be 5 + -4 + 3/(6/4). Suppose y*c = v - 8, -c = -2*v - 1 - 3. Is 6/(c/(-24)*-8)*-2 a multiple of 8?
False
Let m be (9*(2 + -1))/1. Let r(v) = 236*v - 4. Let z be r(2). Suppose z = m*i - 5*i. Is 36 a factor of i?
False
Let q(v) = v**3 + 9*v**2 - 12*v + 43. Let h be q(-18). Let y = h - -3784. Is y a multiple of 32?
False
Let y = 6683 + -4973. Does 19 divide y?
True
Let t = 1603 - -82. Is 24 a factor of t?
False
Let g(l) = l**2 - 9*l - 11. Let m be g(10). Let o = m + 0. Is 10 a factor of -1 + o + 65*1?
False
Suppose 4*f - g - 29 = -0*f, -5*f - g = -25. Let z be (1/(-3))/(f/54). Let x(i) = i**2 - i + 1. Is x(z) a multiple of 8?
False
Let d(o) = -o**2 + 5*o - 12. Let l be d(15). Let s = 128 - 211. Let z = s - l. Is z a multiple of 15?
False
Let k(z) = 104*z**2 + z - 3. Let n be 0/(-1) + 1 - -1. Let w be k(n). Suppose p - 98 = -3*o, 5*p - w = 3*o + 39. Is p a multiple of 13?
False
Let i(p) = -5*p - 86 + 1 + 3*p**2 + 17 - 2*p**2. Is 3 a factor of i(16)?
True
Let a(u) = -26*u - 105. Let d be a(-12). Suppose d = 23*s + 46. Does 7 divide s?
True
Suppose 23*t + 25538 = 218130 + 196522. Does 14 divide t?
False
Suppose -3 = 5*l - 8. Suppose -9 = 15*f - 54. Let p = l + f. Is p a multiple of 3?
False
Let b(d) = 26 - d - 3 + 49*d. Is 19 a factor of b(11)?
True
Suppose -445*m - 1560 = -455*m. Is 2 a factor of m?
True
Suppose 6 = -8*i + 11*i. Let x be 15/(-6) + i + (-248)/(-16). Suppose -v + x = -79. Is v a multiple of 8?
False
Let b = -2228 + 170. Let u = -358 - b. Is u a multiple of 34?
True
Let u(q) = -7*q**3 - 7*q**2 - 29*q - 249. Is 44 a factor of u(-9)?
False
Let k(a) = -2*a**2 - a**3 - 685 + 715 - a**2 + a**2. Is 6 a factor of k(0)?
True
Suppose 0*l + 13*l - 442 = 0. Let h = l - 32. Suppose 2*x - c - h*c - 26 = 0, 0 = 3*x - 4*c - 41. Does 9 divide x?
False
Let l(c) = c - 7. Let g be l(13). Suppose -3*i = 2*n + g, -4*n + 4*i - 8 - 4 = 0. Does 35 divide n/(-9)*4*(-630)/(-6)?
True
Let r(j) = -2*j**2 - 4*j + 6. Let t be r(3). Let o = t + 244. Does 20 divide o?
True
Let q(c) = 2*c**3 - 5*c**2 + 5*c - 8. Suppose -j = -4*l + 105, 2*j + 5 = j. Let n be 6 - 5/(l/10). Is 9 a factor of q(n)?
False
Suppose 3*s = 2*n - 3 - 7, -4*s - 10 = -n. Is ((-43024)/(-36))/n + (-12)/(-27) a multiple of 13?
True
Let f = 395 - 40. Suppose s = -c + 3*c + f, -5*s + 5*c = -1765. Is 13 a factor of s?
True
Suppose 4*l = -5*h + 175772, 0*l - 43977 = -l + 3*h. Is 13 a factor of l?
True
Let s = 8654 - 1514. Is 102 a factor of s?
True
Let h = -5936 - -3293. Is 13/(-65) - h/15 a multiple of 14?
False
Let j be 1/1 + -7 + (-1875)/(-5). Suppose 0 = -5*h + 3*b + 1100, 4*h + 3*b - 511 = j. Does 41 divide h?
False
Let k(o) = 137*o + 157. Let d(f) = 68*f + 78. Let j(r) = -5*d(r) + 2*k(r). Is 8 a factor of j(-6)?
True
Let g = -10775 + 13283. Does 44 divide g?
True
Let g = -99 + 96. Let q(w) = -w**2 + w + 12. Let k be q(g). Suppose k*a = -a + 91. Is a a multiple of 7?
True
Suppose 0 = -65*a + 2550 + 4080. Does 17 divide a?
True
Let h(d) = -d - 12. Suppose 1 = -l + 5*t, -5*l + 3*l + 3*t = 23. Let o be h(l). Suppose -3*b + 0*b - 2*s + 131 = 0, 0 = -o*b - 4*s + 176. Is 11 a factor of b?
False
Let v(a) = -a**3 + 2*a + 1. Suppose 6*g - 17*g - 11 = 0. Let h be v(g). Suppose -w - o = -24, h*o = 3*w + o - 72. Is w a multiple of 12?
True
Suppose -3*s = -4*y + 10065, -22*y - 5045 = -24*y - s. Is y a multiple of 168?
True
Let z(o) = -o**2 + 16*o + 27. Suppose 19 = 5*x - 6. Suppose -q + 52 = x*m - m, -m - 4*q - 2 = 0. Does 10 divide z(m)?
False
Does 11 divide -8 - (-3818 - -9)/13?
False
Let m = 10380 + -2578. Is 47 a factor of m?
True
Let w = -1350 + 1542. Is 12 a factor of w?
True
Let l be (-65)/52*12/(-3). Let b(r) = 26*r**2 - 9*r + 64. Does 15 divide b(l)?
False
Suppose 0*r - 5*r = 5*h + 2030, -2057 = 5*r - 4*h. Let z = -146 - r. Does 8 divide z?
False
Suppose 11*n = 8*n + 6. Suppose n*a - 388 = 2*k, -4*k + k = 4*a - 790. Is 14 a factor of a?
True
Let j(d) = 720*d**3 + d**2 + 6*d - 17. Does 127 divide j(4)?
False
Suppose 7*a = 53561 + 33239. Is a a multiple of 10?
True
Let v(p) = -2*p**3 - 28*p**2 - 49*p - 140. Is 12 a factor of v(-20)?
True
Let x = 370 + -1337. Let j = 1375 + x. Is j a multiple of 12?
True
Suppose 26*l - 1632 = 3412. Suppose 0 = -2*i + 1382 + l. Is 19 a factor of i?
False
Let f = -6998 + 11234. Does 7 divide f?
False
Suppose 0 = 5*s - 7 + 2. Let j be (s - (-3 + 4))/(-2). Suppose j = -2*n + 156 + 22. Is n a multiple of 10?
False
Let k = -247 - 79. Let x = k + 559. Is x a multiple of 10?
False
Suppose 758*f - 753*f + 40 = 0. Does 8 divide 24/(f - -7)*-1?
True
Let m(l) = -2*l**2 - 11*l + 31. Let s be m(2). Let o(r) = 568*r + 12. Does 4 divide o(s)?
True
Let r(d) be the first derivative of d**2/2 - 10*d + 14. Let n be r(6). Let q(j) = -2*j + 2. Is 2 a factor of q(n)?
True
Let a be 4*-1 + (-289)/17. Let m be (-4)/7 + 9/a. Is 1/(m - (-4)/6) + 33 a multiple of 3?
True
Let f = 187 + -70. Let n be 1/2 + f/(-26). Is 12 a factor of ((-6)/n)/(33/616)?
False
Let y(p) = -p**3 + 9*p**2 - 7*p + 64. Let n be y(9). Is 14 a factor of (4 - (-1 + n)) + 1340?
True
Let s(d) = 150*d**2 + 361*d + 3254. Is 101 a factor of s(-9)?
False
Suppose -l + 2 = 3*p - 9, l = -2*p + 9. Suppose 8*f - 241 = 4*f + 3*c, 0 = 4*f + l*c - 217. Is 13 a factor of f?
False
Let n = 3350 + -1470. Is n a multiple of 7?
False
Let n(i) = -209*i - 23. Is 11 a factor of n(-15)?
False
Let v be (-36)/216 + (-1 - 37/(-6)). Suppose 15*u - 20*u = -v*w - 75, 3*u - 75 = -3*w. Does 4 divide u?
True
Suppose 3659*o - 1950 = 3657*o. Is 5 a factor of o?
True
Let h(q) = 3*q - 19. Let o = -7 - -15. Is 4 a factor of h(o)?
False
Let p = -19029 + 34816. Is 14 a factor of p?
False
Suppose -3*r = 5*b + 2*r - 3915, 2*b + 5*r = 155