3 composite?
False
Let u(m) = 56013*m**2 - 23*m - 7. Is u(2) prime?
True
Let k(d) = 211*d - 72. Is k(31) composite?
False
Let k = 14 + -19. Let a(w) = 57*w**2 - 15. Let r be a(k). Suppose -2*u = 3*i + u - r, 0 = 2*i - 5*u - 933. Is i a prime number?
False
Suppose -5748 = -42*w + 38*w. Is w a prime number?
False
Suppose -5*i = -13373 - 25022. Is i composite?
True
Suppose -13*d = -8*d - 8150. Suppose 3*r - 4*r = -2*y - 322, -5*r + 5*y + d = 0. Suppose -4*i + 686 + r = 0. Is i prime?
False
Let f be (4 + 7 + 2)*1. Let w = 844 - f. Is w prime?
False
Suppose 3 = 4*o - 9. Is 915/10*22/o prime?
False
Let i(t) = -37*t**3 - 5*t - 5. Let a(o) = o + 3. Let y be a(-4). Let p = -3 - y. Is i(p) a composite number?
True
Suppose 0 = q, -a - 40 = 4*a + q. Let y be (12/a)/((-9)/84). Is -2*(-237)/12*y prime?
False
Suppose -4*m = -1792 - 112. Let d = m + 9. Is d prime?
False
Let z(j) = -11*j - 3. Let n(f) = -6*f - 1. Let q(i) = -5*n(i) + 3*z(i). Let p be q(-2). Suppose 0*y - 2*y + 42 = -p*x, 11 = y + 4*x. Is y a prime number?
True
Let c = 51 - 48. Let n(j) = 170*j**2 + 7*j - 10. Is n(c) a composite number?
True
Let h(x) be the first derivative of -9*x**2/2 - 14*x - 7. Let v be h(7). Let n = 226 + v. Is n prime?
True
Suppose 5*i + 56*w = 57*w + 17769, -17765 = -5*i + 5*w. Is i a composite number?
True
Suppose 293*v - 302*v = -253899. Is v prime?
True
Suppose -3*f + 15 = -3. Suppose -y + 4*t - f = -177, 774 = 4*y + 2*t. Is y a prime number?
True
Suppose 10 = -2*p - 0. Is p/((-10)/289)*2 prime?
False
Suppose 16092 + 11761 = 7*q. Is q a prime number?
False
Suppose q - 2649 = -3*z + 7*z, 8 = -2*z. Is q a composite number?
False
Suppose -2 = -s + 1. Is -3 + 327 + s + -4 prime?
False
Let n(s) = -s**3 + 22*s**2 - 17*s - 2. Suppose -32*v = -36*v + 76. Is n(v) prime?
False
Let l be 738/30 - (-4)/10. Let b = -1 + -17. Let c = l - b. Is c a composite number?
False
Let s(k) = -64*k - 5. Let m be 24/(-36)*(-3 - 0). Let v be (-8 + m)/(3/2). Is s(v) prime?
True
Suppose 0 = u - y + 2*y - 993, 1003 = u - y. Is u a prime number?
False
Let d = 218 - -230. Is d/1 + 2 + -3 composite?
True
Let b = -17 - -15. Is b*(1 - 10467/6) a prime number?
False
Let u be (-2751)/(-14) - (-1)/(-2). Suppose -5*w + 5*t = -3590, -5*w - 4*t + 3403 = -u. Is w prime?
True
Suppose -5728 = -t - 5*c - 2000, 0 = 2*c - 6. Is t composite?
True
Let v(n) = 16*n**3 - 4*n**2 - n + 4. Let s be v(-2). Let h = 343 + s. Is h composite?
True
Let d be 1 - 4 - (-8 + 0). Suppose -2*m - 15 = -d*m. Suppose i = -m*w + 6 + 15, -4*w - 8 = 0. Is i a composite number?
False
Let l(k) = -k**3 - 14*k**2 + k - 1. Let p be l(-14). Is p*1*67/(-3) a prime number?
False
Suppose 0 = -5*l + 2*x + 40, 0*x = -2*l - 5*x - 13. Suppose 8*r = l*r + 422. Is r composite?
False
Suppose 0 = 5*w - 20, 7*z - 109972 = 3*z - 2*w. Is z prime?
False
Suppose -59*u = -66*u + 7483. Is u prime?
True
Suppose 10 + 3 = -z. Let s = -9 - z. Let t(k) = 3*k**2 - 2*k - 1. Is t(s) prime?
False
Suppose 2*q - d - 28589 = 6407, -q + 3*d = -17503. Is q prime?
True
Let q(t) = t**3 + 3*t**2 - t - 5. Let p be q(-3). Let l be (-20)/(-5)*(p + 121). Suppose 6*y - 2*y - l = 0. Is y a composite number?
True
Let g(h) = -18*h + 1. Let f(i) = -i**2 + 8*i + 13. Let q be f(9). Let r = -11 + q. Is g(r) a composite number?
False
Let p(u) = -39679*u**3 - 11*u**2 - 7*u + 2. Is p(-1) prime?
False
Suppose 0*c + 2*c - 8222 = -4*m, m - 16444 = -4*c. Is c a composite number?
False
Let m(b) = 425*b + 15. Let l be m(10). Suppose -1613 = -2*t + l. Is t composite?
False
Let v(n) = 252*n**2 + 26*n + 107. Is v(-6) composite?
True
Suppose -3*m + 4*d + 30 = 7, 0 = -5*m + 4*d + 33. Suppose -3*l + 380 = 3*s + 2*s, 5*s + m*l - 370 = 0. Is s composite?
False
Let v(j) = -319*j - 72. Is v(-5) a composite number?
False
Let b(q) = 3*q + 3*q + q**3 + q**2 + 10 - 7*q**2. Suppose 11*s - 5 = 61. Is b(s) composite?
True
Let h(p) = p**3 + 10*p**2 + 10*p. Let g be h(-4). Suppose -5*v - g = -0*i - i, 3*v = -5*i + 168. Let x = i - 5. Is x composite?
False
Let z be 5 - (1 + -5 + 0)/(-2). Suppose -z*c + v + v = -637, -846 = -4*c + v. Is c a prime number?
True
Let z(f) = -32*f**3 + f**2 + 10*f + 8. Is z(-3) a prime number?
False
Let a(d) = d**3 - 10*d**2 + 8*d + 5. Let p be a(9). Let o be 30/(-40) - 719/p. Suppose b + 3*k = o, -b - 3*k - 585 = -4*b. Is b a composite number?
False
Let q = -121 - -122. Let l(r) = 142*r**2 + 4*r - 1. Is l(q) prime?
False
Suppose 10*w + 7532 = 44292. Suppose -74*k = -78*k + w. Is k prime?
True
Suppose -42943 - 62437 = -20*a. Is a composite?
True
Suppose -332 - 458 = -2*c. Let y = c - 268. Is y composite?
False
Suppose 0 = -67*g + 64*g + 2328. Let o = 524 - -458. Suppose o = 3*a - g. Is a prime?
False
Suppose 0 = -6*q - 0*q + 7878. Suppose 5*k - 3*o = q, -1309 = -5*k + o + 3*o. Is k prime?
False
Let s(l) = l + 3. Let u be s(-3). Suppose -2*m + 12*n - 7*n = -272, -m = n - 143. Let o = m - u. Is o a composite number?
True
Let i = -43 - -90. Let c = i + 156. Is c prime?
False
Let g = 17896 + -6303. Is g prime?
True
Let l(v) = -v**3 - 2*v**2 + 6*v + 15. Suppose -n - 32 = 7*n. Is l(n) a prime number?
True
Let x(k) = 10 + 7*k - 26*k**2 + 118*k**2 + 3*k + 3*k. Is x(-5) composite?
True
Let w = -55 + 79. Is 3/w + 17733/24 a prime number?
True
Let g be (-14 - -11)/((-1)/7*3). Suppose -g*w = -14*w + 1526. Is w composite?
True
Let w(q) = 32*q**2 + 6*q - 1. Let p = 27 + -23. Is w(p) composite?
True
Let c be ((-2 - -2) + 2 - 2) + 2. Suppose c*r = 2423 + 1695. Is r a prime number?
False
Let p(c) = -c + 6. Let q(f) = -f - 2. Let o be q(-6). Let j be p(o). Suppose 5*x = j*x + 39. Is x prime?
True
Let x = 38912 + -23419. Is x a prime number?
True
Let l(a) = 18*a**2 - 15*a + 11. Let j be l(6). Suppose -2*k + 13 = -j. Is k a prime number?
False
Let a(k) = -k**3 + 32*k**2 - 53*k + 20. Is a(18) prime?
False
Suppose 11*t - 1270 = t. Is t composite?
False
Suppose -l - 123 = -14552. Is l composite?
True
Suppose -6095 = -10*v + 32605. Suppose -5*m - 5*t + v = 515, -663 = -m + t. Is m a prime number?
False
Suppose -14*u + 4*l - 27359 = -15*u, -u = -l - 27359. Is u prime?
False
Suppose 4*b = 9*b + 5. Let r be (b - -2) + 0 + 0. Is (683 - 6)/(r - 0) prime?
True
Let v = 3745 + -308. Is v a prime number?
False
Let a be -4 + 0 - (-6 + -3). Is (-3 + a)*194/4 composite?
False
Suppose 0*u = 3*u + 9. Let c(r) = -6*r**3 + r**2 + 2*r - 1. Let o(d) = -31*d**3 + 6*d**2 + 10*d - 6. Let z(b) = 11*c(b) - 2*o(b). Is z(u) a prime number?
False
Is 6*63 - (17 + -22) composite?
False
Let y = -12 - -16. Suppose 4*l - 4*r = 880, 2*r = -y*l + r + 865. Is l prime?
False
Let v = 28 + -62. Let q = 19 + v. Is 9/15 - 3336/q a composite number?
False
Let g(l) = -2*l**2 - 3*l - 4. Let k be g(5). Let q = -14 - k. Suppose 2*x = q + 675. Is x a composite number?
True
Let v(s) = 10*s**3 - 4*s**2 - 3*s + 2. Let d be v(5). Let q = -459 + d. Suppose g + 2*g = q. Is g composite?
True
Let s(r) = r**3 - 13*r**2 + 12*r + 2. Let y be s(12). Suppose -y*p = -p + 58. Is (30/(-12))/(1/p) composite?
True
Suppose 3*o + 9 + 0 = 0. Is (o - -2)/((-1)/1887) - -2 a prime number?
True
Suppose 0 = 3*b - 5*l - 1172, -3*b - 2*b - 3*l = -1942. Is b prime?
True
Is (-29)/(-87)*(0 - -1347) a prime number?
True
Let l(r) = 34*r**2 - 12*r - 33. Is l(-7) a prime number?
False
Let c(d) = d**2 + 2*d - 4. Let b be c(2). Suppose -2*l = m - 417, -3*l + b*m = m - 648. Is l a composite number?
False
Let n be 2 + 4/(-3)*3. Let l be 47*(0 - (n + 9)). Let p = -138 - l. Is p prime?
True
Let n be (-11 - 2)/((-4)/4). Let s = -22 + n. Let r(a) = -5*a + 8. Is r(s) a prime number?
True
Suppose 5*h = 16*h - 110. Suppose -9*b = -h*b + 1399. Is b composite?
False
Let j(x) = 243*x**2 - x + 3. Suppose 0 = -3*z - 4*t + 2, 6 + 3 = 2*z - 5*t. Is j(z) a prime number?
False
Suppose 2*r - 28807 = -w, 2*w + 14396 = r + w. Is r a composite number?
False
Suppose 1 = 2*w - 1. Suppose 5*t - w - 8 = -2*n, 0 = n - 3*t - 21. Is (-85)/(-4) + 9/n a prime number?
False
Suppose 4*o = 5*u + 6, 3*u - 5 = o - 3. Suppose -u*y = -341 + 9. Is y a prime number?
False
Suppose -3*x + 5*s - 13 = 0, 0*x + 4*s - 32 = -3*x. Is (x - 28/8)*530 a composite number?
True
Let u = 423 - 152. Let z = u - -216. Is z a prime number?
True
Let x(i) = 3*i**3 + 8*i**2 - 10*i + 1. Suppose 0 = -5*m + 15. Suppose 3*h + 2 = 5*g, 5*g - 28 = -m*h + 10.