 + 1. Is g a composite number?
True
Let y = 1218 + -796. Is y prime?
False
Suppose 4*f = 5*b + 1510 + 2838, -b - 2174 = -2*f. Is f prime?
True
Let h be 1/(2/2) + 3. Suppose 4*p + 824 = 4*a, -5*a = -7*a - h*p + 442. Is a prime?
True
Let l be ((-3)/(-9))/((-2)/(-18)). Suppose 0 = -l*x + 7 + 482. Is x a prime number?
True
Let n be -3*(-2)/3 + -2. Is -2 + 1*(133 + n) a prime number?
True
Suppose -4*i + 5*x = 2348 - 14901, 2*i - 6273 = -x. Is i a prime number?
True
Suppose -w + 35 = -3*y, 0 = -5*y + 2*y + 3*w - 27. Let p = 35 + y. Suppose -d = -2*d + p. Is d composite?
True
Let k = -36 + 104. Suppose -x - k + 1027 = 0. Is x a prime number?
False
Let j = 12 + -4. Is (-122 - -1)*(-8)/j a prime number?
False
Suppose 0 = -9*q + 4*q + 40. Suppose 0 = c + 4*u - 8, -3*u + 4 = c - q. Suppose o + 1 - c = 0. Is o prime?
True
Let i be 4/(-22) + (-246)/(-22). Is (-344)/(-5) - i/(-55) a composite number?
True
Suppose -81 + 428 = f. Is f composite?
False
Is (3 - 91/35) + (-11416)/(-10) a prime number?
False
Let j be (3 - 5) + (-1 - 2). Let d(n) = -31*n - 6. Is d(j) prime?
True
Let n = -3 + 5. Suppose -n*p - 2*p + 132 = 0. Is p a composite number?
True
Suppose 0 = -d + 3. Suppose 0 = d*y + 5*q - 140, -4*y = 7*q - 2*q - 190. Suppose -3*n + n + 2*j + y = 0, 0 = -n + 4*j + 37. Is n a prime number?
False
Let k = 667 + 696. Is k composite?
True
Let d be 128/20 - 6/15. Let x(o) = 8*o + 5. Is x(d) prime?
True
Suppose 0 = o + 3*o. Suppose 635 = -o*f + 5*f. Is f a composite number?
False
Let f = -157 + 428. Is f composite?
False
Suppose -5*w = -5*o - 1005, -2*o - 672 - 140 = -4*w. Suppose 3*x - 292 - 329 = -4*g, -x = 2*g - w. Is x a prime number?
True
Suppose -5*w + 4106 = 2*j - 7693, -3*w - 2*j = -7081. Is w a composite number?
True
Let u = 8 - 9. Let w(j) = -252*j**3 - 2*j**2 + 1. Is w(u) a composite number?
False
Suppose 3*l - 5*l = -30. Is ((-5)/l)/((-2)/186) composite?
False
Let a(c) = c**3 + 8*c**2 + 2*c - 3. Let z be a(-7). Suppose 3*i + 10 = 5*o + 2, 4*i + 4*o = z. Suppose l + 6*n - n = 78, -i*l - 4*n = -392. Is l a prime number?
True
Suppose -2*t + 6*t = 5*j + 607, t = -4*j + 178. Suppose -t = 3*q - 20. Let y = q - -125. Is y a prime number?
True
Let a(h) be the second derivative of -h**4/12 - 7*h**3/2 + 13*h**2/2 + 3*h. Is a(-16) a prime number?
False
Suppose 2*i = 2*k + 1 + 1, -2*k = 8. Is 15348/18 - 1/i prime?
True
Let w be ((-12)/(-10))/((-15)/250). Let k = 49 - w. Is k a composite number?
True
Let p be 10/4*(-4)/(-5). Suppose -p*c + 294 = -0*c. Suppose 4*d + 35 - c = -2*l, 5*l + 3*d = 287. Is l a composite number?
True
Let p(g) = g. Let y(n) = -5*n - 19. Let m(b) = -6*p(b) - y(b). Let j = -1 + 1. Is m(j) a composite number?
False
Suppose 66 = 2*k - 24. Let i = k - -8. Is i prime?
True
Is (-1118)/(-2) + (-6 - -4) a composite number?
False
Suppose 3*t = t - 3*y + 13, -5*y - 15 = -4*t. Suppose 0 = t*v + 4 - 19. Suppose v*x - 70 = x. Is x a prime number?
False
Let t = 18 + -24. Is 3/(t + 3)*-65 prime?
False
Suppose -i = -w + 109 + 62, 0 = -2*w + 6. Let l = 43 - i. Is l a prime number?
True
Suppose 15 = 5*b - 0*b. Suppose p = -b*p, 4*m - 60 = -3*p. Is m prime?
False
Let j(g) = 21*g + 1. Is j(4) a composite number?
True
Suppose -3*q + 24 = -6. Let w = 50 - q. Let s = w + -26. Is s a composite number?
True
Let d(y) = 9*y**2 + 22. Is d(5) prime?
False
Let k(n) = n - 3. Let q be k(-6). Is -436*(q/12)/3 a prime number?
True
Let w(i) = i**2 + i + 32. Is w(13) prime?
False
Let y(i) = -i - 3. Let g be y(-5). Let n(r) = -2*r. Let f be n(-2). Suppose s - f*k - 155 = -0*k, g*k = -5*s + 797. Is s composite?
True
Let r be -9*(5/3 - 2). Suppose -k = 5, 2*k + 28 = r*i - 0. Let n(s) = s + 1. Is n(i) a composite number?
False
Suppose -6*a = -2*a - 716. Is a composite?
False
Suppose -3*w = -3*b - 0*b + 1719, 0 = 2*b - 5*w - 1152. Is b prime?
True
Let y = 10 + 9. Let x = 56 - y. Is x composite?
False
Suppose 5*s = -3*p + 1202, 3*s + p - 439 = 283. Suppose 0 = -2*m - h + s + 90, 4*m - 3*h - 677 = 0. Suppose -5*o = -m - 228. Is o composite?
False
Suppose -l - 296 = -3*n, -n + 4*n + 5*l - 266 = 0. Is n prime?
True
Let w(q) = 3*q**2 + 14*q - 19. Let m(g) = 5*g**2 + 21*g - 29. Let h(v) = 5*m(v) - 8*w(v). Let l be h(5). Is (-784)/(-12) + 1/l prime?
False
Let w(n) = 5*n**3 - 1 - 3*n**2 - n**3 + 0*n**3 - 3*n**3. Let a be w(2). Is (-34)/3*(a - -2) composite?
True
Suppose 3*l + 64 - 754 = 0. Suppose n = -n + l. Let c = n - 78. Is c a prime number?
True
Let h = 4 - 8. Let a = 2 + h. Let o = 4 + a. Is o a prime number?
True
Let j be 258 + 0 - 1/(-1). Is -6 + 3 - (-3 - j) a prime number?
False
Suppose 4*y + 119 - 351 = 0. Let g = y - 28. Suppose 0 = 3*t + g - 195. Is t a composite number?
True
Let c be (-1346)/6 + (-2)/3. Let s be c/3*6/(-15). Let a = 53 - s. Is a a composite number?
False
Let m(a) = a**2 - 3*a - 1. Let i be m(4). Let w = 93 - 57. Is (-1)/(i/(-3)) + w prime?
True
Let h(c) be the second derivative of -20*c**3/3 - c**2/2 + 4*c. Is h(-2) a composite number?
False
Let x be 3*(2 - (-8)/(-6)). Suppose x*k - 38 = -j + 5*k, j - 59 = -4*k. Is j a prime number?
True
Let y(v) = -104*v + 11. Is y(-7) composite?
False
Let s = -60 - -149. Is s a prime number?
True
Let g(p) = 6*p**3 - p**2 + 16*p - 6. Is g(5) composite?
True
Let k = 1 - 8. Let w(t) = 4*t**2 + 4*t - 10. Is w(k) prime?
False
Suppose 5*l - 6865 = 3400. Is l composite?
False
Let x(l) = l**3 + 8*l**2 + 4*l. Let m be x(-6). Suppose 5*j = -g + 51, m = 2*g + 5*j - 34. Is g composite?
False
Let u(p) = 3*p**2 - 4*p - 4. Let t = 6 + -4. Let z = -5 + t. Is u(z) a prime number?
False
Let r(m) be the second derivative of 19*m**4/12 + m**3/2 + 7*m**2/2 - 5*m. Is r(5) a composite number?
True
Let d be (-1)/2 + (-26)/(-4). Suppose 2*n - d = 2. Suppose n*s = s + 285. Is s composite?
True
Let r = 1343 + -340. Is r a prime number?
False
Let p = 32 - 19. Is p composite?
False
Let k(u) = u**2 - 9*u + 11. Let l(b) be the first derivative of 2*b**2 - 5*b - 2. Let a(v) = 4*k(v) + 9*l(v). Is a(-3) composite?
True
Let t(c) = 21*c**2 - 9*c - 17. Is t(8) composite?
True
Suppose -6*h = -h. Let l(a) = 10*a - 3 + 6 + h*a**2 - 2 + a**3 - 8*a**2. Is l(7) a prime number?
False
Let m(n) = -n - 2. Let q be m(-2). Suppose q = -p + 3, -p + 261 + 50 = 4*d. Is d a prime number?
False
Is ((-15)/30)/((-2)/7516) composite?
False
Suppose 5*d - 3*g - 2 = 25, 4*d - 4*g - 28 = 0. Suppose 35 = 5*b - d*i, i = -2 - 3. Suppose -2*k + b*h = -k + 10, 4*k = 5*h + 4. Is k a composite number?
True
Suppose -305 = -3*l + 658. Is l prime?
False
Let c(o) be the third derivative of -o**5/60 - o**4/24 + 109*o**3/6 + 5*o**2. Is c(0) prime?
True
Suppose -t - r = 0, -2*r - 6 = 2*t - 6*r. Let s(k) = -39*k + 17*k - 25*k. Is s(t) composite?
False
Let v be 2/(-1) + -1 + 6. Is (-37)/v*(-10 + 1) prime?
False
Suppose 5*z = z - 36. Let p(w) = -w**2 - 3*w + 2. Let q be p(-3). Is (-583)/z - q/(-9) a composite number?
True
Suppose -3*j - 7 = -2*j + 5*c, -5*c = 15. Let b(k) = 5*k + 11. Is b(j) composite?
True
Let d = 2 + 0. Suppose 4*v + 2*y = 2, -5*y - 2 = 3. Is v + 0 - (-152)/d a prime number?
False
Let s(o) = -o**2 + 27. Let y be s(0). Suppose 3*p + 0*p = 3*f - y, 4*p + 33 = f. Is (298/p)/(2/(-8)) composite?
False
Suppose -184 - 405 = -i. Let w = i - 296. Is w a composite number?
False
Suppose 0 = 2*g - 1446 - 46. Is g a prime number?
False
Suppose -3*z + 2*s + 16 = 0, -3*z + 8*z + 2*s - 16 = 0. Suppose 5*h + 2*q = 678, z*h - 2*h - q - 264 = 0. Is h a prime number?
False
Let p be (0 - -1)*1 + 3. Let m(q) = -q**2 + 5*q - 5. Let a be m(p). Is 78 + (-1)/(a + 2) a prime number?
False
Let u = -208 - -109. Let g = -62 - u. Is g composite?
False
Is 25836/20 - (-8)/(-10) a composite number?
False
Suppose -v + 1972 - 349 = 0. Is v prime?
False
Let w = 87 - -172. Is w a prime number?
False
Let t = 4 + -14. Let f be (-26)/(-13)*(-46)/4. Let v = t - f. Is v a composite number?
False
Suppose n - 2 + 0 = 0. Let y = 9 + n. Is y prime?
True
Suppose -2*w + d = -d - 74, -2*d + 2 = 0. Is w composite?
True
Suppose 0 = -g - 4*g + 335. Suppose 3*c - g = -10. Is c a composite number?
False
Let v(q) = -q**2 + 2*q + 4. Let p be v(4). Is (1409/(-2))/(2/p) prime?
True
Let v be 32/(-24)*102/(-4). Let s = 43 + v. Is s prime?
False
Let c be -122*(-2 - -1)/2. Suppose 5*u = -i - 38, 0 = 5*u + 11 + 9. Let j = c - i. Is j prime