0 = d - 2*c - 39, 59 = -4*d + 2*c + i. Is d a composite number?
False
Suppose 4*m - 2 = 6. Suppose -4*r = 3*t + 310, 0 = m*t + 3*t + 4*r + 522. Is 2 - t/(-4)*-2 prime?
False
Is 1983/9 - (3 + 44/(-12)) a prime number?
False
Let y be (-1 + 2 - -99)/1. Suppose -4*u - u + y = 0. Suppose -2*w + 18 = -u. Is w composite?
False
Let y(o) = -1 - 2 - 7*o + 21*o. Suppose n = 3*n - 8. Is y(n) composite?
False
Let i(p) = -p**3 + 5*p**2 - 4*p + 5. Let a be i(4). Suppose -8*y + 3*y = a*g - 135, 5*g - 127 = -3*y. Is g a prime number?
True
Suppose 3*n = 5*i - 827, 661 - 21 = 4*i + 3*n. Let f = -98 + i. Is f prime?
False
Suppose 0 = 5*j - 791 - 184. Let h = 514 - j. Suppose 0 = 3*i + 5*f - h, f = 5*i + 4*f - 553. Is i a composite number?
False
Let v(r) = -r**2 + 5*r - 2. Let m be v(4). Suppose -3 = -3*i, 5*w + m*i + 29 = 6*i. Let f = 1 - w. Is f prime?
False
Is (-541)/3*2*(-12)/8 a composite number?
False
Let z be 590/(-4) - (-3)/(-6). Is ((-3)/(-6))/((-2)/z) a prime number?
True
Let u(t) = t - 20. Let s be u(9). Let b = s + 15. Suppose x + 16 = b*g, -g - g + 3*x = -18. Is g a prime number?
True
Suppose -o = -3*s - 0*o + 1188, -s - 3*o = -386. Is s composite?
True
Suppose -3*z = 5*s - 0*s - 4217, 3*z - s - 4229 = 0. Is z prime?
True
Let x = 1224 + -811. Is x prime?
False
Let k(h) = 0*h - h + h**3 + h**2 - 15 - 91. Let p be k(0). Let r = p - -191. Is r a prime number?
False
Let n(v) = v**2 + v - 2. Let p be n(2). Suppose -2*a = 5*s + a - 2, -4*s = p*a. Is s*2 - (1 - 12) a prime number?
True
Suppose 8*x - 5 = 3*x. Let l(h) = 16*h. Let q(u) = -u + 1. Let d(w) = x*l(w) - q(w). Is d(4) composite?
False
Let g(u) = u - 2. Let q be g(-2). Let t(s) = s**2 + 3*s + 1. Let k be t(q). Suppose 3*o - 1013 = -k*w, 5*w = -o - 39 + 390. Is o a prime number?
True
Let d = 2999 - 666. Is d a composite number?
False
Let c be 1 + -3 + (0 - 51). Let x = c + 31. Is 1*(1 + -2) - x prime?
False
Let b = 16 - 13. Is (2282/21)/(2/b) a prime number?
True
Suppose 0 = 3*c - 1552 + 217. Is c a composite number?
True
Suppose -f = 2*f - 534. Suppose -3*i = -5*i + f. Is i composite?
False
Suppose 4*q + 1466 = 2*b + 6*q, 0 = -q. Is b a prime number?
True
Let m(p) = -p**2 - 9*p + 1. Let d(v) = 3*v**2 - 1 + 16*v - 3*v + 15*v - 10*v. Let k(b) = -2*d(b) - 5*m(b). Is k(6) a composite number?
True
Let z = -512 + 4286. Let g be 2/7 - z/(-21). Let j = g - 83. Is j a prime number?
True
Suppose 5*f + 107 = 2*c, -f - 256 = -2*c - 3*c. Is c a prime number?
False
Suppose p + j = 3*p - 7, 3*p = -5*j + 17. Let w = p + -2. Is w prime?
True
Suppose -3*h = -6*h. Suppose h*d + d = 0. Let r(u) = -u + 159. Is r(d) a composite number?
True
Let q be 2*1 + (-2)/(-1). Suppose l - 3*j - 59 = 0, 3*l = q*j - 3*j + 161. Is l a prime number?
True
Let n be 2/4*(3 + 7). Suppose -4*z + 422 = -2*u, -335 + 864 = n*z - u. Is z a composite number?
True
Suppose 2 + 14 = 2*h. Suppose -2*d - 4*s = h, -5*s - 10 = d - 0*s. Suppose d*v = 4*v - 260. Is v a composite number?
True
Suppose m - 4*z = 21 + 225, -3*m + 704 = 5*z. Suppose -5*a = -3*a - m. Suppose -5*b + 4*c = -591, c = -b + 2*c + a. Is b a composite number?
True
Is ((-1)/2)/(4/(-2024)) composite?
True
Let u(r) = -3*r**3 - 3*r**2 + r + 2. Let s be u(-2). Suppose 9 = -m + 3*k, -3*m = 2*k + 2*k - s. Suppose -4*f - f + 345 = m. Is f composite?
True
Let z = 2 - -2. Suppose -k = -3*g - 264, -3*k = z*g - 666 - 139. Suppose -n - k = -4*n. Is n composite?
False
Let h be (-4)/(((-3)/(-213))/1). Let v = -105 - h. Is v prime?
True
Let t = -292 + 479. Is t a composite number?
True
Suppose -2*v - 2*k + 6 = -5*k, -4*v + 30 = 3*k. Suppose v*y = 4*o + 2*y - 28, y - 9 = -3*o. Suppose -s + 152 = -3*i, o*s + 2*i = i + 647. Is s a prime number?
False
Let y = 7 - 7. Suppose 0*g - g - 5*a = -1716, -5159 = -3*g - 4*a. Suppose y = 5*h - g + 606. Is h a prime number?
True
Suppose -u + 379 = u - 3*t, 0 = 2*t - 2. Is u a composite number?
False
Let j be (10/(-6))/(1/(-6)). Suppose -8*g - 22 = -j*g. Is g a composite number?
False
Let k(y) = -2*y - 6. Suppose 3*b + 0*w - 4*w = -14, -3*b - 20 = 2*w. Let u be k(b). Let g(f) = 10*f + 7. Is g(u) a composite number?
False
Let p be (-18)/4*(-6)/3. Let h = p + -4. Suppose 2*w - 31 = h*y + 11, w + y - 35 = 0. Is w composite?
False
Let a(c) = -3*c**2 - 2*c - 6. Let g be a(7). Let s = g + 250. Is s prime?
True
Let z = -42 + 107. Suppose -3*k + z = 4*n, 4*k - 3*n - 60 = -k. Is k a prime number?
False
Suppose -7*p + 3*p = -844. Is p a prime number?
True
Let i be 0*(-4)/12 + 0. Suppose i = -5*q + 3*q + 174. Is q a prime number?
False
Let m(l) = -7*l - 1. Let n be m(1). Let w = 13 + n. Suppose 3*d - 4*b = 173 - 0, -w*b + 155 = 3*d. Is d prime?
False
Let f(q) = q**2 + 11*q + 17. Is f(13) composite?
True
Let g be 50 - 0/(-1)*-1. Suppose 3*z + 2*z + g = 0. Let a = 27 - z. Is a prime?
True
Suppose -x + 518 = -5*s + 1982, -x + 294 = s. Is s a prime number?
True
Suppose 8*k + 5*y = 3*k + 2790, -2*k + 2*y = -1096. Is k a composite number?
True
Suppose -3*w + 5310 = 1629. Is w a composite number?
True
Let j = 2950 + -1691. Is j a composite number?
False
Let b be (-15)/10*(3 - 31). Let a = b - 23. Is a prime?
True
Let p(f) = 31*f + 3. Is p(2) a prime number?
False
Suppose 3*o + o = 844. Is o composite?
False
Let r(q) = 115*q - 7. Is r(6) a prime number?
True
Suppose -b + 321 = 4*h - 2*h, -2*h = -2*b - 336. Is h a prime number?
True
Let o(l) = 3*l - 8*l - 10*l + 9. Is o(-8) prime?
False
Suppose 17*w = 14*w - 24. Let g = 67 + w. Is g a prime number?
True
Let y be 2/6 + 8/3. Suppose 0 = y*b - 3*z + 7*z - 377, -z + 126 = b. Is b a prime number?
True
Suppose 0 = 5*j - 78 - 877. Is j prime?
True
Let y be 6/9 + 20/(-3). Let o be 4/(-6) + (-40)/y. Suppose -4*p - 262 = -o*p. Is p composite?
False
Is (-7550)/(-12) + (-4)/24 a prime number?
False
Suppose -2*o - 2*t = o - 200, -5*o + 333 = 3*t. Let i = -13 + o. Is i a composite number?
False
Let k(x) = 3*x**2 + x. Let b be k(-1). Let t be b/7 - 63/49. Is 174/(t*(-4 - -2)) composite?
True
Suppose 3*t = -t + 16, -4*p + 5*t - 8 = 0. Let b = 1 - 1. Suppose -p*x + 5*d = -75 + 13, b = -2*x + 4*d + 42. Is x prime?
True
Suppose -2*c + 21 = -5*c. Let l(x) = -10*x - 5. Is l(c) composite?
True
Let a(j) = 58*j**2 - 1. Let g be a(-1). Let n = -34 + g. Is n composite?
False
Let j = 369 + -210. Is j prime?
False
Is 3 + (-5 + 3 + 0 - -45) prime?
False
Let u(c) = -56*c + 7. Let q be 2*(-1)/(-2) - -36. Let l be 6/21 + q/(-7). Is u(l) a prime number?
False
Suppose -299 = -3*g + 148. Is g a prime number?
True
Suppose -h + 255 = -6*h. Suppose 0 = u - 2*z - 104, -2*u + 3*z = z - 204. Let m = u + h. Is m a composite number?
True
Let d(j) = -20*j - 1. Is d(-6) prime?
False
Let a = 4 + -2. Let u(t) = 4 + 2*t + a*t - 13. Is u(6) a prime number?
False
Let l(m) = 4*m. Let q be l(-2). Let z be q/(-2) - (-1)/(-1). Is (2 - z)*(-1 - 130) prime?
True
Suppose -3*h + 77 = -13. Let u = h + -17. Is u a prime number?
True
Let z be 11/(-44) - 274/(-8). Let f be (4/(-5))/(2/(-5)). Is (z/6)/(f/18) prime?
False
Let d be -2 + (-7)/2*28. Let m be (114/4)/((-15)/d). Suppose 4*n - m = -n. Is n composite?
True
Let v be 0/((3 + 0)/3). Let k(n) = -n**2 + n + 83. Is k(v) a prime number?
True
Let h be (2/3)/((-2)/(-186)). Suppose 7*u = 4*u + 3*a + 99, -2*u = -3*a - h. Is u a prime number?
True
Let i = -40 - -56. Suppose -s - i = -3*s. Let c = s + 27. Is c a composite number?
True
Suppose -5*x - 72 = -z, 3*z - 216 = 6*x - 2*x. Let j = z - 30. Suppose -4*s + 5*s = -4*p - 6, -2*p + j = 5*s. Is s composite?
True
Is -1*5/(-10)*1114 composite?
False
Suppose -3 = 4*d + l, 3*d + 3*l + 2*l - 19 = 0. Let a be (-1)/d - 27/(-6). Suppose -115 = -a*p - 10. Is p a prime number?
False
Let p(h) = -19*h - 1 - 1 + 1. Let c be p(3). Let i = c + 113. Is i a composite number?
True
Let g be (-2)/4*(-3 - -1). Suppose -9*d + 6*d + 9 = 0. Is (d - -8 - 0)*g prime?
True
Suppose -5*m + 5 = -0. Suppose -o + 12 = i, -m = o - 0. Suppose 2*r - r = 4*u + 23, -r + i = u. Is r a prime number?
False
Let w = 7 - 3. Suppose 4*o + 2*k + k = 28, 0 = -w*k. Is o composite?
False
Suppose 3*d - 1794 = -4*c, 4*c + 7*d - 2*d - 1798 = 0. Is c a prime number?
False
Let c(p) = 5*p**2 - 4*p - 2. Let j = -22 + 10. Let o = 17 + j. Is c(o) a prime number?
True
Let j(x) = x**3 + 9*x**2 - 13*x - 1. Let b = 0 + -10. Let r be j(b). Suppose 0 = -5*z