 = 5*x. Suppose x = -5*z + z + 380. Is z a prime number?
False
Suppose 4*v - 8 = -0*v. Suppose 0 = -v*w - w + 417. Is w composite?
False
Let x(f) = 0*f - 1 + 2 - 11*f - 2. Let i(b) = b. Let s be i(-6). Is x(s) prime?
False
Suppose -3*a = -530 - 1189. Is a a prime number?
False
Suppose 0 = -2*f + 286 + 1832. Is f a prime number?
False
Let v = -14 + 24. Suppose s + 78 = 2*u + 2*u, 0 = -5*s - v. Is u a composite number?
False
Suppose -3*t + 4*t = q, 3*t = 2*q. Suppose 3*m - 769 = 2*g, t = -g - 4*g - 25. Is m a prime number?
False
Suppose 70 + 104 = 2*m. Is m prime?
False
Let t(a) = a**3 + a**2 - 2*a. Let v be t(-2). Suppose -3*w + 3*x = 2*x - 2368, 4*w - 5*x - 3139 = v. Is w a prime number?
False
Let y = -26 - -45. Is y a composite number?
False
Suppose 0*t - 5*t = -30. Let m(h) = -h**3 + 8*h**2 - 8*h + 9. Is m(t) a composite number?
True
Let t = 26 - 60. Let i = t + 59. Let d = -12 + i. Is d composite?
False
Suppose 0 = 4*q - 0*q - 12, -3*z + q - 198 = 0. Let c = 144 + z. Is c a prime number?
True
Suppose 0 = -4*h + 12. Let m(w) = -4*w**2 - 2 - 2*w + 2 + 2*w**h - 3. Is m(4) a prime number?
True
Let t(m) = 12*m + 3 - 6*m + 6*m + 4*m. Is t(4) a composite number?
False
Suppose 25 + 0 = 5*u - 3*f, -2*u - f - 1 = 0. Suppose -2*s = -2, -7 - u = -2*g + 3*s. Is g prime?
False
Let c be ((-15)/25)/((-1)/155). Suppose -v + c = s, -3*v = v - 3*s - 358. Is v prime?
False
Let d(m) = 4*m - 14. Let y be d(12). Let q be (99/3)/(3/y). Let z = q - 261. Is z composite?
False
Let n be 1/(2/(16/2)). Let m be (-2 + 7)/((-1)/(-6)). Suppose 4*r - 54 = -2*q, -r - n*r = q - m. Is q composite?
True
Let u = -92 - -439. Is u prime?
True
Let m = 111 - 38. Suppose -5*j - m = -228. Is j a prime number?
True
Let i = -143 - -77. Suppose -202 = 5*y - 2. Let h = y - i. Is h a composite number?
True
Is (8929/(-4) - 4)/((-2)/8) prime?
False
Suppose -4*f - 3*v = -9, -4*f - 2*v - 1 = -7. Suppose s - 191 = -f*s. Is s prime?
True
Suppose -101 - 90 = -z. Is z a composite number?
False
Suppose -6*n + 6805 = -1625. Is n a prime number?
False
Suppose -3*n + 31 = 5*k, 13 - 39 = -3*n - 4*k. Suppose 0 = -n*f + 8, -3*g - 6 = -g - 2*f. Let r(l) = 7*l. Is r(g) a composite number?
False
Let b(h) = 7*h**2 + 4*h - 4. Is b(11) a prime number?
True
Let j(g) = -7*g**3 - 11*g**2 - g + 17. Let x(w) = -4*w**3 - 5*w**2 - w + 9. Let b(k) = 3*j(k) - 5*x(k). Is b(-9) prime?
False
Let w be 2/(-4) - 14/(-4). Is (7 - -59) + (w - 0) a prime number?
False
Let q(z) = 2 + z**2 + 0*z - 3*z**3 - z + 3*z. Let i be q(-2). Is ((-2)/4)/((-1)/i) a composite number?
False
Suppose 5*m - 3*z + 24 = 2*m, -2*m - 26 = -4*z. Is (109/(-3))/(1/m) composite?
False
Let q(k) = 22*k**2 + 3*k + 2. Let g(s) = -s**2 - 8*s - 10. Let r be g(-7). Let b be q(r). Let h = 274 - b. Is h composite?
False
Suppose k - o - 805 = 0, -7*k = -3*k - 2*o - 3216. Is k composite?
True
Suppose 4*m - k = 2727, -3*m + 2*k + 2046 = k. Is m a composite number?
True
Let u = 544 - 241. Is u composite?
True
Let d = 8 - 3. Suppose -d*c = -34 - 41. Is c a composite number?
True
Suppose 0 = -4*a - a + 285. Suppose 4*k - 4*l - 19 - a = 0, 0 = -k - 4*l - 1. Let t = 46 - k. Is t a prime number?
True
Let r(j) = -6 - 17*j - 16*j + 10*j. Is r(-5) composite?
False
Let h be (-16)/28*14/(-4). Is ((-3)/(-3))/(h/70) prime?
False
Is 2*23/(-4)*-62 a composite number?
True
Is 30/40 + (-1258)/(-8) a composite number?
True
Suppose -4*w + 1 = q - 4*q, -4*q + 5*w = 0. Suppose 5*f = -2*k - k + 401, 2*k = -6. Suppose 0 = -q*u + f + 13. Is u a prime number?
True
Let d = 178 + -302. Let q = d - -389. Is q composite?
True
Suppose 18 = 5*z + 3. Let v(x) = -x**2 + 2*x + 3. Let u be v(z). Suppose 5*i = -u*i + 475. Is i composite?
True
Suppose a = 4 - 1. Let i(m) = 0 + 6*m + 5*m + 4. Is i(a) composite?
False
Suppose 0 + 5 = 5*b. Let d be 3 + b + 6/(-2). Is 4/(-4)*(-113)/d a prime number?
True
Suppose 850 = -i + 5*i - 2*f, 2*i = -5*f + 455. Is i a composite number?
True
Suppose 0 = -8*c - 2156 + 6484. Is c a composite number?
False
Suppose -34 = -3*c + 2*t + 58, -3*t + 185 = 5*c. Let y be ((-12)/3)/(4/(-48)). Let l = y - c. Is l a prime number?
False
Suppose -2*n - 2*n + 332 = 0. Is n a prime number?
True
Let u = -699 - -1340. Is u a composite number?
False
Let c(p) = 19*p + 16. Is c(7) a composite number?
False
Let g be (-1)/(-3) - (-6)/(-18). Suppose 0 = -g*a - 2*a + 134. Is a a prime number?
True
Suppose 5*b + i = -570, -3*b = -8*b - 4*i - 585. Let z = b + 226. Is z composite?
False
Let l = 40 + -5. Is l composite?
True
Is 11 - 10 - 3*-22 a composite number?
False
Suppose 0 = 4*p - 2*p. Suppose 0 = -2*c - 3*d - 2*d + 15, d - 3 = -2*c. Suppose p*y - 4*q + 296 = 4*y, c = -y + q + 80. Is y a prime number?
False
Is (-1)/((-1269)/(-318) + -4) a prime number?
False
Let x = -39 + -3. Let r = x - -61. Let a = 40 - r. Is a prime?
False
Is (-4 + 2103)/((-3 + 1)/(-2)) a prime number?
True
Let u(o) = -27*o**3 + o. Let f be u(-1). Let j(y) = y - 8. Let k be j(6). Is (k/1)/((-4)/f) composite?
False
Let d = 1 - -5. Is 58/(-4)*(d + -16) prime?
False
Is 4220/60*(2 + 1) a prime number?
True
Suppose a - 2257 = -4*u, -u - 3*u = -3*a - 2269. Is u composite?
True
Let m(q) = -11 + 0*q + 0*q**2 + 3*q**2 + 4 - 7*q. Is m(7) a prime number?
False
Let m(a) = -4*a**2 - a. Let j be m(-1). Is 4/(-12) + (-358)/j composite?
True
Is (-4029)/12*(0 - (-1 - -5)) composite?
True
Let n(s) = 9*s**2 + 2*s + 4. Let l(f) = 5*f**2 + f + 2. Let b(z) = -7*l(z) + 4*n(z). Is b(4) a composite number?
True
Let d(q) = 7*q - 3*q**3 + 2*q**3 + 5*q**2 + 10 - 4*q**2 + 6*q**2. Is d(7) prime?
True
Suppose 2*b = o + 11, -4*b + 27 = -2*o - o. Is (b/6)/(3/42) composite?
False
Suppose 0 = -2*g - 3*q + 603, 2*g + q - 4*q = 633. Let b = g + -77. Suppose -4*m - b = 5*u - 856, 2*m - 338 = 4*u. Is m a composite number?
True
Is (-6 + (-399)/12)*(-13 - -1) prime?
False
Suppose 0 = -3*p - 4*o + 4211, 878 = -3*p - 2*o + 5097. Is p a prime number?
True
Let u(p) = -56*p + 11. Let w be u(-2). Suppose 4*y = -y + 1330. Let v = y - w. Is v prime?
False
Suppose -2*a + 179 = -5*h, 3*h = 7*a - 5*a - 185. Is a composite?
False
Let k(a) = a**3 - 7*a**2 + 1. Let j be k(7). Is (j*52 - 1) + -2 a composite number?
True
Let s be (-2)/(-10) - (-1323)/35. Is (s/4)/((-4)/(-24)) composite?
True
Let m be (12 + -12)/(2/2). Let i(o) = -o**2 + 235. Is i(m) composite?
True
Let l(i) = -35*i - 1. Let b(r) = -17*r. Let c(j) = 7*b(j) - 4*l(j). Is c(2) prime?
False
Is 3033/(-9)*1*-1 a prime number?
True
Let s(t) = 94*t - 1. Is s(2) a prime number?
False
Let w(d) = 78*d**2 + 2*d - 1. Is w(4) a composite number?
True
Is 33*(2 + 106/6) a prime number?
False
Let f be ((-52)/6)/(5/15). Is (-24)/4*f/4 a prime number?
False
Suppose -5*a + 590 = 4*s - 1075, -3*a + 3*s + 1026 = 0. Is a composite?
False
Is 4/(-18) + 1829/9 a prime number?
False
Let x = 88 - -48. Suppose m + 0*m - 6 = -3*z, 5*z = 2*m + 10. Suppose 4*o - x = -2*j - z*j, 3*o + 162 = 5*j. Is j a composite number?
True
Let q be (282/(-3) + 0)/(-2). Let s = 32 + q. Is s prime?
True
Suppose 4*d - d - 1938 = 0. Is (-1)/2 + d/4 composite?
True
Suppose 5*t + y = 4*t + 1966, 5919 = 3*t - 4*y. Is t a prime number?
False
Let z = -243 - -352. Is z composite?
False
Is 7/(147/(-6)) + 14592/14 prime?
False
Let r be -1 + -2 - -2 - -34. Is 2 + r + -2 + 2 prime?
False
Suppose -6*h + 440 = -634. Is h a prime number?
True
Let h = 1231 + -600. Is h a composite number?
False
Is (-6)/(-3)*6/(-4) + 5336 composite?
False
Suppose 0 = y + y - 4. Let d = y + -2. Let v(a) = -a + 49. Is v(d) prime?
False
Suppose -436 = -3*z - z + 4*b, z + 3*b = 105. Suppose 0 = 3*q - j - 109, 2*j - z = -5*q + 59. Is q composite?
True
Let z = -3 - -5. Let w(g) be the second derivative of g**5/2 + g**4/12 + g**3/3 - g**2/2 + 2*g. Is w(z) a composite number?
True
Let n(v) = 3*v**2 + 59 + 60 - v - 4*v**2. Is n(0) a composite number?
True
Let g(s) = s**3 + 3*s**2 - 4*s + 4. Let x be g(-4). Is (1134/x + -4)*2 a prime number?
False
Suppose 10*b - 5*b = 955. Is b a composite number?
False
Is 2/((-4)/(-6)) - -76 a composite number?
False
Let k be (-2)/(-5) + 284/(-10). Let u = 95 + k. Is u prime?
True
Suppose 0 = 4*l - 5*l - 267. Let q = l + 382. Is q composite?
True
Suppose 51 = -2*h - 7. Let l = 5 - h. Is l composite?
True
Let w(s) = 774*s - 5. Is w(2) composite?
False
Let v(x) = -x*