. Let o be f(-4). Let a(c) = 27*c - 5. Let g be a(-7). Let j = o - g. Is j a prime number?
False
Let y be 69 + (4 - (-3)/(-3)). Suppose -2*f + 19 = z - 8, 5*f + z - y = 0. Is f prime?
False
Suppose -563620 = -6*g + 2*u + 3*u, u = -2*g + 187868. Is g a prime number?
False
Let h = 57 + -122. Is 2/5 - 74789/h composite?
False
Let p be 5/2 + (-18)/(-12). Let i be (4/6)/(p/(-102)). Let j(b) = b**2 + 5*b + 19. Is j(i) prime?
True
Let i = 1686 + 68. Suppose i = p + p. Is p a composite number?
False
Let p be 10/(-2)*1/(-5). Let m(l) = -l**3 + l. Let q(n) = 5*n**3 + 10*n**2 + 7*n + 9. Let f(k) = p*q(k) + 4*m(k). Is f(-8) prime?
False
Suppose 33464 = 4*g - j - 43602, -j - 96333 = -5*g. Is g a prime number?
True
Let z(t) = t**3 + 22*t**2 + 18*t + 7. Let y be z(-7). Let i = 1940 - y. Suppose -f - i = -5*f. Is f composite?
False
Is (114/(-24) - -5)*63964 a prime number?
True
Let w(n) = n**2 - n. Let r be w(1). Suppose 5437 = c - 4*m, -5*c + 3*m + 27185 = -r*m. Is c a composite number?
False
Suppose 12*f = -32*f + 963204. Is f composite?
True
Let z = 1242 - -8795. Is z composite?
False
Let s(v) = -v + 3. Let x be s(-3). Let m be (x/18)/(2/18). Suppose 0 = m*y - 2*y - 43. Is y composite?
False
Let a(j) = 5*j + 24. Let f(l) = -l - 4. Let t be f(-11). Is a(t) composite?
False
Let k(l) = -l + 16. Let j be k(12). Suppose -2*u = 3*n - n - 102, -j*n - 172 = -4*u. Is u composite?
False
Suppose 2*t = -b - 2*b + 136, 0 = 3*b. Suppose -64*i = -t*i + 5528. Is i prime?
False
Let w be (5068/10 - -3)*5. Let y = w + -1192. Is y prime?
False
Suppose -12421 = -4*i + 2*p + 50855, i - 2*p - 15825 = 0. Is i a prime number?
True
Suppose 0 = 10*k - 5*k. Is -1 - (-287 + -4 + (-3 - k)) prime?
True
Let o(d) = 160*d**2 + d - 1. Let c(m) = 321*m**2 + 2*m - 2. Let k(w) = 3*c(w) - 5*o(w). Suppose 0*z - 2*z = -2. Is k(z) prime?
True
Let v = 4 - 1. Suppose -6 = 2*y - v*f, 0 = f + 4*f - 10. Suppose y*p - 957 = -3*p. Is p composite?
True
Suppose -3*u + 3*j + 4272 = 0, -4*u - j - 857 + 6578 = 0. Suppose -1088 = -3*t + u. Is t a composite number?
False
Let l(b) = b**2 + 9*b - 10. Suppose 0 = 4*y + 12 + 28. Let t be l(y). Suppose t = 5*o - 659 - 776. Is o a composite number?
True
Suppose 3*g = -4*t + 16, 4*t + 0 = 2*g + 16. Suppose g = -5*s + s + 1780. Is s composite?
True
Let h be (4/3)/(10/15). Suppose -5 = 5*w, h*f - 5*w + 11 = 6*f. Suppose 6*r - f*r = 514. Is r a prime number?
True
Is -2*4/8*(5 + -396) a prime number?
False
Suppose -a + 5*m = 3, 6*m = -2*a + m + 9. Suppose 3*n - 261 = 2*w, a*n + 5*w = -26 + 181. Is n a prime number?
False
Suppose 2*i - 5*s = 25055, -2*i + 6*i = 3*s + 50075. Is i a prime number?
False
Let d = 1321 + 1862. Suppose x + 2*x - 2*u - 3183 = 0, -d = -3*x + u. Is x a prime number?
True
Let y = 3 - 0. Suppose y*g + 3138 = 14067. Is g a prime number?
True
Is 6/(-12) - 72120/(-16) a prime number?
True
Let h be (-4)/(-2)*(-25)/(-10). Suppose -2*v - 119 = -a + 2*v, -h*v = 20. Is a composite?
False
Let p(o) = -10702*o + 357. Is p(-13) prime?
True
Suppose -4*a + 7*a + 12 = 0. Let b(c) = -c**3 - 3*c**2 + 4*c + 3. Let o be b(a). Suppose 4*q = 6*i - 3*i - 1727, 2*q - 1751 = -o*i. Is i a prime number?
False
Let n(y) = -11*y**3 + 20*y**2 + 7*y - 23. Is n(-20) prime?
False
Suppose -5*d = -h - 1271, -5*h = -d - d + 513. Let c = -105 + d. Is c prime?
True
Let y(z) = 1493*z - 78. Is y(5) a composite number?
True
Let m(n) = 5*n**2 - n + 6. Let z be m(-6). Let a = z - -297. Is a a composite number?
True
Let l be (-6)/(-4) + ((-2044)/8 - -2). Let o = l - -418. Is o composite?
True
Suppose -j + 6 = -2*v, 0*j = 4*j + 4*v + 36. Let g(w) = 3*w**2 - 5*w - 1. Is g(j) a prime number?
True
Suppose -5*v = 5*f - 20, 206*v - 15 = 202*v - 5*f. Let k(o) = -o - 4*o**2 + 5*o**2 + 8*o - 7. Is k(v) prime?
True
Let s = -3980 + 7471. Is s composite?
False
Suppose 2*p + 40 = -3*p - 5*l, 0 = 5*p - 2*l + 26. Is (-1 - 1899/p)*2 a composite number?
False
Let l(b) = 7*b**3 + 13*b**2 - 12*b + 28. Let n(w) = -6*w**3 - 12*w**2 + 13*w - 27. Let i(f) = 4*l(f) + 5*n(f). Is i(-10) a composite number?
True
Suppose -4*c + 4414 + 1062 = 4*i, 5*c - 10 = 0. Is i a prime number?
True
Let y(b) = -11*b**2 - 5*b - 1. Let w(a) = 22*a**2 + 9*a + 2. Let x(g) = 6*w(g) + 11*y(g). Is x(2) a prime number?
True
Let q be -1 - (-2)/(4/6). Suppose q*m - 20 - 16 = 0. Is -1 + 4 - -17*m composite?
True
Let n be 4*-1 + 1021 + -3. Suppose -z + n = 4*q - 2*z, 512 = 2*q - 3*z. Is q prime?
False
Let b = 5372 - 2329. Is b a composite number?
True
Let m(p) = 5*p**2 - p - 34. Is m(5) prime?
False
Let h(m) = 1633*m + 2. Let q be h(-1). Let n = -1066 - q. Is n a composite number?
True
Let q(p) = -p**3 - 11*p**2 - 36*p - 260. Let b be q(-10). Suppose 41568 = 4*n + 12752. Suppose b*m = -4*m + n. Is m prime?
True
Let p = 16 - 8. Let x be (p/(-6))/(2/84). Let n = 121 + x. Is n a composite number?
True
Let n(f) be the second derivative of f**5/20 - 5*f**4/6 + 2*f**3 - 5*f**2 + 9*f. Let h be n(9). Suppose 0 = 2*m + h - 175. Is m composite?
False
Let a be (852/(-20) - -5)/(4/(-110)). Let d = a + -713. Is d a composite number?
True
Let i = -10607 + 17110. Is i composite?
True
Let f(l) = 12*l**2 - 27*l - 61. Let y(p) = -6*p**2 + 13*p + 31. Let w(c) = -2*f(c) - 5*y(c). Is w(10) prime?
True
Suppose 21*h - 20 = 26*h. Is (-2370)/(-4) + 2/h + 1 prime?
True
Let j(z) = 5 + 4 + 0 - 104*z. Is j(-13) prime?
True
Suppose 4*p + 5*t + 968 = 7*p, 2*p - 4*t = 642. Is p a prime number?
True
Suppose 0 = -2*t - q + 15607, -95 - 23298 = -3*t + 2*q. Is t a prime number?
False
Suppose -11220 = -4*r - 2*r. Suppose 4*t + k = -2*k + r, -471 = -t + k. Is t prime?
False
Let a(b) = b**2 - 21*b + 40. Let o be a(19). Is o/(-1) - 1905/(-3) a composite number?
True
Let o(p) = 14*p**3 - 17*p**2 - 5*p + 29. Is o(12) a composite number?
False
Let r(d) = 56*d**2 + 5*d. Let o be r(-8). Suppose -3*n - n + o = 0. Suppose 290 - n = -4*w. Is w composite?
False
Is ((-3)/(-9))/(24/803448) composite?
False
Is -11 - (-762912)/60 - 6/5 composite?
False
Suppose 344*g + 217 = 351*g. Is g composite?
False
Let h be ((-18)/(-27))/(1/3). Suppose -q + h*y + 2 = 4*q, -q = 3*y - 14. Suppose q*l = 94 + 16. Is l prime?
False
Let p(y) = -24*y**2 + y - 2. Let h be (-2)/(-8) + (-63)/(-36). Let j be p(h). Let q = j - -167. Is q composite?
False
Let j(q) be the second derivative of -21*q**3 - 43*q**2/2 + 7*q - 2. Is j(-11) composite?
True
Let b(l) = -2*l**3 + 11*l**2 + 8*l + 2. Let h(x) = 3*x - 3*x + x - 3. Let c be h(-4). Is b(c) composite?
False
Suppose 4*w - 3*f - 5586 + 1363 = 0, -3*f = 3*w - 3162. Is w composite?
True
Suppose 5*q + 1 = 3*b - 0, -5*b + q - 13 = 0. Let f = 5 + b. Suppose -3*p + 892 = 2*z, -f*p + 1343 = 4*z - z. Is z prime?
True
Suppose -5*h - 4 = -3*h, -2*a = -5*h - 16. Let u be (a/2)/(11/(-88)). Is -1*(u + 2/(-1)) composite?
True
Let z(y) = 0*y + y - 4*y + 7*y**3 - 1. Is z(3) prime?
True
Is (-4)/14 - 177228/(-252) a composite number?
True
Suppose -5*z - 12 = -4*v - z, -4*v + 3*z = -14. Let t = 13 - v. Suppose 11*m = t*m + 111. Is m composite?
False
Let w(l) = -6*l - 2. Let u be w(0). Is 6*(-1939)/(-14)*u/(-3) a composite number?
True
Suppose -k + 1 = -g, 5*g = 3*k - 3 + 6. Suppose z + k*j - 255 = 0, 2*z - 4*j + 3*j - 492 = 0. Is z a composite number?
True
Let m = 1123 + -2109. Let g = -649 - m. Is g prime?
True
Let p(d) = -2*d**2 - 3*d + 3. Let j be p(-3). Let x(g) = -5*g**2 + 4*g - 4. Let k be x(j). Let m = k + 423. Is m a composite number?
True
Suppose 3*z = -15, 4*r - 120 = 2*r - 2*z. Is r composite?
True
Let m be (-3)/(-12) + (-166)/(-8). Suppose -7*f + 270 = -171. Suppose 0 = -2*t + f - m. Is t composite?
True
Suppose -8127 - 18399 = -6*i. Is i a prime number?
True
Is (7197 - 0) + (-12)/(-3) a composite number?
True
Let x(r) = r. Let w(j) = -13*j**2 + 8*j - 28. Let d(c) = -w(c) + 6*x(c). Is d(-11) composite?
True
Let w be (-1794 - 0)*(-1)/2. Let l = w + -380. Is l a composite number?
True
Suppose 2*y = 5*a + 62, 5*a - 19 = y - 85. Is (-154)/3*21/a prime?
False
Let a = -12 - -18. Let u = 8 - a. Suppose 5*p - v - 255 = 4*v, 5*v + 90 = u*p. Is p a composite number?
True
Let m be 3638 + 4/24*6. Suppose m + 17376 = 5*q + 2*o, 5*q - 5*o = 20980. Is q a composite number?
False
Let s(p) = p**3 - 8*p**2 + 7*p + 3. Let l be s(7). Let d(g) = 2*g**2 - 3*g - g**2 - 11 - 3*g + l*g. Is d(-8) prime?
