
True
Let i = 22 + -13. Suppose 6385 = -4*o + i*o. Is o composite?
False
Let a = -9 + 13. Suppose 0 = a*t + 8, -121 = -r - 0*r + 3*t. Is r prime?
False
Suppose -3 = -3*w + 6. Let f = w - 4. Let x = f - -3. Is x composite?
False
Suppose 2*q - 481 = -y, -y + 2*q + 474 + 7 = 0. Is y a composite number?
True
Let c(h) = -3 - 2 + 1 - h. Let o be c(-5). Let p = 3 - o. Is p prime?
True
Suppose -3*o + 0*o + 12 = 3*j, 4*j + 4 = 0. Suppose -5*d + o = -25. Let a(i) = 5*i**2 - 6*i + 5. Is a(d) composite?
False
Let d(g) = 37*g**2 + 3*g. Let k be d(-5). Suppose -4*x + k = -2*x. Suppose 0 = -j + 6*j - x. Is j a prime number?
False
Suppose 6*n - 3*n - 10 = -r, -2*n + r = 0. Is 5724/30 - n/(-10) prime?
True
Let t(z) be the third derivative of z**6/120 - z**5/10 + 5*z**4/24 + 7*z**3/6 - 2*z**2. Suppose 4*y = 28 - 4. Is t(y) a prime number?
True
Is 45630/24 + 3/(-12) prime?
True
Let x(a) = 28*a**3 - a**2 + 2*a + 5. Suppose 12 = 5*f - 13. Let z(h) = 42*h**3 - 2*h**2 + 3*h + 8. Let b(p) = f*z(p) - 8*x(p). Is b(-1) composite?
False
Suppose -200 = -3*f - 2*v, -5*f = 3*v - 112 - 223. Suppose 2*a - f = -0*a. Is a a composite number?
True
Let w be -213*(3/2 + 9/18). Let u be 30/(-4)*172/6. Let q = u - w. Is q composite?
False
Is ((-794)/6)/(16/(-12) - -1) a composite number?
False
Suppose 5*j = -1571 + 7666. Is j a prime number?
False
Let q(t) = t**3 + 3*t - 11. Is q(3) a composite number?
True
Suppose -494 = -k + 3*i, 0*k - 1983 = -4*k + 5*i. Is k prime?
False
Let l(f) = -f**3 - f + 14. Suppose 16 = 6*w - 2*w. Suppose -w*x = -0*x. Is l(x) prime?
False
Let p be 3/(((-9)/471)/(-3)). Let o = p - 322. Is o a composite number?
False
Suppose 2*u - 8466 = -4*p, -u - p = 3*p - 4229. Is u prime?
False
Let a(s) = s**2 - 8*s - 6. Let u be a(9). Suppose -7*h - 32 = -u*h. Is 4*1*(-190)/h composite?
True
Suppose -30 = -2*d - 3*d. Let n(x) be the second derivative of x**4/12 - 3*x**2/2 - x. Is n(d) a prime number?
False
Let x = -2294 + 5497. Is x a composite number?
False
Is ((-10216)/24)/((-1)/21) composite?
True
Suppose 5*a + 19 = 2*a + 2*b, 4*a + 2 = -2*b. Is 534/9 - (-1)/a prime?
True
Suppose 0 = -4*l - 2*n + 3*n + 20622, -l + 2*n = -5159. Is l composite?
True
Let m = -56 - -219. Is m a prime number?
True
Let f be 4/(-14) - (-4)/14. Is 14*18 + (f - -1) composite?
True
Suppose 0 = -3*c - 82 - 65. Let z = -27 - c. Is z composite?
True
Suppose -15 = 3*v - 0*v, 3*v = -5*m + 3740. Is m composite?
False
Suppose 0 = -3*x + 5*l + 282, -2*l - 5 = 1. Is x a composite number?
False
Suppose -2*c = -5*c - z + 862, -z = -5*c + 1434. Is c a prime number?
False
Let q(b) = -20*b + 6. Let l be q(-6). Suppose l + 49 = 5*p. Is p a prime number?
False
Suppose m - z = -2*z + 3001, 4*m - 12006 = -5*z. Is m a composite number?
False
Suppose -2523 = -79*h + 76*h. Is h a composite number?
True
Suppose b + 162 = 2*f, -2*f + 6*b - b + 146 = 0. Is f prime?
True
Suppose 3*q - 16 = -2*w, -5*w + 9 = 4*q - 17. Suppose -2 + q = -z. Let t(l) = 9*l**2 + l - 1. Is t(z) a composite number?
True
Let w(k) = -k + 161*k**2 + k. Is w(1) a prime number?
False
Let z(g) = -126*g**3 - 2*g**2 - 3*g - 3. Is z(-2) prime?
False
Let c(i) = -64*i - 3. Is c(-6) composite?
True
Suppose 3*d + 5*i + 1 - 6 = 0, -2 = -2*i. Let k = d + 77. Is k composite?
True
Let n be 602/2 + 0 + 1. Suppose -4*b + 445 = 3*w, 2*w + n + 128 = 4*b. Suppose -2*p + b = -69. Is p a prime number?
True
Let j = -390 + 584. Is j a prime number?
False
Suppose -3*t + 10*t - 3367 = 0. Is t composite?
True
Let l(u) be the second derivative of -u**4/12 - u**3/6 + 77*u**2/2 + 4*u. Is l(0) a prime number?
False
Let m = 750 + -410. Suppose -2*l + 178 + m = 0. Is l composite?
True
Let u(d) = d**2 - 4*d - 1. Let c = -48 - -32. Let r be (-4)/c + (-23)/(-4). Is u(r) composite?
False
Let k(r) = -r**2 - 5*r - 2. Let a be k(-3). Suppose -a*j - 205 + 698 = -3*s, -2*j + 279 = 5*s. Is j a composite number?
False
Let v(z) = -z**3 - 4*z**2 + z + 4. Let q be v(-4). Is (-275)/(-10)*(2 - q) a prime number?
False
Let m be (-4)/10 + (-102)/(-30). Suppose 77 = m*j - 34. Is j a composite number?
False
Let w = 6478 + -4275. Is w a composite number?
False
Let m(p) = -p**2 - 3*p. Let t be m(-3). Suppose -k = -t - 25. Is k composite?
True
Suppose c = y, -y + 4*c = -c. Suppose y = u - 3*u + 62. Is u a prime number?
True
Suppose 3*r + r = -5*s + 70, -3*s = -2*r - 20. Suppose -5*d - s = 4*v, 7*d = 2*d - 2*v - 10. Let h(k) = 66*k**2 - 2*k - 3. Is h(d) composite?
True
Let c = 38 + -16. Suppose 0 = 5*u + y - 2 - 24, -2*y = 4*u - c. Suppose -57 = -g + 2*i, 2*g - u*g - i = -206. Is g a composite number?
False
Suppose -3525 = 6*s - s. Let l = s - -1072. Is l a composite number?
False
Let h be (-1)/(2/(-3 + 149)). Let o(n) = -n**3 - 3*n**2 - 4*n + 6. Let k be o(-6). Let q = k + h. Is q composite?
True
Let k(m) = -6*m**2 - 15*m - 14. Let i(w) = -7*w**2 - 14*w - 15. Let b(n) = -5*i(n) + 6*k(n). Is b(-12) a prime number?
False
Let a be (39 - 1) + (-8)/4. Let i = a + -23. Suppose b - i = -0*b. Is b prime?
True
Let u(b) = -b**2 - 3*b + 9. Let d be u(9). Let m = d + 57. Let s = m - -64. Is s a composite number?
True
Suppose -2*p + 5*v = -1119, -1684 = -0*p - 3*p + 2*v. Is p prime?
False
Let n(a) = 719*a - 2. Let x be n(2). Let l = 2436 - x. Suppose -w - 4*r = -0*w - 191, 5*w + 5*r = l. Is w a prime number?
False
Suppose -2*p + 6*l - l + 351 = 0, 4*p + 5*l - 777 = 0. Let j = -67 + p. Is j composite?
True
Is (3 + 117/(-1))/(-2) prime?
False
Let h(o) = o**2 - 4. Let n be h(8). Let i(z) = -z**3 + 2*z + 1. Let f be i(-2). Suppose f*y - 305 = -n. Is y a composite number?
True
Let z = -5 + 10. Suppose z*k + 380 = -0*k. Let d = k + 111. Is d a prime number?
False
Is (-4 + 1 - 0) + -1 + 3821 a prime number?
False
Suppose 2*i = -2*i + 16. Suppose i*x - 41 - 227 = 0. Is x prime?
True
Let w(b) = -3*b**2 + 5*b + 3. Let x(k) = 4*k**2 - 6*k - 4. Let z(r) = 7*w(r) + 6*x(r). Is z(-6) a composite number?
True
Suppose z = -2*z - 51. Suppose 2*r = -0*r - 5*l - 72, 0 = 2*l + 4. Let g = z - r. Is g composite?
True
Suppose -146 = -3*g - 0*x + 4*x, -5*x - 56 = -g. Is g a composite number?
True
Suppose 5*s + 20 + 5 = 0. Let y be -1 + 4 - (s - -6). Let m(k) = 15*k**2 - 4*k + 3. Is m(y) a prime number?
False
Suppose -l = l - 2. Let i = l - -3. Suppose r = i*r - 111. Is r a prime number?
True
Suppose 1276 = 5*r - 3*m, -4*m = 4*r + m - 1006. Is r composite?
True
Let t = 8 - 5. Let c be -1 - ((-696)/t + -2). Let u = -30 + c. Is u a prime number?
False
Let x(r) = r**2 - 4*r - 1. Let w be x(5). Suppose 0 = -w*c + 153 + 31. Is c composite?
True
Suppose 0 = -a + 5*h - 330, 3*a + 894 = -3*h - 60. Is -1 - 3/(12/a) a prime number?
True
Let u(m) = -15*m + 5. Let q be u(-5). Suppose 140 = 4*x - q. Is x composite?
True
Is 28*(-3)/((-24)/10) composite?
True
Let m = -31 - -152. Is m prime?
False
Let n = -4 - 2. Is (-3)/n - (-387)/6 a composite number?
True
Let c(q) be the third derivative of -q**6/120 + 2*q**5/15 - q**4/8 - 7*q**3/6 + 4*q**2. Let g(o) = o**3 - 2*o + 3. Let p be g(2). Is c(p) a composite number?
True
Let p be (-892)/(-14) + 8/28. Let r = p + 55. Is r a prime number?
False
Let m = -548 - -1135. Is m a prime number?
True
Suppose -2*q = q - 3*g - 867, -875 = -3*q + g. Is q prime?
True
Let v be 1 - 4/((-12)/(-15)). Is (v + 37)/(-1 + 2) a composite number?
True
Suppose 3*s = 4*p + 2663, -4*s = s - 3*p - 4442. Is s composite?
True
Suppose -9112 = -7*j + 36549. Is j a composite number?
True
Let f = -6 + 9. Suppose -s + 2*v + 19 = -16, s - f*v = 34. Is s composite?
False
Suppose -r = -2*t - 3*t + 11, -4*r = t - 19. Suppose -4*w - 3*o + 93 + 322 = 0, -r*w + o + 411 = 0. Is w prime?
True
Let d(b) = 2*b**2 - 21*b. Let f(x) = x**2 - 20*x - 1. Let i(a) = -2*d(a) + 3*f(a). Is i(-6) prime?
False
Let p be 45/10*(-2)/(-3). Let f(d) = -d + 5. Let j be f(p). Suppose -142 = -3*k + 2*l - 34, k - j*l = 32. Is k a prime number?
False
Suppose 0 = -0*h + 2*h - 14. Suppose 4*l - 630 = 2*g, h*g = 3*g - 4. Is l a composite number?
False
Let n = 8 + -5. Is -1 - (-99 + 0 + n) composite?
True
Let v be -3 + 5/(15/117). Suppose -4*g = y - v, -g + 7*y = 3*y - 26. Let q(h) = -h**2 + 13*h - 8. Is q(g) prime?
False
Let o(r) = 79*r - 26. Is o(7) composite?
True
Let l(h) = -2*h**3 - 2*h**2 - 2*h - 3. Let v be l(-3). Is (-6)/v - 119/(-13) a composite number?
True
Suppos