 composite?
False
Suppose 0 = t + 5, -j + 3*t - 4*t = -726. Is j prime?
False
Suppose -5*b + 31 = 1. Let o = 20 - b. Suppose o = a - 23. Is a a prime number?
True
Let h be (-1)/5 - 63/(-15). Suppose -4*q + 54 = 4*p - 178, 5*q - 235 = -h*p. Is p a composite number?
True
Let w(m) = -m**2 - 7*m + 10. Let u be w(-8). Let j(t) = -t**u + 35 + 4*t - 3*t - t. Is j(0) prime?
False
Suppose -22519 = -4*b - u - 3459, -2*u = -5*b + 23825. Is b a composite number?
True
Let k(u) = -7*u + 5. Let l be k(-6). Let r(s) = -3*s - 3. Let y be r(-2). Suppose y*n - 34 = -2*i + 63, 2*n = -i + l. Is i composite?
False
Let m(j) = -12*j - 1. Let z = -7 - -6. Let x be -3 + 0/z - -2. Is m(x) composite?
False
Let w be ((-15)/9)/(4/96). Is (-2)/((w/(-796))/(-5)) composite?
False
Is (-9 + 10)/(1/1585) a composite number?
True
Let k(a) = -2*a - 2. Let y be k(-2). Suppose -y*i + 93 = i. Is i prime?
True
Is 1/(((-20)/(-1676))/5) prime?
True
Let n(i) be the third derivative of 11*i**6/120 + 3*i**2. Is n(1) prime?
True
Suppose 3*z + 2138 = 16865. Is z composite?
False
Let y = -2019 - -2958. Suppose -2*d - 2*t = -0*t - 382, 5*d - 3*t = y. Suppose 0 = -5*m - 24 + d. Is m prime?
False
Is (1 - 1 - -1)*2353 composite?
True
Let x be (-3)/(-3*3/12). Suppose 5*v + 4*k - 1 = 0, v = -3*k - x + 2. Suppose v = -3*f + 43. Is f a composite number?
True
Let n be ((-32)/(-12))/((-1)/3). Let p(q) = -q**2 - 3*q + 11. Let v be p(n). Let a = 24 - v. Is a a composite number?
False
Suppose 3*o + 4614 = 9*o. Is o prime?
True
Is (7 - (16 + 2))/((-2)/58) prime?
False
Let x = 29 + -52. Let a = x - -60. Is a composite?
False
Suppose 5*t - 3 - 9 = -2*b, 4*t - 24 = 2*b. Suppose 2*y = d - t + 1, -2*d = 4*y - 14. Is y - 2 - -15 - 0 composite?
True
Let b be 0 + 0 - 4/(-2). Suppose b*y + l - 30 = -0*y, -45 = -3*y + 4*l. Is y prime?
False
Suppose 3*p - 15 = 546. Is p composite?
True
Suppose 2*h = -2*q + 16, -q = 4*h + q - 34. Suppose -3*n - 4*s - 3 = -h, 0 = 2*s. Is n/6*(2 - -289) a prime number?
True
Suppose 11*r + 3110 = 17597. Is r a composite number?
True
Let l(t) = t**3 - 10*t + 5. Is l(8) composite?
True
Let h(y) = 5*y - 85. Let l(z) = 11*z - 170. Let s(n) = -13*h(n) + 6*l(n). Is s(0) prime?
False
Suppose 0 = -5*n + 15. Suppose 2*g = f - n*f + 1080, g = 4*f + 555. Let i = 916 - g. Is i prime?
True
Let o(l) = 164*l**2 - 2*l + 1. Is o(1) a prime number?
True
Let v = 256 + -89. Is v a prime number?
True
Let z = 982 - 648. Is z a prime number?
False
Let m(n) = -2*n + n - 2*n**2 - 2*n**2 - 2 + 8*n**2. Is m(-3) a composite number?
False
Let c be (3*-1)/(9/30). Let u(o) = -2*o**3 + 9*o**2 + 10*o + 3. Let p be u(8). Is 1/2 + p/c prime?
True
Let n(p) = 2 + 2*p - 3*p + 3. Is n(-5) a composite number?
True
Suppose 4*r - 1 = 3*b - 5, 3*b + 20 = -2*r. Let o be 1281/2*r/(-3). Suppose 4*k + 0*w = -5*w + o, 635 = 3*k + w. Is k prime?
True
Suppose -3*s - 2*j = -147, 5*j - 203 = -4*s - 0*j. Let w = s + -12. Is w a prime number?
False
Let p(h) = 12*h**2 - 3*h - 3. Suppose 5*w + l = -3*l + 32, -4*l = -3*w. Is p(w) a composite number?
True
Suppose -211 + 1792 = 3*i. Is i prime?
False
Let z(y) = y**2 - 19*y + 4. Let m be z(-15). Suppose -m = -i - i. Is i prime?
True
Suppose -2*u + 58 = -132. Is u a prime number?
False
Let t(k) = -3*k**2 - 6*k - 1. Let j be t(-8). Let w = 315 + j. Suppose b - 2*b = -d + 91, 0 = -2*d - 4*b + w. Is d prime?
True
Let l = 0 + -3. Let v = 1 - l. Suppose -5*c + 401 = -v*a, -2*c = -0*a + 2*a - 146. Is c a prime number?
False
Suppose 72 + 48 = 5*d. Suppose -m + d = -10. Is m a composite number?
True
Suppose 3*w - 1213 = 2*m, w - 426 = 7*m - 2*m. Is w a prime number?
True
Let a = 659 - 28. Is a composite?
False
Let p be ((-1)/(-3))/((-3)/(-1287)). Suppose -11 = -2*l + p. Is l composite?
True
Let s be 18/(-4)*(6 + 0). Suppose 18 = -3*d - 0*d. Let t = d - s. Is t a composite number?
True
Let w = 568 - 345. Is w a composite number?
False
Let r be (-1 + (-7)/3)*-3. Let k be 36/r + (-4)/(-10). Suppose -k*w = -134 - 174. Is w composite?
True
Let q(l) = 245*l + 12. Is q(11) a composite number?
False
Let w = -2 + -19. Is w/(-2) + (-3)/6 a composite number?
True
Suppose 7*g + 6 = 8*g. Suppose -537 = -g*h + 3*h. Is h a prime number?
True
Suppose -l + 219 = -3*u, -3*l = 2*u - 0*l + 157. Let q be u*1/(-2) + -3. Let i = 103 - q. Is i composite?
True
Suppose 4*c = 5*q + 85, -q + 20 = -5*q. Let b = c + 40. Is b composite?
True
Suppose 2*d + c = -d + 10, 4*c = -4*d. Suppose -y - 387 = -5*h - d*y, -y = 3*h - 235. Is h prime?
True
Suppose 6*a - a = -120. Let z be 2 - 1/((-2)/a). Is 4/6*(-285)/z a composite number?
False
Let f(r) = -r**3 + 6*r**2 - 6*r - 1. Let b be f(5). Let c(x) = -x**2 - 5*x + 8. Is c(b) a composite number?
False
Let f(q) = -q**3 - 6*q**2 + 6*q - 4. Is f(-7) composite?
False
Is 2 + 1 + 3201 - 1 prime?
True
Let j(x) = 5*x**2 + 11*x - 19. Is j(14) a prime number?
False
Let l = -95 + 388. Is l a prime number?
True
Let a(y) = y**2 - 9*y + 8. Let p be a(8). Suppose 6 = 2*f - 3*d, p*d = d. Suppose -f*q + 481 = 2*b, 4*b + 806 = 5*q + 3*b. Is q a composite number?
True
Suppose p = 2*g + 259, -g + 498 = 2*p - 0*g. Is p a composite number?
False
Let r be (3 - 1)*-2 - 4. Let h(p) = p**3 + 6*p**2 - p - 8. Let y be h(-6). Is 53*y/8*r composite?
True
Suppose -178 = 3*f + 44. Let m = 109 + f. Is m composite?
True
Suppose -5*j + 5*y + 456 = -7964, y = 3. Is j composite?
True
Suppose -3*b - n = -30, 2*n + 6 = b - 4. Let o(y) = 3*y + 7. Let v(q) = -4*q - 7. Let l(t) = -3*o(t) - 4*v(t). Is l(b) a composite number?
True
Let g be 130/(-4) + 5/10. Is 1/(-4) - 2216/g composite?
True
Let h be (-3)/2 - (-45)/6. Is (170/h)/(1/3) composite?
True
Suppose -t - 6 = 2*w, 4*w = -0*w - 12. Suppose 0 = -v - t*v + 47. Is v prime?
True
Let s(p) = -2 + 2*p - 174*p - 6*p - 129*p. Is s(-1) prime?
False
Suppose -n + 4*n = 18. Suppose -3*j + n*j + 3 = 3*a, 1 = -5*a - j. Suppose x - 33 = -a*x. Is x composite?
True
Let t = 23 - 17. Let l = 25 - t. Is l a composite number?
False
Let g = -22 + 12. Is (-93)/(-2) - 5/g a composite number?
False
Suppose d + 18 = m + 2*m, 4*d = 2*m - 22. Let u be -2 + 1*(m - 3). Suppose 0 = -0*j - 3*j - f + 9, u = -5*f. Is j a prime number?
True
Suppose 0 = 5*j - 6 - 19. Suppose -16 = -j*a + 34. Is a a composite number?
True
Let l(s) = s**3 - 7*s**2 + 2*s + 9. Is l(8) composite?
False
Suppose -2*i + 1293 = -3*i. Is (4/6)/((-2)/i) prime?
True
Let z(o) = -10*o**2 + o + 3. Let a be z(-7). Let y = -281 - a. Is y a composite number?
True
Suppose 0 = w + 4*w - 75. Is (2/5)/(1/w) a composite number?
True
Let l = 2062 - 1337. Suppose 4*n - l = -n. Is n composite?
True
Suppose 4*m + 32 = 5*w, 3*w + 0*m - m = 15. Suppose 5*l - w*n = 175, 3*n = -3*l + 7*n + 97. Suppose 5*k = 66 + l. Is k composite?
True
Let a = -6 + 10. Suppose 5*b = -a*p + 87, 5*b - p - 2*p - 101 = 0. Is b a prime number?
True
Suppose 4*d + 1395 = 9*d. Suppose -t = -140 - d. Is t a composite number?
False
Let b = 12 + -6. Suppose -b*d + 12 = -2*d. Suppose d*h - 6*w + w - 247 = 0, -3*w = 2*h - 152. Is h composite?
False
Suppose 7 = 5*b + 5*r - 78, -2*r = -3*b + 71. Let k = 36 - b. Is k a composite number?
True
Let v(d) = 5*d - 2 + 0 - 2. Suppose 12 + 6 = 3*b. Is v(b) a composite number?
True
Let x = 138 - -11. Is x composite?
False
Let y = 7 - 2. Let z(f) = -y*f + 2*f**2 - f**2 + 14 + 4*f. Is z(0) prime?
False
Let w(z) = -z**3 + 15*z**2 + 15*z - 17. Is w(14) a prime number?
True
Suppose -3*s + 1203 = -1437. Suppose 2*j = -4*y + 4*j + s, 0 = 3*y + 4*j - 671. Is y a composite number?
True
Let o(q) = -q + 4. Let y be o(5). Let b be (-2)/((-6)/9) + y. Suppose b*r + 3*t - 108 = 0, 0*t + 149 = 3*r - 2*t. Is r prime?
False
Suppose 0 = -3*z - 9, -4*z = -3*p - 5*z + 921. Is p/8 + (-1)/(-2) prime?
False
Let g = -8 - -3. Let a(s) be the first derivative of -s**4/4 - s**3 + 2*s**2 + 7*s - 3. Is a(g) prime?
True
Let a(y) = 210*y**3 - y + 2. Is a(1) a prime number?
True
Let j(m) = m**2 + m + 157. Let w(o) = 3*o - 2. Let d be w(2). Suppose d*z = 4*x - 12, 0 = -5*x + 2*z - 0*z + 6. Is j(x) a prime number?
True
Let d(v) = 5*v**2 + 6*v - 2. Let t be d(-8). Suppose 275 = 4*m - 3*i + 56, -5*i - t = -5*m. Is m composite?
True
Suppose 2*f - 3*f + 37 = 0. Is f prime?
True
Suppose -2*m - 3 = -3*m. Suppose -m*j - 188 = -5*z + 92, -202 = -4*z - 2*j. Is z prime?
True
Suppose x + 1476 =