 = v*s - 235. Is s a prime number?
True
Let h(y) = -y - 44 + 28*y + 0*y. Is h(25) a prime number?
True
Let u = -135 + 886. Is u composite?
False
Let s = -1 - -11. Let v be s/25 + 18/5. Suppose 4*h + 2144 = 4*g, -v*g + 2*h + 2135 = h. Is g composite?
True
Suppose 57*d - 148722 = 51*d. Is d a prime number?
False
Let x(v) = 707*v**3 + 7*v**2 - 45*v + 1. Is x(6) composite?
True
Suppose -5*m + 4*m = 0. Suppose -n + 4*l + 1265 = m, 0 = 2*n - 5*l - 3488 + 946. Let f = n + -850. Is f prime?
True
Let y = -103 - -147. Let d = -6 + 9. Suppose 0 = -v + d*v - y. Is v a composite number?
True
Let z = 436 - -1264. Suppose 5*f = 2*c + 138 - z, 2353 = 3*c - 5*f. Is c composite?
True
Suppose 11*l + 57611 = 64*l. Is l composite?
False
Suppose -3*b + 2777 = 5*h - 8333, -15 = -3*b. Let d = h + 1344. Is d a composite number?
True
Let n(p) be the second derivative of -p**5/20 + p**4/12 + p**3/6 + 41*p**2 - 2*p. Let v be n(0). Suppose q = 3*r - 474, -4*r = -2*q - 550 - v. Is r prime?
False
Let t = 2129 - -504. Is t a prime number?
True
Let w(d) = -d**3 - 8*d**2 + 9*d + 6. Let o be w(-9). Suppose 1 - o = -5*x. Is (x - 5)/(14/(-49)) composite?
True
Suppose 5*o = 19 + 1, 0 = -5*k + 5*o + 545. Let x(u) = -k*u + 0 - 5 + 5. Is x(-5) prime?
False
Let q(d) = d**2 + 5*d + 2. Let x be q(-5). Suppose 248 = x*z + 2*z. Suppose -2*j = -4*j + z. Is j composite?
False
Suppose -2*z = 3*z + 20. Let v = z - -7. Suppose -4*j + v*n - 5*n = -130, 4*j = -5*n + 115. Is j a composite number?
True
Let v(h) be the first derivative of 5 + h + 49/4*h**4 + 1/3*h**3 - h**2. Is v(1) a prime number?
False
Suppose 0 = 2*h - 5*h + 4*t + 4103, 0 = h + 3*t - 1346. Is h a composite number?
False
Suppose x + 132 = -4*g, 0*g + 2*x = -5*g - 168. Is (-119008)/g + 0/2 a composite number?
False
Let g = -4160 + 10291. Is g a composite number?
False
Suppose -3*a - 4 - 8 = -3*y, 8 = -y - 3*a. Suppose h = 2*m - 32, 5*h + 4*m + 80 = h. Is (-16)/16*(h + y) a prime number?
True
Suppose 4*y - 179435 = -13*y. Is y composite?
True
Suppose -714 = -5*y + 61. Let h = y - 40. Is h prime?
False
Let s = 238673 - 130308. Is s a prime number?
False
Let y be 0*(2 + -1) - 186. Is 2/3*y/(-4) a prime number?
True
Suppose -98591 = -7*a - 3300. Is a a composite number?
False
Suppose 9*u = 13*u + 20. Let q = 4 - u. Suppose -k + 316 - q = 0. Is k a prime number?
True
Is 2250108/1071 + 1/17 composite?
True
Let y = -23 - -16. Let r(l) = l**3 + 8*l**2 + 7*l. Let d be r(y). Suppose -a + 6*a - 55 = d. Is a prime?
True
Let n = 35 - 31. Suppose -1715 + 11799 = n*d. Is d a composite number?
False
Let d = -1 + -1. Is 119 - 0 - (3 + d) prime?
False
Suppose -2514 = -2*k + 6500. Is k a composite number?
False
Let k(c) = c**3 + 20*c**2 - 11*c + 7. Let u be k(-11). Suppose 4*a = u + 307. Suppose 3*v + 5*h = a, -343 + 89 = -2*v - 2*h. Is v composite?
False
Let x(m) = 2643*m**2 - 2*m + 13. Is x(-3) composite?
True
Suppose -21 = 3*h - 6*h. Suppose h*t - 222 = t. Is t composite?
False
Suppose -25471 = -8*f + 3273. Is f a prime number?
True
Let n(b) = -3*b**3 + 9*b + 18. Let s be n(-5). Let m = 1553 + s. Is m a composite number?
False
Suppose -2*j - 4 = -2*y, -y + 5*y - 5 = 5*j. Suppose -s + 534 = y*s. Is s a composite number?
False
Suppose 0 = 3*s + 2*s - 40. Suppose 330 = s*i - 10*i. Is 0/(-2) - (i - -6) a composite number?
True
Let s(f) = -8*f**3 + 5*f**2 - 5*f + 3. Is s(-7) composite?
True
Suppose 2*r = -a + 54656, 2*r - 6*a - 54666 = -2*a. Is r prime?
True
Let c(x) = 5156*x + 261. Is c(16) composite?
False
Let q(m) = -5*m + 4. Suppose -2*t + z - 8 = 0, -6*t - 22 = -2*t - 5*z. Let x be (-3)/(4/(-12)*t). Is q(x) composite?
False
Let u(v) = 32*v - 25. Is u(16) prime?
True
Suppose 5*f = -4*a + 4724, -3*a = -2*a + 3*f - 1174. Is a composite?
True
Is 20/24 - (-6 - (-713522)/(-12)) a prime number?
True
Suppose 2*z + 2820 = -3*w, -3*w - 7041 = 3*z + 2*z. Let l = z + 2114. Is l a prime number?
False
Suppose -4*n - n + 105 = 0. Let s = n - 16. Suppose -7*l + 258 = -s*l. Is l a prime number?
False
Suppose 0 = -0*x - 5*x + 210. Let l = 271 + -190. Let h = l + x. Is h a prime number?
False
Suppose 439 = 3*f - u, u - 3*u = -2*f + 298. Let i = 67 - 121. Let y = i + f. Is y a composite number?
True
Suppose -4*v = 4*v. Suppose -3*h = 4*d + 3 - 456, -5*h = -4*d + 429. Suppose v*u - d = -u. Is u prime?
False
Let t = -1 - -4. Suppose t + 3 = 3*h. Suppose h*n + 2*i = 18, -5*n = -2*n - 5*i - 11. Is n a prime number?
True
Suppose -15*k = 33*k - 583584. Is k prime?
False
Suppose -4914 = 7*p + 2653. Let q = p + 2310. Is q a prime number?
True
Let y(b) = -14*b**3 + 14*b**2 + 11*b - 2228. Let d(a) = -5*a**3 + 5*a**2 + 4*a - 743. Let o(x) = 11*d(x) - 4*y(x). Is o(0) composite?
False
Suppose -20*l + 946935 = -139765. Is l a prime number?
False
Is ((-180)/810)/((-4)/1708254) a composite number?
False
Let w be (-105)/2*(-16)/4. Suppose -v = -0*v - a - w, 0 = -a - 1. Is v composite?
True
Suppose -5 = -4*n + 3, 5*t - 2*n - 11 = 0. Let y(q) = -37*q**t + 0*q - 4*q - 1 + 2*q - 2*q**2. Is y(-2) composite?
True
Let h(v) = -265*v**3 - 13*v**2 - 7*v + 1. Is h(-4) a prime number?
False
Is ((-9)/(-3))/((-63)/(-177765)) prime?
False
Suppose 0 = 5*f - 5*z - 92795, 55677 = 3*f + 14*z - 16*z. Is f a composite number?
True
Let q(d) be the first derivative of 7*d**2 + 21*d - 6. Is q(8) composite?
True
Let y(h) = 3*h**2 - 9*h + 3. Let f be (-33)/(-22)*(-8)/(-6). Suppose -f*j - 24 = 4*q, 5*j - 6 = 2*q + 30. Is y(q) a composite number?
True
Let o(g) = -g**2 + 9*g - 7. Let i be o(7). Suppose 25 = i*c - 3*c - 3*v, 0 = -v - 3. Suppose 9*w = c*w + 555. Is w composite?
True
Let z be -2 + 1 - (-286)/2. Suppose 494 - z = 4*b. Suppose -5*d = 4*a - 647, 3*d - b = 5*a + 315. Is d a prime number?
True
Suppose 163*g - 8296 = 155*g. Is g composite?
True
Let l = 565 - 151. Suppose l = b + 5*b. Is b a composite number?
True
Let d(b) = 6*b**2 + 50*b + 16. Let k be d(-9). Let q = -31 - -2. Let v = k + q. Is v a composite number?
False
Suppose -11*g = -21*g + 2350. Is g composite?
True
Let w be (-50)/(-15) - (-4)/6. Let l(i) = 27*i**2 - 24 - w*i + 21 - 7*i**2. Is l(-2) a prime number?
False
Let c(w) be the first derivative of -2*w**3/3 + 3*w**2/2 - 3*w + 3. Let u be c(2). Is (-1)/3*3585/u a composite number?
False
Let z be 40/(-10) + (-2 - -263). Is z/((-40)/(-16) - 6/4) a composite number?
False
Let o(r) = 338*r - 137. Is o(14) prime?
False
Suppose 7*w + 546 = 1974. Let f = w - -1219. Is f composite?
False
Suppose n - 7565 = -5*l, -5*l = -4*l - 2. Is n a composite number?
True
Let u(d) = -3*d**3 + d**2 - 27*d - 7. Let p(g) = -g**3 + g**2 - 14*g - 3. Let l(v) = -7*p(v) + 4*u(v). Is l(-5) a prime number?
True
Let h(i) be the first derivative of 134*i**3/3 - 3*i**2 - 13*i - 54. Is h(-2) prime?
False
Let d = -10 - -24. Suppose -d*j + 4*j + 16370 = 0. Is j composite?
False
Let h(f) = 926*f - 361. Is h(7) a prime number?
True
Suppose -8*r = -21*r + 39. Suppose 0 = r*h - 4*i - 7955, -3*h + 4*i = -h - 5298. Is h a composite number?
False
Suppose 0 = -3*k + 133981 - 40072. Is k a composite number?
True
Is -4 + 6*(59941/14 - -3) composite?
False
Suppose 0 = -5*x - 2*y + 15154, -5*y - 2083 - 964 = -x. Suppose -8*u + 4*u + x = 0. Is u composite?
True
Let k(g) = -g**2 - 3*g - 1. Let n be k(-3). Is 1459 + ((-3)/3 - n) prime?
True
Let g be (-4)/14 + (-207)/(-63). Let a(z) = z**3 - 2*z**2 + 11*z + 3. Let s be a(9). Suppose 6*p - s = g*p. Is p a composite number?
False
Let n = -24 + 28. Suppose 2*y + 108 = 2*m, 0 = -3*m + m + n*y + 114. Is m + (-4)/(-2) - 0 composite?
False
Suppose -3*v + 1769 - 6270 = 5*u, -4*u = 20. Let k = 2225 + v. Is k a prime number?
True
Let t(d) = -4915*d - 352. Is t(-5) a composite number?
False
Let d(z) = -z**3 - 2*z**2 - z + 6. Let c be d(0). Let f(y) = y**2 - 3*y - 18. Let l be f(c). Suppose 5*u = -l*u + 1655. Is u composite?
False
Suppose 18631 = 12*c - 9*c + 4*z, 5*z = -5*c + 31050. Is c prime?
False
Suppose -3*a = 9, 2*q - 2*a - 16103 = -7*a. Is q a composite number?
False
Let p = 262 + -406. Let o = p + 335. Is o composite?
False
Let d(i) = -i**2 - 6*i - 9. Let l(b) = -2*b**2 - 18*b - 28. Let u(y) = -7*d(y) + 2*l(y). Is u(-14) composite?
True
Suppose -149*v + 159*v - 11510 = 0. Is v composite?
False
Let v(u) = 14*u**2 - 5*u - 4. Let w(m) = 14*m**2 - 5*m - 4. Let s(b) = 4*v(b) - 3*w(b). Is s(-2) 