 q a composite number?
True
Suppose 451*b - 82540 = 431*b. Is b a prime number?
True
Let n(z) be the third derivative of 13*z**5/120 - z**4/6 - z**3/3 - 11*z**2. Let c(x) be the first derivative of n(x). Is c(3) prime?
False
Let s = 10 - -7. Suppose x + 4*a = s, 2*x + a + a = 22. Suppose -26 - x = -b. Is b a prime number?
False
Let r be 16/12*3/(-1). Is r/14 + (-32045)/(-119) a composite number?
False
Let z = 20951 - 5602. Is z composite?
False
Let k(j) = 7*j**2 - 138*j + 147. Is k(48) a composite number?
True
Let p(t) = -487*t - 9. Is p(-6) prime?
False
Suppose 5*a = -5*a + 100. Is 11/(55/a)*1294/4 prime?
True
Let z be (1743/(-6))/(1/2). Let p be 4 + (z + 1)/(-2). Suppose -2*f + 544 = -p. Is f a composite number?
False
Let h be (10/2 - 4)*3. Suppose 0 = h*g - 9 - 6. Let p(b) = 158*b - 3. Is p(g) composite?
False
Suppose -2*a = z - 12, 5*a - 13 = z + 3. Let o be (-10)/a*60/(-50). Suppose o*y - 3*l - 1271 = -2*y, 5*l = 3*y - 769. Is y composite?
True
Let l(q) = -q**2 + 25*q - 17. Let v be l(16). Let x = 386 - v. Is x prime?
False
Let l be ((27/6)/9)/(1/12). Suppose 5*m - 12991 = -l*m. Is m prime?
True
Suppose -3*f + 6 = -0*f. Suppose -3*d = 3*k + 3, -f*d - 1 + 2 = -k. Suppose s - 295 = -d*s. Is s prime?
False
Let c = -1763 - 986. Let k = -1862 - c. Is k composite?
False
Let j(b) = 57*b**2 - 19*b - 5. Is j(9) prime?
True
Let k = 1002 - 163. Is k prime?
True
Let v(h) = -h**2 - 12*h - 9. Let n be v(-9). Suppose -2*x - 2*f = -3*f - 23, 9 = 3*f. Suppose 3725 = -x*t + n*t. Is t prime?
False
Let u = 2178 - -1586. Let w = -987 + u. Is w a prime number?
True
Suppose 5*h = -3*k - 158, 2*k = 3*h - 0*h + 110. Let y = 26 + h. Let x(s) = s**3 + 10*s**2 + 5*s - 17. Is x(y) composite?
False
Let b(i) be the second derivative of i**4/6 + 479*i**2 - 47*i. Is b(0) composite?
True
Suppose 9 = 5*l - 3*o + 2, 2*l - 3 = o. Suppose l*a + 3*b = -3*a + 2608, -3*b + 3 = 0. Is a a composite number?
False
Suppose 8*q = -5*q + 39. Suppose 0 = -5*l + q*l + 2438. Is l a prime number?
False
Let k = 1955 + 1988. Is k a composite number?
False
Let h(z) = -5*z**3 - 3*z + 4*z**3 + 11 + 110*z**2 - 102*z**2 + 6*z. Is h(8) composite?
True
Suppose 519*t = 500*t + 349049. Is t prime?
True
Let j(l) = 6835*l**3 + l**2 + 2*l - 3. Is j(1) a prime number?
False
Suppose 3 + 0 = -3*t. Let o = -6 - t. Let a(x) = -5*x**3 - 4*x**2 - 4*x - 4. Is a(o) prime?
True
Suppose 5*t - 336 = 2*v, -2 + 14 = -4*v. Let i = 91 - 114. Let y = t + i. Is y composite?
False
Suppose 0 = -2*t - 4 + 24. Suppose -6*w = -t*w. Suppose 3*q + 0*q - 2*x - 40 = w, -q - 2*x + 16 = 0. Is q composite?
True
Let m = -3612 - -5362. Suppose -6*t = -m - 176. Is t composite?
True
Suppose 0 = -5*n + 8643 + 6297. Let o(w) = -w**3 - 15*w**2 - 2*w - 24. Let f be o(-15). Is 4/f*n/24 a prime number?
True
Let v(j) = 12*j - 10. Let o be v(-5). Is o/(-3) - (-8)/(-24) a prime number?
True
Let y(t) = -t**2 + 13*t - 8. Let i be y(12). Let m be (-14)/i*(-32)/56. Is 38*(m - 15/10) prime?
True
Suppose -4*q + x + 112 = 0, -6*q + 41 = -5*q + 3*x. Suppose m - q - 48 = 0. Is m prime?
False
Suppose 5*c - 4*z - 216857 = 0, 3*c - 5*z - 130121 = -6*z. Is c a prime number?
False
Suppose 3 - 1 = -5*h + 2*x, 0 = h + 4*x + 18. Let b be 7 + h/(5 + -4). Suppose -3*l = -4*r + 156, -b*r - 3*l + 192 = -3. Is r composite?
True
Let y(t) = -t**2 + 6*t - 7. Let a be y(7). Let j(n) = -58*n - 54. Is j(a) prime?
False
Let u = -31 + 49. Suppose -u*x = -13083 - 24771. Is x prime?
False
Suppose d - 403 = -4*i, -5*i = -2*d - 4*i + 833. Let q = d - 633. Let y = -133 - q. Is y composite?
True
Let p be 1 - -1 - (-26 - 1). Suppose 0 = -28*h + p*h - 721. Is h composite?
True
Let s be 6/2 + (-5)/(-5). Suppose -p = -2*r + 185, s*p = 2*r + 2*p - 182. Is r a composite number?
True
Let y(m) = m**3 + 7*m**2 + 9*m - 2. Let k be y(-5). Let j = 1 + k. Suppose 0 = j*q + 4*w - 3*w - 593, -5*w + 581 = 4*q. Is q composite?
False
Let w be (6/(-9))/(1/6). Is 2/(-6) - w*1578/9 a composite number?
False
Let j(h) = -67*h - 127*h - 5*h - 115*h. Is j(-1) prime?
False
Let c = 2 - -1. Suppose -c*k - 1 = -7. Suppose 0 = 2*o - 7*o - k*r + 105, -o - 2 = 5*r. Is o prime?
True
Let r(s) = 887*s**2 - 16*s - 40. Is r(-7) a composite number?
True
Let w = 7630 - 2281. Is w prime?
False
Let n = -114932 + 182595. Is n prime?
False
Let a be 1/(60/(-16) - -4). Suppose 0*n - a*n - r = -1315, n - 2*r - 331 = 0. Is n a composite number?
True
Let s = -5373 + 38306. Is s composite?
False
Let r(m) = m**3 + 12*m**2 - 2*m - 27. Let s be r(-12). Let c(z) = -65*z + 2. Let o(f) = -261*f + 8. Let j(d) = 9*c(d) - 2*o(d). Is j(s) a prime number?
True
Let n = -24 - -14. Let a be (-1 + 0)/(5/n). Suppose a*j + 357 - 1715 = 0. Is j prime?
False
Suppose 0 = 4*y - 8, 2*t - 4*y = -t - 23. Is ((15/6)/t)/((-2)/1756) a prime number?
True
Let n = -792 + 1211. Is n a composite number?
False
Suppose 24*y = 64124 + 180220. Is y a composite number?
False
Let s be (12/5)/((-14)/175). Let d = -31 - s. Is 249/(d - (1 + -3)) a composite number?
True
Let h be 3654/27*(4 + -1). Suppose -m - h = -3*m. Is m prime?
False
Suppose -x + 160 + 873 = 2*w, 0 = -3*x - 4*w + 3109. Let r = -154 + x. Is r composite?
True
Suppose 5*y + m = 2*m + 2091, -3*y + 1277 = 5*m. Is y prime?
True
Suppose -11*w = -15*w. Suppose w = -6*z + 11*z - 14695. Is z a prime number?
True
Is ((-105290)/20)/((-3)/2 - -1) composite?
False
Let i(p) = 3353*p + 63. Is i(2) composite?
True
Is (-6)/42 - 8592/(-21) prime?
True
Let b(a) = -a**2 - 28*a - 17. Let t be b(-17). Let u = t + 9. Is u a composite number?
False
Let l(g) = 15*g + 19. Is l(16) a prime number?
False
Suppose -2*c + 98*k - 101*k = -2530, 0 = -5*k + 10. Is c prime?
False
Is -13961*(12 + -20)/8 a prime number?
False
Suppose 13*a - 58280 = -5*y + 14*a, -y + 4*a = -11637. Is y prime?
True
Suppose -1080*b + 1084*b - 19252 = 0. Is b composite?
False
Let l be ((-10)/6)/(85/(-102)). Suppose -4*b - 2*d + 7122 = 0, -3 = l*d - 1. Is b composite?
True
Let b(l) = 2*l**2 - 2*l. Suppose -9*p + 11*p - 4 = 0. Let t be b(p). Suppose d + t*d = 175. Is d a composite number?
True
Let y(m) be the first derivative of -79*m**2/2 + 11*m - 2. Let r(c) = -26*c + 4. Let d(j) = -17*r(j) + 6*y(j). Is d(-5) prime?
False
Suppose -16 - 4 = -5*h. Suppose -38 = 5*z + 3*j - 315, h*j = -4*z + 228. Is z prime?
True
Suppose 0 = -2*q - 4, -2*q + 4*q + 5518 = 2*y. Is y prime?
False
Suppose 0 = -3*h - 3*j + 6*j + 9, j - 5 = -h. Suppose o - 2 = -o, -h*d - 6 = 2*o. Let n(k) = 117*k**2 - 1. Is n(d) a prime number?
True
Suppose 0 = 5*l - 2*m - 10 + 2, -3*l + 8 = 2*m. Let f be (-242)/(-77) + 6/7. Suppose 268 = -0*n + f*n + l*x, -4*n + 268 = 3*x. Is n prime?
True
Suppose 2*c - 5 = -3. Let h be (30*(-4 - -3))/c. Is 3 + h/9*-123 a composite number?
True
Suppose 0 = -2*r + 5*p - 198, 8*p = r + 3*p + 94. Let k be (-8)/(-36) + r/(-18). Is 2 - 1053/(k/(-2)) prime?
True
Suppose -i + 30 = 4*i. Let m(c) = 10*c + 6. Let x be m(i). Suppose 3*t - x = -9. Is t composite?
False
Suppose 0 = 4*p + 5*l + 3, -4*p + 2*l + 3*l = 13. Let i(u) = -103*u - 15. Is i(p) a composite number?
False
Suppose 84*p - 74666 = 24958. Is p composite?
True
Let b(z) = -z**3 + 3*z + 7. Let t(v) = v**3 + 8*v**2 + 10*v + 7. Let s be t(-6). Suppose -4*i = 5*u + s, 3*i - 2*i + 10 = 4*u. Is b(i) composite?
True
Let g(v) = 35*v**2 - v - 1. Is g(-7) a composite number?
False
Suppose -36*v + 20*v = -158768. Is v composite?
False
Suppose v = 6*v. Suppose v = 5*s + 5 - 100. Is s composite?
False
Let y = 51284 - 27387. Is y a prime number?
False
Let n(u) = u**3 + 9*u**2 - u - 10. Let h be n(-8). Suppose 0 = -2*g + h. Suppose 3145 = 5*q + 5*f, g = 4*q - f - 2495. Is q a prime number?
True
Let g(v) = 2*v + 7. Let c be g(-5). Let p(n) = -23*n**3 + 2*n**2 + 2. Is p(c) prime?
True
Let d(t) = -2*t**3 - 2*t**2 - 7*t - 5. Let v be d(-4). Suppose -2*i + 2027 = -v. Is i composite?
True
Suppose 7*m - 3*m - 44 = 0. Suppose -1004 = 7*z - m*z. Is z a composite number?
False
Let o = 14290 + -6727. Is o a composite number?
True
Suppose 3*y = t - 2*t - 2, t - 5*y - 38 = 0. Suppose 9*k = t*k - 2364. Is k prime?
False
Suppose -3*o - o = -4*l + 7960, 2*o + 7950 = 4*l. Is l a prime number?
False
Suppose 5218 = 2*i + 3*v - 0*v, 4*v = 5*i - 13045. Is i a composite number?
False
Is (-3122)/35*110/(-4) a composite number?
True
Suppose 38225