se
Let m be 6/(-4)*(-8)/3. Suppose m*a + 2*y = -2*y + 480, -4*a + 435 = -5*y. Is a a prime number?
False
Suppose r = 4*r - 15. Let b(w) = -w + 3 + 0 + r*w. Is b(4) prime?
True
Suppose -7*y + 2*y - 45 = 0. Let j = 2 + y. Let x(k) = -5*k - 1. Is x(j) composite?
True
Let t be (6235 + -1)*(10 + -11). Is t/(-10) - 4/10 a prime number?
False
Let i be (-68)/(-11) + (-2)/11. Is (-346)/(-6) + 2/i prime?
False
Let d(b) = 15*b. Let z be d(1). Suppose -5*a + z = -0*a. Suppose -a*l = -0*l - 213. Is l composite?
False
Is (-1)/6 - 59195/(-30) composite?
False
Let w be (-86)/(1/(-2)*4). Suppose w = n - 3*q, -3*q + 62 = 4*n - 80. Suppose -r - n = -2*y, -2*y + 4*r + 34 = -0*r. Is y prime?
True
Suppose -7*r - 3 = -10*r. Is 495/10 - r/2 a prime number?
False
Let f = 9 - 5. Suppose -2*d = f*r - 38, 2*d + 2*d - 5*r = 89. Is d composite?
True
Let p(a) = -7*a + 5*a - 7*a + 1. Is p(-2) a prime number?
True
Suppose 0 = -4*o - 5*k + 3*k + 2946, -2*k = -4*o + 2966. Is o a prime number?
True
Let l = -3005 - -5182. Is l a prime number?
False
Let i = -4 - -6. Suppose i*z + 2*o + 12 = 0, 23 = -z - 5*o - 3. Is ((-25)/(-10))/(z/(-22)) a prime number?
False
Let h(a) = 15*a**2 + 10*a - 13. Is h(6) prime?
True
Let l(a) = -5*a + 4. Suppose 2*n - o - 22 = 4*n, 4*o = 2*n + 22. Is l(n) a prime number?
True
Let n(f) = 2*f + 971. Is n(0) composite?
False
Let r = 91 - 49. Let d = r - 16. Is d prime?
False
Let n be (-1)/((-3)/18 - 0). Let v = -4 + n. Suppose t = -5*f + 35 + 19, 0 = -3*f - v*t + 31. Is f composite?
False
Suppose 0*t - 90 = -2*t. Suppose 5*p + 3*o - 195 = 8*o, -p = -4*o - t. Is p a composite number?
False
Let k(t) = t**3 - 5*t**2 + 4*t + 2. Let s be k(4). Suppose u = -3, -s*u + 229 = 2*v - 19. Is v prime?
True
Suppose -3332 = -4*w + 4*x, -3*w + x = -3*x - 2494. Is w a prime number?
False
Let f(m) = -48*m**3 + 3*m - 1. Is f(-2) composite?
True
Suppose -20*n + 21*n = 449. Is n prime?
True
Let u = -11 - -20. Let q(a) = a**3 - 8*a**2 - 2*a - 6. Is q(u) a prime number?
False
Suppose -4*f + 755 = -9*f. Let n be (-12)/(-10)*(-1 - f). Suppose n = 5*y - 165. Is y a composite number?
True
Suppose -5*h + 4*s = 36, -s - 8 = h - 2*s. Let b = 14 - 27. Is b/h*1*4 composite?
False
Let g(n) = 168*n + 11. Is g(3) a composite number?
True
Let i(f) be the third derivative of f**6/120 - f**5/60 - f**4/24 + 149*f**3/3 + 7*f**2. Is i(0) a composite number?
True
Suppose 0 = -3*d + 15. Suppose d*r = 20 - 0, -s - 2*r + 48 = 0. Suppose 0 = -2*t - 2*t + s. Is t composite?
True
Suppose 40 = p - 2*f, -4*f + 93 = 3*p - f. Let g be (p/8)/((-7)/(-140)). Let c = -51 + g. Is c prime?
False
Suppose 104160 = 6*q - 2*q. Suppose -2*b + q = 3*b. Is b/32 - 2/(-8) prime?
True
Suppose -2*d + 5*f + 1 = -2, 2*d - 4*f = 4. Let w = 5 + 2. Suppose -3*z = -3*b + 6, w = d*b - 4*z - z. Is b a prime number?
True
Suppose 0 = -5*j + 6 + 9, -t + 15 = 4*j. Is t - (-2 - (-3 - -4)) a prime number?
False
Let g(f) = f**3 - 10*f**2 - f + 13. Let l be g(10). Suppose -l*x + 2*m = -64, 0 = -4*x + 7*m - 3*m + 92. Is (x/(-4))/(2/(-4)) composite?
True
Suppose -12 - 77 = -g + 2*t, 0 = 4*t. Suppose -f = 2*p + 4*f - g, 0 = -p - 3*f + 44. Is p a composite number?
False
Let w be 1 + (0/1 - -1). Let i(f) = 5*f + 8. Let m be i(8). Is w + 6/(-2) + m a composite number?
False
Let d(a) = 3*a**2 - 5*a - 1. Let r(q) = -10*q**2 + 14*q + 4. Suppose 31 = 4*k - 0*k + j, -9 = -3*j. Let c(n) = k*d(n) + 2*r(n). Is c(-6) a composite number?
False
Suppose -3*a = -94 - 113. Is a composite?
True
Suppose -18 = -i - 2*i. Let y(a) = 23*a - 11. Is y(i) composite?
False
Let x = -401 + 732. Is x a prime number?
True
Let u(b) = -13*b. Is u(-3) prime?
False
Suppose 290 = -7*o + 5*o. Suppose 529 = 2*p - 23. Let s = p + o. Is s composite?
False
Suppose -2*l - 2*b + 8 = 0, -3*l - 5*b + 8 = -l. Is (-74)/4*l/(-2) composite?
False
Let s(o) = -58*o - 3. Let w(h) = -3*h**2 + 2*h - 1. Suppose a + 0*a = 1. Let c be w(a). Is s(c) composite?
False
Let c = 418 + -205. Let g = 6 + -4. Suppose 0 = -g*h + 719 - c. Is h a composite number?
True
Let c = 0 + 2. Suppose -3*q = -c*q - 34. Suppose -32 = -3*o + q. Is o a composite number?
True
Suppose 238 + 126 = 4*f. Is f a composite number?
True
Let y(z) = 8*z**2 + 7*z - 10. Is y(7) prime?
True
Let u(a) = 3*a**3 - a**2 - 3*a - 9. Is u(4) a prime number?
False
Is 328 + 2*(1 - 1/(-2)) prime?
True
Let c(n) = -7*n - 2. Let a be c(-6). Let o = a - -151. Is o prime?
True
Let h = -76 - -141. Is h composite?
True
Suppose -2*l + 7*l - 210 = 0. Suppose 0 = 5*n - 203 - l. Is n prime?
False
Let p be ((-416)/6)/((-5)/45). Let s be 1/(-3) - p/(-9). Suppose 2*v - s = -v. Is v prime?
True
Let u = 68 + -28. Let n = 9 - 4. Suppose n*b = u + 75. Is b a composite number?
False
Suppose 0 = -2*x + 702 - 280. Is x a prime number?
True
Let p(h) = -h**3 - 6*h**2 - 5*h - 2. Suppose -4*f = 15 + 5. Let n be p(f). Is ((-17)/n)/((-4)/(-16)) composite?
True
Let b be (-2 + 9)*(-12)/(-14). Let k(l) = l**2 - l - 1. Let g(c) = -5*c**2 - 6*c - 6. Let t(w) = b*k(w) - g(w). Is t(1) prime?
True
Let o be -2*(-5)/(10/4). Suppose -o*q + 4*j = 24, 5*q + 6 = -5*j + 26. Let g(p) = 54*p**2 + 2*p + 1. Is g(q) composite?
False
Let o(g) = g**3 - 2*g + 251. Is o(0) prime?
True
Suppose -16 = 3*f - 70. Let q be 3694/(-18) - (-4)/f. Let b = 338 + q. Is b prime?
False
Let x = -1 + 2. Suppose -2*r = -x - 9. Let u = -2 + r. Is u prime?
True
Let j = 1342 - 719. Is j composite?
True
Let y(s) = 132*s**3 + 3*s**2 - 10*s + 28. Is y(3) a prime number?
False
Suppose 3*a - 1310 = -2*a. Is a prime?
False
Suppose -f - 3*p = -16, f - 6 = 3*p - 2. Is f composite?
True
Let t(n) = n**3 - 16*n**2 - 4*n - 28. Is t(19) a composite number?
True
Let g be (-4 - 1)/((-1)/7). Let c = 70 - g. Is c a composite number?
True
Is 12/(-36)*(-786)/2 a composite number?
False
Let r(x) = -3*x - 5. Let n(k) = k + 1. Let s(u) = 18*n(u) + 4*r(u). Let j be -4 + (0 - 32/(-4)). Is s(j) a prime number?
False
Let w = -4 + 7. Let g be 12 - ((-4)/2 + w). Suppose -u - g - 32 = -2*o, -o + 3*u = -19. Is o a prime number?
False
Let d(h) = -h**3 - 7*h**2 + 8*h - 2. Let r be d(-8). Is (1092/18)/(r/(-3)) a composite number?
True
Let x(u) = 2*u**2 + 32*u - 5. Is x(12) a prime number?
False
Suppose 0 = -5*r + 4*t - 2*t + 391, -5*r = -5*t - 400. Is r prime?
False
Suppose -5*m + 196 = 2*a, 3*a + 72 = 2*m + 7*a. Suppose -2*y + 5 = -7*y, 4*y + 38 = -2*i. Let r = i + m. Is r a composite number?
False
Let d = 243 + 104. Is d a composite number?
False
Let x(i) be the first derivative of i**3/3 - 2*i**2 - 6*i - 2. Let t be x(5). Let p(z) = 46*z**2 - z. Is p(t) prime?
True
Suppose -x + 4 = s - 7, 0 = -5*s - 4*x + 55. Is (-3908)/(-44) + 2/s prime?
True
Let y = -116 + 243. Is y a composite number?
False
Let x(h) = -94*h + 9. Is x(-3) prime?
False
Let w = 20 + -29. Let s = w - -22. Is s a prime number?
True
Is -1 - (4 - 3) - -1113 prime?
False
Let a(d) = 144*d**3 + 1. Suppose 3*f = -s + 13, -f + 4*f - 11 = s. Is a(s) prime?
False
Let r be (0 - 0 - 1)*0. Suppose s - 4*s = r. Suppose 4*z = 5*v - 31, s = 2*v + 2*v - z - 27. Is v prime?
True
Let p = 995 + -540. Suppose w - z = 182, 0 = 5*w + 4*z - 473 - p. Let x = w + -101. Is x composite?
False
Is 1/(1 - 472/476) composite?
True
Let h = -5 + 1. Let z(j) = -4*j**3 + 5*j - 1. Is z(h) prime?
False
Suppose 0 = -3*g + 6*g - 282. Suppose -g + 27 = -r. Is r a composite number?
False
Let u = -157 - -254. Is u composite?
False
Suppose -1 = 2*z + 5. Is 14/21 - 109/z prime?
True
Suppose 0 = -4*p - 8, -2*v = -3*p - 1072 - 232. Is v prime?
False
Let x = -4 - -8. Suppose -57 = -2*y + y - x*m, y - 48 = 5*m. Is y prime?
True
Let r = 27 + -40. Let m = -6 - r. Let u = m + 28. Is u composite?
True
Let r = 1 + 1. Suppose -r*n - 5*b = -7*n - 185, 3*n - b = -111. Let w = -22 - n. Is w composite?
True
Is (-57630)/(-25) + (3 - 0)/(-15) a prime number?
False
Let b be (-1)/(-2)*0/(-2). Is (b + 6/3)*5 a prime number?
False
Let i(w) = w**3 + 6*w**2 - 5*w - 5. Let o be (-32)/(-18) - (-2)/9. Let c be o*(-2)/(-2)*-3. Is i(c) prime?
False
Suppose -3*y + 285 = -4*g + 97, -5*y + 5*g + 305 = 0. Let c = y + 55. Is c a composite number?
True
Let p = 51 + 23. Is p a prime number?
False
Let y = -399 + 677. Is y prime?
False
Is 5 + 284 + -1 + -1 a prime number?
False
Let t(b) = -b**3 + 5*b**2 + 6*b + 2. Let u be t(6). Suppose u*z - 1315 = -3*z