 8*6392221/(-68)*2/(-4) a composite number?
True
Let n be (950/30 - -1)/((-1)/48). Let l = 4081 + n. Is l prime?
False
Let n = -95 + 66604. Is n a prime number?
True
Let q(o) = -2*o - 3. Let n be -2 - (4 - (3 - 1)). Let z be q(n). Suppose 0*w - w - z*s = -761, -2*w - 2*s = -1554. Is w composite?
True
Let u be (0 - 3) + 42/(-1). Let l = -42 - u. Suppose l*p - 3*y - 1174 = 1022, 3653 = 5*p + 2*y. Is p composite?
True
Let f(a) be the first derivative of -199*a**2 + 49*a - 287. Is f(-20) a composite number?
False
Is (-3 + 6)*28076889/171 a composite number?
True
Let q = -2677496 + 4911363. Is q composite?
False
Let n(i) = -277*i + 49. Let z be n(4). Suppose 7600 = l + 3*l - 2*c, 0 = 4*l + c - 7588. Let w = z + l. Is w a prime number?
True
Let l = -3 + 9. Suppose 0 = 4*q - 2*k - 106, 29*q - 32*q - 3*k + 93 = 0. Is l/(-42) + 2552/q a composite number?
True
Let r = 850325 + -463486. Is r a prime number?
True
Suppose 4*j - 203 = -339. Let f(t) = 16*t**2 - 34*t - 1. Is f(j) a prime number?
False
Let n = -58870 - -99257. Is n prime?
True
Let b(t) = 34*t + 106. Let s be b(-3). Suppose -12897 = 28*g - 31*g + s*z, -4*z = 2*g - 8618. Is g prime?
False
Let l = 270682 + -143045. Is l prime?
True
Let p(t) = -t**3 - 2*t**2 - t + 4. Let y be p(0). Let f be y/7 + 690/42. Suppose -f - 466 = -3*n. Is n prime?
False
Suppose -471*c + 259 = -470*c. Suppose c*u - 7011 = 250*u. Is u composite?
True
Let s(k) = -59*k**3 - 34*k**2 + 51*k + 53. Is s(-14) a composite number?
False
Let i(j) = 3*j**2 - 20*j + 10. Let y(q) = -q. Let g(a) = i(a) - 6*y(a). Let h be g(4). Is (h - (-302)/6)*312/8 a composite number?
True
Let w(p) = 54*p**3 - 4*p**2 - 4*p - 7. Is w(5) composite?
True
Let r = -2004 + 3085. Let d be ((-10)/8)/((-107)/168632). Let u = d - r. Is u a composite number?
True
Let r = 42489 - 7222. Is r a prime number?
True
Is 7 - (-7 + 13) - 6 - (-1223928)/4 a composite number?
True
Let v(g) be the third derivative of 26*g**5/15 - 5*g**4/24 + 49*g**3/6 + 18*g**2. Is v(4) prime?
True
Suppose 8 = m - 2*k, 5*m - 21 = 3*m + 5*k. Let v(r) = 11*r - 5. Let u be v(m). Is 739 - ((-2)/9 - 6/u) a prime number?
True
Suppose 0 = 4*c - k + 17, -2*k + 4 = -3*c - 3*k. Let v be c/(-3)*(-2 + -4). Let b(p) = -9*p**3 - 2*p**2 + 7*p + 5. Is b(v) a prime number?
False
Let q(g) = g**2 - 3*g + 3. Let f be q(4). Suppose -2*v - 2*l = -14, f*v - 3*l - 14 = 3*v. Suppose 8*w - 639 = v*w. Is w prime?
False
Is 136/306 + (13009345/(-9))/(-5) composite?
True
Suppose -27*z + 52*z + 34*z + 295 = 0. Let i = 4 - 7. Is 0/z - (i + 0 + -630) a composite number?
True
Suppose -7*w + 52 = -5*l - 5*w, 44 = -4*l + w. Is 4*-87*67/l a prime number?
False
Suppose -5*h - 75616 = -w, -8*h = -2*w - 4*h + 151226. Is w a composite number?
False
Let b(w) = 43*w**2 + 50*w - 1480. Is b(-59) composite?
False
Suppose 2352922 = -38*u + 94*u + 408546. Is u a prime number?
True
Suppose -9*l - 8*l = 0. Is l - 4 - (-1083 + -2) a prime number?
False
Let f be 1373/1 - (2 + -6). Suppose -3*s - 1511 = h - 94, 0 = -h + 5*s - f. Is (3 + h)/(2/(-2)) prime?
True
Let x = -78 - -3826. Suppose 4*r - 8872 - x = 0. Is r prime?
False
Suppose -l = 2*z - 58243, -3*l = -z + 15635 + 13497. Is z prime?
True
Is (1732978/(-91))/((-6)/21) a composite number?
False
Suppose 19*b - 14*b - 2917220 = -15*b. Is b composite?
False
Let b(o) = -o**3 - 25*o**2 + o + 29. Let u be b(-25). Suppose -4*m - 10 = -3*c + 22, -u = 4*c + 4*m. Suppose 3*g - 1237 = -0*s + s, -c*s + 8 = 0. Is g prime?
False
Let v(x) = 6*x**2 + 12*x - 68. Let h be v(4). Let t = h + 135. Is t prime?
True
Let p be (-493)/(-153) + 4/(-18) + 0. Suppose -p*j = 3*o - 6*j - 4089, 4*j = 2*o - 2730. Is o a prime number?
True
Suppose 2*j + 5626412 = 4*w, -4*j + 33 = 1. Is w prime?
False
Let k(i) = -2*i**2. Let a(n) = 18*n**2 - 11*n + 25. Let p(d) = a(d) + 2*k(d). Is p(12) a prime number?
False
Let m = 1514 - 2523. Let k = 1710 + m. Is k a prime number?
True
Let k be (-11 - 1457)/(-4 - 2/(-1)). Suppose 0 = k*a - 735*a + 614. Is a a composite number?
True
Let z be 0/(-6 + 3 - -1). Is (1 - z)*(7054 + 3) a composite number?
False
Is 5 + (-356)/3*(-4387929)/182 prime?
True
Let g(a) = 4*a - 81. Let n(i) = -20*i + 400. Let k(s) = -11*g(s) - 2*n(s). Is k(-16) composite?
True
Let t(j) = j**2 + 5*j - 6. Let n be t(-6). Suppose 39 = 5*p + 2*k, -9*p - k - 33 = -14*p. Suppose n = 3*h - p*h + 1016. Is h composite?
True
Let l(w) = 4*w**3 + 0*w**3 + 2*w - 2*w**3 - 6 - 5*w**2 - w**3. Let z be l(5). Suppose -z*x + 1253 = 3*x. Is x a prime number?
True
Suppose -u + 10 = n + 3*n, u = -5*n + 13. Let i(p) = 2*p + 7. Let w be i(u). Suppose -2*v + 2*m = -2294, -w*v + 3433 = -4*m - m. Is v composite?
False
Let j = 48 + 87911. Is j a composite number?
False
Let i(y) = 1417*y**2 - 71*y - 97. Is i(9) a prime number?
True
Suppose 10*u = 2986 - 556. Let i be (16 + 2)/((-2)/u). Is (i/(-6) - 2) + 7/(-14) prime?
False
Let u(c) = -224*c - 3. Let x(p) = p**2 - p. Let b be x(-1). Let m(r) = -2*r**2 + 5*r - 3. Let f be m(b). Is u(f) a composite number?
True
Let u be (-2)/13 - (-5)/65*41. Suppose -s + 9142 = 5*v, -s - 5493 = -u*v + s. Suppose -v = -3*h + 1852. Is h a prime number?
False
Let g(s) = s + 2. Let m(v) = 1691*v - 7. Let r(u) = -5*g(u) - m(u). Is r(-2) a prime number?
True
Suppose 20099 = 8*f + 69211. Is f/(-21)*(0 - -3) a prime number?
True
Let k(f) = f**2 - 13*f + 8. Let x be k(12). Let d(j) = 67*j**2 + 2*j - 9. Is d(x) prime?
False
Let h(j) = 16*j**2 - 37*j + 10. Let r = 79 - 63. Let u be h(r). Suppose 0 = 3*q + 2*k - u + 309, -5*q + 5343 = 2*k. Is q composite?
False
Let f(l) = 7286*l + 1391. Is f(30) a prime number?
True
Let f be -1*(1 - (4003 + 3)). Suppose -h + 2*h = f. Suppose -2*p + h = 7*p. Is p composite?
True
Suppose 7*q - 9*q = -b - 9, 0 = q - 2*b. Suppose -q*f = -2804 - 9010. Is f prime?
False
Suppose 292589 = -1517*j + 1528*j. Is j a composite number?
True
Let r = 25856 - -34027. Is r a prime number?
False
Let v(z) = 341*z - 4. Let a be v(5). Suppose -x - 1703 = -5*c, a = 2*c + 3*c - 2*x. Suppose b = 338 + c. Is b a prime number?
False
Let o(w) = -249*w**3 - w**2 + 3*w + 3. Let m(l) = l**3 - 6*l**2 - 8*l + 17. Let y be m(7). Suppose 10*s = 5*s - y. Is o(s) a prime number?
False
Let q(f) = 17 + 80*f**2 + 6*f - 8*f**3 - 67*f**2 + 7*f. Is q(-5) a prime number?
True
Let n = -4776 + 68569. Is n prime?
True
Let n(r) be the first derivative of 398*r**3 + 9*r**2/2 - 31. Let i be n(-7). Is (-2)/(-5) - i/(-105) a composite number?
False
Let g(z) be the first derivative of -z**5/60 - 5*z**4/12 - z**3/3 - 9*z**2 - 6. Let p(s) be the second derivative of g(s). Is p(-9) a prime number?
True
Let x = 377354 + -215385. Is x composite?
False
Suppose 38*s + 32*s - 71*s = -195907. Is s composite?
False
Suppose -20*p + 14 = -18*p + 4*s, 0 = -2*p + 3*s. Let k(z) = 32*z**2 - 7*z + 10. Is k(p) prime?
True
Suppose 70*d - 56*d - 2829142 = -72*d. Is d a composite number?
True
Suppose 50*f = -373910 - 941484 + 12759244. Is f prime?
False
Let d be (0 + (-38)/(-2) + -2)*4. Let w = 3623 + d. Is w prime?
True
Let x = -2571 - -11587. Let s = -5488 + x. Suppose -43673 = -11*p + s. Is p a prime number?
False
Suppose 7*f - 4887 = q + 11*f, -f - 14661 = 3*q. Let j = -3076 - q. Is j a prime number?
True
Let v be (-1 + 8/3)*-3 - -20. Is 3702/v + 5 + (-48)/10 prime?
False
Let n be (6 - 31/5)/(2/(-50)). Suppose 5*u + n = 0, -4*u + 3322 = 4*s - 2*u. Is s a composite number?
True
Let f(s) = -28*s**3 - 755 - 734 - 2*s + 3*s**2 + 1467. Is f(-3) a prime number?
False
Suppose 21*x - 226056 - 786114 = -9*x. Is x a prime number?
True
Let n = 6806 - 3929. Suppose -5*p + 8711 = 3*x, -n = 2*x - 3*x + 5*p. Suppose x = -0*z + z. Is z a prime number?
True
Let z(b) = 2513*b**2 - 77*b - 239. Is z(-19) composite?
False
Suppose 0 = 4*r - 12, -6*o - 9*r = -5*r - 4717590. Is o composite?
True
Suppose 131*j + 18916 = 135*j. Suppose -4*g = -2627 - j. Is g composite?
True
Let g = 7034 + -1057. Let d = 104 + g. Is d prime?
False
Let m(u) = 5565*u - 389. Is m(10) a prime number?
False
Let a(u) = -u**3 - 37*u**2 + 17*u + 55. Let g be a(-40). Suppose g = 7*m + 724. Is m composite?
True
Let r(z) = 313*z + 421. Is r(90) a prime number?
True
Let f(d) = -13 - 13*d - 127*d - 6. Let s be f(-3). Let v = 78 + s. Is v a prime number?
True
Let y = 568605 + -352483. Is y a prime number?
False
