55 = -38*j + u*j. Is j a prime number?
True
Suppose 2*c - 5 = b, b + 3 = 2*c - c. Is 8 + 790 + c/2 composite?
True
Suppose 0 = -2*i + 11*i + 3*i - 1215204. Is i a prime number?
True
Suppose 0 = 5*n - 11*n + 12. Suppose -n*s - 5*x = 92, -s + 4*x - 46 = -x. Let o = 248 + s. Is o prime?
False
Suppose 50183*m = 50177*m + 4253646. Is m a prime number?
False
Let l(x) = -25*x**2 + 4*x + 2. Let d = 24 - 36. Let m be l(d). Is (10/4 + 0)*m/(-5) prime?
True
Suppose -4*p - 4*p - 40 = 0. Let d(v) = v**2 + 41*v + 14. Let r(x) = 3*x**2 + 83*x + 27. Let h(k) = p*d(k) + 3*r(k). Is h(-17) prime?
True
Suppose 5*c - 179 - 41 = 0. Let v = 44 - c. Suppose v = 3*h + 2*l - 1277, 0 = -2*h - 3*h + l + 2137. Is h prime?
False
Let u be 8/(-6)*(51 + -54). Is (2 - 3)*(-4 + -491 + u) prime?
True
Let a be -6*(-5)/(-10)*-1. Suppose -j - 5*d = -1964 - 754, d - a = 0. Let h = j + -1418. Is h a composite number?
True
Let c = -36 + 36. Suppose c = t + t. Suppose -2*n = -4*o + o - 829, -5*n + 5*o + 2080 = t. Is n prime?
True
Let a be (-3 - (3/6 + -4))*-38. Let d(l) = 564*l + 12. Let o be d(a). Is (28/16)/(4*(-3)/o) prime?
False
Suppose 30*x + 5*g - 58384 = 27*x, 4*g + 116782 = 6*x. Is x a composite number?
False
Let z be 4 + (4 + -3)*-5 + 1. Suppose 24*j + 13505 - 81353 = z. Is j a composite number?
True
Suppose 0 = -24*l + 205734 + 744834. Is l composite?
False
Let r = 10207 - 2016. Is r a composite number?
False
Suppose 70*g - 28855489 - 12097963 = -46*g. Is g a prime number?
True
Suppose 37*g - 59*g + 1926672 = 0. Suppose 3*x - 19671 = g. Is x composite?
True
Let h be (6599/2 - (-6 - -11))*12. Suppose -24*n = -18*n - h. Is n a composite number?
True
Let z(d) = d**3 - 11*d**2 + 24*d - 52. Let y be z(9). Let g(c) = 142*c + 5. Let a be g(5). Suppose u = 4*i - 572, -5*u + a = 5*i - y*u. Is i a prime number?
False
Let d(v) = -v**3 + 17*v**2 - 13*v + 22. Let s be d(16). Let f = 66 - s. Is 80 - ((-1)/(-4) + 13/f) a composite number?
False
Let b(y) be the third derivative of -49*y**4/12 - 13*y**3/6 + y**2. Let u be (-4 - 32/(-6))/(7/(-21)). Is b(u) composite?
False
Suppose 5*j + 20 = 0, -3*s + 3*j - j + 20 = 0. Suppose -s = -v - 0, -14950 = -2*y + 3*v. Is y prime?
True
Suppose 3*v - 274874 = -5*x, 15*x - 2*v = 11*x + 219886. Is x a prime number?
True
Let x(h) = -77*h - 4. Let v be (2 - 5/2)*14. Let a be ((-30)/8)/(v/(-28)). Is x(a) composite?
False
Let o = -19 + 24. Let t(v) = -v - 10 + o*v - 6*v**2 + 2*v - v**3 + 0*v**2. Is t(-9) prime?
True
Let l(j) = 26*j - 74. Let q be l(3). Suppose -3*o + 4193 = -q*z, 0 = 5*o + 2*z - 6463 - 534. Is o a prime number?
True
Suppose -n - a + 2434 = -0*a, 7294 = 3*n + 5*a. Let c(y) = -631*y. Let b be c(-7). Let l = b - n. Is l a composite number?
False
Let a(n) = n. Let u(j) = 21*j - 2. Let x(y) = -2*a(y) - u(y). Let k be x(3). Let l = k - -146. Is l composite?
False
Let l(y) be the first derivative of 5*y**4/3 - 5*y**3/6 - 2*y**2 + 7*y + 10. Let u(n) be the first derivative of l(n). Is u(5) a prime number?
False
Suppose -4*g = -g + y - 16063, 0 = 3*g - 5*y - 16093. Suppose 4*q - 3*x - 180 = g, 0 = q + x - 1377. Is q a composite number?
False
Let b(i) = i + 17. Let s be b(-12). Suppose -5*v + 19735 = -4*f, 15767 = 4*v + s*f - 4*f. Is v composite?
False
Let m(l) = -55771*l + 415. Is m(-46) a prime number?
True
Let k = 5967 - 4164. Suppose -9*f = -10*f - 2*d + k, d = 1. Is f prime?
True
Is (29/145)/(6/3389010) a composite number?
False
Let j(p) = 317*p**3 - 4*p**3 - p**2 + 5*p**3. Suppose 5*h + 2*i - 1 = 10, 0 = -2*h - i + 5. Is j(h) composite?
False
Let x(z) = 18*z**2 + 36*z + 251. Is x(49) composite?
False
Suppose 23452*t - 527890 = 23442*t. Is t a prime number?
False
Let f be 1*2*(19/2 + 1). Let a(j) = 30*j + f*j - 21 - 11. Is a(5) a prime number?
True
Let c(s) = 53*s**2 - 34*s + 1590. Is c(39) prime?
False
Suppose 0 = 2*v + 3*t - 30675, 46017 = 3*v + 13*t - 10*t. Let q = v + -6923. Is q a composite number?
False
Let i(b) = 21*b**3 - b**2 - 12*b - 5. Let u be i(-10). Is ((-3)/(-15))/(5 + 104922/u) a composite number?
False
Suppose 0 = -8*y + 21 - 37. Is (-6666)/(-10) + y/(-5) a composite number?
True
Let u(p) = -65*p**3 - p**2 + 22*p + 3. Let d be (40/4 - 7)*(-10)/6. Is u(d) a prime number?
True
Let j(z) = z**2 - 5*z - 14. Let i be j(7). Suppose 0 = 5*y - 5*o + 35, -10 = 2*o - i. Is 2/(-4)*6*2716/y a prime number?
False
Let t = 302 + -303. Is (-24604)/(-16) + (t - (-2)/8) composite?
True
Let r = -8 - -18. Let a(s) = s + 2 + 0*s - 8*s**2 - 3*s + 405*s**3 + r*s**2. Is a(1) a composite number?
True
Let i be (-4*(-3)/(-42))/(12/(-336)). Suppose i*w + w - 42327 = 0. Is w a prime number?
True
Suppose -7*p - 8*p + 2075329 = -783266. Is p composite?
False
Suppose -13642 = -2*o + 4*d, -26*d + 25*d = -4*o + 27270. Is o a composite number?
True
Let y(k) = 2*k**3 - k**2 + 4*k - 3. Let h be y(1). Suppose -8*a = -9*a - h. Is a/(-4) + 1586/4 a prime number?
True
Suppose -126 = -29*j + 135. Let r(u) = -30*u**3 - 2*u**2 - u - 1. Let n be r(-5). Suppose -j*i = -i - n. Is i prime?
True
Let y = -25 + 30. Suppose -2642 = -y*f + 3*k + 1928, 4*f - 4*k - 3664 = 0. Is f composite?
False
Let c = 33573 + -9854. Let l = c - 7904. Is l prime?
False
Let n(v) = 171*v - 253*v + 1 - 292*v - 176*v. Let b be n(-2). Suppose 0 = 5*k - 1144 - b. Is k a prime number?
True
Suppose -32 = -4*q + n, 3*q = -4*n + 3*n + 24. Suppose 0 = -10*t + q*t - 265224. Is t/(-30) - 3/(-5) a composite number?
False
Suppose -22*h + 20*h = 0. Suppose 3*w + h*w - 3*n = 3639, 4*w + 3*n = 4880. Is w a prime number?
True
Suppose 28*b = 27*b + 102299. Suppose -7895 + b = 6*y. Is y a prime number?
False
Let p be -15*(-5 + 0)/(-5). Let c(f) = -73*f**2 - 2. Let n be c(-2). Is n/p - 6/10 - -2 a prime number?
False
Let b = 4 + -13. Let f = 23 + b. Let d(m) = -m**3 + 16*m**2 - 20*m + 15. Is d(f) a prime number?
True
Let k(v) = 23*v + 49. Let w be k(-2). Is (-20)/(-4) - (5 - w)*-13 prime?
True
Suppose t + 4*c + 1 = 3, 2*t + 3*c - 19 = 0. Is t + -12 - (-9 - 2) a prime number?
True
Let j = 310989 - 201398. Is j prime?
False
Suppose 5*o - 11 = -5*h - 6, 0 = h - 3*o - 5. Is (-182)/21*(-453)/h a composite number?
True
Let s = 259 + 9. Suppose -s = -9*k + 5*k. Is k prime?
True
Suppose -3101771 = 102*s - 33869969. Is s a composite number?
False
Let h(u) = -6893*u**3 - 10*u + 7. Let j(y) = -20681*y**3 + y**2 - 29*y + 20. Let g(t) = 8*h(t) - 3*j(t). Is g(1) a composite number?
False
Let g(q) = -q**2 - 7*q - 5. Let v be g(-5). Suppose -3*c + 3106 = -v*l, -2*c = -l - 1095 - 964. Is c prime?
False
Let v(h) = -2*h + 190*h**2 + 6*h - 7*h + 31*h**2 + 0 + 19. Is v(-6) a composite number?
False
Is 1/(-4 + (-597498)/(-149374)) prime?
True
Let g = 480 + -256. Let o = 2297 - g. Suppose -t - 5*a + o = 0, -8232 = -4*t + 5*a - 10*a. Is t prime?
True
Suppose s = 7*n - 11*n + 171673, -4*s = 2*n - 686776. Is s prime?
True
Let r be (-2)/10 + (-243)/(-15). Suppose 6 = -14*n + r*n. Is n/((-3)/(-4)) + 201 a prime number?
False
Let k = -133 + 80. Let b = 53 + k. Suppose -696 = 5*p + 2*v - 2303, 3*v - 3 = b. Is p a composite number?
True
Let p = 298724 + -179841. Is p a prime number?
False
Let s be -15*(46/(-10) - 15/(-3)). Is (-6492)/(-8)*(s - (0 + -8)) a prime number?
False
Let y(c) = 265*c**2 - 5*c + 107. Is y(11) a composite number?
False
Let g(u) = -1319*u + 31. Let p be g(-11). Suppose 0 = 2*k, -26153 - p = -n - k. Is n composite?
False
Let o(p) = p - 16. Let j be o(20). Suppose -j*z - 15 = -7*z. Suppose z*d - 490 = 5*g, 142 = 2*d + g - 39. Is d a prime number?
False
Let w = 8521 - 3770. Is w prime?
True
Let u(j) = 18*j - 19. Let h be (2 + 1*-6)/(-2). Let d(z) = -z. Let p(k) = h*d(k) + u(k). Is p(8) a composite number?
False
Let f(u) be the second derivative of -u**5/20 + 3*u**4 + 13*u**3/6 - 47*u**2/2 - 27*u. Is f(21) a composite number?
False
Suppose 5 = -4*h - 0*h - 5*l, 4*l = 3*h - 35. Suppose h*d = d + 252. Is (-21)/d - 94/(-3) a composite number?
False
Let m be (67 - 3)*68*2 + 5. Let v = m + -136. Is v composite?
False
Let g(f) = -f**2 + 3*f + 7. Let p be g(0). Is (-8)/(-28) - (-50349)/p prime?
True
Let s = 382 - 376. Is (s + 152/(-24))*-24441 prime?
True
Let u = 53095 + -23148. Is u a prime number?
True
Let x(w) = 2*w**2 - 11*w + 30. Let y be x(16). Let u = 120 - y. Is (39/(-6))/(3/u) composite?
True
Suppose 0 = 3*p - 2*z + 2036 - 6883