u(x). Let l be m(-4). Suppose 12 = h - 5*o - 5, l*o + 19 = h. Is h composite?
True
Let o be (-2 + (-2)/8)*-8. Is (356/6)/(4/o) composite?
True
Is (-373 - (0 - 2))*-1 a prime number?
False
Suppose 0 = -z + 4*b + 2, z = -0*b - b + 2. Suppose 3*a - 104 + 1 = -z*s, s + 2*a - 51 = 0. Is s prime?
True
Let s be (45/10)/((-2)/(-4)). Suppose -5*m + 7 = 4*c - 10, -4*c + 13 = m. Is 120/s*c + -3 composite?
False
Let x(i) be the first derivative of -i**4/4 + 4*i**3 - 5*i**2 - 9*i + 4. Is x(10) prime?
False
Let r = 84 + 197. Let y = 408 - r. Is y a prime number?
True
Suppose 0 = 5*r + 3*n + 48, 5*r + 2 = 4*n - 39. Is (21/r)/(2/(-30)) a prime number?
False
Let k be (-5)/20 + 87/(-4). Is (k/3)/((-8)/84) a prime number?
False
Suppose -658 + 233 = -5*v. Is v a composite number?
True
Let w(q) = q**3 + 11*q**2 + 10*q - 1. Let x be w(-10). Is ((-4)/8)/(x/6) composite?
False
Suppose -u + 5*z + 43 = 0, 2*z + 14 - 94 = -5*u. Suppose -3*g + 2*x + 2 = 0, -3*x = g + x + u. Is -2 - (-1 + (-38 - g)) prime?
False
Let u(x) = -11*x - 3. Let a be u(-4). Suppose -c + a + 26 = 0. Is c a composite number?
False
Suppose 7 = -b - n + 3, -5*b - 2*n = 8. Is -2 + 0 + (b - -187) prime?
False
Suppose -2*l = k - 190 - 87, -l - k + 139 = 0. Suppose -3*t + 6*t = l. Is t prime?
False
Suppose -4*u = 20, -m + 3*u + 10 + 37 = 0. Suppose 3*g - m - 46 = 0. Is g a prime number?
False
Let h = -19 - -28. Let b(g) = g**2 - 14*g + 1. Let k be b(14). Let u = k + h. Is u prime?
False
Let v(h) = -h**3 - 6*h**2 + h + 4. Let j be v(-6). Let l(b) = -3*b**3 - b**2 + 2. Is l(j) prime?
False
Let w(d) = 6*d**2 + 10*d + 25. Is w(-11) a composite number?
False
Suppose b - 16 = -3*b. Let j be b/(-10) + (-1347)/(-5). Suppose -156 = -5*h + j. Is h prime?
False
Let i(f) = -f**2 + 8*f + 5. Is i(4) prime?
False
Let g be (16/28)/(4/14). Suppose -3*l = 2*l - 10, 0 = -g*k + 4*l + 66. Is k a composite number?
False
Let n be 40/25*10/4. Suppose 0 = -n*h + 2*h + 2*j + 812, -4*h = j - 1609. Is h a prime number?
False
Suppose 1748 = 4*k + 2*h, -k + 1308 = 2*k + 3*h. Suppose -2*x - 128 = -k. Suppose r + x = 6*r. Is r prime?
True
Suppose -2*j + 4 = 2*m - j, -j = 4. Suppose -423 = -m*k + 145. Is k a prime number?
False
Let f(d) = d**2 + 6*d - 4. Let n be f(-8). Let x = n - 7. Suppose -x*y + l + 53 = 0, 3*l - l = -5*y + 44. Is y a prime number?
False
Suppose -7*g + 87 = -67. Suppose -5*r + 349 + 1316 = 0. Suppose -x = 4*s - 145, s + g - r = -2*x. Is x prime?
True
Let f be (-7 - -3)*(0 + 1). Is (-19)/(f - -2 - -1) prime?
True
Suppose -9 + 3 = -2*s. Suppose -q = -4*w - 28, w + 0*q = s*q + 4. Let a = w - -11. Is a a prime number?
True
Let b be ((-18)/(-21))/(-3)*-7. Suppose -4*m + b*m = -n - 494, -m - 3*n = -261. Is m a composite number?
True
Suppose 923 = 4*m + n, 0 = -4*m + 2*m - 3*n + 459. Suppose -5*p - 76 = -m. Is p a composite number?
False
Let v(z) = 9*z**2 - 9*z - 7. Is v(9) a composite number?
False
Let d(q) = -q + 1. Let w(i) = i**2 + 6*i - 6. Let m be w(-7). Let k be d(m). Suppose k = -v + 3*v - 194. Is v a composite number?
False
Let x be 2/4 - 2/4. Suppose x*s + 11 = s. Is s a composite number?
False
Let l be (-15 + 11)*(-37)/4. Suppose 2*a - l = 93. Is a a prime number?
False
Suppose 0*w + 3*t + 351 = 3*w, 4*t = 20. Is 1/2 + w/4 prime?
True
Let m = 24 - -7. Is m prime?
True
Let o(l) = -l**2 - l + 5. Let b be o(-4). Let f(g) = g + 10. Is f(b) a composite number?
False
Let k = -3 - -8. Suppose -2*n = 1 - k. Suppose -5*j = -n*j - 2*p - 61, -34 = -2*j - 2*p. Is j a composite number?
False
Suppose x = 4*x - 15. Suppose -x*k = -1254 - 1271. Is k prime?
False
Let q(k) = -k**3 - 16*k**2 + 24*k - 38. Is q(-19) a composite number?
True
Suppose 0 = 3*j - 333 + 72. Is j prime?
False
Let x(v) = -v**3 - 3*v**2 - 2*v - 3. Let j be ((-12)/9)/((-1)/(-3)). Is x(j) a composite number?
True
Let g(z) = z**3 + z**2 - 5*z - 1. Is g(6) a prime number?
False
Let x(r) be the second derivative of -19*r**3/6 - 2*r**2 - 2*r. Is x(-3) prime?
True
Let p = -2 + 6. Let f be (p/((-12)/(-15)))/1. Suppose 0*j = j + 4, -f*j = 3*s - 145. Is s composite?
True
Let v = -9 - -11. Suppose 0 = -2*s - v + 30. Is s a prime number?
False
Is -489*(1 + 12/(-9)) composite?
False
Suppose 0 = n - 2*y - 10, 4*n + 3*y = 7. Suppose -s = 0, 4*u - u = -n*s. Suppose u = -5*d - 4 + 34. Is d a composite number?
True
Let m = -3025 + 4668. Is m prime?
False
Let c be 2 - 2/4*0. Let n = c - -1. Suppose 7*m - 8 = -v + 2*m, 2*m - 63 = -n*v. Is v prime?
True
Let c(y) = -y**3 - 28*y**2 + 6*y + 39. Is c(-29) a prime number?
False
Is (-2)/(-14) - (-2432)/28 a prime number?
False
Let q(y) = -3*y - 2. Let b be q(-9). Suppose 4*v = b + 171. Is v a composite number?
True
Let i(w) = 4*w**3 - 7*w - 4*w**3 + 7*w**2 - w**3. Let y be i(5). Suppose -j + 3*a + y = 4*a, -3*j - 2*a + 49 = 0. Is j a composite number?
False
Let v be (-2)/((-2)/(0 - -2)). Is (1 - -313)/(v - 0) composite?
False
Let l = 557 + -294. Is l composite?
False
Suppose 0 = -2*c + 5*w + 1569, -c + 0*w + 783 = -4*w. Is c composite?
False
Let l be ((-2)/(-2))/(1/4). Let k(r) = 2*r**3 - 5*r + 0*r**2 + 4 - 5 + 6*r**2 - 3*r**3. Is k(l) prime?
True
Let p be 9/(-3) + 5 - -45. Suppose 5 + 1 = 3*i. Suppose -i*b = w - p, -b = -2*w + 3*b + 126. Is w a composite number?
True
Let m = 1011 - 596. Is m prime?
False
Let b = 177 - 176. Let c = 0 + 1. Is b - (4 - c) - -93 prime?
False
Let s(u) = -u**3 - 5*u**2 - 4. Let j be s(-5). Is (67/j)/((-2)/40) prime?
False
Let i = -3789 - -6762. Is i prime?
False
Suppose -87 = -0*r - 3*r. Let p = r - 18. Is p composite?
False
Suppose 5*z - 331 = 4*f + 350, -4*f = 2*z - 250. Suppose z = q - 0*q. Is q a composite number?
True
Suppose k = -5*a + 5*k + 278, 0 = -4*a + 4*k + 220. Is a a prime number?
False
Let d = 24 - 14. Is d composite?
True
Let j(p) = 65*p**3 - p - 14*p**3 + 2*p. Let s be j(1). Suppose -h + 5*h = s. Is h composite?
False
Suppose 0 = -5*q - 3*p + 470, 2*q - 3*p - 98 = 111. Suppose -l + q = 5*a, 5*l = 2*a - 26 - 2. Is a prime?
True
Suppose -20 = 4*i, 0 = -2*v + 3*v + 4*i + 17. Suppose 52 = 4*t + 4*o, -v = -5*o + 4*o. Is t composite?
True
Suppose 2 = 4*o - 6. Suppose -5*l + 3*w + 469 = 0, 376 = 4*l - 0*l - o*w. Is l a prime number?
False
Let h be (1/1)/(1/5). Suppose -h*r + 2566 - 471 = 0. Is r prime?
True
Suppose 4*h + 9 + 7 = 0. Let c = -4 - h. Suppose c*x = 3*x - 30. Is x a composite number?
True
Suppose 3*d = -2*f + 4*d - 109, -3*f - 160 = -5*d. Let p = f - -112. Is p a composite number?
True
Suppose 4*p - 844 = -4*w, -p - 47 + 258 = -4*w. Is p prime?
True
Let m be (-1)/(-2) - 2008/16. Let p = 378 + m. Is p prime?
False
Let k be (-196)/(-4) + 0/1. Let o = k + -28. Is o prime?
False
Let u = 4 - 3. Let d = -11 - u. Is (-1)/4 - 171/d composite?
True
Let x(s) = 4*s**3 + 3*s**2 - 4*s + 1. Let t be 2/(-3 + (5 - 1)). Is x(t) composite?
False
Let g(r) = 17*r + 21. Is g(6) a prime number?
False
Let r(w) = 36*w - 7. Let s(g) = -g - 1. Let h(o) = -r(o) + 5*s(o). Is h(-9) a composite number?
True
Let d(z) = -z**2 - 13*z + 9. Let b be 3 - 12 - (3 + -1). Let i be d(b). Suppose g = 4*c + 23, 2*g - 3*c + 5 = i. Is g a composite number?
False
Let v = -2 - 3. Let p(t) = t**2 + 3*t - 1. Is p(v) a prime number?
False
Let i(p) = -p - 2. Let o be i(10). Let d(f) = -6*f + 11. Is d(o) composite?
False
Suppose -l + 0 = 2*n - 5, -5*n - 2*l = -14. Suppose -k = -n*k + 15. Let p = k + 1. Is p a composite number?
True
Let b(p) = -p**2 + 1. Let a be b(-1). Let g be (a - -6)/(2/11). Let z = 0 + g. Is z a composite number?
True
Let i(h) = 4*h**2 - 1. Let g be i(1). Suppose g*l - 271 = 302. Is l a composite number?
False
Let s(b) be the second derivative of b**4/12 + b**3/3 - 2*b**2 - 2*b. Let w be s(-3). Is w - 0 - (1 + -37) a prime number?
False
Let j(i) = -i**3 - 10*i**2 - 12. Let r be j(-12). Let t = 122 - r. Let n = t - -265. Is n a prime number?
False
Let f be -479*(1 - 3 - -1). Suppose 5*a - 494 = -3*d - 0*d, 2*d + f = 5*a. Is a composite?
False
Let b(i) = i**2 + 2*i. Let h be b(-2). Suppose 5*c + 0*c = -3*s + 443, -5*s = 2*c - 770. Suppose n + 2*n + j - s = h, n + j - 54 = 0. Is n a composite number?
True
Suppose 0 = 4*k - 5*b - 2078 - 1838, -3*k = b - 2918. Is k a composite number?
True
Let u(l) = 0 - 1 - 4*l + 8 + 2*l. Is u(-7) composite?
True
Let h be 20/5 + -6 + 7. Let w(k) = -2*k + k**3 + 0*k**3 - 4*k**2 + 