ue
Suppose 778*z = 807*z - 115014. Is 40 a factor of z?
False
Let p be 2*4/((-32)/12). Let j be -1*(-3)/((27/(-12))/p). Suppose j*k = 5*i - 58, 5*i - 43 - 11 = 2*k. Is i a multiple of 2?
True
Let r = 37 + -32. Suppose -2*f + 61 = -r*x, 7*x = f + 3*x - 29. Does 2 divide f?
False
Let z(v) = -v**2 + 4*v + 3. Let x be z(4). Let r be x/5 + (-204)/(-85). Suppose -236 = -p + r*c, 3*c + c + 8 = 0. Is 15 a factor of p?
False
Suppose 2*b - 116 = -396. Let i = b - -44. Let l = -81 - i. Is l a multiple of 2?
False
Let b(h) = -9*h**2 + 5*h - 19. Let s(r) = -2*r**2 + 3*r - 19 + 9 - 2*r**2. Let p(w) = 3*b(w) - 7*s(w). Does 4 divide p(9)?
True
Suppose -1229 - 211 = -2*b + 1252. Is b a multiple of 34?
False
Suppose -3*k = 2*i - 837, 2*k - 7*k + 1395 = -i. Suppose k*a = 280*a - 415. Is a a multiple of 63?
False
Is -9 + 4/2 + 11027 a multiple of 19?
True
Let i = 630 - 75. Suppose 0 = 22*a - 17*a - i. Is a a multiple of 13?
False
Suppose 2*k = -4*v + 19268, -51*k + 3*v - 19272 = -53*k. Does 67 divide k?
False
Let t = 108 - 115. Let g(j) = j**3 + 16*j**2 + 11*j + 8. Let p be g(t). Suppose 2*c - 5*l - p = 0, -l - 2 = -0*l. Is 16 a factor of c?
False
Let g = 46 - 40. Suppose 0 = -g*u + 282 + 864. Does 11 divide u?
False
Suppose 11*q - 622 = 687. Is q + -2 - 6*5/(-10) a multiple of 30?
True
Is ((-393)/2 - (-9)/(-3))/((-9)/120) a multiple of 133?
True
Let c be 237 + 1*(-3)/(-1). Let b = -599 - -935. Let v = b - c. Is v a multiple of 14?
False
Let v be 2 + -3 + 3/1. Let a(n) = 71*n**2 - 4*n. Let d be a(1). Does 34 divide d/v + -1 - (-129)/86?
True
Suppose -52324 = -10*x + 22986. Is x a multiple of 29?
False
Let b(v) = 9*v**2 - 4*v - 3. Let d be b(2). Suppose 0 = 26*k - d*k - 824. Is 68 a factor of k?
False
Is -7 + 3156 - (-3 + -1 + (-7 - -8)) a multiple of 18?
False
Suppose -2*g = -6*g + 3*q + 25, 0 = -2*q + 2. Suppose -g*i - 6240 = -9*i. Does 12 divide i/12 - (-3 - 1)?
True
Let h(t) = -156*t + 9. Let j be h(-2). Suppose -4*m - 271 = j. Let u = m + 292. Does 16 divide u?
True
Let d be 522/4 + 24/16. Suppose -4 = -n, 0 = 3*x + n - d + 20. Is x a multiple of 26?
False
Suppose -684 = 9*s - 21*s. Suppose -4161 = -8*n - s. Is n a multiple of 27?
True
Let t(l) be the third derivative of 1/60*l**5 + 0 - 1/8*l**4 + l**3 - 7*l**2 + 0*l. Does 2 divide t(3)?
True
Let u = 45 + -36. Does 3 divide (31 + -33)*(0 - u/2)?
True
Suppose 9*h = 4*h - 2*y + 13, 5*y = 3*h - 14. Suppose 5635 = h*i + 4*i. Suppose 456 = 3*a - 3*n, -4*n + i = 5*a - 0*n. Is a a multiple of 10?
False
Suppose -36666 - 51156 = -17*w. Does 41 divide w?
True
Let c = -907 + 1327. Does 70 divide c?
True
Let o(b) = 138*b**3 - 7*b**2 + 32*b - 60. Is 13 a factor of o(4)?
True
Let m be 38/5 - (-2)/5. Suppose 16*w + 14 = 14*w, 5*a + 2*w = 21. Suppose -a*p - 45 = -m*p. Is 15 a factor of p?
True
Let q = 159 + -784. Let r = q - -1496. Is r a multiple of 13?
True
Let k be 48/80 - 47/(-5). Is k/(-25) - (-13)/((-130)/(-84)) a multiple of 3?
False
Let n(c) = -41*c + 95. Let u be n(-12). Let i = 169 + u. Is i a multiple of 21?
True
Let s(f) = -29*f - 310. Let g be s(13). Let o = 1999 + g. Is 82 a factor of o?
True
Let w(a) = 659*a + 606. Is w(44) a multiple of 31?
False
Let j = -61 - -61. Suppose j*t = -2*t + 8. Suppose t*v - 86 = 154. Is 27 a factor of v?
False
Let m be 5 + (-4)/(24/30). Suppose -56*p + 60*p - 184 = m. Let w = -6 + p. Is 40 a factor of w?
True
Is (-3)/6 + ((-5)/(-20) - (-1221)/4) a multiple of 14?
False
Suppose -5*u - 87*f + 9533 = -84*f, u = -2*f + 1915. Is u a multiple of 24?
False
Suppose 2*g + 0*g = 2*s + 10, 2*s + 3 = g. Let n(c) = 2*c + 2*c - g*c - 2 + 2*c**2 + 5. Is 3 a factor of n(5)?
False
Suppose 0 = 5*a - 10*a - 2*q + 1434, -3*q + 1150 = 4*a. Suppose -h - 4*p + a = -94, 0 = 2*h + 4*p - 744. Does 7 divide h?
True
Let l(b) = 146*b - 43. Is l(10) a multiple of 13?
True
Suppose 4*q = -5*q - 6*q. Is (-2 - q)/(20/(-510)) a multiple of 17?
True
Let c = 23364 - 16287. Does 21 divide c?
True
Let t = -22 + 38. Suppose 0 = 12*x - t*x + 36. Suppose -2*s + x = -91. Does 25 divide s?
True
Let d(b) = -9*b**3 - 3*b**2 - 5*b - 3. Let n = -570 - -567. Is d(n) a multiple of 10?
False
Let g be 6/(-9)*12/(-8) + 10. Let z = 15 - g. Is 9 a factor of (1 + 6 - z)*15?
True
Let u = -271 + 1866. Is 103 a factor of u?
False
Let b = 540 + -39. Let h = b - 267. Let d = -139 + h. Is 16 a factor of d?
False
Let o(s) be the first derivative of -s**4/4 + 10*s**3/3 - 4*s**2 - 6*s - 21. Let d be o(9). Is 11 a factor of (2/(-4))/(d/231)*-2?
True
Does 35 divide (-14)/63 + (-891975)/(-135)?
False
Suppose 3034*m - 18304 = 3023*m. Is m a multiple of 11?
False
Suppose 5*v + 4*d - 2926 = 0, 637*v + 4*d + 614 = 638*v. Is v a multiple of 6?
False
Suppose 465*h = -469*h + 920*h + 343770. Is 83 a factor of h?
False
Suppose 3*y + 4*b - 93 = 0, 0*y - 2*b = 3*y - 87. Let w be (2/3)/(2/y). Let t = 19 + w. Does 7 divide t?
True
Let p = -180 - -182. Suppose -487 = -2*y + 2*h + 153, p*y + 3*h = 655. Is y a multiple of 9?
False
Suppose 4*f - 5*c - 253 = 0, -f = 2*f + 4*c - 213. Let q be (0 - (-12)/20) + f/5. Is 8 a factor of 1001/q + 2/4?
True
Suppose -152 = -2*z - 0*z - 2*p, -4*z - 3*p + 303 = 0. Let c be (-4638)/(-4) - (z/10)/5. Is 1/3 - (-3 - c/9) a multiple of 22?
True
Let v(l) = -l - 7 - 8 + 1. Let r be v(-9). Is (((-8)/r)/(-2))/(5/(-500)) a multiple of 29?
False
Let b be ((-44)/(-12) + -5)*(-60)/8. Suppose -5*m + 2223 = -14*n + b*n, 3*m - 2*n - 1333 = 0. Is 17 a factor of m?
False
Let l be ((-4 - -6) + -2)/1. Suppose l = -4*i + 2636 - 480. Is 11 a factor of (6/2)/(21/i)?
True
Let y = -2539 + 10251. Is 186 a factor of y?
False
Let t(r) = 4*r**2 - 18*r - 3. Let i be t(5). Suppose i*n = -3*n + 7200. Is n a multiple of 9?
True
Suppose -4*g = 8*y - 13*y - 58863, 58856 = 4*g - 4*y. Does 39 divide g?
False
Suppose 5*s - 144 = -11*s. Is (s/21 - (-2894)/(-56))*-4 a multiple of 44?
False
Suppose 0 = -4*y - n + 30267, -3*n + 25 - 4 = 0. Is 12 a factor of y?
False
Let h = -91 - -301. Let c = h - 176. Is 8 a factor of c?
False
Let z = 334 - 245. Let r = 438 + z. Does 31 divide r?
True
Let z(p) = 14*p + 214. Let s be z(-15). Suppose -4*m = -s*y - 3556, 2*y = -3*m + 923 + 1754. Is m a multiple of 18?
False
Suppose 3*k + 132 = 756. Let r = k + -369. Let d = 371 + r. Is 14 a factor of d?
True
Let q(j) = -2*j**2 + 45*j - 62. Let h be q(21). Does 21 divide h/((2 + -1)*40/44360)?
False
Suppose 0 = -2*n + n + 7. Suppose 3*i - n = 5. Suppose q = 4*m - 164, q = -4*m + i*q + 172. Does 8 divide m?
True
Suppose 4*q = 96 - 84. Suppose -2*a = -4*y - 256, q*a - 2*a - 135 = -5*y. Suppose j = 6*j - 5*x - 130, 0 = 5*j - 3*x - a. Does 26 divide j?
True
Suppose 0 = -4*k - o + 18949, 2*k - 9470 = -56*o + 54*o. Is 23 a factor of k?
True
Let r(g) = -2985*g + 1275. Does 120 divide r(-5)?
True
Suppose -5*x - 224 = 3*n - 722, -n - 4*x + 159 = 0. Suppose 4*j + 400 = 4*f, 109 = f + 13*j - 11*j. Let v = n - f. Is v a multiple of 15?
False
Let s(f) = 5*f - 2. Let a be s(-4). Let x = a - -25. Suppose -b = x*b - 592. Is b a multiple of 37?
True
Let m = -4674 + 12066. Is 28 a factor of m?
True
Let x be -1 - (3*-6 + 3). Suppose -x*s + 40 = -10*s. Suppose -82 = -2*q + s. Does 14 divide q?
False
Let g(l) = -94*l + 48. Let m be g(5). Let w = -269 - m. Does 51 divide w?
True
Let o = -2794 - -15226. Suppose 29*h = 8*h + o. Is h a multiple of 17?
False
Suppose 100*u = 32*u + 6800. Suppose 257 = -3*x + w, 0 = -4*x + 3*w - 258 - 88. Let l = u + x. Is 3 a factor of l?
True
Suppose -9*m - 1090 = 314. Let n = 481 + m. Is n a multiple of 25?
True
Let r(x) = -208*x - 104. Let z be (-1)/5 + (637/(-65) - -6). Is r(z) a multiple of 29?
False
Suppose -2*l + 7*d = -901, l + 4*d - 211 - 262 = 0. Is 3 a factor of l?
False
Is -46*(2290/(-4) + (23 + 9)/(-16)) a multiple of 383?
True
Let j be 3 - 2 - 2/(-2). Let g = 165 + -169. Does 7 divide (4 - j)*g/3*-15?
False
Let r = -108 - -114. Does 40 divide 192 + -38 + r/1?
True
Let a(h) = 158*h**2 - 32*h - 6. Does 12 divide a(3)?
True
Let t = 412 + -403. Is (2898/(-54))/((-1)/t) a multiple of 9?
False
Let n = -3715 + 5469. Does 8 divide n?
False
Let v(y) = y**3 + 16*y**2 + 12*y - 36. Let z be v(-15). Suppose -z*p - 14542 = -31*p. Does 9 divide p?
False
Let j(u) = u**2 + 5*u - 21. Suppose -6*s + 56 = -2*s. Let h = 5 - s. Is j(h) a multiple of 2?
False
Suppose -2*d = 3*b - 556