 Is t a composite number?
True
Suppose -n + 0 + 1 = 0. Let c be (n/(-2))/(1/780). Let v = -139 - c. Is v prime?
True
Let d(n) = n**3 + 9*n**2 - 11*n - 8. Let z be 10/35 - (-170)/(-7). Let l = 17 + z. Is d(l) a composite number?
False
Suppose 5*p - 570 - 1565 = 0. Is p a composite number?
True
Let q(t) be the first derivative of -5*t**4/12 - t**3/2 - t**2 + 1. Let y(i) be the second derivative of q(i). Is y(-7) a prime number?
True
Is ((-3)/(-15))/(9/45)*5095 a composite number?
True
Let g(l) = 4*l. Let r be g(4). Let q = 13 + r. Suppose -2*w = -4*w - v + q, 61 = 4*w - v. Is w a prime number?
False
Let f = -13 + 9. Is 927/36 + (-1)/f prime?
False
Let y(o) = -o**2 - 3*o + 1. Let c(g) = 2*g**2 + 6*g - 2. Let x(q) = 3*c(q) + 7*y(q). Let u be x(-3). Is u/(2 + 219/(-111)) a prime number?
True
Suppose 51 + 314 = -5*m. Let o = 126 + m. Is o a composite number?
False
Let s = 1001 - 610. Is s a prime number?
False
Let z(d) be the third derivative of 17*d**4/24 - d**3/3 - 6*d**2. Is z(3) a composite number?
True
Let y(f) = 553*f**2 + 3*f + 3. Is y(-1) prime?
False
Let f(i) = -39*i + 6. Let o(l) = 19*l - 3. Let p(z) = 6*f(z) + 13*o(z). Suppose 0 = 6*u - 3*u + 6, 0 = -2*k - 2*u. Is p(k) a prime number?
True
Let f = 62 - 15. Is f prime?
True
Let j(g) = 4*g**3 + 4*g**2 + 4*g - 4. Let s(f) = 8*f**3 + 9*f**2 + 9*f - 9. Let d(t) = -13*j(t) + 6*s(t). Is d(-2) composite?
True
Suppose 17 + 4 = 3*w. Is (194/8)/(w/84) a composite number?
True
Suppose w - 2*r + 16 = 6*w, 2*w = 4*r - 8. Suppose -3*o - q = -54, o + 6*q - w*q - 18 = 0. Let x = 33 - o. Is x a prime number?
False
Let q = -704 + 1039. Is q prime?
False
Suppose 0 = 3*s + 2*a - 18, 3*s - 2*a + 3*a = 15. Suppose -3*m + m - 8 = 0. Is 1/s + (-1171)/m composite?
False
Let g be (6/(-4))/((-3)/16). Suppose -1227 = -g*k + 5*k. Is k a composite number?
False
Suppose -2*l + 3*h + 446 = 0, -7*l + 1115 = -2*l + h. Is l a composite number?
False
Suppose b + 0*b - 5*w - 26 = 0, 34 = 2*b - w. Let m be -3 - (-2 + (2 - 1)). Is 2 + -3 + m + b composite?
False
Let i(v) = 5*v**2 - 4*v - 1. Let z(a) = -a - 14. Let r be z(-8). Is i(r) a composite number?
True
Let t(n) = -n**2 - n - 2. Let d be t(0). Let c = 9 - 4. Is -1 + (2 - d*c) prime?
True
Let s = 23 + 16. Is s composite?
True
Suppose -4*b - 688 = 4*o, -1 - 5 = 3*o. Let w = -119 - b. Is w composite?
True
Suppose 0 = m - 0*p - 5*p - 477, 0 = -3*m + 3*p + 1479. Is m composite?
True
Suppose -5*a = -4*u - 18, -4*u - 3*a + 2 = 4. Let s = -11 - u. Let k = 78 - s. Is k prime?
False
Suppose -y + 2*y = 0. Suppose 158 = -y*p + p. Let r = p + -45. Is r composite?
False
Let u(r) be the second derivative of 2*r**4/3 + r**3/6 + 4*r. Is u(-1) a composite number?
False
Let d(l) = -l**2 + 6*l - 13. Let w(n) = 2*n**2 - 5*n + 12. Let o(u) = 6*d(u) + 7*w(u). Is o(5) a prime number?
True
Let x(c) = 6071*c**2 + c + 1. Is x(1) a composite number?
False
Let j = 4687 + -1532. Is j a prime number?
False
Let w(a) = -6*a**2 + 3. Let g(j) = -7*j**2 + j + 4. Let n(c) = 2*g(c) - 3*w(c). Let h be 2/(-4)*(-20)/(-2). Is n(h) a composite number?
False
Let o = 47 + -21. Is o composite?
True
Let x(j) = 13*j - 5. Let i(m) = m - 1. Let c(s) = 4*i(s) - x(s). Is c(-4) a prime number?
True
Suppose -768 = -2*w + 314. Is w prime?
True
Let c = -583 + 836. Is c a composite number?
True
Suppose -12 = 3*x + 3. Is x/10 + 186/4 prime?
False
Let i be 12/(-10)*(2 + -7). Is 501/9 - 4/i composite?
True
Is ((-3747)/(-9) - -2)/((-2)/(-6)) a prime number?
False
Suppose -15 = -5*i - 0*i. Suppose i*q + 3*s = -0*s + 366, -s - 5 = 0. Is q composite?
False
Let w be 1*(-1 + 2) - 4. Is (55/w)/((-4)/12) a prime number?
False
Suppose 4*y = -2*g - 6 + 2, -2*y = 2*g - 4. Let w be (-6)/4*g/9. Is w - (-26 + 0 + 2) composite?
False
Let f be (12/(-10))/(18/60). Let x = -7 - f. Is (-6)/4*(-65 - x) a composite number?
True
Let t(m) = -m**2 - m + 329. Is t(0) prime?
False
Suppose 4*k - 7 = v - 4*v, -4*k + 3*v + 1 = 0. Suppose -k = -2*h + 5. Suppose -5 = -5*f, 0*n + h*n - 55 = 2*f. Is n prime?
True
Suppose 5*w = 3*u + 25, u + w = 1 + 4. Suppose 131 = 2*k + 5*x, u = -2*x + 14 - 4. Is k prime?
True
Let c(a) = -2*a + 5. Let f be (13/(-4))/((-3)/(-12)). Is c(f) a prime number?
True
Let j be 9 + -1*2 + -2. Let m(g) = -g + 10. Let y be m(j). Suppose 0 = -y*h + 77 + 18. Is h composite?
False
Let o = 5751 - 1886. Is o a prime number?
False
Let p = -181 - -340. Is p prime?
False
Let s(w) = -w**3 - 4*w**2 + 2*w + 4. Let q be s(-5). Suppose -q*u + 892 = -15*u. Is u a prime number?
True
Let v = -22 + 34. Let t = -124 - -205. Suppose f - t = -v. Is f prime?
False
Let l(y) = y**2 + 843. Is l(0) a prime number?
False
Suppose 5*s = 1 + 14. Let w be ((-2)/(-2))/(-1*2/(-348)). Suppose 0 = f + s*l - 0 - 24, -5*f = -3*l - w. Is f prime?
False
Suppose 3*y - 2*y = 2*v - 172, -5*v - 5*y = -445. Is v a composite number?
True
Suppose -2*b + 30 = -5*b. Is (b/(-15))/(2/345) prime?
False
Suppose -2*z + 4*z = -10. Let d = 29 - z. Is d a composite number?
True
Let p = 10 - 7. Let d(v) = p*v + 2*v**2 + v**2 + v**2. Is d(-2) prime?
False
Let a = 399 - -100. Is a a prime number?
True
Let l = 763 - 445. Suppose 6*o - l = 948. Is o prime?
True
Suppose 0 = 5*x + 73 - 23. Let u(h) = -6*h - 9. Is u(x) a composite number?
True
Let x(b) be the second derivative of 5*b**4/6 - 3*b**3/2 + 2*b**2 - 5*b. Is x(7) a prime number?
True
Let n = 20 + -21. Let q(w) = -320*w - 1. Is q(n) composite?
True
Let u = 80 - 47. Is u prime?
False
Suppose 0*j + 143 = j - 5*m, 2*j - 4*m = 316. Suppose 0 = 5*r - 107 - j. Is r a prime number?
False
Is ((-1481)/5)/((-27)/270) prime?
False
Suppose 19 = 6*r - 7439. Is r a composite number?
True
Suppose -5*z = -20 - 240. Suppose 0 = 3*n - z - 53. Is n a composite number?
True
Let w be (-1)/((-4)/8) + -8. Let y(v) = -47*v + 11. Is y(w) composite?
False
Let o(y) = -31*y + 2. Suppose -3*t - 11 = -2. Is o(t) composite?
True
Let d(l) = -17*l**2 - 4*l + 5. Let q(s) = 8*s**2 + 2*s - 2. Let u(j) = 3*d(j) + 7*q(j). Let c be u(-1). Suppose -c*w + 42 = -10. Is w composite?
False
Let b(n) = -6*n**2 + 3*n + 1. Let y be b(-1). Let r(j) = j**2 + 3*j - 1. Is r(y) a prime number?
False
Let r(o) = 113*o**2 - 3*o + 3. Is r(1) composite?
False
Is 337/((0 - 1 - -4) + -2) a composite number?
False
Suppose -f + 8 = 3*f. Suppose 4*k + 2*g - 424 = 0, f*g - 212 = -2*k + 3*g. Is k a composite number?
True
Suppose 26 = -4*d + 294. Is (6/3)/2*d a composite number?
False
Let x(k) = 0*k + 8*k - 4*k + 1. Let g = -7 - -13. Is x(g) prime?
False
Let b(y) = 29*y + 3 + 2 - 2*y. Is b(8) prime?
False
Let o = -2 - 43. Let z = 116 + o. Is z composite?
False
Let b(l) = -l**3 - 4*l**2 - 5*l - 3. Let i be b(-3). Suppose 2*q = -3*z + 286, -4*q + 3*q + i*z = -161. Is q composite?
False
Let s = 38 - 26. Let r(b) = -b**2 + 13*b - 6. Let q be r(s). Is q/(-12)*4*-3 prime?
False
Let b(y) = 2*y**3 - 5*y**2 - 7*y + 53. Let h(x) = x**3 - 3*x**2 - 4*x + 27. Let c(i) = -2*i + 9. Let o be c(8). Let n(v) = o*h(v) + 4*b(v). Is n(0) composite?
False
Let l be (-111)/(-6) + 1/(-2). Let v = l + -41. Let j = 136 + v. Is j a prime number?
True
Is 3/4 - (-2 - (-2532)/(-16)) prime?
False
Let b(u) = 17*u**2 + 6*u - 3. Is b(4) a composite number?
False
Suppose 6*x - 3*x - 15 = 0. Suppose -x*c + 220 = -c. Is c prime?
False
Suppose 4*t - 195 = 3*f + 8, 3*f - 9 = 0. Is t prime?
True
Let r(w) = -w**2 + 17*w + 1. Is r(15) composite?
False
Let w be (-3)/(-15) + (-48)/(-10). Let h = -4 + w. Is 3*(h - -31 - 1) composite?
True
Let k = -96 + 385. Is k prime?
False
Let u be -2*4*3/(-6). Let l = u + -4. Suppose j + 2*j - 57 = l. Is j a prime number?
True
Let h(j) = 10*j**2 + 7*j + 5. Let s be h(-4). Suppose -d + 5*b = -s, 620 = -3*d + 7*d - 2*b. Is d prime?
True
Let y = 137 + -347. Let o = y + 295. Is o composite?
True
Suppose 0 = 7*i - 3*i - 28. Is i composite?
False
Suppose -m + 146 = 5*r, 30 = 2*r - 4*m - 24. Suppose 0 = 2*s + r - 183. Is s a prime number?
False
Let k(q) be the third derivative of q**6/120 - q**5/10 + q**4/8 - q**3/2 - 5*q**2. Let z be k(3). Let d = 32 - z. Is d prime?
True
Suppose -6*s + 2159 + 475 = 0. Is s composite?
False
Let x(y) = y + 5. Let d be x(-6). Let v be 0/(2 + -3 + 2). Is (-1 - 84 - v)*d prime?
False
Let r(i) = -i**3 - 9*i**2 - 12*i - 9. Let h = 33 - 58. Let d = 17 + h. Is r(d) a prime number?
True
Is (-616