*l**2 + 4*l + 6. Is p(u) a prime number?
False
Suppose 0 = y + 5*a - 100953, -3*y + 6*y - a - 302923 = 0. Is y composite?
True
Let u = 126455 + -68584. Is u a prime number?
False
Let c(u) = -801*u - 245. Suppose -5*a - 43 = 27. Is c(a) a composite number?
True
Let z = -614 - -2619. Suppose 2*l - z = 1599. Let r = l - 1153. Is r a prime number?
False
Suppose 7*m - 968 - 152 = 0. Suppose 4874 = 2*b + 2*h + m, 9446 = 4*b - 2*h. Suppose 2*j = b + 922. Is j composite?
True
Let b(s) = -475 - s**3 + 2684 + 2178 + 8*s. Is b(0) prime?
False
Suppose 2*f - 14 = 2*u, 2*f - 4*u = -6 + 28. Suppose -4 = -0*c - c, -4*i = f*c - 96. Let y = i + 97. Is y composite?
True
Let f be (1/3)/((-16)/384). Is (-1)/4 + (-35098)/f + -2 a composite number?
True
Suppose -23*x - 488428 = -26*x + 5*u, 0 = 5*x + u - 814112. Is x a prime number?
True
Suppose 0 = -81*j + 109*j - 1447964. Is j prime?
True
Let s be ((-1504)/80)/(4/(-10)). Let b = 7 + -17. Let x = s + b. Is x a composite number?
False
Let m(f) = f**3 + f**2 + f + 1. Let l(y) = -3*y**3 - 15*y**2 + 18*y - 11. Let x(q) = l(q) + 2*m(q). Let c = 753 - 769. Is x(c) prime?
True
Suppose -13*f - 6*f + 95 = 0. Suppose -2*k + t + 6 = 3*k, 3*k + f*t = 26. Suppose -2*b + 8907 = 2*s + b, k*s - 2*b - 8932 = 0. Is s a composite number?
True
Suppose 2*v - 12 = -o - 3*v, -4*o - 5*v = -18. Suppose -r + 2*m + 14248 = 0, r + o*r + 4*m = 42714. Is r composite?
True
Let r be (-3 - (-4 - -3))/(-2) - -7. Suppose -i = 5*o + 3*i - 66, 0 = -2*i + r. Is (3217 - -19)*(0 + o/8) a composite number?
True
Let z(g) = -2*g**2 + 18*g - 20. Let h be z(7). Suppose -h*x + 7*x = -899. Is x a composite number?
True
Let f be (-6)/8*464/(-12). Suppose -27*x = f*x - 92792. Is x a prime number?
True
Suppose m - 5*p = 598 + 2199, 3*m - 8325 = 4*p. Is m a prime number?
True
Let o(b) = -b + 1. Let u(q) = -q - 3. Let m(g) = -6*o(g) + 2*u(g). Let f be m(4). Suppose -j + 564 + 5688 = 4*a, -5*a - f*j = -7815. Is a a composite number?
True
Is 15/25*154605450/486 - (-4)/54 composite?
False
Suppose 67 = 8*g - 3629. Suppose -4*u + o = -1672, -2*u - 2*o = -384 - g. Is u a prime number?
True
Suppose -53 + 21 = -2*p + 5*c, 0 = -4*p + 3*c + 36. Is p/(-2) + (-20 - -3364) composite?
True
Let q(u) = 17*u**3 - 1 - 1 + u**2 - 23*u**3 - 2*u. Let m(f) = -5*f**3 + f**2 - 2*f - 3. Let n(g) = 3*m(g) - 2*q(g). Is n(-4) a composite number?
False
Let k(d) = -28*d**3 - 21*d**2 - 28*d + 18. Is k(-19) prime?
True
Suppose 317893 = b - 22*v + 19*v, v - 953659 = -3*b. Is b prime?
True
Let b be (1/(-4)*-14)/(3/(-6)). Let p be 32373/1 - (b + 5 + -1). Suppose 3819 + p = 15*y. Is y composite?
True
Suppose 3*p + 1784 = -931. Let x = 1677 + p. Suppose 514 = -3*j + 5*j + 3*w, -3*j - 5*w + x = 0. Is j a composite number?
True
Let q(u) = -u**3 + 9*u**2 + u - 10. Let t be (-6)/(-2) - ((2 - 6) + -2). Let v be q(t). Is v*12333/(-27) - 10/(-45) composite?
False
Let g = -831976 - -1901397. Is g prime?
True
Suppose 0 = -2*h - 13*c + 15*c + 1279276, c + 3198162 = 5*h. Is h a prime number?
True
Let t(f) = -8*f**3 + f**2 + 2*f + 17. Let n be t(-8). Let x = n + -2373. Suppose -1605 = -9*q + x. Is q a composite number?
True
Suppose 2*y + 5*c + 220 = -21, -3*c + 233 = -2*y. Let r = 1449 - y. Is r prime?
True
Suppose 4*l + 1 = h, 3 = 3*l - 5*l + 3*h. Suppose l = -10*d + 484 + 73706. Is d a prime number?
False
Let d(o) = 4*o**2 - 58*o + 33. Let y = -108 + 125. Is d(y) a prime number?
False
Let m = -512 - -1116. Let i = -708 - m. Let r = i + 1941. Is r a prime number?
False
Let x(g) = 15*g**3 - 45*g**2 + 50*g - 563. Is x(44) a prime number?
False
Suppose 1171*c = 1155*c + 2408464. Is c a prime number?
False
Let z(k) = -k**3 + 22*k**2 - 42*k + 37. Let m be z(20). Is 42773/3 - m/(-3 + 12) composite?
True
Let v(y) = 8*y**2 - 2*y**2 - 16*y - 2*y + 11. Let b be (26/(-8))/((-5)/(-20)). Is v(b) a prime number?
True
Let m be -39 - 0*4/(-20). Let i be (-6)/(-15) + (m/15)/(-1). Suppose -4*j - 5*q = -8911, 5 = i*q + 20. Is j prime?
False
Let l = -52 + 51. Is (-1837)/l - 4/((-2)/2) prime?
False
Let f(m) = -4*m**3 + 5*m**2 + 5*m + 1. Let i be f(-9). Let v = -1297 + i. Suppose v = 4*w - 2*g, -2*g = -w + 6*w - 2457. Is w prime?
False
Let b(t) = -629*t - 920. Is b(-9) prime?
False
Let p = 210856 + -10815. Is p prime?
True
Let z(m) = 6*m - 129. Let a be z(18). Is (-76413)/a + (-12)/(-42) prime?
False
Let o(u) = -4*u**2 + 21*u + 29. Let d(h) = -17*h**2 + 84*h + 117. Let w(k) = 2*d(k) - 9*o(k). Is w(-11) a composite number?
True
Is 1849908/4 + -9 + (-40)/(-8) composite?
True
Let w be (-5770 - (-5 + 7))*6/(-8). Suppose -c + 3*y + w = -1882, 0 = 4*c + 5*y - 24844. Is c a composite number?
False
Suppose 1560*g + 2881508 = 1564*g. Is g a prime number?
False
Let r be (19/(-3))/(34/2346). Let b = 2672 - r. Is b composite?
False
Let g = -365 - -380. Is 5/g*(-19476)/(-12) composite?
False
Let k(m) = 9738*m - 841. Is k(56) a composite number?
False
Let j = 4745 + -3205. Let d be 16/12*6/4. Suppose -t + 0*t - 3075 = -4*s, 2*s + d*t = j. Is s composite?
False
Let n(w) = -w**3 + 13*w**2 - 2*w - 6. Suppose -u = 6 - 42. Let f be (-21)/1*(-12)/u. Is n(f) composite?
True
Suppose -30*z - 13976 + 199120 = -21826. Is z a prime number?
True
Let m = -47 - -44. Let z be -804 - (-2)/(-3)*m. Let c = z + 1133. Is c composite?
False
Suppose -3*u + 20 - 14 = 0. Let r(b) = -4*b + 5*b - u*b + b**3 - 5 + 0*b - 12*b**2. Is r(14) a prime number?
True
Let f = 607659 + -349058. Is f composite?
True
Let f = 12896 + -6589. Let r = -4 + 7. Suppose 2*n - f = -r*o, 2*o + o - 3*n - 6297 = 0. Is o composite?
True
Let h be (-65)/(-10)*850 - 2. Suppose 4*t - h = 7*t. Let u = -754 - t. Is u composite?
False
Suppose 2*l + 12 = 2*s - 4, 5*s - 2*l - 52 = 0. Let q(v) = 339*v + 85. Is q(s) a prime number?
True
Suppose -25662*y = -25650*y - 245352. Is y prime?
False
Suppose -12 = -3*s, 5*o + 4*s = 17 + 54. Suppose 212 = o*r - 1526. Is r composite?
True
Suppose -2*g - t + 29 = 0, -2*g + 5*g = 4*t + 16. Let q be (-520)/g*114/(-5). Let x = q + -681. Is x composite?
False
Suppose 3*o + 4*q = 53423, 4*o - 33221 - 37958 = 5*q. Is o composite?
True
Let y(i) = -11*i - 136. Let j be y(-13). Is (-72)/(-42)*1668 + (-3)/j composite?
True
Let i(w) = -3*w**3 + 6*w**2 + 7*w + 4. Let o be i(3). Is (-1 + 2)*o/(20/(-44210)) prime?
True
Let u(h) = 232*h**2 + 11*h + 27. Let w be u(-7). Let i = 2391 + w. Is i prime?
True
Suppose 0 = -242*h + 238*h + 5*l + 448667, 2*h + 4*l - 224314 = 0. Is h a prime number?
True
Let k(q) be the third derivative of 1361*q**5/120 + q**3 + 7*q**2. Let p(r) be the first derivative of k(r). Is p(1) a composite number?
False
Let f(o) = 2839*o + 3147. Is f(4) prime?
True
Let u = 60399 + 158558. Is u a prime number?
False
Let x(a) = 11*a - 25. Let m be x(5). Suppose -28*j - 6948 = -m*j. Suppose 4*t - 4*z + 1145 = 5*t, z + j = 3*t. Is t composite?
True
Let q = -437 + 466. Let y(c) = c**3 - 11*c**2 + 9*c + 80. Is y(q) prime?
False
Let z(o) = -5*o**3 - 15*o**2 - 63*o + 15. Let c be z(-6). Let i = -804 - -1670. Let j = i + c. Is j composite?
True
Suppose -2*w - 85300 = -3*k, 0*k = 5*k + 5*w - 142200. Suppose 10*j - 8*j + 3*g = 14228, -4*j + 4*g + k = 0. Is j a prime number?
False
Let h = 15286 - -20811. Is h a prime number?
True
Let l(i) = -3342*i**3 + 5*i**2 - 11*i + 14. Let x be l(3). Is (-1)/((-6)/9*(-24)/x) a prime number?
False
Let x be (-1 - (-8)/6)/(2/24). Is 2331 + (4/14)/(x/28) a prime number?
True
Let j be (1260 + 6/(-2))*((17 - 8) + -10). Let v be (-13796)/(-6) - 2/(-3). Let q = v + j. Is q a composite number?
True
Let i = 623768 + -128925. Is i composite?
False
Suppose 2*u + 4*v = 3*u, -3*v - 2*v = 0. Suppose u = -10*k - 11*k + 503517. Is k a prime number?
True
Suppose 4*h - 2614 = -b + 138, 0 = h - 2*b - 697. Suppose x - 45 - h = -3*u, -740 = -x + 3*u. Is x a composite number?
True
Suppose -3150641 = -158*q + 4978301. Is q a prime number?
True
Suppose -2*w + 9 = 13, 4*n - 3*w = 22. Suppose n*z + 7*h - 29284 = 5*h, -21963 = -3*z + h. Is z composite?
False
Suppose -4*d + p - 80 = 0, -3*d - 4*p + 2*p = 60. Is 3988*(-6 + (-125)/d) prime?
True
Let v(z) = 5*z + 3. Let h = 80 - 75. Let m be v(h). Suppose 0 = -m*j + 24*j + 508. Is j prime?
True
Let i = 477 + 2342. Is i a prime number?
True
Suppose 0 = 99*o + 11*o - 9*o - 8257861. Is o prime?
True
Suppose -5*o = 20 - 45, 0 = 