5*v + 152. Is k composite?
False
Let n(f) = f**2 - f + 4. Let z be n(3). Let s = z + -10. Suppose 185 = -s*i + 5*i. Is i a prime number?
True
Is (-801276)/(-108) - 0 - 2/9 a composite number?
True
Let c(t) = 360*t - 1. Is c(6) a prime number?
False
Is (-1594)/(-2)*(-325)/(-25) prime?
False
Let p(s) = 5*s**2 + 35*s - 17. Is p(12) composite?
False
Suppose 3*s = -2*j + 926, -4*s - s = -10. Suppose 695 = 3*m + 2*x, -j = -2*m - 6*x + 3*x. Is m a prime number?
True
Suppose 9*g + 10 = 14*g. Is (g/(-4)*38)/(-1) - -2 composite?
True
Suppose -d + 4*o = -115, -3*o = -3*d - 188 + 560. Suppose -3*l + 6*l = -0*l. Suppose j - d = -l*j. Is j a prime number?
True
Let h = -17 - -18. Let o be (15/(1 - 4))/h. Let d(j) = -3*j**3 - 2*j + 4. Is d(o) a prime number?
True
Let s = 4033 - 1731. Is s a composite number?
True
Let o(i) = 2*i - 7*i**2 + 5*i**2 + 3*i**2 + 3. Let l be (-4 + 2)*21/6. Is o(l) a prime number?
False
Let p = 33 - -43. Let f be p + -5 - (-1 - -1). Let m = f + 614. Is m a prime number?
False
Let w(u) = -u**3 + 23*u**2 + 70*u - 13. Is w(19) a composite number?
True
Let u(c) = -7 - 1 - c + c**3 + 0 - 8*c**2 + 3. Let m be (-1 + 0)/(2/(-18)). Is u(m) a composite number?
False
Let r be -2*(-21)/(-6)*-1. Let c = -2 + r. Suppose c*n = 205 - 30. Is n a composite number?
True
Suppose -2*v + 6 = -i + 2*i, -2*i - 3*v = -13. Suppose -5 - i = s. Let n = s - -102. Is n composite?
False
Let t = 373 - 214. Suppose 0 = 2*m - t - 243. Is m a prime number?
False
Let n = 9131 + -6210. Is n composite?
True
Suppose 2*h + 2*j - 18 = 0, j = 6 - 1. Suppose -5*x + 3*z + 572 = h*z, 463 = 4*x - z. Suppose y + 4*w - 50 = x, 3*w = -9. Is y composite?
True
Let d be (-1)/2*2 - -45. Suppose 0 - d = -4*y. Is y a composite number?
False
Let s(h) = -114*h - 493. Is s(-25) a prime number?
True
Let k be (1 + -3)*-1 + 0. Let j(g) = -3*g - 3 - 3*g - 6*g + k*g**2. Is j(9) a prime number?
False
Let m(y) = 3*y - 8. Let f be m(4). Suppose f*s - 5*q - 13 = 0, -14 = 4*s + 3*q + 13. Let h = s - -25. Is h a composite number?
True
Let n(v) be the first derivative of 65*v**2 + 7*v + 1. Let p be n(8). Suppose -p = -5*d - 5*i + 3*i, 0 = 3*d + 5*i - 613. Is d a prime number?
True
Let r(s) = -s**2 - 7*s + 3. Let y be r(-7). Suppose -y*c - g - 15 = 23, 3*c + 5*g = -46. Is ((-16)/c)/(4/402) prime?
False
Suppose 2247 = k - 2*h, -k - h + 5*h + 2237 = 0. Is k prime?
False
Is 3408644/(-249)*6/(-8) a composite number?
False
Let o(n) = 9832*n**2 - 2*n - 3. Is o(-2) a prime number?
False
Suppose 0 = -3*b - v + 693, 3*b - v = -0*b + 699. Let m = b - 147. Is m a composite number?
True
Suppose 2*b = -0*b + 8. Suppose 1567 = 3*r + b*w, r + w - 675 = -154. Is r a composite number?
True
Let h(i) = i**3 - 5*i**2 - 9*i + 15. Let w(q) = q**3 - 6*q**2 - 9*q + 14. Let z(s) = -4*h(s) + 5*w(s). Let g be z(8). Let a = 305 + g. Is a prime?
False
Let z(t) = -t**2 + t - 75. Let s be z(0). Is (45585/s)/((-1)/5) a composite number?
True
Suppose 11*n = 24630 + 8579. Is n a prime number?
True
Suppose -4*m + 20 = 0, 0*t + 5*m = -2*t + 29. Suppose 4 + 0 = -2*p, t*p - 1646 = 3*w. Is 4/16 - w/8 composite?
True
Suppose 4*m - 31 + 11 = 0. Suppose -m*b + 25 = 10. Suppose 3*c - 90 = -3*n, -4*n - b*c + 185 = 60. Is n prime?
False
Let m be (7/2 - 4)*-6. Let f be -2 + 2 - 6/m. Let c(z) = -54*z + 1. Is c(f) a prime number?
True
Is (0 + 2)/((-420306)/(-60042) - 7) composite?
False
Let b = 12 + -8. Suppose 0 = -b*q - 4*y - 24, 5*q + 2*y + 26 = -13. Is (-4)/(12/q) + 140 composite?
True
Let s = -91507 + 193278. Is s a composite number?
False
Let x be 1/((1 - 0) + 0). Let t be -4 + 1762 + -1 + x. Suppose 4*p = 10*p - t. Is p a prime number?
True
Let g = -74 - -79. Suppose 3*x - 1439 = -q - 0*q, 2*q - 2399 = -g*x. Is x a prime number?
True
Suppose 19 = -2*r + 3*r. Let x = -17 + r. Suppose -l = -x*l + 397. Is l a prime number?
True
Let v = 17 + -17. Suppose v = 7*f - 3*f. Suppose -5*u + 639 = 4*b, f = u + 3*b + 40 - 170. Is u a prime number?
True
Let x(m) = 2*m + 9. Let t(y) = y**3 - y**2 + 1. Let q = -6 - -8. Let o be t(q). Is x(o) a composite number?
False
Suppose 0 = -13*q + 8*q - 610. Let y = 143 - q. Is y a composite number?
True
Let f(x) = -12*x**3 - x**2 - x + 1. Let v(i) = -i**3 - 7*i**2 - 2. Let o be v(-7). Is f(o) composite?
True
Let q(x) = 22*x**2 + 18*x + 27. Is q(-17) a composite number?
False
Let p be (-3)/9 + 166/(-6). Let l(f) = -f**2 + 4*f + 2. Let j be l(4). Is ((-434)/p)/(j/4) a composite number?
False
Suppose 7*o + 38555 = p + 4*o, -o = -3*p + 115633. Is p a composite number?
False
Let h(g) = -50*g + 11. Let i(q) = 49*q - 12. Let s(a) = -6*h(a) - 5*i(a). Let m be (0 - -2 - -2)*1. Is s(m) a prime number?
False
Let g be (-10)/(-3)*30/25. Let r be (14/21)/(g/2286). Suppose -2*y = y - r. Is y a composite number?
False
Is -1*(-4)/((-28)/(-4991)) composite?
True
Suppose -6*j = -j. Suppose 0 = 5*n - 0*n - 5*x - 565, 4*n - 3*x - 452 = j. Suppose b - 18 - n = 0. Is b composite?
False
Suppose 0 = 44*z - 3*z - 40631. Is z a composite number?
False
Let n(d) = d**3 + d**2. Let j(q) = -1 + 2*q + 1 + 5 + 8*q**2 + q - q**3. Let c(k) = j(k) - 5*n(k). Is c(-2) a prime number?
True
Let o be (-22)/4 + (-17)/(-34). Is (2 - (-6)/(-4))/(o/(-15130)) a prime number?
False
Let r be (-4)/(-6)*(5 - (-3 + 2)). Suppose r*p - 2*d - 1224 = -d, -p + 323 = 4*d. Is p prime?
True
Let z(f) = -4 + f**3 + 0*f**3 + 6*f**2 + 2 + 6*f + 3. Let i be z(-5). Is (-1364)/6*6/i a composite number?
True
Suppose -3*y = -h + 11878, 0 = -3*h + 2*y + 35547 + 52. Is h a composite number?
False
Let t be (-3962)/(-10) + 2/(-10). Let v = -255 + t. Suppose -v = -4*u + 391. Is u a composite number?
True
Let p = -31 + 66. Suppose -268 = 31*a - p*a. Is a prime?
True
Let x(o) = 7769*o**3 - 4*o**2 + 7*o + 19. Is x(3) composite?
False
Let q = 2898 + -1489. Is q prime?
True
Let d(n) = -2*n + 20. Let o be d(8). Suppose -o*j = -13*j + 4869. Is j prime?
True
Suppose -8 - 4 = 3*y. Let n be 303 + y/(-8)*2. Let w = n - 39. Is w a composite number?
True
Suppose -2*o = 4*k - 4150, -4*k + o + 2588 = -1571. Is k prime?
True
Let h = 58 + -54. Suppose 1602 = h*c - a - 2436, 5*c = 5*a + 5055. Is c composite?
False
Let j = 21 + -19. Suppose -w - 1756 = -a - 2*w, -j*a = 3*w - 3511. Is a prime?
False
Suppose -r + 9 - 5 = 0. Let x = r - 0. Suppose 0 = -2*l + 5*p + 226, 0 = -x*l - 2*p + 4*p + 420. Is l prime?
True
Let p(n) = -57*n**2 + 8*n + 14. Let s be ((-85)/15)/((-2)/(-6)). Let g(m) = 19*m**2 - 3*m - 5. Let r(l) = s*g(l) - 6*p(l). Is r(-3) composite?
False
Let d be (1*3)/((-20)/(-40)). Suppose -d*h - 1286 = -5024. Is h a composite number?
True
Suppose -68 + 203 = -3*b. Let l be b + (3 - 3) + 2. Let a = 132 + l. Is a composite?
False
Let k be 28/8 + 2/(-4). Suppose q + 5*a - k = -11, 4*q - 2*a - 34 = 0. Is q a prime number?
True
Suppose 3*y + 6 = 33. Let j(w) = 10*w**2 - 20*w + 5. Is j(y) a composite number?
True
Suppose 5*q - 127928 = -3*d, 40*d + 3*q = 35*d + 213208. Is d a prime number?
True
Suppose -4*n - 26 = -86. Let b be (-276)/n - 2/(-5). Let v = 105 + b. Is v prime?
False
Let q(k) = 23*k + 14. Let f be q(8). Suppose 6*s = f + 288. Let z = s - -78. Is z a prime number?
False
Let u be (-12)/(-4) + -1 + 2. Suppose u*z - 2*w = 3*w + 1213, 317 = z - 4*w. Suppose 0 = -2*i + 2, 2*b + i - z = 2*i. Is b composite?
False
Let y be -1 + 3 + -2 - 1. Let w be (y + 15)*24/84. Suppose -168 = -5*q + d, -4*d - 170 = -w*q - 42. Is q prime?
False
Suppose v - 1225 = 1663. Suppose -n = 3*n - v. Suppose 4*o = n + 1146. Is o a composite number?
False
Suppose -4*l + 0*l + 24 = 0. Let w be (10/6)/5*l. Suppose -w*p + 159 + 63 = 0. Is p composite?
True
Let v = -17470 - -24819. Is v composite?
False
Suppose -w - 4*c = -873, 3*w - 2675 = -c + 3*c. Let o = w + -258. Is o a composite number?
False
Let f(h) = 3*h**2 + 11*h + 25. Let y be f(-4). Suppose -1052 = -33*q + y*q. Is q composite?
False
Let y(s) = -s + 10. Let w be y(7). Suppose l + 4*z = w*z + 1053, -3*l + 5*z = -3183. Let k = 1871 - l. Is k a prime number?
False
Suppose 5*v = -5*f + 4*f + 4315, 3*v + 2*f - 2589 = 0. Is v prime?
True
Is 2901*-1*147/(-63) prime?
False
Let y = -29025 - -58084. Is y a composite number?
False
Let n = 1099 - 762. Is n a composite number?
False
Is 11590 - (10/25 + 7/(-5)) prime?
False
Is (-15)/12 - 25634/(-8) composite?
False
Let a = 113 + 31