73*d - 108. Let l be y(14). Suppose 2*b = 4*v - 0*v - 53370, 5*v = b + l. Is v composite?
True
Let p(q) = -2284*q**2 - 14*q - 8. Let s(d) = -2283*d**2 - 18*d - 9. Let t(f) = -6*p(f) + 5*s(f). Is t(2) prime?
False
Let f be 1 + (3 - (1 + -2)). Suppose d + f*q - 427 = 0, 1209 = -3*d + 6*d - 3*q. Is d a composite number?
True
Let x be (4 + -1 + -2)*(-1 - -4). Let u be 2 - 1*-1713*1. Suppose -5*j + 1723 = x*t - 0*t, 3*t + j = u. Is t a prime number?
True
Let g = 10666 + -8232. Suppose 0 = 4*o + 2*n + 4403 - 11261, 5*o = -2*n + 8571. Let m = g - o. Is m composite?
True
Let v be 5 - (0 - (3 - 5)). Let s be v + (-4)/2 + (-6 - -8). Suppose -s*l = -2*u + 874, -1479 + 605 = -2*u + 4*l. Is u a composite number?
True
Suppose -41*h - 359774 = -813167 - 338030. Is h a composite number?
True
Let p = -25063 - -54320. Is p prime?
False
Let k(t) = -t**3 - 10*t**2 + t + 14. Let s be k(-10). Suppose 2*r - 814 = -c, 6*c = 2*c - 2*r + 3268. Suppose 201 = p + g, -s*p - 2*g + c = -5*g. Is p prime?
False
Suppose -2*n = d - 319235, -6*d + 7*d + 159616 = n. Is n a composite number?
False
Suppose 108*l - 107*l = 4*d - 478717, 0 = 3*d - 3*l - 359022. Is d a prime number?
False
Suppose 431*q - 202167 = 192*q + 218*q. Is q a composite number?
True
Let v be (36/45)/(-3 - 77/(-25)). Let w(l) = 2*l**3 - 7*l**2 + 4*l - 1. Is w(v) prime?
False
Let a = -116430 + 250601. Is a prime?
True
Let f(v) = 121*v + 76. Let w be f(14). Let t = 199 - w. Let z = -186 - t. Is z composite?
True
Suppose -86*i - 10 = -91*i. Suppose -i*b + x + 11108 = -5467, b = -3*x + 8284. Is b composite?
False
Let b = 617376 + -255007. Is b composite?
True
Let o = 40 - 37. Let c(i) = i**2 + 5*i - 2. Let v be c(-4). Is v/((-72)/508)*o a prime number?
True
Let i be (-5982)/(-4)*2/3. Let b = i - -256. Suppose 5*n + 2*n = b. Is n a composite number?
False
Let a(o) be the first derivative of 15*o**3 - 11*o**2/2 - 3*o + 29. Suppose 21 = -5*r + m - 20, -2*r - 18 = -2*m. Is a(r) prime?
False
Let z = 35 + -32. Suppose 0 = -z*y + 7*s - 4*s + 54, -22 = -y + 3*s. Suppose -10947 = y*f - 36371. Is f a prime number?
False
Suppose 5*a = -5*a + 220. Suppose a*y - 30*y = -1736. Is y a composite number?
True
Let q(m) = 430*m**2 + 60*m + 7. Is q(-15) a composite number?
False
Suppose -5*j + 8 = 2*o, 5 + 3 = 2*o - 3*j. Is (222/9)/(o/246) prime?
False
Let b = -12276 - -5371. Let h = -3276 - b. Is h composite?
True
Suppose 0 = -4*s + 4*v - 640, s + 4*v + 180 = -0*v. Let r = -103 - s. Let n = r - -1152. Is n a composite number?
False
Is 2*(-1702193)/374*-11 a prime number?
True
Let l(u) = 19*u**3 + 28*u**2 - 2*u + 40. Is l(13) prime?
True
Let h(o) be the second derivative of 47*o**3/3 - 6*o**2 - 13*o. Let r be h(5). Is (-9 - -6) + r/2 prime?
False
Suppose -4*i + i = 15, 3*g = 2*i + 25. Suppose -3*s = -g*l - 2393, -271 = -2*s - 4*l + 1295. Is s a composite number?
True
Let w be (-1 - 1060/(-12))*(-12)/8. Let b = 362 + w. Suppose 1679 = 2*f - b. Is f composite?
True
Suppose 66 = 6*w + 54. Is 2921/((-10)/(-15) - w/(-6)) a prime number?
False
Let m(v) = v**3 - 4*v**2 - 4*v. Let w be m(5). Suppose -35*z + 94851 = -8644. Suppose w*h - z = -147. Is h composite?
True
Let t(y) = 24*y - 15. Let k = -26 - -32. Let s be t(k). Is (s/(-2))/(2/16*-6) composite?
True
Suppose 23*i - 6392147 = -0*i - 177570. Is i prime?
False
Let t be (-5 - -5)/1 + 0. Let d(b) = -b**3 + b**2 + b - 1382. Let k be d(t). Let u = k + 2367. Is u a composite number?
True
Let j(v) be the second derivative of -v**5/20 + v**4/6 + 3721*v**2 - 12*v. Let o be j(0). Suppose -5*m + o = -2423. Is m prime?
True
Let i = 35087 + -1312. Suppose -i = -5*a + 5*z - 7700, 4*z + 5203 = a. Is a prime?
False
Let c(s) = -189*s**3 + 4*s**2 - 31*s - 67. Is c(-9) composite?
True
Suppose 5*t = 217*c - 216*c + 6981037, -5*t - 2*c = -6981031. Is t prime?
True
Is 95761 - 19 - (8 + -4) a prime number?
False
Suppose -21 = -3*z - 36. Let t(r) = r**3 + 4*r**2 - 8*r - 11. Let q be t(z). Suppose 0*u - 3*u - 4322 = -4*n, 3*n + q*u = 3229. Is n a composite number?
True
Let i(s) = 6*s**3 + 19*s + 5. Suppose 0 = -11*y + y + 80. Is i(y) composite?
False
Suppose -603415 - 451132 = -31*y + 147912. Is y a composite number?
True
Let g(s) = -12*s + 38. Let z be g(3). Suppose -2*v - 823 = -3*v - 2*u, z*u - 3286 = -4*v. Is v composite?
False
Suppose -91 = 3*d + 4*d. Let o = d + -2. Let h(r) = -r**3 - 16*r**2 - 21*r - 5. Is h(o) a composite number?
True
Suppose 447*d = 448*d - 5*s - 37431, 4*s + 37435 = d. Is d a prime number?
False
Suppose 0*y = -5*y + 3*x + 125, -3*x - 103 = -4*y. Suppose 0 = -3*b + y*b - 43149. Is b prime?
False
Let i(s) = 2708*s + 5. Let y(t) = 3*t**2 + 22*t + 10. Let j be y(-7). Is i(j) a composite number?
True
Suppose -5*i + 6*i = g - 7, -8 = g + 4*i. Suppose 0 = g*d - 2491 - 705. Is d prime?
False
Let f be 202/(-16) - (-36)/(-96). Let j(i) = 32*i**2 - 4*i - 23. Is j(f) a composite number?
False
Suppose -99*o + 19517640 = 21*o. Is o a prime number?
False
Let n = 121 - 120. Let j be (n - 4) + (-66962)/(-14). Suppose q - j = 285. Is q composite?
True
Let a be -2*-2*(-9)/(-18). Suppose -2*l = a*c - 6170, -c - 8*l = -5*l - 3089. Is c a prime number?
True
Let a = -1907 + 1915. Let b(r) = 8*r**2 + 4*r + 1 + 2*r**2 + 3*r. Is b(a) composite?
True
Suppose 27*j - 32*j = -34530. Let b = j - -1166. Suppose -3*y = 5*y - b. Is y a prime number?
True
Let v(k) = 43*k**2 - 7*k + 2. Let q(b) = -42*b**2 + 6*b - 3. Let y(t) = 6*q(t) + 5*v(t). Let i(m) be the first derivative of y(m). Is i(-12) a prime number?
False
Let t be (192/(-6))/(-8) + 28665 + -2. Suppose 7089 = 14*v - t. Is v a composite number?
True
Suppose 10*r + 673 = 93. Let c = r - -64. Is c/33 + (-15648)/(-88) prime?
False
Let a(k) = 5406*k**2 + 365*k + 32. Is a(-9) prime?
False
Let n(u) = 128*u - 24. Suppose 5*f = 5*v + 55, 4*v - f = 2*f - 42. Let m be n(v). Let z = 2575 + m. Is z composite?
False
Suppose 3*g + 4*y = 26, -2*g + 17 = 3*y - 2. Suppose -x + 9 = g*x. Suppose 2*f = 4*j - f - 440, -4*j - x*f = -464. Is j composite?
False
Suppose -2*n + 3*j = -187919, 3*n - 320202 = -3*j - 38286. Is n composite?
False
Let f(n) be the second derivative of -1012*n**3/3 + n**2/2 + 18*n. Let w be f(-2). Suppose 5*q - 5*z = 2*q + w, 4*q = -z + 5368. Is q composite?
True
Let s(w) = w**2 + 4*w + 18. Let i(y) = -y**3 - 3*y**2 - 4*y - 17. Let l(f) = 4*i(f) + 5*s(f). Is l(-5) a prime number?
False
Suppose 8*v - 26009 = 1935. Suppose -4*h + 2*h = 0. Suppose 2*w - 4173 - v = h. Is w composite?
False
Suppose 13*k - 8*k - w - 461 = 0, -4*w = -k + 77. Suppose 0 = 92*r - k*r + 3455. Is r a prime number?
False
Let s be 1539/10 - 2*6/(-120). Suppose -158*f + 56380 = -s*f. Is f prime?
False
Let m(g) be the first derivative of -g**3/3 + g**2 + 143*g + 1. Let l be m(0). Let t = l - 4. Is t composite?
False
Suppose 3558429 + 2667349 = 74*c + 174280. Is c prime?
False
Let p(h) = -927*h - 8. Let t be 1*(0 + 3) + -9. Is p(t) prime?
False
Let s = 108870 - -25117. Is s composite?
True
Suppose t - 1 = -z + 5, -3*t = 4*z - 21. Suppose 0 = -a + 2*a - n + 1000, t*n = 2*a + 2000. Is (-2 - a)*11/22 composite?
False
Let n be (2/(-9) - (-1068)/(-54)) + -2. Let b = 17 + n. Is 1733*b/15*(-2 - 1) a composite number?
False
Suppose 3*y = -4*k + 31300 + 21359, 0 = -4*k - y + 52657. Suppose 18*t = 52806 + k. Is t composite?
True
Suppose -949792 = -112*l + 2573056. Is l prime?
False
Let y = -286490 - -883251. Is y composite?
True
Let b = 453 - 874. Let y = 1830 + b. Is y prime?
True
Let u be 0*(-4)/12*1. Suppose -8*j + 3*j + 9695 = u. Suppose j - 453 = 2*k. Is k prime?
True
Let i(z) = -104*z + 82. Let d(k) = -103*k + 79. Let u(f) = -5*d(f) + 6*i(f). Is u(-26) composite?
True
Let x = -30529 - -96818. Is x prime?
False
Let r = 24854 - -119349. Is r a composite number?
False
Let z(l) = 197*l - 18. Suppose 17*t - 7*t - 70 = 0. Let b be (-3)/t + (-52)/(-7). Is z(b) a prime number?
True
Let g(h) = h**3 + 7*h**2 + 8*h - 22. Let n be g(-5). Let f(i) = 5*i + 63. Let s be f(n). Suppose -c = s*p - 7509, -4*p - 4*c - 4733 + 14745 = 0. Is p prime?
True
Let y be (-28)/(-6)*((-810)/12)/15. Is 8/3*114 - y/7 a composite number?
False
Suppose -21*f - 150*f = -35*f - 9849256. Is f a prime number?
True
Let z = 68523 + -48046. Is z composite?
False
Let t(i) = 17*i + 50 + 2 + 26*i. Let m(j) = j**3 - 13*j**2 - j + 34. Let