?
True
Let w(u) = 16*u + 15. Let y(g) = 3*g + 3. Let b(c) = 2*w(c) - 11*y(c). Let f be b(-6). Is 153 + -4 + f + -3 prime?
True
Let g be ((-10)/(-8))/((-5)/(-60)). Suppose -5*f - 5*o = -g, -4*f + 5*o - 4*o = -22. Suppose 455 = f*m - 3*w, 28 = -m + 5*w + 119. Is m a prime number?
False
Suppose y = -k + 223 - 10, y - 3*k - 193 = 0. Suppose 12*g - 8*g - y = 0. Is 3 + -3 + g + 1 composite?
False
Suppose 0*h + 5*f + 10131 = 4*h, -3*f + 15 = 0. Is h a composite number?
False
Let v be (1/2)/(2/(-48)). Let w = v - -14. Is 47/4*(10 + w) a composite number?
True
Let k(o) = -8*o**3 + 4*o + 3. Is k(-7) prime?
True
Suppose -5*h = 2*a + 8, -2*h = -3*a + a + 6. Is h*(-3)/(-18)*-3093*1 a prime number?
True
Let c(a) = 2*a**2 + 2*a. Let n be c(2). Let m = 181 - 177. Is (m/n)/(1/111) a composite number?
False
Let n = 10 - 17. Let j(v) = v**2 + 4*v + 19. Let h(y) = 2*y + 9. Let w(d) = n*h(d) + 3*j(d). Is w(5) a prime number?
True
Let b = 1101 - 525. Let x = b - 269. Is x a prime number?
True
Let r(y) be the third derivative of y**6/120 - y**5/12 + y**4/3 + 5*y**3/6 - 6*y**2. Let k be r(4). Let d = -10 + k. Is d prime?
True
Let r(m) = m**3 - 3*m**2 + 5. Let g(b) = -3*b - 1. Let x be g(-2). Suppose -5*u = -4*h - 19, -x*u = -h - 0*h - 31. Is r(u) composite?
True
Let d(x) be the first derivative of -8*x**2 - 9*x - 4. Is d(-8) composite?
True
Let m = -1323 + 20872. Is m a composite number?
True
Suppose -370198 = -48*w + 188186. Is w a composite number?
False
Let c(o) be the third derivative of 107*o**5/15 + o**4/4 + o**3/2 + 21*o**2. Is c(-2) prime?
False
Suppose 6*v - 8*v = -3*k + 4195, 0 = k - 3*v - 1403. Is k a composite number?
True
Let b = -3653 - -5921. Let p = b - 1409. Is p prime?
True
Suppose 314*n = 313*n + 1135. Is n prime?
False
Suppose 0*u + 8 = 2*u. Suppose -5*o - u = -3*o, 2*j = 3*o + 22. Is -14*(2 + (-332)/j) prime?
False
Let m(g) be the second derivative of 316*g**3/3 - 9*g**2/2 - 9*g. Is m(1) a prime number?
False
Let j(d) = -d**2 + 19*d + 1. Let f be j(19). Let h(a) = 132*a + 1. Is h(f) a composite number?
True
Suppose -13*z + 9501 = -8*z - 4*v, -5*z = 3*v - 9508. Is z a composite number?
False
Suppose 4*c + 133 = -3*c. Let z(d) = 12*d**2 - 45*d + 14. Is z(c) a composite number?
True
Let a be (-5 + -1)*(-427)/14*1. Suppose 2*r - a = -3*v + 2087, -3*r + 2*v + 3431 = 0. Is r a prime number?
False
Let b(u) = 3*u**3 + 2*u**2 + 1 + 0*u**2 - 3 + 0*u**2. Let t be b(3). Suppose -5*j - t = -362. Is j prime?
True
Suppose 0 = l - 1 - 3. Is 4*(-265)/(-10)*2/l composite?
False
Is -1 - -1 - (-5)/((-25)/(-18965)) prime?
True
Let b = 663 + 1310. Is b prime?
True
Suppose 4*t = 8 + 8. Suppose -x + 527 = -2*p, 4*p + 324 + 712 = -t*x. Let c = p - -581. Is c composite?
True
Let v(c) = -2*c**2 + 3*c - 2. Let l be v(3). Let i = l + 17. Suppose i*g = 2*g + 436. Is g a composite number?
False
Suppose 27*w = 24*w. Let a(o) = o**2 + 3*o + 145. Is a(w) a composite number?
True
Suppose 2*h = -2*h + 36. Let x be (-479 + 2)*(-6)/h. Suppose 2*c - 7*c = -4*z + x, -225 = -3*z - 3*c. Is z a prime number?
False
Suppose 3*h + 9624 = 3*q - 0*h, -5*h = -4*q + 12837. Is q composite?
False
Suppose 0 + 0 = -19*q. Suppose -10*c + 47916 + 6434 = q. Is c a prime number?
False
Suppose v + 68 = 3*s, -s + v - 86 = -5*s. Suppose -j = 4*k + 5, 4*j + 3*k - s = 8*k. Suppose j*p - 1038 = -177. Is p a prime number?
False
Suppose 3*z + 32 - 38 = 0. Is (4/(-6))/(z/(-237)) a prime number?
True
Let o(a) = 62*a**2 + 228*a**2 + 486*a**2 + 341*a**2. Is o(1) composite?
False
Suppose -5*l - 5*k + 5 = -0*l, 5*l - 3*k = -3. Suppose l = 2*h - 3*w - 973, 2*w = 7*h - 2*h - 2405. Is h prime?
True
Suppose -p = 5*j - 5240, 17*j = 21*j - 4*p - 4216. Is j a prime number?
True
Suppose 7 = a + 5. Is (5052/8 + -2)*a a composite number?
False
Let j = -2201 - -12784. Is j prime?
False
Suppose -8 = 4*i - 2*p, -3*i + 7 + 9 = 4*p. Suppose -3*j - s + 7 = i, s - 1 = -2*j + 4. Suppose 63 = j*n + n. Is n composite?
True
Let n(p) be the first derivative of 473*p**2/2 + 4*p - 23. Is n(3) a prime number?
True
Let x(p) = -33*p - 12. Let s be x(-5). Suppose -5*o - 139 = z + s, -5*z - 1550 = -5*o. Let n = z - -434. Is n composite?
False
Let t(y) = -y**3 - 7*y**2 + 15*y + 3. Let g be t(-10). Suppose -2*v + 104 = 2*h, -3*v + h - 3*h + g = 0. Suppose 0 = u - 162 - v. Is u a prime number?
True
Let m be 36*(25 + (-1 - 1)). Suppose -365 = n + m. Let j = n + 2436. Is j a composite number?
True
Suppose -329 = 5*o + 1601. Let n = -33 - o. Is n composite?
False
Let o(q) = -q**3 - 2*q**2 - 4*q - 15. Let d be o(-3). Is ((-13828)/d)/((-6)/9) a composite number?
False
Suppose -v = 31 - 19. Let h = 315 + v. Is h a prime number?
False
Let l be -2 - 2*6/(-2). Suppose -2*q = -3*q + l. Is 872/q + (-6)/2 composite?
True
Suppose -q - 5*r + 10080 = -13879, r = -q + 23967. Is q prime?
False
Is -1*(4 + -5)*3113 a composite number?
True
Let v(p) = 67*p**2 - 9*p - 11. Suppose 3*r = -i + 2 + 2, 0 = 2*i - 5*r + 25. Is v(i) prime?
True
Suppose -3*y - 78 = -4*a, 0*y = a - 3*y - 24. Suppose a*l - 1639 = 7*l. Is l prime?
True
Is (282/9)/((40/132)/5) a composite number?
True
Suppose 5*g - 33 = -13. Suppose 0*x - 6 = -5*h - x, -3*h - 6 = 3*x. Suppose -2*v + 469 + 7 = h*s, 2*v + 922 = g*s. Is s a composite number?
False
Let m(b) = -b**2 + 16*b + 23. Let o(h) = 16*h**3 + 2*h**2 - 2*h + 1. Let d be o(1). Let s be m(d). Is (4/s)/((-36)/(-31698)) prime?
True
Let l(k) = -k**3 - 8*k**2 - 5*k - 10. Let i be l(-8). Let j = -115 - i. Is j*(-1)/(1 - 0) prime?
False
Let g = -100 - -364. Let s = g - 13. Is s prime?
True
Let j be ((-116)/(-10))/((-3)/(-285)). Suppose -2*q + 2184 = 2*a, 4*a + j = 5*a + 3*q. Is a a prime number?
True
Let a(w) = -17*w**3 + 5*w**2 + 3*w + 6. Let j = 49 - 52. Is a(j) composite?
True
Suppose 550 + 382 = 4*u. Suppose j - 3*z + 2*z - 238 = 0, -4*z = j - u. Let a = -151 + j. Is a composite?
True
Suppose 3*c = -2*x + 89, 5*x - 4*c = 3*x + 54. Let z be ((-9)/6)/(2/8). Let y = x + z. Is y composite?
False
Let t = -10 - -18. Is 2 - 1 - t*-23 a prime number?
False
Let n(a) = a**2 - 2*a + 4. Let d be n(3). Let v(k) = 0 + 3 + k - d*k. Is v(-5) a prime number?
False
Let x be 5*(-3 - -4)*1. Suppose 4*w = -5*n + 9309, x*w = 2*n + 2*w - 3742. Is n composite?
True
Suppose -15*b = -16*b + 2. Suppose -2*m + 4*m - b = 0, 3*m = -2*a + 1841. Is a a composite number?
False
Let q(g) = -11*g + 1. Let p be q(-1). Is 7 - (p + -6) - (-72 + -1) prime?
False
Let b(p) = -14*p**3 + 12*p**2 + 65*p - 43. Is b(-16) a prime number?
True
Let x(g) = -2*g**2 + g + 27. Let v be x(0). Let q be (-18)/5*(-90)/12. Is 1005/q + (-6)/v composite?
False
Suppose 5*v - 6751 = -4*r - 1368, -2*v = r - 2155. Is v a composite number?
True
Let s(l) = -52*l**3 - 2*l**2 + 2*l - 1. Let h(f) = f**2 - 5*f - 3. Let d be h(0). Is s(d) a prime number?
False
Suppose -11*g + 7*g = -2780. Suppose 2*l - 1454 = -5*f + 1961, -f + g = -2*l. Is f a composite number?
True
Suppose -127157 = -22*q - 43975. Is q prime?
False
Suppose n - 26591 = -4*n - 3*f, 10646 = 2*n - 2*f. Let h = 8109 - n. Is h composite?
False
Suppose 4*o = 6*d - 2*d - 8, -2*o + 14 = 4*d. Is 0/d + 119 + 0 a composite number?
True
Suppose -8*l - 5085 = -21757. Suppose 0*k - l = -4*k. Is k prime?
True
Suppose -4*k - 2*r + 58354 = 0, -5*k + 72272 + 688 = -r. Is k a prime number?
True
Suppose 99*x - 4054907 = 32*x. Is x composite?
False
Let w = -41 - -46. Suppose 2*f + w*z - 509 = 0, 1042 = 4*f - z + 3*z. Is f a prime number?
False
Suppose -x = 4*h - 1387, 3*h - 4*h = 3*x - 344. Suppose 2*q + 3*q = 0. Suppose -h = -q*b - b. Is b prime?
True
Is 18/(-6) - -12795 - -2 - 3 composite?
False
Let z = -8626 - -23639. Is z a composite number?
False
Suppose -2*y - 27 = 2*y - h, -4*y = -4*h + 12. Is 1*-6*164/y composite?
True
Suppose 0 = -g - 6*p + 5*p + 8779, 26337 = 3*g - 2*p. Is g prime?
True
Suppose -3*i + 3813 = -261. Let d = i + -625. Is d a composite number?
False
Is (-1 - (1 + 0))*(-17240)/16 a composite number?
True
Let f = -1808 + 5125. Is f prime?
False
Let i(k) = 588*k**3 + 5*k**2 - k - 5. Let v(s) = -s**2 + 1. Let m(h) = i(h) + 5*v(h). Is m(1) composite?
False
Is ((-727)/3)/(5*4/(-660)) a prime number?
False
Suppose 2*c + 1881 = 2*t + 12799, -5447 = -c + 4*t. Suppose -4*g + 3*f = -3219, -5*g - 3*f + c - 1419 = 0. Is g prime?
False
Suppose -24*y = -36*y + 58