6*z + 1 - 3*z. Is c(-1) a prime number?
False
Suppose 3*d - m + 0*m - 10 = 0, 0 = -5*m + 25. Let x be 4/(1*2/1). Suppose -3*y = 4*j - 68, -x*j - d*y + 40 = -2*y. Is j composite?
True
Suppose -9*d = -8*d - 1693. Is d prime?
True
Let f(d) = 46*d**2 - 10*d - 56*d**2 - 6 - d**3 - 5. Is f(-10) prime?
True
Suppose 0 = -o + 2 - 0. Suppose n + 0*b - 381 = -2*b, b + 737 = o*n. Is n a prime number?
False
Is 1*(-4)/(-8)*230 a composite number?
True
Let j be 9830/(-15) + 4/(-6). Let d be 3/((-2)/(j/6)). Suppose z = 5*z + 4, 3*z + d = u. Is u a prime number?
False
Let x be (0 - 2)/((-2)/4). Suppose b = 5, 3*c - 3*b + 29 = -2*b. Is (-2)/c*79*x a composite number?
False
Suppose -348 = -3*w + 3*j, 7*w - 3*w - 5*j = 465. Let m = -76 + w. Is m a prime number?
False
Suppose 4*r - 16 = -4. Suppose 2*c - 2*n = c - 2, -r*c = n - 15. Is c prime?
False
Let h(f) = f + 541. Is h(0) prime?
True
Suppose 3 = 3*c + 4*o, -4*o = 2*c - 3*o + 3. Let r be (-3 + -3)*2/c. Suppose -3*t = 4*z - 3*z - 40, -r*z = t - 171. Is z composite?
False
Is 9/1*(-3615)/(-45) a prime number?
False
Let x(i) = -i**3 - 2*i**2 - i + 1. Let o be x(-2). Suppose -2*q - o*u - 57 = -137, 2*q = -2*u + 78. Is q prime?
True
Let t = 5 - 2. Suppose 3*g + o + 13 = 0, t*g - 4*o = -0*g - 8. Is g/(-10) + (-183)/(-5) prime?
True
Let y = 204 + -106. Suppose 0 = -4*b - 4*s + 3*s + 73, -5*b + s + y = 0. Is b composite?
False
Is (2 - 3 - (-10 - -4))*61 a prime number?
False
Suppose 2*q + 309 - 1483 = 0. Is q composite?
False
Let c be 2 + -6 - (-5 - -2). Let z be (c + 0 - 1) + 8. Suppose 0 = -n + z*n - 635. Is n composite?
False
Let r be 2/6 + (-40)/(-24). Suppose 3*b - 46 = -l - 2*b, 0 = -2*l - r*b + 52. Is l prime?
False
Let w = -8 - -13. Let c(m) = m**2 + m + 3. Let k be c(w). Let g = 54 - k. Is g prime?
False
Let v = -1 + 2. Let x = 2 + v. Suppose 2*j = x*i - 259, -j = 3*i + j - 275. Is i a composite number?
False
Let p = -81 - -1060. Is p a prime number?
False
Let h(p) = 16*p**3 - 76*p**2 + 66*p - 9. Let j(x) = 3*x**3 - 15*x**2 + 13*x - 2. Let s(o) = -2*h(o) + 11*j(o). Is s(13) composite?
False
Suppose 0 = 2*q + 2 - 4, -2*m - 3*q = -1673. Is m prime?
False
Let s = 15 - 11. Suppose 4*v - 5*q - 22 = 0, -7 = -s*v - 2*q + 1. Suppose 0 = -v*u + 151 - 34. Is u a prime number?
False
Let j = 3 + -1. Suppose 4*m + 3*q - 581 = 0, -m + j*m + 3*q - 134 = 0. Is m prime?
True
Let z be 0*(-2 + 9/6). Let m = z - 6. Let r(i) = -20*i - 1. Is r(m) a prime number?
False
Is -267*(5 + -4)/(-1) prime?
False
Suppose 130 = 9*f - 7*f. Is f composite?
True
Let b(q) = -q**3 - 4*q**2 + 7*q - 5. Suppose 0 = 2*l - 3 + 5. Let p be 75/(-12) + l/(-4). Is b(p) prime?
False
Suppose x - 2*x = 4. Let c(u) = u**3 + 5*u**2 - 5*u - 5. Is c(x) a composite number?
False
Let u = -3727 - -5234. Is u a composite number?
True
Suppose -14*x = -6*x - 440. Let y = 13 - 8. Suppose y*r = 15 + x. Is r a prime number?
False
Suppose -v = -2*l - 16, 14 = -0*v + 2*v + 2*l. Suppose -2*g = -4*h - v, -6*h + 3*h + 60 = 3*g. Is (-10)/g - 23/(-3) a composite number?
False
Let f(c) = 5*c**2 + 3*c - 5. Is f(-6) prime?
True
Let w(p) = p**2 + 6*p - 22. Is w(15) a composite number?
False
Suppose w - 2 = 2. Suppose 5*g + 10 = 0, -w*g - 6 = -4*f - g. Suppose s - 3*s + k + 15 = f, 3*k = -3*s + 18. Is s a composite number?
False
Suppose 2*x + 4 - 11 = -5*v, -4*x - 3*v + 7 = 0. Let a(b) = 6*b. Let j be a(x). Suppose 0 = -5*s + o - j*o + 95, 0 = 3*s - 5*o - 81. Is s composite?
True
Suppose 2*u - 46 = -r + 2*r, 2*r - 106 = -5*u. Is u a composite number?
True
Let b(c) = 3*c**2 - 2*c + 1. Let g be b(1). Let m(n) = 7 - 3*n + n - g*n + n. Is m(-5) composite?
True
Is (-4)/14 + (-555)/(-7) a composite number?
False
Suppose -466 - 392 = -3*x. Let t = -109 + x. Is t composite?
True
Let v = 9 + -16. Is v/((-14)/4) + 77 a composite number?
False
Let w = 3455 + -1902. Is w a prime number?
True
Suppose 4*x - 3 = 5. Suppose 59 = 3*a - x*a. Is a composite?
False
Is 5/5*1563/3 a composite number?
False
Let v be (1 + -3)/(2/17). Let h = v - -54. Is h composite?
False
Let h(c) be the second derivative of -3*c - 13/3*c**3 - 1/2*c**2 + 0. Is h(-3) a prime number?
False
Let a = -6 + 11. Suppose 15 = a*u - 50. Suppose -o + 4*d = d - u, 65 = 5*o + 2*d. Is o a prime number?
True
Suppose 5*s + 122 = -2*t + 457, -5*t = -3*s + 201. Is s a prime number?
True
Suppose -4*v = 3929 - 10641. Is v a prime number?
False
Suppose -q = 3*j - 31 - 4, 5*q = -4*j + 175. Suppose -192 = -2*g + 106. Suppose q = 4*u - g. Is u prime?
False
Let y(c) = -c**3 + c**2 + c + 4. Let h be y(0). Suppose 4*j + 4 = 0, h*a = 2*a + 2*j. Is (a - -1 - 3) + 17 prime?
False
Let o(k) = -2*k - 5. Let n(g) = 1. Let i(u) = -4*n(u) - o(u). Is i(9) a prime number?
True
Let f(u) = 7*u + 4. Is f(9) a prime number?
True
Suppose 2*s + 15 = -4*f - 3, 0 = f - 3*s + 22. Let g be 3/(f/(-4) + -1). Suppose 3*c = g*c - 23. Is c a prime number?
True
Let t = -254 + 721. Is t a prime number?
True
Suppose z + 1 = 4*n, 0 = -5*n - 5*z - 23 - 7. Let y = n - 17. Let c = y - -73. Is c a prime number?
False
Let s be (-3)/(-2)*(-12)/(-9). Let u(t) = -t**2 - 8*t + 3. Let p be u(-8). Is p*(321/9 + s) a composite number?
False
Let v = -1984 + 2781. Is v prime?
True
Let g(k) = -3*k - 15. Is g(-12) composite?
True
Let r(b) = -b**2 - 6*b + 5. Let p be r(-7). Let z = -3 - p. Is ((-4)/(-1))/(z + 2) prime?
False
Let q(b) = -b**3 + 4*b**2 - 3. Let c be q(3). Suppose c*d + 4*t = d + 631, 0 = -5*d - t + 634. Let o = 185 - d. Is o a composite number?
True
Suppose 5*g - 785 = -2*k + k, -469 = -3*g - k. Is g a prime number?
False
Let l(q) = -3*q + 5*q + 3 + 0*q + 1. Let z be l(-3). Is (3 - (z + 3)) + 131 composite?
True
Is (-6)/(-15) + (-11092)/(-20) + 2 composite?
False
Suppose 3*i = 3*a - 3, 4 = -2*i + 4*a - 4. Suppose -4 = -i*q + 2. Suppose -q = -3*m + 6. Is m a composite number?
False
Suppose 0*x - x = -40. Let m(p) = -p**3 - 15*p**2 + 17*p - 10. Let l be m(-16). Let a = x + l. Is a prime?
False
Suppose 25 = 4*r + r. Suppose -2*x + 2 = 0, r*b + 7 = x + x. Is 12 + (-2 - 4*b) a composite number?
True
Let g(l) = -253*l - 1. Let u(o) = -506*o - 1. Let b(m) = 5*g(m) - 3*u(m). Is b(1) composite?
False
Let a(k) = 10*k**2 - 2*k + 3. Let w be a(4). Suppose -168 = -3*m - i + w, -2*m + 220 = 3*i. Suppose o - m = 5*n + 121, o - 2*n = 225. Is o composite?
False
Let d(v) = 12*v**2 - 2*v + 5. Is d(-4) prime?
False
Suppose 76 = -6*z + 10*z. Is z prime?
True
Let c be -2 + -15 + 0 - -2. Is 3/c - 672/(-10) composite?
False
Suppose -3*p - 4*r = -2229, -2*r - 2*r = -12. Is p composite?
False
Let o(q) = -q**3 + 3*q**2 + 3. Let w be o(3). Let u = w + 64. Is u a composite number?
False
Suppose -2*g - 70 = -5*w + 3*w, -2*g - 68 = -w. Let n = g + 64. Is n a composite number?
False
Suppose 5*r - 40 = 5*m, -5*m = -3*r + 30 - 6. Suppose r*v - 16 = 4*v. Is v a composite number?
True
Let z be (-26)/(-7) - (-16)/56. Suppose -z*h = -3*g - 3142, -3925 = -h - 4*h + 5*g. Is h prime?
True
Is -2071*(10/(-2) + 4)/1 composite?
True
Is 0 + (-3 - -6 - -386) a prime number?
True
Suppose -u + 620 = -n, -7*u + 3124 = -2*u + 3*n. Is u prime?
False
Let t be (2/1)/((-4)/(-74)). Let w(p) = 2*p. Let o be w(1). Suppose 5*g - t = -o. Is g a prime number?
True
Let j be (12/(-15))/((-8)/20). Let n(w) = 40*w - 1. Is n(j) prime?
True
Let d = 11 + 8. Suppose -2*i - 29 = 5*w + d, 5*w + 36 = i. Is 2/w - (-1095)/12 composite?
True
Let z = -15 + 2. Let l be (-2)/4 - 13/2. Let b = l - z. Is b a composite number?
True
Let r(l) = l**2 + 3*l - 2. Let g be 1/(1 + (-12)/9). Let t be r(g). Is (23/t)/(1/(-10)) a composite number?
True
Let d = 23 + -13. Suppose -2*q - d = 3*q. Is 27/2 + (-1)/q composite?
True
Suppose 2*g = 5*g. Suppose g*c + 178 = 2*c. Is c composite?
False
Suppose -2*c + 3*d + 7 = 0, -3*c + 19 - 3 = d. Suppose -p = -w - 12, 0 = -5*p - c*w + w + 87. Is p a prime number?
False
Suppose -2*n - a = -12, 0*n + 1 = n - 2*a. Suppose j = k + n*j - 31, -k + 31 = -2*j. Is k composite?
False
Suppose 0*t + 4*t - 8 = 0. Suppose 3 = -5*p - t. Let j(a) = -110*a - 1. Is j(p) a prime number?
True
Let t = -58 + 30. Let x = 47 + t. Is x composite?
False
Let a(r) be the third derivative of -29*r**4/24 - r**3/6 - r**2. Let i be a(-4). Suppose 5*h - 111 = -3*y, 5*y - i = -4*h + 70. Is y a composite number?
False
Suppose -4*s = -0 - 40. Let u = -5 - -8. Su