-a*l = 4*c - 32. Is c prime?
False
Let h(q) = 34*q**3 + 2*q**2 + 3*q. Let c be h(3). Let d = c - 510. Is (-1 - d/12)*-4 prime?
True
Let c be (1/(-2))/((-3)/12). Suppose 3*l - 4*m - 8 = 20, -c*m + 12 = 5*l. Let i(g) = 9*g**2 - 4*g + 3. Is i(l) composite?
False
Let k = -1946 - -2815. Is k composite?
True
Let t(y) = -y**2. Let m(z) = 5*z**2 + 11*z + 9. Let p(o) = m(o) + 6*t(o). Is p(7) a prime number?
True
Let q(c) = 49*c**2 - 3*c - 3. Is q(-2) composite?
False
Suppose -3*k - 31 = -145. Suppose -v + 0*v - k = 0. Is (v/(-4))/((-3)/(-6)) a composite number?
False
Suppose -l - 2*l + 54 = 0. Suppose -5*y + 5 = 10, b = 4*y + l. Is b composite?
True
Let f = 515 + -366. Is f a prime number?
True
Suppose -h + 25 = 4*h. Suppose 21 = h*p + 6. Suppose -p*x = -19 - 128. Is x composite?
True
Let u be (-7)/1*(-18)/(-21). Let f be (-1 - -2)*u/3. Is 4/f*110/(-4) composite?
True
Suppose -727 = -4*q + 1669. Is q a prime number?
True
Let d = -108 + 82. Let v(k) = -3*k**3 - 3*k**2 - k + 4. Let c be v(-3). Let i = c + d. Is i a composite number?
True
Suppose 3*s = s - 3*t + 2933, 3*t + 4362 = 3*s. Is s prime?
True
Let g = -28 + 47. Suppose -g + 351 = 4*h. Is h a prime number?
True
Let t(x) = x**2 - 14*x - 4. Let a(o) = o**2 - o. Let i(b) = -2*a(b) + t(b). Is i(-7) a composite number?
False
Let z be 3/(2/(-4)*-2). Suppose -z*v + 1 = r, v = -3*v + 2*r + 18. Is (v + -193)/(-1 + 0) composite?
False
Suppose -1497 = -0*x - 3*x. Is x prime?
True
Let g(l) = l**3 + 7*l**2 + 4*l - 1. Let v be g(-6). Is (-5)/25 - v/(-5) prime?
True
Suppose -338 = -2*s + 108. Is s prime?
True
Let b(x) = x**3 + 6*x**2 - 4*x + 2. Is b(4) prime?
False
Let y(t) be the first derivative of -t**4/4 - 4*t**3/3 - t**2 + 2*t - 5. Is y(-5) prime?
True
Suppose -3*y + 0 + 9 = 0. Suppose -2*s - 3*m + 307 = 0, m + 468 = y*s - 2*m. Is s a prime number?
False
Let a be (-2)/(-4)*(-1 + 1). Let j = 399 - 233. Suppose a = 3*q - q - j. Is q a composite number?
False
Let k(q) = q**3 + 7*q**2 - 10*q - 11. Let c be k(-8). Suppose c*r - p = p - 7, 4*r = -p - 3. Is 79/(r - 1 - -3) a prime number?
True
Let t be (-2)/(-4)*(-20)/(-2). Let l = 8 - t. Suppose -l*g = g - 436. Is g prime?
True
Let a = -326 + 489. Is a a composite number?
False
Let y = 82 - 29. Is y composite?
False
Suppose 5*r - l = -61, l = -1 + 2. Let a(b) = 27*b**2 - b - 1. Let s be a(-1). Let j = s + r. Is j a prime number?
False
Suppose 14 = 5*m + 84. Is 1119/2*m/(-21) a composite number?
False
Let k(x) = -412*x. Let q be k(5). Is 2*q/(-8) - 4 composite?
True
Let k(a) be the second derivative of -8*a**3/3 - 2*a**2 - 2*a. Let r be k(4). Is 2/(-4)*2 - r a prime number?
True
Suppose 2*r - 302 = k, -5*r = -2*k + 6*k - 729. Is r prime?
True
Let o be 2/(66/(-32) - -2). Is (-6)/(-9) + o/(-6) prime?
False
Suppose -1 = s - 6. Let n(b) = b**2 - 3*b + 7. Let i(m) = 1. Let x(p) = -2*i(p) + n(p). Is x(s) prime?
False
Let f(s) = -9*s**2 + 0 - 4 + 5 + 10 - s**3 - 9*s. Is f(-8) composite?
False
Let z(t) = 371*t - 47. Is z(6) a composite number?
False
Let j = 19 + -14. Suppose j*h + 2*t + t - 174 = 0, 4*t + 87 = 3*h. Is h a composite number?
True
Let v(g) be the first derivative of g**3/3 + 2*g**2 - 1. Is v(-7) prime?
False
Suppose 0 = 31*w - 26*w - 955. Is w a composite number?
False
Is (5 + -3)/((-8)/(-1324)) a composite number?
False
Suppose 4 - 12 = -2*q. Suppose -16 - 4 = -q*x. Is 4/(-10) - (-397)/x composite?
False
Let d(a) = a**2 + 2*a + 2. Let u be d(-2). Let t be u/6 - (-5710)/15. Suppose -t = -4*p + p. Is p prime?
True
Let b(h) = h**3 + h**2 - 5*h + 4. Let w be b(3). Let s = w + -4. Is s prime?
False
Let d be (22/(-55))/(1/35). Let k = -12 - d. Is k a composite number?
False
Let u = 3684 - 2207. Is u a prime number?
False
Let g be ((-2)/4)/((-1)/4). Let u be 11/5 - g/10. Suppose -u*f + 9 = -5*c, -4*f - 3*c + 4*c = -27. Is f composite?
False
Let f = 2 + 2. Let b be (-1156)/(-18) - f/18. Is 3/(-9) - b/(-3) prime?
False
Suppose -3*x + 619 = 202. Is x prime?
True
Let q(j) = -2*j**3 + 2*j - 1. Let c be q(1). Is 162 - 18 - (c + 0) a composite number?
True
Let p = 16 - -115. Is p composite?
False
Let t(j) = 395*j**3 - 2*j + 2. Is t(1) composite?
True
Suppose 0 = 5*j + 15, -5*l + j + 19 = -l. Suppose 3*s + 0*s - 216 = 3*n, 3*n - 253 = -l*s. Is s composite?
False
Suppose -2*b + 2037 = b. Is b a composite number?
True
Let d = 403 - -288. Is d a prime number?
True
Suppose 2*n + 57 = a, 240 = 4*a + 2*n + 2*n. Is 2 + -2 + a - 1 composite?
True
Let o = -116 - -249. Is o composite?
True
Suppose 5*i - 10 = 0, -3*c - 5*i + 38 = -86. Let a = -7 + c. Is a a composite number?
False
Suppose 2*s + 24 = 3*a - 114, -2*a + 4*s + 100 = 0. Let o = -240 - a. Let w = -169 - o. Is w a composite number?
True
Let s be 6 + -1 - (3 - 2). Let k be (-4)/(-6)*(s + -1). Suppose 38 + 28 = k*u. Is u a prime number?
False
Let s be 6/(-21) - (-51)/7. Suppose -c + 42 - s = 0. Is c a prime number?
False
Suppose -d - 4*l + 43 = 0, d + 2*d - 3*l - 159 = 0. Suppose -5*h + 2*q = -99, h - d = -h - 3*q. Is h prime?
False
Let x = -231 - -437. Is x a composite number?
True
Let b be (-26540)/14 - (-2)/(-7). Is (b/36)/((-2)/3) a prime number?
True
Suppose 0 = 5*g - 8 + 38. Let z = 8 + g. Suppose 53 = h + 3*i - 2*i, -z*h + 106 = -5*i. Is h a composite number?
False
Suppose -2*n + 38 = 3*r + 2*n, 5*r + 5*n = 60. Let p(t) = -t**3 + 13*t**2 - 12*t + 5. Is p(r) a composite number?
True
Let d(u) = 7*u**2 - 6*u + 54. Is d(-13) a prime number?
False
Let w(t) = -39*t - 14. Is w(-15) a prime number?
True
Suppose 4*y + 0*a = 5*a + 45, 2*a + 15 = y. Suppose -2*m + 383 = y*v, m + 1 = -0. Is (-3)/6 + v/2 a prime number?
False
Let l(d) = -d**2 - 4*d + 4. Suppose -3*v = -z + 7, -4*v + 4*z = v. Let a be l(v). Suppose 3*m = a*y - 66 - 6, -5*m = -20. Is y a prime number?
False
Let x = 83 - 49. Suppose 5*w + 11 = 291. Let a = w - x. Is a composite?
True
Let m = 28 - 13. Is m a composite number?
True
Suppose g + 2 = 2*p - 0, -p = g - 4. Suppose g*t - 75 = 27. Is t composite?
True
Is ((-1 + 144)*-1)/(-1) composite?
True
Let y(b) = -3*b**2 + 9*b + 1. Let u be y(8). Suppose -4*f = -185 - 647. Let c = f + u. Is c a composite number?
False
Let p(t) = -2*t**2 - 9*t - 10. Let m be p(-5). Is (-40)/m + (-1)/(-3) a prime number?
True
Is ((-4)/12)/(3/(-666)) a prime number?
False
Suppose 0 = l + l. Suppose 2*z - 7*z = -3*r - 73, -z + 5*r + 19 = l. Is z prime?
False
Suppose 44 = k - 4*z, -4*k - 2*z - 3*z + 218 = 0. Let q = -29 + k. Suppose 2*m = q + 3. Is m prime?
True
Is (-6)/((-12)/4) - -783 a prime number?
False
Let a be -2*(-149)/(-4)*-2. Let r be 6 + -1 - (-7 + 8). Suppose -5*i = m - 56, -i + a = r*m + 4*i. Is m prime?
True
Suppose -2*d + 19 = -3*n, n + 23 = 4*d - 0*d. Is 3/(-18)*n*46 prime?
True
Let g(w) be the second derivative of -7*w**3/3 - 7*w**2/2 + 4*w. Is g(-7) a composite number?
True
Suppose -110 = -3*s + 64. Is s prime?
False
Suppose 6*a - 5845 = 11729. Is a a prime number?
False
Let x(a) = -1 - 1 - 3*a**2 - 4*a**2 - 7*a - a**3. Let b be x(-6). Suppose 0*q - b*q = -28. Is q prime?
True
Suppose -3*v - 2581 - 46 = -5*j, 2*j - 1034 = -3*v. Is j a composite number?
False
Let g be (-4 + -8)*(-220)/16. Suppose -o + 0*i = i - 140, -o + 4*i = -g. Is o prime?
False
Let w(x) = 88*x**2 + x - 10. Is w(3) composite?
True
Suppose 5*z + 2*d - 95 = -3*d, -2*z + 2*d = -18. Let j(o) = o**2 + 10*o + 1. Is j(z) composite?
False
Let y = 1593 - 608. Is y composite?
True
Let t(p) = -5*p**2 - 2. Let h be t(2). Is (-1 - h) + 5 + -3 a composite number?
False
Let q(d) = d**2 - 2*d + 1. Let t be q(-4). Let y = t - -4. Let h = -18 + y. Is h a composite number?
False
Is 1216/2 + 6/2 composite?
True
Let k = 10 + 14. Suppose -4*a + 34 = 5*b, 0 = 3*a + 2*b + b - k. Let y(c) = 9*c - 3. Is y(a) a composite number?
True
Suppose -3*q + 2*j + 16 = -2*j, -5*q - j = 4. Let r be ((-2)/3)/(3/(-18)). Suppose 2*w = -q*w + r*i + 16, 4*i - 14 = -w. Is w composite?
True
Suppose -89 + 23 = -2*b. Is b a composite number?
True
Suppose -4*c - 4*a = 40, -4*c - a = a + 48. Let s be 144/(-14) - 4/c. Is 2 - 62*s/4 composite?
False
Suppose 6*z - 1255 = z. Is z prime?
True
Suppose 3*u + 19 = -4*l, 27 = -5*u - 2*l - 0. Let n(b) = 4*b**2 + 7*b. Is n(u) a composite number?
True
Let w(v) be the first derivative of -2*v**3/3 - 3*v**2/2 + 3*v - 1. Let x be w(-3). Let d(c) = -5*c + 1. Is d(x