uppose -o = 3*g - 150. Is 2 a factor of g?
False
Suppose 0 = 13*t - 523 - 1388. Is 4 a factor of t?
False
Let o = -16 + 20. Let v be 926/o + (-8)/(-16). Suppose y = -3*y + v. Is y a multiple of 29?
True
Let w be ((-20)/8)/((-1)/2). Suppose w = -7*y + 2*y. Does 11 divide (0 + -11)*y/1?
True
Let u(h) = -h**2 + 14*h - 18. Let o = 23 + -17. Is 15 a factor of u(o)?
True
Suppose -a - z + 11 = -4*z, 5*a + 30 = -2*z. Does 8 divide -14*((-8)/a + -4)?
False
Let j(a) = 1249*a**2 + 6. Is 10 a factor of j(1)?
False
Suppose -459 = -4*m + 2901. Is 60 a factor of m?
True
Suppose 5 = -4*l - 99. Let z = l - -58. Does 5 divide z?
False
Suppose 8*d - 2964 = -5*d. Does 19 divide d?
True
Does 36 divide (24486/24 - -1) + 21/28?
False
Suppose 3*v + 15 = -4*u, -4*u - 3*v - 9 = -2*u. Let s(q) = -7*q**2 - q + 7. Let n(g) = 4*g**2 - 4. Let a(f) = u*s(f) - 5*n(f). Does 9 divide a(2)?
True
Is 98 a factor of 23 - -1646 - (0 + 3)?
True
Let l = -304 + 321. Does 4 divide l?
False
Let k = 29 + -25. Suppose -37 = -k*o + y, -8 = 2*y + 2. Is 2 a factor of o?
True
Let c = -671 - -1022. Does 27 divide c?
True
Let m(q) = q - 4. Let v be m(4). Suppose -3*u + 5*k + 2 = 0, -5*u - 4*k + 28 = -v*u. Suppose -u*b + 0 = -208. Is 9 a factor of b?
False
Let l be ((-8)/6)/(24/(-252)). Suppose 3*w = 2*w + l. Suppose -2*h = -3*q - 17, h = -4*q + 11 + w. Does 8 divide h?
False
Suppose -5*h = -k + 16, -3*h - 4*k - 24 = -k. Let a(i) = -13*i - 16. Is a(h) a multiple of 12?
True
Let q(d) = -35*d + 8. Let y be q(-7). Suppose 5*c = y - 28. Let u = c - -23. Is 34 a factor of u?
True
Let z(p) = 5*p**3 + 8*p**2 + 15*p - 24. Let h(m) = -9*m**3 - 17*m**2 - 30*m + 47. Let j(v) = 4*h(v) + 7*z(v). Does 25 divide j(-12)?
True
Suppose -21 = 6*s - 3*s. Let a be -2*5*(s + 5). Suppose 2*j + 124 = -0*l + 2*l, 4*j = -a. Does 19 divide l?
True
Suppose 0 = -5*y - 0*r - r + 565, -5*y - 5*r + 565 = 0. Is y a multiple of 4?
False
Let b = 27 - 6. Let t = 24 - b. Suppose h = -t*h + 36. Is 3 a factor of h?
True
Suppose 2*c = -0*c + 126. Let u = c - -28. Is u a multiple of 7?
True
Suppose 4*u + 235 = -65. Let l = u - -136. Does 9 divide l?
False
Let k(b) = -2*b**3 - 25*b**2 - 65*b + 4. Let n(v) = v**3 + 12*v**2 + 33*v - 2. Let q(j) = 4*k(j) + 7*n(j). Is 8 a factor of q(-14)?
True
Suppose 4*a - 163 = 5*r, 3*a + 4*r - 148 - 13 = 0. Does 22 divide a?
False
Let g = 19 + -21. Does 30 divide ((-600)/(-28))/(g/(-14))?
True
Let z = 120 + -131. Let b(m) = 5*m + 10. Let d be b(7). Let w = d + z. Is 17 a factor of w?
True
Suppose 12*r + 2184 = 24*r. Is r a multiple of 13?
True
Let k = 613 + -293. Does 8 divide k?
True
Suppose 30*v - 35*v = -3640. Does 52 divide v?
True
Let m be 300/(-9)*(-60)/25. Suppose -3*u + m = 5*w, 92 = 6*u - 3*u - w. Is 6 a factor of u?
True
Let t(h) = -h**2 + 8*h - 7. Suppose u - 30 = -4*u. Let m be t(u). Suppose -5*c + q = -31 - 45, -5*c = m*q - 70. Does 5 divide c?
True
Is 3 a factor of (-31)/(6/(-8) + (-13)/(-52))?
False
Suppose 0 = -5*g + 3*y + 1 - 3, -3*y = 4*g - 20. Let t be 7 + -4 - -4 - 4. Suppose 5*s - 81 = -2*u - 13, 0 = t*u - g*s - 64. Is 8 a factor of u?
True
Suppose -5*k - 2*y + 230 = 3*y, -4*k - 5*y + 182 = 0. Suppose 3*p - k = 186. Is p a multiple of 15?
False
Let r = 499 + -480. Does 9 divide r?
False
Let j(f) = f**2 - 2*f - 1. Let l be j(2). Let z = l + 7. Is z a multiple of 6?
True
Suppose -d - 12 = -3*q + 51, -2*q - 6 = 0. Suppose 0 = -4*l, -x = -6*x - l + 535. Let f = x + d. Does 8 divide f?
False
Let u(m) = 4*m**2 - 4*m - 25. Let a(s) = s - 1. Let f(z) = -2*a(z) + u(z). Does 13 divide f(-4)?
True
Let b(t) = t**3 - 18*t**2 + 17*t + 4. Let c be b(17). Suppose 6*y - 4*u - 296 = 2*y, c*u - 16 = 0. Is 14 a factor of y?
False
Let h be 3 - (2 - -2) - 48. Suppose -446 = -5*x - 4*l, -3*x + 250 = -0*x - 2*l. Let r = h + x. Does 15 divide r?
False
Let m(z) = 6*z + 2. Let b be m(1). Suppose 0 = k + 3, b = 2*r - 3*k - 7. Is 12 a factor of 30/r - (-1 + -1)?
True
Is 53 a factor of 18/144 + (-55965)/(-24)?
True
Suppose -4*l = 5*h - 2267, 0 = h - 151 + 148. Does 65 divide l?
False
Let x(m) = -16*m - 140. Does 11 divide x(-17)?
True
Suppose -6*a - 4*a = -15460. Is 13 a factor of a?
False
Let j = -13 - 12. Is (-444)/(-10) - 15/j a multiple of 14?
False
Suppose z - 3 - 2 = 0. Suppose -5*y - 4*o + 24 = 0, 0*y - 16 = -z*y + 4*o. Suppose y*p + 4*w = 196, 2*p - 83 = -10*w + 5*w. Is 18 a factor of p?
True
Is 26/143 + 16584/22 a multiple of 13?
True
Let h(x) = x**3 + 7*x**2 + 4*x - 2. Let p be h(-6). Let u = 17 - p. Does 2 divide (1 - 2) + (u - -1)?
False
Let j(s) = -s**2 + 7*s + 3. Let n be j(7). Suppose -n*t - 2*y + y + 35 = 0, -3*t = -5*y - 41. Is 9 a factor of t?
False
Let r = -512 + 296. Let t = -91 - r. Does 23 divide t?
False
Let c = 1284 + -600. Does 19 divide c?
True
Let f = -4093 - -7966. Does 155 divide f?
False
Let o(f) = 705*f**2 - 3*f + 1. Is 33 a factor of o(1)?
False
Let t(n) = n**2 - 3*n - 2. Let s be t(7). Suppose 5*k = -4*m + 70, -k = -2*m + m - 23. Suppose -4*y + k = -s. Is y even?
False
Let b be -28*11/2 + 12/3. Let i = 201 + b. Is 4 a factor of i?
False
Let o(i) = i - i**3 + 0*i + 6 - 8 + 24. Suppose -3*k = 3*n + 12, 2*k - 6 = 3*n + 6. Is 11 a factor of o(k)?
True
Suppose -5*m + 5 = -5. Suppose 24 + 30 = m*k. Does 4 divide (k/12)/(6/32)?
True
Let x(z) = 2*z**2 - 3*z + 15. Is 6 a factor of x(-4)?
False
Is 38817/27 + 2/(-3) a multiple of 77?
False
Let n(k) = -k**3 + 13*k**2 + k - 11. Let p be n(13). Suppose 42 = 2*y + 6*m - p*m, y - 5*m = 7. Is 11 a factor of 24/16*(1 + y)?
False
Let l = 55 + -22. Suppose -51 = -3*j + l. Is 10 a factor of j?
False
Let t(v) = 116*v**2 + 2*v + 1. Let z = -8 + 7. Let n be t(z). Suppose 5*y = 5*j + 39 + 246, j = 2*y - n. Is 12 a factor of y?
False
Suppose -c - 3*c = 3*m - 19, 0 = -4*m + 4. Suppose -12*q - c = -13*q. Suppose 5*u - 27 = -j, u + 3*u - q = 0. Does 11 divide j?
True
Suppose -3*x = f - 2, 3*f + 5*x - 8 + 2 = 0. Suppose -f*o = -128 - 8. Does 33 divide o?
False
Suppose 6*f = -6*f + 60. Suppose -3*y + f*m + 119 = 0, 3*y - 177 = -y + 3*m. Is 12 a factor of y?
True
Let b be 536/(-44) + (-4)/(-22). Is 7 a factor of ((-316)/b)/(2/6)?
False
Suppose -m = -1 - 2. Let z = -120 - -127. Suppose -i + z*w + 35 = m*w, 0 = 5*i - 4*w - 127. Is i a multiple of 23?
True
Let j(x) = 5*x**2 - x + 3. Let w(z) = z**3 - 7*z**2 + 3. Let a be w(7). Is j(a) a multiple of 9?
True
Let a be -2 + 2 + 7*-3. Suppose -79 = 3*v - n, -2*v = 3*n + 38 - 0. Let h = a - v. Is 4 a factor of h?
True
Suppose -5*g = -0*t + 4*t + 12, -2*g = 3*t + 9. Does 19 divide g + -1 + (64 - 17)?
False
Let g = -42 - -42. Suppose 3*u - 7*u + 192 = g. Is 8 a factor of u?
True
Let c(i) = -5*i**3 - i**2 - 2. Let a(k) = 11*k**3 + 3*k**2 - k + 5. Let o(t) = 2*a(t) + 5*c(t). Let v be o(-3). Suppose v - 24 = 4*r. Does 6 divide r?
True
Suppose 0 = t + 3*n, 0*n - 2*n + 10 = 4*t. Suppose 4*l = -t*h + 250, 0 = 5*h - l - 4*l - 370. Is 26 a factor of h?
True
Let d(t) = 10*t - 1. Let x be d(1). Let q(p) = 2*p**2 - 9*p - 18. Is q(x) a multiple of 34?
False
Let b = 2171 + -730. Does 19 divide b?
False
Let j be (4 - 11)*(-1)/1. Let y be 40 + j + (0 - -3). Let o = 75 - y. Does 16 divide o?
False
Let r = 647 + -247. Does 20 divide r?
True
Let n(o) = -13*o + 2. Let i(a) = -90*a + 15. Let l(m) = 4*i(m) - 27*n(m). Is l(-4) a multiple of 21?
True
Let z(w) = w**3 + 14*w**2 - w - 10. Let k be z(-14). Suppose -68 = -k*u + 84. Is u a multiple of 8?
False
Suppose -38640 = -12*h - 10764. Is 9 a factor of h?
False
Is 29 a factor of (4544/(-24))/(1/(-6))?
False
Suppose -n - 3*n + 720 = 0. Suppose -3*w - w = -n. Does 15 divide w?
True
Let r(l) be the third derivative of -l**5/60 - l**4/2 - 5*l**3/3 + l**2. Let m(h) = h**2 - 9*h - 8. Let b be m(9). Is r(b) a multiple of 7?
False
Is 3903 - (-4 + (-9)/(-3))*1 a multiple of 35?
False
Suppose -3*b - 58 + 31 = 0. Let q(s) = s**3 + 8*s**2 - 18*s + 7. Is 7 a factor of q(b)?
False
Does 24 divide (-25194)/(-21) - 46/(-161)?
True
Let i(g) = 8*g**3 + g**2. Let q(z) = z. Let v(j) = -10. Let f(u) = q(u) - v(u). Let r be f(-9). Is i(r) a multiple of 6?
False
Let p = 1819 + -1647. Is p a multiple of 3?
False
Let j = 1149 + 210. Is j a multiple of 25?
False
Suppose 26 = 2*m + 5*u, 0*m - 5*m + 2*u + 7 = 0. Suppose 5*g - 2*f - 54 = 4*g, -167 = -m*g + 5*f. Is g a multiple of 16?
True
Let d = -16 + 22. Let l(g) = g*