*q, 4*w = -4*q - 0*q + 12. Let y(o) = 3*o + 125. Is y(q) a multiple of 18?
False
Suppose -104 = -m - 30. Let t = -64 + m. Is (-2 - -1)/(t - 9) - -4 a multiple of 3?
True
Suppose 9*s - 2641 = 14*s - 3*o, 0 = 2*s + o + 1063. Let i = 1419 + s. Does 7 divide i?
True
Is 8 a factor of ((-312)/(-30))/(-13)*-13860?
True
Let m(t) = -t**2 - 6*t - 8. Let o be m(-4). Let x = 1 + o. Is -5 - (-186)/3 - (-2 - x) a multiple of 15?
True
Is 273 a factor of 2 - (5 - 4) - (-71771 - -73)?
False
Suppose -36*o + 32*o + 96 = 0. Suppose o*x - 52530 = -10*x. Does 103 divide x?
True
Let v = 50 - 89. Let f = -34 - v. Suppose -f*x = -13*x + 968. Is x a multiple of 7?
False
Suppose 283*x - 282*x + 20036 = 2*g, g - 2*x - 10009 = 0. Does 64 divide g?
False
Let t = -37185 - -56375. Does 202 divide t?
True
Let n = 419 - 422. Let v(m) = -16*m**3 + m**2 - 4*m - 13. Is 40 a factor of v(n)?
True
Does 19 divide 177/1416 - ((-111422)/16 - -1)?
False
Let i(v) = v**2 - v - 7. Let w be i(4). Suppose 0 = -2*d + 10, -5*d - 163 = w*x + 102. Let t = x + 81. Is 3 a factor of t?
False
Suppose 260 = 5*w + 245. Suppose -3*a - w*d + 685 = d, -2*a = -2*d - 480. Does 19 divide a?
False
Let v = -88 - -148. Let c be (-4)/(v/(-415)) + 2/(-3). Suppose 93 = 5*f - c. Is 12 a factor of f?
True
Let j = 3622 + -3091. Is j a multiple of 42?
False
Let v(l) = 3*l - 7. Let j be v(-11). Let s be 2/10 - ((-1848)/j + 8). Is 9 a factor of (3/(s/(-30)))/((-1)/(-63))?
False
Let d(b) = -5*b**2 + 13*b - 112. Let a(m) = -4*m**2 + 12*m - 112. Let r(y) = -6*a(y) + 5*d(y). Is r(0) a multiple of 8?
True
Suppose 25 = 115*r - 110*r. Suppose 7*k - 1477 = -5*q + 10*k, 0 = -r*q - 5*k + 1485. Is q a multiple of 8?
True
Let b(o) = -2*o**2 - 20*o + 8. Let c be (22 - 7)*4/(-6). Let j be b(c). Is 33 a factor of (1683/(-68))/((-1)/j)?
True
Is 136 a factor of ((-43)/(3225/(-1740)))/(3/10200)?
True
Let h(t) = t**3 - 2*t**2 + t - 4. Let d be h(3). Let u be 42/d*(-8 - -36). Let b = -105 + u. Is 6 a factor of b?
True
Let g be ((-5)/(-15)*-3)/((-1)/3). Suppose 4*i + 5*c + 28 = 0, -4*i - 16 = g*c + 4. Is (13/(-52))/(i/424) a multiple of 15?
False
Let j be 1*(-2 + 21 + 4). Let n = j + -19. Suppose -n*t - 60 = -6*t. Is 22 a factor of t?
False
Let z be -262 + (3 + 0)*12/(-18). Let a = -206 - z. Is 5 a factor of a?
False
Let a(m) = -37*m**3 - 2*m**2 - 6*m - 4. Let r be a(-1). Suppose -22*q + r*q - 8580 = 0. Is q a multiple of 12?
False
Let s = -5070 - -9417. Suppose -s = -43*z + 3694. Is 11 a factor of z?
True
Let a(z) = 158*z - 15. Let y(v) = v**2 - 12*v - 8. Let j be y(13). Let c be a(j). Suppose -9*w = -4*w - c. Is w a multiple of 31?
True
Let m be 1 - ((-2)/9 + (-55)/(-45)). Suppose -13*p + 21*p - 2752 = m. Is 11 a factor of p?
False
Suppose -4*n = -51 + 31. Suppose -324 = -2*l - n*x, -2*l - x = -6*l + 604. Does 19 divide l?
True
Suppose 4*g = -4*f, -3*f = -5*g + 18 + 14. Suppose -3234 = -11*d + g*d. Suppose -13*x + d = -838. Is 25 a factor of x?
True
Let z = 48 + -60. Let p = -11 - z. Does 7 divide p - -29 - (6 - 8)?
False
Let f = -55 - -67. Let i(t) = t**3 - 13*t**2 + 10*t + 27. Let l be i(f). Is 13 a factor of (l/6*0)/4 - -117?
True
Let o(v) = 5*v**2 + 9*v - 9. Let k be o(-7). Let n(i) = 5*i**3 - 3*i**2 - i + 4. Let b be n(3). Let d = k - b. Is d a multiple of 5?
False
Suppose -950 = -39*a + 44*a. Let b = -37 - a. Is 22 a factor of b?
False
Is 3 - ((-10)/(-20)*12 - 41979) a multiple of 14?
False
Let c be -6 - -4 - 2 - -81. Suppose b - c = 129. Does 5 divide b?
False
Suppose -7*q = -10*q. Suppose 6*x - x - u - 1556 = 0, q = 2*x - 2*u - 616. Is 13 a factor of x?
True
Suppose 12 = -3*l, 2*f + 6*l - 6876 = 11*l. Is f a multiple of 19?
False
Let w(h) be the second derivative of 3*h**5/10 - h**4/4 - h**3/6 + h**2 - 16*h. Let k be w(2). Suppose j - 4*f = k, 19 + 102 = 3*j + f. Is 8 a factor of j?
True
Is 57 a factor of 11 + (-112)/12 - 1*(-136012)/12?
False
Let d(u) = -38*u - 61*u + 82*u - 65. Is d(-25) a multiple of 24?
True
Suppose q + 3*q - 13798 = -2*r, 4*q - 13801 = -r. Is 17 a factor of q?
True
Suppose 82*n = 64*n + 63*n - 45135. Is n a multiple of 4?
False
Let i = 1189 + -693. Is 3 a factor of i?
False
Let q = -9090 - -13767. Is 93 a factor of q?
False
Suppose -1177*s = -1193*s + 52256. Is s a multiple of 71?
True
Let q = 25 + -18. Is 3/7*-1 + 87/q a multiple of 2?
True
Let m(t) = -2*t**2 + 78*t - 240. Does 12 divide m(24)?
True
Let d(u) = 31*u - 28. Suppose 30 = 7*s + 3*s. Does 4 divide d(s)?
False
Suppose -2*v - 22282 = -4*f, -4*f + v - 10340 = -32617. Is 16 a factor of f?
True
Is 7 a factor of 253/418 + (-8)/76 + 19122/4?
True
Suppose -2*h - 168 = -0*h. Let o = h - -183. Suppose -5*n = r - 45, r - o = 4*n - 27. Is r a multiple of 25?
False
Suppose -7711 = 618*c - 629*c. Does 2 divide c?
False
Suppose 5*w - 10*w + 3*x = -12146, 0 = w - 4*x - 2419. Is 11 a factor of w?
True
Let t(s) be the third derivative of 7*s**5/60 - s**4/6 - s**3/3 + 17*s**2. Let f be t(-1). Suppose 0*u + f*u = 612. Is 10 a factor of u?
False
Suppose 5*b - 6 = -3*d + 3, -2*d + 6 = b. Let k be d/(-1*3/(-63)). Suppose k = -n + 188. Does 25 divide n?
True
Suppose -6*v - 1044 = 23*v. Suppose -4*d - 2*c + 323 = -c, -4*c = 4. Let n = v + d. Is 15 a factor of n?
True
Suppose 5*r - 4*q - 14055 = 0, 0 = 59*q - 60*q + 5. Is r a multiple of 63?
False
Suppose -5*f = 4*a + a + 25, 5*f - 2*a + 4 = 0. Let u be -1 - f*(-22)/16*12. Is 33 a factor of 5 - (u*2 - 1)?
False
Let f(t) = -4*t + 83. Let i be f(36). Let w = 501 + i. Is w a multiple of 40?
True
Suppose 5*d = -2*n + 25, -3*n + 16*d - 12*d = -95. Suppose 2*i - n = -3*i. Suppose -3*v = i*f - 603, -6*f = -2*v - 2*f + 402. Is v a multiple of 23?
False
Let j = 61 + -53. Suppose -2*f + j = -0. Suppose f*q + 22 = -3*g + 59, 15 = g + 2*q. Is g a multiple of 4?
False
Let i = -30851 - -31327. Is 7 a factor of i?
True
Let t(u) = -2*u**3 + 4*u**2 + 3*u + 1. Let g be t(7). Let s = g + 508. Does 2 divide s?
True
Let c(g) = -31*g + 17. Let r be (-8)/(-1 + -1) - 0/(-12). Let b be c(r). Let h = b - -228. Is 11 a factor of h?
True
Suppose -6*q + 72229 = -4*i - 3*q, 4*q - 36122 = 2*i. Is 0 - i/25 - (-4)/5 a multiple of 13?
False
Suppose -4*j + c = -22339, -71*j + 69*j + 4*c = -11152. Does 8 divide j?
False
Let a(m) = -4*m**3 + 16*m**2 + 16*m. Does 51 divide a(-3)?
True
Suppose -12862189 = -146*k - 1139411. Is 20 a factor of k?
False
Let q be -51*(-42)/(-30) + (-2)/(-5). Suppose -2*g = 2*s + 2*s + 78, -17 = s + 3*g. Let o = s - q. Is 15 a factor of o?
False
Suppose -8*r + 3*r = 2*y - 37, -2*r = -3*y - 30. Let n be (-248)/(-18) + (-3)/(54/(-4)). Suppose 0 = -r*x + n*x - 100. Is 3 a factor of x?
False
Suppose -7*n + 2*n = 380. Suppose 42*p - 2240 = -46*p + 5152. Let y = p + n. Does 2 divide y?
True
Suppose 5*q - 17 = 5*g - 27, 2*q + 1 = g. Suppose -2*i - 5*c + 22 = 0, i = g*c - 3 + 14. Is i a multiple of 4?
False
Suppose 2*a - 38*x + 43*x = 70031, -3*a + 105021 = -x. Is 209 a factor of a?
False
Let l = -3463 + 11247. Is l a multiple of 139?
True
Let i = -3423 - -11011. Is 28 a factor of i?
True
Suppose -3*g = -2*y - 2, 4*y + 7*g - 40 = 2*g. Suppose -8 = -z + y*z, -2*k - 2*z - 38 = 0. Let j(r) = -r**3 - 16*r**2 + 16*r + 19. Is j(k) even?
True
Suppose 2*q + 3*b - 75 = 0, 3*b = -2 - 7. Suppose q*c - 3105 = 33*c. Is c a multiple of 11?
False
Let l(u) = 735*u + 7570. Is l(-8) a multiple of 13?
True
Let l = -663 + 710. Suppose -l*y + 8407 = -27360. Is 31 a factor of y?
False
Suppose -427729 = -19*d - 68553. Does 7 divide d?
False
Let u be 3/4 - 79/4. Let m(l) = -l**2 - 26*l - 22. Let d be m(u). Suppose 3*q = -5*w + 5*q + d, 0 = 2*w + 5*q - 56. Is 23 a factor of w?
True
Suppose -2*o + 1 = 5*r - 24, 4*r + 2*o = 20. Suppose 8440 = r*s + 3*s. Does 62 divide s?
False
Let i = 274 + -272. Suppose 0 = -5*q + i*x + x + 153, -x - 31 = -q. Is 15 a factor of q?
True
Let h(l) = l**2 - 30*l + 15. Let b be h(29). Is 6 a factor of (b/35)/(2/(-1020))?
True
Let w(m) = 86*m**2 + 721*m + 7. Is 85 a factor of w(4)?
False
Is 7081 + (-8 - 4/(0 - 1)) a multiple of 120?
False
Let y = -32978 + 37692. Is y a multiple of 2?
True
Let v(d) = 16*d**2 + 13*d + 131. Let t be v(-10). Suppose 19*h - t - 546 = 0. Does 4 divide h?
False
Suppose -4*b + 126 = 14*b. Let a be b*2*24/28. Is (a - -44)/(1*(-1)/(-2)) a multiple of 28?
True
Let b = -6389 - -13326. Is 23 a factor of b?
False
I