False
Suppose i + 1 = 2*i. Does 19 divide (3 + 31 + -1)/i?
False
Suppose -2*r - 2*c + 12 = c, -3*c + 12 = -5*r. Suppose 5*t = -r*t + 130. Is 13 a factor of t?
True
Suppose -4*q + 9*q - 20 = 0. Suppose -3*h + a + 31 = 12, -q*h + 16 = a. Suppose h*m = -20, -m - 124 = -4*b + 4. Is b a multiple of 10?
False
Let f(q) = 8*q - 8. Does 17 divide f(18)?
True
Let z be 23*(0 + 1)*1. Suppose -35 = -l + z. Let y = l + -41. Is y a multiple of 11?
False
Suppose n = 2*q, 0 = -4*q + 4*n - 0*n - 4. Does 13 divide -17*(2/q)/(-2)?
False
Let k = -5 - -35. Does 15 divide k?
True
Suppose 0 = -3*f + d - 33 + 84, 0 = 2*d. Does 7 divide f?
False
Suppose -2*k + 40 = -7*k. Let v(t) = -t - 5. Is v(k) a multiple of 3?
True
Let d(s) = -s**2. Let i(m) = 3*m**2 + 4 - 3*m + 3*m - 2*m. Let n(k) = -5*d(k) - i(k). Is n(-3) a multiple of 4?
True
Suppose -12 = -2*o - 2*s, -5 = -2*o + 4*s + 7. Let v be (9/o)/(1/2). Let w(p) = p**2 - p - 1. Is w(v) a multiple of 5?
True
Let a(x) = -7*x + 6. Is a(-4) a multiple of 8?
False
Suppose 3*y - 165 = 3*t, 41 + 246 = 5*y - 2*t. Is 7 a factor of y?
False
Suppose -k + 6 = -2*k. Let j = -8 - k. Is 7 a factor of ((-2)/3)/(j/42)?
True
Suppose 0 = -c - 8 - 28. Is 9 a factor of -1*(0 - c/(-2))?
True
Let v = 0 - 3. Let z = v - -26. Does 11 divide z?
False
Let f(a) = a + 8. Let d be f(-7). Let k be 4/2 + d + 1. Suppose 0*i = k*i - 32. Is 3 a factor of i?
False
Let f(s) = -s**2 - 9*s - 3. Let z be f(-8). Suppose h + 5 = 2*l, 4*l - z*l - 2 = -2*h. Is 16 a factor of 12/(-9)*(-90)/h?
False
Let r be 2/8 + 9/12. Let p be 5/(-15) + 170/6. Is 9 a factor of (r - p)*4/(-6)?
True
Suppose 0*u = -u + 168. Does 28 divide u?
True
Suppose 2*k = 5*k - 72. Let h(p) = -6 + k*p + 2 + 1. Does 24 divide h(3)?
False
Let o(b) = 1. Let i(u) = -11*u + 8. Let d(l) = -i(l) + 6*o(l). Let y be d(-2). Let s = y + 57. Is s a multiple of 13?
False
Suppose -q - 92 = -5*q. Suppose 0 = -5*l - 0*l + 225. Let f = l - q. Does 9 divide f?
False
Suppose 3*p = 6, -2*p + 14 = -4*g + 3*p. Let a = g + 6. Suppose 2*o + 0 = -3*s - 4, -5 = a*s + 3*o. Is s even?
True
Let p = 674 + -466. Is 13 a factor of p?
True
Let g be 10/(3 - 0 - 1). Let x be 10/g + 6/2. Suppose -n = 5*r + n - 55, x*r - 4*n - 85 = 0. Is r a multiple of 11?
False
Let u be 1 + (134 + 0 - -1). Suppose 43 - u = -3*o. Suppose 5*h - 3*h - 2*r = 22, 0 = 2*h - 5*r - o. Is 8 a factor of h?
True
Suppose -54 = -2*b - 8. Is b a multiple of 19?
False
Let t = -5 - -68. Is 21 a factor of t?
True
Let p(y) = y**3 - 11*y**2 + 11*y - 3. Suppose 0 = c - 4 - 6. Is 2 a factor of p(c)?
False
Let r(s) = -2*s - 5. Let v(g) = g. Let i = -9 - -4. Let o(h) = i*v(h) + r(h). Is o(-4) a multiple of 23?
True
Let n = -18 - -29. Is 3 a factor of n?
False
Let x(l) = -l**3 - 9*l**2 - l - 9. Let j be x(-9). Suppose -5*s + 100 = -j*s. Is 10 a factor of s?
True
Suppose s = 4*n - 2*n - 66, -2*n + 42 = 5*s. Is 10 a factor of n?
False
Suppose 0*k + 5*w = -2*k + 106, 3*k + 3*w - 177 = 0. Is k a multiple of 21?
True
Suppose 257 = 2*s + 5*b, 9*s - 5*b - 660 = 4*s. Is 33 a factor of s?
False
Suppose -4*t + 256 = 4*p, t - 4*p - 41 = 43. Let g = -40 + t. Suppose g = 4*z - 3*v - 56, z - 2*v = 21. Does 7 divide z?
True
Let c(q) be the first derivative of 13*q**6/24 + q**4/12 - q**3/6 - 3*q**2/2 + 1. Let k(w) be the second derivative of c(w). Is k(1) a multiple of 25?
False
Let x(g) be the first derivative of g**2/2 - g - 1. Let c be x(3). Does 17 divide (-38)/(c*-1) + -2?
True
Let o(m) = m**2 + 1. Let v be o(2). Suppose 4*c - 388 = 2*t, t = -4*c + 193 + 183. Suppose 0*s = -v*s + c. Does 19 divide s?
True
Suppose 0*v - 2 = -4*v - u, 6 = -3*u. Let x be (v - (-4)/(-2))*0. Suppose -4*i = -4*h - 56, 3*i - 2*h = -x*h + 42. Does 14 divide i?
True
Suppose 4*n - 216 = -2*g, -4*n + n = -5*g - 136. Does 13 divide n?
True
Let t = 13 - 1. Is 6 a factor of (4/t - -1)*6?
False
Let y(s) = 1 + 0 - 10*s - 9*s**2 - s**3 + 0 - 2. Is 11 a factor of y(-8)?
False
Let p(w) = -2*w - 5. Suppose 0 = -0*t + t + 8. Is p(t) a multiple of 7?
False
Suppose -f + 0 + 4 = 0. Suppose 2*q - f = 8. Is 6 a factor of q?
True
Let v(n) = n**3 - 8*n**2 + 16*n + 1. Is 3 a factor of v(5)?
True
Suppose -5*h = -5*q + 35, -2*q = q + 2*h - 1. Suppose -q*d + 5*d = 10. Is d a multiple of 3?
False
Suppose 195 = 5*d - 2*d. Does 7 divide d?
False
Let f(r) = -r + 12. Is 15 a factor of f(-18)?
True
Let c(w) = -2*w**3 - 2*w**2 + 3*w + 3. Is 15 a factor of c(-3)?
True
Does 13 divide (1 + (-16)/12)*-156?
True
Let n = 37 - 3. Suppose o + n = 3*o. Is 7 a factor of o?
False
Let i(h) = 109*h + 1. Does 11 divide i(1)?
True
Let i(g) = g**2 + 2*g - g**3 + 6*g**2 - 5*g + 0*g**2 + 8. Does 26 divide i(6)?
True
Let c(b) = -b**3 - 2*b**2 + 9. Is 3 a factor of c(0)?
True
Is 21 a factor of -4*108/(-20)*30/4?
False
Suppose d = 3*d + 2*f - 312, d - 4*f - 166 = 0. Does 25 divide d?
False
Suppose 11 = 2*x + 5*z, -7 = -5*x + 5*z + 3. Let y be (80/x - 0)*3. Suppose 4*j + 0*j - y = 0. Does 8 divide j?
False
Let d = -2 + 5. Let z be (-2 - d) + (1 - -1). Let j(g) = -g**3 - 2*g**2 + 1. Is j(z) a multiple of 7?
False
Suppose -81 = -11*a + 777. Does 26 divide a?
True
Let d = 249 + -53. Suppose 21 + 3 = s - 4*l, -4*l = 4*s - d. Is s a multiple of 11?
True
Let i(r) = r + 8. Let k be i(-11). Let d(g) = 6*g**2 + 8*g + 3. Is d(k) a multiple of 11?
True
Let n = 178 + -73. Does 7 divide n?
True
Suppose 45 = 4*m - m. Is 23 a factor of (-6)/m + 654/10?
False
Suppose 5*t + 78 = 2*r, -8*t = 3*r - 4*t - 163. Is 12 a factor of r?
False
Let t(r) = -9*r - 4. Does 7 divide t(-5)?
False
Suppose -5*b = -2*b - 15. Is 31 a factor of (-2)/b + (-157)/(-5)?
True
Does 7 divide 13/(-39) + 248/6?
False
Let o(r) = r**3 + 5*r**2 + 2. Let y be o(-5). Suppose f + 3 - 31 = -2*d, -14 = -d + y*f. Is 6 a factor of d?
False
Let p(b) = -b**3 + b + 10. Let q(w) = 0 + 0 - 6 - w. Let h be q(-6). Does 10 divide p(h)?
True
Suppose 9 = -5*y + 34. Suppose -y*r + p = -3*p - 9, -3*r - 3*p = 0. Is 10 a factor of 51/2 + r/(-2)?
False
Let z(g) = -g**3 + 6*g**2 + 6*g + 7. Let w be z(7). Suppose -d - 3*d = w. Does 8 divide 25 - (0 + 1 - d)?
True
Let f = 5 + 2. Does 2 divide f?
False
Let p = 22 + -10. Suppose p = 4*f - 48. Does 12 divide f?
False
Let f(o) = o**3 - 8*o**2 + 4*o + 2. Let y be f(8). Suppose h = 6*h + 4*k - 22, 4*h - y = 5*k. Is 6 a factor of h?
True
Let m be 1*(-1 + 3)*2. Let o = 15 + -8. Let t = m + o. Does 7 divide t?
False
Suppose 0 = -r, 4*l + 0*r - 2*r + 20 = 0. Let h(s) = s**2 + 5*s + 5. Let a be h(l). Let f(n) = n**2 - 5*n + 5. Is f(a) a multiple of 2?
False
Is 27 a factor of ((-75)/(-4))/(1/4)?
False
Let h(y) = 34*y - 27. Is 15 a factor of h(5)?
False
Let f = 12 + 0. Suppose 0 = -5*r + f + 98. Is r a multiple of 11?
True
Suppose -2*q = -0*q - 48. Does 12 divide q?
True
Suppose 0 = 4*v - 8. Is (-4)/v + (-1 - -27) a multiple of 12?
True
Let r(g) = 58*g + 2. Is r(3) a multiple of 21?
False
Suppose 5*h - 482 = -c, -2*h - h + 286 = -c. Is 29 a factor of h?
False
Let h be (13 + (-1)/1)*1. Suppose -3*g = 3, -g = -5*i - 5*g - 394. Is 8 a factor of i/(-5) + h/30?
True
Suppose 3*l - 17 = -5*g - 4, 3*l - 2*g = 20. Let k(t) = 2*t + l + t**2 - 2*t**2 + 2*t**2. Is k(-4) a multiple of 7?
True
Let v(w) = w**2 - 6*w + 4. Is 2 a factor of v(7)?
False
Is 12/9*102/2 a multiple of 34?
True
Let b(v) = v**3 - 5*v**2 + 6*v. Let l be b(4). Let a = -6 + l. Suppose 0 = a*j - 58 - 90. Does 25 divide j?
False
Let m(h) = h**2. Let y be 0*(-1)/(-2)*-1. Let f = -3 + y. Does 9 divide m(f)?
True
Suppose -10 = 2*z, -z + 51 = 4*v - 0*v. Let k = v - 6. Is 3 a factor of k?
False
Let k(w) be the first derivative of w**3/3 + 3*w**2/2 - 7*w + 2. Let p be k(-5). Let b = 19 - p. Is 16 a factor of b?
True
Is (-93)/(-3) + -4 - -1 a multiple of 7?
True
Let n be (-2)/8 - 3/(-12). Let t = n + 2. Suppose -x = 2*w - 22, 5*x + 51 = t*w + 17. Is w a multiple of 6?
True
Let p(n) = 9*n**2 - 3*n + 2. Let o be p(1). Suppose 106 = 2*k - o. Is k a multiple of 12?
False
Let c = -3 + 8. Suppose -4*j = 5*o - j - 19, -c*j - 35 = -5*o. Is o a multiple of 5?
True
Suppose 2*o - 885 = 3*x - 8*x, 4*x + 3*o = 708. Is 13 a factor of x?
False
Let g(a) = 2*a**2 - 13*a - 38. Does 19 divide g(11)?
False
Let x be (-6)/(-2) + (-3)/1. Suppose x = -w - 4 + 15. Is w a multiple of 5?
False
Suppose -291 - 33 = -6*f. Is 21 a factor of f?
False
Let f(r) be the third 