
False
Is 381/6*30/5 composite?
True
Suppose 248 = 2*z - 3*p, -z = 3*z - 4*p - 500. Is z prime?
True
Let o = 58 + -4. Let w = o - -149. Is w a composite number?
True
Let p be (-2)/4 + (-2)/(-4). Suppose -3*v - 15 = 0, -2*a + 0*a + 5*v + 117 = p. Is a composite?
True
Let p = -473 + 333. Let u = p + 297. Is u prime?
True
Suppose 2*c - 5 = 7. Let p = c + -2. Is 209 - (-2)/p*4 a composite number?
False
Let y(f) = -f**3 - 7*f**2 + 7*f. Let b be y(-8). Suppose 3*p + 5*i - 173 = 2, 0 = 4*i - b. Is p a composite number?
True
Suppose 0*c - 45 = 3*c. Let p = c - -51. Let y = 71 - p. Is y a prime number?
False
Suppose 3*g - 2200 = 107. Is g composite?
False
Let o be 84/(-9)*6/4. Let p be 4/o + 264/(-56). Let i = -3 - p. Is i a prime number?
True
Is -2 + 4658/(-4)*-2 a prime number?
False
Suppose 0 = 4*f + 4*w - 7044, -2*f - 4*w = -f - 1755. Is f a prime number?
False
Suppose -2*b + 2 = -0*b - 2*j, 4*j = 2*b + 2. Suppose -740 = -b*m - m. Is m a composite number?
True
Let i be 6/(-3 + 1) + -18. Let k = i + 25. Is k a prime number?
False
Let l(f) = -2*f + 4. Let h be l(3). Is (h/(-3))/((-8)/(-3156)) a composite number?
False
Let x = 32 + -9. Is x prime?
True
Let n = -6 - -8. Suppose 40 = -0*z - n*z. Let f = 15 - z. Is f composite?
True
Is (-6 - -1)/((-1)/109) composite?
True
Suppose -8*x + 1133 = -7*x. Is x a composite number?
True
Suppose -3*d = -4*b - 14, 3*b = 7*b + 8. Let k = 3 + 0. Is (-19)/(-1)*(k - d) a composite number?
False
Let i(n) = 6*n - 4. Let s be i(11). Let r = s - -29. Is r a prime number?
False
Suppose -5 = -5*y - 30, 0 = -4*g + 4*y - 964. Let d = g + 409. Is d a prime number?
True
Suppose -124 = -4*g - 0*g. Is g prime?
True
Suppose -2*n = 2*u + 36, 3*u + 38 = -0*u + 5*n. Let r = 59 + u. Is r a prime number?
True
Let c = 2 - -2. Suppose -g - 9 = -c*g. Suppose -g*q + 9 + 21 = 0. Is q a prime number?
False
Let q(s) = -298*s - 5. Is q(-3) composite?
True
Let q(h) = -4*h. Let x be q(-1). Suppose -3*j = 4*t - 835, -2*t - 2*t = x*j - 832. Is t prime?
True
Suppose -27 + 282 = 5*h. Is h prime?
False
Let u = 52 + 237. Is u a prime number?
False
Let w be (-6 + 5)/(2/(-4)). Suppose -l = -w*l + 19. Is l a prime number?
True
Suppose -501 = -x - 0*b + 3*b, 2*b = -2*x + 1002. Is x composite?
True
Let v = 3159 + -686. Is v prime?
True
Suppose -1 + 11 = 5*j. Suppose -2*y + j = -36. Is y a composite number?
False
Suppose 0 = -3*y - 0*g - g + 2594, -y + 2*g + 867 = 0. Is y a prime number?
False
Let r(n) = -n**3 + 15*n**2 - 6*n + 11. Is r(12) a composite number?
True
Suppose 4*a + 19 + 9 = 0. Let u(k) = k**3 + 8*k**2 - k + 9. Is u(a) prime?
False
Let w be -3 - -4 - 7*-1. Let u(n) = 1 + 0 + 13*n - w*n + 13*n. Is u(1) prime?
True
Let t(s) = -s**3 + 4*s**2 - 2*s + 1. Suppose 0 = 5*u - 5 - 10. Let p be t(u). Let g = 9 + p. Is g a composite number?
False
Suppose -5*m - 35 = t, 41 = -0*t - t - 3*m. Let i be 13 + -13 - 73*-1. Let a = i + t. Is a composite?
False
Suppose -5*t = -2*n + 1074, -4*n = -4*t + 701 - 2873. Is n prime?
True
Let a be 3*-3*(-4)/18. Let v(l) = 35*l**3 + l**2 - 2*l - 1 + a*l. Is v(1) prime?
False
Suppose -h = -4*f - 10, 0*h - 4*h - 5 = -f. Let n be h*((-3)/(-2) - 1). Let w(r) = 91*r**2. Is w(n) a prime number?
False
Suppose 1 - 5 = m. Let c = -2 - m. Suppose -3*x + 5*o = -0*x - 23, -2*x - c*o + 26 = 0. Is x composite?
False
Let q(d) = -37*d**2 - 3*d. Let n be q(-2). Let h = n + 257. Is h prime?
False
Is -5924*(0 - 3)/12 a prime number?
True
Let y(v) = v**2 + v + 1. Let k(d) = -10*d**2 - 6*d - 7. Let n(l) = -k(l) - 6*y(l). Let s(q) = -q**2 + 2*q + 2. Let o be s(4). Is n(o) a prime number?
False
Suppose 4*k = -3*c + 8, 2*c = -2*k - 3*k + 3. Let i = 93 - 14. Suppose -c*f + i = -61. Is f a prime number?
False
Suppose 0 = -5*s - p + 6819, 4*s + 2*p - 2164 = 3296. Is s a composite number?
True
Suppose -3*z = 8 - 2, 3*z + 190 = 4*g. Let u be -4*4/16*-11. Suppose x = g - u. Is x composite?
True
Suppose 2*f - 12 = -f. Suppose 0 = 5*z - 20, -769 = -6*n + n + f*z. Is n a composite number?
False
Let n(w) = 33*w - 42. Is n(17) a prime number?
False
Let a(s) = 1. Let z(r) = -4*r + 1. Let h(u) = -6*a(u) + z(u). Is h(-7) prime?
True
Suppose 3*j = -2*j - 4*g + 10, -3*j + 43 = -5*g. Is (-2)/(-4)*(j + 96) composite?
True
Let j = 9 + -5. Suppose 5*m - j - 6 = 0. Is m prime?
True
Let w be -4 - -6 - (-1 + 2627). Is -3*(1 - w/(-12)) a prime number?
True
Is ((-42)/(-12))/7 + 842/4 prime?
True
Suppose -s + 21 = -22. Is s a composite number?
False
Suppose -2*h - h - 5*t = -33, -3*t + 39 = 5*h. Is h composite?
True
Let x(u) = 3*u**2 - 4*u - 5. Let t = 0 + 6. Is x(t) prime?
True
Suppose 0 = -5*q - 12 - 33. Let k be ((-168)/(-9))/((-3)/q). Suppose -3*a + 109 = -k. Is a a prime number?
False
Let x = 8 - 5. Suppose 0 = w - x*w. Suppose w = -t - 6 + 3, 500 = 5*l - 5*t. Is l a composite number?
False
Let v(j) be the first derivative of -4*j + 1 - 5/2*j**2. Is v(-6) a composite number?
True
Suppose -3*d = -48 - 78. Suppose 3*w - 6*w + d = 0. Is w prime?
False
Let a = -5 - -2. Is 2/a - 1311/(-9) a composite number?
True
Let h(a) = -a**2 + 2*a + 3. Let z be h(3). Let d be (z/6)/(0 + -1). Let m = d + 3. Is m a composite number?
False
Let u = -5 - -8. Suppose -5*s + 189 = 2*w, -u*w - 28 = s - 71. Is s prime?
True
Let u(x) = -x**3 - 12*x**2 - 12*x - 3. Let r be u(-11). Let g(d) = -2*d + d**2 - 7*d**2 + d**3 + 3 - 10*d. Is g(r) a prime number?
False
Suppose -4*d + 0*d = 3*g + 28, 0 = -g - 4. Let w be 4/(((-8)/230)/d). Suppose 3*y - w = -y. Is y a prime number?
False
Let r(i) = 3*i - 1. Let f be r(1). Suppose -30 = -3*a - f*a. Suppose 4*m = a + 14, -t + m + 1 = 0. Is t a prime number?
False
Suppose 0 = 14*h - 16*h + 814. Is h a composite number?
True
Suppose -4*o + 273 = -307. Is o a composite number?
True
Let o(j) be the first derivative of j**5/30 - j**4/12 + 7*j**3/6 - j**2/2 + 1. Let g(b) be the second derivative of o(b). Is g(5) prime?
True
Suppose -2*x = -3*x + 18. Suppose 3*t - x = 189. Is t a composite number?
True
Let n(b) = -118*b + 1. Let x = 7 - 8. Is n(x) prime?
False
Suppose 2*m - 6 = -0*m. Let u = 73 + -24. Suppose m = -z, j = 2*j - 4*z - u. Is j a prime number?
True
Let a be (-15164)/(-36) - (-2)/(-9). Let h = a - 86. Is h composite?
True
Let j(b) = -26*b + 9. Is j(-4) a composite number?
False
Let t(o) = o**2 + 11*o + 14. Let y be t(-10). Suppose 5*d - y*k = 635, 0*d + 2*d + 3*k = 231. Is d prime?
False
Let t = 10 + -5. Let n be (134/t)/(1/5). Suppose 0*v - n = -2*v. Is v a composite number?
False
Let q = -9 + 13. Is (-4780)/(-36) + q/18 a composite number?
True
Let c(m) = 10*m - 6. Let o be c(4). Suppose -2*h + 1 - 5 = -2*s, 4*h = -2*s + o. Let f(q) = -q**3 + 9*q**2 - 9*q. Is f(s) composite?
True
Let n be 4/2 + 29 + 0. Suppose -133 - n = -v. Let l = -111 + v. Is l a prime number?
True
Let j(g) = -195*g**3 + 2*g**2 + 7*g + 1. Is j(-3) composite?
True
Let p = 596 + -415. Let i = -23 + p. Is i a prime number?
False
Let d be -1*(2 - (5 - 1)). Let l = d + 0. Suppose -l*i = 25 - 111. Is i a prime number?
True
Let r = -8 + 6. Let v be r*(-1 + (-3)/6). Suppose -4*w = -v*w - 91. Is w composite?
True
Suppose 5*l - 2*p + 2 + 8 = 0, -5*l - 15 = -3*p. Let z(g) = g**3 - g**2 - g + 26. Let y be z(l). Let c = -16 + y. Is c prime?
False
Let o(z) = -30*z - 50. Let r(j) = -10*j - 17. Let g(u) = 6*o(u) - 17*r(u). Is g(-8) a prime number?
False
Suppose 1534 = 2*f + 4*j + 364, 2*f - 1173 = -j. Is f composite?
False
Let w(j) = j**2 - 5*j - 1. Let h be w(6). Let r = h - 1. Suppose -4*z + 4*n = -4, -z - r*n + 1 + 10 = 0. Is z prime?
True
Suppose l - v = 0, -3*l = -2*v + 1 - 2. Is -2 - l - 266/(-7) composite?
True
Let u(c) = 2*c**3 - 2*c**2 - 3*c + 3. Let k = 5 - 3. Let z be k - (2 - (2 - -2)). Is u(z) composite?
True
Suppose 102 = -3*t + 546. Suppose 0 = -u - 3*u + t. Is u a composite number?
False
Let h be 6/(-1 + 3/(-6)). Let p be h - -6 - 1*3. Is (-3)/(p + 4)*-55 composite?
True
Suppose 0 = 3*i - 675 - 108. Suppose r - 2*j - i = 0, 0 = 5*r - j - 0*j - 1260. Is r a prime number?
True
Let r(d) = -d**2 - 4*d + 3. Let n be 6/(-2)*8/6. Let f be r(n). Suppose -168 = -5*k - 3*j, -f*k = -2*j - j - 96. Is k prime?
False
Let u = -3867 + 6080. Is u composite?
False
Let x(h) = 2 + 9*h**2 - 3*h**3 - 4 - 2*h + 2*h**3 - 3. Is x(7) composite?
False
Let w(j) = -j**3 - 6*j**2 + 3*j - 5. Let d be (-126)