-1072. Is x a prime number?
False
Let r = 17 - 12. Suppose 10 = 2*l + 3*l. Suppose l*b = -6, -b + 119 = r*c + b. Is c prime?
False
Let u(z) = 25*z + 1. Is u(8) a prime number?
False
Let s = -2 - -2. Let g be 9/3 + 145 + s. Suppose -8*r + g = -4*r. Is r prime?
True
Let d(s) = 144*s**3 - 2*s**2 + s + 1. Is d(2) a prime number?
False
Let g(i) = i**3 - 3*i**2 + i. Let p be g(2). Let q be 5 + (3 - 0) + p. Is (-38)/((-1)/(3/q)) a prime number?
True
Let d(f) = 13*f**2 - 6*f - 8. Is d(-5) composite?
False
Let o(t) = -t - 1. Let g(n) = 3*n**2 + 15*n + 13. Suppose 13 = q + 3*w, -2*w = -5*q + 2*w + 8. Let c(r) = q*o(r) + g(r). Is c(-7) a prime number?
True
Let w(j) = j**2 - 2*j - 1. Let d be w(4). Let x = d + -3. Suppose n = 30 + x. Is n prime?
False
Let b = -5 - -19. Suppose 11*p = b*p - 159. Is p a prime number?
True
Let s(x) = x**2 + 12*x + 6. Is s(7) prime?
True
Let c(d) = d**3 - 4*d**2 - d + 4. Let f be c(2). Let t(r) = -15*r - 8. Is t(f) a composite number?
True
Let a(z) = z + 4. Let n be a(-4). Suppose -2*p + n = -4. Suppose o - p*o = -3. Is o composite?
False
Suppose 15 = 2*c + 7. Suppose -c = h, -6*q - 493 = -9*q + 4*h. Is q a prime number?
False
Suppose -3*k + 8*k - z - 8556 = 0, -5130 = -3*k - 3*z. Is k prime?
False
Let w be (24/9 - 2)*54. Suppose 2*l + 12 = 5*s - 86, 2*s = 4*l + w. Let u = s + 1. Is u prime?
False
Suppose -5*m = -m - 8. Suppose -v - 5 = m*h, 5*v = 2*h + 1 - 2. Let z = v + 15. Is z prime?
False
Suppose 4*y - 381 = y. Is y a prime number?
True
Let y(w) = -w - 1. Let b be y(-3). Suppose -4*s - 3*g = -s - 786, -b*g - 504 = -2*s. Is s a prime number?
True
Suppose 0 = -2*l + 4*z + 30, 2*l - 31 = 2*z + 5. Is l composite?
True
Let z be -12 + (-3)/(3/(-2)). Let m(a) = 2*a**2 + 15*a + 15. Let r be m(z). Let d = -34 + r. Is d a composite number?
False
Let q(m) = 5*m**2 + 11*m - 11. Is q(-7) prime?
True
Suppose 3*i = -3*c + 2028, 0 = 4*i + 3*c - 1401 - 1301. Is i composite?
True
Let p = 128 + -233. Suppose 305 = n + 111. Let b = p + n. Is b a prime number?
True
Suppose -29 = -5*y + 51. Is 3/12 + 844/y composite?
False
Suppose 44 = -4*z - 40. Let w be -1*(-2 + 3*z). Suppose -h + 62 + w = 0. Is h composite?
False
Suppose -13*t = -22*t + 12645. Is t a composite number?
True
Suppose 0 = -2*w - 3*q + 278 + 33, 0 = w - 3*q - 133. Suppose 0*j + 4*j = w. Is j a prime number?
True
Suppose 4*t + 5*m = 467, 0 = 4*t + t + 2*m - 571. Let d = 202 - t. Is d a prime number?
True
Suppose 2*w - 5*x = -15, 2*x + 9 = -4*w - 9. Let y(k) = 5 + 2 - k**3 - 4*k**2 - 7 + 2*k. Is y(w) prime?
False
Suppose -42 = -n + 2*n. Suppose 5 = v - 4*c, 0 = -v + 2*v - 5*c - 9. Let m = v - n. Is m prime?
True
Is ((-1994)/8)/(0 + (-3)/12) a composite number?
False
Let o be -2 + 9 + 15/(-5). Is (4/3)/o*291 a composite number?
False
Let r(k) = 15 + 2*k**2 - 14*k + 3*k**2 + 4*k + 14*k. Let o(w) = 4*w**2 + 4*w + 14. Let a(z) = -6*o(z) + 5*r(z). Is a(-6) prime?
False
Suppose -7*i = -0*i - 3787. Suppose 4*b = 5*k + i, -130 = -0*b - b + 3*k. Is b prime?
True
Let c(h) = 0 - 2*h + 4*h**2 + 0*h**2 - 3*h**2 + 4. Is c(7) composite?
True
Let t(u) = u - 2. Let m be t(4). Suppose -3*g - m*g = 0. Suppose -c = 3*p + 2*p - 77, -2*c - 4*p + 142 = g. Is c a prime number?
True
Suppose 22*c + 2732 = 26*c. Is c a prime number?
True
Let s = 203 - 54. Is s a composite number?
False
Suppose -s = 3*s - 92. Suppose -c - 4*f = -s - 92, -3*f = -4*c + 517. Is c composite?
False
Let o(f) = f**2 + 8*f + 4. Let r be o(-9). Let n = r - -9. Is n composite?
True
Let q = -2 + 7. Let a = -27 - -46. Suppose 163 = 4*x + q*c, -x + 3*c + 9 + a = 0. Is x composite?
False
Let a(q) = 3*q + 4*q**2 + 4 - 5*q - 5. Let r = -14 + 18. Is a(r) a prime number?
False
Let t(r) = -11*r**3 + 7*r**2 + 3*r + 1. Let g = 16 + -22. Is t(g) a composite number?
True
Is (11 + -10)*1*317 a prime number?
True
Suppose -2 - 1 = y, 2*f - 1535 = -y. Is f prime?
True
Let f(l) = -68*l + 3. Is f(-10) prime?
True
Suppose -5*r - 83 = 42. Let v = 92 - r. Is v - (-6)/(4 + -1) a prime number?
False
Let l(z) = 2*z**2 + 10*z - 1. Is l(-8) prime?
True
Let g(t) = 5*t**2 + 10*t + 11. Let k(q) = -9*q**2 - 19*q - 22. Let s(c) = 11*g(c) + 6*k(c). Is s(-8) prime?
False
Let p(r) = -r - 1. Let k be p(-5). Suppose k*j = 5*j - 59. Is j prime?
True
Let u(g) = -g**3 + g**2 - g. Let n(k) = -6*k**3 + 4*k**2 - 6*k - 135. Let i(m) = n(m) - 5*u(m). Let o be i(0). Let w = o - -222. Is w prime?
False
Let b(t) = t + 7. Let z = 4 + 1. Suppose -d + 3*y + 6 = 0, -6*d + z*y + 10 = -d. Is b(d) composite?
False
Let s = -151 - -272. Is s composite?
True
Let a(f) = -f**2 + 8*f - 9. Let w be a(7). Let r(l) = l + 4. Let c be r(w). Suppose 49 = d - 5*n + 4, -d = c*n - 73. Is d a composite number?
True
Suppose 0 = 4*a - 5*f - 8, -3*a + a - 3*f + 4 = 0. Suppose -a*g - v = v - 4, 4*g + v + 4 = 0. Is 11 + (g/2 - -4) a composite number?
True
Suppose 8*y + 354 = 11*y. Is y a prime number?
False
Suppose -4*d + 1028 = -0*d. Is d composite?
False
Let i(f) be the second derivative of f**5/20 - 5*f**4/12 + f**3/6 - 3*f**2/2 + 2*f. Let h be i(5). Suppose 0 = -h*u + 6*u - 1028. Is u a prime number?
True
Let g be 2 - 2 - 1*3. Suppose 4*b = 4*r - 48, 0*b + 4*b = 0. Let o = r - g. Is o a prime number?
False
Let u be (-2)/3 - 10/(-6). Let k(b) = b**2 + 8*b + 7. Let v be k(-5). Is v/(-4) + u*19 composite?
True
Let u(h) = h**2 + h + 6. Suppose -w = -4*m - 2*w - 9, -5*m - 3*w = 6. Let l be 5*((2 - 0) + m). Is u(l) a prime number?
False
Suppose u = 3*u. Suppose -3*l - 2*s = -18, u*s + 15 = 5*s. Let y = l - 0. Is y a prime number?
False
Suppose -5*g = 0, -2*g + 3 = 3*h - 9. Suppose -4*u + 24 = t, h*u = -4*t + u + 96. Suppose 3*s - t = -s. Is s a composite number?
True
Let f(n) = 2*n**2 + 7. Let r(g) = -g**2 + 3*g - 2. Suppose b = 2*y - 0*b - 8, 3*y - 12 = -5*b. Let d be r(y). Is f(d) a composite number?
False
Suppose -t - 4*t = 25. Is (-2 - -4) + (372 - t) a composite number?
False
Let p = 51 + -7. Let x = -25 + p. Suppose -103 = -4*i + j + x, 2*j + 89 = 3*i. Is i composite?
False
Is ((-262)/(-5))/(24/120) a prime number?
False
Let h(y) = -y**3 - 11*y**2 + 7*y + 4. Is h(-13) composite?
False
Let t(c) = 26*c - 3. Let s be t(8). Is s + 0/(6 + -3) composite?
True
Suppose -5*l + 2*w + 9 = -4, 0 = l + 4*w + 15. Is (153 - -7) + l/1 prime?
False
Is -7*2*(-71)/2 composite?
True
Is (22 - 2)*57/12 composite?
True
Let t(d) = 7*d + 19. Is t(10) a prime number?
True
Suppose 0 = 3*t + x + 14, -2*x - 25 = 4*t - 5. Let h be 2 + 0 - (t + -279). Is (4/6)/(10/h) a prime number?
True
Let i = -11 + 30. Suppose -3*n - i = -v - 0*n, 5*n - 3 = -v. Let z = -7 + v. Is z a composite number?
True
Is (-3366)/(-5) + (-9)/45 composite?
False
Suppose -16*n + 1923 = -13*n. Is n prime?
True
Let y(c) = c**2 + 3*c - 11. Is y(-9) a composite number?
False
Suppose -2*k = -r + 608, 2*k = -0 + 10. Suppose 0 = 2*s + 202 - r. Suppose -2*f - 30 = -s. Is f a composite number?
False
Suppose 0 = 5*r - 11 - 14, -o + 4*r = -1541. Is o a prime number?
False
Suppose 3*t = -v + 14 + 3, 0 = 4*t - 2*v - 26. Suppose 0*l - t = -3*l. Suppose -7*s + 20 = -l*s. Is s a prime number?
False
Is -2*(2/(-5))/(20/6425) prime?
True
Suppose 180 = 4*p + 2*w, 0*p = -5*p + 2*w + 216. Suppose 0 = -0*u - 2*u + 6, -5*h + p = 3*u. Is h a composite number?
False
Let s(d) = 44*d**2 - 1. Suppose -1 = -q - 0*q. Is s(q) composite?
False
Let h(j) = -20*j**3 + 2*j**2 + 2*j + 1. Suppose -5*f - 4*m - 25 = 0, 4*f + 2*m + 19 = -m. Is h(f) a prime number?
False
Let l(c) = 15*c + 12. Is l(11) composite?
True
Let m = 16 - 14. Suppose 0 = m*k - 337 + 55. Is k a prime number?
False
Let p(u) = 4*u - 5*u + 2 + 2. Let q be p(4). Let b(r) = r + 19. Is b(q) a prime number?
True
Suppose 2*k - 144 - 694 = 0. Is k composite?
False
Suppose -3*u = -5 - 1. Suppose -538 = -4*f + u*g, -5*f + 251 = 2*g - 399. Let q = f - 89. Is q a prime number?
True
Let t(n) = -n - 3. Let a be t(-3). Suppose a = 4*l - 12 - 4. Suppose l*m + 196 = 552. Is m a prime number?
True
Is ((-14)/21*1)/((-4)/5118) a composite number?
False
Suppose 188 + 154 = 3*c. Suppose -c + 386 = 4*w. Suppose -63 = -2*x + 5*h + w, 0 = -x + 4*h + 73. Is x a prime number?
True
Is (-1437)/15*(1 - 6) a prime number?
True
Suppose -c - 2*g = -661 - 134, -1592 = -2*c - 2*g. Is c a prime number?
True
Suppose -5*l + 4336 = -j, 2*l + 4*j - 2*j = 1744. Suppos