e?
True
Let c(q) = 295*q**2 + 105*q - 141. Is c(-32) prime?
True
Suppose 3*w - 3087 = z, z = -2*w - 0*z + 2053. Let o = w - -397. Let f = -1016 + o. Is f a composite number?
False
Suppose -9*i + 11*i - 4 = 0. Suppose -o - 4*o = 2*t - 8673, 0 = -i*o - 3*t + 3467. Is o a prime number?
False
Let p = 1232 + -557. Suppose 2*h + 151 = p. Is 26/(-4)*(5 + (3 - h)) a composite number?
True
Let k(d) = 17*d**2 - 49*d - 139. Is k(51) prime?
True
Let f(a) = -49 + 2*a - a + 50. Let r(y) = -10*y**3 - 4*y**2 + 3*y + 11. Let b(h) = -4*f(h) + r(h). Is b(-4) composite?
False
Let u = -42070 + 74175. Suppose -7*y + u = -2*y. Is y a prime number?
True
Let a be (-11 - 24255)*1/(6/(-57)). Suppose 0 = 12*l + 7*l - a. Is l prime?
False
Let z = -9791 + 48205. Is z composite?
True
Is ((-771269)/3)/(267/(-801)) composite?
False
Suppose 4*h = -p + 72098, -28*p + 23*p + 360634 = -4*h. Is p prime?
False
Suppose -6*a + 35 = -121. Suppose 0 = -w - 2*w + 2*n + 22, 4*n - a = -w. Suppose 6492 = -w*p + 14*p. Is p a prime number?
False
Let m be ((-19)/12)/(12/32) + (-158)/(-711). Suppose 5*h + 9 = -1. Is (h/m*3)/(201/50786) a prime number?
True
Suppose -5*m = -0*m - 2*x - 1876021, 14*x = -2*m + 750364. Is m a composite number?
False
Suppose 597712 = 5*i - 0*i + 11*i. Is i composite?
False
Let g(o) = 177*o**2 + o - 3. Let v(y) = 354*y**2 + 3*y - 7. Let p(k) = 9*g(k) - 4*v(k). Let r be p(-5). Suppose -12 = -4*j, 4*j - 14948 + r = -5*w. Is w prime?
True
Let r be (84/98)/((-4)/((-336)/9)). Is 15494*4/r + 6 a composite number?
False
Suppose 0 = 2*j - 0*j - 68. Suppose j*v - 29*v = 15. Suppose v*p - 630 = 3*c, 2*p - 2*c - 416 = c. Is p composite?
True
Suppose 39 = 7*c - 8*c. Let q = c + 45. Suppose -q*k = -820 - 50. Is k prime?
False
Is 401111 + (31/(-93))/(3*1/54) a prime number?
False
Suppose 5*w - 14 = -3*z, -2*w - 5*z + 3 = -14. Is ((-1)/w)/((-5 + 15)/(-46210)) prime?
True
Suppose -5*y = 30 - 140. Suppose -5*z = 4*x - 4339, -z + y - 19 = 0. Is x prime?
False
Let w(l) be the second derivative of -l**4/12 + l**3/6 + 247*l**2/2 + 11*l. Let m be w(0). Suppose i + m = 788. Is i composite?
False
Let x(u) = 3852*u**2 - 639*u + 4448. Is x(7) composite?
True
Let x(y) = 172*y**2 - 3*y + 27. Let d be x(-6). Suppose 11611 = 3*q + 4*i, 4*q = i - d + 21750. Is q a composite number?
False
Suppose g + 238 = -2*o + 3*g, 0 = 5*g + 10. Let k = 2148 - o. Is k composite?
False
Let s be ((-60)/9)/(-10) - (-20720)/6. Suppose o - 5409 = -n + s, 0 = 3*o + 15. Suppose 0 = -2*f - 2*f + r + 8888, -4*r = 4*f - n. Is f prime?
True
Let d be (16/10)/(4/(-20)). Let z(l) = l**2 + 2*l + 1. Let x(y) = -y**2 + 6*y + 26. Let a(h) = -x(h) + 5*z(h). Is a(d) prime?
True
Let m(w) = 1058*w + 8. Let c(a) = 2117*a + 18. Let p(z) = 3*c(z) - 7*m(z). Let y be p(-1). Suppose -x + 206 = -y. Is x prime?
True
Suppose 209 = 38*g - 19. Is 202*(165/g + -4) prime?
False
Let t(j) = -58*j + 38*j + 35 - 10. Is t(-8) prime?
False
Let l(g) be the first derivative of 92*g**3/3 - 2*g**2 - 3*g + 1. Suppose -4*a + 42*m - 41*m = 3, -4*m = 20. Is l(a) a prime number?
True
Let b(y) = 62470*y + 2537. Is b(3) composite?
False
Suppose 177*q - 175*q - 771391 = 3*a, -4*a = -2*q + 771398. Is q a prime number?
False
Let c(o) = 268*o + 11. Let t(f) = 268*f + 9. Let z(s) = -4*c(s) + 3*t(s). Is z(-9) a composite number?
True
Let n = 7522 - -10519. Is n composite?
False
Let j = 42 + -40. Suppose 4*a = k - j*k - 43, -3*k = 5*a + 115. Is (-7095)/k + (0 - (-4)/14) a composite number?
True
Let z be (-704)/3 - 4/3. Let w = z + -65. Let c = -80 - w. Is c a prime number?
False
Let q(o) be the third derivative of o**4/12 - 2*o**3/3 - 10*o**2. Let c be q(1). Is (-1 - (-409 + c)) + (-7 - -4) prime?
False
Let r(q) = 93*q**3 - 11*q**2 + 8*q - 7. Let n(d) = -91*d**3 + 12*d**2 - 9*d + 7. Let l(i) = 5*n(i) + 4*r(i). Is l(-6) a prime number?
False
Suppose -1906417 = q - 4*k - 6510338, k = -5*q + 23019605. Is q prime?
False
Let z be 8998 + 3 + (4 - 2). Let h = z - 5388. Suppose -3*v = 2*v - h. Is v a composite number?
True
Let u(y) = -9957*y - 404. Is u(-9) a prime number?
True
Suppose 52 = 28*f - 32*f. Let p(a) = 52*a**2 - 17*a + 14. Is p(f) composite?
True
Suppose -4*l + 251205 = 3*u + 2*u, 5*u = 5*l + 251205. Is u a prime number?
False
Let v(q) = 1490*q + 869. Is v(27) a composite number?
True
Suppose 20 = -6*a + 8*a. Let s(o) = o**2 - 11*o + 12. Let m be s(a). Suppose 10*y = -m*y + 22404. Is y composite?
False
Let a = -10198 - -6306. Let m = -2091 - a. Is m composite?
False
Let d = 2270 + -4804. Let g = -1527 - d. Is g a composite number?
True
Let z(k) = 4*k**2 - 2. Let x be z(-2). Suppose c = -5*g + x, -c - c + 6 = -g. Suppose -1837 = -t - g*y, 2*t - 688 = 3*y + 3000. Is t prime?
False
Let m(i) be the first derivative of 19*i**2 - 3*i + 20. Let j be m(1). Is (-3)/(-5) + 30184/j composite?
False
Is 2*-2 - (54095823/(-54) + 18/12) a composite number?
True
Let p = -5055 + 5932. Is p composite?
False
Let z be 2/5 - 84/(-15). Let j = -1096 - -12432. Suppose -j - 6202 = -z*i. Is i composite?
True
Suppose -148*g + 12*g + 43704824 = 0. Is g a prime number?
True
Suppose -14 = -29*m + 44. Is (35682/12 + -3)*m prime?
False
Let q(z) = 769*z**2 - 545*z + 5. Is q(17) a prime number?
True
Let l(n) = -815*n + 3453. Is l(-38) a prime number?
False
Is (590/40 - 15) + (-149)/(-4) a prime number?
True
Suppose s - 3*s = -4. Suppose -20 = -200*r + 195*r, -3*v = -4*r - 2. Suppose 3*f + 3604 = 4*j + v*f, s*j = 3*f + 1802. Is j a composite number?
True
Suppose 9 = 3*v, 16*v = 3*d + 17*v + 6. Is 5006/(-4 - -6) + 3 + d a composite number?
False
Suppose 0 = 231*x - 45*x - 199169358. Is x prime?
True
Suppose 0*m + m = 3*f - 12, 4*m + 4*f = 32. Suppose m*d - 1215 = -4*y, y + 315 = 2*y - 3*d. Suppose -5*w = -3*g + 1173, -4*w + y + 85 = g. Is g composite?
True
Suppose 18 = 3*g, -3*g + 1638532 = 8*h + 362138. Is h a prime number?
False
Suppose 661*g = 665*g - 20. Suppose g*v - 10*v = -24635. Is v a prime number?
False
Suppose 0 = -5*k + d + 703768, 0 = d + 3. Is k composite?
True
Let a = -2446 + 5756. Let c = -4864 + a. Let q = 13 - c. Is q a prime number?
True
Let s be -15261 - 7/((-105)/(-25))*-3. Let u = s + 27243. Is u a composite number?
False
Suppose 2*x = -8*x + 40. Suppose x*r - 3*m = -2*m + 20, 2*m - 38 = -5*r. Suppose r*g - 3648 - 3330 = 0. Is g composite?
False
Let n = 66 - 39. Suppose -30086 = -29*d + n*d. Suppose -26*q - d = -33*q. Is q a prime number?
False
Suppose 0 = u - d - 5, -19 + 0 = -5*u - d. Suppose -s + 11 + 8 = -4*q, -q - 91 = -u*s. Is s a composite number?
False
Suppose 3*p + 2*p = 3*o + 1080, o = -3*p + 662. Let u = 538 - p. Is u a prime number?
False
Let v(m) = 55*m**2 - 2*m + 3. Let c be v(16). Suppose -a - 2*o + 7812 = 0, -2*a + 1558 = o - c. Let i = -5469 + a. Is i composite?
False
Suppose 22244 = 4*i - 5*c, -4*i = -394*c + 395*c - 22244. Is i a prime number?
False
Let y be (24/5)/((7 + -3)/(-20)). Let g be 4/(-6) - (-3 - y/(-9)). Suppose 1197 = g*o - 6488. Is o prime?
False
Let x(q) = 426*q**2 - 7*q + 3. Suppose -12 = -11*y + 5*y. Is x(y) composite?
False
Suppose -4*z + 15*k - 13*k - 122 = 0, k = 3. Let m(y) = -175*y + 152. Is m(z) composite?
False
Let k be 4*((-1)/(-4)*6 + -1). Let f be k/(-6) - 1/(-6)*2. Suppose 2*n - i = 794, f*n + 397 = n + 3*i. Is n prime?
True
Let t(b) = 685*b. Let o be t(-3). Is (-9)/6*(-4)/(-3) - o a composite number?
False
Let x(b) = b**3 - 14*b**2 - 53*b + 31. Let u be x(17). Is 142/9*u*(-6)/4 a composite number?
False
Let z = 4602 + -635. Is z a composite number?
False
Let i be (((-25)/(-10))/(-5))/((-2)/(-4)). Let t be 857/1 + i + 1. Suppose -1066 = -3*y + t. Is y a prime number?
True
Suppose 5*j = 2*w - 9502, 548 = -2*w - 2*j + 10050. Is w a composite number?
False
Suppose 9*t + 6031 = 47512. Let s = t + -3248. Is s composite?
False
Let a(x) = 7*x**2 + 113*x - 101. Let w be a(-17). Let v = -1952 - -761. Is -4 + 10 + -4 - v/w prime?
True
Is (-22)/264 + (-6659380)/(-48) a composite number?
True
Suppose -142*p + 34158147 = -72276959. Is p a composite number?
False
Let b = -7442 - -19807. Is b composite?
True
Let g(t) = -t**2 - 9*t + 3. Let f be g(-9). Suppose 2*q - 3*z + f = 0, -q - 1 = -3*z + 5. Suppose -6*b + 171 = q*b. Is b prime?
True
Let q = 18 + -16. Suppose -2*t + 4 = 0, -q*k - 3*t = -2*t - 14. Suppose 797 = k*y - 1585. Is y composite?
