ose 18*u - 1833 = 453. Is u prime?
True
Suppose -23 + 2 = -3*x. Is 2919/(-12)*(3 - x) composite?
True
Let p(a) = 4*a**2 + 1. Let u be p(-2). Suppose 0*w + 4*y + u = -w, 4*w = y. Is -71*(-4 + w + 4) composite?
False
Let k(r) = -139*r - 25. Let h(d) = -417*d - 75. Let f(s) = -6*h(s) + 17*k(s). Is f(12) prime?
True
Is (-14)/63 - 30046/(-18) composite?
False
Let m(a) = -4*a - 5. Let t(j) = -j - j**2 + 13 - 9 - 5. Let q(u) = -m(u) - 3*t(u). Is q(-6) composite?
True
Let v be 2*(-2 + 22/4). Let o = -9 + v. Is 3660/(-6)*o/4 a prime number?
False
Let h(z) = -z**3 - 9*z**2 - 8*z + 2. Let q be h(-8). Suppose q*p + 30 = -3*p. Let i(a) = -a**3 - 5*a**2 - 4*a - 3. Is i(p) composite?
True
Suppose -31 = -17*k + 3. Suppose -2*v - 12366 = -2*t, -t + 0*t + 6191 = 3*v. Is k/(3 - t/2065) composite?
True
Let a be 1/((-2)/(-8)) + 1. Suppose 0 = -0*j + a*j - 2*d - 745, -5*j - 3*d = -745. Is j a prime number?
True
Let x be 6 + (6 - 7) + 1*-1. Suppose -786 + 8142 = x*v. Is v a prime number?
False
Suppose 4*m - 10813 = 3*m. Suppose m = 4*k + 4457. Is k composite?
True
Let v(o) = -2*o**3 - 10*o**2 + 9*o. Let i be (-318)/42 + (-6)/14. Let m be v(i). Let f = m - 121. Is f prime?
True
Suppose 17*k = 21*k. Is 119*((-4)/(-4) - k) prime?
False
Suppose -3*h = -2*o + 57, 4*h - 1 = -o - 0. Let w = -23 + 16. Is (w/o)/(2/(-222)) prime?
True
Is (-6182)/(-52)*250 - (-6)/(-39) a composite number?
True
Suppose 44176 = 6*q - 32870. Is q a composite number?
False
Is 23410/15 - ((-4)/3 + 1) prime?
False
Suppose -24 = -10*w + 2*w. Suppose -w*m = -5*l + 5931 - 164, 2*l - 4*m = 2318. Is l a composite number?
False
Let d = -7598 + 11867. Is d composite?
True
Let w(s) = -4*s - 6. Let i be w(-2). Suppose 478 = 2*o + i*c, 5*o - 3*c + 6*c - 1195 = 0. Is o a prime number?
True
Let b(h) = h**3 + 17*h**2 - 20*h + 19. Is b(-11) composite?
True
Suppose -24*d - 10*d = -261086. Is d a prime number?
False
Let f(m) = 130*m**2 + 114*m + 27. Is f(-16) prime?
False
Suppose -5*d - 42 - 247 = -g, g - 293 = 3*d. Suppose 4*p + 71 = 2*s - g, 0 = -s + 5*p + 176. Is s a composite number?
False
Let p be (2/(-6))/(6/(-54)). Let a be (-6)/(-4)*6 - p. Is (-796 + 7)*(-2)/a prime?
True
Let j be ((-3)/6)/((-5)/10). Let r = 2 - 10. Is j + 18*(-20)/r composite?
True
Suppose -10*m = -13784 - 16386. Is m a prime number?
False
Let j = -2083 + 8437. Suppose -6*c + j = 3*c. Is c prime?
False
Let i = 79224 + -46355. Is i a prime number?
True
Let a(s) = -s**2 - 7*s + 13*s + s**3 - 5 + 6*s. Is a(6) prime?
False
Suppose s = 3*s - 5*y - 44314, 5*s - 110747 = 3*y. Is s composite?
False
Let h = 4729 + 870. Is h a composite number?
True
Let a = 57 + -55. Suppose -a*m - 785 = -7*m. Is m a composite number?
False
Is (-78060)/(-150) - (-3)/5 a composite number?
False
Suppose -5*n - 15 = 4*m, 0*m = 4*n - m + 12. Suppose -3*z - 2*w = -1064 - 149, 0 = 4*z + 5*w - 1622. Is z - (-3 - n) - 0 composite?
True
Suppose 5*p - 4*p = 0. Is (42 - 10) + (3 - p) a prime number?
False
Let j be (1442/(-3))/7*-12. Let o = j + -585. Is o a composite number?
False
Is (-148)/4*(3 - 62) composite?
True
Suppose d - 3*f = -507, 2*d + 3*f + 1047 = -2*f. Let u = d + 729. Is u prime?
False
Let c(r) = -54*r**3 + 4*r + 5. Let p(q) = 55*q**3 - 5*q - 6. Suppose 16 = -4*k + 40. Let z(u) = k*p(u) + 7*c(u). Is z(-1) a prime number?
False
Let d(n) be the second derivative of -n**6/120 - n**5/60 + 415*n**3/6 + 3*n**2 - 3*n. Let f(q) be the first derivative of d(q). Is f(0) composite?
True
Suppose 3*t = 3*k + 23157, 7725 = 7*t - 6*t - 4*k. Is t a prime number?
True
Suppose a - 1074 = -0*a. Let p = a + -1749. Is p/(-2) + (-14)/28 a composite number?
False
Is (1 + -1)/4 - 47*-41 composite?
True
Let m(s) = 7*s**2 - 10*s + 9. Suppose 15 = -x + 3*d, -4*d + 20 = -2*x + 3*x. Let t be 7 - (x - (3 + -2)). Is m(t) a composite number?
True
Suppose -19*n - 1101 = -6098. Is n composite?
False
Let h = -64012 - -90843. Is h prime?
False
Let z be (-12)/42 + 52/(-14). Let b be (14/z)/(1/4). Is (2/(-3))/(b/3003) prime?
False
Suppose 3*b = 5*k - 51642, 3*k - 5*b = 5*k - 20663. Let x = k + -6194. Is x composite?
True
Suppose -10*z + 9 = -11. Is 0 + 4 + (2647 - z) a prime number?
False
Suppose -591212 = -4*k + 4*d, 5*k + 17*d - 738983 = 14*d. Is k prime?
True
Suppose -710 = 2*a + w - 2109, 0 = 4*a + 5*w - 2789. Is a a prime number?
True
Suppose 4*s + p = 9485, -4*s + 2*p + 4147 = -5335. Is s a composite number?
False
Let u(s) = s**3 + 2*s**2 + s + 4. Let q be u(0). Is (-3714)/(-10) - (q - (-108)/(-30)) composite?
True
Let u(j) = 109*j**2 - 13*j - 19. Is u(11) composite?
True
Let i(m) be the third derivative of -m**7/2520 + m**6/30 + 2*m**5/15 - m**4/6 + 2*m**2. Let r(j) be the second derivative of i(j). Is r(11) a composite number?
True
Let h = 4443 + -3082. Is h a composite number?
False
Is (-2 + 25123/(-21))/((-1)/3) composite?
True
Let g(n) = -63*n**2 + 2*n + 6. Let o be g(-2). Let h = o - -461. Is h composite?
False
Suppose i - 3857 = -0*i + 2*s, 4*i - 5*s = 15434. Suppose 7*a = -970 + i. Is a prime?
False
Let r(c) = -24*c + 23. Let k(x) = 47*x - 47. Let d(m) = -2*k(m) - 5*r(m). Is d(7) prime?
False
Suppose -7 + 0 = -z. Suppose 2812 = z*w - 1255. Is w prime?
False
Suppose 3*x = -0*x + 42843. Is x a prime number?
True
Suppose 16*o - 670479 + 226751 = 0. Is o prime?
True
Let q be 468 - (-3 - -3 - 3). Let x be 12/2*q/(-6). Let y = -234 - x. Is y composite?
True
Let b(l) = 5*l - 29. Let t(y) = -y + 6. Let n(u) = 2*b(u) + 11*t(u). Let i be n(6). Suppose -5*s = -4*z - 815, 0 = s + s + i*z - 326. Is s a composite number?
False
Let q = 9 + -3. Let f(s) = -5*s**3 - 6*s**2 - 7*s + 7. Let l(h) = h**3 + h**2 + h - 1. Let j(n) = -f(n) - 4*l(n). Is j(q) a composite number?
True
Is -1*(-2)/(-4) + (-6150)/(-4) a prime number?
False
Let b(k) = -246*k**3 + 4*k**2 - 7*k - 2. Let f be b(2). Let o = -569 - f. Is o composite?
False
Let t = -104 + 107. Suppose 4*a - 4*i - 3700 = 0, 2*i = t*a - 4*a + 937. Is a a prime number?
True
Let c = 6558 + -3423. Suppose c = 6*v - 4089. Suppose 2*r = 286 + v. Is r a prime number?
False
Suppose 4*d + 5*r - 186491 = 0, 3*r = 10*d - 11*d + 46628. Is d a prime number?
True
Suppose 0 = -l - 3*h - 3, 7*l = 3*l + 4*h + 52. Let i = l + -6. Suppose i*z - 178 = z. Is z composite?
False
Is (882/54 - 15)*188274/8 composite?
False
Let v(m) = -m**2 + 5*m + 6. Let a(q) = -q**3 - 5*q**2 - q + 1. Let r be a(-5). Let x be v(r). Is (x - -332) + (13 - 10) a prime number?
False
Suppose 3*o = -r - 68, -2*r - 2*r = 3*o + 56. Let q = 181 + o. Is q a prime number?
True
Suppose -19*l + 74081 = -212952. Is l composite?
False
Let z = 98 + -103. Let l(d) = -d**2 - 1. Let p(b) = -16*b**2 + 3*b - 2. Let j(t) = 5*l(t) - p(t). Is j(z) a prime number?
False
Let k be -1*6*4/8. Let u be 3 - (4 + k)*-36. Let l = 64 - u. Is l a composite number?
True
Let b be 68/6 + 12/18. Is 2 - 1 - -8*5*b prime?
False
Suppose -180 = -5*x + 585. Suppose 106 = -2*q + 5*q + v, -4*q = -v - x. Suppose -20 = -3*p + q. Is p prime?
True
Let j(u) = u**3 - 16*u**2 - 68*u + 6. Let h be j(28). Suppose 5*o + 10115 = 3*k, 3*k = 4*o + h + 2601. Is k composite?
True
Let x(c) = 5*c - 10. Let u be x(3). Suppose 375 + 260 = u*n. Is n prime?
True
Let j(p) be the third derivative of 47*p**4/24 - 2*p**3 - 5*p**2. Is j(5) composite?
False
Suppose -h - 15 = -4*h. Suppose 3302 = h*b - 383. Is b a composite number?
True
Suppose 33*t - 30*t - 8781 = 0. Is t prime?
True
Let r(m) = -5*m**2 + 17*m - 755. Let s(p) = p**2 - 4*p + 189. Let i(o) = 2*r(o) + 9*s(o). Is i(0) composite?
False
Suppose -i - 3*f + f + 4 = 0, f - 2 = 3*i. Suppose -2045 = -5*n - i*n. Is n composite?
False
Let q(t) = 14*t**2 + 3*t - 3. Let f be q(-3). Suppose 2*k - 4 - f = 0. Suppose 0 = -w - 2*o + 35, -76 - k = -4*w - 3*o. Is w composite?
True
Let t(a) = -2*a**3 + a**2 + a + 1. Let u be t(-2). Suppose -5*o - u = -734. Is o a composite number?
True
Let b be 2632 + ((-4)/6)/((-2)/9). Suppose -b = -3*q - p, 4*p - 3*p + 873 = q. Is q composite?
False
Let x be (5 - 2) + 150/5. Let n be 1/(63/x + -2). Is n/((-11)/252) + 2 a prime number?
False
Let l(s) = s**2 + 3*s + 4. Let g be l(-4). Suppose -2*y + 4*b = 6 - 32, -4*y - 3*b + g = 0. Suppose -y*j + 2*j = -102. Is j prime?
False
Let o(c) = -2642*c + 41. Is o(-3) a composite number?
True
Is 1*(-20)/8*21642/(-15) a prime number?
True
Let w = 