-1)/10) prime?
False
Let g(j) = 0 - 6 - j**2 + 18 + j + 10. Is g(0) a prime number?
False
Is 526*((-25)/(-20) - (-6)/(-8)) prime?
True
Is 1 + -1 - (-970 + 12) a composite number?
True
Suppose 200 - 25 = 5*p + 4*z, -3*p - 2*z = -105. Suppose -4*r - p - 9 = 0. Is (-46)/r - (-2)/(-11) a composite number?
True
Let z = -63 - -158. Suppose -2*g + 6*g = 0. Suppose z = f - g*f. Is f a composite number?
True
Is (-1)/(1*(-2)/5006) prime?
True
Suppose -4*t = 5*n - 1660, 0*n = 5*t + 5*n - 2075. Is t a prime number?
False
Let w be (-1)/(-2) - 38/(-4). Let s be (-3)/7 + 16/(-28). Is (5/(-2))/(s/w) prime?
False
Let t(i) be the second derivative of i**5/20 - i**4/2 + i**3 + 7*i**2/2 - 2*i. Let h be t(5). Is (-16)/h*51/(-2) a prime number?
False
Let m be 2130/(-25)*20/(-6). Let j = 426 - m. Is j composite?
True
Let x(o) = 203*o. Is x(1) composite?
True
Suppose 3*w = 4*s - 2*s - 19, 3*w - 5*s + 34 = 0. Let k(o) = -88*o - 3. Let u be k(w). Suppose -5*r + u = -5*f + 81, 0 = -r - 4*f + 11. Is r a prime number?
True
Suppose 6*t - 25 = t. Let j(b) = -b**2 - 2*b. Let r be j(-2). Suppose 0 = -r*y + t*y - 385. Is y a prime number?
False
Let l = -3 - -4. Suppose 2*d - 13 = -l. Is d a composite number?
True
Let c(w) = 478*w**3 + 3*w**2 - w - 1. Is c(1) a composite number?
False
Suppose -2*a + 934 = -0*a. Is a prime?
True
Suppose n = -2*f + 593, 5*n + 5*f = 1566 + 1384. Is n a composite number?
False
Let y(j) = 2*j**2 - 4*j + 1. Let h be 1/(-1) - 2/1. Is y(h) composite?
False
Let b(z) = -3*z. Let g = 8 - 9. Let s be b(g). Suppose 152 = 3*f - 2*c - 247, 3*f = -s*c + 399. Is f prime?
False
Suppose x - 3*k - 3 = 6*x, -4*x = 5*k + 5. Suppose -3*d + 15 = -x*d. Let b(n) = n**3 - 3*n**2 - 6*n - 5. Is b(d) a composite number?
True
Let k = 621 + -356. Is k a composite number?
True
Let h = 14 + -11. Let l(w) = 4 + 31*w - 5 + 29*w. Is l(h) composite?
False
Let a be (1/(-3))/((-3)/9). Is 50/(-15)*(a + -4) a prime number?
False
Let h(z) = -z**3 - z + 15. Let m be h(0). Suppose 0 = 2*l - 3*l + m. Is (-666)/(-10) - (-6)/l composite?
False
Is (-7 + (0 - -3) - -3)*-877 prime?
True
Let u(m) be the second derivative of -19*m**3/6 - m**2/2 + 6*m. Suppose 2 = -2*w + w. Is u(w) prime?
True
Let r = 92 + 5. Is r prime?
True
Let g(u) = u**2 + 6*u + 1. Let z be g(-6). Suppose 2*p + 0 = -w + z, -4*p - 33 = -5*w. Let d(h) = -6*h**3 + h**2 + 4*h + 3. Is d(p) a prime number?
True
Suppose -2*f = -4*b - 4186, -5*f + 10498 = b - 0*b. Is f composite?
False
Let i(d) = -55*d - 15. Is i(-10) a composite number?
True
Let h(l) = -l**2 + 21*l - 15. Is h(8) a prime number?
True
Suppose 3*u = -12, 4*f = 2*u - 3*u. Let c(w) = 0*w**2 + 0 - 6*w**2 - f + 7*w - 2 + w**3. Is c(7) a composite number?
True
Suppose 2*m - 1829 = 1093. Is m prime?
False
Let v(t) = -2*t**3 + 4*t**2 - 2*t + 1. Let d be v(-5). Suppose o - d - 188 = 2*s, 0 = -o - 4*s + 525. Is o a composite number?
False
Let n = -13 - -8. Let b = -2 - n. Is -3 + 1/(b/246) a composite number?
False
Let w = 21 + -15. Suppose 3*j - w = 2*j. Is 15/(1*j/4) prime?
False
Suppose 9 = -d + 3*s - 10, 9 = -d + s. Is 1/((4/(-83))/d) composite?
False
Suppose -3*v = 3*m - 1869, 2*m - v - 190 - 1056 = 0. Is m a prime number?
False
Let o(x) = -20*x - 5. Let y = -6 + 10. Suppose 5*i - y*i = -5. Is o(i) prime?
False
Suppose 5*w = -k + 70, -k + 42 = 3*w + k. Let i = w + 19. Is i prime?
False
Suppose -5*w = -5, -r + 114 = -2*w - 191. Is r composite?
False
Let n(o) = 59*o - 1. Suppose 5*k + 8 = -7. Let r be n(k). Is 6/(-4)*r/3 prime?
True
Is 1/4 + 6092/16 prime?
False
Let u(r) = -7*r**3 - 4*r**2 - 6*r + 3. Let l(x) = 6*x**3 + 5*x**2 + 6*x - 2. Let t(y) = 6*l(y) + 5*u(y). Is t(-8) composite?
False
Let o(d) = 4*d - 3. Suppose -6*y + 2*y + 8 = 0. Let z be (42/12)/(y/4). Is o(z) composite?
True
Let u(o) = o**3 - 10*o**2 + o - 9. Let r(d) = d**3 - 11*d**2 - 9. Let h(k) = 3*r(k) - 4*u(k). Let y = 8 - 2. Is h(y) prime?
False
Suppose 4*n - 8*n = 4*g - 180, -g + 49 = -3*n. Is g prime?
False
Suppose -3*w + 1080 = -w. Suppose -5*p + 50 = -w. Suppose 3*j - p = -1. Is j prime?
False
Let c = -16 + 23. Suppose 445 = c*z - 2*z. Is z a prime number?
True
Let g(d) = -152*d + 27. Is g(-5) composite?
False
Let a be -2*(-86*1 + -2). Suppose 0 = 3*p + 12, 3*z = p + 293 + a. Is z prime?
False
Suppose -7412 = -5*x + 5*i - 442, -i = -5. Is x composite?
False
Suppose -124 = -5*o + 16. Suppose 0 = -u - 3*f + o, -2*u - 2*u = 5*f - 126. Suppose -3*y = -g - 55, 3*y + 2*g + u = 5*y. Is y composite?
False
Let i = 1859 + -1006. Is i composite?
False
Suppose 0 = -3*a + 7*a - 5596. Is a composite?
False
Let l(v) = -888*v**3 - 1. Is l(-1) prime?
True
Let m = -12 + 13. Is 2*72 + m/1 a composite number?
True
Let v(r) = -r**3 + 3*r**2 - r. Let s be v(2). Suppose p - 172 = -0*p + 3*i, 0 = -s*p + i + 319. Is p composite?
False
Let d(j) = j**2 - j**2 + 9*j**2. Let f(m) = -m + 4. Let a be f(3). Is d(a) composite?
True
Suppose 3*y - 10 = 8. Suppose -y*s - 627 = -9*s. Is s composite?
True
Suppose -4*p = -3*v - 0*p + 3159, -2*v + 2*p + 2104 = 0. Is v a composite number?
False
Suppose 18 = 5*d + 3. Suppose 0 = 3*o, 0 = d*a - 5*o - 14 - 19. Is a a composite number?
False
Let a(y) = 264*y**2 + 2*y - 3. Is a(-2) composite?
False
Let f(w) = 11*w**3 - 2*w**2 + 1. Let j be f(1). Suppose 0 = -j*k + 13*k - 39. Is k composite?
False
Let c(y) = -y**3 - y**2 - y + 7. Let l be c(0). Let t(k) = k**2 - 2*k - 2. Is t(l) prime?
False
Let l = 7 + -24. Let v = 48 + l. Is v prime?
True
Let q be (-2)/6 + 56/6. Suppose -q = -2*o - 1. Suppose o*m + l + 3*l - 40 = 0, m - 4*l - 15 = 0. Is m composite?
False
Let j be (-102)/(-18) + (-2)/(-6). Let m = j - 2. Is m prime?
False
Let u(s) = -5 + 8*s**2 + 10*s**2 - 20*s + 3*s + s**3 - 4*s**2. Is u(-15) composite?
True
Suppose 0*u = -u + 3*w + 677, u + 3*w - 689 = 0. Is u prime?
True
Let d(o) = -o**3 - 5*o**2 + 5*o - 8. Let t be 4/6 + (-417)/(-9). Let a be t/(-7) - (-4)/(-14). Is d(a) prime?
False
Suppose -3*c - 658 + 2743 = 0. Is c a composite number?
True
Suppose -3*w + 3676 = -4751. Is w a prime number?
False
Let n = -12 - -20. Is (178/n)/((-1)/(-4)) composite?
False
Let a(n) = -n**3 - 4*n**2 - 3*n + 4. Suppose -4 = 2*y + 2*y + 2*z, 4*z = 16. Let b be a(y). Suppose -b*k = 2*s - 46, 0 = s - 5*k + 12. Is s a composite number?
False
Is (-14)/56 - 2346/(-8) a composite number?
False
Suppose 4*g - 6264 = -4*l + 1508, -5825 = -3*g - l. Is g a prime number?
False
Let r be ((-9)/2 - -2)*-2. Suppose 423 = -2*a + r*a. Is a a prime number?
False
Suppose -l - 3*l + 16 = 0. Let m = -712 - -1562. Suppose -l*o - 2*w = -m, -4*o - 5*w + 859 = -0*o. Is o composite?
False
Let x be (-2 - (-2 + 1))*350. Let b = x + 559. Is b prime?
False
Let x be (1 - -458) + (-5 - -3). Suppose -x + 62 = -5*q. Is q a composite number?
False
Let k(o) = 86*o**3 - o**2 + 1. Is k(1) a prime number?
False
Let q = -39 + 13. Is ((-1209)/q)/((-2)/(-4)) composite?
True
Let h(z) = 21*z + 1. Is h(1) a prime number?
False
Let s = -7 + 12. Suppose h = -z - 0*z + 12, -66 = -s*z + h. Is z a composite number?
False
Suppose -5*l + 21 - 1 = 0. Is ((-840 - l)/(-2))/2 prime?
True
Let n = -80 - -987. Is n prime?
True
Let i(z) be the third derivative of -z**5/60 + 5*z**4/24 - z**3/2 + 3*z**2. Let r be i(4). Is (0 - (0 - r)) + 48 prime?
False
Let p(t) = -t + 2. Let h be p(4). Let m be 4*(h/(-4) + 0). Suppose -308 = m*v - 6*v. Is v prime?
False
Let t = -22 - -58. Let g be 6328/t - 2/(-9). Suppose 0 = 4*c + v + 25 - g, -89 = -2*c - 5*v. Is c a composite number?
False
Let z = -27 - -124. Let b = z - 48. Is b composite?
True
Let l = 132 - 240. Let z = 185 + l. Is z a composite number?
True
Is 34 + (-2)/1 + -1 prime?
True
Let s(x) = x**2 + 6*x - 2. Let p be s(-7). Suppose 26 = t + 3*r, -p*r + 160 = -0*t + 5*t. Is t prime?
False
Suppose k = -5, 5*k + 29 = 2*d - 0*d. Suppose d*z + 3*o - 986 = 0, 5*z + 0*o = 2*o + 2427. Is z a prime number?
True
Let f(d) = 34*d**2 + 5*d + 2. Suppose 0*s + 5*s = 20. Suppose -s + 1 = w. Is f(w) a composite number?
False
Is 12/(-8) - (-2986)/4 a prime number?
False
Suppose -44274 = -9*z + 3579. Is z composite?
True
Let o be 3 + -1 + -1 - -4. Let t(i) be the third derivative of 7*i**4/12 - 5*i**3/6 + 3*i**2. Is t(o) a composite number?
True
Let z = 6 - 16. Let u = -8 - z. Is 3/6*u + 186 composite?
True
Let f be 97/(-3 - 20/(-6)). Suppose -