 + 2153, -3*m + 3*l = d. Let w = -239 - m. Is w composite?
True
Let k = 207093 - 85432. Is k a prime number?
True
Suppose 26*t - 26 = 28*t. Let m(o) = -o**3 - 11*o**2 + 27*o + 16. Let v be m(t). Suppose -2245 = -5*h + 4*d, v*h = 4*h + 2*d - 435. Is h a prime number?
False
Let a = -496470 - -717549. Is a prime?
False
Let h(g) = 1418*g**2 - 50*g + 97. Is h(2) a composite number?
False
Let s(t) = -96*t**2 + 4*t - 5. Let x be s(1). Let b = x - -103. Is (117/b)/(3/14) prime?
False
Let v be 25 - 21 - (-2 - -46). Let k = 151 - v. Is k a composite number?
False
Suppose -2*l - 5*i = -57, -i - 2*i - 81 = -2*l. Let t = l - 34. Suppose -2*z - z = 3*w - 1065, t*w - 1428 = -4*z. Is z a composite number?
False
Suppose 126 = 20*j - 14*j. Suppose -d + j = -178. Is d composite?
False
Let n(f) = -f**3 + 8*f**2 + 9*f - 1. Let t be n(9). Let a be (1 - (3 - 3))/(t/(-3033)). Let o = -1650 + a. Is o a prime number?
False
Let x(i) = 54*i**2 + 79*i - 1961. Is x(40) a prime number?
False
Suppose -z = -3*r + 21970, 0*r - 87810 = 4*z + 2*r. Let n = z + 46206. Is n a prime number?
True
Let i = -116781 + 315182. Is -6*3/((-126)/i) a composite number?
True
Let y(s) = -s**3 - 5*s**2 + 3*s. Suppose -3*a + 2*m = 14, -2*m = a + 4*a + 34. Let c be y(a). Let p = 131 + c. Is p a composite number?
False
Let k(a) = a**3 + 14*a**2 + 33*a - 5. Is k(-9) prime?
True
Let i(a) = 104*a + 62. Let k be i(9). Is 7/(-2)*k/((-4)/4) a prime number?
False
Let g(z) = 3*z - 4. Let l be g(2). Suppose 0 = 4*j - 3*j + b - l, -b - 22 = -3*j. Suppose -j*f = -1738 - 524. Is f composite?
True
Let v = -39 - -38. Let p be v*(-3 + 9) + 4. Is (3817/22)/(p/(-4)) a composite number?
False
Suppose -7*b = -21*b + 10*b + 165380. Is b composite?
True
Suppose -46*b = -50*b - 5*m + 1679088, -7*b + 5*m = -2938459. Is b a composite number?
False
Let u be (-6)/(-21) - ((-2931)/7 - 5). Let f = -149 + u. Suppose -x + 0*x + f = 3*m, 4*x = -2*m + 1140. Is x composite?
True
Let m(z) = z**2 + 6*z - 8. Let q be m(-8). Let p(w) = 4*w**2 + 1. Let s be p(q). Is (-7 + 0)*s*-1 composite?
True
Suppose t = -t. Suppose t = -28*c + 13*c + 181365. Is c a composite number?
True
Let p(o) = -2*o**3 + 3*o**2 - 3. Let t be p(-1). Suppose t*n = -3*h + 1357, -h - 3*n + 351 = -106. Is h composite?
True
Let m = 79 - 69. Suppose -m*w + 35729 = 9939. Is w a prime number?
True
Let c(z) = -4*z**2 - 9*z + 11351. Is c(0) prime?
True
Let n = 20930 - -13873. Suppose -18*g + n = 585. Is g prime?
True
Suppose -4*g + 5 = r - 6, 28 = -4*r + 2*g. Is (-46329)/(-6) - r/((-30)/(-9)) a prime number?
True
Suppose 0 = -4*a - 3*z - 119, -2*z = -5*a + 3*a - 42. Let u = a + 31. Suppose u*p = -4*p + 3735. Is p composite?
True
Let s = -397 - -401. Suppose -k = -s*d + 11161, 3*k + 13960 = 6*d - d. Is d a prime number?
True
Suppose -2*x - 73*a + 102202 = -70*a, -306638 = -6*x - 5*a. Is x a prime number?
False
Let i = -465081 - -728018. Is i a prime number?
True
Suppose 82*c - 75*c + 7189 = 0. Let z = c - -2178. Is z prime?
True
Let y(n) = 58*n - 55. Suppose 2*p - 26 = -c, p - 5 = c + 5. Is y(p) prime?
True
Let f = -334 - -359. Suppose f*l - 405088 = -7*l. Is l prime?
True
Suppose 57 = -6*y + 21. Is y/(-2) - (20895 + 1)/(-4) prime?
True
Suppose s - 4*s + 9 = 0. Suppose -p - m = -s*p + 6, -2*m + 3 = p. Suppose -p*k + 1276 = -1679. Is k prime?
False
Let r(i) = 815*i + 135. Let d(y) = 4076*y + 675. Let c(l) = -2*d(l) + 11*r(l). Is c(8) a prime number?
False
Suppose -4*f - 129439 = -3*u + 28022, 4*f = 2*u - 104978. Is u a prime number?
False
Let i(g) = 10*g**3 + 6*g**2 - 2*g - 9. Let a be i(9). Suppose -7*q = -4*q + 3*b - a, q - 2565 = 5*b. Suppose q = -15*v + 8805. Is v a prime number?
False
Let p = 13162 + -8981. Is 36/(-4 + 10) + p composite?
True
Suppose 2*b - 21184 = f + 663, 3*b - 5*f = 32767. Let y = 3697 + b. Is y a composite number?
False
Let k = -22 - -18. Let b be ((-47)/4)/(1/k). Suppose 0 = 4*a - b - 1269. Is a prime?
False
Let g be (-364*5/25)/(4/230). Let p = -1187 - g. Is p prime?
True
Suppose -99*c + 6546444 = -7*c. Is c a composite number?
True
Suppose -11*f - m = -16*f + 435779, 0 = -f + 3*m + 87167. Is f prime?
False
Let g be (35*249 + 7)/1. Suppose -2*x - 1961 = -p, -3*x - 1083 = -5*p + g. Is p prime?
False
Is 1415921/((-2*6/18 - -1)*3) a prime number?
False
Let w(h) be the second derivative of h**4/4 + h**3 - 17*h**2/2 - h. Suppose -2*x - 3 = -2*t - 15, -12*t + 4*x = 88. Is w(t) a composite number?
False
Let x be (8/(-3))/((-2)/6). Suppose -12*p = -x*p - 8. Suppose 4*w - p*z = 2224, -4*w = -0*w - z - 2226. Is w prime?
True
Suppose 3*k - 120271 = 5*h, 25 = -5*h + 15. Is k a prime number?
True
Suppose 2*r + 5*m = 6641, -5*m + 3 = 8. Suppose 5*d - 7*d - 5*a = -r, -4*a = 5*d - 8265. Is d composite?
True
Suppose 13075673 + 11827443 = 64*z - 36340. Is z prime?
False
Suppose -14243776 = 21*b - 173*b + 4553304. Is b composite?
True
Suppose -40933 - 73978 = -2*n + 3*a, -3*a = 2*n - 114893. Is n composite?
True
Suppose -22*q = -51*q + 116261. Is q prime?
False
Suppose 5247*w + 75015793 = 5326*w. Is w a prime number?
True
Let v(l) = -10*l - 8*l + 138 - 28*l + 11. Is v(-8) composite?
True
Is 15/(-27)*(-32)/80 + 7756948/36 a composite number?
False
Let h = 237847 + 181612. Is h a prime number?
True
Suppose 278 = -t + 2*g + 2137, 0 = 3*t + 5*g - 5566. Suppose 5*c = -2*v + 4*c + t, 2*c = -2*v + 1856. Is v a prime number?
True
Suppose -2200 = -5*x + 4*x. Let a = -1237 + x. Suppose t + a = m, -2*m - 3*t = 2*t - 1954. Is m prime?
True
Is 170/(-765) - 909695/(-9) a composite number?
True
Let g = -245378 + 604083. Is g a composite number?
True
Suppose -3*w + 21 = -87. Suppose w*v - 4*v - 244448 = 0. Is v prime?
True
Let n(s) = 18*s**2 - 74*s + 12. Let i be n(4). Let b = 17 + -11. Is (-3)/b*i + (271 - -2) a composite number?
False
Let r(k) = -1015*k - 6. Let d(n) = -n**3 - 16*n**2 - n - 17. Let q be d(-16). Is r(q) a composite number?
False
Let o(d) = 164*d**2 - 2*d + 9. Let i be o(4). Let g = i + -1032. Suppose -5048 = -3*a + 3*b - 275, a - 2*b - g = 0. Is a composite?
True
Let l(c) = 21*c**2 + 207*c + 251. Is l(-58) a prime number?
True
Let j(w) = 5*w + 7 + 0*w + 16 + 71*w**2 + 2. Is j(6) prime?
False
Let b = -54 - -8. Let h = -36 - b. Suppose 0 = h*w - 15*w + 9505. Is w a prime number?
True
Let x be 13 + ((-1)/(-4))/((-5)/(-100)). Is (x/24)/(5/(-41620)*-3) composite?
False
Is (-869226)/(-10) + (-434)/(-1085) a prime number?
True
Let b(r) = -4*r - 48. Let h be b(-17). Suppose h = 30*l - 25*l. Suppose l*s - 6934 = 2*o, -3482 = -2*s + 4*o - 0*o. Is s composite?
True
Suppose 2*s = 6*s - 140. Let c be 43*s - (-2 + -1). Suppose -586 + c = 5*z + u, -2*u = -3*z + 561. Is z composite?
True
Let y(r) = 161*r**2 - 602*r - 2. Is y(-27) a composite number?
True
Let y(s) = s**3 - 5*s**2 + 2*s + 7. Suppose -3*v + 7 = -11. Let q be y(v). Is 61445/q + 4*3/(-66) a composite number?
False
Let u = -13 + 17. Let f(k) = 2*k**3 + 8*k**2 - 10*k + 5. Let a be f(-5). Suppose -v = 4*t - 1393, v - a*t + 4207 = u*v. Is v prime?
True
Suppose v + 9*i - 688313 = 10*i, -688293 = -v - 4*i. Is v prime?
True
Let z = 490 + -488. Suppose 0 = -z*w + 8543 + 18339. Is w prime?
True
Suppose m + 5*n = 292397, -4*n - 877305 = 416*m - 419*m. Is m a composite number?
False
Suppose 28*p = -67 + 403. Let w = p + 601. Is w a composite number?
False
Let u(g) = -1650*g + 421. Is u(-23) a composite number?
False
Let a(u) = 15*u - 3. Let w be a(-1). Let z = 21 + w. Suppose -182 - 451 = -z*g. Is g composite?
False
Let q = -8549 - -29356. Is q a composite number?
False
Let l = -542 - -28123. Is l prime?
True
Suppose -v - 35*r + 6118 = -36*r, 0 = -4*v - 5*r + 24481. Is v a composite number?
True
Let l be (-1 + -1 + 3)/((-2)/(-10)). Suppose 9 = l*v - 8*v. Is v/(-9) - 744/(-9) prime?
True
Suppose -2*b - 2114 = -9380. Let x = -2554 + b. Let k = x + -660. Is k prime?
True
Suppose r = 2*y + 1, 4*r - 90 + 26 = -4*y. Let m(p) = p**3 - 9*p**2 - 6*p - 45. Is m(r) a prime number?
True
Let v = 58360 + 184191. Is v composite?
False
Suppose 0 = -l - 4, 5*h - 5*l - 8 = 32. Suppose 0 = -4*u + o + 5108, 2*u = h*o - o + 2554. Is u a prime number?
True
Let y = -60 + 72. Let b(g) = 5 + 50*g**3 + g + g**2 - 25*g**3 - 24*g**3. Is b(y) a prime number?
True
Suppose 3*g = 3*n - 78, -5*g + 150 = 5*n - 0*n. Suppose -24297 = -33*u + n*u - 4*q, -4*u =