se
Let a = -28 + 30. Is (0 + 1)/(-2*a/(-7364)) a prime number?
False
Let i(h) = -h**2 - 10*h + 33. Let m be i(-12). Suppose -5*v - m*v + 9422 = 0. Is v composite?
False
Suppose 6*a = 18208 + 3116. Suppose 3*o + 893 - a = 0. Is o composite?
False
Let c = -8 + 8. Suppose 3*a - 3 = 9, c = s - a - 601. Suppose -4*q = -9*q + s. Is q a composite number?
True
Suppose 4*u + 3*h - 46669 = 0, -9621 = -2*u - 2*h + 13715. Is u a prime number?
False
Let v(z) = z**3 - 7*z**2 + 5*z - 3. Let h be v(3). Suppose 2417 = 3*p + 143. Is p/8 + 18/h prime?
False
Suppose 7*h - 15*h = -22664. Suppose 0 = -4*a - 4*n + 3740, 7*a - h = 4*a + 4*n. Is a prime?
False
Suppose 0 = 79*k - 72*k - 250397. Is k composite?
False
Let a = -2225 - -16728. Is a a composite number?
False
Suppose 3*l + 3 = 6*l. Suppose -2 = p + l. Let a(w) = -3*w**3 + 4*w**2 - w - 1. Is a(p) a composite number?
True
Suppose -4*v = 2*t - 264, -5*t + 125 = -4*t - 5*v. Suppose 3*y + 4 = -y, 3*o - 3*y - 18 = 0. Suppose -3*d = -o*d + t. Is d prime?
False
Is (-21642)/4*(-770)/165 a composite number?
True
Let u(j) = 2*j**3 + 58*j**2 + 33*j - 28. Is u(-23) a composite number?
True
Let d(l) = 7 - 22*l + 15 - 33 + 12. Let t = 2 + -5. Is d(t) a prime number?
True
Suppose 1467 = 4*t - 1273. Let g = t - -270. Is g a prime number?
False
Let d(x) = 3*x - 5. Let c be d(3). Let t be (-1)/(-2) + 18/c. Suppose 1430 = t*z + 5*u, -z - 292 = -2*z + 5*u. Is z prime?
False
Suppose 0 = -6*v + 32 - 8. Suppose -3*b - 3*o = -423, o + 564 = v*b - 4*o. Is b composite?
True
Suppose 0 = -59*r + 35*r + 241464. Is r prime?
True
Let g(r) = -r**3 - 4*r**2 + 45*r. Let z be g(-9). Suppose z = -4*k + 8, 0 = -5*q + 2*k - 1277 + 8678. Is q a prime number?
True
Let m be 150/35 + 2/(-7). Let j be (2 + m)/((-3)/2). Is (4 + j - -1)*1285 prime?
False
Suppose 6*a - 140326 - 71240 = 0. Is a prime?
False
Suppose 38 = 19*t - 38. Suppose -m + 6 = m. Suppose 3*l - 69 = -2*b, t*b + 112 = -m*l + 7*l. Is l prime?
False
Suppose -6*m - 5*a = -m - 20, -m - 12 = 5*a. Let c be 1*5*m/40. Is 120 - c*(4 - 3) a prime number?
False
Let b = 7 + -70. Suppose 17*m - 3*m = -42. Is 0 + m + (2 - b) prime?
False
Let u(w) = 8*w**3 - 15*w**2 - 29*w - 47. Is u(14) a composite number?
True
Let n = 7218 - 4291. Is n composite?
False
Suppose 0 = k + 5*j - 4226, k + j = 5*k - 16799. Is k composite?
False
Suppose -3*s = -4450 - 10163. Is s prime?
True
Let s(r) = -r**2 - 11*r + 23. Let w be s(-12). Let o(a) = 5*a - 12. Is o(w) a composite number?
False
Let h(j) = 22*j**3 - 2*j**2 - 8*j - 7. Is h(5) a prime number?
False
Suppose 0 = 4*l, 10520 = -4*x - l - 560. Let t = -1761 - x. Is t a composite number?
False
Is (-49757)/(-17) - ((-117)/(-17) - 7) composite?
False
Is 17722*(82/28 - 27/63) prime?
False
Let i(q) = -29*q - 48. Let u be i(-17). Suppose l + 92 = u. Is l composite?
False
Suppose 0 = -4*x, 2*g - 3*g - 3*x = -20. Let z = g - 20. Suppose z = 5*y - 0*y + 5, -2*j - 2*y = -386. Is j composite?
True
Suppose 2*j = -4, -r - 2*j = j - 138. Let o = r - -19. Is o a prime number?
True
Let x(m) = 4*m**2 - 5*m**2 - 2 + 2 + m**3. Let j be x(2). Suppose -j*z + 5*z = 563. Is z a prime number?
True
Let t(x) = 3*x + 2. Let n be t(-5). Let d(w) = -w - 3. Let f be d(n). Is f + -13 - (-255 - 1) a prime number?
False
Let k be (21/(-14))/((-9)/4044). Let p = 1155 - k. Is p a prime number?
False
Suppose -w - 10 = -m - 1, -5*w = -3*m + 37. Let x be (-8)/(-12)*6/m. Is ((-2)/x - -2) + 21 prime?
False
Let s(l) = l**3 + 10*l**2 - 10*l + 12. Let x be s(-11). Let o = 3 + x. Suppose 3*p - 2*c - 40 = 543, o*p - 739 = -5*c. Is p prime?
True
Suppose -3*j - y + 5*y = -30891, -3*j + 30900 = -y. Is j a composite number?
False
Let r be (-4)/48*2 + (-2)/(-12). Suppose 4*x - 3784 - 2260 = r. Is x prime?
True
Let p(w) = 3*w**2 + 45*w - 35. Is p(-24) a prime number?
True
Suppose 5*w - 4*l - 45 = 0, 3*w - l + 10 = 6*w. Suppose 6339 - 21974 = -w*n + 4*v, -9381 = -3*n - 3*v. Is n prime?
False
Suppose 7*r - 73985 = 2*r. Is r composite?
False
Let f = 847 - 530. Is f a prime number?
True
Let r(s) be the third derivative of 479*s**4/24 + 7*s**2. Is r(1) a prime number?
True
Suppose -2*a + 5059 = k, -7*k + 11*k - 20275 = 5*a. Is k prime?
False
Let c(y) be the second derivative of -y**5/20 - y**4/3 - 5*y**3/6 - 3*y**2/2 - 2*y. Let p be c(-3). Suppose -2*h + p*m = -143, -m + 6*m = -15. Is h composite?
False
Let b(p) = -206*p**3 - 4*p**2 - p - 13. Is b(-4) composite?
True
Let o(z) = -24*z + 1. Let h(i) = -12 + 17 - 43*i - 54*i. Let n(r) = 2*h(r) - 9*o(r). Is n(1) prime?
True
Suppose 5*d + 5563 - 30648 = 0. Is d composite?
True
Suppose 558 = -3*j - 435. Let o = 4 - j. Is o prime?
False
Suppose -160*l + 162*l - 6 = 0. Suppose 3*r - 6966 = -l*x, 0 = -5*x - 2*r + 16997 - 5402. Is x prime?
False
Suppose -3*c = -d - 52, 0 = -0*c - 4*c + 4*d + 64. Let i be 5226/c - 2/(-3). Is (-12)/30 - i/(-15) a composite number?
False
Let j(z) = -7 + 24 - 38*z + 5*z - 45*z. Is j(-5) prime?
False
Let u = -198 - -246. Suppose 3*x = -3*w, 0*x = 2*x - 8. Is u - 1*(w - -3) a composite number?
True
Let k(z) = z**3 - 48*z**2 - 98*z + 254. Is k(55) a composite number?
True
Let i(d) = -5*d**3 + 2*d**2 - d + 2. Let z be 102/4 - 2/4. Let j = 22 - z. Is i(j) a composite number?
True
Suppose 0 = -22*k + 27*k - 20. Is 19*k - (-6 - -5) composite?
True
Suppose -236*x + 235*x + 21083 = 0. Is x composite?
True
Let v(t) = -t**2 + 6*t + 4. Let i be v(6). Suppose -11*y = -i*y - 609. Suppose 0 = 2*a - a - y. Is a a composite number?
True
Let d = 4 + -4. Suppose -n - 404 = -2*y, -2*y = -d*y + 3*n - 396. Suppose -3*f = -2*f - y. Is f a prime number?
False
Let i = -15652 - -26757. Is i prime?
False
Let o = 208 - 111. Suppose g + 4 = o. Suppose -7*u + g = -1748. Is u prime?
True
Suppose 3*n - 5*g - 18 - 5 = 0, -4*g = -3*n + 28. Is 14636/6*(3 - 24/n) a prime number?
True
Let w(i) = -2*i + 5 - 2*i + 3*i + 2. Let m be w(5). Suppose -4*n + 19 = 5*b, -m*b + 1 = -n - 4*n. Is b composite?
False
Suppose 12*d - 96797 = -14633. Is d a composite number?
True
Let n = 13 - 10. Suppose n*y = 2*y + 2. Suppose -2*t = y*t - 1276. Is t a prime number?
False
Let o(u) = 10*u**3 - 2*u**2 - 4*u - 1. Let v(t) = -t**3 + 4. Let i be v(0). Is o(i) a prime number?
False
Suppose -2*k - 3*k - 3*y = -22, 0 = -5*y - 5. Suppose -k*m + 1290 = 8*o - 6*o, 1302 = 2*o + 2*m. Is o composite?
True
Let m(g) = -g + 3. Let z be m(7). Let l be 10269/81 + z/(-18). Suppose l = 5*u - 4*u. Is u a prime number?
True
Suppose 7*x - 78 = x. Is ((-91)/x)/(1/(-13)) prime?
False
Suppose -2411 + 17561 = 6*r. Is (-17)/68 - r/(-4) a composite number?
False
Suppose 0 = -15*a + 38802 + 36783. Is a composite?
False
Suppose 3*w - 4*w = -7632. Is (-2)/(-11) + w/132 prime?
False
Suppose -4*s + 21495 = 6163. Is s composite?
False
Let z(x) = x**2 + 5*x + 2. Let f be z(-5). Suppose -l - 52 = -4*w, -f*l + 28 = 5*w - 2*w. Let p(r) = r**3 + 2*r**2 - 17*r - 11. Is p(w) a prime number?
True
Let s(l) = 501*l**2 + l + 4. Let w be s(-2). Suppose 778 = 3*v - w. Suppose -5*r - i = -v, -5*r = -r - 4*i - 728. Is r a composite number?
True
Suppose 2*d + x - 8 = 0, 3*x + 0*x - 21 = -5*d. Let m(v) = -3*v**d + v**3 + 5*v**2 + 6 + 3*v**3. Is m(-5) composite?
True
Let j = 50315 + 6296. Is j prime?
True
Let x be (2*-3)/(8/20). Let s be x/25 - (-12)/20. Suppose s = -3*p + 1886 - 695. Is p a prime number?
True
Is (-167520)/(-150) + 1/5 prime?
True
Let s(i) be the third derivative of 5*i**4/12 - i**2. Let m be s(-1). Is 586/(5/(m/(-4))) composite?
False
Is (-12)/(120/50) + 2464 composite?
False
Suppose -5 = -o + 5*p, 4*p + 0 = 5*o - 4. Is 2426*((-4)/(-8) - o) prime?
True
Let v = 13532 - -43497. Is v a prime number?
False
Suppose -b + 8924 = 3*y, -4*b - 22*y = -19*y - 35741. Is b a composite number?
True
Let x = -13818 + 23692. Is x a prime number?
False
Suppose 1154 = -6*b - 3250. Is (-1)/(1 - b/(-733)) composite?
False
Suppose -3*y - 727 = 5*b - 265, 5*y = 2*b - 770. Let z = y + 475. Is z a composite number?
True
Let a be (-2)/(-3)*(-1 + -2). Let z = 0 - a. Suppose 256 = z*y + l, 0 + 2 = l. Is y a composite number?
False
Let f = 35822 - 13761. Is f a prime number?
False
Suppose -5*x + 3434 = 869. Suppose k = 2*i - x, -3*i - 1284 = -8*i + k. Suppose 11*q + i = 12*q. Is q composite?
False
Suppose -w + 3*y = 6*y + 6, 0 = w - 5*y - 10. Suppose -x + 125 + 1253