(-9). Suppose 2*v - 113 = q. Let j = 657 + v. Is j composite?
True
Suppose -2*g = 2*t - 8164, 0*t - 12222 = -3*g + 5*t. Let w = -2196 + g. Is w composite?
True
Let y(u) = -262*u - 15. Is y(-2) a prime number?
True
Let b = 16490 + -10881. Is b prime?
False
Suppose -18694 = 12*v + 22502. Let l = 768 - v. Is l prime?
True
Let t(g) be the second derivative of -227*g**3/2 + g**2 - 25*g. Is t(-9) a composite number?
False
Let o(s) = 118 + 39 + 5*s - 7*s - s. Is o(0) composite?
False
Suppose 0 = 5*w - 2*s - 15, -4*s - 34 = -w - 13. Suppose 30 = 5*j + p, 3*j - 11*p - 11 = -13*p. Is w + 160 - (-7 + j) a prime number?
False
Suppose 2*d = -2*l + 8, 0 = -l - 5*d + 7 + 5. Let o(m) = 104*m + 81*m - 1 + l*m + 0. Is o(2) prime?
True
Let a = -1019 - -1401. Is a a composite number?
True
Let f be (-268470)/(-108) - 1/(-6). Is f/5 - 4/80*4 a prime number?
False
Let f = 94 + -46. Let h = 13 + -7. Suppose 2*p = 2*r - f, -3*r + h*r = p + 68. Is r prime?
False
Is (13949/58)/((-1)/(-2)) composite?
True
Let g be (11 - 15)*(-2)/4. Suppose 0 = -g*n + 5*j + 86 + 1044, -2260 = -4*n + 3*j. Is n prime?
False
Is (-116036)/14*(-91)/26 a prime number?
True
Suppose -796*u = -792*u - 37028. Is u a composite number?
False
Suppose -6*h = -10*h, -10 = -5*d + 4*h. Suppose d*f - 2096 = -4*z, -5*f + z + 3154 = -2053. Is f prime?
False
Let c = 1256 - 288. Let p = c + -385. Is p a composite number?
True
Suppose 3*x = -4*r + 254, 64 = -2*r + 3*r + x. Let y = 62 + r. Let a = y - 86. Is a a prime number?
False
Let h be ((-8)/(-6))/(-3 + (-32)/(-12)). Is (h + 0)*(-605)/44 a composite number?
True
Let y = -20 + 29. Let i be y + (3 + -1 - 0). Suppose 8*j - i*j = -147. Is j prime?
False
Is (2 - 8)*21178/(-4) a composite number?
True
Suppose -4*i - 36 = -36. Suppose i = -2*k - 4*n + 3*n + 287, 432 = 3*k + n. Is k prime?
False
Suppose 0 = v - 0*v + 2. Let p be 1/(v - (-14)/6). Suppose 0 = -4*m - p*c + 341, 4*m - c = 325 + 36. Is m a prime number?
True
Suppose -4*i + 0*j - j + 7385 = 0, i - 2*j = 1853. Is i prime?
True
Suppose 0*c + 9 = 3*c. Suppose -2*r - 6 = 0, -c*i + 2*i = -5*r - 18. Suppose -1241 = -i*s + 4*y, 5*y + 79 + 320 = s. Is s prime?
True
Let j(o) = -109079*o**3 + o**2 + 9*o + 8. Is j(-1) a prime number?
False
Let g = 7 - 1. Let u be g/6*0/2. Is 0 + u + (8 - -13) prime?
False
Let u = 53 + -49. Suppose -2*r + 434 = -4*g, -5*r + u*g - 3*g = -1112. Is r composite?
False
Let p be (-21)/6*(57/(-21) + 1). Is 67*(2 + -3*(-34)/p) composite?
True
Let v = -1694 - -877. Let w be (-2)/13 + v/13. Let d = -40 - w. Is d prime?
True
Let n be (-6)/3*(-982)/(-2). Let q = -664 - n. Suppose -3*h = -6*h + q. Is h a composite number?
True
Let s(l) = -l**3 - 13*l**2 - 10*l + 24. Let o(h) = -h**2 + 8*h - 3. Let b be o(9). Let z be s(b). Suppose z = 5*r + r - 774. Is r prime?
False
Let c be (-8)/(3 + 5)*(-3 - -1). Is (17*c)/((-2)/(-131) + 0) composite?
True
Let h be (-4)/(1 - 0/1). Let r = h + 4. Suppose -4*z - 3*k + 602 = r, -4*z + 60 = -k - 534. Is z composite?
False
Suppose -2*c = -0*l - l - 5, -c + 2*l = -4. Suppose 0 = -4*m - a + 1968, -c*m + 2451 = 3*m - a. Is m prime?
True
Suppose -8*y + 2*y + 19074 = 0. Suppose -3*x + y - 716 = 0. Is x a composite number?
False
Suppose -2 = -2*t + 4. Suppose 0 = -t*p - 81 + 1374. Is p a prime number?
True
Suppose -5*i + 3*i = -5*c + 115, c - 5*i = 0. Let l(j) = -j**3 - 3*j**2 - 10*j - 16. Let v be l(-5). Let a = c + v. Is a prime?
True
Let k(y) = y**3 + 8*y**2 + 8*y + 5. Let w be k(-7). Let g(f) = 241*f - 1. Let l be g(w). Let r = 262 - l. Is r composite?
True
Suppose 2*x - 5319 = -903. Let k = 3277 - x. Let l = -560 + k. Is l composite?
False
Let b(z) = -122*z + 7. Let f(w) = 365*w - 21. Let s(i) = 17*b(i) + 6*f(i). Is s(5) a prime number?
False
Suppose 0*o - 4 = -o. Suppose -o*c + 103 = -j, 5*c + 6*j - 110 = j. Let h = c - -28. Is h prime?
True
Let h be (-6)/8 + 22/8. Suppose 0 = -3*v - 3*w + 1941, 5*v - 3235 = -w + h*w. Let c = -144 + v. Is c prime?
True
Suppose 4*s + 19 + 73 = 0. Let t = 104 - s. Is t prime?
True
Suppose -7*t = -5*t. Suppose 2*b + b - 588 = t. Suppose -4*z + 80 = -b. Is z a prime number?
False
Suppose -4*u = d - 2632, -7*u + 2624 = -3*u + 3*d. Let k = -216 + u. Is k composite?
False
Suppose -3*w + 8 = 4*x - 1, 1 = -w. Is ((-1332)/(-7) - x) + (-4)/14 a composite number?
True
Suppose 0 = -5*d - 4*h + 34, 3*d + 0*h + 2*h - 22 = 0. Suppose 6*o - d*o + 2764 = 0. Is o composite?
False
Let v = 14 + -9. Let k be 2*(24 - (4 - 1)). Suppose v*z + 3*g - g = 325, z = -5*g + k. Is z a prime number?
True
Let s = 492 - 401. Is s composite?
True
Let y be ((-8)/12)/((-4)/6). Suppose 5*f - 19 = y, 4*f = -5*m + 921. Suppose -n - c + m = 0, -2*n = 3*n - c - 929. Is n a prime number?
False
Suppose -18*j + 146 + 34 = 0. Is (-2)/j + 2673/15 a composite number?
True
Suppose 0*c + 4*c - 19 = x, 4*x + 62 = 2*c. Is ((-12386)/33)/(2/x) composite?
True
Let c be 10/45 + (-68)/(-18). Let h(r) = -r**3 - r**2 - 8*r - 9. Let k be h(-6). Suppose k = c*d - 137. Is d a composite number?
False
Suppose 0 = -5*w - 31*w + 1077012. Is w a composite number?
False
Suppose -3*f - 3*g + g = -32, 5*f + 4*g - 56 = 0. Is ((-7)/(-3))/(f/1704) a prime number?
False
Let p = -197 - -870. Is p a prime number?
True
Suppose 18 = -2*n + 4*n. Let u = 13 - n. Suppose u*o - 5*o + 37 = 0. Is o prime?
True
Let f(w) = w**3 - w**2 - 2*w + 1475. Let i = 18 - 18. Let n be f(i). Suppose 0 = -4*k - k + n. Is k a composite number?
True
Let q(d) be the first derivative of -d**4/4 - 7*d**3/3 - 3*d**2 - 7*d - 5. Let z be q(-6). Is -3 - z/(7/124) a composite number?
True
Is (-14972)/152*(-10)/((-2)/(-2)) prime?
False
Suppose 3*x = x. Let z = 3 + x. Suppose 18 = z*i - 39. Is i composite?
False
Suppose 2*q = 2003 + 5027. Suppose 3*x + q = 10466. Is x a prime number?
False
Let i = 12 + -7. Let d be (-10)/4*(-4)/i. Suppose -d*z - 2*c = -702, 3*z + 0*c - 1055 = -2*c. Is z composite?
False
Suppose -2*r + 3918 = 2*n - 966, 5 = n. Is r composite?
False
Let v = -161 + 82. Let d = v - -374. Is d prime?
False
Suppose -7*l = -42 - 42. Suppose -1952 = -4*h - l. Is h a prime number?
False
Let z(a) = 10*a**3 - 3*a**2 - 4*a + 6. Let g be (2/(-3))/(4/36). Let w(t) = 11*t**3 - 3*t**2 - 4*t + 7. Let y(x) = g*z(x) + 5*w(x). Is y(-3) a composite number?
False
Is 5/(-25)*-5 - -1480 prime?
True
Suppose 0 = -8*d + 108303 + 10217. Is d a prime number?
False
Suppose -15 = 2*n - 3*a, -a + 5 = 7*n - 2*n. Let p = n + 5. Suppose 0 = -10*w + p*w + 335. Is w a composite number?
False
Let z(o) be the first derivative of 0*o**2 + 10/3*o**3 + 5 - 1/4*o**4 - o. Is z(8) prime?
True
Let i(t) = t**3 - 3*t**2 + 5*t. Let s be i(4). Let z be (-192)/s + (-2)/3. Is ((-116)/3)/(4/z) a prime number?
False
Let l(b) be the third derivative of -53*b**4/24 - 29*b**3/6 - 18*b**2. Is l(-6) a prime number?
False
Let b(a) = -2*a**3 + 2*a**2 - 3*a - 5. Suppose -2*h - 2*s = 14, 16 = -4*h - 5*s - 14. Let w be b(h). Suppose -2*y = -304 - w. Is y composite?
False
Let s(k) = 173*k + 31. Suppose -9*l + 146 - 20 = 0. Is s(l) a prime number?
False
Suppose 24*h = 32*h - 23192. Is h a prime number?
False
Let k be ((-6)/2 + 0)*42/(-42). Let p be (10/4)/((-3)/(-6)). Suppose l + o + 3*o - 219 = 0, -p*l + k*o + 1003 = 0. Is l prime?
False
Let g(l) = -11*l**3 + 21*l**2 - l + 1. Is g(-10) a prime number?
False
Let r(h) = 31*h + 20. Let o(z) = -61*z - 36. Let q(k) = 122*k + 73. Let p(d) = -5*o(d) - 3*q(d). Let c(i) = -6*p(i) - 11*r(i). Is c(11) composite?
True
Suppose -2*c - 46967 = -3*t, -3*t + 0*c = -4*c - 46957. Is t a composite number?
True
Suppose -b - 2*m = -13, 0*m = -2*m + 6. Is ((-1)/(-2))/(b/22834) a composite number?
True
Let p be (2/(-3))/((-2)/24). Suppose p*u = 3*u + 285. Is u a prime number?
False
Suppose 0 = 3*l - n + 5*n, 4*l - 31 = 5*n. Let y be -2 - (-4 + -30 - -2). Let a = l + y. Is a prime?
False
Let o = -22 - -27. Suppose 5*j = 2*c - 37, 2*c + 2*c - 69 = 5*j. Suppose 2*x - o*z = 28, -3*x + 43 + c = z. Is x a prime number?
True
Let w(v) = -2*v - 16. Let m be w(0). Let b be (-8)/m - 18/4. Is b/12 - 706/(-3) composite?
True
Let p = -6816 + 41237. Is p a composite number?
False
Let r be 2 - -2*(-2 - -3). Suppose -250 = -3*g - g + 5*p, 2*p + 256 = r*g. Is g composite?
True
Suppose 2*p + 18 = 3*t + 5*p, -2*t - 5*p + 18 = 0. Suppose -t*k + 13 = -w, 3*k - 10 = -2*k - 5*w. 