 y = 21530 - 7893. Suppose -10*h = -y - 453. Is h a prime number?
True
Let z = 62 - 59. Suppose 1428 + 771 = z*u. Is u a prime number?
True
Let i(q) = 53*q**2 + 1. Let u be i(1). Suppose 3*z - u = -5*t, z + 0*z - 32 = 3*t. Is z prime?
True
Is (-3)/2*13/(351/(-469782)) composite?
False
Is 496721/236*(-4)/(-1) prime?
True
Suppose 2*g = -2*a + 66512, -5*a + 4*g = -78749 - 87504. Is a a prime number?
False
Let o(f) = f**3 - 18*f**2 + 24*f + 30. Let y(m) = m + 5. Let k be y(12). Is o(k) prime?
True
Let r = 39 - 36. Suppose -4*n - n - 1854 = -f, 2*f = r*n + 3736. Is f composite?
True
Let p be 0 + 2 + 4 + 0 + -3. Suppose -3*r = -p*j - 1866 - 369, -r + 3*j + 749 = 0. Is r a prime number?
True
Suppose -2*i - i - s + 10000 = 0, -3*s = -5*i + 16676. Is i prime?
False
Let a(k) be the first derivative of k**4/4 + 5*k**3/3 - 4*k**2 - 8*k - 4. Let f be a(-6). Suppose 0 = 4*m + 3*g - 7*g - 56, 5*m - f*g = 75. Is m composite?
False
Let y(g) = g**3 - 16*g**2 - 48*g + 203. Is y(28) composite?
True
Suppose -119*m - 1945591 = -150*m. Is m a composite number?
False
Let c(h) = -5*h**3 + h - 9. Suppose 2*w = -u - 8, u + 2*u + 18 = -3*w. Is c(u) a prime number?
True
Let n = 237 - -10207. Suppose -9*i + 5*i = -n. Is i a composite number?
True
Let v(p) be the second derivative of 7*p**6/144 + p**5/120 - 5*p**4/12 - 2*p. Let t(z) be the third derivative of v(z). Is t(2) a prime number?
True
Let s(f) = 5*f**3 - 5*f**2 + 5*f + 3. Let j be 1 - (1 + 0)*-1. Suppose 4*k = -5*n, -2*n = j*k - 4*k - 18. Is s(n) a composite number?
False
Let v = -14224 - -68333. Is v prime?
False
Suppose 4*u + 3*s - s = -12, 3*u + 7 = -s. Let y be u + -12 - (1 + -2). Is (-3)/2*152/y prime?
True
Suppose -u - 5*z + 1228 = 0, -9*u - 3*z - 3630 = -12*u. Is u a prime number?
True
Let a(q) = -2*q**3 - 8*q**2 + 5*q + 5. Let h be a(-7). Let k = 377 + h. Is k a prime number?
True
Let o(j) = -364*j**3 + 7*j**2 + 27*j - 1. Is o(-4) a prime number?
False
Let h = -30 + 30. Suppose -5*k = -4*q + 2687, h = q + k - 6*k - 668. Suppose 224 = 3*y - q. Is y prime?
False
Let c(q) be the third derivative of 7*q**4/12 + 37*q**3/6 + 38*q**2. Is c(12) prime?
False
Is (-41)/((-2460)/(-48)) - 671399/(-5) a composite number?
True
Let c be (-2)/9 + (-25752)/27. Let r be 1/(1 + c/955). Suppose r = 5*n - 0*n. Is n prime?
True
Let x = 585 - 236. Suppose 81 = 2*u + x. Is (0 + 3)*u/(-6) a prime number?
True
Suppose 3*n - n + 30 = 4*i, -2*i + 20 = 4*n. Suppose -4*f + 6*f = i. Suppose -o = -198 + f. Is o prime?
False
Suppose 0*q = -9*q - 3915. Is q/(-3 + 0) - -4 a composite number?
False
Suppose -5*t + 13*t + 16256 = 0. Let d = t - -3541. Is d composite?
True
Suppose 120 = b - 4*y, -b + 5*y + 56 = -65. Suppose -358 = -2*p - b. Is p a composite number?
True
Let a be (0 - (-27)/12)/((-3)/(-8)). Is a/10 + (-6182)/(-5) a composite number?
False
Let w(y) = -y**3 - 11*y**2 - 26*y - 11. Let s be w(-8). Suppose 2*h + 53 + 49 = 2*r, -2*h + 283 = s*r. Is r a composite number?
True
Let z = -33157 - -47348. Is z composite?
True
Suppose 0 = 2*u - p - 583, 0 = -4*u + 5*u - 5*p - 278. Is u a composite number?
False
Let z be (0 - 0)/(2/2). Let r be (3 - (1 + z)) + 37. Let a = -26 + r. Is a a prime number?
True
Suppose -22*u = -15*u - 58429. Is u a prime number?
False
Let c = 44 + -45. Is c + 3 + 190 + -1 prime?
True
Let n = -91 - -114. Let i(x) = 9*x + 50. Is i(n) a prime number?
True
Suppose 22*i + 22 = 11*i. Let w(j) = -14*j**2 - 5*j + 8. Let s(d) = -14*d**2 - 6*d + 9. Let v(b) = 5*s(b) - 6*w(b). Is v(i) a composite number?
False
Suppose 3*k - 2*k = l + 2, 3*l + 2*k = 19. Suppose -l*n - 8 = -4*n. Suppose -148 = 6*q - n*q. Is q prime?
False
Let v(r) = 43*r**2 + 9*r + 19. Is v(7) composite?
True
Suppose 4*y + 2804 = 3*l - 0*l, -y + 1 = 0. Suppose n - l = -3*j - 4*n, 0 = -2*n - 6. Is j prime?
True
Let b(y) = -415*y + 244. Is b(-15) composite?
False
Let y be 8*(-1 - 28/(-8)). Suppose -3*q + o - 53 = q, -9 = 2*q + 3*o. Is 9/q + 13715/y a prime number?
False
Let i(j) = 100*j + 257. Is i(26) a prime number?
True
Suppose 31873 = 7*u - 67905. Is u a composite number?
True
Suppose o = -j - 3, -4*o - 16 = -j + 1. Is ((-47)/o)/((-1)/(-236)) a prime number?
False
Let z = 58 - 58. Suppose -6*f - 2*f + 7736 = z. Is f a prime number?
True
Suppose 63 + 197 = 4*p. Let q = 228 + p. Is q a prime number?
True
Let t(v) = -v**2 + 6*v + 9. Let z be t(7). Is 2/(z/(-3)) + 310 prime?
True
Is ((-16)/12)/(4/(-4146)) prime?
False
Suppose 3*f - 2*f + 5*o + 16 = 0, -4*f + 4*o + 32 = 0. Suppose f*a + 1104 = -y - y, -a + y = 276. Is a/(-8) - (-6)/(-4) prime?
False
Let w(i) = -27*i**2 + 2*i - 4. Let n be w(-5). Let a = 1156 + n. Is a a prime number?
True
Let x = 2102 + -3573. Suppose 2*o + o = -2*a - 4206, 4*o - 6292 = 3*a. Let l = x - a. Is l prime?
False
Suppose -220312 = -666*f + 658*f. Is f composite?
False
Suppose -27*a + 22*a + 17285 = 0. Is a prime?
True
Let l be (-1*(-4)/(-8))/((-3)/(-36)). Is (-69 - 8)*l/21 composite?
True
Suppose 4*o - 8697 = -h, -43437 = -3*h - 2*h + 4*o. Is h a composite number?
False
Suppose 4*o + 1835 = b, 4*b - 7304 = o + 3*o. Is b composite?
False
Suppose -5*y + 252100 = -3*y. Suppose 41*o - y = 31*o. Is o a composite number?
True
Let x(c) = -c**3 + 18*c**2 + 16*c - 21. Let g(t) = -2*t**3 + t**2 - t - 1. Let v be g(-1). Suppose -v*j = -j - 36. Is x(j) a prime number?
False
Suppose -2*h + 681 - 3148 = -5*f, 4*f = 5*h + 1977. Is f composite?
True
Is -4 + -1 + 2/(-3)*-78549 a composite number?
False
Suppose 0 = -4*m - q + 48043, -2*m - 15*q = -16*q - 24023. Is m a composite number?
False
Let k = -69125 + 105958. Is k a prime number?
True
Suppose -3*v + 4*k - 15 = 0, -v = 4*v - 3*k + 25. Is 1/v + (-806)/(-5) composite?
True
Is 6/(-2) + 31649 + -163 a composite number?
True
Let y = -316 - -74. Let c = 916 + y. Is c a composite number?
True
Suppose 4*w - 71 = -5*l + 2*w, -3*l + 2*w + 49 = 0. Suppose -3*f = k - 5, 3*k - l = f + f. Let s(m) = 4*m**2 + 5*m + 2. Is s(k) a composite number?
False
Suppose -4*g + 7*y - 10*y + 97208 = 0, 72907 = 3*g + 2*y. Is g composite?
True
Suppose 3*w + w - 60 = 0. Let u = w + -21. Let c = 63 - u. Is c composite?
True
Let v(c) be the first derivative of 56*c**2 - 15*c - 17. Let t be (-2)/(-3)*54/4. Is v(t) a prime number?
False
Suppose -l = -4, 2*o + 2*l - 9 = 3. Suppose o*f - 867 = 115. Is f composite?
False
Let h = -144 + 1461. Is h prime?
False
Let w = -1 + 12. Let p be (-12 + w)/(2/(-10)). Suppose -734 = -4*q + 3*g - 111, -331 = -2*q - p*g. Is q composite?
True
Let o = 35 - 24. Suppose -6396 = -o*q + 2173. Is q prime?
False
Let o(h) be the third derivative of -55*h**4/8 - 11*h**3/6 - 10*h**2. Is o(-4) a composite number?
True
Let m = 4 - 1. Suppose 2*o = -m*o + 1570. Is o*(-2 + (-10)/(-4)) composite?
False
Let f = 154 - 119. Is f a prime number?
False
Let o = 1504 - -2917. Is o prime?
True
Suppose d = -4*l + 22680, 2*d - 28353 = 15*l - 20*l. Is l a composite number?
False
Let t = 318 + -164. Suppose -2*g = -0*g - 2*o + 140, 3*g - o + 200 = 0. Let n = g + t. Is n a prime number?
True
Is 1 - ((-8412)/6 - 6) composite?
False
Suppose -4*h - 238 - 46 = 0. Let c = h + 168. Is c a prime number?
True
Let o(t) be the first derivative of -63*t**2 - t - 12. Is o(-2) composite?
False
Is 150334/12 + -1 - 4/(-24) prime?
True
Let d(f) = -164*f + 5 + 35 - 228*f + 81*f. Is d(-6) prime?
False
Let t = 817 + 976. Is t composite?
True
Suppose -w - 16 = -2*x, -5*w = 4*x - 2 - 2. Suppose 8*r = x*r + 2274. Is r prime?
False
Let f be (0/((-3)/(-3)))/(-1). Suppose 2*x + m = -f*x + 873, -5*x + 3*m + 2188 = 0. Is x prime?
False
Suppose 33233 = -9*s + 102686. Is s composite?
False
Let w = -2906 + 5325. Is w composite?
True
Let o(p) be the first derivative of p**4/4 - p**3 - 3*p**2/2 - 2*p + 6. Let m be o(4). Suppose -287 = -3*j + m*a, -a - 386 = j - 5*j. Is j prime?
True
Let c be 3/((-3)/31*4/(-8)). Let j = c - 39. Is j a composite number?
False
Suppose -4*r + 3*v = 6, 2*r - 3 = -v - 1. Suppose b + 5 = r, t + b = -4*t + 460. Suppose -4*x + t = -367. Is x composite?
True
Let b = -288 + -41. Is 5/(-35) + 45/21 - b prime?
True
Let j(g) = -g**3 + 2*g**2 - 2*g + 1055. Is j(0) composite?
True
Let y be ((-3)/(-4))/((-18)/(-48)) + -65. Is 0 + 6684/7 - 9/y prime?
False
Suppose -3*s + s - 5*f + 12706 = 0, 0 = s + 4*f - 6353. Is s a composite number?
Fals