 Is h a prime number?
True
Let g(z) = 48*z**2 + 5*z - 52. Is g(-21) prime?
True
Suppose 80805 - 26788 = 19*b. Is b composite?
False
Let c(t) = -1442*t**3 - 4*t**2 - 14*t + 1. Is c(-2) composite?
False
Suppose -3*o - 6*b + 13 = -4*b, 0 = 5*o + 5*b - 25. Suppose -32 = -5*f + o. Is f a composite number?
False
Suppose 3*u + 6 = 4*y, -3*y + 0*y + 7 = -u. Let x be 4/(-24)*y*-1492. Suppose 7*z - x = 5*z. Is z composite?
False
Let o = -8304 + 11999. Is o composite?
True
Suppose -3*z + 6*z - 2 = -k, -5*k - 2*z = -10. Suppose 5*m - k*m - 42 = 0. Is m a prime number?
False
Let h(u) = -205*u - 301. Is h(-6) a prime number?
True
Suppose -3*y = -3*h - 2376, -5*y + 4*h + 3972 = 5*h. Is y prime?
False
Let v = 1161 - 166. Suppose 0 = -3*u + m + v, u - 329 = -m + 4*m. Suppose -5*d = -3*i + u, -d + 481 = 3*i + i. Is i a composite number?
True
Let w(u) = u**2 - 6*u - 9. Let l be w(8). Let m = 3 - l. Let o(f) = -171*f - 7. Is o(m) a prime number?
True
Let c be (-214)/9 - 4/18. Let p = -20 - c. Suppose -3*f - 3*b + 783 = 0, -p*f - 5*b + 520 + 528 = 0. Is f composite?
False
Let z(o) = 815*o - 12. Let i be z(-3). Let m = 4148 + i. Is m prime?
False
Is 38/(-14) + 3 - 53439/(-21) composite?
True
Suppose -4*a - 13663 - 15909 = 0. Let h = -3984 - a. Is h a composite number?
True
Let r(h) = 7 + 14*h + 6 - 3*h**2 - 4*h**2 + 8*h**2. Let f be r(-13). Suppose -4*x - 4*b + 904 = 0, f = -b + 2*b - 3. Is x a prime number?
True
Let k be -4 - -3 - 3/(-1). Is (k - -2)*8986/8 a composite number?
False
Let b be 94/18 + (-6)/27. Suppose 5*j + n - 46 = b*n, -5*j = 5*n - 55. Suppose j*f - 553 = -2*o + 5*f, -3*f - 798 = -3*o. Is o prime?
True
Let z(i) = -i**3 - 8*i**2 - 6*i - 12. Let a be z(-8). Suppose -2*x + a = -x. Let f = x + -13. Is f a prime number?
True
Let l = -46 + 638. Let c = l - 251. Is c a composite number?
True
Suppose 3*x - 13 = 32. Suppose -5*f - x = 0, -4*f = -7*p + 2*p - 263. Let b = 134 + p. Is b prime?
True
Let p(r) = -33*r + 58. Is p(-7) composite?
True
Suppose -2*l + 7*l - 5 = 0. Let d(f) be the first derivative of 89*f**4/2 + f**3/3 - f**2/2 + f + 262. Is d(l) a prime number?
True
Let l be (-1)/((-68)/16 - -4). Suppose 3*j + 4*s - 1776 = s, -j - l*s + 607 = 0. Is j prime?
True
Let x(h) = -h**2. Let c(q) = -221*q**2 - 1. Let m(f) = -c(f) + 6*x(f). Let j be m(-1). Suppose -j = -2*o + o + 5*t, -4*o + 4*t + 896 = 0. Is o a prime number?
False
Suppose 228*o - 13677 = 225*o. Is o a composite number?
True
Let i = -20 + 20. Is i + 429/3 + 0 prime?
False
Let g = 0 - -16. Let m = g + -15. Is m/(-2) - (-201)/6 prime?
False
Suppose 0 = -4*h + 12, -4*h - 2250 = -4*x + x. Suppose -2*f - x = -1766. Suppose -3*k + f = -3*a + 1985, 0 = -3*k. Is a a prime number?
False
Suppose -4*k - 21 = 7. Let q be -854*((-84)/(-8))/k. Let c = q + -392. Is c composite?
True
Suppose -2*s + 7*s = 0. Let b = -32 - -45. Let j = s + b. Is j prime?
True
Let b = 7 - 7. Let n(r) = -r**2. Let o be n(b). Suppose -5*d + 250 + 45 = o. Is d composite?
False
Let t be (-63)/(-15) + (-12)/(-15). Is t/(-2)*(-628)/10 composite?
False
Let v(s) = 15*s**3 - s**2 - 5*s - 2. Let w(f) = 16*f**3 - f**2 - 6*f - 3. Let j(g) = -7*v(g) + 6*w(g). Is j(-3) prime?
True
Let u = -14925 + 29534. Is u prime?
False
Let a(i) = 4521*i - 181. Is a(4) a prime number?
True
Let w(d) = -d**3 + 13*d**2 + 13*d + 20. Let b(v) = 2*v**2 - 7*v - 1. Let u be b(5). Let o be w(u). Suppose o*i = i + 435. Is i a composite number?
True
Suppose -r = 5*z - 7649, -r - 4*z = -2*r + 7685. Suppose -r = -3*x + 4*k, 3*x = 6*x - 2*k - 7661. Is x a composite number?
False
Let d(h) = 2*h**3 - h**2 - 5*h + 3. Let j be d(2). Is (j/4)/(7/10444) a composite number?
True
Let t(i) = -2695*i + 3. Let w be t(1). Let u = w - -5577. Is u prime?
False
Let o = -812 - -385. Let n(y) = 19*y + 332. Let r be n(-17). Is 6/r + o/(-21) prime?
False
Is (-9 + 8)/(-5 + 51844/10369) composite?
False
Let q(u) be the third derivative of -u**6/120 - 2*u**5/15 - 13*u**4/24 + 13*u**3/6 + 7*u**2. Is q(-9) prime?
True
Let m = -146 - -299. Suppose 20*g = 15*g + 3310. Suppose -g - m = -5*l. Is l prime?
True
Suppose -z - 3*i + 1916 = 0, 4*z + 3*i = 3039 + 4580. Is z a prime number?
True
Suppose 5*k + 4*l + 656 = 0, k - l = -6*l - 148. Let b = 397 + k. Is b a composite number?
False
Let b be 2 + -3 - (2 - 5). Suppose -p + 15 = b*p, -5*j - p = -5. Suppose j = -4*h + 77 + 255. Is h prime?
True
Suppose 25 = -16*s + 21*s, 3*k - 5*s = 91994. Is k a composite number?
True
Let z be (-6)/(-9)*(-21)/(-2). Let w = 2 + -2. Suppose w = -2*a - l + 1003, z*a + 5*l - 2021 = 3*a. Is a a composite number?
False
Is ((-310948)/(-154))/((-4)/(-14)) prime?
False
Suppose 4*t = -2*y + 1054, -3*t + 2*t = -y + 536. Let u = -376 + y. Let a = 902 - u. Is a a composite number?
True
Let s be (-3 + 3 - 0)/1. Suppose 0 = -h - 4*d + 610 - 20, -5*h + 2*d + 2928 = s. Is h a prime number?
False
Let m = 1092 + -295. Is m composite?
False
Let j = 7176 + -1195. Is j a composite number?
False
Let t(i) = i + 8. Let a be t(-6). Suppose -3*m + 4*w = -a, -3*m + 26 = -4*m - 4*w. Let r(x) = -26*x + 7. Is r(m) a prime number?
True
Let r = -17152 - -30705. Is r prime?
True
Suppose -4*z - 1194 = -2*z + 2*b, 5*z + 4*b = -2981. Let x = -192 - z. Suppose 358 = 3*k - x. Is k a prime number?
False
Let f(r) be the second derivative of r**5/20 + 7*r**4/4 + 19*r**3/6 + 17*r**2/2 + r. Let n = 18 - 36. Is f(n) a composite number?
False
Suppose 2 + 16 = 3*i. Let s(d) = -43*d - 8. Let w(l) = -42*l - 7. Let g(p) = i*w(p) - 5*s(p). Is g(-9) composite?
False
Let p(t) = -3*t**3 + 24*t**2 + 24*t - 28. Let z(s) = 7*s**3 - 47*s**2 - 47*s + 57. Let d(n) = -5*p(n) - 2*z(n). Is d(27) a composite number?
False
Let n(h) = 108*h**3 + 3*h**2 + 21*h - 11. Is n(5) a prime number?
True
Let g = 83 - 81. Suppose 0 = 2*j + g*j - 844. Is j prime?
True
Suppose -2*h + 14402 = 4*j, 5*j + 2*h = 4*h + 18016. Is j a prime number?
False
Suppose 0 = 5*u - 20. Suppose -u*l + 1955 = l. Is l a composite number?
True
Suppose -3*m = -j + 87453 - 13561, m + 295601 = 4*j. Is j prime?
False
Let j(h) = 1951*h - 313. Is j(12) prime?
True
Suppose -24*t - 1161 = -18417. Is t prime?
True
Suppose -w = -2*c - 1545, -4*w = -4*c - 1840 - 1252. Let t = c - -1649. Is t composite?
False
Let w(f) = 4*f**2 - 43*f + 84. Is w(-25) composite?
False
Suppose -c + 3*q + 2*q + 3062 = 0, -2*c = q - 6135. Is c a composite number?
False
Suppose -2748 = -b + 3*c + 11042, 3*c = 4*b - 55187. Is b composite?
False
Let f(u) = 1610*u + 227. Is f(3) a prime number?
False
Suppose 0 = -5*y - 4*j + 45, -5*y = -3*j - 12 + 2. Let g(a) = 36*a**3 - 71*a**3 + 6*a**2 - y + 32*a**3 + 7*a. Is g(-5) prime?
False
Let p = -7688 - -18361. Is p a composite number?
True
Let r be -27546*6/(-9) - (0 + -1). Suppose -8*u = -16619 - r. Is u prime?
True
Let k(y) = -3*y**2 - 2*y + 203. Is k(0) a prime number?
False
Suppose 4*j - 3*i - 35050 = 0, -55*i + 52*i = 4*j - 35038. Is j a composite number?
False
Suppose 125*y = 151*y - 78. Let s be (-4076)/(-7) + (-4)/14. Suppose -1419 - s = -y*a. Is a a prime number?
False
Is (-2 + 0)*285913/(-46) a prime number?
False
Let x = 10 - 8. Let m be 8 + 6/(-1 - x). Is (-5)/(-10) - (-2463)/m prime?
False
Let t = 15 + -16. Let r be (-17 + -1)/(-3) + t. Suppose 0 = -r*i + 228 + 57. Is i composite?
True
Let t(i) = -2446*i**3 - 2*i**2 - 12*i - 21. Is t(-2) prime?
False
Let u = 475 - 232. Let x = 624 - u. Is x a composite number?
True
Let y(o) = -o**3 - o**2 + o + 5. Let b be y(0). Suppose 0 = -b*f + 4*q + 16, -3*f + q - 3*q = 8. Let c = 7 - f. Is c a prime number?
True
Suppose 3*u - 12324 - 34863 = 2*x, 78626 = 5*u + 3*x. Is u a prime number?
True
Is (-194)/(-2)*(-4 + 45) a prime number?
False
Suppose p + 390 = 6*p. Let n = p - -125. Is n a composite number?
True
Suppose 204*y - 199*y = 4715. Is y a prime number?
False
Let i(b) = -b + 4. Let s be i(2). Let f(o) = 22*o**3 + 3*o**2 - 1. Is f(s) a composite number?
True
Suppose 6*s - 16954 - 11012 = 0. Is s prime?
False
Let y = -22 + 60. Suppose 0 = 4*j - 2*p - 3*p - 184, -j + 3*p + 53 = 0. Suppose r - y = j. Is r composite?
False
Is 13365/18 + (-12)/(-8) + 2 composite?
True
Suppose -5979 - 790 = -7*y. Is y composite?
False
Suppose k - 4*k = -3*w + 1449, 0 = -3*w - 2*k + 1429. Is w a composite number?
False
Let j(p) = -77*p + 1. Let m = 20 + -4. Let y = 14 - m. 