s (-3 + 1)*g/(-4) prime?
True
Is ((-12234)/4*40/(-30))/2 a prime number?
True
Let a(n) = -n - 5. Let i be a(7). Let q be (i/16)/(2/(-16)). Is (-4)/12 - (-332)/q composite?
True
Let c(h) = h**2 + 2. Let j be c(0). Suppose -v + 3*n = -87, j*v + 5*n - 8 - 122 = 0. Let i = -49 + v. Is i prime?
False
Let n(j) = 6*j**2 + 18*j - 1. Is n(-8) prime?
True
Suppose 2*h = -4*a + h + 100, -2*a + h + 56 = 0. Is a a prime number?
False
Let j(d) be the second derivative of d**5/20 + 3*d**4/4 + 2*d**3/3 + 9*d**2/2 + d. Let n = 4 - 11. Is j(n) a prime number?
True
Let y = -857 + 1850. Is y composite?
True
Suppose -3*g + 29 = 5*s, 14 = -4*g + 6*g + 2*s. Let k be g - 0 - 2/2. Suppose -3*h + 2*v + 47 = -0*v, h = -k*v + 29. Is h prime?
True
Suppose -2*l + 0*l = -174. Suppose 5*f + 79 = y, f - l = -y + 2*f. Is y composite?
False
Suppose -3*u - 14 = -5. Is (-498)/u*(-1)/(-2) composite?
False
Let z(v) = v**3 - 6*v**2 + 7*v + 7. Suppose -p = -2*s - 28, 0 = 5*p - 10 - 10. Let k = -6 - s. Is z(k) a composite number?
True
Let k = 2 - 2. Suppose k = -5*w + 774 - 319. Is w composite?
True
Suppose -3*m + 4*g + 1211 = -1604, -g = -2*m + 1885. Suppose 5*p + m = 5*z, 303 = -5*z - 5*p + 1268. Is z prime?
True
Let y(d) = -2*d - 6. Let u be y(-4). Suppose 2*v = -u*v + 308. Is v prime?
False
Let q(c) = 2*c**3 + 6*c**2 + 6*c + 4. Let l be q(-4). Is 1/(-3 + (-160)/l) a prime number?
True
Let g = -14 - -8. Let f(j) = -3*j - 4. Is f(g) a prime number?
False
Suppose -81 = -5*f + 209. Suppose 0 = -2*t - f + 172. Let z = t - 36. Is z composite?
True
Suppose -141*b = -140*b - 451. Is b a prime number?
False
Let y be 3 - (-3)/((-6)/4). Let m = 1 - y. Suppose -2*d = -m*d - 14. Is d a composite number?
False
Suppose 4*b + 10 = -b. Is (b/(-4))/((-2)/(-232)) prime?
False
Suppose -403 = -3*y + 80. Is y prime?
False
Let x(f) = -76*f. Let g be x(1). Let h = 145 + g. Is h a composite number?
True
Let f be (-3)/1 + (-14 - -25). Suppose -f*a + 184 = -4*a. Is a composite?
True
Suppose -10*c - 10593 = -56543. Is c a composite number?
True
Let j = -25 + 15. Let x(q) be the second derivative of -7*q**3/6 + q**2/2 - 10*q. Is x(j) a composite number?
False
Let q be (-4)/((-32)/12)*-122. Let u = -714 - -1024. Let a = u + q. Is a a prime number?
True
Let l = 9 - 0. Is 492/l + 1/3 a composite number?
True
Let b be 3/(-5) + (-46)/(-10). Is 95/(-2)*(b + -6) a prime number?
False
Let d(c) = -c**2 - 10*c - 12. Let n be d(-8). Is 141/4 - 1/n a composite number?
True
Let s(j) = j + 1. Let o(d) = -d**2 + 5*d + 7. Let i(b) = o(b) - 5*s(b). Let k be i(0). Is (-19)/((-3)/6*k) prime?
True
Suppose 5*i + 4 = -6. Let b = 1 - i. Is 0/2 + 111/b a prime number?
True
Let i(w) = 7*w**3 + 13*w**2 + 4*w - 3. Let m(f) = -11*f**3 - 20*f**2 - 6*f + 5. Suppose -6 = 2*s + 4. Let u(j) = s*m(j) - 8*i(j). Is u(-4) a composite number?
False
Is (((-12435)/(-6))/(-5))/(5/(-10)) a composite number?
False
Let h = 10 + 63. Let b = h + 18. Is b a prime number?
False
Let g(f) = 17*f**2 - 1. Let m = -3 + 1. Is g(m) a composite number?
False
Let n(m) be the first derivative of m**2/2 + 4*m + 2. Let o be n(-3). Suppose 0 = s - o - 3. Is s prime?
False
Suppose 5*t + 2*b = -3*b + 25, -3*t = -3*b - 3. Let c = -11 + 18. Let f = c - t. Is f prime?
False
Suppose 0*r - 4*r - m - 553 = 0, 0 = 5*r + 3*m + 686. Let o = -42 - r. Is o composite?
False
Suppose a - 4 = -0*a. Let y(i) = 13*i**2 + 5*i + 3. Let g be y(-3). Is (a/5)/(6/g) a composite number?
True
Suppose -m - 60 = -168. Let b(s) = 162*s - 1. Let u be b(1). Suppose -x + 3*x = 5*l - u, -3*l + 5*x = -m. Is l composite?
False
Suppose l + 9 = -p, l = 6*p - 2*p + 36. Let n = p - -11. Is n a composite number?
False
Let o(j) = 2*j**3 + 1. Let y be o(1). Let d = 2 - y. Is (-1 - d - -39) + -2 composite?
False
Suppose r + 31 = -1. Let s = 131 - r. Is s a composite number?
False
Let f(h) = h**2 + 6. Suppose -2*q + 5*q + 6 = -4*d, -4*d + 4*q = -8. Let k be f(d). Suppose -5*j = -24 - k. Is j a composite number?
True
Suppose 6*d - 1353 = 3*d. Let o = d + -284. Is o composite?
False
Is 2/(-4) + 789/6 prime?
True
Let n(x) = 2*x + 2. Let b be n(-5). Let w = b - -17. Is w composite?
True
Let x = 20 + -7. Suppose 38 = a + x. Is a a composite number?
True
Let l(s) = -s**2 - 2*s + 6. Let o(w) be the first derivative of w**3/3 - w - 4. Let c(y) = l(y) + 4*o(y). Is c(-9) a prime number?
True
Let b(j) = -j**3 - 3*j**2 - 4*j - 7. Let o be b(-3). Suppose -8 = -3*r + 4. Suppose -2*i + 68 = r*n, 3*i + 97 + 10 = o*n. Is n a composite number?
False
Let c = 15 + -8. Let u = c + -1. Is u prime?
False
Let d be -10*2*2/(-10). Suppose 4*h - 50 = -2*m - 20, -d*m - 4*h + 80 = 0. Let l = m + -6. Is l a prime number?
True
Let z be (108/(-5))/((-10)/75). Let m be (4/1 - 1) + z. Suppose 3*x = -0*x + m. Is x a prime number?
False
Let u = 1407 + 2. Is u a composite number?
False
Let j(l) = l**3 + 12*l**2 + 6*l + 2. Is j(-10) prime?
False
Let y(j) = j**2 + 6*j + 5. Let k be y(-5). Suppose 2*t + 4*q - 66 = -k*q, 5*t + 2*q = 157. Let o = t + -10. Is o prime?
False
Let o(j) = 234*j**2 - 1. Suppose b - 4*b = 3*z - 6, -2*z + 7 = 5*b. Is o(z) a prime number?
True
Let x(k) be the first derivative of 8*k**2 + k + 5. Is x(6) a prime number?
True
Let m(b) = -82*b**3 - b. Let w be ((-1)/(-2))/(1/(-2)). Is m(w) a prime number?
True
Suppose -3*j = -12 + 3. Suppose -2*t + 3*r + 14 = 0, -j*t + 2 + 19 = -3*r. Is t prime?
True
Suppose -5*h + 2*u = -2718, -4*h = -0*u - 3*u - 2173. Suppose 0 = r - h + 75. Is r prime?
False
Suppose 0 = 4*d - 5*t + 327, -4*d = -4*t + 3*t + 315. Let g = d + 109. Is g prime?
True
Suppose 319 = -44*p + 45*p. Is p a composite number?
True
Suppose -317 = y - 2*w, 5*w = 2*y + 2*y + 1283. Is ((-6)/(-9))/((-2)/y) prime?
True
Suppose -3*z - 5*j = -3*j - 6, z - 4*j = -12. Let f(x) = -x**3 - 6*x**2 - 6*x - 6. Let u be f(-5). Is (z - u)*2 + 7 prime?
False
Suppose 0 = -4*x - 2*h - h + 268, -h + 201 = 3*x. Is x prime?
True
Suppose 98 = a - 3*a. Let j = 80 + a. Suppose -11 = -4*x + 2*i + j, -i = 5*x - 70. Is x composite?
False
Let r be (-3)/(-5) - (-7)/5. Suppose -r*j - 12 - 4 = 0. Is 2/j - 178/(-8) prime?
False
Suppose 5*n = -2*s + 2073, 5*n + 2860 = 4*s - 1361. Is s a prime number?
True
Let y(h) be the third derivative of -1/60*h**5 + 0*h + 0 + 13/24*h**4 + 1/2*h**3 - 3*h**2. Is y(11) a prime number?
False
Suppose 3*u - 1652 = 115. Is u a prime number?
False
Let z(b) = 14*b**2 + 2*b + 1. Suppose 0 = -3*a + 3*h + 10 - 31, 1 = 2*a + h. Let t be z(a). Suppose t = 5*o - 42. Is o a prime number?
True
Let t(r) = 19*r**3 - r**2 + 11*r + 6. Is t(5) a prime number?
True
Let p(a) = 338*a - 7. Is p(1) a prime number?
True
Suppose 42 = -5*y - 58. Is 2/(-1) + (-5 - y) prime?
True
Let n be (-3464)/(-34) - 10/(-85). Let v be 12/10*(-10)/(-3). Suppose -v*d + d = -n. Is d composite?
True
Let z be 6/(-4*(-3)/6). Suppose z*m = -m + 16. Suppose h = -2*k + 42, m = -4*h + 3*h. Is k prime?
True
Let b = -3184 + 4985. Is b prime?
True
Suppose -485 = -5*t - a + 8981, 4*a = -5*t + 9454. Is t a prime number?
False
Let z(v) = -v**3 - 5*v**2 + v + 4. Let r be z(-4). Let q = 32 + r. Suppose -2*h + 2*d = -80, -1 + q = -5*d. Is h composite?
False
Suppose 0 = 6*g - 2*g - 8. Suppose -2*d + o = -21, -4 = -g*d + 4*o + 8. Suppose 4*z - 48 = -d. Is z a composite number?
True
Suppose j = 5*m + 5*j - 3945, 0 = -5*m + j + 3920. Is m a composite number?
True
Let c(w) = -w**3 - 4*w**2 - 12*w - 5. Is c(-8) a composite number?
False
Suppose 37 = -4*u + 369. Is u a composite number?
False
Suppose 3161 = 4*x - 3*x. Is x a composite number?
True
Suppose -2*m - 149 - 1061 = 0. Let c = m - -854. Let x = c + -170. Is x a composite number?
False
Let y be (1/(-2))/((-4)/24). Suppose 74 + 82 = y*x. Let t = x - 31. Is t prime?
False
Let s = -4 + 9. Suppose 5*m = 4*c + 635, -2*m - 2*m - s*c + 508 = 0. Is m a prime number?
True
Let l be 56/16 + 2/4. Let b(f) = 2*f**2 - 2*f + 3. Let j(g) = -2*g**2 + 3*g - 3. Let x(k) = 4*b(k) + 3*j(k). Is x(l) a prime number?
False
Suppose -g - 8 = 2*n, -18 = g - n + 5*n. Suppose -g*m - 2*m = 0. Let c = 21 + m. Is c prime?
False
Let o(l) = 5*l + 7. Suppose -5*v = 4*q - 0*v - 29, -2*q - 3*v = -13. Is o(q) prime?
False
Let v(g) = -8*g - 6. Let q be v(-6). Let z = q + 169. Is z a prime number?
True
Let p be 8 + 3/(6/(-4)). Let i be (-3752)/(-6) - 2/p. Suppose -5*r + 