
True
Let x be (576/10)/4 - 12/30. Does 14 divide (-441)/x*(-12)/9?
True
Let p(v) = -2*v**3 + 18*v**2 - 7*v - 5. Suppose -y = 2*h - 4, 0*h + 12 = 2*y + 2*h. Is 21 a factor of p(y)?
False
Suppose 11*b = 19*b + 59968. Is 24 a factor of (-112)/52 - -2 - b/52?
True
Suppose 5*j - 10 = 5*r, 0*j + 3*r - 22 = -4*j. Suppose j*b = i + 4, -2*b - 3*i - 12 = -b. Does 8 divide -104*-1*(b + 1)?
True
Let n = 8 + -19. Let k(c) = -23*c**2 - 49*c - 59. Let o(a) = 8*a**2 + 16*a + 20. Let j(g) = -6*k(g) - 17*o(g). Does 7 divide j(n)?
True
Let i(z) = 72*z + 3. Let o(l) = -l**2 - 6*l + 77. Let y be o(6). Is 14 a factor of i(y)?
False
Suppose -4*w - 2540 = -5*h, -40*w + 25 = -45*w. Is 14 a factor of h?
True
Suppose 5*j + 3257 = 807. Let b = -67 - j. Does 47 divide b?
True
Suppose i = -4*x + 2*i + 4639, -3*i + 1163 = x. Suppose 0 = 19*k + x - 4010. Is 10 a factor of k?
True
Let a(x) = -72*x - 372. Does 11 divide a(-7)?
True
Suppose 3*b - 7*d + 3*d = 483, d + 644 = 4*b. Let j be 1 + 15*23 + 3. Let c = j - b. Is 36 a factor of c?
False
Is 8/(-10) - (4216272/20)/(-17) a multiple of 20?
True
Let j be (-6)/(96/(-8)) - (-2)/(-4). Suppose -26*h + 25*h + 468 = j. Is h a multiple of 26?
True
Suppose 5*a = 3*f - 5*f + 20, 12 = 3*a + 2*f. Does 12 divide 59/(3/3*(a + -3))?
False
Let t = -100 + 105. Suppose -t*y + 1430 = 70. Does 16 divide y?
True
Let f = -5 + 5. Suppose l - 6*l + 3 = 4*z, -5*l + 2*z + 21 = f. Suppose -404 = -5*h + l*q, 3*h + 2*h + 4*q - 418 = 0. Does 14 divide h?
False
Let x(u) = 5*u**2 + 6. Suppose 4*p + 60 = o, -2*p + 3*o = 7*o + 48. Let h be (-18)/(-12)*p/(-6). Is 27 a factor of x(h)?
False
Suppose -155*x + 160*x = -20, 3*n + 2*x - 12436 = 0. Is 155 a factor of n?
False
Suppose -2*i + 0 + 6 = 0. Suppose -26 = 5*c + 4*g, -i*c + c + g = 0. Does 8 divide c + 6 + (0 - -94 - 2)?
True
Let n = 389 + -346. Let h = 615 + n. Is 18 a factor of h?
False
Suppose -13*k = -8*k - 60. Let j be (1179/k)/(6/16)*-1. Is -2 - (j + 0/2) a multiple of 21?
False
Let a(s) = -s**3 - 11*s**2 + 12*s + 5. Let m be a(-12). Suppose m*w = 9*w - 304. Let g = -50 + w. Does 2 divide g?
True
Suppose 52*f - 86*f + 88400 = 0. Does 40 divide f?
True
Let g(s) = s**3 + 20*s**2 + 15*s - 4. Let t be g(-30). Is 12/(-54) - (t/18 - 0) a multiple of 25?
True
Suppose 2*k = f - 1690, -6*k - 1674 = -f - 8*k. Suppose 5*a + 197 - f = 0. Is a a multiple of 7?
False
Let g be 56/(-16)*12/(-14). Suppose 0 = -g*v + v + 154. Is 14/v + (-20)/(-11) a multiple of 2?
True
Suppose 20*h - 29*h = -27. Suppose -3*i = j - 247, 6*i - 485 = -2*j + h*i. Is 39 a factor of j?
False
Suppose 27*v - 342316 = -99*v + 394532. Does 34 divide v?
True
Let c(h) = h**3 - 18*h**2 - 5*h + 86. Let g be c(14). Let b = g - -1516. Is b a multiple of 34?
True
Let n = 192 + -175. Let t(r) = -r + 26*r - r**2 - 3 - 3. Is t(n) a multiple of 26?
True
Let n = -70 - -73. Suppose h + 4 = n*h. Suppose 2*g = -h*a - 3*a + 918, 0 = 3*a + 3*g - 558. Is 26 a factor of a?
True
Suppose -5*k + 94 = -511. Let f be (-4)/(-14)*1 - 10851/(-21). Suppose -b + f = 4*v, -2*v = -v + 3*b - k. Is v a multiple of 48?
False
Suppose -110744 = -165*r + 2294626. Is 363 a factor of r?
False
Let x(r) = -2*r**3 + 11*r**2 + 8*r - 28. Let v be x(5). Suppose -v*t + 5*t = -16640. Is t a multiple of 25?
False
Is 15 a factor of (303/(-1818))/(1/159)*-84?
False
Suppose -5*v + 86501 = 4*m - 6173, 0 = 3*m + 2*v - 69495. Does 31 divide m?
False
Suppose 26844 + 7509 = 193*n - 17371. Does 2 divide n?
True
Let w be (-3 - -1)*(-16)/(-16). Let s(q) = 59*q**2 - 6*q - 5. Is 7 a factor of s(w)?
False
Let i(j) = -66*j + 4. Let m be i(-9). Let g = -391 + m. Is 16 a factor of g?
False
Suppose 47*m - 34188 - 218484 = 0. Is m a multiple of 7?
True
Let v(c) = -9*c - 6. Let s(r) = -r. Let i(b) = -4*s(b) - v(b). Let a be i(-2). Is (21 + a)*-199*1*-1 a multiple of 11?
False
Let v = -9351 + 25939. Is 29 a factor of v?
True
Suppose 0 = 11694*w - 11698*w + 29868. Is w a multiple of 14?
False
Does 83 divide 2/((-20)/(-3027840)*24)?
True
Let w(b) = -b**3 + 20*b**2 + b - 18. Let q be w(20). Is 22 a factor of (-4 - -10)*q/3*59?
False
Let x = -164 + 684. Suppose 3*b - 8*b = -x. Does 6 divide b?
False
Let l = 789 - 113. Let a = -340 + l. Is a a multiple of 28?
True
Suppose d - 4242 - 2831 = 4933. Does 18 divide d?
True
Let q be 2/(-11) + 3142/(-22). Let v(f) = 214*f - 4. Let x be v(-1). Let l = q - x. Does 12 divide l?
False
Let o(x) = -4*x**2 - 5*x + 19. Let c be o(-8). Let y = 263 + c. Is y a multiple of 7?
False
Is 54 a factor of (-1254)/(-114) + (0 - -5929)?
True
Let q(t) = 389*t + 956. Is 85 a factor of q(10)?
False
Let u(h) = h**2 + h - 34. Let d be u(7). Let t = -9 + d. Does 2 divide t?
False
Suppose -415500 = -85*b - 215*b. Is b even?
False
Let q(p) = 3*p**3 + 2*p**2 - 3*p + 12540. Is q(0) a multiple of 60?
True
Let v(x) = -207*x - 12. Let o = 354 - 355. Does 13 divide v(o)?
True
Suppose 1485 = -9*p + 252. Let v be -1 + p + -6 + 4. Let i = v - -241. Is 12 a factor of i?
False
Let u(n) = 3*n**2 - 3*n - 10. Let z = -334 - -332. Does 2 divide u(z)?
True
Suppose g - z = 19978, -61*z - 19978 = -g - 59*z. Is g a multiple of 206?
False
Let g be (-168)/(-98) - (0 + (-4)/14). Let d(o) = -1083*o**2 + 5 + 17*o + 2 + 1088*o**g. Is 8 a factor of d(-6)?
False
Let v = -19 + -7. Let o(w) = w**3 - 14*w**2 + 17*w + 5. Let i be o(13). Let f = v + i. Does 19 divide f?
False
Suppose 37849 = 58*h - 1197725. Is h a multiple of 52?
False
Suppose 0 = 5*h + 4*u - 270344, -50*h + u = -55*h + 270341. Is 27 a factor of h?
False
Let y(v) = 1055*v + 146. Is y(1) a multiple of 16?
False
Suppose -242082 = 139*s + 111*s - 277*s. Does 9 divide s?
False
Let s(t) = 42 - 16*t + 13*t - 9*t. Is s(-5) a multiple of 34?
True
Is 14 a factor of (140 - 0)/((-342)/(-3420))?
True
Let o be (60/(-75))/((-1)/12320). Suppose 11*m + o = 22*m. Is 30 a factor of m?
False
Let s = -153 + 308. Suppose s = 4*n - g + 4, n + 2*g = 49. Let w = 67 - n. Is 14 a factor of w?
True
Does 10 divide (1/1)/(25/35425)?
False
Let s = 8788 - -1126. Is 16 a factor of s?
False
Suppose 4*i = 13 + 43. Suppose 9*f + i = 2*f. Is 19 a factor of 1*76 - 1/f*4?
False
Does 16 divide (1/6*-2)/((-4)/6)*23648?
True
Let j = 164 + 331. Suppose 3*v - 4*v - 732 = -3*n, 2*n - 3*v - j = 0. Is 8 a factor of n?
False
Suppose 0 = -4*m + 7*w - 2*w + 43492, 10*w - 80 = 0. Is m a multiple of 22?
False
Is 4 a factor of 10/(-25)*45/54*-1797?
False
Suppose -2*d - 4*l + 1350 = 0, -2*d = 71*l - 66*l - 1355. Is d a multiple of 6?
False
Let t = 159 - 37. Suppose -3*q - 619 = 2*b, q + b + t = -85. Let l = 341 + q. Does 34 divide l?
True
Suppose 11*k - 15*k + 19968 = 0. Suppose 0 = 13*v - 39*v + k. Is 24 a factor of v?
True
Suppose -3*u - 110*y + 111*y = -14886, 29754 = 6*u + y. Is 94 a factor of u?
False
Suppose -j + 4308 = -4*n, -3*n = 4*j - 0*j + 3212. Let h = n + 1627. Does 22 divide h?
False
Let k(b) = b**3 - 3*b**2 + 3*b + 916. Does 21 divide k(0)?
False
Let h(t) = t**3 - 5*t**2 - 3*t + 17. Let q be h(7). Let m = q - 76. Is m a multiple of 5?
False
Let k = 145 - -3878. Does 81 divide k?
False
Let j(y) = 3*y**2 + 11*y + 33. Let d be j(-15). Let n = 1233 - d. Is 30 a factor of n?
True
Let h = -12952 - -13412. Does 10 divide h?
True
Let k be 1/(0 - 1)*(-24 + -5). Suppose 55 = q - k. Let g = q - 58. Does 3 divide g?
False
Let k be (96/18)/((-1)/(-3)). Let o be ((-40)/25)/(k/10 - 2). Suppose -5*a + p - 134 = -8*a, -4*p = o. Is a a multiple of 3?
True
Let n = -15844 + 17100. Is n a multiple of 13?
False
Let m = 362 - 360. Let o(i) = 9*i**3 - 2*i**2 + 2*i - 1. Is o(m) a multiple of 3?
False
Suppose -8*r + 21 = -5*r. Let o(f) = 61 - 25*f + 2*f + r*f. Is 27 a factor of o(-9)?
False
Suppose -15 = -n + 4*y + 5, 0 = -4*n + 4*y + 32. Let l(o) = 10 - 4*o + 0*o**2 + n*o**2 + 4*o**2 - 6*o**2. Does 4 divide l(5)?
True
Let i = 207 + -84. Let m = -108 + i. Is m a multiple of 4?
False
Suppose 20*b + 540350 + 750715 = 71*b. Does 305 divide b?
True
Suppose 0 = 17*j + 16 - 67. Suppose o - 2928 = -j*o + 4*h, -5*o - h + 3636 = 0. Is o a multiple of 14?
True
Suppose 2088 = -2*l + 3*l - 18274. Does 48 divide l?
False
Let x be (-6464)/544 + 2/(-17). Let c(k) = -k**3 - 2. Let b be c(0). Does 21 divide ((-10)/16*b + -3)*x?
True
Let f(b) = -14*b**3 + 13*b**2 + 15*b - 12. Let m be f(-12). Let j be 18/15 - m/35. Is 30 a factor of 9/(-3) -