 -38 + 84. Is i a multiple of 23?
True
Let a = -6 - -116. Let v = -56 + a. Is v a multiple of 27?
True
Let r(z) = z**3 - 16*z**2 + 3*z + 23. Does 9 divide r(16)?
False
Suppose -f = 3*f. Let u be ((f + -3)*-1)/1. Suppose -u*p + 140 = 2*p. Does 14 divide p?
True
Let t = 5 - 0. Suppose -2*n - 24 = 5*s + 31, 2*n - t*s = -5. Let z = 0 - n. Does 10 divide z?
False
Suppose 4*o - 5*x = 12, 0 = -o + x + 3. Suppose -4*v + o*v = -16. Let d = -9 + v. Is d a multiple of 4?
False
Suppose 3*d = l - 13, 3*d - 2*d = -5*l + 33. Is l a multiple of 3?
False
Suppose -47 = -2*u + 37. Does 6 divide u?
True
Let q = 4 + 23. Let f be -1*(-3 - -2) + q. Is f/6 - 2/3 even?
True
Suppose 0 - 6 = -2*n. Does 19 divide (-232)/(-12) - 1/n?
True
Suppose 97 + 7 = 2*u. Is 16 a factor of u?
False
Suppose -10 = -5*f - 0*f. Suppose 190 = 5*d + 2*o, f*o = -2*d + 3*o + 85. Is 20 a factor of d?
True
Let t(p) = 14*p**2 + 2*p + 1. Suppose -3*q - q = 3*m - 19, 5 = 5*q. Let b = 4 - m. Is 13 a factor of t(b)?
True
Let q(y) = -29*y - 1. Let g be q(-1). Let r = g - 17. Let l = r + -6. Is 5 a factor of l?
True
Suppose -m + 6*m - 2*a - 270 = 0, 2*m + 3*a - 127 = 0. Does 14 divide m?
True
Let v = -2 + 1. Let c be (-2*(-1)/v)/(-2). Suppose -c - 2 = -g. Does 2 divide g?
False
Suppose -3*r + 70 = 5*b, 57 = 3*r + 2*b - 7. Is r a multiple of 4?
True
Suppose -2648 = 3*k - 11*k. Does 40 divide k?
False
Let x(q) = 3*q**2 + 8*q. Let a be x(-4). Suppose 5*k = -5*b + b + 148, -4*k = -b + a. Is b a multiple of 10?
False
Let y be 0/(-2) + (-2)/(-1). Suppose 7 = -3*b - 4*f, -y*b + 1 = 4*f + 11. Suppose b*t = -10 + 124. Is 23 a factor of t?
False
Suppose -5*k = -2*n - 10, 0 = 3*k - 2*n - n - 6. Suppose 4*y = 4*w - 156, -5*w = -k*y - 215 + 11. Is w a multiple of 14?
True
Let o(r) = -4*r - 21. Let h be o(-6). Suppose -3 = -3*m + h, b - m = 82. Is b a multiple of 14?
True
Suppose 25 = 5*n, -6*o + 2*o + 54 = 2*n. Let q(j) = -j**3 + 10*j**2 + 11*j + 3. Is 2 a factor of q(o)?
False
Let r = -98 - -138. Is r a multiple of 6?
False
Suppose 5*v + x - 1572 = 0, v - 424 + 118 = 4*x. Is v a multiple of 56?
False
Let j(m) = -m**2 + 3*m + 4. Let q be j(3). Suppose 3*x - 105 = -q*r, -5*r = -4*x + 31 - 139. Suppose 4*u - 3 = 3*b, 0 = 2*b - 6*b - 4*u + r. Does 3 divide b?
True
Let y = 11 + 0. Is 2/(-2) - y/(-1) a multiple of 4?
False
Let o be (16/(-10))/(12/(-30)). Suppose 2*w + 136 = o*u + u, 0 = -5*u + w + 138. Is u a multiple of 16?
False
Suppose -122 = -2*s + l + l, 2*s - 106 = -2*l. Is s a multiple of 8?
False
Does 42 divide 2 + (-322*2)/(-4)?
False
Is 1/(-3 + (-22)/(-8)) + 29 a multiple of 6?
False
Suppose 0 = 5*a + 3*q - 698, 4*a + 3*q = 805 - 249. Suppose 0 = 4*m + 3*h + 2*h - 310, -2*m + a = -4*h. Is 19 a factor of m?
False
Let i be 12/16 + 1/4. Suppose 3 = -z - i. Is 618/11 - z/(-22) a multiple of 19?
False
Let g = 193 - 117. Does 19 divide g?
True
Suppose -3*q = -2 - 1, 18 = 4*h + 2*q. Let x = h - 4. Suppose x = -u - 4*u + 75. Does 15 divide u?
True
Suppose 1120 = 7*c - 2*c. Is c a multiple of 32?
True
Is 15 a factor of (1 - -1) + (-69)/(-3)?
False
Suppose 2*o = 11 - 3. Is o a multiple of 4?
True
Let n be 30/1 + -7 + 5. Let u = -23 - -81. Let y = u - n. Does 12 divide y?
False
Suppose -2*w + 612 = 5*u, 1188 = -0*w + 4*w + u. Is w a multiple of 18?
False
Is 9/(-3 - (-4)/1) a multiple of 3?
True
Suppose 0 = -2*x + 138 - 32. Is x a multiple of 4?
False
Let j(k) = -k**3 - 6*k**2 - 6*k - 5. Let b be j(-5). Suppose b = w + 2*w + n - 118, 0 = 5*n + 10. Does 11 divide w?
False
Let y = 16 + -7. Suppose 2*u - y = -d, d - 3*u + 15 = 3*d. Is d a multiple of 2?
False
Let k be (4/10)/((-2)/10). Suppose -5*a = -0*m - 3*m + 8, a + 2*m = 1. Is 11 a factor of (-22)/(a/k*-2)?
True
Let u be (-30)/9*6/(-4). Suppose y + 12 = u*y. Does 2 divide y?
False
Let g(o) = -o**3 + 5*o**2 + 5*o + 12. Is 6 a factor of g(6)?
True
Let x be -1*3/(9/6). Let c = x + 2. Suppose c*d - 102 = -3*d. Is d a multiple of 17?
True
Suppose -2*j = -4*j + 92. Let w be (-2)/(-7) - 840/(-147). Does 14 divide (-3 + j/w)*3?
True
Let p(d) = -11*d**3 - d**2 - d - 1. Let h be -2 + 1/1 + -1. Is p(h) a multiple of 30?
False
Suppose 0 = 5*i - 2*m - 0*m - 39, 3 = i + 2*m. Let z = 14 - i. Does 4 divide z?
False
Let j be 0 - (-2)/4*0. Suppose 5*w = -2*m + 72, -6*m + 4*m = w - 8. Suppose j = h - 0 - w. Does 7 divide h?
False
Suppose 5*g - 11*g = -1260. Is 14 a factor of g?
True
Let l = 54 - -156. Is l a multiple of 35?
True
Suppose -194 + 659 = 4*w - 3*t, 3*t = -w + 120. Is 13 a factor of w?
True
Let d(g) = -g - 3. Let u(h) = -h**3 - 9*h**2 + h + 2. Let t be u(-9). Let j be d(t). Suppose -125 = -j*z - 13. Is z a multiple of 10?
False
Let y(t) be the first derivative of -3*t**2 + 4*t - 2. Is 13 a factor of y(-8)?
True
Let x be 80/(-3) - 2/6. Let o be (-10)/((-2)/30*-3). Let k = x - o. Does 10 divide k?
False
Let i(k) = k**2 + 5*k + 6. Is 2 a factor of i(-5)?
True
Let k = -7 - 4. Let m = k - -38. Is 9 a factor of m?
True
Let n(a) = -28*a - 1. Let d = 2 + -2. Suppose d - 2 = 2*o. Is n(o) a multiple of 16?
False
Let o = 4 - 2. Suppose k + 4 = o*k. Is (38/k + 2)*2 a multiple of 9?
False
Suppose 14*r - 20 = 9*r. Let b(h) = h**2 + 4*h - 5. Let n be b(-5). Suppose -a = -n*a - r. Does 2 divide a?
True
Let l(d) = -d**3 + 1 - d**3 + d**3 + d**2. Let r be l(0). Suppose -5*h - r = -4*g - 27, 0 = -g + 1. Does 6 divide h?
True
Let z be 3/12 - (-1)/(-4). Suppose z = -2*b - 2*b + 44. Is b a multiple of 6?
False
Suppose -z - 4 = -3*z. Is (-244)/(-8) + (-1)/z a multiple of 15?
True
Let g(m) = -2*m - 6. Is g(-6) a multiple of 3?
True
Let c(a) = 29*a + 8. Does 13 divide c(2)?
False
Let h(o) = o**3 - 2*o**2 + 3*o - 2. Let g be h(2). Let k = -4 + g. Suppose 13 = q - k*q. Is 9 a factor of q?
False
Suppose 0 = i + 2 - 11. Does 9 divide i?
True
Let n = 16 + -11. Suppose -k + 6*k + n = -q, -2*q + 2*k + 38 = 0. Is 11 a factor of q?
False
Let s = 90 - -47. Suppose -2*z - x = 3*x - 134, -2*z - x + s = 0. Is 22 a factor of z?
False
Suppose 4*q - 8*q - 28 = 0. Let h(s) = 2*s**2 + 9*s + 1. Does 18 divide h(q)?
True
Let t(d) = -10*d - 25. Is 43 a factor of t(-19)?
False
Let x = -15 + 25. Let t = x - 5. Suppose 38 - 8 = t*m. Is 3 a factor of m?
True
Let j(r) = -5*r - 37. Is 23 a factor of j(-12)?
True
Suppose -2*b + 4*b - 2 = 0. Does 21 divide 42/(-4)*(-3 + b)?
True
Let s(q) = -q**2 - q - 4. Let k be s(-3). Let u be k/(-2 - (1 + -1)). Suppose u*z - 52 = 2*p, -z - 3*p + 13 = -6*p. Does 5 divide z?
True
Suppose -2*u = -4, s + 6*u - 8 = 3*u. Let a(z) = 14*z - 3. Does 12 divide a(s)?
False
Let s be ((-6)/(-9))/((-2)/(-6)). Suppose s*n = 35 - 9. Is n a multiple of 5?
False
Let n be 1/((-3)/(-21)) + 2. Suppose -4*m + 18 = 3*k, 28 = 5*m + 4*k - 3*k. Does 7 divide (n/m - -2)*4?
True
Suppose 715 = 9*t - 1787. Is t a multiple of 39?
False
Let i = 4 + -6. Let l be (-2)/4*i - 1. Suppose 6 = a - x - 10, 5*x + 5 = l. Does 12 divide a?
False
Suppose -4*t - 5 - 3 = 0. Let n(r) = -15*r - 2. Does 8 divide n(t)?
False
Let t(m) = 10*m - 5. Let j be t(4). Is 160/6*42/j a multiple of 10?
False
Let k(r) = 90*r. Let x be k(1). Suppose x = i + 4*i. Is 11 a factor of i?
False
Suppose q + 2*r + 530 = 5*q, 0 = -2*q - 5*r + 295. Suppose 0*g = -5*g + q. Is 8 a factor of g?
False
Let j be ((-8)/5)/(-4)*5. Is 6 a factor of j/(-6) + (-185)/(-15)?
True
Let r be 2*(15/6 + 0). Suppose 3*n - 14 = -r. Suppose 3*g - 15 = -n. Is g even?
True
Suppose -3*l + 31 = 5*u, 0 = -l - 0*l + 2*u - 8. Suppose -3*a - 2*a - n = -10, 0 = -l*a - 4*n + 4. Does 2 divide a?
True
Let o = 61 + -41. Suppose 5*t + 4*x = o, 0 = -2*x + 5*x. Suppose 4*j + j - 103 = -t*u, -j = -4*u - 11. Is j a multiple of 10?
False
Does 18 divide ((-1)/(3/(-354)))/2?
False
Let r = 66 + -44. Does 11 divide r?
True
Let v(z) = -8*z**3 - z**2 + 2*z + 1. Let j be v(2). Let i = -34 - j. Is i a multiple of 7?
False
Suppose -4*h + 840 = 4*h. Is h a multiple of 34?
False
Let y(p) = -p**3 - 9*p**2 + 5*p - 4. Is y(-10) a multiple of 13?
False
Suppose -p + 735 - 72 = 4*w, -4*w = 2*p - 666. Is w a multiple of 15?
True
Suppose -3*j + 3*x = -237, 4*x + 69 + 85 = 2*j. Is j a multiple of 9?
True
Suppose i - 4*q = -4*i - 239, q = -4. Does 17 divide (-1 - 3/(-9))*i?
True
Let y be 18/4*(-104)/(-6). Suppose l + l = y. Suppose 2*u = 41 + l. Is 18 a factor of u?
False
Let j(z) = -2*z + 4. Let w be j(3). Is (-9)/2*3