True
Let a(z) be the third derivative of -127*z**4/12 - 28*z**3/3 - 17*z**2. Let r be a(-26). Suppose -9*v = -13*v + r. Is v a prime number?
True
Let z be 2337/95 + (-2)/(-5). Suppose z*f - 294751 = -109926. Is f composite?
False
Let x be 0/(10/4 - 5/10). Is (-1)/3 + (-6654)/(-9) + x prime?
True
Suppose 185 = 3*b + 4*c - 3108, -1123 = -b + 5*c. Let o = 51 - 27. Is o/16 + b/2 composite?
True
Let j = 141152 - -6837. Is j a prime number?
False
Suppose 0 = -12*z - 8*z. Suppose 2*y - 1830 = -2*p + 3*y, z = -p - 4*y + 933. Is p prime?
False
Is ((-768340)/8 - (10 - 8))*-2 - -2 a prime number?
True
Let v(c) = 36*c**3 + 21*c**2 - 72*c + 31. Is v(16) a composite number?
True
Let b(z) = 27*z - 141. Let w be b(6). Let y = -15 + 21. Is -838*(3 - w/y) prime?
True
Let v(i) = 6*i**2 + 4*i + 11. Suppose -2*s - p + 50 = -3*p, 129 = 5*s - p. Suppose -9 = -7*c + s. Is v(c) a prime number?
True
Let a(x) be the first derivative of -222*x**2 + 83*x - 69. Is a(-8) a prime number?
False
Let x(m) = m**3 - 23*m**2 - 22*m - 18. Let d be x(24). Let v be 7/2 - d/20. Suppose -5324 = -4*n + 3*i + 765, -v*n + 3047 = i. Is n a prime number?
True
Suppose 0 = 3*t - 3*z + 107683 - 296638, -2*z + 63009 = t. Is t prime?
False
Suppose 12*g - 4*g - 32 = 0. Suppose -m - 40 = g*m. Is 868/8 + (-4)/m a composite number?
False
Suppose -10 = 4*u + 58. Let t(n) = 15*n + 328 + 9*n**2 - 671 + 330. Is t(u) a composite number?
False
Let r = 8 - 0. Let c = 11 - r. Suppose -2*z - c*q + 1664 = 0, q = -z + 4*q + 841. Is z a composite number?
True
Let z(d) = 2*d**2 + 10*d + 12. Let s be z(-4). Let i(y) = 120*y**3 + 2*y**2 - 1. Is i(s) a prime number?
False
Suppose 0 = -2*l + 3*q + 3145126, -24*l - q = -28*l + 6290272. Is l a prime number?
True
Suppose -14*b - 276426 = 301550. Is (b/6)/(168/(-18) - -9) a composite number?
True
Let t = -3239 - -5565. Let o = -737 + t. Is o prime?
False
Suppose -20 = -5*z, 3*z - 6 = 2*o - 0*z. Let k(l) = l**3 - 2*l**2 - 3*l + 6. Let r be k(o). Is (0 + -1)/(r/(-1338)) composite?
False
Let s be 4 - (8 + -7)*3. Let p(l) = 3558*l**3 - 2*l**2 - l + 2. Is p(s) a prime number?
True
Suppose -377*g + 10058269 = -724*g + 360*g. Is g composite?
False
Let b(g) be the third derivative of g**6/60 - 13*g**5/60 + 5*g**4/12 - 5*g**3/3 - 2445*g**2. Suppose -i + 1 = 2*x - 19, -4*i + 32 = 2*x. Is b(x) composite?
True
Suppose -3*d - 3*k + 3 + 0 = 0, -2*d = 3*k - 1. Let g = 2130 + -2127. Suppose -g = h, -d*h + 8 + 75 = u. Is u a prime number?
True
Let y = -9056 + 1582. Let k = 421 - y. Is k a prime number?
False
Let q(w) = -w**2 - 10*w + 18. Let m be q(-8). Let y = m + -30. Suppose c + 577 = y*k, 50 = 5*k + 5*c - 640. Is k composite?
True
Suppose -5*a = 6*a + 16500. Let k = a - -2829. Suppose 4*z = -2*y + 770 + 556, 5*y - k = -4*z. Is z a prime number?
True
Let p = -4 - -8. Let f = -20932 + 33462. Suppose g + p*g = 5*v - f, 5*v + g = 12512. Is v composite?
False
Let s = 460399 - 116136. Is s a prime number?
True
Let y = 172 + -170. Let w = -11 + 13. Suppose -y*a + 5*z + 323 = w*a, 320 = 4*a - 4*z. Is a a prime number?
False
Let b(g) = g**3 + 2*g**2 - 6*g - 6. Let p be b(-3). Let m be (1 - p - 3)/(-1). Suppose m*v - 9 = 101. Is v a composite number?
True
Suppose 2*b = 4*a + 602902, -21*a + 25*a - 301433 = -b. Is b prime?
False
Let p(a) = -2*a - 30. Let x be p(-23). Suppose 0*n + x = 2*n + 3*l, -10 = 5*l. Is ((-1270)/8)/(n/(-44)) prime?
False
Let j(u) be the second derivative of u**5/20 - 23*u**4/12 + 11*u**3/3 + 27*u**2/2 - 6*u. Let l be j(22). Is 5139/l + 2/9*3 composite?
False
Suppose -2*b = -11*b - 540. Let w be b/6*(-7)/5. Is 1491/w*4/6 composite?
False
Let r = -589 - -589. Is (-50 + 54)/(r - (-4)/25523) a composite number?
False
Is (1 + -5 - -5)*(-16 - -59213) prime?
True
Let t(y) = 341*y**3 - 5*y**2 - 8*y + 89. Is t(6) a prime number?
True
Let r(z) = -z**2 - 13*z + 20. Let d be r(-13). Let q(g) = d*g + 16 - 10 - 9. Is q(3) a prime number?
False
Suppose -13*z + 14630 = -14711. Let l = z - -1144. Is l a prime number?
False
Let g(m) = 3*m - 12. Let q be g(13). Suppose 5*d + 2 - q = 0. Suppose -1872 - 1487 = -2*o - 3*b, -5*o = -d*b - 8460. Is o composite?
True
Let m(y) = y**3 - 41*y**2 + 16*y - 69. Let n = 520 - 479. Is m(n) composite?
False
Let u(m) = -m**2 - 1. Let h(i) = -3*i**2 - 6. Let b(w) = -h(w) + 2*u(w). Let f be b(-2). Suppose f*r = 4*r + 1588. Is r a prime number?
True
Suppose 5*n = 3*o - 221, -143 = -2*o + 4*n - 5*n. Suppose 52*a = o*a - 53420. Is a a prime number?
True
Let l(g) = -6*g - 111. Let a be l(-19). Suppose -a*i + 3*n + 3078 = 0, 4*i - 4008 - 95 = 5*n. Is i a prime number?
False
Suppose 10 + 4 = 2*b. Let a = b + -7. Suppose 2*q - 1026 = k, 2*k = 4 - a. Is q a prime number?
False
Suppose 4*t = -3 + 15. Suppose 1740 = 3*o - t*k, -1745 = 3*o - 6*o - 2*k. Is o a composite number?
True
Let w(p) = 41*p**3 - 3*p**2 - 160*p + 25. Is w(12) a composite number?
False
Suppose -5*k = -3*m - 3315 - 14994, 24401 = -4*m + 3*k. Let y = 9115 + m. Suppose 2*f + 2*l = -l + y, -3*l + 6031 = 4*f. Is f composite?
True
Suppose 2*s + 5*m - 5 = 6*s, -20 = s - 5*m. Suppose s*d = 4*f - 228999, -64083 - 222174 = -5*f - 2*d. Is f composite?
False
Let v(r) = -353*r**2 - 4*r + 3. Let p be v(6). Let q = 18110 + p. Is q composite?
False
Let h = -70 + 71. Is (4137/(-6 - -9))/h a composite number?
True
Let u = -8 + 66. Suppose 0*c - 2*c = -3*j + u, -5*j + 2*c = -94. Suppose 7190 = -8*z + j*z. Is z composite?
False
Let c(h) = h**2 - 3*h - 2. Let t(i) = -i**3 - 9*i**2 - 8*i - 4. Let a = 88 - 96. Let f be t(a). Is c(f) composite?
True
Suppose -t + 4*w - 3 = -19, -t = 4*w + 8. Let x(c) = -2*c**3 - 2*c - 1. Let f be x(-1). Suppose t*a + f*a - 15365 = 0. Is a a prime number?
False
Let v be (129/258)/(1/490). Is 138857/7 - 5/(v/(-14)) prime?
False
Suppose -2*t + 7*t = -550. Let j = 54 + t. Let b = -31 - j. Is b a prime number?
False
Suppose w + 5 = 0, 146 = 3*d - 5*w - 1550. Suppose -5*i + 940 = 5*a, -3*a + 0*i + 4*i + d = 0. Is a a composite number?
True
Let f be (-480)/35 - -7 - 4/14. Is (9 + -8)/(f/(-107989)) composite?
False
Let a(s) = -s**2 + s + 2. Let g be a(0). Suppose j + 63 = 4*r, 16 = -2*r - 4*j + 52. Is (-4)/(r/(-12)) + g*14 composite?
False
Let s(t) = -144*t**3 + 6*t**2 - 23*t - 20. Is s(-9) composite?
False
Suppose -15*v - 57 = 78. Let a be (-3)/(-9) - 3/(v/49373). Suppose -a = -6*h - 0*h. Is h a composite number?
True
Is 18/(-42)*1 + -1*2360924/(-14) prime?
False
Let m = 6645 - 3812. Is m a composite number?
False
Let t(d) = -1517*d + 2484. Is t(-35) composite?
False
Is 5*(-12 - (-56)/40*35759) a composite number?
False
Suppose -t = -4*t + 5*s + 13, 2*t + 4*s - 38 = 0. Suppose -2*q + 9 = t. Is (-298)/q*((-1)/(-2) + 2) a composite number?
True
Let y(l) = 102*l**2 - 235*l - 10111. Is y(-42) a prime number?
True
Suppose 173*h - 99631620 + 13231702 = 40758369. Is h a prime number?
True
Suppose -5*r - 3*k = -8*k, 4*r = -4*k + 16. Suppose -r*q + 37 = 31. Suppose 4*u = -12, 6*t - q*t = 5*u + 1470. Is t composite?
True
Let x = 1287 - -1066. Let g = 114 - 72. Suppose -g = -5*o + x. Is o a prime number?
True
Suppose -4*c = 2*i + 10, -c + i = 3*c + 7. Let y be c*((-5 - -5) + (-6)/4). Suppose 0 = b + m - 524, -5*b + 1001 = -y*m - 1611. Is b composite?
False
Suppose 44*a = 2*a + 1152858. Is a composite?
False
Suppose 0 = 7*a - 776 + 139. Suppose -2*p + 71 + 8 = 5*c, 0 = 3*p + 2*c - a. Suppose 0 = -p*y + 30*y - 1797. Is y a composite number?
False
Let k be 268296/126 - (-1)/(-3). Let a = 4960 - k. Is a prime?
False
Let w be (-6740)/(-14)*(-1 - -8). Suppose 5*s - 3*q + 4*q = w, -4*s = 3*q - 2707. Is s a prime number?
True
Suppose -4021*g + 3831550 = -3971*g. Is g a prime number?
True
Suppose 5*p = 4*q + 468 - 13, -5*p = -15. Let o = q + 313. Is o prime?
False
Suppose -68313 = -4*a + 74763. Let n = a + -22880. Is n composite?
False
Let b(j) = -j**2 - 6*j + 51. Let r be b(-10). Suppose r*q + 4588 = 56277. Is q a prime number?
False
Let j be 4/(8/(-52390)) + -4. Is j/(-6) - ((-12)/8 + 1) a prime number?
False
Let p be ((-588)/(-63))/(4*1/(-6)). Is (-62480)/(-12) - p/6 a composite number?
False
Is ((114 - 111) + (-3 - -1))*74149 prime?
True
Let s(g) = -30*g - 4. Let b(f) = -f. Let q(v) = -2*b(v) + s(v). Let d be q(-4). Suppose 2*x = 86 + d. Is x a composite number?
False
Let y(s) be the first derivative of -s