ose 0*x = -5*n + 5*x - 15, 4*n = -4*x + 28. Suppose 0 = n*i - 6 - 2. Suppose 6*d - i*d = 14. Is d composite?
False
Let d = -276 + 563. Is d composite?
True
Suppose -2*a = -4, 3*c = 3*a - 0*a - 21. Is (c - -4)*(-1172)/4 composite?
False
Let r = 5998 + -2915. Is r prime?
True
Suppose -2*u - 3*g + 8842 = 0, 4*u = 5*g - 7*g + 17684. Is u a prime number?
True
Suppose -4 = 2*p, -23*m - 5*p + 8489 = -22*m. Is m a prime number?
False
Suppose 14 = 2*v - 3*w, -18 = 4*w - 2. Let x be (-27)/((v/(-17))/(-1)). Let l = x - -806. Is l composite?
False
Suppose 11*q - 10*q - 5385 = f, -3*f + 21512 = 4*q. Is q a prime number?
True
Let g(p) = p**3 + p**2 + p + 145. Suppose 3*i = 7*i. Is g(i) a composite number?
True
Let s(u) = 7035*u + 32. Is s(1) prime?
False
Is (-1702799)/(-399) + 2/(-3) prime?
False
Let m(n) = 118*n**2 - 8*n + 5. Is m(4) prime?
True
Let u(s) = -256*s + 14. Let a be u(4). Is -1 + ((-4)/8 + -1)*a a composite number?
True
Let o = 38 - 33. Suppose -3*i + 1043 - 76 = -o*f, 1587 = 5*i + 4*f. Is i composite?
True
Is (-31244)/(-6) - 52/156 a composite number?
True
Suppose j = 3*p - 464, 0*j - 5*j - 2354 = 2*p. Let u = 1287 - j. Is u prime?
False
Let l = 213 + -77. Let z be l/(-20)*10/(-4). Suppose -z*q = -12*q - 5215. Is q a composite number?
True
Let s be 2/1*(3 + -2). Let p(m) = 9*m - 4. Is p(s) prime?
False
Suppose 0 = -3*p - 295 - 2282. Let k = p - -3126. Is k a composite number?
False
Is ((-73949)/(-219))/((-2)/(-282)) a composite number?
True
Let n(j) = -3*j + 26. Let t be n(-11). Suppose -43 = -3*a + t. Is a prime?
False
Suppose c - 2*o = -653, -2*o = -2*c - 472 - 838. Let f = 1492 - c. Is f prime?
False
Let c be 450 - 10/(-15)*3. Suppose 0 = 2*q - c + 6. Is q a composite number?
False
Let d be -2532*(-1 - (-2)/4). Let h = -1982 + 1089. Let y = h + d. Is y composite?
False
Suppose -m = 2*a - 7029, -5*m + a - 17492 = -52692. Is m a composite number?
False
Suppose 3*r - 6*r = -3495. Suppose -j - r = -6*j. Is j composite?
False
Let v = 31 - 41. Let n(m) = -m**3 + m**2 - 23*m - 11. Is n(v) prime?
True
Let l be ((-6)/(-4))/((-24)/(-32)). Suppose -4*u + 2 = -l. Is (-1)/u + (-84)/(-1) composite?
False
Let i = -283 + 1292. Is i a prime number?
True
Suppose 2*a - 3*y - 4 = 0, 2*a = a + y + 2. Is 1799 + (a + -10)/(-4) composite?
False
Let b = 7335 + -257. Is b prime?
False
Let j = 14 - 8. Let x be (-20)/(-6) + j/9. Suppose 33 + 11 = x*k. Is k composite?
False
Let s = 507 + -58. Is s prime?
True
Let i(p) = -7*p**3 + p**2. Let a be i(-1). Let s = a + -8. Suppose 2*u + s*u - 582 = 0. Is u composite?
True
Suppose -5*h + 4 = -3*h. Suppose 2*q - 4 = 3*x - 11, h*x + 54 = -4*q. Let t(p) = -3*p + 16. Is t(q) composite?
True
Suppose -3*w - 2*f + 17037 = 0, -3*f = -5*w + w + 22699. Is w prime?
False
Suppose l - 785 = 16292. Is l composite?
False
Let c(l) = -49*l**3 + 4*l**2 - 3*l - 9. Is c(-4) composite?
False
Suppose 2*v + 12 = 4*f, 3*f - 5*v + 40 = 7*f. Suppose f*g - 1 = -6. Is 157 + -1 + (-2 - g) a composite number?
True
Let h be (-27)/(-6)*4/6. Suppose 3*m + 0*m + h = 0. Is (20 - m) + 10/5 prime?
True
Let b = 15 + -11. Suppose m = -b*m + 25. Suppose -i = -5*r + 3983, 0 = m*r + 3*i + 2684 - 6675. Is r a composite number?
False
Let q(d) = -772*d - 169. Is q(-5) composite?
False
Let u be (-2)/(-3) + (-20)/3. Let z be 130290/114 - 10/(-95). Is (z/u)/((-3)/2) prime?
True
Let l be 4 - (10 - 3) - -22. Let q(s) = 4*s - 11*s + l*s + 5. Is q(12) prime?
True
Let v = -220 - -642. Let b = v - 127. Is b composite?
True
Suppose 2*j + 32 = 3*u + 6*j, 2*u = 2*j - 2. Suppose 43 - 887 = -u*a. Is a a composite number?
False
Suppose 0 = s - 2*o + 30, -5*o = -5*s - 144 - 6. Let x = s + 23. Let r(p) = p**3 + 9*p**2 - 8*p - 11. Is r(x) composite?
True
Suppose -22*k = -28*k + 276. Is k prime?
False
Let y = -6 + 8. Suppose -4*r + 20 = -0*i + y*i, r + 3*i - 10 = 0. Suppose 3*z = -r*f + 89, 0 = 4*f - 3*z + 5*z - 90. Is f prime?
True
Suppose -5*v + 10*v + 25 = 0. Is (-413)/(-1) - 5/(v/(-2)) composite?
True
Let c be (-162)/(-39) - 8/52. Suppose -4*t - c*p - 6 = -18, -p - 12 = -2*t. Suppose t*i + 254 = 1549. Is i a composite number?
True
Let g(r) = -623*r - 3. Is g(-7) a prime number?
False
Suppose 8*n + 69034 = 15*n. Is n composite?
True
Suppose 6*r - 389164 - 47738 = 0. Is r a prime number?
True
Suppose b + 8 = 3*b, -2*b + 33 = 5*w. Suppose -5*t + 3556 = 4*s + 317, t - w*s = 642. Is t a composite number?
False
Let z be 1148/364 + 1*(-4)/26. Suppose -101 = -5*m - 2*k, 4*m - z*k - 61 = 6. Is m a composite number?
False
Suppose -7*w = -340 - 122. Is (-2)/(-11) + (126840/w - 3) a prime number?
False
Is 140381/5*(10 + -5) composite?
False
Let b = 37 + -35. Suppose b*n - 2*x - 186 = -6*x, 5*x = 10. Is n composite?
False
Let o = -41400 - -83957. Is o prime?
True
Suppose 4*s = -6 + 30. Let m = s - 4. Suppose -m*j + 684 = -674. Is j a composite number?
True
Suppose 0 = 4*f + 3*o - 7, -6*f + 2*o = -5*f - 10. Suppose 20 = p + f*p. Suppose -13 = p*y - 5*y. Is y composite?
False
Suppose -37*j + 217785 = -22*j. Is j a prime number?
True
Let h(i) = -3*i - 3. Let m be h(-3). Let q(c) = -2*c**2 + 11*c + 3. Let v be q(m). Let l(r) = -19*r**3 + 4*r**2 + 4*r + 4. Is l(v) a composite number?
False
Suppose -2*z + 18 = 12. Suppose -2*l = z*t + 2*t - 1599, -2*t - 6 = 0. Is l composite?
True
Let l be (-4)/(-14) + (-256530)/(-70). Suppose l = b - 0*b. Is b composite?
True
Let w(q) = q**2 + 5*q - 10. Let l be w(-6). Is -2*l/(-8) + 1398 a prime number?
False
Suppose 0 = -28*l + 22*l + 28302. Is l prime?
False
Let u = -47 - -47. Suppose -5*x + 105 + 4780 = u. Is x prime?
True
Let l(r) = 81*r - 5. Suppose -2*q - 4*u + 12 = 0, 0*q + q = 5*u + 6. Let c be l(q). Suppose c = 4*v - 1179. Is v a composite number?
True
Suppose -t + 2 = -1. Suppose -t*n = -172 + 13. Is n prime?
True
Let z be 0*(-2)/(3 - 1). Let n = 1 + 3. Suppose -n*b - 2*b + 1758 = z. Is b a prime number?
True
Suppose -40*d - 69*d = -3402871. Is d a prime number?
True
Let z(r) be the first derivative of r - 3/2*r**2 + 6 + 1/4*r**4 + 6*r**3. Is z(-18) a composite number?
True
Let a(h) = -5*h**3 - 5*h**2 - 14*h + 3. Let n(o) = 14*o**3 + 16*o**2 + 41*o - 8. Let r(p) = -11*a(p) - 4*n(p). Let w be r(-8). Is 3040/w + (-1)/(-3) composite?
True
Let d(b) be the third derivative of 1681*b**5/60 - b**4/8 + b**3/6 + 12*b**2. Is d(-1) composite?
True
Let r = 16961 - 10608. Is r prime?
True
Let b(m) = -m**2 + 8*m + 13. Let t be b(9). Suppose 4*j + 160 = t*q, -77 = -2*q - 0*j + j. Is q a composite number?
False
Suppose 11955 = x - 2*o, 14*o - 11*o + 11953 = x. Is x composite?
False
Suppose 2 = -n + 2*n. Suppose 2713 = n*o - 1101. Is o composite?
False
Suppose 5*u = 2*g + 13125 - 1605, 3*g = -5*u + 11495. Let c = -1359 + u. Is c composite?
True
Let y = -19487 + 32796. Is y prime?
True
Let o = 2548 + -1149. Suppose -x + 2501 = 2*x + b, -2*x + 1664 = 4*b. Let j = o - x. Is j composite?
True
Suppose -2*p + v + 7607 = -3168, 4*p = 4*v + 21556. Suppose -12 = -4*t, -1599 + p = 2*l - 5*t. Is l a composite number?
False
Suppose -3999 = -k - 5*v, v = -4*k - v + 15960. Is k a composite number?
False
Suppose -4*y = 3*j - 1933, 0*j = 4*j - 2*y - 2614. Let o = 1058 - j. Is o a composite number?
True
Let z(d) = 259*d + 44. Is z(3) prime?
True
Let y = 46 - 26. Suppose -d + 3*t + 19 = 3*d, -4*t - y = -4*d. Is ((-1)/(-2))/(d/1528) composite?
False
Let i(u) = 39*u**2 + 5*u + 10. Let c be i(6). Suppose -3*v + c = -v. Is v + (-6)/(3 - 1) prime?
True
Let l be 2 + -1 - 20/(-5). Suppose -4*y + 56 = 4*m, -y = -l*m - 6 + 64. Is ((-3)/m)/((-2)/1528) prime?
True
Suppose -4*t + 16767 = -5*y, -5*y + 6*y - 4203 = -t. Is t a prime number?
False
Suppose 5*y = y + 3584. Let a = 1695 - y. Is a a composite number?
True
Suppose 2*g + 3*w = 217 + 6969, 3*g + 2*w = 10769. Is g composite?
True
Let z = 404 - 391. Is z prime?
True
Suppose -25*b - 44878 = -405803. Is b a composite number?
False
Let c(i) = 208*i - 322. Is c(15) composite?
True
Suppose -4*r + 7*r + 1482 = 0. Suppose -2*d - 6*g - 1739 = -g, -4*d - 3471 = 3*g. Let n = r - d. Is n a prime number?
True
Suppose 4*s = -11*s - 45. Is (-7700)/(-42) + 1/s a prime number?
False
Let u(i) = -i**3 - i**2 + i + 2. Let o be u(0). Suppose 0 = -a + o*a - 175. Let m = -30 + a. Is m a composite number?
True
Suppose -5*f + 5 = -10*f. Is (-1709)/((-2 - -3)/f) prime?
