 prime?
True
Let n be (0 - 3)/(2 - 3). Suppose 3*k - 457 = -n*h + 623, 0 = h + 5*k - 380. Is h prime?
False
Suppose 0 = 5*l - 1 - 9. Suppose 3*n - l*n = -38. Let i = -15 - n. Is i prime?
True
Let i(f) = -2*f - 15. Let y be i(-10). Suppose 15 = -k - y*m, -4*k - m - 6 = m. Suppose -6*n + 4*n + 22 = k. Is n composite?
False
Let x(q) = -8*q**3 - 2*q**2 + q. Let l be x(1). Let g(y) = 8*y - 2 + 5*y + 3 + y**3 - 3 + 11*y**2. Is g(l) a composite number?
False
Let o(g) = -21*g**3 + g**2 - g - 1. Let p be o(-1). Suppose -3*m = -3*f - 33, 2 = 4*f + p. Is ((-2)/m)/(2/(-186)) prime?
True
Let t(n) = -n - 1. Let k be t(-3). Suppose -k*u + 34 = -u. Is u a composite number?
True
Suppose 4 = x + 2*x - 2*l, 10 = 4*x + 2*l. Suppose -3*c - 2*n + 370 = 0, -x*c + 246 = 3*n - 2*n. Suppose -2*y + 716 = -c. Is y a composite number?
False
Suppose 18 = 4*y + 2. Let i = 517 - 58. Suppose i = y*c - 289. Is c prime?
False
Suppose a = 6 - 2. Suppose 4*z - m - 25 = -0*m, 5 = a*z + 3*m. Suppose -z*l + 273 = -2*l. Is l a prime number?
False
Let y be (-789)/(((-9)/2)/3). Suppose 3*s - y = s. Is s composite?
False
Let f(l) = 2*l**2 - l - 4. Is f(3) a composite number?
False
Let u(r) = 13*r**2 - 4*r - 5. Let i = -21 + 17. Is u(i) prime?
False
Let x = 3 + -1. Let v(j) = 2*j**3 - 3*j**2 + 2*j + 1. Is v(x) prime?
False
Suppose 3*k - 45 = -4*m, 8*m - 33 = 3*m + 4*k. Suppose 0 = -23*p + 24*p - 40. Suppose d - p = -m. Is d a composite number?
False
Let v(f) = -35*f**2 - 3*f - 8. Let g be v(-6). Let x be 1/(-2) - g/4. Is x/14 + (-6)/21 a prime number?
False
Suppose 0 = -3*h - 0*h + 12. Suppose 9*d - h*d - 1315 = 0. Is d prime?
True
Let b = -382 - -192. Let g be 263/(-2) + 16/32. Let a = g - b. Is a prime?
True
Suppose -3*u - 4*k = -2287, 0 = -5*u + 2*k + 467 + 3388. Is u a composite number?
False
Let b(h) = h**3 + 8*h**2 + 8*h + 5. Let z be b(-7). Let p be 0 + 100 + 2 + z. Suppose 5*q - 75 = p. Is q composite?
True
Let m(t) = 1 + 3*t - 7 - 10*t**2 - 5*t**3 - 5 + 6*t**3. Is m(10) a prime number?
True
Let y(l) = 382*l + 1. Let k be y(1). Suppose -5*o - 118 + k = 0. Is o a composite number?
False
Suppose 5*a = -3*j + 129 + 128, 0 = -3*a + 12. Is j a prime number?
True
Let g(w) = 6*w**2 - 11*w - 3. Is g(8) a prime number?
True
Let y be (5 + -3)*963/2. Let o = y + -590. Is o a prime number?
True
Let k = 6 + -6. Let w be -2 + (-3)/(k + 3). Is (-1)/((w - 0)/42) a prime number?
False
Let j(w) = -w**3 - 21*w - 13*w**3 + 20*w. Let c be j(1). Is 148/(-6)*c/10 prime?
True
Let b(z) = 2*z**2 - 5*z - 5. Is b(8) a composite number?
False
Let p = -36 - -125. Is p a prime number?
True
Let z = -9 - -296. Is z a composite number?
True
Suppose 833 + 17 = -5*b. Let q be b/(-45) + (-4)/(-18). Suppose 5*p - 417 = -4*u, -3*p + q*u + 93 = -170. Is p a composite number?
True
Let z = -94 + 163. Let p = 116 - z. Suppose p = -3*s + 152. Is s a prime number?
False
Let n = 105 - 42. Let y = 98 - n. Is y a composite number?
True
Let m = -27 - 59. Let d = 263 + m. Is d a prime number?
False
Let s(m) = -20*m**3 - 2*m**2 - 6*m - 7. Is s(-2) composite?
False
Suppose -4717 = -12*f + 1151. Is f prime?
False
Suppose t - 5 = -293. Is (t + -1)/((-16)/16) prime?
False
Let a(k) be the first derivative of -k**3/3 - 7*k**2/2 + 3*k + 1. Let m(y) = -5*y**2 - 1. Let q be m(1). Is a(q) composite?
True
Let u(l) = -14*l + 3. Is u(-4) composite?
False
Suppose -2*g = 5*f - 88, -3*f - 25 = 5*g - 93. Suppose f = 2*s - 20. Let n = -3 + s. Is n composite?
True
Let y be 10/40 + 39/4. Is (-6)/y + (-2036)/(-10) a composite number?
True
Suppose -h - 2*h = 9. Is 93*(2 - (-5)/h) a composite number?
False
Let n = 10 + -3. Suppose -n*v - 411 = -4*v. Let b = 276 + v. Is b a composite number?
False
Suppose 2*m + m - 561 = 0. Is m composite?
True
Suppose -18 = 2*n - 3*p + 89, -51 = n - 2*p. Let x = 42 - n. Is x a prime number?
True
Let g(q) = -q**2 - q + 53. Let c = 6 - 6. Is g(c) prime?
True
Let k = 15 + 2. Let b = k - 2. Is b a prime number?
False
Let y(v) = 2*v**2 + v - 2. Let q be y(-2). Suppose 5*x + q*p = 130, 0 = -2*x - 3*p + 2*p + 49. Is x composite?
True
Let j(a) = a**3 - 12*a**2 + 12*a + 12. Is j(11) prime?
True
Let j(i) be the first derivative of 8*i**2 + 3*i - 26. Let g be (-3*1)/(-1) + 2. Is j(g) prime?
True
Let t(j) = 19*j + 10. Is t(3) a prime number?
True
Let w = 95 - -858. Is w prime?
True
Is 13/(-1 + (-42)/(-39)) composite?
True
Let k(h) = 7*h - 2. Suppose -4*f - 61 - 20 = a, 120 = -5*f + 5*a. Let c(j) = 70*j - 21. Let x(d) = f*k(d) + 2*c(d). Is x(-1) a prime number?
True
Suppose 2*a = 181 - 23. Is a a composite number?
False
Let r(g) = -8779*g**3 + 2*g**2 + 2*g. Is r(-1) composite?
False
Let z = 54 + -8. Is (2 - 1)*z/1 composite?
True
Let q(o) = -261*o - 1. Let g be q(-7). Is (6/4)/(33/g) prime?
True
Let o be (-2)/7 + (-2092)/28. Let p = o - -158. Is p prime?
True
Let u be 36/12 + (-2)/(-2). Suppose 108 = u*r - 208. Is r composite?
False
Let l(k) = -k**2 - 1. Let r be l(-2). Let m(q) = -q**3 - 4*q**2 + 5*q + 5. Let t be m(r). Let a = t + 2. Is a composite?
False
Let v = -27 - -15. Let x = v - -61. Is x a prime number?
False
Suppose -6*z + 2*f + 38 = -3*z, 2*f - 2 = -z. Suppose 0 = s + 4*s - z. Suppose -5*a - 5*o = -10*o + 10, s*a + 4*o = 26. Is a a composite number?
False
Suppose 3*m + 94 = -359. Let f = m + 320. Is f prime?
False
Let x(w) = w**2 - 2*w + 4. Let m be x(2). Suppose 2792 = -m*a + 8*a. Is a a composite number?
True
Suppose 4*w + 2 = 3*w. Let f(x) = -7*x - 3. Is f(w) a prime number?
True
Is 4/(-7) - (-5358)/42 composite?
False
Let s(u) = 7*u**2 - u. Let o be s(-3). Suppose 140 = 2*i - o. Is i a composite number?
False
Let f be (-4 - -10)/(1 + 1). Suppose -248 - 145 = -f*x. Is x prime?
True
Let a(i) = 3*i**2 - 5*i - 5. Is a(11) composite?
True
Let r(l) = -l**3 - 4*l**2 + 8*l + 7. Let n be r(-5). Let g = 12 + n. Suppose g*m - 4 - 80 = 0. Is m prime?
False
Suppose -3*i = i. Suppose 2340 = 4*f - 4*q, i = -q - 1 - 1. Is f a prime number?
False
Let z = 280 + -182. Suppose -n = -3*r - z, 7 = -3*r - 2. Let s = -54 + n. Is s a composite number?
True
Let i(n) = 10*n - 3. Let y be i(-6). Suppose 0 = 3*s - s + 52. Let k = s - y. Is k a prime number?
True
Suppose 2 = -2*r + 5*r + 4*u, r = -4*u - 2. Let s(m) = -6*m + m**2 + 6*m**r + m - 2*m**3 + m**3. Is s(5) prime?
False
Let m = 45 + -8. Let x = 32 + -138. Let g = m - x. Is g a composite number?
True
Let s = 0 - -7. Is (-1)/(-2)*(807 + s) a prime number?
False
Let u(n) = 2*n**3 + n**2 + n - 1. Let k be u(1). Suppose -2*p = -3*a + 2*a - 17, -k*a = 4*p - 59. Suppose -5*v + 4 = -p. Is v prime?
True
Let i(p) = 111*p - 5. Is i(2) a composite number?
True
Let y(t) = -t**3 - 9*t**2 - 7*t + 11. Let o be y(-8). Suppose 4*a - 53 = o*a. Is a a composite number?
False
Let p(a) = -a**3 + a**2 + a + 5. Let k be p(0). Let s be 3*8/6 - -1. Suppose -4*u - 104 = -5*n + k, -s*u + 20 = 0. Is n a prime number?
False
Suppose -3*s = -5*z + 958 + 5652, 0 = 3*z - 4*s - 3977. Is z a composite number?
False
Let j(w) = -189*w**3 + w**2 + 2*w + 5. Is j(-2) a composite number?
True
Let q(v) = 7*v + 2. Let y(t) = -190*t - 55. Let c(a) = -55*q(a) - 2*y(a). Let p = -3 - -1. Is c(p) prime?
False
Let z(d) = -33*d + 11. Is z(-14) a composite number?
True
Suppose 1 = -3*x + 7. Suppose n + 11 = x*n. Suppose -46 = -5*a - n. Is a a composite number?
False
Let s(w) = -w**3 + w**2 + 2*w - 1. Let x be s(1). Suppose -6 = -5*i - l - x, 15 = -4*i + 3*l. Suppose v + 2*v - 159 = i. Is v a composite number?
False
Suppose 6*h - 6 = 4*h. Suppose 0*p - 180 = -h*p. Suppose d - p = 19. Is d a composite number?
False
Suppose -5*s - 5*d + 50 = 0, -4*s + 0*d + 64 = -4*d. Is s a composite number?
False
Let k(v) = -v**3 - v**2 - v + 5. Let x be k(0). Suppose 339 = x*b + 4. Is b a composite number?
False
Is (-4)/26 + 12447/39 a composite number?
True
Let n(v) = -7*v + 2. Let o(w) = -13*w + 3. Let r(q) = -5*n(q) + 3*o(q). Let j = -8 - -3. Is r(j) a prime number?
True
Let m(z) = z**2 + 6*z + 7. Suppose 4*f + 17 = 4*w + w, 2*f = w - 13. Is m(f) prime?
True
Let o = -827 + 1458. Is o composite?
False
Let k(a) = -2*a - 9. Let t be k(-6). Suppose 108 = 2*g - q, t*g - 173 = -4*q - 0*q. Is g a composite number?
True
Suppose -5*k - 4*h = 21, -k - 9 = -3*h - h. Let c(p) = -2*p**3 - 2*p**2 + 7*p + 2. Is c(k) composite?
False
Let r(w) = 15*w - 2. Suppose