225 + 88668. Is p prime?
True
Let p(v) = 261*v**2 - 4*v - 6. Let i be p(-8). Let g = i + -11539. Is g prime?
False
Suppose 6*f = 7*f + 2. Let g = 3441 + -527. Is g + 1 - (-4 - f) prime?
True
Let h = 69 - 50. Suppose -h*q + 98891 = -6*q. Is q composite?
False
Is 2 + -8 + (13230 - 59) a composite number?
True
Suppose 23*r - 28*r = 5*i - 19230, 3*i - 5*r = 11546. Let m = i - 1904. Is m composite?
True
Let j(x) = 22*x**2 + 2 - 121*x + 8*x - 66*x**3 + 10*x**3 + 22*x**2 - 74*x**2. Is j(-5) a composite number?
True
Let x(o) = -3 - 2 - 8*o + 96*o**3 + 14*o + 83*o**3. Is x(2) composite?
False
Suppose 0 = 337*a - 10164736 - 12765081. Is a a prime number?
True
Suppose -36 = -a - 3*z - 14, 5*a + z - 110 = 0. Suppose -5*n + a*n = 149447. Is n a prime number?
False
Suppose -63*d + 39005 = -58*d. Is d a prime number?
False
Is -27 - (-6752000)/15 - 2/(-3) prime?
False
Let w be 6 - (3 - (-1 - -2)). Is ((-143494)/52)/((-2)/w) composite?
False
Let h(q) = 111*q - 2. Let m(i) = -i**3 + 6*i**2 - i + 10. Let l be m(6). Let s be h(l). Let a = 817 + s. Is a prime?
True
Let y(o) = -156*o**2 - 5*o + 14. Let i be y(7). Let h = 13634 + i. Is h a composite number?
True
Let k = 4688 - 7115. Is 2/42*6 - k/7 composite?
False
Let y(c) = -2*c**3 - 18*c**2 - 19*c - 21. Let r be y(-8). Suppose -r*o + 6838 = -d, -3*d = 2*o - 2845 - 1732. Is o a composite number?
False
Suppose 29*h = 6*h. Let j(b) = 3*b - 488. Let y(q) = -3*q + 489. Let x(f) = 2*j(f) + 3*y(f). Is x(h) prime?
True
Suppose 94*z = -100*z + 101623555 + 48710731. Is z composite?
False
Let h(c) = 782*c - 36. Let k be h(4). Suppose n - k = 1035. Is n composite?
False
Let q = -567307 - -963978. Is q prime?
False
Suppose -70*v = -37*v - 136*v + 43909003. Is v composite?
False
Let q(m) = -m**3 - 19*m**2 - 20*m - 32. Let b be q(-18). Let k be (-6)/(-4 + b + (-2)/(-2)). Let s(x) = -69*x - 31. Is s(k) prime?
True
Suppose 4*p + 4*o - 20 = 0, -2*o = 3*p - 0*p - 10. Is (-13 + -1528)*(-1 + p) a composite number?
True
Let m = -166 - -171. Suppose -9*n + m*n = -17756. Is n prime?
False
Let g = 55 + -34. Let s(f) = -20 - g - 107*f + 4. Is s(-22) composite?
True
Let l be ((-13270)/(-40))/(2/(-200)). Let y = 50516 + l. Is y prime?
True
Suppose 0 = -9*p + 4*p - 25. Let y be 6815/25 - (-3 - 13/p). Let s = -150 + y. Is s a prime number?
False
Suppose 0 = -22*r + 11*r - 15*r + 321646. Is r a prime number?
False
Suppose 0 = -5*f + 3*a + 311, -2*a + 5 = -1. Suppose -7*u + f = u. Suppose u*n - 3*n = 2055. Is n a composite number?
True
Let n be -3 + -1 - (-17)/((-85)/(-270)). Suppose -n*d + 51*d = 557. Is d a prime number?
True
Suppose 196*x + 48 = 190*x. Is (20/x + 2)*-878 prime?
True
Is -1*(4 - (-12382813)/(-19)) a prime number?
False
Let q(b) = 1459*b - 2904. Is q(59) composite?
False
Let g(s) = -26*s**3 + 61*s**2 - 24*s - 554. Is g(-25) composite?
False
Let t = -263 + 468. Suppose -3*o - 49 = -r + t, -5*r + 5*o + 1300 = 0. Is r a prime number?
True
Let b(d) = d**3 - 7*d**2 - 2*d + 12. Let x be b(0). Is -2 - (-96714)/x - 2/4 prime?
False
Let x(y) = -103*y - 40. Let w(b) = b. Let l(n) = -3*w(n) + x(n). Let t be l(-16). Suppose t = 2*o - 3710. Is o a prime number?
True
Let k(m) = -m + 3. Let u(z) = -z - 136. Let n(y) = -2*k(y) - u(y). Is n(27) prime?
True
Suppose -4 = -4*i + 12. Suppose 0 = 2*q - i*q - 4. Let b(f) = -33*f**3 + 2*f**2 - 1. Is b(q) prime?
True
Suppose 3*z + 2*b = z + 10, 4*b = 4*z - 4. Suppose -3*h + z*t + 8820 = 0, -5*h + 5*t = 3*t - 14703. Is h a prime number?
False
Let k = -423 + 920. Suppose 12*b - 13 = 23. Suppose -b*x = -k + 20. Is x prime?
False
Suppose 0 = -3*h + 3*t - 72, 0 = 4*h - 0*t + t + 111. Let m = 44 + h. Is (3 + -2 - -6)*m a composite number?
True
Let r be 4 + 2/(-9) + 4/18. Is -2 - 99/(-44) - (-13659)/r a prime number?
False
Let f be 1/(-2*(-1)/(-6)). Let p be f/15 - 66/(-30). Suppose -3*r + p*o = -578 - 317, 2*o = -3*r + 899. Is r prime?
False
Let c = 82 + -84. Let l(j) = -j**3 - 1. Let x(h) = -h**3 + 5*h**2 - 8*h - 8. Let z(m) = c*l(m) + x(m). Is z(-5) a prime number?
False
Suppose 23*c + 17*c - 1735640 = 0. Is c composite?
False
Suppose 46*d = 49*d - 30. Suppose -d*i = 7*i + 17. Is 211*21*i/(-3) prime?
False
Let r(q) = -q - 2. Let x be r(-6). Let k = 1260 + -1257. Suppose -k*b + 72 = 3*t - 1170, -t + 409 = -x*b. Is t prime?
False
Let f(u) = -213109*u - 23. Let r be f(-5). Suppose 0 = -44*t - 146582 + r. Is t prime?
False
Suppose -3*m - h + 758 = -0*h, 4*m + 4*h = 1008. Let r = m + -136. Let x = r + -68. Is x a composite number?
True
Suppose -11 = -c - x, c + 31 - 12 = 5*x. Suppose -c*z = -3*z - 2256. Suppose 1987 - z = 5*j. Is j composite?
True
Let s be 2/8*-1*(-27 + 7). Let a(k) = 46*k**2 - 8*k - 9. Let c be a(s). Let h = c + -564. Is h composite?
True
Let u = -37 - -32. Is 4 + (u + 4)*-1795 a prime number?
False
Suppose -3*s + 8*s + 4125 = 0. Suppose -3*m = t - 385, 16*m - 17*m + 155 = -5*t. Let n = m - s. Is n a composite number?
True
Suppose 13*g + 3*g = -13312. Let w = 3941 + g. Is w a composite number?
False
Is -15 - (3392*-103)/8 composite?
True
Suppose 18*l = 12*l + 24. Suppose l*p - 2*d - 66244 = -6*d, -d = 5*p - 82821. Is p composite?
True
Let p(n) be the second derivative of 31*n**4/4 + 11*n**3/6 + 13*n**2/2 - 2*n - 69. Is p(7) composite?
True
Suppose -100 = 5*i + 40. Let f = 12 - i. Is f/(-10) + 960 + -1 prime?
False
Suppose 2*n + 2*n = 2*x - 32, x - 4*n - 8 = 0. Is (-3)/((-60)/112916) + x/(-30) a prime number?
False
Let d be 207/6*(3 - 236/12). Let s = 10188 + d. Is s a prime number?
True
Let c(v) be the first derivative of -1/2*v**4 + 3*v**2 + 10/3*v**3 - 12 - v. Is c(-5) prime?
False
Suppose 3*i - 109481 = -w + 322633, -5*i = -w - 720182. Is i a prime number?
True
Suppose 5*z + 23 - 63 = 0, 0 = 2*l + 5*z - 459938. Is l a composite number?
False
Let w(p) = 106*p**2 + 3*p + 2. Let l be w(-6). Let q = -8217 + l. Let a = -1896 - q. Is a a prime number?
True
Let v(i) = -11620*i - 639. Is v(-19) prime?
True
Let u = -25 + 26. Suppose -12 = -v - u. Suppose 6*l = v*l - 1985. Is l a prime number?
True
Suppose 22*c - 18*c - 144 = 0. Let x be 2/(-6) + (-112)/c*-3. Suppose 14*o - 1465 = x*o. Is o a composite number?
False
Let k(m) be the third derivative of m**5/24 + m**4/2 + 11*m**3/6 - 17*m**2. Let q(i) be the first derivative of k(i). Is q(11) prime?
True
Let o = 21 - 41. Let i = o - -23. Suppose 3*a = -i*y + 7*a + 809, 4*a = 4. Is y a prime number?
True
Let x = -64 + 107. Let l = x - 35. Suppose 4*d = l*d - 2068. Is d prime?
False
Suppose 2*w + 8 = 0, 571409 = 3*p + 16*w - 15*w. Is p prime?
True
Is (-28)/798 - (-13009570)/114 a composite number?
True
Let o(w) = -20571*w - 2387. Is o(-34) composite?
True
Suppose 0 = -f + 244 + 226. Let w = f - 269. Is w a prime number?
False
Let q = 19935 - 13688. Is q a composite number?
False
Let o = 576708 + -308927. Is o composite?
False
Let a be ((-1)/2)/(1/(-24)). Suppose v + v - a = 0. Suppose -269 = v*w - 2975. Is w a prime number?
False
Let o = -11604 + 21860. Suppose -o = -10*k + 47894. Is k composite?
True
Let x = -2045 + 4396. Let v be ((-36)/(-2))/(6 - 4). Suppose 6892 = v*o - x. Is o a prime number?
False
Suppose 4 = -4*v, 4*v = 4*d + v + 3393. Let z = d - -1657. Is z/(2 - -2) + 3/1 prime?
False
Let b be -645 + (-8)/24*-6. Let n = 58 - b. Is n prime?
True
Suppose 11*a + 31396 - 347077 - 265988 = 0. Is a a prime number?
True
Let r(l) = 3887*l + 15. Let n(w) = -5*w + 172. Let t be n(34). Is r(t) prime?
True
Let u be (50/(-20))/((-149)/74 + 2). Is -76*u/(-20) + 6/2 a prime number?
False
Let d = 2504 - 5611. Let o = d + 5686. Is o composite?
False
Suppose l = 2*f + 169001, 5*l - 844996 = -29*f + 30*f. Is l composite?
True
Let a(v) = -6*v**3 - 2*v**2 + 2*v + 1. Let j be a(-1). Suppose 4*k = j*r - 24619, 7*r + 2*k - 16422 = 5*r. Is r prime?
True
Suppose 0*g + 166071 = g - 92872. Is g a prime number?
False
Let s(a) = 84*a + 179. Let y = -200 - -210. Is s(y) a prime number?
True
Let j = -384 - -67. Let x = j - -904. Is x a composite number?
False
Suppose 0 = 86*n + 55923674 - 212189028. Is n a composite number?
True
Let j(q) = 531*q**3 - 2*q**2 + 48*q - 152. Is j(3) composite?
True
Let y(a) be the third derivative of -11*a**5/30 + a**4/12 + 2*a**3/3 + 16*a**2. Let o be y(-6). Let x = 561 - o. Is x a composite number?
False
Suppose -4*s + 1998071 = -5*w, 0 = -