(-10)*(-107 + 1) a prime number?
True
Let r = 15 + -26. Is 6 - 8 - r*15 composite?
False
Suppose -26 = n + 3*v - 9, 0 = -2*n - 5*v - 34. Let i = n - -11. Is 2/i + 31/3 composite?
True
Let g = 12 + -8. Suppose 3*s + 0*s = 2*t - 2, 5 = 5*t + g*s. Is 3 - (121*-1 + t) prime?
False
Suppose 2*q + 1 = 3*k, 3*k = 6*q - 5*q + 8. Suppose 2*d - 4*w = q*d + 11, 2*w + 5 = -3*d. Suppose -g + 2*y = -34 + d, -5*g + 5*y + 140 = 0. Is g prime?
True
Let l(y) = -2*y**2 + 78 - 2*y**2 + 3*y**2. Let p be l(0). Suppose -p = -3*g - 6*s + 3*s, 0 = -2*g - s + 52. Is g a composite number?
True
Let z(l) = 5*l + 0*l + 2*l**2 - 3 - 4. Let g(t) = 7*t + 1. Let f be g(-1). Is z(f) a composite number?
True
Let i(z) = z**3 - 5*z**2 + 5*z - 3. Let r be i(6). Suppose r = c + 3*y, c + 144 = 3*c - 3*y. Is c prime?
False
Is ((-10)/(-10))/((-1)/(-79)) a prime number?
True
Is 1225/21 + 4/6 composite?
False
Is 1*-223*1/(-1) prime?
True
Let b be 6/4*78/(-9). Let x(k) = -k**2 - 16*k + 8. Is x(b) prime?
True
Suppose 0 = 2*w - j + 3, 0 = -3*w - 4*j + 18 - 6. Let b = 11 - -12. Suppose 2*v - 4*x - 250 = w, -2*v + 281 - b = 4*x. Is v a prime number?
True
Let l = -1 - -4. Is 62/l + 1/3 a composite number?
True
Suppose 0 = h - 5*v - 444, 3*h + v + 724 = 2136. Is h a prime number?
False
Let z = -4 - -6. Suppose 5*i - 9 = z*i. Let t = i - -12. Is t prime?
False
Suppose 4*r + 6 = 2*r. Let g(c) = -17*c**2 - 3*c - 13. Let q(w) = -9*w**2 - w - 7. Let f(k) = -4*g(k) + 7*q(k). Is f(r) prime?
False
Let c(g) = -g**3 + 4*g**2 - 3*g. Let u be c(2). Let z(o) = -u + 3*o + 3*o + 0 + 8*o. Is z(2) prime?
False
Let d(r) = -26*r + 7. Let n(k) = -53*k + 15. Let v(m) = 7*d(m) - 3*n(m). Is v(-5) composite?
True
Let w = 15 - 11. Let j = -3 + w. Is j - (0 + 1 - 3) a prime number?
True
Let v = 212 - 133. Is v a prime number?
True
Let g(n) be the second derivative of -11*n**6/40 + n**5/60 + n**4/12 + n**3/6 - n**2 + n. Let k(p) be the first derivative of g(p). Is k(-1) a composite number?
True
Let v = 2 - 0. Let m be 8*(v - (-126)/4). Suppose -7*n = -3*n - m. Is n prime?
True
Let f(z) = 18*z + 5. Is f(4) a composite number?
True
Let s be (-4 - (-110)/25)*10. Suppose -2*m = -23 - 19. Suppose -93 = -s*v + t, -v - 1 + m = 3*t. Is v composite?
False
Let r = -50 - -152. Suppose y = -y + r. Is y a composite number?
True
Let m(s) = 44*s**2 - 3*s + 4. Is m(-3) prime?
True
Let j(b) = 3*b**3 + 6*b**2 + 11*b - 15. Is j(7) a prime number?
False
Let m(x) = -2 - 5*x - x**3 + 6*x - 2*x**2 - x**2. Is m(-7) a prime number?
False
Suppose 3*w = 2*w + 4*q - 15, -w - 2*q + 3 = 0. Let t = 5 + w. Is (26/4)/(t/4) prime?
True
Let q(j) = -9*j - 4. Suppose -3*n - n - 4 = 0. Let w(o) = o - 1. Let f(r) = n*q(r) + 3*w(r). Is f(3) composite?
False
Let y be 5 + (-3 + -3)/2. Suppose -3*q - 5*n + 2*n = -84, y*n = 4*q - 100. Suppose 5*v - 309 = q. Is v a composite number?
False
Let c be (27 - 0)/(-1 - -2). Let t = 26 + c. Is t prime?
True
Let s = 2926 + -1990. Suppose -5*c - 11 = -s. Is c prime?
False
Let y be (4 - 6)/2 + 91. Let g be 7/2 - (-2)/4. Suppose -y = -g*d - 14. Is d composite?
False
Is 498*((-6)/9 - (6 - 7)) a prime number?
False
Let m be (-2360)/(-25) + (-2)/5. Suppose m = 4*y - 5*b, -3*y + 3*b = b - 67. Is y a prime number?
False
Let a(s) = -s**3 + 3*s**2 + s + 3. Let u be a(5). Let y be u/4*(1 + -3). Suppose -y = -3*o + 2*o. Is o a prime number?
False
Let m(a) = 2*a - 9. Let j be m(3). Is (-549)/(-6)*(-1 - j) a composite number?
True
Let i(f) = f**2 + 4*f + 17. Is i(7) a prime number?
False
Suppose 0 = 2*x + 16 - 82. Suppose x + 1 = q. Is q a prime number?
False
Let g = 9 + -6. Let m = 7 + -7. Suppose g*z + m*z = 42. Is z prime?
False
Let o(b) be the second derivative of 3*b**5/20 + b**3/6 - 2*b. Is o(2) a prime number?
False
Let k(l) = l + 6. Let v be k(-3). Suppose v*n - 31 - 38 = 0. Is n composite?
False
Let z(u) = -4*u**3 + u**3 + 9*u**2 - u + 2*u**3 + 9. Let i be z(9). Suppose -33 = -3*w - i*w. Is w composite?
False
Suppose -29 = 2*k + q, -k - k - 4*q = 38. Let g(h) = -h**2 - 29*h + 3. Is g(k) composite?
False
Let w = 172 + -5. Is w prime?
True
Let b(s) = -s**3 - 7*s**2 - 6*s - 19. Is b(-10) prime?
False
Let f be 19 + (-1 - (-1 + 2)). Suppose a + 2 - f = 0. Is a a composite number?
True
Let z(k) = -77*k**3 + 2*k**2 + 2*k + 1. Let i be z(-1). Suppose -66 = -5*b - 4*x + 21, x + i = 4*b. Is b composite?
False
Suppose -12 = 2*p + 12. Is p/20*(-33 + -2) composite?
True
Let n(b) = 3*b**2 - 4*b - 10. Let g be n(9). Suppose 2*o - g = -4*a - o, -4*a + 237 = -5*o. Is a composite?
False
Suppose -5*l = -142 - 38. Suppose -3*n + 80 = 2*n. Suppose -n = -4*p + l. Is p a prime number?
True
Suppose -4*j + 210 = -106. Suppose 3*z - 6 = -0*z. Suppose z*l - j = l. Is l composite?
False
Suppose -3*b + 0*b - 6 = 0. Is 5475/27 + b/(-9) composite?
True
Let k = -2 + 1. Let l be 36*(k - (1 - 1)). Let o = l + 50. Is o a prime number?
False
Let o = 8 + 971. Is o a prime number?
False
Let q(p) = -9*p + 32. Is q(-7) composite?
True
Suppose 2*i - 4*o + 2 = 0, i = 2*i - 4*o + 1. Is 3*i/((-3)/35) a prime number?
False
Let p(l) = 6*l**2 - 12*l - 41. Is p(12) a composite number?
True
Suppose 3*h = -3*u + 9, -4*h = -2*h + 3*u - 7. Suppose 3*j = -h*j + 170. Is j composite?
True
Let k(s) = s + 6. Let m be k(-4). Suppose -m*c + 184 = 2*c. Is c a prime number?
False
Let d be 2 + -2 + 2 - -1. Suppose -w = 5, -w + 14 = -d*x + w. Is (-23 + 0)*(x - -1) a composite number?
True
Suppose -5*u - 2*b - 743 = -3186, -4*u = b - 1952. Is u composite?
False
Let k = 3 - -3. Suppose b = -5, 2*a + a + 3*b = -k. Suppose 4*p - 44 = a*h, -4*p + h + 23 = -29. Is p prime?
False
Suppose -n + 4*b + 12 = 0, -3*n - 4*b + 7 = 35. Is n - (-195 + -3)/1 composite?
True
Suppose 2*f + 2478 = 5992. Is f composite?
True
Suppose -t - 5*g + 86 = 0, 3*t + 2*g = t + 164. Let s = 150 - t. Is s composite?
True
Suppose 45 = 2*m - 3*p, 3*m = -2*m + 2*p + 96. Let l be (-28)/(-6)*m/7. Suppose -g + 2 = -l. Is g a prime number?
False
Is 5/((-50)/(-4)) - (-1530)/50 prime?
True
Let f(a) = a**3 - 5*a**2 - 7*a + 1. Let q be f(6). Let d be 4*((-50)/8)/q. Is 1*(-99)/(-15)*d prime?
False
Is 86 - 1*(0 + -3) prime?
True
Suppose 4*t + 2*j = 4*j + 20, 4*j + 5 = 3*t. Is t prime?
True
Suppose 5*j = 9 + 16. Let h(k) = 2 + k**2 + 2*k**2 + 0 - 5*k + 3*k**2. Is h(j) composite?
False
Suppose h + 2*u - 449 = 5*u, 0 = -5*u - 10. Is h prime?
True
Let o be 4/(-14) + (-23)/(-7). Suppose -5*w = -o*w - 4. Is w a composite number?
False
Let p be (-2)/(2/1 - 0). Let x = p - -3. Let h = 5 + x. Is h composite?
False
Let h = 2 + 4. Let r be ((-59)/3)/(h/(-36)). Let s = -81 + r. Is s a prime number?
True
Suppose 3 = -2*m - 3. Is (-3 + m/1)/(-2) composite?
False
Let z(s) = 19*s**3 + 3*s**2 + 3*s. Let t(i) = 6*i**3 + i**2 + i. Let j(l) = 7*t(l) - 2*z(l). Let v be j(-3). Is (v/(-4))/(6/8) prime?
False
Let x(c) = c**3 + c**2 - c + 191. Is x(0) a prime number?
True
Let d be (-16)/(-6) + (-3)/(-9). Let y(h) = 248*h + 1. Is y(d) prime?
False
Suppose 2*a + 2177 = 4*s - a, -1629 = -3*s + a. Is s composite?
True
Suppose v - 295 - 63 = 0. Is v composite?
True
Let t = -328 - -3413. Is t a composite number?
True
Let o(g) be the second derivative of -3*g**3/2 + 7*g**2/2 - 3*g. Is o(-8) prime?
True
Suppose 6*r - 4*r = 5*s + 3, -5*r = -3*s - 17. Suppose -h - 57 = -r*h. Is h prime?
True
Let n = 14 - -39. Suppose -n - 16 = -3*o. Is o prime?
True
Let i = 768 - 377. Is i a prime number?
False
Is (-1 + 244/8)*2 prime?
True
Let g(d) = -d**3 - 4*d**2 + 3*d - 5. Let b be g(-5). Suppose 4*x = b*x - 79. Is x composite?
False
Suppose 5*b = 0, -j - 2*b + 1 = -2. Suppose -14 = -j*t + 97. Is t prime?
True
Let d(j) = -3 + 12 + 7*j - 4*j**2 + 5*j**2. Let g be d(-6). Suppose 3*p - 3*b + 2*b = 376, -5*p - g*b + 650 = 0. Is p composite?
False
Is 3045/12 + 3/(-4) a prime number?
False
Let d = -9 - -14. Suppose -v + d*v - 236 = 0. Is v composite?
False
Suppose -5*q + 3460 = 5*a, 4*q - a = 2*a + 2733. Is q a composite number?
True
Let x(z) = z - 4. Let u = 1 + 3. Let n be x(u). Let l = 23 - n. Is l a composite number?
False
Suppose f - 71 = -5*c, 0*f + 225 = 5*f - c. Is f prime?
False
Suppose 4*t - 1016 = -0*t. Is t a prime number?
False
Let y(n) = n**2 - 7*n + 8. Let g be y(6). Suppose -3 - g = 5*i, -2*o - 2*i + 4 = 0. Is (-3)/o*-35*1 composite?
True
Suppose 2*n - 83 = n. Suppose 5