24)/(-156). Suppose 4*v - c*a - 669 - 183 = 0, 2*v = 5*a + 418. Is v composite?
True
Let i be (16/12)/((-2)/6). Let y = 55 - i. Is y prime?
True
Suppose -24 = m - 4*m. Suppose -m + 24 = 4*u. Suppose u*d + 3*k + 0*k = 224, 228 = 4*d + 4*k. Is d a prime number?
True
Is 16/(-28) - (-7971)/21 composite?
False
Suppose 0 = -m - 3*m. Suppose 3*q = -h + 11, m*h - h + 9 = 2*q. Suppose 195 + 127 = q*o. Is o composite?
True
Suppose -5*y + 3*m - 25 = 0, y - 1 = -m + 2. Is y/(0 + (-6)/237) prime?
True
Let q = -28 - -62. Let n(r) = r**3. Let u be n(1). Suppose q = y - u. Is y composite?
True
Suppose 4*l - l = 18. Let j(g) = -4*g. Let c be j(1). Is l/c*(-66)/9 a composite number?
False
Suppose -4*a - l + 2340 = -1616, 4*a - 5*l - 3956 = 0. Is a prime?
False
Let h(i) = 3*i**3 + 14*i**2 - 5*i - 7. Is h(6) prime?
False
Let j = -27 + 89. Suppose 0 = -0*l + l - j. Is (-1 - -2)*(5 + l) prime?
True
Suppose -6 = 6*s - 3*s. Let t(y) = 25*y**2 + 3*y + 1. Is t(s) prime?
False
Suppose 1331 + 2977 = 4*o. Is o prime?
False
Let m(v) = 23*v**2 + 6. Let b(u) = u**3 - 2*u**2 + 2*u + 1. Let o be b(2). Is m(o) composite?
True
Suppose -5*x = -11*x + 16914. Is x prime?
True
Is 87 + -1 - (-2 - -1) prime?
False
Suppose -5*n - 613 = -2848. Is n prime?
False
Suppose -3*i = 2*i - 20. Suppose -4*s + 2*f = -708, 5*s = 6*f - 3*f + 887. Suppose t = -i*t + s. Is t a prime number?
False
Let q(g) be the second derivative of -g**6/12 + g**5/20 - g**3/6 + g**2/2 - g. Let t(o) be the first derivative of q(o). Is t(-2) prime?
False
Suppose -p + 96 = -27. Is p composite?
True
Suppose 0*c - 303 = -3*o - 3*c, -3*o + 299 = -c. Suppose 4*q = 88 + o. Suppose -3*z - q = -4*z. Is z a prime number?
True
Let l = 71 - -12. Is l a prime number?
True
Let a = -5 + 3. Is (-166)/4*a + 2 composite?
True
Suppose 9*x = 3*z + 8*x - 541, 3*z - 525 = -3*x. Is z a composite number?
False
Suppose 3*n - 3 = -2*v - v, 0 = 3*v + 2*n. Let f = 3 - v. Is (f/(5/21))/1 a prime number?
False
Suppose 4*q - z - 7 - 379 = 0, 5*q = -z + 487. Suppose -5*p + q = 2*s, 0 = -4*s + 3*p + 143 + 38. Is s prime?
False
Let n(t) be the third derivative of t**5/20 + 7*t**4/12 - 2*t**3/3 + t**2. Is n(-11) composite?
True
Let o(r) = -1 - 2*r**3 - 7*r**2 - 3 + 3*r**3 + 0*r**3 + 7*r. Let s be o(5). Let x = s - -41. Is x a prime number?
False
Suppose 625 = 3*v - 1352. Is v a prime number?
True
Suppose -4*l - 8 = 2*j + 8, -2*l = -2*j + 14. Suppose -p - j = -23. Is p prime?
False
Let h be (-2)/6 + (-100)/6. Let g be -1*(-12)/9*-21. Let y = h - g. Is y a composite number?
False
Suppose 7*b - 18776 = 18485. Is b prime?
True
Suppose 3 + 0 = z. Let q be -1*(-8 - (0 - z)). Suppose 5*k = 2*k + 15, k = -q*u + 180. Is u prime?
False
Let f(b) be the second derivative of -b**6/90 - b**5/120 - b**4/12 - b. Let w(k) be the third derivative of f(k). Is w(-6) prime?
True
Suppose -2*r - 5*k + 1684 = 321, 0 = -5*r + 2*k + 3393. Is r a composite number?
True
Let h(x) be the first derivative of x**2/2 + 9*x - 7. Is h(12) a composite number?
True
Let g(b) = b + 7. Let l be g(-3). Let o(f) = 10*f - 5. Let h be o(5). Suppose c + l*c = h. Is c a prime number?
False
Let r = 3 - 7. Let k be 1/(-4) + (-49)/r. Is 1/3 + 632/k prime?
True
Is 339 + 3 + -6 + 3 a prime number?
False
Suppose 4*c - 21 = -b, 2*c - 18 = -c - 3*b. Let n = c + 10. Is n prime?
False
Suppose -5*u - 1023 = -4*k + 925, -u - 1461 = -3*k. Is k a prime number?
True
Let l(n) = -2*n**2 + 4*n - 4. Let x be l(-4). Let m = 147 + x. Is m composite?
True
Suppose 0 = -7*z - 227 + 1270. Is z a composite number?
False
Let r = 190 - 89. Suppose 2*u + 15 = 3*c - 31, 16 = 4*u. Let w = c + r. Is w a composite number?
True
Let m be ((-1351)/21)/((-1)/3). Let z = -122 + m. Is z prime?
True
Let l(k) = 11*k + 4. Suppose 25 = -3*m + 8*m. Let t be l(m). Let s = t + -34. Is s a prime number?
False
Suppose -s + 2 = -3*s. Let u = 8 + s. Is u a prime number?
True
Let c be (42/(-28))/((-3)/(-488)). Let y = c - -407. Is y a composite number?
False
Let c(f) = -38 + f**2 + f**2 - 5*f**2. Let q(z) = -2*z**2 - 25. Let b(g) = 5*c(g) - 8*q(g). Is b(0) prime?
False
Let u be (-1 + -4)*(-4)/5. Let x be u/14 + (-1233)/(-21). Suppose 4*i - 147 = -x. Is i prime?
False
Suppose -4*a - 42 = -186. Suppose -a - 221 = -d. Is d a composite number?
False
Let s = -5 - -1. Let a be (28/s)/(0 - -1). Let j(y) = -3*y + 1. Is j(a) prime?
False
Let q(b) = -b + 23. Let j be q(11). Is 165*(2 + (-20)/j) a composite number?
True
Let w(c) = 674*c**2 - 1. Is w(1) a prime number?
True
Let p = -1 - -15. Let i = p - 20. Is (-111)/i - (-1)/2 composite?
False
Let j(f) = -f**3 + 16*f**2 + 9*f + 19. Is j(16) a composite number?
False
Let g = -4 - -6. Suppose 0 = -a + 6*a - g*y - 735, a - 135 = -2*y. Is a prime?
False
Suppose -l - 2 = 7*v - 3*v, -v + 10 = 2*l. Let o(f) = -f**3 + 4*f**2 - 4. Let p be o(4). Is 4/l*(-138)/p prime?
True
Let f(u) = -2*u**3 + 5*u**2 - u + 9. Is f(-5) a prime number?
True
Suppose -5*t + 26 = -4*v, 2*t - 4*v = -0*t + 20. Let s(c) be the third derivative of c**5/4 - c**4/24 - c**2. Is s(t) composite?
True
Is (-1)/(-3)*(541 - (1 + -3)) composite?
False
Let l(s) = -s**3 + 15*s**2 - 2*s + 7. Let p be l(6). Suppose 0 = 5*v + 2*t - 841, 2*v - 5*t - p = -0*t. Is v prime?
True
Suppose 0 = -d + 15 - 9. Is d composite?
True
Let n = -19533 + 13215. Is n/(-91) + (-3)/7 a composite number?
True
Let m(n) = n**3 + 4*n + 5. Let w be m(8). Suppose 2*t + 29 = -3*p + 580, -w = -3*p - 3*t. Is p prime?
False
Let l(i) be the second derivative of -i**3/6 - 19*i**2/2 + i. Let o be l(0). Let v = -8 - o. Is v a prime number?
True
Let p be 2/4*4/(-2). Let l be 747/12 - p/(-4). Is 2*l*3/12 a composite number?
False
Suppose -4*p + l - 7 - 5 = 0, l - 6 = p. Is 58/p*3/(-1) a prime number?
False
Suppose -2*b - 5 - 17 = 0. Let a = b - -18. Is a a composite number?
False
Let z = 89 - 163. Is (3/(-6))/(1/z) a prime number?
True
Let n = 48 + -26. Suppose -2*x - 5*y = -3*x - n, -3*x - 16 = -5*y. Suppose 8*v - x*v = 30. Is v composite?
True
Let n be 6/4 - 4/8. Let o(b) = 7*b**3 - 2*b + 1. Let g be o(n). Suppose 0 = q - g*q + 65. Is q composite?
False
Let a(r) = -89*r**3 - 2*r - 2. Is a(-1) a composite number?
False
Is ((-452)/(-6))/(13/39) prime?
False
Is (3/(-2))/(24/(-5728)) composite?
True
Let w(g) = -9 + 4*g - 6*g + 1. Let i be w(-6). Is (1 + -15)*i/(-8) composite?
False
Let v(g) = 158*g - 4. Let n be v(4). Suppose -5*k + 35 = -4*q, -q + 0*q - 11 = -2*k. Suppose k*r - c + n = 7*r, -2*r - 5*c = -314. Is r a composite number?
False
Suppose 0*l - 3*l + 9 = 0. Is 210/9 - 1/l composite?
False
Let k(n) = 2*n**2 - 12*n + 11. Let f(w) = -6*w**2 + 37*w - 34. Let d(g) = -4*f(g) - 11*k(g). Is d(10) a composite number?
True
Let x(k) = 3*k**2 + 4*k - 9. Let l be x(-7). Let t = l - 23. Is t composite?
True
Let i(p) = 152*p + 3. Is i(2) prime?
True
Let m(z) = -z**3 - 6*z**2 + z + 16. Is m(-7) a composite number?
True
Suppose -z + 6 = -2*z. Is (-2)/6 + (-62)/z prime?
False
Let m = -2 - -4. Suppose 20 = -z + 2*y, -m*z + 5*y = 3*z + 100. Let c = 97 + z. Is c composite?
True
Let x be 4 + -2 + 0/(-2). Suppose x*h - 6*h = -12. Is 13*(2 - (-3)/h) prime?
False
Let a(u) = 16*u**3 - 5*u + 2. Is a(3) a composite number?
False
Suppose 4*g = 2*g + 4. Suppose 2*k - g = 3*c, -k - c = -0*k + 4. Is k/(-4) - (-183)/6 a prime number?
True
Is 1/(-4 - 2205/(-551)) a composite number?
True
Suppose 4*d - 15 - 5 = 0. Suppose 3*l + 7 = -d. Let w = 30 - l. Is w a composite number?
True
Suppose z - 101 = l - 2*z, -445 = 5*l + 5*z. Is l/12*(-6)/2 composite?
False
Is (1/(-2))/(1/(-2302)) a prime number?
True
Let s(u) = -2*u**2 + 7*u - 8. Let y be s(6). Let o be 2 + -4 + (y - 3). Let k = 36 - o. Is k a composite number?
False
Let s = -12 + 17. Suppose -3*j = s*a - 135 - 62, 3*j = 4*a + 161. Is j composite?
False
Let h = 155 - -684. Is h a prime number?
True
Let h(i) = -i**2 + 0*i + 1418*i**3 + 0*i**2 + i. Let y be h(1). Is 4/18 + y/18 prime?
True
Let b(v) = -841*v + 11. Is b(-2) composite?
False
Let m(f) = 153*f + 1. Is m(6) composite?
False
Let i(n) be the second derivative of 17*n**3/6 - n**2 + 5*n. Is i(5) a composite number?
False
Let n = -136 - -31. Is (-35835)/n + (-2)/7 composite?
True
Is 1 - 0/3 - -264 a prime number?
False
Let k(n) = n**2 - 10*n + 2. Let y be k(10). Suppose 472 = y*v + 2*v. Is v a composite number