True
Suppose 65 = 9*a - 133. Suppose -58 = -16*p + a. Is p a multiple of 3?
False
Let s(v) = v**3 + 7*v**2 - 19*v - 7. Suppose -81 = -4*w + 13*w. Let l be s(w). Is 2 a factor of (-2585)/(-141) - (-1)/(-6)*l?
True
Let d(v) = -17*v. Let a be d(0). Suppose 12*o - 16*o + 64 = a. Is 3 a factor of o?
False
Let i = -5128 - -34277. Is 105 a factor of i?
False
Suppose 0 = 113*o - 146*o + 69762. Is 6 a factor of o?
False
Suppose 4*f - 9022 - 17426 = 0. Suppose -s + f = 11*s. Is s a multiple of 29?
True
Let i = 19823 - -697. Does 135 divide i?
True
Is 29 a factor of 26/195 + 39144/45?
True
Let d(s) be the third derivative of s**5/60 + s**4/6 + 4*s**3/3 + 27*s**2. Let i be d(-13). Let m = i + -45. Is m a multiple of 11?
False
Suppose 11526 = 41*l - 35*l. Let f = -1137 + l. Is 64 a factor of f?
False
Suppose -5*m - 4*p + 349 = -1214, 0 = 2*m + 3*p - 621. Does 35 divide m?
True
Does 14 divide 3452 - (12/(-15))/(12/90)?
True
Let s(x) = 313*x**2 + 19*x. Let c be s(-3). Suppose -7*p + c = 5*p. Is p a multiple of 7?
False
Suppose -14*s + 12*s - 4 = 0. Is (5*(s + 1) + -396)*-1 a multiple of 4?
False
Let b be (420/44)/3 - 16/88. Suppose 2*i - 3*y = 332, i + b*y - 102 - 73 = 0. Does 27 divide i?
False
Let v be (3 + (-15)/6)*0. Let h(c) = -2*c + 128. Let m be h(v). Suppose 3*b + 2*d = m, -3*b + 0*d + 125 = -d. Is 3 a factor of b?
True
Let q = -1847 - -2635. Is q a multiple of 84?
False
Suppose -2*q + 3*n - n + 874 = 0, -3*q - 5*n + 1327 = 0. Let l = -353 + q. Is 12 a factor of l?
False
Suppose -25*y + 26*y - 459 = 0. Suppose y = 35*l - 801. Is 3 a factor of l?
True
Let r be -1 - -11 - 11/33*-9. Suppose 0 = 3*w - r - 2, -42 = -o - 3*w. Is 2 a factor of o?
False
Suppose -26*g + 114 = -146. Suppose 0 = -g*n - 504 + 4734. Is n a multiple of 47?
True
Let s(l) = 3*l**2 - 5*l + 22. Let j be s(-9). Suppose z - 4*n = n + j, n = z - 314. Is z a multiple of 18?
False
Let b = -6114 + 6115. Let u = 16 + -11. Does 4 divide (19 + 0/u)/b?
False
Suppose -188*s = -113303 - 78330 + 43113. Is s a multiple of 2?
True
Let t = 216 + -212. Suppose -2*r - 11 = -5, 5*c + t*r = 1833. Does 41 divide c?
True
Suppose -26 = -4*b - 2*u, 0 = 2*b + 2*u + 2 - 12. Suppose 0 = -3*s - 31 - b. Let n(g) = g**3 + 15*g**2 + 19*g - 44. Is 6 a factor of n(s)?
False
Let c = 23704 - 21930. Does 11 divide c?
False
Suppose 27940 = -2*u - 5*n, 5*n - 28267 = -4*u - 84137. Does 21 divide u/(-45) + 1/(-3)?
False
Suppose -72 = -b + 5*m, 5*m - 153 = -5*b + 117. Is 19 a factor of b?
True
Let j = 64 - 167. Let g = j + 105. Is 2438/69*(-6)/(0 - g) a multiple of 7?
False
Let k = 125 - 69. Suppose 0*a = -a + 5*p - 16, 168 = -5*a + 3*p. Let j = k + a. Is 20 a factor of j?
True
Let h(q) = -q**3 + 14*q**2 - 9*q + 54. Let b be h(15). Is 2 a factor of (14 + -2)*b/(-24)?
False
Suppose -6*i - 60 = -9*i. Let q be 4/(-18) - 1551/(-297). Is (8 - q)*i/1 a multiple of 8?
False
Suppose -1222 = -t - 3*x, 442 = t + 2*x - 781. Does 11 divide t?
False
Let s = -5963 - -11591. Is s a multiple of 28?
True
Suppose -3*a - 151 = -3*f + 5*f, 0 = -2*f + a - 139. Let r = 75 + f. Suppose w = -r + 62. Is w a multiple of 22?
False
Suppose 157*z = 101*z + 33264. Is z a multiple of 9?
True
Let j(g) = -g**2 + 8*g - 7. Let o be j(6). Let d be (-2)/5 + 22/o. Does 12 divide d/14 + (-836)/(-14)?
True
Let f = 8663 - 3277. Is f a multiple of 39?
False
Suppose 4*c = y - c - 594, -2*c = -2*y + 1220. Suppose y = -3*t + 4*t + 2*r, 3*t = 5*r + 1897. Is 48 a factor of t?
True
Suppose 15*q = 11*q + 696. Let w = q - 276. Let n = w + 132. Is n a multiple of 10?
True
Suppose 266*a = 203*a + 1226484. Is 4 a factor of a?
True
Let h be -4 + (15/(-6))/5*6. Let p = h - -20. Does 2 divide p?
False
Let c(m) = 1222*m**3 - 5*m**2 + m + 4. Is c(1) a multiple of 47?
True
Suppose 261*k - 2023068 = -451588 + 2229463. Is 22 a factor of k?
False
Let g(m) = m**2 + 20*m + 36. Let a be g(-18). Suppose -4*p + 5*l + 41 = a, 2*p = 2*l - 3*l + 3. Suppose -p*z = -z - 648. Is 54 a factor of z?
True
Suppose -z + 8 = -0*w - 5*w, 0 = -5*z + 5*w + 20. Let b(f) = -17*f**3 - 4*f**3 - f**2 - f + 2*f - 3*f**z. Is 11 a factor of b(-1)?
True
Suppose -5*v + 5176 = -d, 4*d = -27*v + 23*v + 4160. Let m = 1841 - v. Is 13 a factor of m?
False
Let m = 7752 - -385. Is m a multiple of 115?
False
Let l = 95106 - 45020. Is l a multiple of 79?
True
Let d(r) = 36 - 106*r - 251 + 11 + 72*r - 256*r. Does 26 divide d(-6)?
False
Let w(p) = -p**2 - 8*p - 2. Let a be w(-8). Let s be -28*1/2 - a. Is (-2121)/(-12) - (5 + 63/s) a multiple of 31?
False
Let f be (-4 + 10 - 7)*-55. Does 11 divide (-3)/(-33) + 21170/f + -5?
False
Let o = -3433 + 4255. Is o a multiple of 67?
False
Suppose -21 = -3*q - 0. Suppose -q*u + 88 = u. Let b(d) = 2*d**2 - 21*d + 18. Does 3 divide b(u)?
False
Is (-111992)/(-14) - 112/(-196) a multiple of 146?
False
Let a(r) = -r**3 - 7*r**2 + 8*r - 25. Let z be a(-6). Let k = 111 + z. Suppose -k*m = 2*s - 114, 136 = 3*m - s - 3*s. Does 26 divide m?
True
Let o(s) = -s + 0 - 3 + 41 - 1. Let g be o(0). Let q = 89 + g. Is 13 a factor of q?
False
Suppose d + 4*w = 270, -d + 5*d - 1020 = -w. Let t = 634 + d. Is 6 a factor of 12/(-42) - (t/(-21) + 1)?
False
Let u be (-8 - -55)/((-1)/(-2)*2). Let p = -153 + u. Let w = p - -186. Is w a multiple of 20?
True
Suppose 5*f = -2*i + 5*i + 104511, 0 = -4*f + i + 83599. Is f a multiple of 18?
True
Suppose 14302 = 40*m - 39*m - 5*w, -4*m + 2*w = -57082. Does 11 divide m?
True
Let g(q) = 2*q - 2. Let u be g(3). Suppose 14 = -2*j + 5*o, u*j + 4*o - 9 = 19. Is (-1 + 6/j)*27 a multiple of 11?
False
Let u(v) = -14*v + 118. Let z be u(-5). Let g = 3 + -11. Does 47 divide (-1 - 1)*z/g?
True
Suppose -28997 = -9*h + 42949. Is 63 a factor of h/35*5/2 - 4?
True
Let k be (-6)/(-16) - (502/16 - -3). Let a(b) = -2*b**3 - 69*b**2 - 39*b + 99. Is a(k) a multiple of 28?
False
Let g(d) = d**2 - 11*d - 8. Suppose 0 = -5*q + 21 + 39. Let k be g(q). Suppose -w + 320 = 4*l, -2*l + k*w = l - 221. Is 14 a factor of l?
False
Suppose 0 = -0*b + b - 2*q + 60, -2*b = 2*q + 90. Suppose -4*k + 133 + 43 = 0. Is 22 a factor of ((-5)/b*k)/(1/10)?
True
Let i be 25/6 - -2*(-6)/72. Let z(v) = 50*v**2 - 11*v + 22. Is 42 a factor of z(i)?
False
Suppose -3*j + 55 = 49. Let q be (-1)/j*(-11 - -15). Does 9 divide (q/5 + -2)/((-30)/1575)?
True
Suppose 3*w = w + 3*k + 685, -5*w - 4*k = -1701. Let f = w - 242. Is 11 a factor of f?
True
Let t be 28/1*(39/(-6))/13. Does 8 divide 3 + 305 - t/(-7)?
False
Suppose 4*w = -12*d + 15*d - 166324, w - 277199 = -5*d. Is 240 a factor of d?
True
Suppose 5175 = -3*y + 3*j + 17124, -3993 = -y - j. Is y a multiple of 8?
False
Suppose 3*r + 4*p = 8973, -2*r + p + 4602 + 1402 = 0. Is r a multiple of 23?
False
Let y(o) = -40*o - 70. Let h be y(-6). Suppose 3*u = 4*c - 150 + 14, 5*c = -2*u + h. Is c a multiple of 17?
True
Suppose -3*p = -5*p + 12, -5*p = -3*t + 402. Does 3 divide t?
True
Suppose 0 = -32*g + 9*g + 253. Suppose 381 = 3*w - 5*h, g*h - 12*h = 0. Is w a multiple of 9?
False
Suppose -11*r = 31 + 90. Is (-7)/(-1) - (-459 + r) a multiple of 34?
False
Let n = 111 - 56. Suppose n*a - 264 = 47*a. Does 17 divide a?
False
Let v(d) = -8*d**3 - d**2 - 1. Let h be v(-2). Let m be 12/15 + 576/80. Let j = h + m. Does 22 divide j?
False
Suppose -166*b + 163*b + 21 = 0, -35845 = -2*u + 5*b. Is 115 a factor of u?
True
Suppose -180*n - 17*n - 108463 = -1762869. Does 38 divide n?
True
Suppose -3*k + 95 = 3*s - 679, 5*k + s - 1286 = 0. Let w = k - 156. Does 5 divide w?
False
Let f(v) = 17 + 2 - v + v + v. Is 4 a factor of f(33)?
True
Let a(b) = -b**2 + 12*b + 6379. Is 108 a factor of a(0)?
False
Let w be (-12)/((-170)/(-228) - (-14)/(-21)). Let f = w - -250. Does 7 divide f?
True
Suppose -x = -4*o + 119655, 4*o - 4*x = -o + 149577. Does 169 divide o?
True
Suppose 5*p + 2*w - 6113 = 0, -19*w + 14*w + 3645 = 3*p. Is p a multiple of 8?
False
Let j = 663 + -455. Suppose 3*i = 152 + j. Is 5 a factor of i?
True
Let p be (-82)/26 + 0 - (-14)/91. Let n(q) = -q + 4 - q**2 + 0*q**2 + 2*q**2 + 2*q. Does 5 divide n(p)?
True
Let o be (25/(-20))/5*-20. Suppose -o*y = 5 - 20. Suppose 0 = y*p - 28 + 4. Is p a multiple of 2?
True
Suppose 38 = -6*u - 34. Let q be 1/2*(8 + u)*-2. Is 24 a factor of 145 + -3 - (-8)/q?
True
Suppose -2*o = -x + 28, 7*o = 2*o - 3*x - 59. Suppose -3*r = -354*h + 350*h + 5, 4 = -h