32*j + 204029 = -128*j + v. Is j composite?
True
Let y(p) = -80*p**2 + 163*p**2 + 2*p + 5*p + 11 + 6*p**3 - 82*p**2. Is y(5) composite?
False
Suppose y + x - 88 = 0, 5*y - x - 193 - 253 = 0. Is y a prime number?
True
Suppose -2*r + 5*m - 9*m + 1946 = 0, -3*m - 1967 = -2*r. Is r prime?
False
Let v be 3*7*(-11)/33. Let o(t) = -29*t + 51. Is o(v) prime?
False
Let o(n) = 2*n**3 + 3*n**2 + 6*n - 5. Let z be o(3). Let k = z - 1. Is k a prime number?
False
Let d be (-36)/(-27)*(-3)/(-2) + 1973. Suppose 65*c - d = 60*c. Is c a composite number?
True
Let g be 12514/6*2 + 15/(-45). Suppose -2*z = 4*b - 1610, 3*b - g + 174 = -5*z. Is z a prime number?
True
Let d(y) = 48317*y**3 + 6*y**2 - 10*y + 4. Is d(1) a composite number?
True
Suppose 4*y - 166 = 14. Let m(z) = -4*z - 68. Let u be m(-16). Is (u + y/10)*298 composite?
False
Let d = 39464 + -561. Is d composite?
False
Let y = 25 - -40. Suppose -y = -a + 1004. Is a a composite number?
False
Let c(b) = -2*b**3 - 18*b**2 - 2*b - 3. Let r = 67 + -81. Is c(r) a prime number?
False
Let t(a) = 9*a**2 - a + 3. Let v(o) = o**2 - 6*o - 3. Let j be v(6). Let q = 8 + j. Is t(q) a prime number?
True
Let a be 264 + 4*2/8. Suppose -7*t + a = -2*t. Is t prime?
True
Let i = 13174 + -6780. Suppose -7*c + i = -543. Is c composite?
False
Let m = 650 - -1005. Is m composite?
True
Let h = -75636 + 106747. Is h prime?
False
Suppose 1734199 = 81*l + 650338. Is l a prime number?
True
Is (-10646)/(-3)*11/(132/18) prime?
True
Let o = -659 + 1902. Is o prime?
False
Suppose -3*f = 3*a - 15, 0 = -9*a + 4*a - 25. Let l(m) = -8*m + 20*m - 5 + f. Is l(7) a prime number?
True
Suppose -4*i + z + 1668 = 6*z, 0 = 4*i - 2*z - 1696. Is i composite?
True
Suppose 3*x - 11089 = -5*k + 26329, -5*k + 2*x = -37413. Is k prime?
False
Suppose 10*z - 442858 = -16*z. Is z a composite number?
False
Is -9 + 3078 - 16/4 a prime number?
False
Suppose 5037 = 5*q + 1647. Suppose 0 = l - q + 160. Suppose -2*m + 4*c = -l, 3*m = 2*m + 4*c + 255. Is m composite?
False
Let a = 22693 - 11382. Is a a prime number?
True
Suppose 0 = -66*l + 832896 - 272622. Is l a prime number?
False
Let a be 0/1*(-1)/(-2). Let p(u) = -u**3 + 8*u**2 - 4*u + 5. Let v be p(6). Suppose -v = -a*k - k. Is k a prime number?
True
Let u(o) = -o + 8. Let k be u(4). Suppose -2*h + k = 2*h. Is (0 - 326)/(-2)*h a composite number?
False
Let d = 9603 - 5614. Is d composite?
False
Let z = 2729 + -1368. Is z a composite number?
False
Suppose -4*l = 12, 4*l - l - 1825 = u. Let i = -708 - u. Is 2 - -2*i/4 a composite number?
True
Suppose 3*d - 4422 = -0*d. Suppose -5*u + d = -3*u. Is u prime?
False
Suppose -75*d - 31 = -181. Suppose 0 = r - 0*r - 4. Suppose 0 = -4*n - 3*o + 236 - 87, -r*n - d*o + 146 = 0. Is n a composite number?
True
Suppose -d + c = -10688, -10697 = -75*d + 74*d - 2*c. Is d a composite number?
False
Suppose 9*l = 69 - 69. Suppose -3*k + 3382 + 203 = l. Is k a composite number?
True
Suppose -1410 = -3*f + 5901. Is f a composite number?
False
Let i(k) = -k + 3. Suppose 3*y = 2*y. Let p be i(y). Let h = p - -44. Is h composite?
False
Suppose -4*o + 6*p = 2*p, p - 8 = 5*o. Let l be o/(-15) - (-258)/90. Suppose l*r = -3*g + 117, -r = 5*g + 7 - 62. Is r a prime number?
False
Suppose -5*a = -9*a - 4*r + 2156, 0 = 4*a - 3*r - 2170. Is a a prime number?
True
Let k = 51 - 31. Let i = k - 20. Suppose -3*u = -i*u - 153. Is u prime?
False
Let o = -148 - -80. Suppose -9 = -4*x - 189. Let a = x - o. Is a composite?
False
Let t(f) = 2*f + 3 - f + 3599*f**2 + 2. Let k(i) = 720*i**2 + 1. Let o(x) = 11*k(x) - 2*t(x). Is o(1) a prime number?
False
Is 16/8 + 3 + 14232/2 a prime number?
True
Let g = 749 + -1346. Let q = g - -904. Is q composite?
False
Suppose -15*q = -10*q. Is 10 + 0 + (q - -4) a prime number?
False
Suppose 4*k + 3*h - 1411 = 0, 0 = 5*h - 4*h + 3. Is k a composite number?
True
Is 7/14 - (-101647)/14 prime?
False
Suppose 2*z + 2*c = z + 1056, -5*c = -25. Let v = z - 449. Is v a prime number?
False
Is 4/70 - (-945744)/1680 a prime number?
True
Let g = 100 - 92. Let h(k) = 183*k + 38. Is h(g) a composite number?
True
Let s = -29 + 33. Suppose -66 = -r - r - 4*z, s*r + 2*z - 162 = 0. Is r prime?
True
Let t be 3/5 + 204/85. Suppose 4*f - 3355 = t*n, 3*f - n - 1138 = 1382. Is f prime?
False
Suppose -5*y + 133535 - 20965 = -3*a, -y + 22506 = a. Is y a prime number?
True
Suppose 4*y = 6*y + 14. Is y/(((-16)/(-4))/(-148)) composite?
True
Let c(s) = 1963*s**2 - 9*s - 11. Is c(-1) a prime number?
False
Suppose 28*h - 21087 = 32309. Is h a prime number?
True
Let l = 34 - 33. Is l/6 - (27627/(-18))/1 a composite number?
True
Suppose -640 - 1336 = -2*x + 3*s, -4*s = -x + 983. Is x prime?
True
Suppose 2*k + 10 - 48 = 0. Let l = k + -19. Let p(r) = -r + 146. Is p(l) composite?
True
Let z be 13 + 3 - (-3 - -3). Suppose z = 3*t + 5*l - 10, -2*t = l - 8. Suppose 0 = 4*g + t*x - 36, 0*x = 4*g - 4*x - 12. Is g a composite number?
False
Let a(w) = 5*w**3 - 19*w**2 + 16*w - 1. Is a(9) a prime number?
False
Let l(v) = 2*v + 8. Let u(q) = -q**3 - 2*q**2 - 2*q - 2. Suppose 0*i = -i - 3. Let n be u(i). Is l(n) a prime number?
False
Suppose -99*w + 100*w = 3377. Is w prime?
False
Suppose 0 = -4*d + 2*r - r + 95252, 3*d = -3*r + 71439. Is d a composite number?
False
Let c be (-125)/(-10)*4/10. Suppose 3*i + c*b - 5264 = 18461, 0 = -5*b - 20. Is i prime?
False
Let i(m) be the first derivative of m**2/2 + 3*m - 6. Let j be i(-3). Suppose j = 5*d - r - 1658, -668 = 3*d - 5*d + 2*r. Is d a prime number?
True
Let d = -3499 - -7722. Is d composite?
True
Let x = 9 + -9. Suppose x = 5*d - 1161 - 704. Is d a composite number?
False
Suppose -75 = 5*m + 5*t, 4*t = -m + 2*m - 10. Let r be 6/m - 56/(-10). Suppose 3*j - 661 = 4*i, r*i - 2*i + 227 = j. Is j composite?
True
Let w be (-2)/8 + 6510/(-40). Let o = w - -810. Suppose -4*k = -4*g - 557 - o, 299 = k - 2*g. Is k composite?
True
Suppose 3*t = -0*d + 2*d - 11, 5*d + 11 = 2*t. Let q(z) = -3*z**3 + 2*z**2 + 5*z - 12. Let i be q(t). Let b = i + -751. Is b a composite number?
True
Suppose 0 = -4*b + 21 - 1. Suppose 5*k + 891 = 4*y, 3*k = 4*y - b*y + 227. Suppose 0 = w - y + 46. Is w a composite number?
True
Let v(x) = -x + 11. Let g be v(9). Let o be (g/4)/(8/(-16)). Is o/(1/194*-2) a prime number?
True
Is ((-9)/12)/(13/104) + 14749 a prime number?
False
Let i(g) = -3*g**3 - 4*g**2 + 36*g - 13. Is i(-12) a prime number?
False
Let v = 44 - 41. Let t(j) = j**2 + 3. Let u be t(0). Suppose 5*c = 4*x + 223, -u*x = v*c + x - 153. Is c composite?
False
Let f(p) = p - 7. Let l be f(8). Let q be 33/6 - l/2. Suppose -3*o + 4*t + 90 = 0, 3*t - 27 = -q*o + 152. Is o prime?
False
Let z(b) be the third derivative of 0 - 1/2*b**4 + 8*b**2 + 13/6*b**3 + 0*b. Is z(-7) prime?
True
Let z(t) = 8*t - 5. Let v = 29 - 5. Let b = v - 12. Is z(b) prime?
False
Suppose -3*d = -3*s - 70311, -3*d + s + 70319 = -0*s. Suppose 327 = -14*h + d. Is h prime?
False
Let p = -12 - -13. Let z be (2/1 + p)/(-1). Is (-10244)/(-12) + 2/z a prime number?
True
Suppose 2*m = 4 + 2. Suppose -4 = p - m*p. Suppose 194 = p*h + 40. Is h a prime number?
False
Suppose 9*z - 7 = 11. Suppose 5*u - 441 = -m + 593, z*u - 2092 = -2*m. Is m a composite number?
False
Suppose 79 = 6*j + 25. Suppose 4869 = j*k - 0*k. Is k prime?
True
Let h(j) = -3*j - 15. Let m be h(-5). Suppose -5*b + 3*z + 7180 = m, 6*b + z - 7200 = b. Is b a composite number?
False
Suppose 11*c - 13*c = 0. Suppose 8*o - 3637 - 4307 = c. Is o a prime number?
False
Let a(g) = g**2 - g - 1. Let j(f) = 3*f**2 + 9*f + 10. Let u(h) = 3*a(h) + j(h). Is u(-7) composite?
True
Let i(j) be the first derivative of 47*j**3/3 + 2*j + 6. Let u be i(-2). Suppose 5*o - u = -5*y, y - 177 = -3*y + o. Is y a composite number?
False
Let f(z) = 5*z - 45. Let t be f(19). Let m be -1 - (-2 + 6)*-1. Suppose -g + m = -t. Is g a composite number?
False
Suppose -7*q + 0*q = -28. Suppose q*c - 3204 = -2*m, -5*c = m + 4*m - 8020. Let t = -1139 + m. Is t a prime number?
True
Suppose 3*u = -2495 + 9872. Is u a prime number?
True
Suppose -2*v + 3*v = 4*y + 24, -2*v - 3*y - 7 = 0. Is (4/6 - 3343/(-12))*v a composite number?
False
Let k be (5/10)/((-1)/(-5640)). Suppose -11214 + k = -6*i. Is i a composite number?
False
Suppose -5*y - 1927 = -2*h, 2*h - 3863 = -2*h + y. Let o = -679 + h. Is o a c