ide i?
True
Let q(x) = -8 - 7*x - 20*x**2 + 46*x**2 - 25*x**2. Is 14 a factor of q(13)?
True
Let q = 81 + 25. Suppose 0 = -2*l - 52 - 74. Let j = q + l. Is j a multiple of 18?
False
Suppose -x - 4*x + 2 = -h, 5*h - 74 = 4*x. Suppose h*w = -7655 + 52331. Suppose w = 16*y - 1150. Is 19 a factor of y?
False
Let w(n) = -6*n**3 - 5*n + 12. Let m(u) = -7*u**3 - u**2 - 5*u + 14. Let d(p) = 5*m(p) - 6*w(p). Let h be (3 - 0) + (2 - 0). Is d(h) a multiple of 19?
False
Suppose 3*l + 26 = 4*g, -5*l + 4*l + 34 = 4*g. Let q(t) = t**3 - 24*t + g*t**2 - 6 - 8*t + 27*t. Is q(-6) a multiple of 16?
True
Suppose -150*a - 112*a + 544766 = 31246. Is a a multiple of 7?
True
Let i(c) = c**2 + 39*c - 132. Let k be i(-42). Suppose -l + 89 = -82. Is 19 a factor of (8/k)/((-3)/l)?
True
Let q(p) = p**2 - 24*p - 2066. Let l be q(59). Let a be 0 + 0 - (-4 - -2). Is (a - 4) + 15 + l + 1 a multiple of 10?
False
Suppose 0 = -5*o + 2*s + 30, -o + 2*o + 2*s = 18. Let j be (-2 + 0)*(-189)/6. Suppose r = -o*r + j. Is 7 a factor of r?
True
Let x(i) = -32*i - 14. Let s be x(5). Let t = 311 + s. Let c = t - 68. Does 12 divide c?
False
Suppose -5*x - 120 = -5*k, 2*x = 3*x + 5*k. Let z = 97 + x. Let s = z + 5. Is s a multiple of 24?
False
Let w = -38 + 41. Suppose -w*g - 1232 = -11*g. Does 14 divide g?
True
Let p = -297 - -197. Let q = 140 + p. Is 27 a factor of q?
False
Let u(q) = -937*q + 4079. Does 5 divide u(-28)?
True
Let c = 3257 - -2197. Is c a multiple of 27?
True
Let i be (-9)/((-63)/(-2)) + (-8236)/(-14). Suppose 38*b - i = 34*b. Is 21 a factor of b?
True
Suppose -2*n + 0*n = 2, 4*o = 4*n + 12. Let q(t) = t**2 - 1. Let u be q(o). Suppose u*l = 4*x + 51 - 384, -2*l = 4*x - 358. Does 26 divide x?
False
Is 29 a factor of (1 - (-10)/6) + 36543/9 + 7?
False
Suppose 3*m + g = 383, -6*m = -8*m + 2*g + 242. Is m a multiple of 3?
True
Is 15 a factor of (-9)/6 + -4 + 167448/16?
False
Suppose -23856 = -3*n + 2*q, n - 1220 = 5*q + 6745. Does 15 divide n?
True
Is ((-210)/28)/(17/(-42806)) a multiple of 5?
True
Let a = 292 + -170. Suppose a*g + 2310 = 129*g. Does 43 divide g?
False
Let h(t) = 3*t + 36. Let w be h(-12). Suppose w = 19*p - 4*p - 3555. Is p a multiple of 19?
False
Let x be (-2 + 1)/(3/(-27)). Let d(r) = r**3 - 6*r**2 - 18*r + 11. Does 7 divide d(x)?
False
Let h = 53742 - 17582. Does 20 divide h?
True
Let l = -6140 + 10681. Suppose 0 = 11*s + l - 11493. Does 19 divide s?
False
Suppose 5*u = 3*m + 99371, 3*u = -36*m + 35*m + 59631. Is 23 a factor of u?
False
Let b(h) = -27*h - 5. Let p be b(-1). Suppose 0 - p = 11*m. Is 5 a factor of (258/(-15))/((-3)/((-15)/m))?
False
Let i = 86776 - 50493. Is 13 a factor of i?
True
Let q(h) = -5*h - 26. Let d be q(-3). Let z = 115 + d. Is 26 a factor of z?
True
Let g be (-3648)/(-45) - 1/15. Suppose 4*x = 120 - 24. Suppose x = -79*m + g*m. Is m even?
True
Suppose -2*v + 20 = 4*h, -3*v + 22 = 2*v + 3*h. Suppose -v*g = 2*g - 4*c - 392, 5*c - 182 = -2*g. Suppose -6*n + g = -2*n. Is n a multiple of 16?
False
Let x(t) be the third derivative of 0 - 1/60*t**5 + 32*t**2 - 13/12*t**4 + 1/3*t**3 + 0*t. Does 34 divide x(-12)?
True
Let m(o) = 59*o + 121. Let t be m(1). Suppose 364 = 4*w + 2*r, -3*w - 2*r + 178 = -96. Let f = t - w. Is 6 a factor of f?
True
Let j = -5523 - -11760. Does 27 divide j?
True
Let m = 2600 - 1152. Suppose 0 = 4*b + 2*u - 1156, 26*b + 4*u - m = 21*b. Is b a multiple of 48?
True
Suppose -14*f + 65250 = -68310. Suppose 17*l = 47*l - f. Does 106 divide l?
True
Let x(m) = m**3 + 7*m**2 + 5*m - 2. Let y be x(-5). Let d(b) = b**3 - 24*b**2 + 23*b - 31. Let p be d(y). Is 4 a factor of (p/(-3))/((-11)/(-33))?
False
Let a be (0/(-1))/(2/1). Let n(j) = 17*j + 0*j**2 + a*j**2 - j**2 - 38. Is 2 a factor of n(14)?
True
Suppose 0 = -3*g - 3, 5*q - 284*g = -280*g + 43364. Is q a multiple of 8?
True
Let u = 683 + -611. Is 8 a factor of ((-48)/u)/((-1)/1461)?
False
Suppose 0 = -13*f - 574 + 2966. Let s = 437 - f. Is s a multiple of 11?
True
Suppose 0 = -z + u + 13, 2 = -2*z + 4*u + 22. Let x(t) = -t**2 + 20*t + 19. Is 27 a factor of x(z)?
False
Let g = 6 - 3. Suppose u + 14 = 2*o, u - 21 = -g*o - 3*u. Suppose f - o*f = -354. Does 16 divide f?
False
Suppose 7*a - 31 - 32 = 0. Suppose -a*k + 47*k = 22990. Is k a multiple of 11?
True
Let p = 4154 - 8054. Does 52 divide 2 + -2 - p/5?
True
Suppose u = -2*d - 3*d + 5525, -3*d + 4*u + 3338 = 0. Suppose -7*r + 4788 = d. Let c = r - 376. Is c a multiple of 25?
True
Let z = 9600 - -25604. Is 19 a factor of z?
False
Suppose 26*m - 2793 = 7*m. Suppose -m = -3*r + 4*s - 11, s + 4 = 0. Does 8 divide r?
True
Let x = -6306 + 20138. Is 14 a factor of x?
True
Let h be 17030/(-4)*(-2)/5. Suppose -5*c = -5*k - 4235, 4*c + h = -k + 5111. Does 16 divide c?
False
Let a = -172 + 172. Let o(c) = c**3 + c + 157. Is 25 a factor of o(a)?
False
Suppose 0 = 5*y - 5*c + 270, -4*y = c - 3*c + 218. Let m = 257 + y. Is 8 a factor of m?
False
Let q(g) = 61 + 20 + 34*g + 32. Is q(6) a multiple of 11?
False
Let b be -2 + (-120)/(-57) + (-550)/(-190). Suppose 0 = 7*m - b*m + 1204. Let f = m - -521. Does 16 divide f?
False
Let d be 24 - 20 - 91*-1. Let t be -2 + 2*(-82)/4. Let o = t + d. Is 7 a factor of o?
False
Suppose x + 25 = 100. Let p be (-28)/7 + x + 1. Suppose 0 = 7*s - 13*s + p. Is s a multiple of 12?
True
Let s = -14 + 17. Let z be -1 + s + (1 - (-1 + -176)). Suppose -f = -5*n - 90, -n + 322 = 5*f - z. Is 25 a factor of f?
True
Let v(f) = -f**2 + 6*f + 10. Let x be v(-14). Let a = 559 + x. Suppose 3*j - k - a = 4*k, 487 = 5*j - 3*k. Is 49 a factor of j?
True
Let j = -264 - -262. Does 5 divide 135*(-12)/(-9) + 6/j?
False
Let g = 1088 + -733. Suppose 6*a - 4*r + 11 = 5*a, 2*a - 5*r = -10. Suppose -x = 2*x - 3*s - 219, -5*s + g = a*x. Is x a multiple of 13?
False
Let y(l) be the third derivative of 0*l + 3/8*l**4 + 0 - 11/6*l**3 + 1/60*l**5 - 38*l**2. Is y(11) a multiple of 19?
True
Suppose -5*b = -5*q + 6505, -5*q - 97*b + 92*b = -6585. Is 35 a factor of q?
False
Let f be 4*((-15)/5)/(-3). Let v(g) = g**3 - 2*g**3 + g**2 + 0*g**3 + 5*g**2 - 4*g. Is 3 a factor of v(f)?
False
Let w(p) = 40*p + 3. Let g be w(9). Let s = -228 + g. Is 11 a factor of ((-58)/3)/(3*(-6)/s)?
False
Let k be 2844/(-7) + (-58)/(-203). Let r = k + 754. Is 29 a factor of r?
True
Let h = 22312 - 10780. Is h a multiple of 62?
True
Let k = 37 - 38. Let h(i) = -31 - 60*i**3 - i**2 - 73*i**3 + 30 - 2*i. Does 19 divide h(k)?
True
Let j = 458 + -307. Let q(r) = -37 + j - 4*r - 32. Is 19 a factor of q(-8)?
True
Let l(n) = 9*n**2 - 6*n - 3. Suppose -4 = -2*b - 10. Let t be 0 + (-2 - b) - 4. Is l(t) a multiple of 32?
True
Let v = -5459 - -6689. Is 25 a factor of v?
False
Suppose 3*j - 3*w - 6 = 0, -12 = j - 5*w - 2. Suppose 0 = -j*o - 5*o + 7240. Does 54 divide o?
False
Suppose -278 - 574 = -12*b. Suppose -b*v + 74*v - 996 = 0. Is v a multiple of 13?
False
Suppose 19571 = g + 5*o, -189*o - 12 = -192*o. Does 204 divide g?
False
Is 30/(-72)*3 + 4/((-80)/(-110285)) a multiple of 13?
False
Let z be 9/(-12) + (-515)/(-4) + 0. Suppose 654 = z*x - 122*x. Is 9 a factor of x?
False
Suppose -6*y - 6560 = 4*y. Let s = -458 - y. Is 33 a factor of s?
True
Suppose -23*t = 2*k - 28*t + 19, -5*t + 16 = -3*k. Suppose -3*x - 253 = -5*b, -k*b + x = -33 - 118. Is b a multiple of 25?
True
Let g(c) be the third derivative of c**5/60 - 5*c**4/8 - 7*c**3 + 29*c**2. Let o be g(17). Let s(w) = -w**2 - 15*w + 18. Is s(o) a multiple of 52?
False
Let c = 6 + 6. Let n(r) = -r + 12. Let l be n(c). Let o = 83 - l. Is o a multiple of 15?
False
Let l(n) = 239*n**2 - 35*n - 30. Is l(-13) a multiple of 68?
False
Let n be 2794/77 - (9/7 + -1). Suppose -33*u = -n*u + 972. Does 12 divide u?
True
Let h = -5943 + 9959. Is h a multiple of 27?
False
Let x(k) = 1090*k**2 - 13*k + 52. Is 88 a factor of x(3)?
False
Suppose -3*f = 52*f - 37730. Does 14 divide f?
True
Is 75 a factor of -12*645/(-360)*496?
False
Let k(z) = -z**2 + 21*z - 5. Let p be k(19). Let o = -33 + p. Suppose -5*l = m - 390 - 150, o = -5*m. Is l a multiple of 36?
True
Suppose 177*d - 286330 = 21*d + 1185998. Is d a multiple of 6?
True
Let x(v) = -v**2 - 8*v + 122. Let w(l) = 40*l - 80. Let o be w(2). Does 72 divide x(o)?
False
Suppose q = -3*d + 38, 2*d + 5*q - 14 = 33. Suppose d*t - 7253 = 568. Is 9 a factor of t?
True
Let d(a) = -a**3 