 + 2583921 + 66624. Is y prime?
True
Let u be (-4486)/36*16 - (-4)/(-18). Let i be 1/(1 + -3)*(-2 + u). Suppose -i = -5*m + 3*m. Is m a prime number?
True
Suppose 0 = 4*z - f - 1 + 3, z + 5*f - 10 = 0. Suppose z = 80*i - 84*i + 7604. Is i a composite number?
False
Suppose 0 = -3*d - x - x - 12, 0 = -3*d + 4*x - 30. Is 216956/44 - d/33 a prime number?
True
Suppose -1238 = -2*i - 3*i + 2*n, 4*n = -16. Suppose -3*g - i = -5*t - 5*g, -3*t + 160 = -5*g. Suppose -52*q = -t*q - 610. Is q a composite number?
True
Let j = -811 + 567. Let k = -155 - j. Is k prime?
True
Let m(k) = 3*k**3 + 19*k**2 - 165*k - 3. Is m(36) a composite number?
True
Let f(s) = 58430*s - 6689. Is f(6) a composite number?
False
Let g = -300 - -523. Is g a prime number?
True
Suppose 4092601 = -198*b + 565*b - 9031686. Is b a prime number?
False
Let u(m) be the first derivative of m**4 + 10*m**3/3 - 14*m**2 + 13*m - 46. Is u(6) composite?
False
Let o = 18 - 10. Let r be (5936/18 - (-6)/27) + -3. Suppose -5*c - r = -o*c. Is c a prime number?
True
Suppose 5645*r - 5632*r - 904891 = 0. Is r composite?
True
Let q be (-120705)/9 - (-16)/(-12). Let g = -5360 - q. Is g a composite number?
False
Suppose -320*l + 89205406 = -89421474. Is l prime?
True
Suppose 22*d = 15*d - 5*d + 487212. Is d composite?
True
Suppose -3*b - p + 8 = -45, 0 = 2*b - 2*p - 22. Suppose w - 5830 = -5*s, 4*s - 33*w + 28*w = 4693. Let u = s - b. Is u composite?
False
Suppose 66837 - 63063 = -4*z + 584138. Is z a prime number?
True
Let z = 5045 + 158498. Is z a composite number?
False
Let m = 23096 - 22357. Is m a prime number?
True
Suppose 5*g - 4*g + 2*u + 9509 = 0, -3*g = -3*u + 28518. Let r be (2 + -2 - -2) + g. Is r/5*(-3)/3 composite?
False
Let y(k) = -469*k**2 + k + 1. Let p be y(1). Is 2/(3 + -3 + -2)*p prime?
True
Let n be -2*((-15)/35)/((-6)/21). Is n/5*(-5 + 4 - 1534) a composite number?
True
Let n be (-13)/(-6)*2 - 46/(-69). Suppose 4*k + 2*u - 116816 = -2*u, 0 = n*k - 2*u - 145999. Is k a composite number?
False
Let g = 245184 - 114143. Is g prime?
True
Is 346/(-865) - 746547/(-5) a composite number?
False
Let d be -1 - (-11 - -5) - 5. Suppose 4*s + 2*g - 2008 - 21846 = d, -5980 = -s + 5*g. Is s a composite number?
True
Let o = -844084 - -1505787. Is o prime?
False
Suppose -2*y + 8138686 = 9*n - 27*n, 2*y = 5*n + 8138764. Is y prime?
True
Suppose 16*m = -211150 + 1458713 + 609445. Is m a composite number?
True
Let i(u) = u**3 + 125*u**2 - 73*u + 1709. Is i(-60) prime?
True
Let u = -88117 - -142338. Is u prime?
False
Let p = 40589 + -23908. Is p composite?
True
Suppose -1017076 = -285*k + 217*k. Is k a composite number?
False
Let v(y) = 96087*y**2 + 9*y + 1. Is v(-1) prime?
True
Let v(g) = -6594*g - 1864. Is v(-15) composite?
True
Let x(g) = -10779*g**3 - 21*g**2 + 55*g + 306. Is x(-5) prime?
True
Suppose u + 5*c - 35 = 0, -u - 5 = -4*c + 5. Suppose -3*y = -31 + u. Suppose -8 = 2*j, 2*j - 809 = -3*d + y*j. Is d a composite number?
False
Let p = 5 - -43. Suppose 0 = -4*x - p - 12. Is 14970/(-12)*6/x a prime number?
True
Let k = -21 + 76. Let r = 58 - k. Suppose -3 = r*p - 0, 3*z = -p + 902. Is z a composite number?
True
Suppose 0 = 58*l - 55*l - 50292. Suppose -f + 13*f = l. Is f composite?
True
Let s = -5292 - -7637. Let q = s + -1380. Is q a prime number?
False
Let i(n) be the first derivative of n**3 - 21*n**2/2 + 25*n - 23. Is i(-14) prime?
True
Suppose 0 = -13*f + 19*f - 78. Suppose o + 10*y - 4824 = f*y, -4*o = -2*y - 19346. Is o a composite number?
True
Let g(p) = -p**3 + 8*p**2 - 7*p + 4. Let b be g(7). Suppose 36*r = 34*r - b. Is (r - -12 - 4) + -3 composite?
False
Suppose 2*n - 3*z - 25 = 0, -5*n + 15 = -2*z + 4*z. Suppose 659 = 2*k + s - 7573, n*k - 4*s - 20593 = 0. Is k a composite number?
True
Let j(d) = 12*d + 102. Let k be j(-6). Is (379/2)/((55/k)/11) prime?
False
Let u(a) = 10*a**3 - 6*a**2 + 60*a + 163. Is u(24) prime?
False
Suppose -2*i = -3*o - 2450, 2088 = 5*i - o - 4037. Suppose 6*z - z - i = 0. Let w = z + -88. Is w a prime number?
True
Suppose 0 = -9*j + 4*j + 20. Let z be (8 - -578)/(2/j). Suppose 0 = 2*t - 6*t + z. Is t a prime number?
True
Let x(a) = a**3 - 22*a**2 - 24*a + 27. Let y be x(23). Suppose -y*z + 8*z - 16 = 0. Is 3 + -2 + (0/z - -1476) a composite number?
True
Let o(c) be the third derivative of 197*c**4/24 - 28*c**3/3 - 48*c**2. Let t(g) = -2*g**3 - g**2 + g - 1. Let v be t(-2). Is o(v) prime?
False
Let b(g) = 10*g**3 + 3*g**2 + g + 1. Let h be 0 - 0 - 5/5*-2. Suppose -5*u = -4*z + 1, -u - h*z = -0*z - 11. Is b(u) a prime number?
False
Let a be (-256)/20 + (-6)/30. Let c(l) = l + 15. Let u be c(a). Suppose u*f = f + 389. Is f a prime number?
True
Let o = -27 - -27. Let c(v) = 2*v - 5. Let b be c(o). Let n(a) = -98*a - 3. Is n(b) a prime number?
True
Suppose -3*t + 176 = -14*t. Let n be 84/18*(2 - t/(-14)). Suppose 2*l + n - 18 = 0. Is l a composite number?
False
Let b(c) = -2271*c**3 + c**2 + 26*c + 3. Is b(-4) a prime number?
True
Let c(g) = -g**3 + 2*g - 4. Let d be c(-2). Suppose d = -4*q + 504 + 1572. Let n = q + -34. Is n a composite number?
True
Is (-735)/(-210)*(-1090184)/(-28) prime?
True
Let u = -164721 + 294470. Is u a prime number?
True
Suppose -51*h + 417577 + 5242454 = 0. Is h composite?
True
Suppose -40 = -30*w + 50. Suppose 0 = -w*b - 1676 + 17975. Is b a composite number?
True
Suppose -323*n - 325*n = -167929848. Is n prime?
True
Suppose 0 = -4*r - r + 15. Let q(w) = 9*w**2 - 15*w + 2. Is q(r) composite?
True
Let q = -12094 + 7287. Let d = 14610 + q. Is d a prime number?
True
Suppose -3284272 - 570205 = -30*j - 584447. Is j composite?
False
Let g = 13 - 13. Suppose g = -115*r + 118*r - 15. Suppose 2*l - 3*q - q = 142, -5*q + 400 = r*l. Is l a prime number?
False
Let r be (-4 - -8)/(-6 + (-13412)/(-2234)). Suppose -6*k + r = -1841. Is k prime?
False
Let m(n) = -4*n - 25. Let v be m(-13). Let r(k) = 44*k + 23. Is r(v) a composite number?
True
Let j = 100247 - 35466. Is j a composite number?
False
Let o(q) = 4616*q**2 + 2*q - 1. Suppose -2 = -4*g + 2*r, -2*g - 5*r = 2*g + 19. Is o(g) a composite number?
True
Suppose -k - 3*y = 1124, -4*k - y = 1159 + 3337. Let j = 1313 - k. Is j a composite number?
False
Let m be ((-530)/(-3) - 0)/((-3)/(-108)). Let u = -3514 + m. Is u a prime number?
False
Let x(m) = -m**3 - 10*m**2 + 10*m - 17. Let c be x(-11). Let s be (4 + (c - -2))/1. Suppose s = -n + 57 + 62. Is n a prime number?
False
Suppose -11*r - 6610 = -9*r. Let j = r + 1817. Let v = j + 2429. Is v a prime number?
True
Let r = 10418 - 3781. Is r composite?
False
Let j be 87628 - (4 + (-13 - -1)). Suppose 1839 - j = -9*n. Is n a composite number?
False
Let b(n) = -n**3 + 10*n - 2. Let v be b(3). Suppose -4*i + a - 12 = -3*a, 3*i - a = v. Suppose 8*c + i*c = 350. Is c prime?
False
Let b = 19 - 14. Suppose -2*t + 0*w = 4*w - 1006, b*w = -2*t + 1003. Suppose 3*j = 5*m + t, 2*j = 2*m - 5*m + 314. Is j composite?
False
Let b(i) = 280*i - 151. Suppose -3*y + 9 = -4*h + 6*h, -5*y = -h + 11. Is b(h) prime?
False
Suppose 86*k = 78*k + 16552. Suppose -5*r = 2*p - 2329 + 9557, 2*r - 3*p + 2895 = 0. Let w = k + r. Is w composite?
True
Is 162/405 + (-24684)/(-15) prime?
False
Let a(i) = 2*i - 1 - 119*i**2 - 2 - 4*i - 115*i**2. Let t be a(-1). Is (t/5)/(((-6)/22)/3) a composite number?
True
Suppose -3*n = 30 - 36, -3*n + 200649 = 3*v. Is v prime?
False
Let s = -386 - -218. Let g = 386 + s. Let x = -121 + g. Is x a composite number?
False
Suppose 0*n = 2*n, 5*p + 30 = -n. Let u be (160/(-24))/10 + (-40)/p. Suppose -3658 = u*f - 19540. Is f a composite number?
False
Suppose 0 = -3*k - 3*v + 2366155 + 3850328, -3*v = -18. Is k prime?
False
Let y = -40 - -47. Let u(b) = -58*b - 37. Let k be u(y). Let m = k + 1022. Is m composite?
True
Let o be (-3)/(-6)*(-9 + 47). Let z = 24 - o. Suppose j + 11347 = 4*a - 2446, -3*a + 10332 = -z*j. Is a composite?
False
Suppose -181399 = -z - 4*y, -4*y = 42*z - 44*z + 362834. Is z composite?
True
Let w(x) = 2*x**2 + 5*x + 22. Let g be w(-4). Suppose -5*p + 10215 = 5*s, -g*s = -31*s - 5*p - 6113. Is s a prime number?
False
Suppose v - 202817 = -2*s, -5*v + 3*s = -98504 - 915555. Is v composite?
True
Let r be 1/((7/(-3))/7) + 7. Let x be 6 + -11 + r/2. Let m(g) = -112*g + 17. Is m(x) composite?
False
Let z be 2564/5 + -3 + (-144)/(-45). Let 