 Suppose m = 3*x - 12, 216 = 5*q + 2*x - 187. Is q composite?
False
Let t(l) = 59*l - 1. Let d(f) = f**2 - 5*f + 5. Let p be d(4). Is t(p) a prime number?
False
Let p = 8 - 6. Suppose 0 = -u + 1, -4*c - 2*u - p = -200. Is c composite?
True
Let q(j) = -j**2 + 11*j - 5. Let r be (0 - 1 - -1)/(-1). Let b be 8*(-3)/(r + -6). Is q(b) composite?
False
Let l(g) be the first derivative of 81*g**2 + g + 5. Is l(1) a prime number?
True
Suppose -2*y = 4*w - 36, 3*y - 5*w - 27 = -2*w. Let l = y + 33. Suppose 0*p - l = -3*p. Is p a prime number?
False
Let a(j) = j**3 + 11*j**2 - 2*j. Is a(-11) a prime number?
False
Let q(c) = -3*c**3 + 8*c**2 - 20*c - 7. Let v(u) = -u**3 + 3*u**2 - 7*u - 2. Let t(z) = -3*q(z) + 8*v(z). Let r be t(-4). Is (-1)/1*r/3 a prime number?
False
Suppose 0 = -2*j + 5*j - 12. Suppose l = -j*l + 3*r + 176, 0 = -4*l - 3*r + 157. Is l composite?
False
Is ((-21)/63)/(2/(-1314)) a composite number?
True
Let k = -1840 + 3067. Is k a composite number?
True
Let j be (-1)/((2 - 6)/(-12)). Is j/4 + 7608/32 a prime number?
False
Let n = 0 - 0. Suppose 4*z + 5*t - 18 = n, 4*t = 3*z + t. Suppose 4*a = z*a + 76. Is a a prime number?
False
Suppose 0 = -2*n - 2*n. Suppose n = -s - 2*s + 207. Is s a prime number?
False
Let t(q) be the second derivative of q**4/12 + 5*q**3/3 - 13*q**2/2 - 5*q. Is t(-18) composite?
False
Let d(k) = 51*k**3 - 2*k**2 - 2*k + 1. Let g be d(2). Suppose 153 = -2*z + g. Suppose z = 2*y - 26. Is y a prime number?
False
Suppose 6*g - 1338 = -0*g. Is g a composite number?
False
Let v = 1 - -2. Let f be 235 + 3 + -5 + v. Suppose -156 = -4*h + 3*c + 157, -c - f = -3*h. Is h a prime number?
True
Let p(k) = 40*k**2 - 1. Let f be p(2). Let q = f - -110. Is q a composite number?
False
Let n = -157 - -272. Suppose -g + n = -48. Is g a composite number?
False
Suppose -3*a = -a - 2. Let q = 2 + a. Suppose -4*w = q - 31. Is w a composite number?
False
Suppose z = 3*q + 239, 5*q = -3*z + 4*z - 399. Let d = -47 - q. Is d a composite number?
True
Suppose -806 = -3*c - 53. Is c a prime number?
True
Let d be ((-9)/(-4))/((-1)/72). Let y = d - -289. Is y composite?
False
Let i = 2 + 1. Suppose -5*q + 3*z + 0*z = -29, -i*q + 3*z + 21 = 0. Let x(w) = 5*w**2 + 2*w + 3. Is x(q) prime?
False
Let y(x) be the first derivative of -x**7/420 - x**6/60 - x**5/40 - 5*x**4/24 + 2*x**3/3 - 1. Let r(n) be the third derivative of y(n). Is r(-4) a prime number?
False
Let l(j) = -j**2 + 5*j - 3. Let r be l(4). Let n = r + 8. Is n a prime number?
False
Suppose 4*m = 3*o - 16, -3*m = -3*o - 0 + 15. Let c(p) = -62*p**2 - 2*p - 7. Let j(y) = -y**2 - 1. Let b(v) = -c(v) + 6*j(v). Is b(m) a prime number?
False
Suppose 2*s = 3*s - 87. Let d = 145 - s. Is d a prime number?
False
Suppose -2*l + 10 = 3*c, -22 = -3*l + c - 2*c. Let o be (l/(-20))/(1/(-15)). Suppose k - o*k = -175. Is k a composite number?
True
Suppose -a + 1 = -4*y - 3, -3*a = y - 12. Suppose y = 4*m + 13 - 41. Is m a prime number?
True
Let i be (-6)/((-12)/8 + 0). Suppose -i*w - 178 = -5*f + 473, 0 = -w + 1. Is f a prime number?
True
Let a(i) = i**3 - 3*i**2 + 3*i. Let x be a(2). Suppose x*k - 8 = -2*k. Is (131/4)/(k/8) prime?
True
Suppose 2*d + 60 = 6*d. Suppose -d = -3*h + 96. Is h a composite number?
False
Let r = 1 - -7. Let f(i) = -i**3 + 9*i**2 - 7*i - 9. Let u be f(r). Is (u + 0)*(6 + -20) composite?
True
Suppose -4*c - 337 = -i + 54, -3*c = 4*i - 1564. Is i composite?
True
Let a(p) = 2*p**2 - p - 1. Let z be a(-1). Let m = z + 57. Is m a prime number?
True
Is 6/4 + 4075/10 prime?
True
Is ((-465)/(-30))/((-2)/(-4)) a composite number?
False
Suppose c = 5*y + 2*c - 2040, 0 = y - c - 414. Is y prime?
True
Suppose -7064 = -17*r + 4785. Is r a composite number?
True
Let k = -37 - -234. Let d = k + -82. Is d prime?
False
Suppose -2*t + 820 = 2*t. Let v = t - 51. Suppose 0 = -0*x + 2*x - v. Is x prime?
False
Let d(n) = -3*n. Let i(q) = 6*q**3 - q. Let u be i(1). Suppose 0 = 5*x + u. Is d(x) prime?
True
Let n(l) = l**3. Let g(x) = -11*x**3 - x**2 + 3*x - 3. Let c(u) = g(u) + 3*n(u). Let r be c(-3). Suppose 0*p + r = 3*p. Is p composite?
True
Let t = 60 + 5. Is t a composite number?
True
Let y(u) = 12*u**2 + 0 + u**2 - 1 - u. Is y(2) composite?
True
Let f be 1 + -6*(-1)/2. Suppose -d = 0, -f*d - 150 = -4*m + 322. Is (m/(-4))/(2/(-4)) prime?
True
Let n be (-3)/(-1)*15/9. Let j = n - 1. Let l = j + 27. Is l prime?
True
Suppose -5*a = -3*a - p - 874, -431 = -a - p. Suppose -o + a = 2*o. Is o a composite number?
True
Let j = -19 + -3. Let u be j/(-5) - 12/(-20). Suppose -u*b - 43 = -4*i + 177, -5*b = 0. Is i a prime number?
False
Suppose 0 = -3*p + 3 + 3. Let g = 52 + -33. Suppose -n + p*n = g. Is n a prime number?
True
Let d be 20/6 + (-5)/15. Suppose 15 = d*i - 39. Is (12/i)/(4/42) a prime number?
True
Let n(a) = 4*a**2 + 3*a. Is n(5) a composite number?
True
Let p(x) = 187*x - 28. Is p(5) a composite number?
False
Let x = 519 - 205. Is x composite?
True
Suppose 455 = 5*y - 5*n, 5*y - 4*n = -n + 455. Is y a composite number?
True
Suppose -12854 = -7*u + 9749. Is u a prime number?
True
Let p(i) = 278*i + 27. Is p(10) a prime number?
False
Suppose -2*h - 500 = -4*o, 5*o - 2*h - 95 - 532 = 0. Is o a prime number?
True
Suppose 38 = 4*n + 10. Suppose -f - 2514 = -n*f. Is f prime?
True
Let l(o) = 96*o + 17. Is l(5) a prime number?
False
Let a = -591 - -835. Suppose 3*t = 311 + a. Is t a composite number?
True
Let v be 4/6 - (-11010)/(-18). Let m = -424 - v. Is m a composite number?
True
Is ((-16)/20)/((-2)/(-10)) + 9797 composite?
True
Is ((-1)/(-2))/((-3)/(-2490)) composite?
True
Suppose 4*m + i = 331, 2*i - 57 + 142 = m. Is m prime?
True
Suppose y + 8 = -2*k + 53, 4*k - 60 = 4*y. Let p be ((-14)/(-8))/(1/k). Is -3 + 5 - p/(-1) prime?
True
Let m(d) be the first derivative of -d**4/4 + 17*d**3/3 - 7*d**2 - 19*d - 5. Is m(15) a prime number?
False
Suppose -l - 7*l = -2648. Is l composite?
False
Let t = 236 + -133. Let p = t - 8. Is p composite?
True
Suppose 0 = 5*c + 5*b - 2755, 0 = c - 4*b - 0*b - 551. Is c a prime number?
False
Suppose 2*k = -0*k + 6. Suppose -951 = -k*h - 0*h. Is h a composite number?
False
Suppose -2*h - 15 = -h. Let n be h/6*12/(-10). Is n/(-2)*(-44)/6 a prime number?
True
Suppose 5079 = -5*c + 8*c. Is c a prime number?
True
Let f(z) = -31*z + 5. Let q be (-13 + 9)/(4/6). Is f(q) a composite number?
False
Suppose 554 = -g + 2*g. Is g composite?
True
Let y = -6 - 2. Let v = -6 - y. Suppose -i - 2*n + 35 = 0, 0*i + 5*i + v*n - 167 = 0. Is i a composite number?
True
Let g(r) = 2*r - 12. Let v be g(-5). Let b = v - -59. Is b prime?
True
Suppose 2*f = -2*r + 586, 0 = -0*r + r + 2. Is f a prime number?
False
Let s(q) = 2*q - 5. Let f be s(4). Suppose -r = f*r. Let o = r + 6. Is o prime?
False
Suppose -3690 = -3*v - 2*n, 2*n - 240 = -5*v + 5910. Is (v/(-3) - 3)/(-1) prime?
False
Let s(r) = -2*r + 8 + r - 9. Let z be s(-8). Let w(b) = 17*b - 6. Is w(z) prime?
True
Let o = 72 - 46. Is o composite?
True
Suppose 4*w - 11 = 5*g + 5, 3*w + 2*g = 12. Suppose -16 = w*f - 140. Is f a composite number?
False
Suppose -8 = r + c, 2*c + c - 36 = 2*r. Is (-450)/r + 1/(-2) a composite number?
False
Suppose 0*s - 4 = -5*o + 2*s, -5*o + s + 2 = 0. Suppose 5*m + o*m - 115 = 0. Is m a prime number?
True
Let y(k) = 5*k**2 - 9. Let d be y(-4). Let i be (-240)/7 - 2/(-7). Let u = d + i. Is u a prime number?
True
Suppose 8*x = 6*x + 12. Is (2 + 0)/(x/21) prime?
True
Suppose -53 = 3*v + 82. Let u = v + 158. Is u a prime number?
True
Let s be (-14)/(-63) + (-2)/9. Suppose -g + 2*g - 5 = -4*w, s = -2*w - g + 5. Suppose 0*p + 3*p - 75 = w. Is p a prime number?
False
Suppose 0 = 4*z - 0*z + 24. Let m be (z/(-2) - 104)*-1. Suppose a - 2*a - 190 = -2*x, m = x + a. Is x a prime number?
True
Let s be 7*2*69/(-6). Let o = -74 - s. Is o composite?
True
Suppose -4*k + 185 = -d, 60 = 3*k - 2*k - 3*d. Suppose -4*w = -5*a + k, w + 15 = 2*a - 0*w. Suppose 0*u - 3*j = 3*u - 63, -3*j = a*u - 107. Is u composite?
True
Let n be -2 - (-15)/3 - -1. Let o(t) = 8*t + 1. Is o(n) a composite number?
True
Let z = 6 - 4. Let y(b) = -1 - 16*b**2 + 2*b - 3*b + 50*b**z. Is y(-1) prime?
False
Suppose -3*t = -2*c - 7*t + 20, -5*t = -c - 11. Suppose 3*n - n = -5*u + 363, -189 = -n - c*u. Is n a composite number?
True
Let j = -11 - -15. Suppose j*w = 