 Is t a prime number?
True
Let n(k) = 107*k - 2. Suppose 3*l = -0*l - 5*y - 13, 2*l + 4*y + 12 = 0. Suppose 3*c - 1 = -2*t, -2*t = -l*c + 6 + 14. Is n(c) a composite number?
True
Let h = -300 + 308. Let s = 286 - 22. Suppose h*k + 16 = s. Is k prime?
True
Suppose 76 = 10*b - 8*b. Suppose b = 4*l + 26. Suppose 0 = 5*d + l*t - 407, 4*d + 0*d - 326 = -2*t. Is d prime?
False
Suppose 179*d + 10122905 - 279743 = 221*d. Is d a prime number?
True
Suppose -4*c + 186210 = 11*c. Let l be (-8)/(4 + -2) - c. Is (l/21)/(2/(-3)) a prime number?
True
Let u(t) = t**2 + 34*t - 284. Let h be u(7). Suppose -3*c = 3, -1035 = -a - h*c + 6355. Is a a composite number?
False
Let x = -4172 - -4723. Is x prime?
False
Let a(i) be the second derivative of i**4/12 - i**3/2 + 7*i**2/2 + 7*i. Let c be a(7). Is 35300/c + 6/14 a composite number?
False
Let f(q) = 7081*q**3 + q**2 + 12*q - 13. Is f(1) a composite number?
True
Suppose -247*m + 22197102 = 6049724. Is m a composite number?
True
Let w be 1 + -2 - (-2460)/15. Suppose 0 = -159*n + w*n - 15772. Is n composite?
False
Let s = -109 + 115. Is (-58068)/(-15) + s - (-2)/(-10) a prime number?
True
Is 2/8 - 25520060/(-80) prime?
True
Let v = -130 + 178. Let s = v + 129. Let o = 7778 - s. Is o prime?
False
Let j = 156957 + 111572. Is j composite?
False
Let y(j) = j + 0*j**2 - j**3 - 11*j**2 - 6*j**2 + 7 + 9. Let o be y(-17). Is 158 - ((3 - 3) + o) a composite number?
True
Suppose t = -4*x + 64400, 13*x = 16*x + 3*t - 48309. Is x a prime number?
False
Let r(g) = 12*g**3 + 2*g + 2. Let f be r(-1). Is ((-14764)/f)/(4 - (-44)/(-12)) composite?
False
Suppose -6 = -2*s + 4*i + 4, -2*s = -3*i - 15. Is 3/s - (-53508)/35 prime?
False
Let o = 105963 + -28906. Is o a composite number?
True
Let q be (-3)/(-1 + (-3)/6). Suppose -2 = -5*x + 8. Suppose x*w - 1268 = -q*w. Is w a composite number?
False
Let q = 428905 - 296246. Is q prime?
False
Is 173534/(13/(143/22)) a prime number?
True
Suppose 5*k + 3*b - 64 = 0, 4*k + b - 4 - 43 = 0. Suppose -k*i + 356 = -9*i. Let l = i - 39. Is l a composite number?
False
Suppose 10*y - 28 = -4*y. Suppose -3*v - 2*v = 4*t - 276, -2*t + 156 = -y*v. Suppose -4*s = t - 7654. Is s prime?
False
Suppose -238*d = -25*d - 11686245. Is d prime?
False
Let d(j) = 64*j**2 - 55*j - 4. Suppose 15*u - 14 = 13*u. Is d(u) a composite number?
True
Suppose 0 = 14*j + 3*j + 19890. Is 156/j - 52234/(-30) prime?
True
Let b be (2 - 108/20)*-5. Let z = -8 + b. Is z - 11 - 1201/(2/(-2)) a prime number?
False
Let l(k) = -306*k + 53. Suppose 2*u + 5*d + 0*d - 12 = 0, -2*d = 4*u + 8. Is l(u) a composite number?
False
Suppose 7826 = 4*x - 2*u, 2*x = u - 4*u + 3901. Suppose 18*v = 13*v + x. Suppose 3*n - v = 83. Is n a composite number?
True
Let t(n) = -27*n**3 + 21*n**2 - 7*n - 12. Is t(-7) composite?
True
Let r(j) = -4*j**2 + 2*j**2 + 19*j - 14 + j**2. Let y be r(18). Suppose x - 1015 = -2*x + y*v, 0 = 2*x - v - 675. Is x a prime number?
True
Let o be 0*(2 - -2)/4. Suppose o*c = -13*c + 257933. Is c prime?
True
Let h(k) = k**2 + 14*k - 17. Let c be h(-14). Let q = 8 - c. Is ((-298)/(-5))/(10/q) composite?
False
Let w(j) = -j**3 + 10*j**2 + 18*j - 18. Let p be w(8). Let h = p + -433. Is (h/(-5))/(2/10) composite?
False
Let n(y) = -y**3 - 75*y**2 + 43*y - 707. Is n(-76) composite?
False
Let k = 18 + -13. Let g(a) = 15 - a - 5*a**2 - a - 14*a**3 + 21*a**3. Is g(k) a composite number?
True
Suppose 598680 + 519384 = 25*y + 288589. Is y prime?
True
Let k(z) = -3016*z - 1161. Is k(-4) a composite number?
False
Let h(x) = x**3 + 13*x**2 - 46*x + 14. Let m be h(-16). Is (-391452)/(-72) - 3/m a prime number?
True
Let n(i) = -236*i + 22. Let y be n(-21). Let f = y - -32283. Is f a prime number?
False
Let v(t) = 73*t**2 + 9*t + 9. Suppose -74 = 3*i - 179. Let h = 31 - i. Is v(h) a prime number?
False
Suppose -3*o + 22 = 5*a - 0*o, 10 = a + 2*o. Let z be (2 - a)/(22/11). Suppose z = q - 2*q + 1481. Is q prime?
True
Let o(l) = l**3 + 106*l**2 - 305*l + 35. Is o(-99) a composite number?
False
Suppose 0 = -5*q + 141 - 111. Let o be 8 - (q + 2 + -3). Is (o - (-7)/(-2))/(3/(-1770)) a prime number?
False
Is (-24 - (-23 - 254898)) + 14 prime?
True
Let w(x) = 375*x - 11522. Is w(33) prime?
True
Let v(p) = -5*p**3 + 5*p**2 + 8*p - 12. Let z be v(-3). Is (-32)/z + 74715/27 a prime number?
True
Let z(d) = 46*d**2 + 10*d + 19. Let p be (1 - 2*1)/(7/49). Is z(p) composite?
False
Suppose 21*w = 504997 - 134410. Is w composite?
True
Let a(i) = -61*i + 1412. Is a(-29) a composite number?
False
Let q(f) = -f**2 + 17*f + 16. Let z be q(18). Let x(m) = 1642*m + 1. Let g be x(z). Is (-1)/(-4) - g/4 prime?
True
Let x(d) = -61*d**3 - 7*d**2 - 5. Let j be x(-4). Suppose 321*n + j = 328*n. Is n prime?
True
Let p = -33 + 46. Suppose 0 = -p*r + 26*r - 84799. Is r prime?
False
Let s = 20 - 22. Let x be -2 + (s/(-6) - 56/(-12)). Let c(g) = 42*g**3 + g**2 - 7*g + 1. Is c(x) a composite number?
False
Suppose 291*w - 86727578 - 372460363 = -42412794. Is w a prime number?
True
Let u(o) = 31*o**2 + 433*o + 31. Is u(-40) prime?
False
Let w = 589 + -832. Let i = 605 + w. Is i prime?
False
Suppose 0 = 50*v + v - 12*v - 110721. Is v prime?
False
Suppose -5*a + 35270 = -t, 0*a - 21164 = -3*a + t. Let u = a - 2910. Is u a composite number?
True
Is ((-1)/10 - (-6317364)/(-360))*(-6)/2 prime?
False
Let f(t) = -12395*t - 453. Is f(-18) prime?
False
Let q = -9217 + 16446. Is q a composite number?
False
Let m = 62372 + 139241. Is m prime?
False
Suppose j - 2 = q, -4*j + 2*q - 5*q = -43. Suppose -3*z = -4*z. Suppose z = -j*v + 3*v + 148. Is v prime?
True
Let s(h) = h**3 - 14*h**2 - 10*h - 15. Let x be s(15). Let v be 12/(-10)*(x/(-18))/1. Suppose 2*t - v*i - i - 4938 = 0, -5*i = -20. Is t composite?
True
Suppose -2*q + 15*l + 15007 = 18*l, -5*q = 3*l - 37504. Is q a composite number?
False
Suppose -4*y + 9 = 13. Let n be (-81)/(-4) - y/(-4). Is (-1725)/(-9) - n/30 composite?
False
Suppose -79354 = -2*m + 4*k, -5*k - 158699 = 28*m - 32*m. Is m a prime number?
True
Let z(q) = -q**2 - 4*q + 14. Let x be z(-4). Suppose -14350 - 65436 = -x*u. Is u a prime number?
False
Suppose -2*r + 3*w = -121193, -16*r + 12*r = -4*w - 242376. Is r prime?
True
Suppose 0 = -3*p + 4*t + 1005625, 69*t + 1340825 = 4*p + 72*t. Is p a prime number?
True
Suppose 3*h = -2*b + 1554879 - 557704, 2493000 = 5*b - 5*h. Is b a prime number?
False
Is 147653/1 + 2 + (-520)/65 a prime number?
True
Let g(x) = 384*x**2 - 6*x + 7. Let i be g(2). Let t = i - 794. Is t prime?
False
Suppose 0 = -6*w - 0 + 60. Is (2 + 55032/w)/(18/45) composite?
False
Let j = 27 - -418. Suppose 440*s + 40705 = j*s. Is s composite?
True
Let c(w) = 4*w**2 - 81*w + 45. Let z be c(20). Suppose -87190 - 15085 = -z*u. Is u a composite number?
False
Is (345/46)/15*2626322 prime?
True
Let h = 575 - 549. Suppose -9024 = -h*l + 8370. Is l a composite number?
True
Is ((-14)/(-119))/1 - 27171348/(-204) composite?
True
Suppose -2120*q + 2125*q = 899390. Is q a prime number?
False
Let l(k) = 2*k**2 + 15*k + 44. Suppose 2*t - 4*d = -22, -t - 2*d = 14 - 3. Is l(t) prime?
False
Let k = -1131569 + 2937532. Is k a prime number?
True
Let f(c) = 75*c - 42. Let p be f(1). Suppose 0 = -p*y - 19*y + 38168. Is y prime?
False
Let v(u) = -35*u + 20. Let j be v(-8). Let h = j - -589. Is h a prime number?
False
Suppose 4*w + 5*f - 97584 = 0, 0 = 4*w + 3*f - 68582 - 28994. Is w a composite number?
False
Let j = -561 - -1123. Let n be (-1)/(-3) - (61520/(-120) - (0 + 3)). Suppose -5*z = -d + j, -2*d - z + n + 663 = 0. Is d a composite number?
False
Let c = 2199 - 866. Let u(w) = -1346 + 12*w**2 + w + w + c. Is u(-6) a composite number?
True
Let q = -100 + 84. Let l = q + 447. Is l prime?
True
Let t(c) = c**2 - 24*c. Let z be t(0). Suppose 4*w = -3*v + w + 15669, -2*w - 8 = z. Is v prime?
True
Let j be (-6*(-1)/7)/(14/(-294)). Is -47*212/(-76) + j/171 prime?
True
Let k be (-8)/36 + (-8068)/(-18). Suppose 460*y - k*y - 20508 = 0. Is y a composite number?
False
Let r(o) = -6*o**3 - 307*o**2 - 84*o - 471. Is r(-72) prime?
False
Is (76896110/(-10) + -15)*2/(-4) prime?
False
Let n(k) = -k**3 + 12*k**2 + 119. Let r be n(9). Let i = r - -345. Is i prime?
False
Suppose 18*p - 37*p + 20*p - 270407 = 0. Is p composite?
False
Let y(v) = -1506*v**2 - 8*v + 6889*v**2 + 7*v - 1. Is y(-1) 