prime?
True
Let i = 2 + -2. Suppose i*y + 50 = 2*y. Suppose 30 = 5*k - y. Is k a composite number?
False
Let z = -6 - -8. Suppose z*q = 56 + 30. Is q prime?
True
Let m(u) = -u**3 + 3*u**2 + 1. Let y be m(2). Suppose 3*d - y*d + 138 = 0. Is d composite?
True
Let o be (-4)/4 - 2/(-2). Suppose 0*d + d = 2*c, -3*c = 2*d - 21. Suppose -d*u + u + 385 = o. Is u composite?
True
Suppose -4*v + 90 = r, 3*v + 314 = 3*r + 4*v. Is r a prime number?
False
Let a = -65 + -22. Let z be (56/(-20) - -2)*-205. Let b = z + a. Is b prime?
False
Let d(b) = -4 - 2*b + 7*b + 4*b. Let f be d(4). Let u = 63 - f. Is u prime?
True
Let s = 1330 - 4048. Is s/(-4) - 3/6 prime?
False
Let x be -25 - (2 + 0/(-1)). Let u = x - -50. Is u prime?
True
Let l(w) be the second derivative of 5*w**4/24 - w**3/3 - w**2 + 2*w. Let m(p) be the first derivative of l(p). Is m(3) prime?
True
Let w(q) = 4*q + 29. Let s(m) = -m - 10. Suppose 0 = 5*h + 3 - 23. Let i(p) = h*w(p) + 11*s(p). Is i(5) a composite number?
False
Let z(a) = -5*a**2 + 20*a + 13. Let x(y) = -2*y**2 + 7*y + 4. Let n(r) = -8*x(r) + 3*z(r). Is n(-6) prime?
True
Let t(p) = 69*p**2 + 3*p + 1. Let c(l) = l**3 + 13*l**2 + 13*l + 10. Let y be c(-12). Let v be t(y). Suppose -2*h = -v - 99. Is h a prime number?
False
Suppose -4*c - 1 + 9 = 0. Suppose 0 = c*s + 5*a - 32, 2*s - 6*a = -a + 12. Let w = 24 + s. Is w prime?
False
Is (9/6)/((-12)/(-424)) a prime number?
True
Let j(z) = -z**3 - 5*z**2 + 3*z. Suppose -4*p + 7*p + 15 = -3*q, 3*p + 1 = -q. Is j(q) a prime number?
False
Suppose 4*b - f - 3 = 0, 0*f + 5 = 5*b - f. Suppose -3*r + 7*r + b*v - 1316 = 0, 1659 = 5*r - v. Is r a prime number?
True
Let s = 22 + 55. Is s a composite number?
True
Let n = -5 + 1. Let v be (-4)/((-32)/68)*2. Let m = n + v. Is m prime?
True
Suppose -4*t + 5*x = -17, 0*t + 3*x = -t. Suppose -t*q - 3 + 0 = 0. Is q + 2 - 1*-12 a prime number?
True
Let b(m) = m**2 + 8*m. Let o be b(-10). Let n = -11 + o. Is n a composite number?
True
Suppose -3*x - 5*p - 9 = 0, 0*p - 16 = -5*x + 2*p. Suppose -x*j + 203 = -j. Is j composite?
True
Is (4 + -2)*(-1157)/(-26) a prime number?
True
Suppose 0 = -2*v - 5*c + 3319, v - 1680 = -2*c - 21. Is v composite?
False
Let t = 654 + 136. Suppose 3*y = y + t. Is y composite?
True
Let h = 2 + -4. Let w be ((-89)/2)/(h/4). Let z = 128 - w. Is z composite?
True
Let j = -125 - -36. Let q be (-3)/(6/2) - 63. Let l = q - j. Is l a prime number?
False
Let r(l) = -l**2 - 2*l - 3. Let x = -11 - -7. Let p be r(x). Let u = -2 - p. Is u a prime number?
False
Let k be -5*(-2 + 1) - -1. Is 2*2*69/k a prime number?
False
Suppose 2*g = g + 133. Let x = 386 - g. Is x composite?
True
Let v be ((-2)/(-5))/((-10)/5900). Is (-2)/(-6) - v/3 a prime number?
True
Suppose -769 = -4*r + 115. Is r a composite number?
True
Let q(u) = u**3 - 6*u**2 - 9*u - 3. Suppose z = -3*x + 5*x - 13, -15 = -3*x + 3*z. Is q(x) a prime number?
True
Suppose -347 = -5*g + 108. Is (-1*g + 2)*-1 a composite number?
False
Let g = 2011 + -1342. Suppose -9*j - g = -12*j. Is j composite?
False
Let j(i) = 9*i**2 + 14*i - 63. Is j(-22) a composite number?
True
Let t be (-18)/4 + 6/12. Let c be 1/t - 65/(-20). Suppose 135 = 3*f + c*q, 8*q = -2*f + 5*q + 88. Is f composite?
False
Suppose 5*z = 2*z + 1902. Is -1 - (3 + -4)*z a prime number?
False
Suppose -16 = 2*u - 4. Let x be (-16)/6*u/4. Is x/6*(-282)/(-4) composite?
False
Let c(k) = 12*k**2 - 2*k + 2. Let p be c(6). Let f = p + -243. Suppose 3*d = 15, 2*v + d = -4*d + f. Is v a prime number?
False
Suppose 3*p - 319 = -1957. Suppose 2*v - 35 = 7*v. Is p/v + -1 + 0 composite?
True
Let a be 16 + 282 - (0 + -2). Is a - 5 - (1 - -3) composite?
True
Is 7/2*(-138)/(-3) a composite number?
True
Suppose -2*u + 3*s = -286, -3*u + 5*s + 278 = -u. Is u a prime number?
True
Let z = 1327 - 776. Is z a composite number?
True
Is (-27295)/(-10) - (-9)/6 a prime number?
True
Let k = -6 + 6. Suppose -w + 3*x = -48, 4*w + 5*x + k*x - 209 = 0. Is w a composite number?
True
Suppose m = -0*m + 319. Is m prime?
False
Let j(x) = 2*x - 6. Let l be j(-7). Let b be ((-32)/l)/(2/10). Is (b/12)/(4/222) a composite number?
False
Suppose 417 = 4*p - 307. Is p composite?
False
Let h(x) = x**2 - 3*x + 4. Let m be h(3). Suppose -3*d + 4*b = d - 264, m*d + 4*b - 232 = 0. Is d prime?
False
Is 76 + (3 - 4) + -1 prime?
False
Let o(f) be the third derivative of -f**5/60 + 5*f**4/12 - f**3/3 + 4*f**2. Is o(8) prime?
False
Let a be ((-2)/4)/((-1)/(-4)). Is 220 + (-4 - -2)/a a prime number?
False
Let t(j) = j**2 + 11*j + 8. Is t(-13) composite?
True
Suppose -2*c + 12 = -z + 5*z, 5*z - c = 1. Is z/(2/(2 + 156)) composite?
False
Is -2*(-5)/(-35) - 10686/(-14) composite?
True
Let g(m) be the third derivative of m**6/60 - m**5/30 + m**4/24 + 5*m**3/6 + 6*m**2. Is g(6) prime?
False
Let g(x) = -x**3 + 18*x**2 - 17*x + 21. Is g(17) composite?
True
Let n be 8/(-10)*-25*23. Suppose -t = -5*t + n. Is t a prime number?
False
Suppose 5*v = -5, 0 = -5*r - v - v + 3723. Is r a composite number?
True
Suppose 0 = 3*a - 0*a - 1893. Is a a composite number?
False
Is ((-515)/(-20))/(-2 + (-34)/(-16)) prime?
False
Let g(d) = -d**3 - 5*d**2 + 3*d - 2. Let i be g(-6). Let a be 1/((-1200)/(-399) + -3). Let s = i + a. Is s prime?
True
Suppose 1172 = 4*q + 4*x, 2*x + 2*x = 4*q - 1172. Is q prime?
True
Suppose -16*u = -1529 - 2039. Is u a prime number?
True
Let d = 1400 - 915. Is d composite?
True
Let m(g) be the second derivative of g**4/12 - g**3/6 - g**2/2 - 2*g. Let i be m(0). Is (-510)/(-4) + i/2 a composite number?
False
Let c(d) = 2*d**2 - 5*d - 11. Is c(6) composite?
False
Let h(q) = 2*q**2 + q - 13. Is h(-10) prime?
False
Let p(f) = -8*f**3 + f**2 - 2*f + 2. Is p(-3) a composite number?
False
Let p(n) = -49*n + 8. Let w = 2 + -11. Is p(w) a prime number?
True
Is ((-14)/(-4) - 2)/(21/11606) prime?
True
Let m = 19 - 17. Let s(d) = 6*d. Let w(h) = -h + 1. Let a(x) = s(x) - 3*w(x). Is a(m) prime?
False
Suppose -8*z + 20 = -3*z. Suppose -24 + 156 = z*f. Is f prime?
False
Suppose x - 2*x + 37 = 0. Is x prime?
True
Let m(p) = -p**3 + 5*p**2 + 2. Let j be m(5). Suppose -6*x = -j*x - 132. Is x prime?
False
Suppose j - 6 = -j. Let t(q) = 6*q**2 - q - 1. Let k be t(j). Let r = k + 41. Is r prime?
False
Is (-158)/(-4)*(13 - 9) a prime number?
False
Let i(b) = 24*b**2 - 5. Is i(-2) composite?
True
Let m(n) = 62*n**2 - n + 1. Is m(2) a prime number?
False
Let f = 2805 - 1834. Is f prime?
True
Let b(m) = m**2 - 3*m + 3. Let g(y) = -y**2 - 7*y - 3. Let c be g(-6). Let r be 1/(1/(-1*c)). Is b(r) a prime number?
False
Let u = -93 - -135. Let w = 7 + u. Is w prime?
False
Suppose 0 = 5*q - 453 - 1117. Is q a composite number?
True
Let q(s) = s + 7. Let n be q(-4). Suppose 3*t - 212 = -i, -2*t + 112 = n*i - 34. Suppose 2*v + 0*v = 2*f - 28, -t = -5*f + v. Is f a prime number?
False
Suppose 11 + 235 = -i. Let y(f) = -26*f - 3. Let c be y(5). Let s = c - i. Is s composite?
False
Suppose -9 - 1 = -2*i, i = 3*v - 46. Let r = v - 11. Let a(j) = 4*j**2 + 4*j - 5. Is a(r) a prime number?
True
Is 7/28 + (-1014)/(-8) a composite number?
False
Is (-541)/(-7) + (-12)/42 a composite number?
True
Let m = 43 - 67. Let s = m - -86. Is s a prime number?
False
Let o be 1 - 2*3/(-2). Is 2/(o/(-77))*-2 prime?
False
Let d be (-1)/(-3) + (-18640)/(-24). Let u = d - 400. Is u composite?
True
Let c(z) be the second derivative of -2*z**3 - z**2 + 2*z. Is c(-3) a prime number?
False
Suppose -d - 1948 = -5*d. Is d composite?
False
Let n be 102/8 + 1/4. Suppose n + 22 = 5*g. Is g composite?
False
Let f = 6 + -6. Is (3 + 667)/2 - f prime?
False
Let p = -13 + 32. Let l = 144 + p. Is l prime?
True
Suppose -3*t + 331 = -44. Suppose x + t = 5*p - 2*x, -3*x + 95 = 5*p. Is p prime?
False
Let c(v) = 2*v - 2. Is c(8) composite?
True
Suppose 6 = -2*f - 54. Let i(t) = -t**2 - 7*t + 4. Let k be i(-7). Is (-3)/6 - f/k prime?
True
Suppose 10 = -3*n + 5*h, -7 = -5*n - 2*h - 3. Let c(w) = -w**3 - w**2 - w + 19. Is c(n) prime?
True
Let y(n) = 6*n**2 + 6*n - 1. Is y(4) a composite number?
True
Suppose 2*z - 47 = 4*d + 39, -3*z + 5*d = -131. Suppose z = 2*j - 27. Is j prime?
True
Suppose 0 = 2*m - 5 - 5. Let v be 4/((-9)/3 + m). Is (-92)/(-9) - v/9 composite?
True
Let m(o) = -2*o**3 - 4*o**2 - o + 2. Let h be m(-2). Suppose -h*r = -5*r. Suppose r = -4*q