composite number?
True
Let s(p) be the first derivative of 3*p - 5/2*p**2 + 2 - 1/4*p**4 + 5/3*p**3. Is s(3) a prime number?
False
Let j = -2472 + 6821. Is j prime?
True
Let i = 2 + 6. Is (-2)/i + (-1018)/(-8) prime?
True
Suppose -4*a + 4*t + 7489 = -a, -a - 4*t + 2491 = 0. Is a a composite number?
True
Let n(p) = 13*p + 1. Is n(1) a prime number?
False
Is (-4)/22 + 0 - 17388/(-44) a composite number?
True
Let d = 7 + -5. Suppose 5*y - 4*f - 40 = 0, -d*y = 5*f + 16 + 1. Suppose -3*o = -y*a - 469, -a + 4*a + 630 = 4*o. Is o composite?
True
Suppose 0 = -6*h + 11*h - 1055. Is h prime?
True
Let u(l) = -7*l**3 + l**2 - l - 1. Let j be u(-1). Suppose 3*n + 130 = j*n. Is n a composite number?
True
Suppose -764 = -0*z - 4*z. Is z prime?
True
Let u(n) = -46*n**3 - 5*n**2 + 9*n - 1. Is u(-5) a prime number?
False
Let w = 509 + 48. Is w a composite number?
False
Let o be (0 + (-28)/6)*3. Let f be (-52)/o + 6/21. Suppose -130 = -f*w - w. Is w a prime number?
False
Let h(t) be the third derivative of 0*t - 7/6*t**3 - 3*t**2 + 1/2*t**4 + 0. Is h(7) a prime number?
False
Is (-4038)/(-15)*(-50)/(-20) prime?
True
Let d(z) be the first derivative of 16*z**3 + z**2/2 - 2*z + 4. Is d(-3) a composite number?
True
Is 10205/5 - (-3 + -3) composite?
True
Let z(d) = -118*d**3 - 2*d**2 - 4*d - 1. Is z(-2) composite?
True
Suppose -22*v = -21*v - 2393. Is v prime?
True
Let t = -4 + 8. Let l be 0 - 0 - t/(-2). Suppose 2*p - f = l*f + 62, 0 = -4*p - 2*f + 92. Is p a composite number?
True
Let d be (0 + 3)*15/9. Let j = d - 2. Suppose 5*a = j*p - 2*p - 75, -5*p - 2*a = -483. Is p composite?
True
Suppose -4*w + 228 = -76. Suppose -3*x = x - w. Is x prime?
True
Suppose 0*k - 30 = 3*k. Is 16/40 - 2506/k composite?
False
Let v be (-2)/(1 - (-38)/(-34)). Suppose 0 = -4*u - 19 - v. Let i(r) = -22*r - 13. Is i(u) a prime number?
False
Let t(h) = -61*h + 7. Is t(-4) prime?
True
Let h = 175 - -92. Is h a composite number?
True
Suppose 4 + 4 = 2*p. Suppose 0*w - 39 = -w + p*h, 3*w - 72 = 3*h. Is w a composite number?
False
Suppose -6761 - 383 = -8*n. Is n composite?
True
Suppose 0 = -45*d + 43*d + 2802. Is d a prime number?
False
Let b(f) be the third derivative of 3*f**5/20 - f**4/24 - 3*f**2. Is b(2) a composite number?
True
Let q = -341 + 658. Is q prime?
True
Let z = -5 - -3. Let n = z + 64. Suppose -3*i + 3*d + n = -1, 0 = 4*i - 3*d - 82. Is i composite?
False
Let z be 224/(-16)*2/4. Let v(y) = 4*y**2 - 8*y + 1. Is v(z) composite?
True
Is 0*6/12 + (-989)/(-1) composite?
True
Let h(j) be the first derivative of -4*j**2 + 4 + 0 - 3*j - 2. Is h(-5) a prime number?
True
Is ((-3)/(-3))/1*1 - -34 prime?
False
Let x(n) = 128*n**2 - 20*n - 1. Is x(-5) a prime number?
True
Suppose 5*o - 2*z = 770, 0 = -z + 6*z - 25. Let s = o - -47. Is s prime?
False
Let k = -3633 - -5281. Is 8/(-20) + k/20 a composite number?
True
Let h(a) = -a + 344. Let z be h(0). Let n = 493 - z. Is n prime?
True
Let b(i) = -i**2 + 6*i - 6. Let o be b(4). Suppose 279 = o*h - 167. Is h a prime number?
True
Let r(d) = -d**3 - d**2 - 13*d - 5. Is r(-6) prime?
False
Let y = -1 - -32. Is y a prime number?
True
Let j = -5 - -69. Suppose -5*m + j + 61 = 0. Let a = -6 + m. Is a composite?
False
Let n(o) = 2*o + 9. Let x be n(7). Suppose -j + x = -12. Is j a composite number?
True
Is (5 - 5 - 2/6)*-3243 prime?
False
Suppose 0 = 5*r - 0 - 5. Is -1 - (r - (1 - -162)) prime?
False
Let j = 69 - 50. Is j composite?
False
Let c = -153 + 472. Is c a prime number?
False
Let b(q) be the second derivative of 5*q**4/6 + 3*q**3/2 - 2*q**2 - q. Let d be b(6). Suppose 5*u = 5*n + d, -4*n + 252 = 3*u - 5*n. Is u composite?
True
Is -1*(-67 - (2 + 2)) composite?
False
Let g = -1888 + 5484. Let m = g - 2539. Is m composite?
True
Let a(n) = -3*n + 18*n - 2*n**2 - n**3 - 6*n + 3. Is a(-6) prime?
False
Suppose 0 = -5*d + 4*d + 10. Let u be ((-3)/(-2))/((-5)/d). Is (-2 - (u + 0))*49 composite?
True
Let v = -475 - -797. Let o = 106 - v. Let n = o + 373. Is n composite?
False
Suppose w + 0*d - 5 = 2*d, -3*d = -4*w + 10. Is 95/10*(w - -1) a prime number?
True
Let q(y) = -y**2 + y + 2. Let b be q(-2). Let t(s) = -4*s - 5. Is t(b) composite?
False
Let b = 6 + -5. Let y = 5 - b. Suppose 83 = 3*t + 4*p + 13, -y*t + 5*p = -83. Is t a composite number?
True
Let z = 157 - 90. Is z a composite number?
False
Suppose -327 = 3*a - 6*a. Is a prime?
True
Let d be 2/(-3)*21/14. Let u be ((-8)/6)/(d/6). Suppose u*p = 4*p + 184. Is p a composite number?
True
Suppose 4*m + 12 = 0, 2*h + 4*m - 75 = -m. Suppose 0*f = -5*f - h. Let v = 10 - f. Is v a composite number?
False
Let r(c) = -96*c**3 + 4*c**2 - c - 1. Is r(-2) a prime number?
False
Suppose 5*z + 149 = 4*u, -5*u + 0*z + 170 = -3*z. Let c be (0 + (0 - -1))*-17. Let h = c + u. Is h a prime number?
False
Suppose -4 = -2*o + 6. Suppose -992 = -3*q + 5*u, -3*u = o*q - 4*u - 1646. Is q a prime number?
False
Let d(v) = 5*v + 6. Is d(5) composite?
False
Suppose 731 = 3*x + 4*z, -767 = -3*x + 8*z - 3*z. Is x composite?
True
Suppose 7*u - 1243 = 6*u. Is u composite?
True
Let w(a) = -a**2 + 13*a - 12. Let d be w(12). Let j be (2/4 - 1)*d. Suppose 0 = -q - j + 11. Is q a composite number?
False
Suppose -5*w - 2651 = 2*j, 3*j = -0 - 9. Let b = w + 791. Is b composite?
True
Let a(g) = g**3 - 6*g**2 + 7*g - 6. Let n be a(5). Let h(s) = s**3 - 3*s**2 + 2*s - 3. Is h(n) a composite number?
True
Suppose 5*v = -5*w + 560, 4*v - 2*w - 530 = -64. Is v composite?
True
Suppose -12*g = -23*g + 37499. Is g prime?
False
Let n = -9 + 9. Suppose -2*v + 5*v - 489 = n. Is v a prime number?
True
Let v(s) = -s**3 + 12*s**2 - 10*s + 3. Let f be v(11). Let j = 17 + f. Is j prime?
True
Suppose -4*t = -0*t - 532. Is t a composite number?
True
Let l = -2 - -2. Suppose l*b = -2*b. Suppose 0 = 2*c - b*c - 30. Is c a composite number?
True
Suppose -i - 177 = -868. Is i a prime number?
True
Let n be (8 + 1)/(3/2). Is 92/n*(-18)/(-4) a prime number?
False
Suppose -13075 = -5*i + 5*c, 4 = c - 2*c. Is i composite?
True
Let b(q) be the second derivative of 11/12*q**4 + 1/20*q**5 + q - 8*q**2 - 13/6*q**3 + 0. Is b(-11) a composite number?
False
Suppose -m = -2*k - 278, -5*k = -m - 151 + 435. Is m a composite number?
True
Suppose -3*m + 325 = -2*j, -4*j = j - 5. Is m prime?
True
Let f(t) = -259*t - 11. Is f(-6) a composite number?
False
Let k be (-20)/(-12) + 2/6. Suppose 6*t - 4*t = 8. Suppose 80 = 4*d + t*a, -5*d - k*a + a = -80. Is d a composite number?
True
Suppose -4*o + 1544 = -3868. Suppose -5*x + 1690 = 5*g, 0*x = 4*g + 5*x - o. Is g prime?
True
Let y(h) = h**3 - 8*h**2 - 5*h - 11. Let a(i) = 2*i**2 - 5*i - 3. Let l be a(4). Is y(l) composite?
True
Let b be 4 - ((-4)/(-1) + -2). Suppose -3*g + 4*g = -5, 2*u = -b*g - 328. Is (2/3)/((-2)/u) a prime number?
True
Suppose -i + 2 = -s, -8*i + 10 = -3*i. Suppose s*h - 290 = -5*h. Is h composite?
True
Let v(w) = -2*w**2 - 6*w - 1. Let l be v(-4). Let p(m) = -2*m**3 - 13*m**2 + 2*m + 2. Is p(l) prime?
True
Let n be 132*132/9 - 1. Suppose -4*a = 587 - n. Is a a composite number?
False
Suppose -5*d = -17 + 2. Let l = -8 + 14. Suppose 0 = d*f - l*f + 9. Is f a composite number?
False
Let c(y) = -y**3 - 4*y**2 - 3*y - 4. Let m be c(-5). Let q be (-30)/4*m/9. Let o = -7 - q. Is o a prime number?
True
Suppose -3*u - b + 2783 - 31 = 0, 2*u = -3*b + 1823. Is u a composite number?
False
Let n(w) = 3 + 4*w + w**2 - 7*w + 0*w**3 + 4*w**3. Is n(2) a composite number?
True
Suppose u = 3, m - 6*u = -7*u + 2737. Is m a prime number?
False
Suppose -5*f + 214 = n, -5*n = -5*f + 194 - 4. Let z be -5*(f/(-15) - -2). Suppose z = a, 0 = -2*m - 5*a - 9 + 41. Is m a prime number?
False
Let w(v) be the first derivative of 139*v**3 - v**2/2 - 1. Let u be w(-1). Suppose 3*b + 4*d = 253, -5*b + 4*d - 7*d = -u. Is b a composite number?
False
Suppose 0 = 3*o - 2*o + 4, i = o + 4. Suppose 2*l - 5*l + 165 = i. Is l prime?
False
Suppose -7*q + 5281 = -12982. Is q a prime number?
True
Let n(v) = -3*v**3 + v**2. Let g be n(-1). Suppose b + g = 41. Suppose 3*k = u - b, 2*u + 5*k + 4 = 78. Is u a composite number?
False
Let j(c) = c**3 + 6*c**2 + 2*c + 4. Suppose -h = 3*d + 2, 3*d - 25 = -4*h + 2*d. Let t = -12 + h. Is j(t) prime?
True
Suppose 0 = 2*o + t + 17, 2*t + 20 = -2*o - 0*t. Let m be (-6)/(-21) + 632/o. Let q = m - -157. Is q com