ite number?
True
Let c(q) = 3*q - 15. Let f be c(6). Suppose -3*r - 307 = -f*k + r, -k = -r - 101. Is k a composite number?
False
Let g = -143 + 86. Is ((-1410)/90)/(1/g) a composite number?
True
Suppose 2*i = 3*k + 16785, 78*i - 82*i = k - 33563. Is i a prime number?
False
Suppose -x = -0*x - 3*u - 2, 0 = -x - 5*u - 14. Let n(y) = -26*y**3 + 2*y**2 - y - 13. Is n(x) a composite number?
True
Let z(m) = -6*m**3 - 2*m**2 + 4*m**3 - 3*m + 2*m**2 + 2. Let t = 1 + -4. Is z(t) a composite number?
True
Suppose -1 + 26 = 5*c. Suppose 610 = -c*o + 8325. Is o a prime number?
True
Let d(r) = -2*r**2 - 16*r - 10. Let s be d(-7). Suppose 2*f = 2*k + 129 - 1369, 2*f - 2498 = -s*k. Is k prime?
False
Suppose 47512 + 12194 = 18*o. Is o prime?
False
Suppose 11*s = 2*s + 64359. Is s composite?
False
Suppose -12 + 24 = 4*c. Suppose 5*p + 32 = c*y - 7, 3*p = -y + 13. Is y a prime number?
True
Let s(z) = 10*z + z**2 + 16 - 1 + z + 0*z. Let f be s(-10). Suppose a = 2*i + 5*a - 794, -5*i - f*a = -1985. Is i prime?
True
Let r(w) = -177*w - 11. Suppose -y - 3*y = 40. Is r(y) prime?
True
Suppose 0*o - 28 = 4*o. Let i(b) = -b**3 - b**2 + 11*b + 4. Is i(o) prime?
False
Let x(d) = -d**3 - 16*d**2 - 19*d - 37. Is x(-18) composite?
False
Suppose 5*n + 4*r = 1428, -n + 0*n = r - 286. Let f(b) = 17*b**2 - b - 3. Let i be f(-6). Let v = i - n. Is v composite?
False
Suppose 0*a - 3*a - 5*l - 20 = 0, -2*l - 22 = 4*a. Suppose 0 = 12*z - 10*z + 6. Is (-11)/((z/a)/(-3)) prime?
False
Let j be (-222)/(-4)*(2 - 0/(-2)). Suppose -288 = -3*z + j. Is z composite?
True
Let x = -18 + 18. Suppose x = 5*a - 3039 + 1054. Is a prime?
True
Is 2/3 - (-270479)/33 a composite number?
True
Let p(x) = x**3 + 5*x**2 - 15*x + 3. Let z be p(-7). Suppose t - 7139 = -z*t. Is t a composite number?
True
Let m(c) = -923*c - 4. Suppose 28*j = 30*j + 2. Is m(j) prime?
True
Let y(l) = 14*l - 7. Let b be y(4). Let a be (-28)/b*14/(-4). Is a/2 - (-374 + -4) prime?
True
Is (-877)/(301/77 - (-1 - -5)) composite?
True
Suppose -2*n - 890 = -2*h, -2*h - 49 + 929 = 3*n. Is h prime?
True
Let i(c) = -c**2 + 4*c - 4. Let w be i(2). Suppose -4*h - k + 1925 = w, -3*k = -h + 4*h - 1446. Is h prime?
False
Let q(r) be the first derivative of 5*r**2/2 - 8*r - 78. Let a be (-96)/(-7) + (-2)/(-7). Is q(a) prime?
False
Let c be (7/(-2))/((-4)/872). Suppose 5*f + 29 - 4 = 5*l, -2*l + 14 = -4*f. Suppose t - 4 = -l*t, -t - c = -4*z. Is z a composite number?
False
Let o(g) = -g**3 - 14*g**2 + 14*g + 3. Let v = -14 + -2. Is o(v) a composite number?
True
Suppose 0 = -5*r - 5*b + 164430, -2*r - b = -101205 + 35434. Is r prime?
False
Let g(w) = -w**3 + 4*w**2 + 7*w - 4. Let r be g(5). Let h(n) = 5*n**2 - 4 + 5 - 4*n + 3*n**2 + n**2. Is h(r) prime?
False
Let z = -5 - -7. Suppose z*g + 3*s = 419, -3*g + 611 = -0*s + s. Is g a composite number?
True
Is (581469/(-6))/(-1)*148/518 a composite number?
False
Let y be (-2236)/(-12)*3*3. Suppose 538 + y = 5*d. Is d a prime number?
True
Let y be ((-40)/(-15))/(1/3051*3). Let c = y - 1547. Is c composite?
True
Suppose -36*u + 222470 + 233038 = 0. Is u a prime number?
True
Suppose 0 = -7*h - 3537 + 85864. Is h a prime number?
False
Let h be ((-16)/(-6))/((-4)/(-6)). Suppose 2*s + 80 = 3*n - 7*n, 0 = 5*s + h*n + 212. Is 5355/11 - 8/s prime?
True
Suppose 0 = -3*g - 5 + 50. Let p(n) = n**3 - 15*n**2 + 16*n + 29. Is p(g) prime?
True
Let r(q) = -174*q - 2. Let v be r(3). Let x = 239 + v. Let s = x - -620. Is s prime?
False
Suppose -g + p + 212 + 11 = 0, 4*p - 12 = 0. Suppose 0 = 3*u + 2*v - 475, -2*v - 145 = -u - 0*v. Suppose 7*c + u = 3*i + 2*c, -4*i - 3*c = -g. Is i prime?
False
Let d(l) = -14*l + 9. Let p(k) = -k**3 + 6*k**2 - 4*k - 5. Let i be p(5). Let t = -6 - i. Is d(t) a composite number?
True
Suppose -95*q - 87268 = -99*q. Is q prime?
True
Suppose 1406 = p + 104. Let u be 4/((-7)/(p/(-4))). Suppose 0 = -5*k + u + 1049. Is k composite?
True
Let o(z) = 2*z**3 - 6*z**2 + 8*z - 22. Is o(5) a prime number?
False
Let k(s) = 165*s - 7. Is k(12) a composite number?
False
Let v(f) = -23*f + 32. Let m(r) = r**2 - r. Let o(y) = -m(y) + v(y). Is o(-21) a composite number?
False
Suppose 1870 + 15028 = 14*i. Is i composite?
True
Is 2/(2 + -1) - (-25249 + 56) composite?
True
Is 21/(-35) + 19388*(-4)/(-20) a prime number?
True
Suppose 4041 = 3*u - 0*u. Is ((-6)/9 + 1)*u prime?
True
Let x(h) = h - 3. Let s be x(1). Let v(z) be the first derivative of -29*z**2/2 - 3*z - 5. Is v(s) a prime number?
False
Let w(f) = -13*f**3 - 3*f**2 + 6*f - 2. Is w(-4) a prime number?
False
Let d(g) = -40*g**3 + 0*g + 18 - 4*g + g**2 - 15. Let q be d(2). Let x = q - -466. Is x a composite number?
True
Suppose o - 1902 = 3*w, -4*o - 3*w + 3795 = -2*o. Suppose 0 = 2*k + k - o. Suppose 5*l - 147 = -z + 3*l, -4*z + l = -k. Is z a prime number?
True
Let n(t) = -t**3 - 8*t**2 + 23*t + 57. Is n(-17) composite?
False
Let w(l) = -l + 14. Let a be w(13). Let h be (-3)/(a/3 - 0). Let b = h + 16. Is b a composite number?
False
Suppose 0 = 4*a - 9 - 11. Suppose 0 = -a*d - 3 + 188. Is d a composite number?
False
Let a = -324 - -595. Suppose -4*x - 5*n + 2227 = 0, 3*n + a = x - 273. Is x prime?
False
Suppose 0 = 2*b, -m + 1226 = 3*b + 373. Let x = m + -518. Is x composite?
True
Suppose 3*n = o + 21248, -n = -2*o + o - 7086. Is n a composite number?
True
Suppose -4*g = -3*g - 23. Let j = -13 + g. Is (-6)/j - 3324/(-15) composite?
True
Let t = 135 + 86. Let p = 498 + t. Is p a prime number?
True
Suppose 5*t = -0*l + 4*l + 20, 5*t - 20 = -2*l. Suppose -t*r + 1264 = -0*y + 4*y, 4*r - 1270 = -2*y. Is r a composite number?
True
Suppose 11 = -3*l + 26. Suppose -6*t + l*h = -2*t - 1003, -2*t + h = -509. Let g = -6 + t. Is g composite?
False
Suppose f - 5 = -2*v + 6, 0 = v - 2*f - 8. Let b be 15/45 - (-16)/v. Suppose 5*t + 4*r = 1093, -b*r - 2*r = 3*t - 661. Is t a prime number?
False
Let v(b) = 196*b**3 - b**2 + 3*b - 1. Let y be v(1). Suppose -2*q - 2*q - y = -r, -641 = -3*r + 2*q. Is r composite?
True
Suppose 4*m - 4 = 8. Suppose 0 = -m*o + 1384 + 596. Suppose 3*g - 1113 = o. Is g a prime number?
False
Suppose -175*a + 1196018 = -141*a. Is a a prime number?
False
Suppose -218934 = -29*r + 194519. Is r a prime number?
False
Let v = 47373 + -28154. Is v prime?
True
Suppose -5*d = 3*v - 1021682, 25169 = 3*d - 2*v - 587844. Is d a prime number?
False
Let j be (1 + -846 - -1)*-1. Suppose -8*v + j = -4*v. Is v a composite number?
False
Suppose 0 = d - 9*d + 944. Suppose -2*m + d = -76. Is m composite?
False
Let t = 219 - 139. Suppose 0 = 5*d + 5*i - 185, d - t = -d + 4*i. Is d a prime number?
False
Let m = -180 + 107. Let v = m - -116. Is v a prime number?
True
Suppose -13197 = -4*m + v, -3*v - 10536 = -5*m + 5962. Is m a prime number?
True
Let p(h) = -2963*h**3 + 2*h**2 - 2. Is p(-1) composite?
False
Let s(q) = 147*q - 72. Let b be s(12). Let r = -853 + b. Is r prime?
True
Let c be 4/14 - 540/(-70). Suppose 0 = 4*w - c. Suppose w*r - 70 - 1228 = 0. Is r a prime number?
False
Let z = -2 + 1. Let j(h) = -67*h + 2. Is j(z) a prime number?
False
Let r = -220 - -369. Suppose k = 5*k + m + 3, -4*m = 2*k + 12. Suppose -s + r + 152 = k. Is s a prime number?
False
Suppose 2*w - 20 = 5*m, 4*m + 10 + 6 = -w. Let g(h) = 12*h**3 + 2*h**2 + 6*h + 6. Let q be g(5). Suppose w = -4*b - 2*z + q, b - 4*b + 1193 = -2*z. Is b prime?
True
Let d = -36 + 1370. Is (-3)/(-5) + d/10 prime?
False
Let q = 12 + -8. Suppose q*y - 10 = -y. Is y/(-3) + (-946)/(-6) a composite number?
False
Suppose -6*u + 2 = -5*u. Let y(i) = -20 - 11*i**2 + u*i + i**3 + 0*i + 7*i + 3. Is y(12) a composite number?
True
Let v(d) be the second derivative of 3*d**5/20 + d**4/12 - d**3/3 - 9*d**2/2 - 10*d. Is v(4) a composite number?
False
Let p(c) = -c**2 - 9*c. Let j be p(-6). Suppose -j = 4*a - a. Is (-292)/a - 12/(-36) composite?
True
Suppose -6189 = 7*p - 88390. Is p a composite number?
False
Let n(b) = 12*b + 16. Let i(f) = -f - 1. Let c(w) = -10*i(w) - n(w). Let a be c(-5). Suppose 0 = -a*y - 3*j + 1708, -1349 = -5*y + 4*j + 786. Is y composite?
True
Let r be 1/(-2) - 27/(-6). Suppose r = -q - 3. Is q + 102 + -2 + 0 composite?
True
Let f = 40156 - -5827. Is f prime?
False
Suppose -25602 = -10*a - 3412. Is a prime?
False
Suppose -3*f = -g - 8*f + 1100, -2*f = 3*g - 3339. Let x be (-1)/(-2)*6*2. Suppos