 2344 = -10*a. Is a prime?
True
Let q be (5/(-5))/(1/(-1)). Suppose 5 + q = -l. Let h(j) = 4*j**2 + 2*j - 5. Is h(l) prime?
True
Let i(y) = 1134*y**3 + 3*y**2 - 7*y + 7. Is i(3) prime?
True
Suppose -2*p - 4*m = -30198, 2*p - 7*m - 30233 = -4*m. Is p prime?
False
Let c(v) = 140249*v**2 - 23*v + 23. Is c(1) a prime number?
True
Let c = 1965 - -3592. Is c composite?
False
Is (-11 - -15)/((-4)/(-3158)) a prime number?
False
Let x(g) = -g**2 + 11*g - 7. Let l be x(10). Suppose -l*f = -6*f. Suppose 5*c - 4*i - 583 = f, c - 2*c = -2*i - 113. Is c a prime number?
False
Suppose -3*z - 391245 = -10*v + 7*v, -3*v - z + 391245 = 0. Is v a composite number?
True
Let n(s) = -29*s**2 - 9*s + 15. Let u = -3 + 14. Let k(z) = -10*z**2 - 3*z + 5. Let d(i) = u*k(i) - 4*n(i). Is d(-4) composite?
False
Is 30/225 + 28363/15 a prime number?
False
Suppose -528898 = -23*l + 464725. Is l composite?
False
Let q(x) = 10*x - 11. Let j be q(8). Suppose f - j = -0*f. Is f a composite number?
True
Suppose -17*f + 85619 = -65460. Is f composite?
False
Let x(t) = 9441*t**2 - 3*t - 2. Is x(-1) a composite number?
True
Let w(v) = -v**2 + 8*v - 4. Let q be w(7). Suppose -q*c - 635 = -p, -808 = -3*p + 2*c + 1083. Is p composite?
True
Suppose 0*q + 3*q = 2*i + 14, -2*i - 4 = 2*q. Suppose 550 = n - r + 54, q*n - 977 = -3*r. Is n a prime number?
False
Let m be -4*((-28)/(-16) + -1). Let f be ((-3)/6)/((3/(-108))/(-1)). Is 3*m/(f/46) a composite number?
False
Let b(i) = i**3 - 4*i**2 - 6*i + 7. Suppose -3*h + h = -5*d + 5, 3*d = 2*h - 1. Let w be b(h). Suppose 12 + 2 = w*s. Is s a composite number?
False
Suppose -4*i - 2*i + 18654 = 0. Is i prime?
True
Is (2/4)/(((-15)/77540)/(-3)) a prime number?
False
Let d(w) = -118 + 7*w - 117 + 240 - 3*w**3 + w**2. Suppose -3*p + 4*y = 8, 0 = -2*p + p + 2*y - 2. Is d(p) a composite number?
True
Let v = -10301 - -19016. Suppose -v = 13*w - 28*w. Is w prime?
False
Let h(b) = -710*b + 223. Is h(-31) a composite number?
True
Let m(q) = q**2 + 3*q - 5. Suppose 30 = -4*w + 6*w. Let h be (9/(-2))/(w/20). Is m(h) a prime number?
True
Let t(f) = f**3 + 5*f**2 + 3*f + 1. Let u be t(-4). Let z be 6/(-4) + 417/2. Suppose 0 = 4*c + 5*l - z, 0*c = -c - u*l + 48. Is c a composite number?
False
Let u(b) = -b**3 - 2*b**2 - 3*b + 3. Let h(w) = 2*w**2 - 1 - 4*w**2 + 2*w - w**2 - 2*w**2. Let s be h(1). Is u(s) prime?
True
Suppose -2*s - 2 = -12. Suppose 0 = -s*u + 6665 - 1995. Let q = 1379 - u. Is q a composite number?
True
Suppose 0 = -0*t + 3*t + 1908. Let h be t/(-9)*6/4. Is 2/(2*2/h) prime?
True
Suppose 0 = -6*l + 3*l - i + 96, -4*l + 128 = -3*i. Let b = -4 - l. Is (-6)/(-8) + (-14769)/b composite?
True
Let g(l) = 31*l**3 - 2*l**2 + 3*l + 4. Let b be g(-3). Let n = b - -2614. Is n prime?
False
Suppose 29*h - 36081 = -28*h. Is h a composite number?
True
Let a = -2 - -4. Suppose -2*b = 5*l - 163, -b = -4*b - a*l + 228. Let j = b - 43. Is j composite?
False
Suppose 39 = -3*q - 48. Let a = q - -255. Is a composite?
True
Suppose -3*f - 2*f + 37 = -g, -2*g - 26 = 2*f. Let l = g + 20. Suppose -3*q + 1 = -l*k - 47, -5*k = -4*q + 59. Is q a prime number?
False
Suppose -n + 2 = 0, n - 134 = -2*g + 40. Let x = -58 - -115. Let w = g + x. Is w a prime number?
False
Let i be (77/(-3))/(46/(-9) + 5). Let o = 398 - i. Is o composite?
False
Let a(s) = -2*s**3 + 2*s**2 + 5*s - 6. Let w(u) = -u**3 + u**2 + 2*u - 3. Let q(p) = 3*a(p) - 7*w(p). Let o be (-6)/9 + (-4)/(-6). Is q(o) a composite number?
False
Suppose -4*x = 4*d - 141044, x = 23*d - 21*d - 70522. Is d composite?
True
Let u be (-9)/4*304/(-57). Let v(l) = -l**3 + 13*l**2 - 12*l + 7. Is v(u) prime?
True
Let j = 33325 - 24. Is j composite?
False
Suppose -3*t + 4*m + 3176 = -15851, m + 12683 = 2*t. Is t composite?
True
Is (-90566)/(-126) - (-2)/9 a prime number?
True
Let q(i) = 129*i**2 - 2*i - 4. Let h(w) = -w - 6*w + 0 - 1 + 6*w. Let f(y) = -3*h(y) + q(y). Is f(1) a composite number?
True
Is 39171/4 - (-12)/48 a composite number?
True
Suppose -5*c - 4*k = -13061, -4*c - 5047 = 3*k - 15495. Is c prime?
True
Let w = 3 + -1. Suppose -k + 5*k - 1766 = w*l, 442 = k - l. Let x = 26 + k. Is x a prime number?
True
Let i(z) = 59*z + 3. Let r(b) = 165*b + 10. Let f(x) = -8*i(x) + 3*r(x). Let a = -9 + 16. Is f(a) prime?
True
Is ((-10)/1 + 8)*(-1399)/2 a prime number?
True
Let t = 5 + 5. Suppose 0 = 5*k - 5*i - 30, 5 = -3*k + 4*i + 18. Let x = t + k. Is x prime?
False
Let p(c) = -c**2 + 4*c - 1. Let x be p(2). Let i(j) = 3*j**3 + 4*j**2 - 3*j + 7. Is i(x) a composite number?
True
Let l(r) be the second derivative of r**6/60 - r**5/40 + r**4/8 - r**3 - 6*r. Let w(v) be the second derivative of l(v). Is w(4) prime?
False
Let z(p) = -13*p - 3*p + 3 - 88*p. Let v be z(-6). Suppose -834 = -4*n - 5*k - 0*k, -3*k + v = 3*n. Is n a composite number?
False
Let j(y) = 335*y. Let p be (-175)/63 + 2/(-9). Let i be 1 - (p + 3/1). Is j(i) composite?
True
Suppose -8*l = 75 - 11. Is 172*(2 + 14/l) a prime number?
True
Suppose 2*k + 2*k + 5*y - 31614 = 0, y = 2. Is k prime?
True
Suppose -9*j - 2*d + 10 = -14*j, 6 = -4*j + 2*d. Let y(s) = 29*s**2 + 7*s + 13. Is y(j) prime?
True
Let o be (-1)/4*40/(-2). Suppose 4*g - 1147 = -o*y, -2*g + 4*y - 258 = -864. Is g composite?
False
Let m(x) = x**2 - 12. Let y be m(4). Suppose -9*a = -y*a - 25. Is (3/(-5))/(a/(-2575)) a prime number?
False
Is ((-5)/(-15))/(15/250065) prime?
True
Let d = 20 - -130. Suppose 0 = -2*l - 5*u + d + 297, 3*l - 613 = 4*u. Is l prime?
True
Let v(s) = s**2 + 4*s - 8. Let n be v(-6). Let j be 341/66 - (1 - 4)/(-18). Suppose 4*g + n*i = j*i + 213, 0 = -g - 3*i + 50. Is g composite?
False
Suppose -x - 21*h + 16*h = -17866, 3*x - 3*h - 53544 = 0. Is x composite?
False
Suppose -784 = -3*w + 2*w + 3*v, 3*w - 3*v = 2322. Is w prime?
True
Let q(t) = -t**3 - 3*t**2 + 10*t + 7. Let l be q(-5). Let i be 120 + (-2 - (-2 - -2)). Suppose 5*j = l*j - i. Is j a prime number?
True
Let r be (-2)/(-6) - 2528/(-12). Suppose -r = 4*x + 121. Is (2 + (-5 - -2))*x prime?
True
Is (-1 - -3)*(-56521)/(-58) composite?
False
Suppose 4*r + 8 = 12. Let d be (r + -3)*-60 + -2. Let v = d + 9. Is v composite?
False
Let j be 1/(-5) - 138/(-15). Suppose 8*y + j = 7*y. Let b = y - -115. Is b prime?
False
Let o = 2 - 7. Let b(n) be the second derivative of -38*n**3/3 + 11*n**2/2 + n. Is b(o) prime?
False
Let p be 2*(2122/12)/((-2)/6). Let t = p - -1675. Is t a composite number?
True
Let q(p) = p**2 - 4*p - 2. Let g(t) = -1. Let m(o) = 3*g(o) + q(o). Is m(6) a prime number?
True
Let k = 10 + -14. Suppose 0 = 22*t - 20*t + 632. Is k*(-3)/((-24)/t) composite?
True
Suppose -m - 2*d = -6723, -23815 = -5*m + 3*d + 9852. Is m a prime number?
False
Let j(f) = f**2 + 14*f - 6. Let o(p) = -4*p**2 - 43*p + 17. Let i(q) = 7*j(q) + 2*o(q). Suppose -x + 15 = 2*m, -2*m = -5*x - 16 - 17. Is i(m) prime?
True
Let z = 159 + 992. Is z a prime number?
True
Let i(c) = -c + 8. Let j be i(4). Suppose -4*x - j = -6*x. Suppose -p = -4*k + 1496, -730 = -4*k + x*k - 4*p. Is k composite?
False
Suppose -3600 = -5*l + 15380. Let o = -2679 + l. Is o composite?
False
Suppose c = -2010 - 711. Let v = 632 - c. Is v composite?
True
Let o(i) = -10*i**2 + i + 11. Let v be o(4). Let q = v - -204. Is q a composite number?
False
Suppose 101*f - 98*f - 1842 = 0. Let z = -233 + f. Is z a composite number?
True
Suppose -4*j - 2*t + 26474 = 0, 2238 + 11002 = 2*j - 2*t. Is j a prime number?
True
Let i be 2 + (-96)/9 + 6/9. Is 2/(i/(-4294)) - (-9)/(-18) composite?
True
Let k = 5872 - 3293. Is k a composite number?
False
Let b = 18 - 12. Suppose 2*v - b - 8 = -3*d, 3*d = 6. Is v/(2/2) - -107 composite?
True
Let m(r) = -5*r - 11. Let o(z) = 11*z + 21. Let v(p) = -13*m(p) - 6*o(p). Is v(10) prime?
True
Let m(h) = -9*h**2 + h**3 + h**3 - 5 - 20*h - 2*h**2. Is m(10) a composite number?
True
Suppose 4*d - 4562 = 5582. Suppose d = 6*g - 1598. Is g prime?
False
Let l(k) be the third derivative of 7*k**5/30 - 2*k**4/3 - 3*k**3/2 + 6*k**2. Is l(-20) composite?
True
Let n(u) be the second derivative of -13*u**3/6 - 9*u**2/2 - 4*u. Let d be n(-6). Suppose 0*y + d = 3*y. Is y a composite number?
False
Suppose -9*l + 10*l - 10197 = -a, a - 2 = 0. Is l composite?
True
Suppose -4*j - 5190 = 3934. Let y = 3938 + j. Is y a composite number?
False
Suppose 3*s - 2*f - 107 = 0, 5*s = -