/s*1*(-2)/2 a prime number?
True
Suppose -n + 472 + 707 = 0. Suppose 5*m + 154 = n. Is m a composite number?
True
Suppose -4 = -4*b + 8. Let k(a) = -384*a - 998. Let i be k(6). Is (i/b)/((-28)/42) prime?
False
Let v(l) = 1156*l**3 - 2*l**2 - 5*l + 8. Let a be v(4). Is (-12)/(-9) - a/(-12) prime?
True
Let l(a) = -106*a + 134. Let c be l(-19). Suppose 0*i + 2846 = 4*f - 2*i, 0 = -3*f - 3*i + c. Is f a prime number?
False
Let k = 1227 + -1761. Let n(u) = -u**3 + 3*u**2 - 8*u - 11. Let q be n(-9). Let m = q + k. Is m composite?
False
Let n(k) = k**3 + k**2 - 67*k + 3147. Is n(0) composite?
True
Suppose 6*i + i - 21 = 0. Suppose 0 = -i*y + 730 - 157. Is y prime?
True
Let c(q) = 38*q**2. Let h(f) = -113*f**2 + f + 1. Let k(a) = -8*c(a) - 3*h(a). Is k(-1) a composite number?
True
Suppose 0 = -3*z - 4*s + 60, 80 = 2*z + 2*z - 5*s. Let u = z + -22. Is 4/(-2 + u)*-479 a prime number?
True
Suppose 7*i = 2*i - 2*o + 768477, 0 = i + o - 153693. Is i a composite number?
True
Suppose 6*c - 22*c = -206016. Suppose 108*n = 96*n + c. Is n a prime number?
False
Let t(p) = p**2 + 50*p - 25. Let c be t(37). Let v = c - 589. Is v a composite number?
True
Let g(z) = -z**3 + 21*z**2 - 39*z + 25. Let q be g(19). Is (-2)/q - (-389776)/102 a composite number?
False
Let p(t) = 335*t**2 - 42*t + 125. Is p(-22) a composite number?
True
Let k(x) = 2*x**2 + 13*x + 8. Let n be k(-6). Suppose 4*w - 4907 = -5*a + 16874, 2*w - n*a - 10904 = 0. Is w prime?
True
Let q be (599/5)/(24/2280). Let f = q + -4098. Is f prime?
True
Let l = -1171 + 6185. Suppose 5*n + 2247 - 14760 = -z, -2*n + 4*z = -l. Is n a prime number?
True
Let u(q) = -6*q**3 + 2*q**2 + 2*q - 1. Let g be u(3). Let c = 273 + g. Let v = c + 133. Is v a composite number?
True
Let c = -88 + 94. Suppose 0 = c*m - 49404 - 23970. Is m a composite number?
True
Let l = -524892 - -973021. Is l a prime number?
False
Let c(y) = -54*y - 7. Let j(w) = w**3 + 23*w**2 - 12 - 4 + w - 17*w**2 - 18*w**2. Let k be j(12). Is c(k) prime?
False
Let f(z) = 4*z**3 + 15*z**2 + 15*z + 56. Let y be f(23). Suppose 0 = 21*l + y - 207553. Is l prime?
False
Suppose 2*f = 0, -3*q + 465203 + 345070 = f. Is q prime?
False
Let s = -55883 + 213594. Is s composite?
True
Let u(n) = -411*n**3 + 5*n**2 + 13*n. Let f be u(-2). Suppose f = 3*y + 21. Is y a prime number?
True
Let g be 4585554/81 + -5 - (-2)/9. Let u = g - 32690. Is u composite?
False
Let q = 4612 + 8436. Suppose 2*t - 2149 - q = -a, -75910 = -5*a + 5*t. Is a a prime number?
True
Is -6 - (-43119 - (0/(-4) + -6)) a composite number?
True
Let z(y) = y**3 + 21*y**2 + 4. Let m be z(-21). Let o = 5 - m. Is (o/(-3))/(4/(-23172)) composite?
False
Let m = 514 + -534. Let z = 121 - m. Is z a composite number?
True
Suppose 37*d = 33*d - 80. Let g(i) = i**2 + 43*i - 27. Let a be g(d). Let n = a + 2436. Is n prime?
True
Let b(n) = 43*n + 6. Let a be b(17). Let y = 2010 - 638. Let i = y - a. Is i a composite number?
True
Let h be ((-4)/6)/(10/(-165)). Let a = -3468 - -5361. Suppose 14*b = h*b + a. Is b a prime number?
True
Let g = 144 - 135. Suppose -23*q + 322528 = g*q. Is q a prime number?
True
Let o(b) = -b**3 - 14*b**2 - 11*b + 27. Let f be o(-13). Is 2/f - (-17 + 0)*5 prime?
False
Let s(p) = 27*p**3 - 6*p**2 - 76*p - 184. Is s(21) a composite number?
False
Suppose -3654*q = -3651*q - 16053. Is q prime?
True
Is ((-3)/((-45)/(-322017)))/(5*4/(-100)) a composite number?
False
Let n(t) = 363*t**2 - 11*t - 35. Let f be n(-5). Let w = f - 196. Is w a composite number?
True
Let g(c) = -c + 9. Let o be g(-8). Is -4 + 2 - (-80469)/(o - 8) prime?
False
Let u(r) = r**2 - 41*r + 24. Let n be u(41). Is 6/4*(4 + 72656/n) a prime number?
True
Suppose -3*z = 78 + 42. Let r be (-18)/(-1) + z/20. Let s = 207 - r. Is s a prime number?
True
Suppose -92*h + 87*h + 25 = 0. Suppose -3*f - 13502 = -h*f. Is f a composite number?
True
Let g(h) = 17 + 16*h**2 - 1 - 5*h + 2*h + 5. Let r be g(5). Let q = -24 + r. Is q a composite number?
True
Is 4/(-26) - (10267020/(-65) - -3) prime?
True
Suppose 5*f = 5*m - 86020 - 382215, -3*m + 4*f = -280939. Is m prime?
False
Let l = -564777 + 916664. Is l a composite number?
False
Suppose -2*m + 49 = 3*a + 2*m, -4*m = -a - 5. Suppose n - 1 = 0, 2*y - 10413 = -10*n + a*n. Is y a composite number?
True
Suppose 27*h + 355380 = 39*h. Suppose -f - l = -5*f + h, -22224 = -3*f + 5*l. Is f a composite number?
True
Let j(p) = -p**2 - 17*p + 3. Let n be j(-17). Suppose q = 2*q + 5, n*q - 511 = -2*s. Suppose -s = -i + 3*r, 2*r + 1276 = 4*i + i. Is i a prime number?
False
Let x(m) = -m**2 + 229*m - 599. Is x(115) composite?
False
Let o(r) = -37*r**2 - 2*r + 8. Let u(c) = -74*c**2 - 3*c + 17. Let b(l) = -9*o(l) + 4*u(l). Is b(-9) composite?
False
Let w be 16852/10 + -6 - 1/5. Suppose -7*u = -9108 - w. Is u a prime number?
False
Let s = -135204 + 232308. Let m = s - 52381. Is m a prime number?
False
Let q(r) = -r**2 - 5*r + 4. Let o be q(-3). Suppose -2*n = -4, 0 = -3*z - 9*n + o*n + 1072. Is z a composite number?
True
Let o(i) = i**2 - 39*i - 85. Let b(g) = -5*g**2 + 195*g + 426. Let t(w) = -2*b(w) - 11*o(w). Is t(27) prime?
False
Let j = -1135 - -4434. Is j a prime number?
True
Let n(v) = v**2 + 163*v**3 + 1294*v**3 + 248*v**3 - 1 + 169*v**3. Let u be n(1). Suppose -u = -5*m + 3*m. Is m a composite number?
False
Let t(q) = q**2 - 8*q + q**2 - 47 + 33. Let r be t(13). Let d = r + 33. Is d a composite number?
True
Suppose 71561 = 4*m + u, 10*m - 9*m - 17879 = -4*u. Is m a prime number?
True
Let r = 912479 + -644356. Is r a prime number?
True
Let q(s) = 173*s**2 - 49*s + 49. Is q(-13) a prime number?
False
Let v = -54892 - -82793. Is v prime?
True
Let u = -9 - -11. Suppose -2*c - 2*f - 2 = 0, 4*f = u*c - c - 14. Is -3*(-2)/(-6)*(-5554)/c prime?
True
Suppose f + w + 2*w = 12, -2*w = 4*f - 18. Suppose -f*j + 4074 = 3*j. Is j prime?
False
Let s = -62400 - -234391. Is s a composite number?
True
Suppose 3 = 13*a - 16*a, 0 = 5*l + 3*a - 254902. Is l a prime number?
False
Let r = -291 - -647. Let l = r + 3297. Is l prime?
False
Let d(q) = 7*q**3 - 9*q**2 + 11*q + 16. Let n be d(9). Suppose -4399 = -p + n. Let k = p - 5101. Is k a composite number?
True
Let t be (192/15)/(2/10) + 0. Let a(m) = 2*m**3 + t - 67 - 9*m + 9*m**2 - m. Is a(5) prime?
False
Is 20/(-110)*(-440308)/8 a composite number?
False
Let a = 2842 + -1313. Let i = a + -462. Is i prime?
False
Is ((-27)/((-6885)/102))/(1 - (-373733)/(-373735)) a composite number?
False
Suppose 0 = 3*a - 5*v - 142817, 5*a - 141136 = -3*v + 96847. Is a a composite number?
False
Let g = -28 + 32. Let j be g*(41/(-1) - 2). Is j/(-3) + 16/24 prime?
False
Let h = -8995 - -16659. Is 2*1*h/32 prime?
True
Let j(m) = m**3 + 8*m**2 - 24*m - 20. Let v be j(-9). Let o = -8 - -8. Suppose o = 2*p - 313 - v. Is p a composite number?
True
Let z be (-53844)/(-16) - 2/(-40)*-5. Suppose 12*y = 7*y + z. Is y a composite number?
False
Suppose 0 = 4*v - 5*t - 2697627, 4*v + 57*t - 2697632 = 61*t. Is v a prime number?
False
Is (2876500/33 + -4 + 7)*3 a composite number?
False
Let b(q) = 5*q + 15. Let x be b(-2). Suppose 0 = w + f + 3*f + 17, 2*w = x*f + 31. Suppose -4*d = w*p + p - 6564, 4909 = 3*p - 4*d. Is p a prime number?
False
Let b(l) = -3965*l - 3424. Is b(-37) a prime number?
True
Let c(p) = -20548*p + 203. Is c(-17) composite?
False
Suppose 8*z + 47532 - 572244 = 0. Let a = z + -42142. Is a a composite number?
False
Suppose -36686 = -6*s + s + n, 0 = 4*s + 2*n - 29346. Suppose -j = 4*h - s, 4*j + 22 = 10. Is h a prime number?
False
Suppose -2*f + 156520 = -2*y, 58*f = 54*f - y + 313035. Is f prime?
True
Suppose -4*i + u + 14 = 4*u, -4*i - u + 10 = 0. Let o(b) = 0*b**3 + 3 + 35*b**3 - 3*b - 15*b**3. Is o(i) a composite number?
False
Suppose 0 = -5*w + 4*w + 5. Suppose w*p = 3*z + 35, 8*z - 7*z = 0. Suppose h = p*h - 2694. Is h a composite number?
False
Suppose -74369 = 2*j - 514047. Is j a composite number?
False
Let m(q) = 63 - 3*q + 2*q**2 + 6*q + 4*q - 106. Is m(28) a prime number?
True
Let q = 907 + 14968. Let k = q - 8806. Is k a prime number?
True
Suppose 6*x = x + 30. Let y(m) = 66*m**2 + 14*m + 1. Let a be y(x). Let n = -1572 + a. Is n a composite number?
True
Suppose 0 = 3*y + 2*k + 355, 0 = 3*y + 5*k + 486 - 125. Let s = 5848 + y. Is s prime?
False
Let a(p) = -2667*p**3