 number?
True
Let b(a) = 7*a**2 + 102*a - 88. Is b(-39) a prime number?
True
Suppose 5*b - 1158852 = j, 1518*j - 1519*j = 4*b - 927069. Is b a composite number?
True
Let l = 6893 - 4337. Let g = -1679 + l. Is g composite?
False
Let w(q) = q + 3. Let z be w(7). Suppose z*a = 7*a - 9. Is 24 - (4 + a)/1 prime?
True
Let l be ((-2)/3)/(7/(-5082)) + 2. Suppose -471*x = -l*x + 95235. Is x prime?
False
Let p(m) = 705*m - 253. Let d(r) = 1410*r - 505. Let f(s) = -3*d(s) + 7*p(s). Is f(11) a prime number?
True
Let y(k) be the first derivative of 1011*k**2 - 95*k + 155. Is y(5) a composite number?
True
Let x = 43643 + 390438. Is x prime?
True
Suppose -88 = -4*t + 3*t. Let w be (-74)/(-8) + 66/t. Let i(y) = -y**3 + 10*y**2 + 10*y - 15. Is i(w) a prime number?
False
Let g be 9/(-3) + -4 + 5767 + 6. Let x = g - -4591. Is x composite?
False
Let b(r) = 79*r - 17. Let v be b(5). Let q be (4/(-6))/(21/v). Is 1361/(-1)*-3*(-4)/q prime?
True
Let p(u) = -4*u - 33. Let i be p(-15). Suppose 2*d = -d + i. Is 1912/36 + (-1)/d a composite number?
False
Let y be 70/(-20)*(-16528)/28. Let m = y + -825. Is m a composite number?
True
Let f = -16 + 20. Suppose 2*w - 5385 = f*u - 1299, 0 = 4*w - 4*u - 8188. Is w a prime number?
False
Let h(l) = -l**3 - 14*l**2 - 501*l + 27. Is h(-22) composite?
True
Suppose 15*b - 20*b = 0. Suppose b = -n + o + 1, n = 4*o - 5. Is 0 - -3 - (-90 - (n - 7)) composite?
False
Suppose 19*v + 16 + 22 = 0. Is ((-20)/20)/(v/43402) composite?
False
Is (-3 + 10)/(175/1339775) a prime number?
True
Suppose 16*q - 19*q + 80841 = -3*p, 4*q = -p + 107788. Is q a composite number?
False
Let q(g) = -3567*g**3 - 2*g**2 - 2. Let b be q(2). Let a be (-4)/(8/(-3))*b/(-21). Suppose -a = -3*s + 5*d, 2*s + d - 1364 = 2*d. Is s composite?
False
Let t = -30 - -24. Let b be -1*2/6 + 46/t. Let i(c) = -6*c**3 - 3*c**2 - 5*c + 19. Is i(b) prime?
True
Let r = 348947 - 78584. Is r composite?
True
Suppose -13*i = 12*i - 212827 - 22498. Is i a composite number?
False
Suppose 4*x + 2*k - 12 = 0, -9 = -5*x + k - 5*k. Suppose 53309 = x*r - 3*n, 2*n + 6582 = r - 4077. Is r composite?
False
Suppose -5*z + 5161 = -0*z - t, -3*t = -z + 1021. Suppose 0 = 25*o - 28*o - f + 684, 3*f = 4*o - 886. Let d = z + o. Is d prime?
True
Let s(n) = 785*n**2 - 4*n + 1. Let d be s(-2). Suppose -5*f - d = -4*v, 1050 + 1313 = 3*v - 4*f. Let t = 1364 - v. Is t a prime number?
False
Let q be 112758/10 + 39/195. Suppose 2*y + q = 6*y. Is y composite?
False
Let y(b) = -2*b**3 + 3*b**2 - 2*b - 2. Let a be y(2). Let v be (6/(-2))/(((-165)/a)/(-11)). Suppose -v*w - 213 + 1339 = 0. Is w prime?
True
Suppose -224270 + 2100907 = 7*k. Is k composite?
False
Let h = 75145 + 148206. Is h prime?
False
Suppose -1057171 = -m + h, 5285819 = 150*m - 145*m + h. Is m prime?
False
Let h(z) = -5*z - 163. Let x be h(-29). Let t(u) = u**3 + 21*u**2 + 38*u + 49. Is t(x) a composite number?
False
Let p(r) = 239*r + 177. Let g be p(15). Suppose -3*v + 7 = -2. Suppose v*q = 5*u - g, -2*u - 2*q = u - 2261. Is u prime?
False
Let a be ((-63876)/14 - (-9)/(-21)) + 3. Let r = -3017 - a. Is r a prime number?
True
Suppose -19*p = -21*p + t + 6408, -5*t - 6416 = -2*p. Is p prime?
True
Suppose 6*i = 7*i + 3. Let u(p) = p**2 - 2. Let s be u(i). Suppose -s*n = -0*n - 791. Is n a composite number?
False
Let n = 82557 - -3216. Is n prime?
False
Let c(u) = 5*u**2 - 2*u - 2. Let f be (-1 + 1)*(11 + -12). Suppose j - 1 + f = -2*n, 5*j = 4*n - 37. Is c(n) prime?
True
Let o be (2 + -4)*364/(-8). Let n be (-48)/(-25) - 36/(-450). Is (n - 0) + (o - -4) a composite number?
False
Let r be 2 + -1 - (1 + 2). Let y be (16/40)/(r/(-20)). Suppose 4*i + 2*j - y*j - 348 = 0, -4*i = 5*j - 348. Is i composite?
True
Is (5/((-45)/(-27)))/(-2 - -3)*157 a prime number?
False
Let b(n) = 11 - 8 + 29*n**2 - 5*n - 12. Suppose -5 = l - 2. Is b(l) composite?
True
Let p = 113 + -114. Let c be (-1)/(1/(-3)*p). Is c/(12/16) - -2441 a composite number?
False
Let g(a) = 5*a + 238. Let t be g(-47). Suppose 0 = -t*d - 8*d + 65153. Is d composite?
False
Suppose 2095003 = 11*i + 5*m, 761796 = 4*i - 49*m + 45*m. Is i a composite number?
True
Suppose 84*n - 93*n = -45. Suppose 17*q - 16*q = n*z + 24684, -3*z = 2*q - 49433. Is q prime?
True
Let a = 27 - 8. Let z(w) = w**2 + 28*w - 28. Let o be z(a). Suppose 4*j - 889 = -3*y, 2*j + o = -y + 4*y. Is y a prime number?
False
Is 145/60 + 6/(-8) - 5313204/(-27) composite?
True
Let r(v) = -759*v - 9. Let t(k) = -k. Let q(l) = r(l) + 9*t(l). Is q(-2) prime?
False
Suppose -m - 40 = 5*u, 34*m - 5*u = 38*m + 160. Is (-25935)/(-4) - 50/m composite?
True
Let p(u) be the third derivative of -u**6/120 + u**5/30 - 11*u**4/24 - u**3/6 - u**2 + 3*u. Is p(-11) prime?
True
Suppose 0 = 3*o - 12, -o = -129*k + 131*k - 74574. Is k prime?
False
Is -117*2/(-18) - -3400090 a composite number?
True
Suppose -151*c + 144*c = -3164. Suppose 3*i - 2317 = c. Is i composite?
True
Suppose -7*h - 24 = -h. Let j be h - (19480/(-6))/(-2)*-3. Is (-2)/(j/(-4854) + 1) composite?
False
Let d = 202 + -185. Let q(u) = -u**3 + 21*u**2 - 11*u + 10. Is q(d) a prime number?
False
Suppose 7*s + 57 = 85. Is (2536 - -4) + 1 + s composite?
True
Suppose 4*a - 5*x = -31866, -4*x + 3*x = 2*a + 15926. Let r = 13583 + a. Suppose -3130 = -13*u + r. Is u a prime number?
True
Suppose -9008 = 8*d - 4*d. Let o = d - -4035. Is o a prime number?
True
Let r = 51 + -12. Is (-127756)/(-52) + 6/r + 2 a prime number?
True
Let v(i) be the first derivative of 945*i**4/4 + i**3/3 - 3*i**2/2 - 3*i - 11. Let y be v(-1). Is -1 + y/3*21/(-14) a composite number?
True
Let s = -28 + 35. Let g(r) = -5*r**2 - 2*r**3 - 7*r**3 + 7*r**3 - 1 + s*r. Is g(-7) a composite number?
True
Let r(p) = 2940*p**3 - p**2 + 2*p - 2. Let l = 43 + -107. Let w = -63 - l. Is r(w) prime?
True
Let l(c) = 37419*c**2 + 11*c - 1. Is l(-5) a prime number?
False
Let h(b) = 15*b**2 + 126*b + 373. Is h(63) composite?
True
Suppose 2*v - 1534504 = -23*v + 2529471. Is v composite?
True
Suppose -12*h = 13*h - 25. Is ((-1152)/(-256))/(h/(3628/6)) a prime number?
False
Let g(q) = 5936*q**2 - 3*q + 5. Let w be g(3). Suppose 3*j - w = -j. Is j composite?
True
Let k(u) = -664*u - 139. Let p = -227 + 222. Is k(p) a composite number?
False
Let x = 286 - 281. Suppose -7*l + 14188 = y - 4*l, -3*y - x*l + 42576 = 0. Is y a composite number?
False
Let u = -2819 - 180. Let d = 4378 + u. Is d a prime number?
False
Let c be ((-3)/(-4))/(51/884). Let m be (11 - c - (1 - 26)) + -2. Suppose 0 = m*g - 23*g + 10826. Is g composite?
False
Let q(s) = 81*s**3 - s**2 + 5*s - 2. Let i = 45 + -43. Let n be q(i). Let c = 987 - n. Is c a prime number?
False
Let l(b) = 16596*b**2 - 251*b - 499. Is l(-2) composite?
True
Suppose 2*s + 2*m = -10453 + 325185, -3*m = -3*s + 472068. Is s a composite number?
True
Let w = -147 - -153. Let f be 4/(-8) - 15117/(-6). Suppose 0 = 3*o + 5*h - 1500, w*h - f = -5*o + 4*h. Is o a composite number?
True
Let m(x) = -x**3 - x + 469. Let c(g) = -g**3 + 10*g**2 - 11*g + 18. Let t be c(9). Let z be m(t). Let p = 72 + z. Is p a composite number?
False
Let w(o) = -37*o**3 + 11*o**2 + 2*o + 65. Suppose -5*v - 1 = -4*t, 10*t = 9*t + 4*v + 14. Is w(t) prime?
False
Let a(o) = -75*o**3 + 3*o**2 + 21*o - 56. Is a(-9) a composite number?
False
Suppose 2*d = -2*w - d - 17, -3*w + d = 20. Let a(h) be the second derivative of -23*h**3/6 - 21*h**2 + 10*h. Is a(w) a composite number?
True
Let h(q) = 255*q - 23. Suppose 2*s - a - 33 + 3 = 0, s - 29 = 4*a. Let f(r) = 128*r - 11. Let z(j) = s*f(j) - 6*h(j). Is z(6) a prime number?
False
Let w(i) = -4*i**2 - i. Let r be w(0). Suppose r = -3*c - 3*c + c. Suppose 5*a + 2*n - 439 = c, -5*a + 433 = -0*a + 4*n. Is a a prime number?
True
Let l(x) be the third derivative of 59*x**4/4 - 185*x**3/6 + 2*x**2 - 35. Is l(22) a prime number?
True
Let y = -111190 - -203813. Is y prime?
True
Suppose 292320 = 4*m + 4*n, 0 = 42*m - 44*m + 4*n + 146142. Is m a composite number?
True
Let d(y) = -y**3 + y**2 - 1. Let k(n) = 7*n**3 - 13*n**2 - 6*n + 2. Let g(q) = -6*d(q) - k(q). Let h be g(8). Let v = 43 + h. Is v a prime number?
True
Is (5/(-4) + 18 + (-1035605)/(-20))*11 prime?
False
Let l(g) = 7*g + 42. Let i be l(-5). Is 1621/(i*-3*3/(-63)) a prime number?
True
Is (-4)/(-1)*(-27036)/(-48)*188/12 a composite number?
True
