) = -5*x + 19. Let v be c(5). Is p(v) composite?
False
Let a(n) = 286*n**2 + 2*n. Let s be a(2). Suppose 2*r = -4*o + s, o - 5*r - 574 = -o. Is o a composite number?
True
Let c(m) = -2*m**3 - 5*m**2 + 3*m + 5. Let f be c(-5). Is (-366)/2*f/(-15) a composite number?
True
Suppose 24*p - 29*p + 10 = 0. Let o(c) = 659*c**3 + 3*c**2 - c - 5. Is o(p) composite?
True
Suppose -4*h + 144 = -3*v, h - 72 = -h - 4*v. Let j = 46 - h. Is j prime?
False
Let c = 22 + -22. Suppose -2 = -2*v - c. Is v*(-2)/4*-194 a composite number?
False
Suppose -m = -3*c + 46, -3*c + 3*m + 49 = -m. Let b(p) = -10*p - 26. Let y be b(-9). Suppose -y = -r + c. Is r prime?
True
Suppose 3*m - 4591 = -0*m - 2*x, 0 = -5*m - 3*x + 7651. Is m a prime number?
False
Suppose -2*m - o + 18355 = -m, 0 = -4*m - 2*o + 73416. Is m a composite number?
False
Let o(f) = 888*f**3 + f**2 - 3*f + 3. Is o(1) a prime number?
False
Suppose 41437 = 20*i - 15303. Is i a prime number?
True
Let f = -4 + 7. Suppose f*i - 1 = 2*i. Suppose i - 75 = -q. Is q a prime number?
False
Suppose 0 = 5*i - 18 - 7. Let r(j) = 95*j + 4. Let q be r(i). Suppose 536 = 7*n - q. Is n a prime number?
False
Is 3/(36/8)*(-234552)/(-16) composite?
True
Let q(h) = -24*h - 11. Let s(r) = -23*r - 11. Let z(x) = -7*q(x) + 6*s(x). Let o be z(-5). Let w = o - -198. Is w composite?
False
Let t = -1161 - -3447. Suppose t = 8*v - 2*v. Is v a composite number?
True
Let t = 821 + -466. Suppose -2*s = -5*m + 1543, -4*s = 4*m + t - 1567. Is m a prime number?
True
Is 5686 - (-7)/(63/(-27)) a prime number?
True
Let q(i) be the first derivative of 2*i**3/3 - 14*i**2 + 21*i + 42. Is q(-23) a prime number?
True
Let v = 16 - 17. Is v + 845 + (4 - 7) a prime number?
False
Suppose 0 = -5*l + v + 164547, -2*l = 3*v - 47160 - 18652. Is l composite?
False
Suppose 4110 + 5962 = 8*t. Is t a prime number?
True
Let m(i) = i**3 + 12*i**2 - 14*i - 12. Let j be m(-13). Is j*((-2678)/(-14) + (-22)/77) prime?
True
Let q be 1*6/3 - -37. Suppose -q - 17 = -v - 4*w, 0 = -4*w + 12. Let k = 63 - v. Is k a prime number?
True
Let k(j) = -11*j - 7. Let f(u) = -12*u - 7. Let v(x) = -5*f(x) + 6*k(x). Let w be 10/4*(-6)/5. Is v(w) a prime number?
True
Is 2464 - (5 + -5 + 1) a prime number?
False
Let l be (-4)/(12*1)*-4101. Suppose 5*j + 167 - l = 0. Let i = -143 + j. Is i a prime number?
True
Suppose -3 = p, 3*b + 4*p - 2*p = -3. Let i = b - 5. Is (-1)/i + (-1267)/(-4) a prime number?
True
Suppose 70*y - 136 = 66*y. Is 3906/y - 12/(-102) a prime number?
False
Suppose 0 = 4*z + 4*a - 1508, -566 = 5*z + 3*a - 2455. Is z a prime number?
True
Is (-1)/(-4) + 2775/148 a composite number?
False
Let m(l) = -l**2 + 8*l - 4. Let z(g) = g**2 - 9*g + 5. Let w(j) = -7*m(j) - 6*z(j). Suppose -14*n + 171 = 17. Is w(n) a prime number?
True
Let r = 68 + -86. Let x = r - -65. Is x a prime number?
True
Is ((-4)/(-5))/2*174780/72 composite?
False
Let f be -3 + (0/3 - -137). Let l = f + 27. Is l prime?
False
Suppose 78 - 3034 = -2*c. Let z = c - -645. Is z a prime number?
False
Let i(c) = -1259*c + 89. Is i(-10) a prime number?
False
Let w(f) = 2*f**3 - 26*f**2 + 4*f + 10. Let y(s) = s**3 - 26*s**2 + 2*s + 11. Let r(c) = 2*w(c) - 3*y(c). Is r(-25) prime?
False
Let z(y) be the third derivative of y**5/15 - y**4/12 - 13*y**3/6 - 14*y**2. Is z(-8) a composite number?
True
Suppose -2*l + 11439 = 5*h, -6*l + 8 = -2*l. Is h prime?
True
Let p(t) be the second derivative of 5*t**4/12 + 2*t**3/3 + t**2/2 - 23*t. Is p(4) a composite number?
False
Let m be (2/(4/3047))/(19/(-38)). Let w = m - -5904. Is w prime?
True
Let s(g) = -2604*g + 7. Suppose 0 = r + 3. Is s(r) prime?
False
Suppose -150 = -2*n - 2*g, -2*n + 5*n = -5*g + 229. Is 2/12 - n*164/(-24) composite?
False
Suppose -5*l = -3*l - 960. Suppose -3*p - 714 = -3*y, -y + l = y + 2*p. Is y prime?
True
Suppose 3*y + 4*y = 35. Suppose -y*t + 5 = 0, -2*l - t + 8 = -3*t. Suppose -3*o - 4*p + 147 + 246 = 0, -l*o = -2*p - 629. Is o composite?
False
Let x be 2*3/(-4)*(28 + -26). Is ((-3)/x)/((-2)/(-1678)) composite?
False
Let q(a) = -a**3 - 5*a**2 - a + 7. Let r be q(-3). Is (3 + r + 3)/((-2)/419) composite?
False
Let k be 0 + (-1 - 0) - (-61 - -57). Is 37840/60 + 1/k composite?
False
Let l = 20 + -17. Suppose l*v = 961 + 944. Is v a composite number?
True
Suppose -9993 + 28244 = 5*t + 2*z, -t = -5*z - 3634. Is t a prime number?
False
Let u = -9 + 13. Suppose 3*m - 1299 = -3*j, 5*m - u*j = 1036 + 1165. Is m a composite number?
True
Let w = 6497 + -1734. Is w prime?
False
Let d = 3 + 2. Suppose -d*f - v = -6213, -2*v + 4*v - 1239 = -f. Is f a prime number?
False
Suppose -3*u + 2*h + 696 = 0, 4*h = -4*u + 761 + 167. Suppose -2*c + 3*t + 416 = 0, 0 = -4*c - t - u + 1078. Is c prime?
True
Let q(j) = -5*j + 4*j - 258*j**3 - 2*j - 2. Is q(-1) a prime number?
False
Let m(x) = -35348*x - 17. Is m(-1) a prime number?
False
Suppose -z - 537 = 2*g, -5*z - 4*g = -9*g + 2670. Let k(n) = 352*n**3 - 2*n**2 - n + 1. Let y be k(-1). Let q = y - z. Is q composite?
True
Let r(s) = -143*s + 4. Let x be r(-1). Is ((-2)/6)/((-1)/x) a prime number?
False
Suppose -5*r = -3*l - 2*l + 5, 4*l - 3*r - 6 = 0. Is l*(-2)/(-6) - -3802 prime?
True
Suppose -3*z = -2*h - 483, 4*h - z + 1001 = -2*z. Let b = 452 + h. Is b a composite number?
True
Suppose -1656 = 2*f - 5974. Is f a composite number?
True
Is (25030341/(-27))/(-17) - 4/(-6) a composite number?
True
Suppose 54*s - 63*s = -100593. Is s a composite number?
False
Suppose 3*c + 12793 = q, 17*q = 12*q - c + 63901. Is q a prime number?
True
Suppose 10*a + 9*a = 437. Is a a prime number?
True
Suppose 5*c = 12*c - 273553. Is c a composite number?
False
Is (-4)/(-4)*(2 - 3) - -11284 prime?
False
Suppose -3*r + 16498 = 5*h, -4*r + 4*h + 33624 = 11616. Is r a composite number?
False
Let t be 22/(((-4)/3)/((-4)/6)). Suppose 432 = t*x - 1889. Is x prime?
True
Let c = -19669 - -30948. Is c a composite number?
False
Let u be (-8)/(-36) - 2/9. Let s(q) = -q + 5. Let f be s(u). Suppose 3*k = f*x + 222, -2*k - k = 3*x - 246. Is k prime?
True
Let b = -8 + 2. Let t = b - 7. Is (0 + -1)*689/t prime?
True
Let k = -2454 + 12743. Is k composite?
False
Suppose -11*q = -13*q. Suppose 0 = -q*x - 9*x + 14301. Is x a prime number?
False
Let f(l) = -l + 4. Let g be f(3). Let c(b) = 8*b**3 - b + 1. Let t be c(g). Suppose 1452 = t*y - 2476. Is y a composite number?
False
Let w = -13 - -6. Let k be (-3)/7 - (-46)/w. Is (-7)/(k/330) + 1 prime?
True
Suppose 2*l - 111516 = -5*q, -3*l + 93152 + 74127 = 5*q. Is l a prime number?
True
Let s be 90/27 + (-1)/((-6)/4). Suppose k - 3*x - 78 - 323 = 0, s*k = 5*x + 1590. Is k a composite number?
True
Suppose 5*n = -3*h + 33, -14 - 3 = -2*n - 5*h. Suppose n*p - 4*p - 154 = 0. Is p prime?
False
Let c(m) = 59*m**2 + 21*m + 5. Let u be (4 - 1)*(-1 + -2). Is c(u) prime?
False
Let j(z) = 127*z**3 - z. Let b be j(1). Suppose 3*v - 1 = -4*x, v - 4*v - 15 = 0. Suppose -x*g + 22 = -b. Is g prime?
True
Let v be 1/2*4 - -2. Let u be (v/4)/((-1)/(-5)). Suppose 5*s + t - 243 = 3*t, 0 = -s + u*t + 44. Is s a composite number?
True
Let l = 160 - -82. Suppose 3*g + 355 = -14. Let h = l + g. Is h a prime number?
False
Let h = -1835 + 17088. Is h a composite number?
True
Let l = 423 - 262. Suppose 2*r - 3*r - v + l = 0, 3*v = 5*r - 805. Is r a prime number?
False
Suppose -34*r + 24*r + 831490 = 0. Is r a prime number?
False
Suppose 3501 = 2*d + 2*d - 3*j, 3*j + 1743 = 2*d. Suppose -3*r + d = -0*r. Is r a prime number?
True
Let z = 5 + -2. Let j(w) = -w**2 + 5*w - 3. Let v be j(z). Suppose -2 = 2*d, -h + 297 = v*h - d. Is h composite?
True
Let g = -36 + 38. Suppose g*u - 364 = 4*i + 1294, -u - 4*i + 859 = 0. Is u composite?
False
Suppose -4*a - 1512 = -5*l + 172, -5*a = -4*l + 1349. Suppose -725 = -146*y + 151*y. Let r = y + l. Is r composite?
False
Suppose -2*v - 2*i = -192, -4*i - 412 = -5*v + 23. Let y = v + -54. Is y composite?
False
Let v be (72/20)/(2/5). Let r be 3/v*3 + -341. Is r/(-6)*(-3)/(-2) composite?
True
Let d be (5 + -4 + -7)*2/4. Let o(y) = 12*y - 13. Let w(f) = 6*f - 6. Let n(k) = 3*o(k) - 7*w(k). Is n(d) prime?
False
Let i be (8/(-16))/(3/6). Is (-55664)/(-32) + i/2 prime?
False
Let p(z) = 65*z - 38. Is p(15) composite?
False
Let m(q) = 294*q - 107. Is m(11) a prime number?
False
Suppose -z + 1 = 4. Is ((-2)/(-6))/(z/(-