 -15455 = -3*t - 2*h. Is t a composite number?
True
Let h be -15 + 16 - (1 - 0). Let a(t) = -t + 397. Is a(h) prime?
True
Suppose 5*a - 186250 = -5*s, -8*s + 4*s = -2*a + 74530. Is a a composite number?
True
Let n = -1610 - -19211. Suppose -d + m + 3387 = -130, -n = -5*d + m. Is d prime?
False
Suppose -3*l - 4*a + 1920 = 477, 0 = -4*l - 2*a + 1934. Suppose 5*f + 3*x - 14 = 0, 2*f - 12 = f + 4*x. Suppose l = f*h - 1167. Is h a prime number?
False
Let y = 1893 - 1016. Is y prime?
True
Suppose 30*p - 92104 = 22*p. Is p composite?
True
Suppose -15 = -8*o + 5*o. Suppose 8*x - 381 = o*x. Is x prime?
True
Is ((-247)/(-114) + 10/(-4))*-17943 a prime number?
True
Let k(j) = 3*j**2 + 11*j**2 + 6 - 9*j - 4*j**2. Is k(5) composite?
False
Let r(z) = -3*z - 10. Let f be r(-3). Let a(m) = m + 1. Let p(c) = -18*c**2 + 5*c - 18. Let x(k) = f*p(k) - 5*a(k). Is x(-9) prime?
False
Let t = 20907 + -9022. Is t prime?
False
Let n = 143 - 58. Let m = 142 - n. Is m prime?
False
Suppose -14*y + 9*y - 280 = 0. Is 4/7 + (-45272)/y composite?
False
Suppose 2*j - 496 = 2*q, 0 = -5*q + 4*j + 483 - 1720. Let a(n) = 19*n - 1. Let l be a(-5). Let f = l - q. Is f composite?
False
Suppose 28*d + 111197 = 5*q + 24*d, 66713 = 3*q - 5*d. Is q prime?
False
Is (9232/(-24))/((-7)/((-189)/(-6))) a composite number?
True
Let b be (2/4)/(((-17)/(-12882))/17). Let y = -3478 + b. Is y a prime number?
True
Suppose 0 = 2*w + y - 740, 0 = -3*w + 5*y - y + 1110. Let j = w - 165. Is j a prime number?
False
Let a(f) = -228*f - 49. Suppose 12*x = 6*x - 36. Is a(x) a composite number?
False
Is 3602660/140 - (-6)/(-21) composite?
False
Let k(m) = 6*m**2 - 10*m - 7. Is k(-8) composite?
False
Let y(a) = 363*a**2 - 35*a + 143. Is y(6) a composite number?
False
Let f(c) = c**2 - 5*c - 7. Let x(z) = 2*z**2 + 10*z - 8. Let p be x(-8). Suppose 2*b - b + 11 = -y, 4*y = -3*b - p. Is f(y) prime?
False
Let c be -1 - -2 - (-416 + (0 - 0)). Suppose -221 = -2*y + c. Is y composite?
True
Suppose 263 = g - 948. Let w = g + -856. Is w a prime number?
False
Is 6/((-6)/5) - -5674 composite?
False
Let z(u) = -u - 7. Let y = -17 + 6. Let l be z(y). Suppose l*w + 616 = 4*k, 3*k + w = 344 + 98. Is k a composite number?
False
Suppose 27*i - 1196791 = -351610. Is i composite?
True
Let v(p) = p**2 + 11*p + 15. Let b be v(-10). Suppose b*o - 152 = -22. Is o prime?
False
Let i = 17 - 11. Let c = i - -25. Is c a prime number?
True
Suppose -19020 = -11*i + 7*i. Is ((-4)/6)/((-10)/i) prime?
True
Let n be 8/((-9)/(-6)*(-4)/6). Is (2/(-3))/(n/5892) a composite number?
False
Let u(c) = -c + 2. Let r(t) = -t**3 - 8*t**2 + 10*t + 9. Let k be r(-9). Let y be u(k). Suppose -n - 31 = -3*n - 5*b, y*b - 28 = -2*n. Is n a composite number?
False
Let y = -5155 - -3068. Let s = 3738 + y. Is s prime?
False
Let t = -2 - 4. Let o(z) = -3*z**2 + 7*z + 2. Let u(m) = -m**2 - 1. Let y(a) = -o(a) + 2*u(a). Is y(t) a prime number?
False
Suppose -2*r + 6398 - 582 = 0. Suppose -v + 5*j + 946 = 0, -j + r = 3*v - 2*j. Is v a composite number?
False
Let o(a) = 5*a**2 - 9*a - 3. Let g be (-22 - 0) + 16 + -15. Let f = g + 14. Is o(f) a prime number?
False
Suppose -11*m + 40 = -m. Suppose 0 = m*s - q - 4024 - 175, -q = 4*s - 4193. Is s a prime number?
True
Let l(d) = 2*d**2 + 22*d - 7. Let n be l(-15). Let c = 160 - n. Suppose u - c = -8. Is u a composite number?
True
Suppose -11*q + 15*q - 5996 = 0. Is q a composite number?
False
Is (-14)/(-105) - (-1742203)/15 prime?
False
Suppose 4*g = -5*v + 29661, -g = 7*v - 12*v + 29666. Is v prime?
False
Let g = 4588 + -1319. Let t = g + -2020. Is t prime?
True
Suppose 760 = 2*g + 2*g - 5*c, -c + 979 = 5*g. Let y = -117 - -197. Let v = g - y. Is v composite?
True
Let u(d) = d + 9. Let n be u(-5). Suppose -n*l + 4*c - 840 = 0, -c = 4*l + 234 + 591. Is l/(-6)*(-10)/(-3) prime?
False
Let g(i) = 3*i + 1. Let y(b) = -b**2 + 1. Let u be y(0). Let j be g(u). Suppose -10 = -5*k, -j*a + 4*k + 520 + 340 = 0. Is a composite?
True
Let j(l) = -9*l**2 - 8*l + 12. Let g be 45*((-14)/(-6) + -2). Let o be j(g). Let y = -734 - o. Is y composite?
False
Is (-14)/(-14)*(125499 + 1 + -3) prime?
True
Let j(y) be the third derivative of y**4/12 - 3*y**3/2 - 6*y**2. Let l be j(6). Suppose 402 + 603 = l*r. Is r composite?
True
Suppose 0*z + o + 1989 = -2*z, -5*z - 4992 = -4*o. Let c = -689 - z. Is c a prime number?
True
Suppose 0 = -4*s + 2*u - 4*u + 100, 2*s - 62 = -4*u. Suppose -d + b = -5*d - 25, -b + s = -4*d. Is 10/(-15) - 1774/d composite?
True
Suppose -6*b + b = -5*v + 10, 0 = -3*v - 4*b + 27. Suppose -10701 = -3*f - 3*o, 0 = f + v*o - 352 - 3199. Is f composite?
False
Let l = -49 - -35. Is (-6)/l - 98762/(-133) prime?
True
Let g(w) = -w**2 + 2*w. Let j be g(2). Let f be -4 + 1 + -1 + j. Is (0 - 2)*254/f a composite number?
False
Let m = -14 + 8. Let y(u) = -15*u - 7 + 2 + 2*u - 6*u. Is y(m) a prime number?
True
Let h be (-52)/(-20) + (-8)/(-20). Suppose -h*t - 2992 = -11*t. Suppose -1855 = -5*w - 5*a, 3*w - 1487 = -a - t. Is w a composite number?
True
Suppose -37 = -5*s + 3*u, -5*s + s + 4 = 4*u. Is 3147/s + (48/(-20))/6 a composite number?
True
Suppose 3*g - 2314 = -4*z + 20853, -5*g = z - 38589. Is g composite?
False
Suppose -t = t - 4*d - 1186, 0 = -2*t - 2*d + 1216. Is ((-16)/10)/(-4) + t/5 composite?
True
Let p = -75 - -178. Let l = 82 + p. Is l a prime number?
False
Let c = 14818 - -8583. Is c prime?
False
Suppose -5*p = 3*p. Is 396 - (p - 3 - -4) composite?
True
Suppose 0 = -s + 30433 + 3024. Is s composite?
False
Suppose -4*w + a - 1501 = 0, 3*w + 540 = a - 586. Let h = w - -1418. Is h a composite number?
True
Suppose t - 1600 = -4*o + 3*t, 794 = 2*o - 4*t. Suppose 3*b - 377 = v, 0 = 4*b - b + 5*v - o. Is b a composite number?
False
Suppose a = -c - 4*c + 108, c - 27 = -2*a. Suppose -r + 11 + c = 0. Suppose 5*z - 4*h = 138, 0 = 3*z - h - 48 - r. Is z prime?
False
Let n(a) = 4*a**3 - 5*a**2 - 8*a + 121. Is n(12) prime?
True
Let k = 3660 + -527. Is k a prime number?
False
Let x = 2480 - 1197. Is x a prime number?
True
Let y be 5 + 0 - (4 + -4). Let u be (y/((-10)/978))/(-1). Suppose 4*v = 7*v - u. Is v a composite number?
False
Suppose -2*q + 2 + 18 = 0. Let u be 24/q + (-54)/(-90). Suppose -21 = u*w - 84. Is w a composite number?
True
Let c(p) be the second derivative of -p**5/20 + 23*p**4/12 + 11*p**3/6 + 5*p**2/2 + 11*p. Is c(16) prime?
True
Suppose 3*v - 2*o - 144 = o, -3*v + 136 = o. Is v composite?
True
Let w(h) = -h**2 + 6*h + 6. Let d be w(5). Suppose -6*v = -25 - d. Is (148/v)/(4/6) a prime number?
True
Is (35/28)/(-5)*-72068 a composite number?
True
Suppose -8 = -5*l + 4*d - 70, 49 = -4*l + 3*d. Is ((-382)/l)/(4/20) a composite number?
False
Suppose 918 = 2*x - 1228. Is x a composite number?
True
Let f(t) = 2*t**2 - 5*t - 22. Let r be f(-4). Suppose -s = 4, 0*z - 616 = -4*z + 5*s. Let y = z - r. Is y a composite number?
True
Let k be 1*6/39 - (-6002)/26. Let w = -44 + k. Is w prime?
False
Let m = 20 + -31. Let g = 136 + m. Let s = 2 + g. Is s a prime number?
True
Suppose -5*o = -4*j - 5701, -4*j - 2187 = -4*o + 3513. Let m = j + 9187. Is m prime?
False
Is ((-95)/10 + 12)/((-3)/(-22818)) a composite number?
True
Suppose 2*t + 8*t = 42060. Suppose -3*g + t = 3*g. Is g composite?
False
Is 1/5 - (2 + (-270158)/35) composite?
False
Let t = -2 - -4. Is 1/((-2940)/(-1468) - t) a composite number?
False
Let c(m) = -201*m**2 + 2*m - 1. Let y be c(-2). Let r = y + 1326. Is r prime?
False
Suppose 280408 = -543*r + 551*r. Is r composite?
False
Suppose 4*z + 6 = 26. Suppose -2*m + z*m + 11 = 2*d, 4*m - 5*d = -17. Is (m - -1)*(-27)/6 a composite number?
True
Let z = 594 - 1273. Let u be (-7)/(-14)*6 - 1305. Let t = z - u. Is t prime?
False
Suppose -3*w = 2*t + 1, 5*w - 3*t = -0*t + 30. Suppose 0 = -4*m - 5*r + w*r + 187078, 2*m + 5*r - 93535 = 0. Is m/45*(-6)/(-4) composite?
False
Let a = 82151 + -27244. Is a prime?
True
Let t(u) = -1252*u + 1. Let x be t(3). Let s(i) = -i**2 + 5*i + 51. Let j be s(11). Is x/j + 6/9 prime?
True
Suppose 0 = 4*s + 71 - 227. Suppose -s*q = -34*q - 4315. Is q a composite number?
False
Suppose -2*l - 15 = -3*w + l, -2*w - 3*l = 15. Let m = -12 - -16. Suppose 0*s - 166 = -2*s - 4*h, -m*s + 2*h + 302 = w. Is s prime?
False
Let p be 2 + 40 - (0 - 3). Suppose -6*u + u - p = 5*y, 5*y + 37 = 3*u. Let x(r) 