se n*i + 680 = 5*i. Is i a multiple of 34?
True
Suppose -244403 - 112292 = -25*i + 107455. Is i a multiple of 55?
False
Suppose -2053 = -j - 9*c, -2*j - 2*c + 4*c = -3926. Is j a multiple of 5?
False
Suppose -23*k - 40 = -21*k. Let c be (-148)/(-16) + 5/k. Suppose -c*q + 1613 = -466. Does 34 divide q?
False
Let u be -4*(-1)/((-20)/(-45)). Let h(m) = 17*m + m**3 - 44*m - 8*m**2 - 5 + 19*m. Does 2 divide h(u)?
True
Let c be (-126)/((-2)/((-16)/6)). Let g be (9963/24 - (-2)/(-16)) + -5. Let j = c + g. Does 13 divide j?
False
Let o be (0 + 924)*110/66. Suppose -8*f + 4044 + o = 0. Is 25 a factor of f?
False
Let d = 6 + -5. Let m = d + 3. Suppose 6 = -m*a - 14, 5*k + 5*a = 480. Is k a multiple of 15?
False
Suppose -20 = 4*z, f + 12 = -2*z + 3. Let s be (-16)/16*(-4 - f). Suppose u - 62 = 4*g, -g + 109 = s*u - 96. Is 42 a factor of u?
True
Suppose 5*d - 5*x - 14214 = -1274, 0 = -2*d + x + 5173. Is d a multiple of 6?
False
Let q be (-26)/(-26) + 4*1. Suppose 546 = 2*p + 2*m, -5*p + 940 = -q*m - 405. Is p a multiple of 17?
False
Suppose 0 = -3*x + 3*r + 21, 3*x + 3*r - 2*r = 13. Let q be 1034/12 + (x + -3)/(-12). Suppose 2*g = a - 3*g - 47, 3*a = 4*g + q. Is a a multiple of 3?
False
Let a be 81/5 - 1/5. Is 4*a + (2 - 6 - -6) a multiple of 22?
True
Suppose o + 4580 = 11*o. Let v = o - 426. Is 16 a factor of v?
True
Suppose -785 + 757 = -4*s, -5*x + 16814 = 2*s. Does 96 divide x?
True
Let h = 7015 - 5195. Is 13 a factor of h?
True
Let g(l) = 47*l + 193. Let f be g(17). Suppose -995*r + 297 = -f*r. Is r a multiple of 38?
False
Let x be (36/(-10))/(14/20 + -1). Is 9 a factor of (15/(-2))/((-6)/x)?
False
Let z = 195 + -195. Suppose d + 12*d - 195 = z. Is d a multiple of 12?
False
Suppose 6*t + 4257 - 66057 = 0. Suppose -t = -58*d + 10754. Does 11 divide d?
True
Let x = -197 - 81. Let i be (x + -2)*90/(-35). Suppose -2*c - 3*c = -i. Does 39 divide c?
False
Let r(m) = 4*m**3 - 4*m**2 - 7*m + 18. Let d be r(2). Let c(u) = u**3 - 17*u**2 - 57*u + 16. Is c(d) a multiple of 5?
False
Let f = 7 + 5. Suppose 5*k - f - 3 = 0. Suppose -z - k*m + 12 = 3*z, 4*m = 4*z - 40. Does 5 divide z?
False
Let l(m) = 11*m**2 + 11*m + 1. Let n be (22 - 24)/((-2)/(-5)). Is l(n) a multiple of 21?
False
Is 163768/(-88)*-1*2 a multiple of 14?
False
Let s = -435 + 613. Let i = -3 + s. Is 35 a factor of i?
True
Suppose 3 - 1 = -3*n + a, -4*n - 4*a = -24. Let z be ((-7 + n)/(-3))/(2/9). Suppose 0 = z*l - 40 + 13. Is l even?
False
Suppose -3*c - 2*r + 3910 = -592, -10*r + 1482 = c. Is 21 a factor of c?
False
Let t be -809*(-12 + 3 - -5 - -3). Suppose 215 = 3*d - 2*u - t, -d = -5*u - 337. Is d a multiple of 6?
True
Suppose -125*x - 25*x + 813181 + 365819 = 0. Is 5 a factor of x?
True
Let n = -90 - -94. Let z be (-1)/n + -1 + (-362)/(-8). Suppose 0 = -l + z. Does 17 divide l?
False
Let s(f) = f**3 + 3*f**2 - 2*f - 6. Let v be s(-3). Suppose 5*p - 5*d + 15 = 0, d + v*d = 3*p + 7. Is 3 a factor of ((-84)/(-63))/(p/(-21))?
False
Suppose 31 = -5*a - 2*x - 44, -3*x + 24 = -3*a. Let s(l) = -2*l**2 - 16*l + 15. Let w(f) = f - 1. Let b(t) = -s(t) + 6*w(t). Does 9 divide b(a)?
False
Suppose 4*n - 2 = -5*x, -2*x - 3*n = -7*x + 16. Is -5 + x - (-607 - (-3 + 2)) a multiple of 40?
False
Let z = 82 + -85. Let q be (-9)/((-2)/12*z/2). Let c = q + 113. Does 11 divide c?
True
Suppose 0 = -3*p + 4*w + 31, 0 = -2*p + w + 20 - 6. Suppose 9*l - 4*q = 5*l + 1376, -p*l = -3*q - 1722. Is l a multiple of 15?
True
Suppose -3*w = 2*t + t + 414, 5*w - 138 = t. Let a = t - -87. Let n = a + 166. Is 14 a factor of n?
False
Suppose 3*d = 5 + 10. Suppose -4*b - 99 = -f - 3*b, -f + d*b = -107. Suppose -2*y = -2*i + y + 43, 4*i + 5*y = f. Is i a multiple of 16?
False
Let d(g) = -18*g - 351. Is 9 a factor of d(-27)?
True
Let u be (-65 - -47)/(-2*6/(-40)). Let i = u - -283. Is i a multiple of 54?
False
Suppose 15*c = 20*c - 620. Suppose -3*n - 5*m + 563 = c, -5 = -m. Let u = n + 126. Does 24 divide u?
True
Let v be (-13 - -89) + (10*1)/2. Suppose -t + v = -4*f + 303, 5*t = f - 46. Is 8 a factor of f?
True
Suppose 5*b + 3*o - 11 = 0, -2 - 5 = -b + o. Suppose -2*g - 12 = -z - 3*z, 8 = -4*g + b*z. Suppose g*h - 58 = -2*d + h, 2*d + 2*h - 56 = 0. Does 6 divide d?
True
Let q(j) = j**2 - j + 2. Let o = 45 + -44. Let r be q(o). Suppose 5*s - 385 = -3*h, -r*h - 2*h - 2*s + 532 = 0. Is 45 a factor of h?
True
Let a = -13 + 18. Suppose a*l - 17 = -4*d, -l + 11 = 2*d + 4*l. Suppose 4*h - 70 = -2*g + 170, 0 = -d*g - 6. Is 11 a factor of h?
False
Let x = -26929 + 29062. Does 5 divide x?
False
Let s(d) = 11*d - 2*d - 43 + 35 + 24*d**2. Does 32 divide s(3)?
False
Let f(t) = -15 + 39 + 41*t**2 - 101*t - 8 - 8. Is f(7) a multiple of 10?
True
Let k = -122 - -817. Suppose 0 = -3*t - 5*p + k, -2*p - 605 - 83 = -3*t. Does 10 divide t?
True
Suppose 3*w - 122 = -i, -7 = 3*w + 8. Suppose 3*p = -5*z + 2395, 0 = -3*p + 4*z + 2514 - i. Is p a multiple of 67?
False
Let o be (2370/(-14) - 0) + 2/7. Let c = -130 - o. Does 3 divide c?
True
Suppose -289 + 2885 = 11*z. Suppose w - z = 209. Is w a multiple of 10?
False
Let g be 2*(3/(-6)*-9 - 0). Suppose 5*r + 16 + g = 0, -3*r = f - 84. Is f a multiple of 9?
True
Suppose 0*j = 2*j - 14272. Does 11 divide j?
False
Suppose 29*d - 225750 = -76*d. Is 50 a factor of d?
True
Let x(u) = 28*u**2 + 3*u - 4. Let l be x(1). Suppose -34 = -4*v + 5*n, -7*v + 3*n + l = -4*v. Let b = 25 - v. Does 14 divide b?
True
Let w(n) = n**2 + 14*n - 31. Let a be w(-16). Let g be (-1)/(((-4)/80)/a). Let l = 31 - g. Does 11 divide l?
True
Let p = 20965 + -1001. Is 28 a factor of p?
True
Suppose -10*l - 5*c = -5*l - 205, -l + 38 = 2*c. Suppose l = v + h - 184, -12 = -3*h. Is v a multiple of 32?
True
Suppose 3*z + 161 = 197. Let j(w) = -w**2 + 11*w + 33. Does 2 divide j(z)?
False
Suppose -5*k + 14 = -o, -4*o - 6 = -5*k + 20. Suppose 0*m + 7 = m - q, -k*q = 8. Suppose -328 = -5*g - m*d, -148 = -4*g + 2*g + 3*d. Is 17 a factor of g?
True
Let z(n) = 8*n + 7. Let v be z(7). Let d(g) = -g**3 + 19*g**2 + 15*g + 257. Let t be d(20). Let m = t - v. Does 26 divide m?
False
Let l = -1292 + 8060. Is 141 a factor of l?
True
Is 47/(-282) + 39349*(-1)/(-6) a multiple of 151?
False
Let w(g) = -2*g**3 - 80*g**2 - 13*g - 2192. Is w(-46) a multiple of 26?
False
Let z be 14/(-63)*2001 - (-2)/3. Let j = z - -699. Is j a multiple of 7?
False
Suppose -30 = 6*s - 12*s. Suppose -b + 75 = 5*j, -s*j + 3*b + 55 = -0*b. Suppose 16*g = j*g + 360. Is 18 a factor of g?
True
Let j = -7834 + 13464. Is j a multiple of 2?
True
Suppose 4 = 5*k - 6. Let h be 7*1 + 218 + -210. Suppose -4*r - k*d + 218 = 0, 5*d + h + 10 = 0. Is 21 a factor of r?
False
Suppose 3*q + 2*q + 2*u - 37 = 0, 0 = -2*q - 3*u + 17. Suppose 7*w = 54 - 19. Suppose -w*r + q*r - 88 = 0. Is r a multiple of 4?
True
Suppose -39*q + 51473 - 2996 = 0. Suppose -10*y - q = -6523. Does 24 divide y?
True
Let g = 2208 - -11926. Does 49 divide g?
False
Let b = -435 + 679. Let m = b + -99. Does 29 divide m?
True
Let j(u) = 17*u + 50. Let i be j(-13). Let k(a) = 5*a**3 - 4*a**2 + 3*a + 5. Let d be k(-4). Let z = i - d. Is 42 a factor of z?
False
Let o(f) = 9*f + 3. Let l(k) = -3*k - 1. Let m(h) = -8*l(h) - 3*o(h). Let z be m(-1). Suppose 5*u = -z*g + 446, g + 362 = 2*u + 2*u. Is u a multiple of 15?
True
Does 25 divide (-13)/(52/(-12)) + 3547?
True
Let f = -8469 - -21789. Is f a multiple of 74?
True
Let s(p) = -12*p + 8. Let y(o) = -23*o + 15. Let j(z) = 7*s(z) - 3*y(z). Let v be j(-3). Suppose 17 + v = n. Is 9 a factor of n?
False
Suppose 3*y = 5*j + 26 - 5, -4*y + 2*j + 28 = 0. Does 17 divide -3 - (-4 + -142 + y)?
True
Suppose 2986*x - 14812 = 2940*x. Is 8 a factor of x?
False
Let i = -1113 + 3495. Is i a multiple of 38?
False
Suppose 2*u + 48 = -4*m + 84, u = 5*m - 45. Let c(o) = 25*o - 191. Is c(m) a multiple of 26?
False
Let a be (-8)/24 + 182/6. Suppose -32*x + 514 = -a*x. Let n = 546 - x. Does 20 divide n?
False
Suppose a - 19 = 15. Suppose 280 = 2*g + a. Does 3 divide g/12 + (11/4 - 3)?
False
Suppose -2*y + 2759 = -6*h + h, -2*y + 2767 = 3*h. Suppose 1529 + y = 5*m + k, -m + 5*k = -603. Is m a multiple of 53?
True
Let h = 5368 + -3808. Is 10 a factor of h?
True
Let c(f) = -f**3 + 16*f**2 + 47*f + 6. Is c(15) a multiple of 3?
True
Let p = 88 + -10. Suppose g + p = -2*v, -4*v + 264 = -12*g + 8*g. Let z = g - -96