s j a prime number?
True
Suppose 117*z + 8578 = 119*z. Is z a composite number?
False
Let l = -24 - -27. Suppose a + l*a = 3676. Is a a composite number?
False
Suppose f - 5*a + 6*a - 1499 = 0, 0 = 5*f + 3*a - 7493. Let m = -851 + f. Is m a prime number?
True
Suppose 0 = q + 15 - 23. Suppose 0 = -q*t + 26136 - 5584. Is t composite?
True
Let k(w) = 286*w**3 + 8*w + 7. Let y be k(3). Suppose 4*m - 10243 = y. Is m a composite number?
True
Is ((-280)/56)/(1/(-293)) a prime number?
False
Suppose -201994 = -3*z - 39271. Is z a prime number?
False
Let k = -40 - -45. Suppose -k*y + 1792 = -3013. Is y composite?
True
Suppose 3*h - 44881 = 4*a - 6*a, -2*h = -5*a + 112155. Is a composite?
False
Let m(j) = -4616*j + 5. Let w be (1/(-4))/(39/12 - 3). Is m(w) a prime number?
True
Suppose 90720 + 46790 = 10*s. Is s composite?
False
Suppose 2*s + 2*s = 20, -i + 3353 = -s. Let l = -975 + i. Suppose l - 198 = 5*c. Is c a prime number?
False
Suppose 0 = 2*v + 3*v - 25. Suppose m - 2*t - 1157 = -4*t, -3*t = v*m - 5785. Is m a composite number?
True
Suppose 6 = -3*a, 1670 + 1609 = 3*p - 3*a. Is p a composite number?
False
Is (3/(-6))/(2/(-2962))*2 prime?
True
Suppose -2*j + 720 = -2*w + 2*j, 2*j - 1792 = 5*w. Let s = w - -625. Is s a composite number?
True
Suppose b + 2 = -1. Is 319*((-6)/b)/2 a prime number?
False
Suppose -7*i + 15*i = 7704. Let v = -376 + i. Is v composite?
False
Let p(j) = 2*j + 41. Let i be p(-18). Suppose -5*q + 655 = i*g, -4*g + 5*q = -0*g - 524. Is g a prime number?
True
Let d(m) = 1018*m**2 + 3*m - 5. Is d(2) a composite number?
False
Let o be ((-2436)/(-49))/(4/14). Let d = o - 55. Is d composite?
True
Let l(o) = -47*o + 112. Let u(k) = -16*k + 37. Let z(r) = -2*l(r) + 7*u(r). Is z(-8) a prime number?
True
Suppose -8*c + 1262 = -3066. Is c a composite number?
False
Let a = 16 + 11. Suppose -29*u + 862 = -a*u. Is u composite?
False
Let i(g) = 2680*g - 651. Is i(26) prime?
True
Suppose m - 7 = -3. Let a(z) = 17*z**3 + 5*z**2 + 1. Is a(m) a prime number?
False
Is 2941 + ((-20)/15)/(4/6) a prime number?
True
Is -26305*(45/25)/(-9) a prime number?
True
Suppose 5*v + 2*t - 2475 = -3*t, -1014 = -2*v + 4*t. Is v a composite number?
False
Let w(m) = 335*m**2 - 12*m - 31. Is w(6) a composite number?
True
Let k = 0 + 6. Suppose -k - 2 = -j + 3*t, -3*j + 5*t + 16 = 0. Is (j + 0)*57/6 composite?
False
Suppose 4*i + 5*i = 9. Is 8/14 + (i - 2642/(-7)) a prime number?
True
Let b(x) = -6770*x**3 - 3*x**2 - 9*x - 11. Is b(-2) prime?
False
Suppose -5 = 5*s - 0. Let t be -1 + 3 + 10/s. Is 9 + t + 1 + 89 composite?
True
Suppose 4*r - 5*v = -3 + 2, v = -3. Let p = 8 + r. Suppose 3*k + 224 = 2*g, -350 = -p*g - 3*k + 62. Is g a prime number?
False
Suppose 4*s + 895 = -3*j, -2*j - 462 - 209 = 3*s. Is -1*s/(4 + -3) prime?
True
Let n(b) be the third derivative of 0*b**4 + 0*b + 47/30*b**5 + 13*b**2 + 0 + 1/6*b**3. Is n(-1) a composite number?
True
Let i(k) = -3739*k - 313. Is i(-6) a prime number?
False
Suppose 5*b - 10 = -0*b. Let u be b + 0 + 5/5. Suppose u*s + 2589 = 6*s. Is s composite?
False
Let g(z) = 5*z**3. Let h be g(1). Suppose -h = -7*a + 9. Suppose -3*c - 4*i + 112 = -165, 2*c - 186 = -a*i. Is c composite?
True
Let j(o) = -o - 3. Let u be j(-5). Let z be (-2 - -2)/((-4)/4). Suppose u*r + 17 - 7 = z, -i = 2*r - 79. Is i a prime number?
True
Let f(j) = -2515*j + 26. Is f(-21) composite?
True
Suppose 13*j + c + 11048 = 16*j, -3*j = 3*c - 11052. Is j a prime number?
False
Suppose 3*m + 3*f - 989 - 1138 = 0, 5*m = 5*f + 3585. Suppose 0 = -o + m - 132. Is o a prime number?
False
Suppose -16*g + 69399 + 1132729 = 0. Is g composite?
False
Let j = -417 - -608. Let q = j - -102. Is q a prime number?
True
Suppose -4*b + 3*k = 5*k - 6, 0 = -2*b - 2*k. Let r be ((-348)/(-16))/(b/8). Let j = -27 + r. Is j prime?
True
Let f = 53 - -174. Let a = 336 - f. Is a composite?
False
Suppose -105 = -3*g + 5*h + 74, 5*g - 325 = -5*h. Is (-4779)/(-7) - (-18)/g prime?
True
Let x be 2*(-34 - 0)/(-2). Suppose x = 4*b + 2. Suppose 3*u - b*u = -275. Is u prime?
False
Suppose -31546 - 100139 = -15*m. Is m composite?
False
Suppose 4*h = 2*n - 8, -2*n - 4*h + 8 + 0 = 0. Let d be 14/n*(-4)/(-7). Suppose -d*t - 83 = -3*t. Is t a composite number?
False
Suppose 23*r = 32*r - 5769. Is r a prime number?
True
Suppose 3*f + 476 = -a + 17293, 2*a = -5*f + 28029. Suppose 2*t = -3*h + f, 3*t - 5*t + 2*h = -5620. Is t prime?
False
Suppose 8748 = 9*q - 28071. Is q a composite number?
False
Let h = -475 - -810. Suppose 13*m = 8*m + h. Is m prime?
True
Let x be (1 - -7 - 2)/((-6)/60). Is (-4)/(x/(-9)) + (-22536)/(-10) a prime number?
False
Suppose -7 - 3 = -5*y. Let w = 1246 - 491. Suppose 3*x = 2*u - 313, 3*u - w = -2*u + y*x. Is u a composite number?
False
Let o = 48467 + -34324. Is o a composite number?
False
Let x = 277 + 741. Suppose 0 = r + r - x. Is r a composite number?
False
Let k be 5/(-15) - 2/(-6). Suppose k = -0*n - n - 144. Let c = 17 - n. Is c composite?
True
Let n be (-16)/(-3 + -1 - -2). Suppose 4*q - n = 2*q. Is (-8)/(-16) + 2226/q composite?
False
Suppose -20 = -4*n - 4. Suppose n*f - 1268 = 5*v, 2*f + 4*v - 634 = -0*v. Is f prime?
True
Is 2*(-2 - 7667)*3/(-6) prime?
True
Suppose -k + 5 = 0, 4*o - 283534 = 5*k - 7*k. Is o a prime number?
False
Let b(v) = 815*v - 124. Is b(13) a composite number?
True
Let l be 0 - (2 - 1 - 6). Suppose -9 - 1776 = -l*t. Suppose -5*c + 2*c = -t. Is c composite?
True
Let h be (-4)/4 + -1 + 205. Let a = -112 + h. Is a composite?
True
Suppose 3*b = 5*u - 541, -4*u - 4*b + 562 = u. Is 20/u - 3054/(-22) prime?
True
Let m be (-1)/1 + 560 + 6. Let k = 66 + m. Is k a composite number?
False
Suppose 3*g - 2*y = 5451, 2*g = -y - 0*y + 3641. Is g a composite number?
True
Let m(f) be the third derivative of f**6/120 - f**5/6 - 11*f**4/24 + f**3/2 + f**2. Let h be m(11). Suppose 72 = h*w - 21. Is w prime?
True
Let m = -30 - -18. Let c(z) = -z**3 - z**2 - z. Let y(k) = -k**3 + 9*k**2 - 18*k - 11. Let p(h) = -2*c(h) + y(h). Is p(m) composite?
False
Let o be (-1 - -2) + (-6 + 2)/(-2). Let x be (-1)/(-4) - 66/(-24). Suppose 8*w - o*w = t - 361, x*t = -2*w + 1151. Is t composite?
True
Suppose -5*p + 0*z + 27 = 4*z, -z = -3. Suppose 4*r - 5*b = p*r + 17, -b = 4*r - 5. Suppose -q + 5463 = r*j, 5*j - 7677 - 5963 = q. Is j a prime number?
True
Suppose -186 = -8*a + 5*a. Suppose 2*m - 2*l + a = 3*m, m - 56 = l. Is m composite?
True
Is (-2302)/(((-18)/12)/((-6)/(-8))) a composite number?
False
Is 10/(-20) + 46927/2 - 4 prime?
True
Suppose -2*x + 3*x + 44768 = 3*v, -3*x = -2*v + 29843. Is v composite?
False
Is -3 + (7216 - (-1 - -1)) - -4 a composite number?
True
Let z(n) = n**3 - 8*n**2 + n - 5. Let f be z(8). Suppose 12 = -f*g + 7*g. Let h(t) = -t**3 + 7*t**2 - 2. Is h(g) a prime number?
False
Suppose 0 = 17*d - 8856 - 2993. Is d composite?
True
Suppose -10*a - 6*a = -48. Is -116*a*(-785)/60 composite?
True
Let h(p) = p**3 + 3*p**2. Let j = -23 - -20. Let i be h(j). Suppose i = -4*y + 780 - 272. Is y a prime number?
True
Let s(b) = -b**2 - 4*b + 84. Let q be s(31). Suppose f = 5, 2*m + 1562 = m + 4*f. Let u = q - m. Is u prime?
True
Suppose 6*r = 16 + 8. Suppose -r*l = -6*l + 530. Is l prime?
False
Let v(h) be the second derivative of h**5/20 + h**4/4 - h**2 - 2*h. Let z be v(-2). Suppose 82 = q - 3*f, 4*f = -z*q + 4*q - 154. Is q composite?
False
Let s(c) = -5 + 1668*c + 1 - 459*c + 708*c. Is s(3) composite?
True
Let i = -461 + 1092. Is i prime?
True
Let o(p) = 27*p**3 + p**2 + 3*p - 8. Let d = 93 - 88. Is o(d) prime?
True
Let m(t) = t**2 + 7*t - 3. Let n be m(-8). Suppose 4*l - l + 105 = n*q, 3*l = 0. Is (6 + 2)/(-4) + q a composite number?
False
Suppose 0 = -3*h + 3, 3*h = 4*p - 6437 - 588. Is p a composite number?
True
Suppose -7342 - 6466 = -4*j - 4*p, j = -4*p + 3461. Is j composite?
False
Suppose -3649 - 1263 = -2*w + 2*v, 0 = 2*w + 5*v - 4891. Is w a prime number?
False
Suppose 0 = -2*n + 7911 + 1303. Let j = -3216 + n. Is j a prime number?
False
Suppose -3 = -3*z - i + 7, 4*z - 4*i - 24 = 0. Suppose -y - 6*g + 1035 = -z*g, -3145 = -3*y + 4*g. Is y composite?
True
Suppose k - 63387 + 13996 = 0. Is k a prime number?
True
Suppose -5*q + 5212 = 4*s - 3654, -3*s - 5325 = -3*q. Is q a composite number?
True
Let k(s) = s**2 - 6*s - 13. Let x be k(10). Suppose -3*c + 