s composite?
False
Let d = 185 + -127. Is d a prime number?
False
Suppose 4*h - 12 = -2*z + z, 3*z + 16 = h. Is 6*-10*1/z a composite number?
True
Let q be ((-12)/(-15))/(1/5). Suppose d = q*r + 3*d - 206, 4*r = 2*d + 202. Is r prime?
False
Suppose 4*d + 2*o + 721 = 2521, -4*d = 3*o - 1802. Is d a composite number?
False
Suppose 190 = 5*c + 5*f, 16 = -f + 5*f. Is c composite?
True
Let y(m) = m**2 + 7*m + 9. Let k be y(-6). Suppose -k*u = -7*u. Suppose u*n + n = 19. Is n prime?
True
Let s = -4628 - -9175. Is s prime?
True
Let i(g) = -31*g - 3. Let n be (-4)/(-18) + 58/(-18). Let o be i(n). Suppose 2*f = o + 64. Is f a composite number?
True
Suppose -6*v + 2*v = -24. Is 122/6 + 4/v a composite number?
True
Let v = 3210 - 1501. Is v a prime number?
True
Let k = 13 - 8. Suppose k*w = 562 + 183. Is w prime?
True
Let m(n) = n**2 - 5*n - 5. Let d be m(5). Let o be 18/d + (-6)/15. Let h(k) = -2*k**3 - 7*k**2 - 5*k - 1. Is h(o) a prime number?
False
Let g(w) = -w**2 - 3*w + 4. Let q be g(-4). Suppose -5*u = -15 - q. Suppose u*z + j = 36, 4*z - 4*j - 32 = -0*z. Is z a composite number?
False
Let x(c) = -2*c + 3. Suppose -4*l + 8 = -0. Let b be -5*(-2)/(-4)*l. Is x(b) prime?
True
Suppose -3*j - j + 1082 = 3*n, -5*j = -2*n + 752. Suppose n = 2*a + 3*k - 4*k, -a - 3*k = -197. Is a a prime number?
False
Let j be 10/20 + (-6)/(-4). Suppose 2*s = -j*s + 2524. Is s prime?
True
Let v be 2/(-2) - (-1 - 0). Suppose 0 = -4*d - v*n + n + 1027, 4*d + 5*n - 1009 = 0. Suppose 3*c - 121 = -2*j, -5*c - 5*j + d - 46 = 0. Is c composite?
False
Let i = -14 + 8. Let c(t) = 6*t**2 + t - 5. Is c(i) composite?
True
Let x be ((-5216)/80)/((-1)/(-5)). Is x*((-3)/6)/1 prime?
True
Suppose -z - 4*o = -0*o - 211, -o = -5. Is z prime?
True
Let h = 125 - 58. Suppose 56 + h = -3*g. Let z = g + 64. Is z prime?
True
Suppose -5*f - 4*r - 4 = -0, 4*f - 5*r = 5. Let i = 3 - f. Suppose 3*b + 99 = i*x, 3*x + b - 47 - 68 = 0. Is x composite?
False
Let n = 9 + -7. Suppose i - 293 = 2*q, -n*i - q + 3*q + 586 = 0. Is i prime?
True
Let b(m) = m - 1. Let x be b(5). Suppose 20 + 0 = x*s. Suppose s*v = h - 90, -3*h - 2*h + 476 = v. Is h prime?
False
Let m(a) be the second derivative of 2*a - 2*a**2 + 0 - 2/3*a**3 - 1/4*a**4 - 1/5*a**5. Is m(-3) composite?
False
Suppose -6*d - 2130 = -3*d. Let f = 1195 + d. Is f a prime number?
False
Let v be 10/15 - (-1461)/9. Let y = -36 + v. Is y composite?
False
Suppose j = -2*j + 651. Is j a composite number?
True
Let u(f) = f**2 - 11*f - 53. Is u(-22) a composite number?
False
Let g(x) = 61*x**3 - 2*x + 1. Let q be g(1). Let z = q + -7. Is z prime?
True
Is 5 - -286 - (3 - 1) composite?
True
Suppose 384 = -2*x - 4*d + 1666, -2603 = -4*x + 5*d. Is x a composite number?
False
Suppose 5 = -2*p - 3*y, 10 = 5*p - 4*y - 12. Suppose 0 = p*n + 3*n - 280. Let b = n - 34. Is b composite?
True
Suppose 2*q = -5 + 15. Let d(t) = -t + 2 - t**2 + 12*t + 0*t + 1. Is d(q) a composite number?
True
Let g(c) = 9*c + 6 - 2 - 2*c + 4*c**2. Is g(-5) composite?
True
Let u(k) = -698*k + 7. Is u(-8) composite?
False
Let l(x) be the third derivative of 1/6*x**3 + 2/3*x**5 + x**2 + 0*x**4 + 0*x + 0. Is l(2) composite?
True
Let i = 7 + -4. Suppose -75 = -2*p - i*j, 2*p - 7*p = 2*j - 193. Suppose p = x - 14. Is x prime?
True
Let h(c) = c**3 - 11*c**2 + 9*c + 12. Suppose 3*b + 7 = 2*v - 7, 22 = 2*v + b. Is h(v) prime?
True
Suppose -776 = -2*p + 258. Is p a composite number?
True
Suppose -2*b - 2*k + 17 = -1, -5*b + 2*k + 17 = 0. Suppose -b*u + 194 = -71. Is u prime?
True
Let v(s) = -122*s + 57. Is v(-6) a prime number?
False
Suppose 3*u + 5*x - 587 = -0*u, -195 = -u - 2*x. Is u a composite number?
False
Let t = -22 + 12. Is (35/t)/(2/(-28)) prime?
False
Let t be (-2)/(-1) + 3 + -2. Is (-1)/(-1*t/111) prime?
True
Let d(p) = -p**3 - 3*p**2 - 2. Let l be d(-3). Is (-221)/(-4) + l/8 prime?
False
Let c(d) = 42*d + 1. Let w be c(1). Suppose w = 5*h - 402. Is h a composite number?
False
Suppose -3*l - 2*l = 0. Suppose 4*u = -l*u + 28. Is u prime?
True
Let a(f) = 48*f**2 + 8*f - 4. Let k be a(6). Suppose -4*j = 3*c - 24, 5*c + 4*j + j - 35 = 0. Suppose c*t = k - 720. Is t a prime number?
True
Let m(z) = -z + 5. Is m(-14) a prime number?
True
Let z(c) = -4*c**3 - 3*c**2 + 6*c - 2. Let f be z(-6). Is (-4)/6 - f/(-6) prime?
False
Let t(v) = -87*v + 9. Let h be t(5). Let c = 5 - h. Is c a composite number?
False
Let u(x) = -7*x**3 - 6*x**2 - 5*x + 6. Let j be u(-5). Suppose -2*c = 4*m + 14 - j, 4*m - 1885 = -5*c. Is c a composite number?
True
Let x be -515 - (-2 + (1 - -2)). Let c = 781 + x. Is c composite?
True
Suppose 27*c = 31*c. Suppose -4*h + 3*q + 412 = 0, 3*q = h - c*q - 103. Is h prime?
True
Is (0 - 5)*2739/(-55) prime?
False
Let m(k) = 2*k - 3. Suppose -r + 5*r + 12 = 0. Let a be m(r). Let o(f) = -2*f + 13. Is o(a) a composite number?
False
Suppose -4*x + q + 34 = 0, q + 8 = -3*q. Let b = -4 + x. Suppose -n + 4*a + 18 = -39, b*a = -4*n + 328. Is n prime?
False
Let j = -115 - -414. Is j prime?
False
Suppose o - 3*i = -9, -3*o + 2*i + 2 - 8 = 0. Suppose 3*f - 5*m - 33 = 103, 4*f + 4*m - 128 = o. Is f a composite number?
False
Let g(l) = -6*l**3 - l**2 + 7*l - 7. Let b(x) = x**3 + x - 1. Let h(v) = -6*b(v) + g(v). Is h(-2) a composite number?
False
Let m = 28 - 46. Is (-1755)/m + 2/(-4) a prime number?
True
Let f be (16/20)/(2/5). Suppose 3*i = f*i + 109. Is i prime?
True
Suppose 4*u + 0*u - 1432 = 0. Is u a prime number?
False
Suppose -b + 66 = b. Let i be 31/11 + 6/b. Suppose x - 4*v = -x + 174, 3*x - i*v - 258 = 0. Is x a prime number?
False
Let u(t) = 5*t - 7. Suppose 5*y = -3*s + 14 + 130, 4*s - 112 = -4*y. Suppose 4*x = -x + y. Is u(x) composite?
False
Let u(o) = o**2 + 8*o + 5*o**2 + 9 - 5*o**2. Let h be u(-7). Is h/(-7) + (-1482)/(-42) composite?
True
Let f = 20 - 15. Suppose -940 = -f*j + 655. Is j a prime number?
False
Let r = -420 - -743. Is r composite?
True
Let z(i) = 3*i**2 - 21*i + 11 - 4*i**2 + 3*i + 7. Is z(-14) a prime number?
False
Let i = 3 + -1. Let t = 2 - i. Suppose t = -5*p - 26 + 181. Is p composite?
False
Let j = 1357 + -960. Is j composite?
False
Suppose 3*g = -x - 3*x + 39, -5*g = -x - 19. Is x/21 + 1662/14 a composite number?
True
Is 614/((-4)/(-2)) + 0 a prime number?
True
Let n(y) = 42*y + 9. Is n(7) composite?
True
Let s(w) = -w**2 - 5*w + 3. Let q = -4 - 1. Let n be s(q). Suppose 3*x - 5*x + 133 = 3*c, -3*x = -n*c + 123. Is c a prime number?
True
Let x(t) = 3*t**3 + 3*t**2 - 3*t + 1. Is x(2) a composite number?
False
Suppose 2*p = -4, k + 4*p - 2532 = 1995. Is k a composite number?
True
Let b(a) = 19*a + 5. Is b(3) a prime number?
False
Let v(b) = -10*b**2 + 2*b - 1. Let h be v(1). Let f be (3/h)/(1/(-6)). Suppose 4*x - 5 = j + 21, 3*x - 14 = -f*j. Is x a composite number?
True
Let w(u) = -53*u + 1. Is w(-9) a composite number?
True
Let m(j) = j + 2559. Is m(0) a composite number?
True
Let y = 29 - 15. Let c = 71 - y. Is c composite?
True
Let g(z) = z + 31. Let d(m) = 1. Let x(v) = 2*d(v) + g(v). Let i be 2 - (-1)/(1/(-2)). Is x(i) a composite number?
True
Is 227 + 2/(-3)*6 a composite number?
False
Let d(z) = 76*z + 1. Is d(1) composite?
True
Is ((-489)/(-6))/((-4)/(-8)) composite?
False
Is (-6)/((-108)/(-42))*-669 prime?
False
Suppose 517 - 157 = 5*c. Let j be 6/21 + 494/(-14). Let w = j + c. Is w prime?
True
Let z be 8/6 + (-6)/(-9). Suppose -4*k - 5*w = -15, 3*w = 5*w + z. Suppose 5*f = 5*t - 0*t - 140, 0 = -2*t - k*f + 77. Is t a composite number?
False
Is (-5242)/(-12) - 9/(-54) a composite number?
True
Let w = -2 + 5. Suppose -r + 0*r - 72 = -w*s, -15 = 3*s. Let y = -38 - r. Is y a prime number?
False
Suppose -3*k - 414 = -5*k - 4*w, 0 = k + 3*w - 208. Is k a prime number?
False
Let o be ((-4)/12)/((-1)/6). Suppose -8 = o*a - 22. Suppose n = 3*x + a, 0*n - 22 = -2*n - 2*x. Is n prime?
False
Suppose 2*a - 5*i - 31 = -0*a, 5*a - 30 = 3*i. Suppose 210 - 819 = -a*g. Is g prime?
False
Let n be (4/(-10))/(1/(-5)). Let h(s) = 29*s**3 + 3*s**2 - 3*s + 1. Is h(n) prime?
True
Let m(k) = 2*k**2 - k + 5. Suppose 5*v + 1 = 21. Suppose -4*a + x + 29 = -0*a, -50 = -5*a + v*x. Is m(a) prime?
True
Suppose 0 = -2*w + 5*c - 817 + 2571, 0 = 4*w + c - 3508. Is w a composite number?
False
Let s be -1 - -2 - (0 - -4). Let q = 5 + s. Suppose 46 = q*j - 2*l, 2*j - 5*l + 11 = 3*j.