j = -4*j + r. Is j a prime number?
True
Is 4/12*6 + (2 - -1023) prime?
False
Let l = -164 - -465. Is l a prime number?
False
Suppose -2*v - v = 4*t - 65, 3*v + 5*t = 64. Is v a prime number?
True
Suppose -2*q + q - 187 = -5*p, 6 = -3*q. Is p prime?
True
Let z be ((-376)/(-6))/((-3)/(-9)). Is 1*(z - (0 + -3)) a composite number?
False
Let x = 19 - 19. Suppose -5*b - 2*o + 5*o = -9904, x = -5*b + 4*o + 9907. Is b a composite number?
False
Let d(u) = -u + 5*u + 4*u**2 + 6 + 1 - 3*u**2. Is d(-10) a prime number?
True
Suppose -v + 36 = 2*v. Suppose -2*i - i = v. Is (2/i)/(8/(-1504)) a composite number?
True
Suppose 0 = 3*b - 5*t - 88 + 12, -3*t = 3*b - 36. Let c = -4 + b. Is c prime?
True
Suppose 0 = -12*r + 5652 + 528. Is r a composite number?
True
Let g be 2 + -2 + -115 + 2. Let p = g + 196. Is p a prime number?
True
Let r(v) = 20*v**3 + 4*v**2 + 2*v + 9. Is r(4) composite?
False
Let n(m) = -6*m + 1. Let z be n(3). Suppose 2 + 7 = -3*y. Let l = y - z. Is l composite?
True
Let h = -17 + 19. Suppose -g = 1, h*g + 269 = v - 0*g. Is v composite?
True
Suppose -41 = 3*j - 104. Is j composite?
True
Suppose -x + 0*x = -1756. Suppose -d + 4557 = 5*s + 161, 2*s - 2*d - x = 0. Let g = -460 + s. Is g a composite number?
False
Let z(s) = 4*s - 3. Is z(7) a prime number?
False
Suppose 3*y = 2*w - 746, 2*y = -3*w + 2*w + 373. Is w composite?
False
Let o(y) = -8*y - 47. Is o(-17) a prime number?
True
Suppose -3*h - 4 = -3*m + 5, -h = -4*m + 21. Let g(x) = -x**2 - 4*x - 2. Let a be g(-4). Is (15/m)/(a/(-44)) prime?
False
Suppose 4*g + 2*l - 36 = 6*l, 2*l + 22 = 3*g. Suppose 3*f = s - 94 + 3, 0 = g*f. Is s a prime number?
False
Let k(a) = 10*a + 8. Suppose 3*j = 17 + 10. Let s be k(j). Suppose 3*m - m - s = 0. Is m a prime number?
False
Let a = 6 - 4. Let t be (65/(-10))/(a/(-12)). Suppose 0 = -3*o + t + 396. Is o a composite number?
True
Suppose u + 6 - 34 = 0. Suppose -2*h + 35 = y - u, 0 = -4*y + 2*h + 232. Is y composite?
False
Let q be 36/(-21) - 4/14. Let z = q + 4. Suppose 2*s - 24 = -2*u, 2*u - s - 43 = -z*u. Is u composite?
False
Is 2*201/18*3 a composite number?
False
Let z be (2 + -2 - 1)*-4. Suppose 0 = -5*y + 24 - z. Suppose -17 = 4*l - 5*c - 262, 77 = l + y*c. Is l a prime number?
False
Suppose 0 = -2*k - 0*k + 30. Suppose 5*a = -0*a + k. Suppose p + a - 10 = 0. Is p composite?
False
Suppose -17 = -5*i + l, -2*i + 5*l = 10 - 3. Suppose -i*f + 5*w = -f - 589, -3*f + 3*w + 591 = 0. Suppose -5*q - 83 + f = 0. Is q composite?
False
Let m(a) = 3*a**3 - 6*a**2 - 8*a - 10. Is m(7) composite?
True
Suppose -3*j - 15 + 63 = 0. Suppose 2*d - 6 = 2*x, -3*d + 3*x + 15 = 2*d. Suppose d*b - 26 = j. Is b a prime number?
False
Let g(y) = 30*y - 20. Let o(p) be the first derivative of -5*p**2 + 7*p + 1. Let v(i) = -6*g(i) - 17*o(i). Is v(-2) a composite number?
True
Suppose -2*m = 3*m - 25. Suppose -4164 = -m*j + 11361. Is (-1)/(-4) + j/12 a composite number?
True
Let o be 6/3*1 - 226. Let x = o - -506. Suppose -2*r + x = -28. Is r a composite number?
True
Let s = -255 + 634. Is s prime?
True
Suppose 4*i - 302 = 454. Let j = -62 + i. Is j prime?
True
Let j = -4 - -8. Suppose -8 = -j*k + 4*g, g - 4 = 2*g. Let f(q) = 5*q**2 - 4*q - 3. Is f(k) a prime number?
False
Suppose 17 = -5*b - 3. Is b/(-20) + 2352/15 composite?
False
Let s = -7 - -10. Suppose -5*c + s = q, c + 3*c = 5*q + 14. Suppose 5*u = c + 94. Is u a prime number?
True
Let f be (-2322)/(-45) + (-3)/5. Let d = f - -466. Is d a prime number?
False
Suppose 1 = 3*c - 5. Let x(s) = 25*s**3 - s**2 - 4*s + 3. Is x(c) a prime number?
True
Suppose -3*f + 3*k = -7*f + 83, -4*k = -4. Suppose -2 - 18 = -5*a, f = 5*s + 5*a. Suppose -y - u = u - 33, s = 5*y + 4*u - 135. Is y a composite number?
False
Suppose -5*n = -25 - 45. Is n prime?
False
Let s = -2 + 6. Suppose 9*y = s*y + 335. Is y a prime number?
True
Let p = 451 - 306. Is p a composite number?
True
Let i(w) = w - w**2 + 12 - 2*w**3 + 5*w - w**2. Let n(x) = x**2 + x + 1. Let y(r) = i(r) - 5*n(r). Is y(-5) a prime number?
False
Let f = -7 + 29. Suppose 5*p - 4*j + f = -0*p, -p = -2*j + 8. Is (3 + -6 - p) + 120 prime?
False
Let t(g) = -g - 4. Let a be t(-7). Suppose 201 = q + 5*b, 8*q + 5*b = a*q + 1045. Is q a prime number?
True
Suppose 4*v + 40 = -5*k, -2*k - k = 4*v + 32. Let r(o) = 1. Let c(f) = 6*f + 3. Let w(x) = -c(x) + r(x). Is w(k) a prime number?
False
Suppose -q + 156 = 4*i, -4*q - 78 = -0*i - 2*i. Suppose 0*d - 3*d + i = 0. Is d composite?
False
Let f(j) = 15*j**3 + 2*j**2 - 2. Let u be f(2). Suppose 2*y + 8 = 0, 3*n - 16 = 2*n + 4*y. Suppose 2*o = 4*z - u - n, -2*o = 4*z - 146. Is z prime?
False
Suppose -3*d - 2*i = -1613, 5*i - 3*i - 531 = -d. Is d a prime number?
True
Suppose 3*g + 3110 = 5*g. Suppose -3*f - 1547 = -5*b - 0*f, -5*f = -5*b + g. Is b a prime number?
True
Let q(n) = 5*n**3 - 22*n**2 - 8*n + 22. Let v(o) = -3*o**3 + 11*o**2 + 4*o - 11. Let j(f) = -4*q(f) - 7*v(f). Is j(-9) a prime number?
False
Suppose -5 = d, 2*d - 1539 = -4*w + d. Is w prime?
False
Let b(r) = 57*r + 1. Suppose 3*d - 12 = -6. Is b(d) prime?
False
Suppose 2*i - 25 = -3*i. Suppose -2*n + 17 = -i. Is n a prime number?
True
Suppose 7*d = 2*d + 1130. Is d a composite number?
True
Let q(w) = -3 + 5*w + 4 - 3*w - 5. Let o be q(7). Let c = o - -11. Is c a composite number?
True
Let w(r) = -r - 1. Let a be w(5). Is 2/(-6) + (-1976)/a a composite number?
True
Let y = 85 + 186. Suppose 4*r + 5*z = y, 2*r - r - 70 = z. Is r a composite number?
True
Let l(s) = -3*s + 5. Let v be l(-4). Suppose -39 = 4*h + v. Is ((-4)/2)/(2/h) composite?
True
Let p(k) = 205*k - 1. Is p(2) composite?
False
Let j(n) = -n**2 + 8*n + 6. Let f(r) = 2*r - 2. Let b be f(5). Let s be j(b). Suppose -3*u = -s - 36. Is u a composite number?
True
Let p = -10 - -15. Let d(n) = 6*n**2 + 3*n + 9. Let g(a) = 6*a**2 + 4*a + 10. Let l(v) = p*d(v) - 4*g(v). Is l(4) a composite number?
False
Suppose g = 5*f + 612, -5*f + 3*g - 121 = 485. Let o = f - -254. Is o a composite number?
False
Let f = 10 + -7. Suppose 0 = f*k + 2*a - 6*a - 245, 3*a = 4*k - 329. Is k composite?
False
Let k(i) = 4*i**3 - 3*i**2 + 2*i - 2. Suppose 2*h - 6 = 4*s, -20 = -5*h - 2*s + 7. Suppose 2*u = -2*u + h*v - 2, -v = u - 4. Is k(u) prime?
False
Let c be (2 + -2 + 0)*-1. Suppose c*q - 4 = 2*q. Is (28/(-6))/(q/3) a prime number?
True
Let x(j) = -2*j**3 + 12*j**2 + 9*j + 3. Let i(g) = -g**3 + 8*g**2 + 6*g + 2. Let u(t) = -7*i(t) + 5*x(t). Is u(-3) prime?
True
Suppose 0 = 2*r + r + 15. Let k = -2 - r. Suppose k*s - 39 = -4*t + 268, -5*t = -2*s - 401. Is t prime?
True
Is -1 + -2 - -4 - -1744 a composite number?
True
Is (-2)/((-1)/(267/6)) a prime number?
True
Let s = 2 - 0. Suppose 0*w - 5 = 5*w, -w + 75 = s*u. Is u composite?
True
Let l be 2 - (3 - (-2 - -3)). Let x = l + 1. Let p(n) = 8*n - 1. Is p(x) prime?
True
Let p(r) = -6*r**3 - 2*r - 1. Suppose -4*v = -m + 1, -5*v + 1 = -5*m + 6. Suppose 0 = 2*z + 3 - m. Is p(z) composite?
False
Let s = -69 + 13. Let o = s - -109. Is o composite?
False
Let j(a) = -a**3 - 5*a**2 - a - 2. Let c be j(-5). Suppose 0 = 6*h - c*h - 171. Is h prime?
False
Is (-4 + 1028/(-12))*-3 a prime number?
True
Let b = 1752 + -1049. Is b a prime number?
False
Suppose 0 = 5*n - 0*n - 20. Let f(k) = -k + 1. Let z be f(n). Let p(g) = -g**3 + g**2 - 1. Is p(z) a composite number?
True
Let m = 211 - -208. Is m a prime number?
True
Let q = -581 - -988. Is q a prime number?
False
Suppose c = -3*v + 257, -5*v + 736 = 2*c + 307. Is v a prime number?
False
Let v(l) = l**3 + 4*l**2 + 4*l + 2. Let s be v(-2). Let p = 360 + -208. Suppose -5*k + 390 = 5*g, -4*g + s*k + p = -2*g. Is g a prime number?
False
Suppose -3*o - 3*m = -378, m = -2*o + 6*m + 224. Is o composite?
True
Let x = -1365 - -354. Let m = -224 - x. Is m a composite number?
False
Let v(u) = u**2 + 5*u - 4. Let k be v(-6). Suppose -48 = k*d - 5*i - 242, 5*d + 2*i = 485. Is d prime?
True
Let v be 102/((-1)/(6/(-9))). Suppose -p - 2 = -v. Suppose -2*w = w - p. Is w a prime number?
False
Suppose 2*z - 3*s - s - 4 = 0, 2*z + 5*s = 31. Suppose 3*f = -3*p + 117, z*f = 3*f + p + 171. Is f composite?
True
Let h be (-4)/(-14) - 585/(-35). Let o = h + -15. Is o composite?
False
Let l be (-3)/12 - 18/(-8). Suppose -l*o = 0, -2*v = -2*o - 0*o - 6. Suppose -v*q - 70 = -343. Is q composite?
