ppose 3*p - 28 = x. Is p a composite number?
False
Suppose -2*t + g + 3 = 0, -5*t + 5*g + 7 + 13 = 0. Let w(c) = c - 1. Let h be w(t). Is ((-245)/(-14))/((-1)/h) composite?
True
Let o(a) = -a**3 + 4*a**2 + 3*a + 2. Let k be o(4). Let j = k + -20. Is (-20)/j*(0 - -3) prime?
False
Suppose -117 - 658 = -5*g. Is g a composite number?
True
Suppose -3*t + 8 = -7. Suppose 123 = -t*s + 33. Let x = s + 33. Is x a composite number?
True
Suppose -5*m + 3508 = -m. Is m a prime number?
True
Let a = -5 - 1. Let y(x) = x**3 + 6*x**2 - x + 1. Let i be y(a). Suppose 2*k + 4*q - 150 = 0, -i*k - 4*q + 357 = -2*k. Is k composite?
True
Let t(j) = j**2 - 6*j + 8. Let i be t(6). Is i/10 + 881/5 prime?
False
Let g = 151 + 417. Let y = -275 + g. Is y prime?
True
Suppose t = 4, t = 2*v - 2*t + 12. Is 417 + 4/2 - v a prime number?
True
Suppose 3*a + 4*h = -689, 0*h + 1159 = -5*a - 4*h. Let d = 332 + a. Is d a prime number?
True
Let w = -494 + 835. Is w composite?
True
Let a = 909 + -1290. Let d = -190 - a. Is d a prime number?
True
Suppose -5*l = m - 79, -l = -4*l + m + 49. Let n be (l/(-3))/(2/(-30)). Suppose 0 = -4*d + 104 + n. Is d composite?
True
Let r(w) = -28*w - 5. Let v(q) = -q**3 + 10*q**2 - 10*q - 4. Let y be v(9). Let z = y + 7. Is r(z) prime?
True
Suppose q - d = -2*q + 9, -2*q + 4*d = -6. Suppose 7*u = q*u + 2208. Suppose -116 = -4*l + u. Is l a prime number?
True
Let u be 2/(-2*2)*-148. Suppose 0 = -2*n + a + 169, n + 0*a - 4*a = u. Is n a prime number?
False
Is (4 - 6)/(1/(-19)) composite?
True
Suppose -5*h = -20, -4*b - 1251 + 21603 = h. Is b a prime number?
True
Suppose -4*d + 12652 = 2*n, 2*n + 6326 = 2*d - n. Is d a composite number?
False
Let z = 466 - -1101. Is z prime?
True
Let p = -22 - 1. Let y be p/(-2 + (-5)/(-3)). Suppose -a = 2 - y. Is a a prime number?
True
Let l be -15*(8/(-6))/4. Suppose -3*o + 4 + l = 0. Let q(z) = z + 4. Is q(o) a prime number?
True
Let x(o) = 2 + o + 0*o - 4*o. Let f be x(-3). Suppose 3*y + f = 110. Is y composite?
True
Let b(u) be the first derivative of 1/3*u**3 - 1 + 5*u + 3/2*u**2. Is b(4) a prime number?
False
Suppose -j - 2*j + 4 = w, 0 = w + 5*j - 2. Suppose -38 = -3*t + w. Suppose 0 = 4*q - t - 61. Is q composite?
False
Let w(n) = n**3 + 6*n**2 + 3*n - 5. Let m = 0 - 5. Let i be w(m). Suppose u - 25 = -3*r + r, i*u - 35 = -r. Is r composite?
True
Let d(c) = c - 1. Let j be d(5). Suppose 5*y + j = 3*b - 33, -b = -3*y - 19. Suppose b*q - 41 - 11 = 0. Is q prime?
True
Let q = -1 + 1. Suppose -2*d + 5*d = q. Suppose d = i - 46 - 67. Is i a composite number?
False
Let r = 8 - 13. Is r/3*(-3030)/10 a prime number?
False
Let n be -2*(1 + 0) - -2. Suppose 4*u + 69 - 328 = 3*h, h - 3 = n. Is u prime?
True
Suppose -7*a - a + 10040 = 0. Is a prime?
False
Suppose 0 = -0*d - 2*d + 42. Let z = 48 - d. Suppose -z = -l + 4. Is l prime?
True
Suppose 0 = u - 1, -3*u + 15 + 0 = -2*m. Let i be (-22)/(-4)*16/(-2). Is (-2 + 5)*i/m prime?
False
Let t(u) = 8*u**2 - 2*u - 4. Suppose 5*g + 0*g + 3*o = 27, 4*g - 8 = o. Let d be t(g). Suppose d - 10 = 4*z. Is z a composite number?
False
Let k(f) = -5*f + 56. Is k(-25) composite?
False
Suppose -s = -r - 265 - 39, 0 = 3*s + 2*r - 917. Is s prime?
False
Let i be 1 - (-78*11 - -1). Suppose -3*g - 5*b = -i, g - 288 = -4*b + 3*b. Is ((-6)/9 - -1)*g a prime number?
True
Let l(r) = 337*r**2 - 7*r + 1. Let k(y) = 336*y**2 - 6*y + 1. Let v(s) = 6*k(s) - 5*l(s). Is v(1) a prime number?
True
Suppose -2*v + v - 2 = 0, 18 = 5*f + v. Suppose 0 = f*k - 4*t - 264, -2*t = -k + 68 - 3. Is k a composite number?
False
Let y = 52 + 18. Let l be 2/6 + y/6. Suppose p = -3*p + l. Is p composite?
False
Let n be 62/(-5) - (-6)/(-10). Let r(d) = -6*d**2 - 3*d + 2. Let b be r(2). Let v = n - b. Is v composite?
True
Suppose -a + 954 = 3*j + 269, 4*a = -2*j + 2700. Let l = -336 + a. Is l a prime number?
True
Let f = 5 + -3. Suppose 3*t + 11 + 10 = f*o, 3*o = 4*t + 30. Let c(l) = -l**3 + 8*l**2 - 4*l + 3. Is c(o) composite?
True
Let u(l) = -7*l - 7. Let o be (-28)/21*(-18)/(-4). Is u(o) prime?
False
Let p be -5*((-16)/10)/(-4). Let q be (2 - (3 + p))*115. Let h = -53 + q. Is h a composite number?
True
Suppose 3*f + 5*s = 247, 3*s = 3*f + 4*s - 263. Is f a prime number?
True
Let q = -17 - -72. Let k = q + 64. Is k a prime number?
False
Suppose 2*t - 4*i = -10, t + 3*i - 27 = -4*t. Suppose -t*d + 272 = -m, 0*m + 3*m + 15 = 0. Is d a composite number?
False
Suppose -2*y + 203 = -619. Is y prime?
False
Let i = 30 - 51. Let p = i - -46. Is p composite?
True
Let z(w) = w. Let m be z(-4). Is (3/m)/((-4)/16) a prime number?
True
Let h(x) be the second derivative of x**5/20 - 11*x**4/12 + 4*x**3/3 - 7*x**2/2 + 4*x. Is h(12) a prime number?
True
Let k(s) = s**2 - 2*s - 5. Let y be 44/7 + 16/(-56). Is k(y) prime?
True
Let z(s) = 0*s**2 + 4*s**2 - s**3 - 4*s**2 + 6*s - 3*s**2. Let m be z(-5). Suppose -d - 92 = -u, -5*d = -5 - m. Is u prime?
True
Is ((-90)/(-36))/(201/(-202) - -1) composite?
True
Let i(y) = -484*y + 1. Is i(-1) a composite number?
True
Let i(u) = -181*u - 10. Is i(-23) prime?
True
Let x = -2 - -5. Let q be 2/2 + (x - 5). Is (q/(2/508))/(-2) a prime number?
True
Is -2 - ((-9616)/(-2))/(-2) a prime number?
False
Suppose -y + 3 = 0, -3*y = 4*o + 60 - 9. Let i = o - -58. Is i prime?
True
Let y(g) = -378*g**3 - g**2 - g - 1. Is y(-1) composite?
True
Suppose 0 = 2*l - 5*p - 1929, 4*l - p - 2098 = 1805. Is l composite?
False
Let g = -2 + 8. Let j(h) = h**3 - 6*h**2 + 4*h + 2. Is j(g) composite?
True
Let q be 0*(2 + -2 + -1). Suppose q = -2*t - 2*t + 508. Is t composite?
False
Let r = 869 + -618. Is r composite?
False
Suppose -7*n + 3*n = -20. Suppose 5 = n*q - 2*w, 3*w + 9 - 21 = q. Suppose 2*j + t - 43 = 0, 0 = j + q*t - 22 - 2. Is j prime?
False
Let z be -5*3/6*2. Is z + 7 - (0 - 353) a composite number?
True
Let n(o) = 2*o**2 + o + 6. Let f = 4 - 0. Suppose -1 + 0 = 3*y - 4*h, 5*y + f*h = -55. Is n(y) prime?
True
Suppose b = -0*b + 217. Is b a prime number?
False
Let k = -346 - -677. Is k a composite number?
False
Let j(z) = -z + 4 - 3 - z + 3*z. Is j(5) prime?
False
Let s(r) = -2*r - 7. Let p be s(-8). Is 7*(p - (-1 + -1)) prime?
False
Let m be (-1)/3 - (-5)/15. Suppose 5*s + 0*h - 19 = -h, m = -4*s - 3*h + 24. Suppose -3*u + 150 = -2*j + s*j, 0 = -5*j + 15. Is u prime?
False
Suppose -19 = 4*w + 5. Is ((-951)/9)/(2/w) prime?
True
Let n(f) = -404*f + 4. Let r be n(-2). Suppose 0*a - r = -4*a. Is a prime?
False
Let w(g) = 8*g**2 + 3*g - 4. Is w(5) a composite number?
False
Suppose 7288 - 2208 = 8*w. Is w a composite number?
True
Let w = -14 - -44. Suppose -3*b + 11 + 16 = 4*x, 0 = -3*b - 5*x + w. Suppose -113 = -b*z - 3. Is z a prime number?
False
Suppose -y = 4*y + 3*c - 6011, c = 4*y - 4802. Is y a prime number?
True
Let l(s) be the first derivative of 2*s**3 - 3*s**2/2 - 2*s - 3. Is l(5) a prime number?
False
Let l = 1720 - 711. Is l prime?
True
Let u = 208 - 93. Is u prime?
False
Suppose -4*y - 5 - 19 = 0. Suppose 5*m + 1148 = 353. Is (y/9)/(2/m) a composite number?
False
Suppose -22 = -q + 4*j, 0 = 4*q + 2*j - 4 + 6. Suppose q*o - 36 = 290. Is o composite?
False
Let b(g) = 2*g**2 - g - 6. Let l be b(5). Let z = -12 - -12. Suppose -3*x = -z*x - l. Is x a composite number?
False
Let k = 31 + -21. Let h = 0 - -3. Let f = h + k. Is f a prime number?
True
Let x be ((-171)/4)/((-3)/(-12)). Let h = 258 + x. Is h a prime number?
False
Let l = 2474 - 1661. Let d = l - 136. Is d prime?
True
Let q(x) = x**2 + 7*x + 4. Let r be q(-7). Suppose -r*h + 2*h + 84 = 0. Suppose 0 = 3*s - 21 - h. Is s a prime number?
False
Suppose -a - 2 = -15. Is a a composite number?
False
Let l(c) = -c + 89. Is l(0) a composite number?
False
Suppose 0 = 3*r - 2*l - 402, 3*r - 402 = -l + 2*l. Is r a prime number?
False
Let i(f) = 57*f**3 + 3*f**2 - 11*f + 31. Is i(4) prime?
False
Suppose 116 = 3*p - 241. Is p a composite number?
True
Suppose -23 = -s + 1. Suppose 2*o = -2*o + s. Is o prime?
False
Suppose -p = -5*p + 444. Is p composite?
True
Suppose -z = -3, 3*l - 2*z + 1543 = 4*l. Is l composite?
True
Let l = -8 + 12. Suppose l*y = y + 93. Is y a composite number?
False
Let l(f) = 5*f**2 - 6*f - 24. Is l(-19) a composite number?
True
Suppose -1 = 4*x - 5. Let n = x - 3. Is (3/(-6))/(n/1060) a composite number?
True
Suppose 0 = -11*q + 10*q - 10.