ide (2/19 - (-23)/((-3059)/546)) + 10362?
False
Suppose 4*t + 12 = -80. Let f = -13 - t. Suppose -w - w = -5*s + 17, 0 = -5*s - 5*w + f. Does 2 divide s?
False
Suppose 4*q = f - 13, -46 = -f - q - 18. Is f even?
False
Let y(i) = 7*i**3 - i**2 + 6*i - 16. Let m(a) = 6*a**3 + 5*a - 17. Let q(t) = -6*m(t) + 5*y(t). Is q(-7) a multiple of 2?
True
Suppose 25*k - 40 - 60 = 0. Is 15 a factor of k/18 - ((-160)/9 + 3)?
True
Let l = 12451 + -10994. Does 31 divide l?
True
Let t = -381 - -380. Is 86 a factor of 10/(-60) + (15482/(-12))/t?
True
Is 42 a factor of (5*1)/(33/462)?
False
Is (-1)/(-5)*(50 - (29 - 14)) + 1593 a multiple of 8?
True
Suppose 0*y - 228 = -2*y. Suppose 12*o = 1203 - 1119. Suppose -o*p + y = -12. Does 6 divide p?
True
Let a(i) = i**3 + 12*i**2 + 11*i + 2. Let p be a(-10). Suppose 11*v - 14*v - 5*d = -148, -2*v = 2*d - p. Is v a multiple of 8?
False
Suppose -9*d = -50*d + 1435. Does 10 divide 2 - (-1346 - 9/((-63)/d))?
False
Let l(v) = -1695*v - 340. Does 50 divide l(-2)?
True
Suppose 61829 = -34*s + 684165. Does 104 divide s?
True
Suppose -6788 = -z - 2378. Is 90 a factor of z?
True
Let m = -55 - -439. Let u = m - -522. Does 36 divide u?
False
Is 18 a factor of -23 + 28 - 15/(2*4/(-6392))?
False
Let w = 44548 + -25760. Is 8 a factor of w?
False
Let v(s) = 15 + 16 - 3*s + 53 + 35*s. Does 10 divide v(7)?
False
Let y be ((-38)/6)/(26/6 - 4). Let b be ((-2)/(-6))/(y/3306). Let v = -20 - b. Is v a multiple of 6?
False
Let b be 85 + -81 + 1*9. Suppose b*l - 1197 = 597. Does 6 divide l?
True
Let y = 6660 - 3801. Does 43 divide y?
False
Let g = -36 - -35. Let y be (0 - g) + (-4)/4. Suppose -5*j + 4*j + 20 = y. Is j a multiple of 20?
True
Let d(w) = 177*w**2 + 87*w - 57. Is d(6) a multiple of 3?
True
Let k = 5340 - 720. Is k a multiple of 20?
True
Let a be ((-5)/((-20)/(-66)) + 4)*-8. Suppose 3*p + 0*p - n - a = 0, -p - n + 32 = 0. Is p a multiple of 9?
False
Suppose -5*w + 520 = -w. Let r be 1/(6/w - 28/(-182)). Suppose 0 = -r*o + 39 + 46. Does 12 divide o?
False
Suppose -2*y - 5*y = 11*y - 594. Is 14 a factor of y?
False
Let n = 11 - 4. Suppose -5*d = -n*d. Suppose -4*b - 7 = k - 37, d = 3*k + 2*b - 90. Is 5 a factor of k?
True
Suppose 24 = -20*t - 4*t. Is (-3808)/(-51) - t/3 a multiple of 4?
False
Let l(d) = d**3 - 28*d**2 + 29*d - 52. Let f be l(27). Suppose 0 = -f*a - 38 + 40. Does 3 divide (-8 + 3)/a*72/(-15)?
True
Let t = 575 + -55. Suppose -97*k - t = -102*k. Is 18 a factor of k?
False
Suppose 35*v - 313309 = -126934. Is v a multiple of 5?
True
Let w(s) = 632*s - 292. Is w(16) a multiple of 10?
True
Let a = -732 + 1475. Suppose -a = 17*c - 3191. Is 8 a factor of c?
True
Suppose 108*x - 386323 = 490421. Is 99 a factor of x?
True
Suppose -7*h = 5*f - 4*h + 182, -147 = 4*f + h. Let k = -184 + f. Let w = k - -345. Is 20 a factor of w?
False
Suppose -4*q + 33 = 4*v + 113, 0 = -2*v + 3*q - 40. Is 29 a factor of (90 - 3)*-3*20/v?
True
Let c(f) = f**2 + 19*f + 30. Let m be c(-17). Let k be 799/153 + -1*m/(-18). Suppose t - 2*t - 323 = -4*z, 0 = z - k*t - 95. Does 11 divide z?
False
Let p(u) = u**3 + 17*u**2 + 65*u - 12. Let n be p(-11). Is 25 a factor of (-18)/(-12)*((n - -613) + 2)?
False
Suppose 1885 = -5*j + 5*s, j = -2*j - 4*s - 1096. Let a = j - -680. Is a a multiple of 14?
True
Let l(c) = c**3 + 32*c**2 + 60*c - 5. Let t be l(-30). Let q(w) = 3*w**2 - 9*w - 4. Is q(t) a multiple of 46?
False
Let p(g) = 31*g + 47. Let j be p(16). Suppose 4*u - 7*u = -3*v - j, 764 = 4*u + 4*v. Does 7 divide u?
False
Suppose -130312 = -469*d + 417*d. Does 97 divide d?
False
Suppose -5*d = 2*r + 1121 - 12238, -11113 = -5*d + 2*r. Does 21 divide d?
False
Let t = 286 - 322. Is 10 a factor of 13/(585/t)*(-1069 - 1)?
False
Suppose 5*p - 3*q + 540 - 9 = 0, p + 123 = -5*q. Let t be ((-1)/(-3))/((-4)/p). Is 23 a factor of (33/6)/(t/162)?
False
Suppose 4*u + 12 - 4 = 0, -4*j - 5*u - 50 = 0. Let v(t) = 135*t - 30. Let x(q) = -8*q + 2. Let s(y) = -3*v(y) - 50*x(y). Is 4 a factor of s(j)?
True
Suppose -352*k = -113*k - 973686. Is 7 a factor of k?
True
Suppose -6*h + 2*h = 0. Let g(d) = 10*d - 32. Let c be g(4). Suppose h = -0*n - c*n + 480. Is n a multiple of 36?
False
Let v(y) be the first derivative of y**2 + 80*y - 93. Is 24 a factor of v(20)?
True
Suppose 0 = 86*j - 76*j - 900. Suppose j = 4*p - 2*n, -3*p + 6*p = -3*n + 45. Is p even?
True
Let q be (124/(-6))/(4*5/(-60)). Suppose q + 46 = 4*o. Is 9 a factor of o + 0*(-3 + 14/4)?
True
Suppose -4*x = -2*d - 22698, -15 = 5*d - 2*d. Is 74 a factor of x?
False
Let q(f) = 5*f + 3. Let p(x) = -2*x - 1. Let w(s) = 8*p(s) + 3*q(s). Let c(d) = 75*d**2 - 4*d + 5. Let j(h) = c(h) - 4*w(h). Is 15 a factor of j(-1)?
False
Let r be ((-1056)/6)/((-2)/3). Let f = 317 - r. Does 14 divide f?
False
Is (225/10)/(32/192) a multiple of 15?
True
Let l(m) = -1254*m**3 - 63*m**2 - 65*m - 2. Does 6 divide l(-1)?
True
Let l = -25 - -27. Suppose 3*c + 6 = 0, 3*n + l*n + c - 13 = 0. Suppose -4*a = -n*a - i - 25, 0 = a + 5*i - 37. Does 22 divide a?
False
Let r be ((-36)/21)/((-12)/462). Let l be 1*r/4*-4. Let d = l + 163. Is d a multiple of 7?
False
Suppose 111*x - 30 = 105*x. Let y = x - -253. Is 10 a factor of y?
False
Suppose 88 = 2*d - 4*k, 90 = 2*d + 4*k - 6*k. Does 59 divide ((-1541)/d)/(1/(-2))?
False
Suppose 0 = 2*j + 4*m - 39722, 0 = -4*j - 4*m - 37853 + 117301. Is j a multiple of 9?
True
Let i(t) = 51*t + 8. Let v be (28/(-8) + 4)*4. Let o(x) = x + 1. Let k(p) = v*o(p) + i(p). Is k(2) a multiple of 28?
False
Let b(h) = h**3 - 63*h**2 + 69*h - 285. Does 23 divide b(65)?
True
Let u be (-1)/2 - (-195)/78. Suppose 10*z + u*z = 1584. Is 11 a factor of z?
True
Is (-2 + -1)/3*-2440 a multiple of 8?
True
Does 51 divide ((-510748)/2436)/((2/54)/(-1))?
True
Let m = -53 - -37. Does 17 divide (816/(-64))/(2/m)?
True
Let g = -206 + 210. Suppose 2*y = -t + 192, -5*t = -5*y + g*y - 982. Is 8 a factor of t?
False
Let c = 4508 + 265. Does 37 divide c?
True
Let t = 15 - 13. Let d(q) = 5 - 36*q**t + q**3 - 13 + 10*q**2 + 30*q. Is d(25) a multiple of 38?
False
Let d(r) = -3*r**2 - 51*r + 21. Let v be d(-17). Suppose 3*s - 5*f = 12 + 22, 0 = 2*s - 3*f - v. Does 27 divide (322/3)/(1 + (-1)/s)?
False
Let i(j) = -3*j + 0*j**2 - 2*j**2 + 4*j**2 + 4*j**2. Let d be i(1). Suppose o + d - 28 = 0. Is 3 a factor of o?
False
Suppose 21 = 2*u + 5*u. Suppose u*r = 7*r - 2208. Suppose 6*i = 12*i - r. Is i a multiple of 4?
True
Is 4240/(-265) - (-14859 - -1) a multiple of 82?
True
Suppose -3*r + 7*r = 3*g + 241064, 0 = -5*g - 40. Is 22 a factor of r?
False
Let q(t) = -22*t - 50. Is 2 a factor of q(-5)?
True
Let x = -87 - -59. Suppose 546 = -10*z - 654. Does 20 divide (z/x)/(1/14)?
True
Suppose 5*l = 4*o + 4169, -5*o = -l + 284 + 554. Suppose -g + 0*g + 5*p + 213 = 0, -4*g + p = -l. Does 26 divide g?
True
Let s(z) = z**3 + 3*z**2 + 136*z - 37. Is s(17) a multiple of 27?
False
Let h(a) = 3*a**2 - 32*a - 10. Let d be h(11). Does 28 divide -1*8/d*28/(-1)?
True
Let d = -11851 - -22752. Is 55 a factor of d?
False
Let o be ((-30736)/(-544))/(-1 - 3/(-2)). Let y be 5 - ((-2)/(-2) + -1). Suppose -2*j = -4*n + 295 + o, y*n + 2*j - 510 = 0. Is n a multiple of 7?
False
Let i = -1434 - -1020. Does 9 divide (-966)/i*(1*10 + -1)?
False
Let h be 17/(102/(-60)) + -7. Let p(r) = -57*r - 381. Does 21 divide p(h)?
True
Is (-3 - 8/(-3))/(113/(-1832295)) a multiple of 47?
True
Suppose 2*v - 7*v + 1335 = 0. Suppose -5*m - 4*d + v = -d, m - 39 = 3*d. Let i = m - 18. Does 7 divide i?
False
Let x be (-2)/(-14) + 1152/(-126) + -4. Let r(w) = w - 11*w**2 - w**3 - 9 + 9*w - 4 + 10*w. Is 5 a factor of r(x)?
True
Let b(z) = -369*z + 441. Does 18 divide b(-5)?
True
Let z(p) = -p**3 + 91*p**2 + 1253*p + 73. Is 76 a factor of z(103)?
True
Let v(b) be the second derivative of -b**4/6 - 26*b**3/3 - 13*b**2 - 20*b + 1. Is v(-23) a multiple of 4?
True
Let a(t) = 36*t**2 - 56*t + 85. Is 55 a factor of a(6)?
True
Does 31 divide (78/18 - (-258)/(-18)) + 4598?
True
Let u(a) = -67*a - 245. Is 17 a factor of u(-10)?
True
Suppose 2708368 = -164*j + 222*j. Is 52 a factor of j?
True
Suppose 129*i - 208 = 133*i. Let g = 256 + i. Is 17 a factor of g?
True
Suppose 12*q = -q + 30303. Is q a multiple of 111?
True
Let g = 24 + -16. Suppose -3*x + g*x = 20. Suppose -r - 18 = -x*r. Is r a multiple of 3?
True
Let t be (-