 prime?
False
Suppose 57*l = 56*l + 7273. Is l prime?
False
Let q = 9931 + -5598. Is q composite?
True
Let u(a) = 3*a**2 - 5*a + 5. Let k(f) = -2*f**2 + 3*f - 3. Let m(o) = 5*k(o) + 3*u(o). Let s be m(1). Is ((0 - -838)*s)/(-2) composite?
False
Let l(n) = -n**2 + 4*n + 11. Let m(r) = -r**2 + 5*r + 12. Let k(s) = 6*l(s) - 5*m(s). Let t be k(0). Is 1/1 + 2508/t composite?
False
Let v(x) = -9*x**3 + 6*x**2 - 5. Let u be v(-5). Let y = 12 + -28. Is u/6 - y/(-24) a composite number?
False
Let o be 4/(-12) + (-146)/(-6). Let j be (-3)/2*(-32)/o. Suppose 2*x + j - 4 = 0, -575 = -3*h - 2*x. Is h composite?
False
Let j(h) = 16*h + 387. Is j(49) a prime number?
True
Let u be ((-21)/14)/(1/(-334)). Let s = u - 146. Is s composite?
True
Suppose 5*p = 3878 + 2517. Suppose -2*s + p - 285 = 0. Is s composite?
True
Let x be (-50)/20*24152/(-10). Suppose t = 3*t - x. Is t prime?
True
Suppose 0 = 3*a - 4433 - 2836. Let j = 3900 - a. Is j prime?
False
Suppose 9*a - 69920 = 5*a. Suppose -a = -11*l + 6*l. Suppose -l = -5*c + 89. Is c prime?
False
Let c = -15 + 18. Suppose c*y + 3*i - 601 + 25 = 0, 4*y + i = 771. Suppose k = 4*m + y, 712 = k + 3*k - m. Is k composite?
True
Suppose 4*k = 3*b + 5851, 4*b = -3*k - b + 4352. Is k prime?
True
Let u(t) = 2*t**3 - 14*t**2 - t - 34. Is u(8) composite?
True
Is (-8)/22 + 947285/55 composite?
True
Suppose 2*q - 1030 = -4*f, 5*q - 6*q = 5*f - 506. Is q composite?
False
Suppose 2*t - 5*d = -0*d + 26, 2*t = -4*d - 10. Let s be 0*1/t - -1595. Suppose 0*z = 5*z - s. Is z a composite number?
True
Let f be 1/((-4)/32*-1). Let l = f + -10. Let i(r) = -19*r**3 - 2*r**2 + 2*r + 3. Is i(l) a prime number?
False
Let r = 551 + -300. Is r prime?
True
Suppose 14417 = -6*b + 61319. Is b a prime number?
True
Let h(q) = 643*q**2 + 2*q + 2. Let r be h(-2). Suppose -d - 4*d = -r. Let p = d + -119. Is p composite?
True
Let q(k) = 6700*k + 31. Is q(1) a composite number?
True
Suppose -5*f + 4*f - 4*f = 0. Suppose 0 = -2*c - f*c - 8, -2601 = -u - 2*c. Is u composite?
False
Let l(g) = 15*g - 10*g - 12*g**2 + 1 + 20*g**2 + 42*g**2. Is l(8) a composite number?
True
Suppose 0 = 13*i - 11*i. Suppose 4*x - 672 = 4*w, i = 2*x + 3*w - 460 + 134. Is x a prime number?
False
Suppose 79951 = 1499*q - 1482*q. Is q composite?
False
Let l(y) = -y**2 - y + 5. Let d be l(-4). Let i(m) be the first derivative of m**3 + 5*m**2 + 4. Is i(d) a composite number?
True
Let v(r) be the first derivative of 4*r**3/3 + 5*r**2/2 - 8*r + 2. Is v(-5) composite?
False
Let s(l) = 101*l**3 + l**2 - 2*l - 1. Let c be s(-2). Let t = 1198 + c. Is t a composite number?
False
Let k(m) = -25*m**2 - 2*m - 2. Let f be k(-2). Let w = f - 153. Let h = w + 414. Is h composite?
False
Let t(s) = 5*s**3 + 19*s**2 - 14*s - 17. Let y = 9 - 14. Let x(f) = -2*f**3 - 10*f**2 + 7*f + 8. Let z(g) = y*x(g) - 3*t(g). Is z(-6) composite?
False
Let d(k) = -3*k + 5. Let f be d(-1). Suppose -4*r + 5*s = -1208, -f = s - 3*s. Is r a prime number?
True
Let g be -3 + -1 + (3 + -2)*645. Suppose y - g = -162. Is y composite?
False
Let f(l) = -l**2 + 12*l - 15. Let m be f(9). Is 317 + 27/m + 1/(-4) prime?
False
Let x(h) = 2*h**2 - 9*h - 8. Let d be x(7). Suppose -3*r + 0*r + 4*g + 184 = 0, -186 = -3*r + 3*g. Let y = r - d. Is y prime?
True
Suppose -2*w - 3*p = -4*p - 8, -4*w - 5*p + 44 = 0. Suppose 4 = w*j - 8. Suppose -1355 = -j*l + 419. Is l prime?
True
Let m(p) = 18*p**2 + 4*p + 4. Let s be m(-6). Let w = s - 433. Let j = w - 46. Is j composite?
False
Is (2 + 1247)/(0 - -1) a composite number?
False
Suppose 35*f = 415175 - 120090. Is f composite?
False
Let k be (2/(-4))/(1/(-6)). Suppose 0 = 2*y + z + 98, -2*y = -k*z + 106 - 0. Let m = 285 + y. Is m a prime number?
False
Let s = 20 + -15. Let y(b) = 8 + 2 - s*b + 1 + 9*b**2 - 8*b**2. Is y(5) a prime number?
True
Is 1/1*(23612 - 9) a composite number?
False
Let s(g) = -g**2 + 18*g + 32. Let b be s(20). Is 142 - 1/(-1) - (-4 - b) prime?
True
Let t(m) = -m + 19. Let k be t(15). Suppose -k*q = 2*z - 2018, -5*z - 3*q + 5045 = -q. Is z prime?
True
Let d be 4/(-22)*-1 - 20548/(-121). Let g = 1137 - d. Is g prime?
True
Let n be ((-75)/(-20))/(1/8). Let f be -15*n - (11 + -7). Let r = -147 - f. Is r a prime number?
True
Is (51/(-6) - -9) + (-1686)/(-4) a prime number?
False
Is (-117)/78*36788/(-6) prime?
False
Let i(g) = 8*g - 25. Let z be i(-13). Suppose l - 4*l + 12 = 0. Is (-5 + l)*z + -2 a prime number?
True
Let p = 8 + -2. Suppose -10*o + 1340 = -p*o. Is o a composite number?
True
Suppose 8 = 2*r - 0*r. Suppose -3*j = s - 304, r*s = 5*j - 4*j + 1229. Is s a prime number?
True
Let a be (-20)/(-50) + 4/(-10). Suppose a = -2*b + 194 + 206. Suppose 216 = 4*q - 2*i, -4*q - 5*i = -b - 30. Is q a composite number?
True
Suppose -5*x = -2*r - 101, 2*r + 2 - 6 = 0. Suppose -x*c = -17*c - 5644. Is c a prime number?
False
Let c(n) = -n**3 + 21*n**2 + 39947. Is c(0) a composite number?
True
Is 2*(5797/(-2))/(-11) composite?
True
Is (-1930)/(-1) + (-10 + 7 - -4) a composite number?
False
Let r be 1/(20/50) - (-1)/(-2). Suppose 3*a + 5*v = -74 + 271, v = -r*a + 136. Is a prime?
False
Let s(o) = -137*o - 6. Let b(g) = g**3 + g**2 - 5*g - 2. Let r be b(-3). Is s(r) a prime number?
False
Suppose 0 = 2*n - 7 + 3, 5*k = 4*n + 14127. Suppose -2*b + 1421 = -4*x + 3*x, 4*b = -3*x + k. Is b a composite number?
False
Is ((-134)/1)/((-8)/28) composite?
True
Let b be 1*(4 + (-3540)/(-4)). Suppose 3*v - b = -m, -25 = 4*m + m. Is v composite?
True
Suppose u + 5944 - 29734 = -i, 5*u - 4*i = 118941. Is u composite?
False
Let a = -14 + 16. Let q be (-2 - a)/2 - -11. Is (98 - 1)*(-8 + q) a prime number?
True
Is 0 + 891384/54 + (-2)/18 a prime number?
False
Let v(j) be the first derivative of -2*j**3/3 + 9*j**2/2 - 4*j + 4. Let w(d) be the first derivative of v(d). Is w(-10) a prime number?
False
Let f be -2154 + (-3)/(-2 + 5). Let d = -1520 - f. Is d a composite number?
True
Let y = 55 + -37. Let v(g) = -2*g**2 + 44*g + 5. Is v(y) a composite number?
False
Let l = -1169 + 2063. Suppose -d = -l - 257. Is d a composite number?
False
Let a(v) be the first derivative of -1 - 7*v + 2/3*v**3 - 5*v**2. Is a(15) a prime number?
True
Let p(s) = -2*s + 12. Let k be p(6). Suppose 4*m - 26 = -u, -u = 4*m + 4*u - 34. Suppose k = -3*f - m, -b = 3*b - 3*f - 1762. Is b prime?
True
Let v = -67 + 69. Suppose -3*j + 289 - 96 = 4*x, 0 = -3*j - v*x + 197. Is j prime?
True
Let w(r) = 3*r**3 - 2*r**2 + 2*r - 4. Let y(l) = 13*l**3 - 8*l**2 + 8*l - 17. Let c(n) = -18*w(n) + 4*y(n). Is c(-3) a prime number?
False
Let c(q) be the third derivative of q**6/120 + q**5/10 + 5*q**4/24 - q**3/3 + 6*q**2. Let p be c(-5). Let r(w) = -18*w + 1. Is r(p) a composite number?
False
Suppose 5*a + 1254 = -331. Let w = 636 + a. Is w a composite number?
True
Let h(j) = -18*j + 10. Let a be h(6). Let o = a + 189. Is o a prime number?
False
Suppose -2*o + 8 = -0. Let w(b) be the first derivative of 13*b**3/3 + 2*b**2 - 13*b - 112. Is w(o) prime?
True
Suppose -2*x = x - 21. Suppose -x*o - 1298 = -9*o. Is o composite?
True
Let s = -23 + 28. Suppose -2615 - 590 = -s*x. Is x prime?
True
Let g(d) = d**3 - d**2 - 2*d - 4. Let y be g(3). Let x = y + -5. Suppose u = 3*q - 290, -q - 2*q = -x*u - 300. Is q composite?
True
Let c = 0 + 6. Let t = 8 - c. Suppose -3 + t = -x, 0 = -5*d - 3*x + 98. Is d a prime number?
True
Is (-9899*1*9/(-3))/3 a prime number?
False
Let o(s) = 55*s**2 - 4*s + 1. Let m = -22 + 26. Is o(m) a prime number?
False
Suppose -7*v + 12*v + 85 = 0. Let u(l) = -l**3 - 14*l**2 + 20*l - 22. Is u(v) composite?
True
Suppose 0 = p - 2*s + 4*s - 3607, -5*s - 10777 = -3*p. Let b = p + -1978. Is b a composite number?
False
Let n = -9 + 17. Suppose 23 = n*q - 9. Suppose 27 = q*f - 1. Is f a prime number?
True
Is 59/((-7864)/1124 - -7) prime?
False
Suppose u = -2 + 7. Suppose -4*m + u*v = -275, 4*m - 2*m - 2*v = 136. Is m prime?
False
Suppose -4*n = 4*c - 13 - 35, -c + 4*n + 17 = 0. Suppose l - c = -0*l - 2*m, -3*m + 13 = l. Is l a prime number?
True
Let p be 4/(-14) + 2/((-56)/(-316)). Let i(a) = -a**2 + 20*a - 8. Is i(p) a prime number?
False
Let g(r) = -r**2 - 7*r + 10. Let b be g(-8). Is (-11 - -10)/(b/(-1466)) prime?
True
Let l = 716 - 337. Is l a prime number?
True
Let w(x) = 24*x + 51. Let n(r) = 8*r + 17. Let l(a) = -11*n(a) + 4*w(a