78/(-10) prime?
True
Let n(d) = 23*d - 305. Let z be n(13). Let p(x) = -58*x**3 - 4*x - 19. Is p(z) a prime number?
False
Suppose 4*j - 13 + 6 = -k, -j - 3 = 5*k. Let u = 13651 - 7896. Suppose -5*a + 5755 = -d, -j*a = 3*a + 4*d - u. Is a a composite number?
False
Let b(y) = 15*y**3 + 8*y**2 - 21*y - 6. Let v be b(5). Is (7/7)/2*v prime?
False
Let a(g) = 212*g**2 + 17*g - 51. Is a(4) a composite number?
True
Let z(r) = -123*r - 494. Is z(-11) a composite number?
False
Suppose 0 = 5*d + 4*h - 24879, 5*d - 12*h + 17*h - 24875 = 0. Is d a composite number?
True
Suppose 2*v = 3*v. Suppose v = 6*w - 8*w + 2990. Suppose 0 = 3*x + 2*x - w. Is x a composite number?
True
Let k = 44 - 41. Suppose -k*c = -0*c, 4*g = 2*c + 7388. Is g a prime number?
True
Suppose 43*b + 53*b + 102917 = 938597. Is b composite?
True
Let i(g) = 6*g**3 - 32*g**2 - 55*g + 1988. Is i(25) a prime number?
True
Let d = -1739 - -1743. Let j = -9 - -21. Is ((-25582)/j - d/6)*-2 a composite number?
True
Suppose -6*j - 4777 = 1319. Let q be (8 - 7)*1*-1 - 3. Is ((-15)/(-6))/(q/j) a composite number?
True
Suppose 82015 = z + 4*a, -140*a = -4*z - 144*a + 328024. Is z a composite number?
False
Suppose 770*x = 731*x + 3673839. Is x composite?
False
Let p(f) = 22*f**2 - 15*f + 19. Let w = -182 - -164. Is p(w) composite?
False
Suppose -25*l - 345 = -30*l. Suppose n = -i - l, 0 = i - n + 3*n + 68. Let s = -27 - i. Is s a composite number?
False
Let s = -57 + 98. Suppose 33*m - s*m = -33608. Is m a composite number?
False
Let o(a) = -3*a - a**3 + 12 - 5*a + 15*a**2 - 7*a. Let c be o(11). Suppose 0 = 3*r - c - 6632. Is r composite?
True
Suppose -2*g - 137 = -149. Is (2 + 69)/((-8)/(-2 - g)) composite?
False
Suppose -7267543 - 5267599 - 6833235 = -49*s. Is s prime?
True
Let c(s) = -s**2 - 2. Let u be c(-1). Is (-18684)/u + 5*(-1 + 2) a composite number?
True
Let o(d) be the second derivative of 97*d**3/3 + 12*d**2 + 13*d. Let a be o(-11). Let f = a - -4095. Is f composite?
True
Let k = -71 + 62. Let w = 11 + k. Suppose 14707 = 3*z - 4*t, -w*z + 19646 = 2*z + 2*t. Is z prime?
True
Suppose -44 = 4*a + 16. Let r = a + 20. Suppose -5*x - 322 = -2*l, -221 = -r*l - 2*x + 584. Is l a composite number?
True
Let c(t) = -t**2 + 5*t + 5. Let j be c(5). Let g(k) = 2*k + 5. Let l be g(21). Suppose p - h = 38 + l, -j*h - 251 = -3*p. Is p prime?
False
Suppose 0 = -18*s + 20*s - 6. Let g(u) = 30*u**2 + 5*u - 7. Let c(v) = -15*v**2 - 3*v + 3. Let p(l) = -5*c(l) - 2*g(l). Is p(s) a composite number?
False
Suppose -5*t - 4*b + 4254956 = 0, -2*b = t - 460153 - 390837. Is ((t/30)/(-8))/((-1)/5) a prime number?
True
Let w = 74944 + -52605. Is w a composite number?
True
Let t(h) = -1104*h - 445. Is t(-76) composite?
False
Suppose -891 = -7*d + 4*d. Suppose 0 = -9*i + 10*i - 628. Let u = i - d. Is u a composite number?
False
Let f(y) = 12*y**2 - 361*y - 296. Is f(50) a prime number?
False
Let r(l) be the third derivative of l**5/60 - 7*l**4/6 + 35*l**3/3 + 56*l**2. Is r(31) a composite number?
False
Let c(x) = -19*x**2 - 10*x + 22. Let q(g) = 20*g**2 + 11*g - 23. Let n(h) = -3*c(h) - 2*q(h). Let y = 168 - 161. Is n(y) prime?
False
Let b = 28 - 27. Let j be (-1 - -1)/(-3 + b). Suppose 3*i - 8*i + 2915 = j. Is i prime?
False
Suppose 106819 + 385468 = 41*s. Is s prime?
True
Let c(l) = 452*l - 39. Suppose -17*g + 8*g = -144. Is c(g) a prime number?
True
Suppose o + 3*x - 934 = 0, 0 = -o - 3*x + 2*x + 930. Suppose -2*z + 15 = z. Suppose 537 = z*w - o. Is w prime?
True
Let s(c) = 94*c - 25. Let t(a) = -93*a + 26. Let j(x) = 5*s(x) + 4*t(x). Suppose -r + 5*o - 8 = o, r + 2 = 2*o. Is j(r) prime?
False
Is (-11239104)/(-16)*10/40 composite?
True
Let f = 27 + -25. Suppose 26368 - 77414 = -f*z. Is z prime?
True
Let l(h) = 13*h**3 - 20*h**2 + 231*h + 79. Is l(21) a composite number?
True
Let m = 6003 - 2755. Let d = 4609 - m. Is d composite?
False
Let j = 307168 - 128775. Is j a composite number?
False
Let g = -415407 + 764648. Is g a composite number?
False
Let a be (2 + (-2749)/(-2))*2. Suppose -24*m + 26*m - 22 = 3*u, 2*u = 3*m - 23. Suppose 3*h - 665 = 3*w - a, m*w + 4*h = 3525. Is w prime?
True
Let b(d) = -187*d**3 - 10*d**2 - 8*d + 8. Let h be b(-4). Suppose 6*j - 11954 = h. Is j prime?
True
Suppose 91*i + 30 = 106*i. Suppose i*r + 2*w = 29790, 6*r - 3*r - 5*w = 44669. Is r composite?
True
Suppose 755*i - 672*i = 26191397. Is i a composite number?
False
Is (-4 - -10) + ((-1236442)/2)/(57/(-57)) a prime number?
True
Suppose 4*o - 2955 = 21309. Let u = o + -1349. Is u prime?
False
Suppose -2*x = -257 - 579. Let n be 2/(-8) + (-54)/8. Is (n/21 - x/(-12))*2 prime?
False
Is (62 + -28 - -141965) + (1/1 - -7) prime?
True
Let q = 25 + -24. Suppose -y = -0*y - n + 1, q = 3*y - 5*n. Let g(b) = -276*b - 7. Is g(y) a composite number?
False
Let x(t) = 2*t**3 - 11*t**2 - 11*t + 18. Let h be x(6). Is 29460/(-15)*3/h composite?
False
Suppose 34*m - 1981787 - 5635607 = 0. Is m a prime number?
True
Suppose -6*k - 8 = -8. Suppose -2*y + 4*d + 24540 = k, y + 2*d - 1169 = 11085. Is y a prime number?
False
Suppose -9 = -0*h + 3*h. Is (53/(-2) - h)*-82 prime?
False
Let v(s) = -192243*s**3 + 8*s**2 + 9*s + 1. Is v(-1) a composite number?
True
Suppose 957*z - 968*z + 404503 = 0. Is z a prime number?
False
Let g = 148 + -147. Let f(r) = 12095*r**3 - 3*r + 2. Is f(g) a prime number?
False
Suppose -2114035 = -56*i + 224469. Is i composite?
False
Let k(s) = -11*s**3 + 4 - 30 + 3*s**3 + 12*s + 7*s**3 - 13*s**2. Let c be k(-14). Suppose -4*g + r = -10517 + 1180, c*g + 5*r = 4641. Is g prime?
True
Let d = 81465 + -45172. Is d composite?
False
Let z(l) = -262*l - 66. Let k(r) = r**3 + 2*r**2 - 21*r - 10. Let i be k(-6). Let a be z(i). Suppose -a = -6*w - 1336. Is w a prime number?
False
Suppose 46 - 68 = -11*n. Suppose 3*b = x - 89264, n*b = -3*x + 7*x - 357046. Is x a composite number?
False
Let j be (-2954)/9 - 2/(-9). Let o be -3 + (-4 + 54/12)*-382. Let v = o - j. Is v prime?
False
Is ((-1779312)/(-40) - (-4)/20)*1 prime?
True
Let i(q) = -8*q**3 + q**2 - 22*q - 13. Let n(w) = -4*w**3 + w**2 - 11*w - 7. Let u(s) = 6*i(s) - 13*n(s). Is u(6) a prime number?
True
Let o(u) = 77*u + 200. Let s be o(-8). Let f = s - -2199. Is f prime?
True
Suppose -11*y + 47*y - 486758 = 173086. Is y a prime number?
True
Let g(c) = 30*c - 7. Let n be g(3). Suppose -473 = -2*i - n. Let z = 550 + i. Is z prime?
False
Suppose -11*t = -60*t + 43414. Is t a prime number?
False
Suppose -2*d - 5*r = -r, 3*d = -3*r. Suppose 7*g - 3*g = d, 2*g + 50 = 5*t. Suppose 29225 = t*y + 11215. Is y prime?
True
Suppose -2*l - 2*h - 3*h + 6291 = 0, 15675 = 5*l + 2*h. Let r = l - -800. Suppose s + 5*f = 2*s - 797, f = -5*s + r. Is s a composite number?
False
Let y be 1*-778*3/(-1). Let x(o) = -o**2 + 76*o - 478. Let t be x(7). Suppose -4*z = t*d + 263 - y, -412 = -d - 3*z. Is d a prime number?
False
Suppose -2*f - 4148496 = 2*s + s, s + 3*f + 1382832 = 0. Is s/(-77) + (-2)/(-14) prime?
True
Suppose -63 + 65 = f. Let a be (-2)/((-32)/(-20) - f). Suppose -2*u = a*j - 629, j = 3*u - u + 133. Is j a prime number?
True
Suppose -33*k + 5*j = -34*k + 182777, -4*j = -3*k + 548407. Is k composite?
True
Suppose 10*m = 11*m + 5*f - 55, m - 2*f - 27 = 0. Is (m + -36)*(-2)/((-2)/(-5209)) a prime number?
True
Let z = -17751 - -48064. Is z a prime number?
True
Suppose -60 + 0 = -6*k. Suppose k*y = 16380 + 9430. Is y a prime number?
False
Let y = 19 + -11. Let p(r) = -33 + 0 + 34*r + 56. Is p(y) a prime number?
False
Suppose -5*q + 5316 = -2*n, -5*n - 3*q + 6*q - 13252 = 0. Let o be (-1)/2*-18132*16/(-96). Let y = o - n. Is y a composite number?
True
Let x be ((-9798)/5)/(7/(350/(-20))). Suppose 0 = 2*f + c - x, c + 7350 = 3*f + 4*c. Is f a composite number?
True
Suppose -20*s = 11*s - 670741 - 96850. Is s a prime number?
False
Is 2949/((-10)/(450/(-27))) composite?
True
Let p(t) = -75*t + 8. Let i = -39 - -41. Suppose i*u + 3*g - 1 = 0, 0*u = 2*u + g + 9. Is p(u) a prime number?
False
Suppose -4*k + r = -82891, 7*k + 2*r = 5*k + 41438. Suppose -8*d + 18102 = -k. Is d a prime number?
False
Let b(q) = -26*q**3 - 4*q**2 - 7*q + 2. Let o be b(4). Let z = o + 8013. Is z a composite number?
True
Let a(n) = -n**3 - 26*n**2 - 48*n - 6. Let g be a(-24). Is (-2445)/g*((-10)/(-2) + -3) a composite number?
True
Let j(x) 