
True
Suppose -84*w + 210324 = -72*w. Is w a composite number?
True
Suppose 0 = -4*o - 8, 38 = -3*m + 2*o - 0. Let s be -1*m*(-2)/(-4). Is 9548/s - (-6)/(-2) composite?
False
Suppose c - 239756 = -3*g - 81265, 0 = 3*c - 12. Is g prime?
False
Suppose 4*d - 3*c = 11753, -2*c + 11758 = 2*d + 2*d. Is d a composite number?
False
Let v = 389 - 926. Let i = 697 - -63. Let y = i + v. Is y prime?
True
Suppose 8*g - 9*g + 136 = 0. Let b = -1448 - g. Let d = b - -2225. Is d prime?
True
Let y(x) = 2526*x**2 + 3*x - 67. Is y(6) composite?
False
Let a(p) = 3*p - 9. Let d be (-4)/(-12) - 44/(-12). Let t be a(d). Suppose 0*k + 2*k - 3*z = 7, -t*k + z = -28. Is k a prime number?
True
Let b = 74 + -52. Suppose -57 = -5*w - b. Suppose 0 = -v - 1, 2*m - 3*v = w*m - 587. Is m composite?
True
Let z(d) = -d**3 + 2*d**2 - 2*d + 1. Let m be z(1). Let q(l) = l + 4. Let x be q(m). Suppose -h + 261 = x*n, 0 = 2*n + 2*n - 4. Is h a composite number?
False
Suppose v - 2*r - 5087 = 0, 3*v + 838 = -r + 16127. Is v a composite number?
True
Suppose -m + 6*m - 60 = 0. Suppose -2*h + 41 = 5*y, -h + y + 3*y - m = 0. Is 4052/16 - 2/h a composite number?
True
Let q(m) = m**2 - 2*m + 553. Let d = -22 + 22. Is q(d) a composite number?
True
Let g(i) = -36*i. Let x be g(-12). Suppose 0 = -4*u + 5*d + 431, -2*u = 2*u - 4*d - x. Suppose 4*y - 5*h - 23 = 368, -y = -5*h - u. Is y composite?
True
Let y(t) = -81*t - 21. Let v(c) = 82*c + 21. Let h(i) = 5*v(i) + 6*y(i). Is h(-5) a prime number?
True
Suppose 24 = -0*h + 4*h. Let y(p) = 65*p + 49 + 54 + 49 - 151. Is y(h) a prime number?
False
Suppose 65*h - 3246 = 62*h. Is h a composite number?
True
Suppose 7*m = 9*m - 12. Is (-4)/m*3*(-5878)/4 a composite number?
False
Suppose -5*x + 1443 + 217 = 0. Let f = x + -99. Is f*(3 - (-2 - -4)) a prime number?
True
Let c(a) = -80*a**3 + 10*a**2 + 20*a - 1. Is c(-6) a composite number?
False
Let w = 3514 + -1277. Is w composite?
False
Let l(z) = z**3 - 9*z**2 - 11*z + 11. Suppose -5*u + 33 = -27. Is l(u) a prime number?
True
Let g be -3*(2/6 + 0). Let j be (0/(1 - 2))/g. Suppose -5*t + 544 + 561 = j. Is t a composite number?
True
Let a be ((-828)/(-3))/(5*(-6)/(-135)). Let u = -863 + a. Is u prime?
True
Let u(n) = -n**2 - 4*n + 7. Let k be u(-5). Suppose -2*c - 2*c = 0. Suppose -68 = -k*a - c*a. Is a composite?
True
Suppose 2*l + 738 = 5*l - 3*m, -736 = -3*l + m. Let d = 102 + l. Is d a composite number?
False
Suppose -3*x = -2708 - 8941. Is x a composite number?
True
Let v = -8 - 2. Let j be (2/6)/(v/(-1770)). Let y = j + -10. Is y a composite number?
True
Suppose -4*a + 77432 = 5*g - 65241, -57071 = -2*g - a. Is g prime?
True
Let c be (-5)/20 - (-22)/(-8). Let q be (c - 1) + 1 - 9. Let x = q - -71. Is x a prime number?
True
Suppose -5*q - 33 = 102. Let y(r) = -36*r - 83. Is y(q) a composite number?
True
Let p = 1856 - 1221. Let j = p - 395. Let t = j + -151. Is t prime?
True
Let m(s) = 13*s**2 - 9*s - 15. Is m(10) composite?
True
Is 503 - (5 + 4)*8/12 a prime number?
False
Let y(i) = 23*i**2. Let s be y(-2). Let v = 313 - s. Is v composite?
True
Suppose -12 = -2*m - 3*f - 3, -5*m - 6 = -2*f. Suppose m = 4*h - 407 - 189. Is h composite?
False
Suppose 2*a - 52 = 5*z - 372, -z + 41 = -5*a. Suppose -z*x - 46 = -67*x. Is x a prime number?
False
Suppose -30*s = -35*s + 21350. Let u = -1373 + s. Is u a prime number?
True
Let z be -4 - (-48395)/(-15) - 8/12. Let y = -122 - z. Is y composite?
False
Let w(f) = -2*f**2 - 10*f - 6. Let a be w(-5). Is ((-2)/4)/(a + 1905/318) a prime number?
True
Suppose -9 + 1 = 4*p. Is (-2)/p + (-710)/(-5) prime?
False
Let k = -50 - -34. Let t be -11*1*(-6)/(-3). Let d = k - t. Is d composite?
True
Let m(n) = -28*n**3 - 3*n**2 - n - 1. Let y be m(-2). Let s be 95 - (10 - (11 + -10)). Let g = y - s. Is g prime?
True
Let v(m) = 3*m + 7. Let a be v(-3). Let b be (185 - a - 2)*2. Suppose -5*o = f - 1255, -2*o = -f - 132 - b. Is o a composite number?
False
Let p(q) = -q**2 - 18*q + q + 0*q**2 - q + 7. Is p(-8) composite?
True
Suppose -4*k = -3*d + 103, -2*d = 3*d + k - 141. Suppose n + 3*j = d, 3*n - j - 32 = j. Is ((-76)/(-8) + -4)*n composite?
True
Let q(j) = 2*j**2 - 2*j - 12. Suppose -5*u - 2 = 2*o - 4, o - 27 = 4*u. Let x be q(o). Let z = x + 49. Is z a prime number?
True
Let m(b) = 5*b**2 - b - 1. Let x = 3 + 1. Suppose 3*w = 3*o, -2*w + x*o + 2 = -2. Is m(w) a prime number?
False
Let r = 23 - 19. Suppose 0 = r*g - 3*n + 2*n - 984, -2*g + 5*n = -474. Is g composite?
True
Let a = 26 - 15. Let u(r) = -r**2 + 2*r + 1. Let h be u(3). Let j = h + a. Is j prime?
False
Is (5 - -5498) + (2 - 4) prime?
True
Suppose -4*f - 6*v + 2*v = -36, -29 = -3*f - 5*v. Is 466 - (f/(-2))/4 prime?
True
Suppose -17*p = -57238 - 2109. Is p a composite number?
False
Suppose 4*s + 739 = 3*r, 2*s = 2*r - 204 - 290. Suppose 963 = 2*d - r. Suppose d = y - 25. Is y composite?
False
Suppose -n - 2*n + 15 = 0. Let g(d) be the first derivative of d**4/2 - 4*d**3/3 + 3*d**2/2 - 6*d + 21. Is g(n) a composite number?
True
Let y(b) be the first derivative of 3*b**3 - b**2/2 - 9*b - 3. Suppose 6 = 3*x + 18. Is y(x) a prime number?
True
Let y(j) = -35*j + 1. Let m = -17 - -24. Suppose -m = 3*w + 2. Is y(w) composite?
True
Suppose 3*p + 9*p = 63240. Let m = p - 3339. Is m prime?
True
Suppose -3*a = -a + 3*f - 3677, a - 4*f - 1811 = 0. Is a prime?
True
Let x = 159 + -130. Is (x - 28)*(1941 + -1 + 1) a composite number?
True
Let r(c) = c**2 - c + 9. Suppose 0 = -2*b - 3*b. Let i be r(b). Suppose 4*u - 61 + i = 0. Is u prime?
True
Suppose -2*k - 5*x = -3*x - 16, x + 1 = 0. Let u be 372*(30/k)/5. Suppose 4*s = -12 + u. Is s composite?
False
Let p(j) = -2*j**3 - 4*j**2 + 3*j - 2. Let h be p(3). Let r = 210 - h. Is r prime?
True
Suppose -4*r + 218558 = -38*j + 35*j, j - 2 = 0. Is r a prime number?
False
Let t = -8830 - -14973. Is t a prime number?
True
Let w = 370 - 168. Is w prime?
False
Let h = 21972 + 63809. Is h a prime number?
True
Suppose 5*h = -2*m + 143, -63 = 3*m - 4*h - 266. Suppose 4*y - 5*d - 370 = -99, 0 = -y + d + m. Is y composite?
True
Let s(c) = 5*c + 15. Let x be s(11). Suppose j = -x + 188. Is j prime?
False
Let v(d) = 132*d + 13. Let b be v(8). Let f = b - -462. Is f a composite number?
False
Let c = -15 - -20. Suppose -c*k = -17 - 3. Is 2607/12 + k/(-16) composite?
True
Let k = 81 + -46. Let h be (-24)/(-14) + 10/k. Suppose s - h*q = -2*s + 335, 2*q = -s + 109. Is s prime?
False
Suppose 2*x + 2*c - 12425 = 3237, -5*x = 3*c - 39151. Is x a prime number?
True
Let y = 131 - 149. Is (-8)/6 - 24/y - -115 composite?
True
Let y(h) = 181*h**3 - h**2 + 6*h + 7. Let b be y(-3). Is (2/(-4)*b)/((-6)/(-12)) a prime number?
False
Let g(w) = 21*w**2 + 3*w. Let n be g(3). Let k = -89 + n. Is k composite?
False
Suppose -2*p + 0*p = -1032. Let m be (p/(-10))/((-2)/(-10)). Is -1 + -3 + 3 - m a prime number?
True
Let x(g) = g**3 + 11*g**2 - g + 4. Let m = 1 + -10. Let h be x(m). Suppose 0 = s + 3*k - h, -5*s + 700 = -k - 239. Is s a prime number?
False
Let p = 4126 - 2589. Is p a prime number?
False
Suppose -413 = -5*z + 4*z. Suppose -4*r = -4*w + w - z, -2*w = 4*r - 418. Suppose -r = x - 5*x. Is x composite?
True
Let q = -3 + 3. Suppose -4*r + 6170 + 3398 = q. Suppose -3*z = -2*v + r, 4*z = -0*v - 4*v + 4804. Is v prime?
False
Suppose 4*w = 2*w - 196. Let l = 11 - w. Is l a prime number?
True
Let j be 2 - 3 - 1/(3/(-18)). Is j - 7/((-7)/2906) a composite number?
True
Let i(b) = -35*b**2 + 11*b - 3. Let r be i(6). Let c = r + 2152. Is c a composite number?
True
Suppose -3*v = v - 3*y, -v + 4*y - 13 = 0. Suppose -2 - v = -q. Suppose -381 = -8*p + q*p. Is p composite?
False
Let u be 4/10 - (-5)/(25/(-2)). Suppose 0 = -2*i - m - 0*m + 317, u = -i - 2*m + 151. Is i a prime number?
False
Let d(y) = 2*y - 10. Let r be d(5). Let u(a) = -a**3 - a - 8. Let c be u(r). Is -4*(-2)/4 - c composite?
True
Suppose v = -4*v + 60. Is 8942/v - ((-5)/6 + 1) a prime number?
False
Let n = 3169 - 2053. Suppose 0 = 7*w - 697 - n. Is w prime?
False
Suppose -2*r + 3 = -3*f + 25, f - 4 = -r. Suppose -f*a + 25 = -a. Is 15*(290/6)/a a prime number?
False
Suppose 14*m = 10*m + 8. Suppose -m*r + 5*r = 11055. Suppose -r = -6*z + z. Is z a composite number?
True
Suppose -6*a = -3199 - 9035. Is a a prime number?
True
Let b(j) = 2*j**3 - 2*j**2 + j + 2.