pose 0 = -5*r + c - 5 + y, -2*r + 9 = -c. Suppose -r*n = n - 308. Is n composite?
True
Let y = 1150 + -358. Let s = y + -538. Is s a composite number?
True
Let m = -8605 + 15062. Is m a prime number?
False
Suppose -5*c = -2*j + 18, -5 = -c - 2*j + 1. Let d be c*((-3)/2 - 0). Suppose 2*v = d*g + 253, 3*v + 5*g - 332 = -0. Is v prime?
False
Let r(z) = 66*z + 43. Is r(23) composite?
True
Let n(w) = 3*w**3 - w**2 + w. Let j be n(1). Suppose 2*y - 3*g = 171, -20 = j*g + g. Let x = y + -32. Is x a prime number?
False
Suppose -5 - 4 = -2*k - d, 3*k - 26 = -4*d. Let v be (k + -5)*(-8)/(-6). Is ((-118)/4)/(2/v) a prime number?
True
Suppose -198 = 2*u - 876. Is u composite?
True
Suppose -l + 223 = 2*l - 4*f, -2*l - f = -156. Is l prime?
False
Let k be (-6)/(-9) - (-4)/(-6). Is 36 - (1 + 2 + k) prime?
False
Let n = 6 - 3. Suppose 0 = -3*q + 24. Suppose -n*j = -1 - q. Is j a composite number?
False
Let m = -9 + 10. Suppose -2*h + 9 + m = 0. Suppose -4*c = -2*y - 32, -45 = 4*c - 9*c + h*y. Is c a prime number?
True
Suppose -6*o + 2*o = -804. Is o composite?
True
Suppose -5*x + 19 = 2*g, -3*x + 2 = -5*g + 3. Suppose -g*f + 4*f = 388. Let c = 445 - f. Is c prime?
True
Suppose -i = -4*x - 2*i + 204, 2*i = -x + 51. Is x a prime number?
False
Let t(x) = 18*x**2 + 2*x - 2. Is t(2) a prime number?
False
Suppose 3*g = 6*x - 3*x + 4980, -3332 = -2*g - 2*x. Is g a prime number?
True
Let c = -123 + 642. Is c a composite number?
True
Let q = 7125 + -3962. Is q composite?
False
Suppose 4*b - g = -0*g + 1041, b + 3*g = 244. Is b a composite number?
True
Let y = -1984 + 3061. Is y a prime number?
False
Let k(c) = c**3 + 8*c**2 + 6*c - 2. Suppose 5*g = -32 + 2. Is k(g) composite?
True
Suppose g + 3*g + 12 = 0. Let q(h) = -11*h. Is q(g) composite?
True
Let v = 291 - 152. Is v composite?
False
Suppose 11 + 4 = 5*y. Suppose -u = y*u - 348. Is u composite?
True
Suppose 2*d - 5*u = -4*u + 3884, -4*u - 1935 = -d. Is d composite?
True
Let a(m) = -78*m + 1. Is a(-3) a prime number?
False
Suppose -j + 4*j = 6. Is (15/(-6))/(j/(-68)) a composite number?
True
Suppose 2*p - 7*p - 5 = 5*k, -p - 9 = -k. Let c be (-127)/3 + k/12. Is 2/2*(5 - c) a composite number?
False
Let g(v) be the third derivative of 67*v**4/6 - 4*v**2. Let l be g(1). Suppose l = 2*s + 2*s. Is s composite?
False
Suppose 3*v + 28 = 3289. Is v a prime number?
True
Let q(a) = -a - 7. Let p be q(7). Is (0 + 22)*p/(-4) a composite number?
True
Let d(u) = 18*u + 7. Let s be d(6). Suppose 2*l = 5*c - s + 18, l - 18 = -c. Is c a prime number?
True
Let x = 14 - 5. Is 1137*(12/x + -1) a prime number?
True
Let f = 6 - 4. Is ((-2)/f)/(3/(-39)) composite?
False
Suppose -r = -3*h + 2*r + 1908, h - 5*r - 640 = 0. Suppose -2*w + 7*w = h. Is w a composite number?
False
Let l(k) = k**3 + 7*k**2 - 2*k + 7. Let m be l(-7). Let n = 136 - m. Is n a composite number?
True
Is 52 + 3*(-4)/(-12) a prime number?
True
Suppose 0 = -n + 40 + 109. Suppose 2*c - 2*j = 322, -4*j + n - 954 = -5*c. Is c a composite number?
True
Is -4*(-6)/(-8)*1465/(-15) a prime number?
True
Let d(z) = z**3 - 8*z**2 + 8*z - 9. Is d(8) prime?
False
Let v(o) = -o + 4*o**3 + 6*o**2 + 5*o - 3*o**3 - 4. Let i be v(-5). Is (-64)/(-4) - (i + 0) composite?
True
Suppose 4*q + 438 = 4*z - 902, 3*z - 1344 = 4*q. Let m = -148 - q. Is m prime?
True
Let j(k) = -3 - 12 + 3*k + 2 - 4. Let o = -11 + 23. Is j(o) a composite number?
False
Let r = 308 + -1. Is r a prime number?
True
Is -3 - (4 - 520/2) prime?
False
Suppose 3*v = -4 - 2. Is -158*(-3)/(-12)*v composite?
False
Suppose 0 = -4*d - 2 + 18. Suppose 23 = d*f - 61. Suppose -p + 2*p - f = 0. Is p a prime number?
False
Let b = -10 - -31. Is b prime?
False
Let n = -6 + -2. Let x = 29 - 15. Let z = x - n. Is z a composite number?
True
Let z = -8 + 5. Is (-53)/z*(-5 + 8) prime?
True
Let m = -4 - -1. Let i be (-42)/(-9) + 2/m. Is (-13)/i*(-6 - -2) a prime number?
True
Suppose 3*y - 3 = 3. Suppose -3*a + 5*s = -48 - 48, -y*a = 5*s - 39. Is (-10)/((-6)/a*3) a composite number?
True
Let a(f) = 6*f**2 - 1. Let c be a(-1). Suppose 357 = c*n - 368. Is n a prime number?
False
Let y(o) = 5*o**3 - 2*o**2 + o. Let k be y(1). Suppose k*s = 3*t + 91, -s = -0*t + t - 21. Is s a prime number?
False
Let r = -19 + 28. Is 2/r - 2289/(-27) composite?
True
Suppose 0*a = 2*a - 170. Is a a prime number?
False
Let z(m) = 3*m**2 - 3*m + 1. Is z(-3) a prime number?
True
Is (-1)/(0 + (-3)/861) a composite number?
True
Suppose 0 = -5*l + 94 + 6. Suppose -x - 4*i = -4*x - 38, -4*i + l = 0. Is (-801)/(-6)*(-4)/x composite?
False
Suppose -o + 6*o = 4*f + 9717, -2*o + 3894 = 2*f. Is o composite?
True
Suppose 7*o - 4*o + k = 1022, -2*o = -2*k - 668. Is o a prime number?
False
Suppose 5*z - 2*q = 3*q + 5, -5*q = -20. Is ((-65)/2)/(z/(-10)) a prime number?
False
Suppose -2*v - 2 = -6. Let x = v - -24. Is x a composite number?
True
Let a = 2 + -9. Let c(g) = -3*g - 15. Is c(a) prime?
False
Suppose 2*n + 1409 = 3*y, 2*y - 935 = -4*n + n. Is y prime?
False
Let s = -10 + 33. Is s composite?
False
Suppose 2316 + 199 = 5*h. Is h a composite number?
False
Let a(d) = d**2 + 5*d + 5. Is a(8) a composite number?
False
Let l be (-52)/(-10) + (-6)/30. Suppose -21 = l*g + 5*n + 34, 5*g + 3*n = -49. Let v = g - -18. Is v a prime number?
False
Suppose 3*a + 14 = -t, 11 - 1 = -4*a + 3*t. Let d(k) = -33*k - 5. Is d(a) a composite number?
False
Suppose -3*p = -p + 208. Let c = 58 + p. Is ((-1)/(-2))/((-1)/c) a composite number?
False
Suppose 4 = 5*d - 4*d. Suppose h - 247 = -h - 3*v, -488 = -d*h - 4*v. Is h a prime number?
False
Suppose 5*p = -0*p + 20. Let j(q) = 24*q**2 + 6*q + 7. Let s be j(-2). Suppose -3*a - s = -p*a. Is a composite?
True
Suppose 18740 = 5*d + 4*n + 425, -4*n = -20. Is d prime?
True
Is 291/(-5)*20/(-4) a prime number?
False
Let y(x) = 24*x**2 + 5*x + 14. Let w(v) = 8*v**2 + 2*v + 5. Let c(q) = -17*w(q) + 6*y(q). Suppose -2*u - 9 = 3*p, -4*p - 5 = p. Is c(u) a prime number?
True
Let v(m) be the third derivative of 8*m**5/15 + m**3/6 - 5*m**2. Is v(1) composite?
True
Suppose 0*g - 30 = -2*g. Suppose -12*l = -g*l + 531. Is l composite?
True
Let j be 0 + -282*2/(-4). Let n = 22 + j. Is n composite?
False
Suppose 675 + 211 = 2*t. Is t composite?
False
Let j(i) = 2*i + 3. Let v be j(-2). Let h(k) = -6*k**2 + k + 1. Let n be h(-1). Is 44 - v*n/(-2) prime?
True
Suppose 3*z = p - 7759, -4*p + 0*p = -z - 31014. Is p a composite number?
False
Let u(v) = 11*v + 3 - 2*v**2 - 3 + 5*v**2 + 9. Is u(-7) a composite number?
False
Let z = 1 + -1. Suppose 5*o - 2*m = 945, 5*o + z*m = -2*m + 925. Is o a composite number?
True
Suppose 5*n - 2 = 4*n. Is ((-19)/n)/((-1)/2) a prime number?
True
Suppose 6*h - 17824 = 2*h. Suppose 0*k = -3*k + 4*d + 3335, -4*d = 4*k - h. Suppose a = -2*a + k. Is a prime?
False
Suppose -2*o + 42 = -0. Is o a composite number?
True
Let c(r) = r**3 - 5*r**2 - 4*r - 8. Let d be c(6). Suppose 3*a = a + 8, -5*w + d*a = -4. Suppose w*f - 185 = -f. Is f a prime number?
True
Let z = -40 + 167. Is z a prime number?
True
Let s = 851 - 438. Is s a composite number?
True
Is 379 - 1 - (6 - 7) a composite number?
False
Is (-17)/34 - 638/(-4) prime?
False
Let v = 3063 - 1790. Is v a composite number?
True
Let r(w) = 5*w**3 + 2*w**2 - w - 1. Suppose -t + 10 = 7. Is r(t) a composite number?
False
Suppose j - 160 = 285. Is j prime?
False
Suppose -2*y + 137 = -y - 2*z, -4*y + 520 = -z. Is y prime?
False
Suppose -4*q = -0*q. Suppose q = -4*f + 216 - 4. Is f a prime number?
True
Suppose -2*b + 5201 = 3*r, 3*r + b - 8673 = -2*r. Is r a composite number?
True
Let y(b) = -1 + 15*b + 0 + 3*b**2 + b**2 - 5*b**2. Is y(11) a prime number?
True
Suppose 2*h - 60 = 8. Is h prime?
False
Let w(a) = -a - 2. Let k be w(-8). Suppose 0 = -q + 5*p + 187, 374 = k*q - 4*q - p. Is q a prime number?
False
Let h be ((-1)/2)/(2/8). Let k = 2 + h. Suppose -3*f + 2*d + 2 = -k*d, -4*d + 24 = f. Is f prime?
False
Let p be (-344)/44 + 4/(-22). Let u be (-107)/(-7) + p/28. Let o = 62 - u. Is o a composite number?
False
Suppose -1142 = -4*f - 3*b, 0*b + 4*b = 4*f - 1156. Is f composite?
True
Is 0 + 415 + -2 + -4 a composite number?
False
Suppose 3*g - 251 + 11 = 0. Suppose 5*n - 5 = g. Suppose 5 + n = 2*l. Is l a prime number?
True
Suppose 3*i = -71 - 61. Is ((-14)/(-8))/((-11)/i) composite?
False
Let