composite number?
False
Let f(u) = 4*u**2 - 4*u + 16. Let y be f(-14). Suppose 7*p - y = 159. Is p prime?
False
Let d(i) = -i - 4. Let v be d(4). Let g be ((-306)/(-4))/((-2)/v). Suppose 2*u + 52 = g. Is u a composite number?
False
Let j = -593 + 1405. Suppose -3*v + 4*b - 12 = 0, 4*b - 3 - 9 = 4*v. Suppose j = 4*f - v*f. Is f prime?
False
Let r = -8 - -8. Suppose r = -7*i - i + 1240. Is i composite?
True
Suppose -3*y - 53 = -4*r, -4*r + 8 = -4*y - 44. Suppose -1757 = 7*u - r*u. Is u a composite number?
False
Let r = 6059 + 18884. Is r composite?
False
Let x be (-2)/((-4)/(-1450)*1). Let y = x + 1098. Is y a prime number?
True
Suppose -4*r + 19*r = 75. Is -2*(r + -7 - 1058/4) a prime number?
False
Let g(k) = 768*k - 29. Is g(4) prime?
False
Suppose 16 = -0*q + 2*q. Is (6/q*313)/(12/32) a composite number?
True
Let r be (1/(-2))/((-17)/68). Is 47022/54 - r/(-9) composite?
True
Suppose -m = 630 - 8017. Is m a prime number?
False
Let l = -1203 + 2212. Is l a prime number?
True
Suppose -d + 6 = 2*a, d = -a - 3*a - 4. Let t = d + -14. Suppose 0 = 2*s + 4*n - 84, n = t*s - 3*n - 68. Is s composite?
True
Let f = 36 + -30. Suppose -f*a + 222 = -648. Is a a composite number?
True
Let s(w) = -2*w**3 - w + 5. Let r be s(0). Suppose -r*a = -2*y - 16, 3*y - 22 = a - 5*a. Suppose 3*f = -3*b + 8*b + 684, f = y*b + 229. Is f a composite number?
False
Let j(h) = -8*h - 3. Let t be j(-1). Suppose 4*z - 6*k = -k + 5496, -t*z + 6825 = 5*k. Is z composite?
True
Suppose -2*t - 599 = -1553. Let z = t + 316. Is z a prime number?
False
Suppose -5*r - 5*l + 5500 = 0, -r + 792 = -2*l - 317. Is r a prime number?
True
Let a(r) be the second derivative of 16*r**4/3 - r**3/2 + r**2 - r. Let l be a(-3). Is l*1*(0 + 1) a prime number?
True
Let q(f) = -2 + 66*f - 40*f + 65*f. Let t(h) = 92*h - 3. Let j(p) = 7*q(p) - 6*t(p). Is j(3) prime?
False
Let a(s) = 172*s**3 + s**2 + 4*s + 2. Let d be a(-1). Let h = -14 - d. Is h prime?
False
Let k(c) = -c**3 - 5*c**2 - 7*c - 10. Let z be k(-4). Let g(s) = 3*s + 21*s**2 - 12*s**2 + z*s + 3 + 0*s. Is g(-5) prime?
False
Suppose 12*k + 432 = 16*k. Suppose -5*s + 275 = 5*f, -2*s - 5*f + k = -4*f. Is s composite?
False
Let f be (-3)/(20/16 - 2). Let v be (f - 16/3)*-3. Suppose 2*y - 4*z = 134, 6*y + v*z = 2*y + 328. Is y a composite number?
True
Is (-4)/(-2)*15/(-30)*-44761 a composite number?
True
Suppose -3*d + 5*y = -5104, 0*y - y = -4. Let n = d + -1157. Is n a composite number?
True
Let k(t) be the third derivative of t**5/15 + t**4/12 - 2*t**3/3 - t**2. Let l be k(5). Suppose -2*u + l = -0*u. Is u a prime number?
True
Let t be 2/4 + 2955/(-6). Let o = -302 - t. Suppose -2*k = 5*g - 989, -o = -g - k - 2*k. Is g a prime number?
True
Suppose 44*v = 42*v + 28678. Is v a prime number?
False
Let g = 3 + -5. Is (929/g)/(5/(-10)) a prime number?
True
Let o(g) = 2*g + 192. Let n be o(-45). Let v(h) = 6*h + 5. Let r be v(-4). Let i = n + r. Is i prime?
True
Let f(a) = 922*a**2 - 3*a + 54. Is f(5) a composite number?
True
Let o = 11157 + -6359. Is o composite?
True
Suppose 9 = 2*i - 1. Suppose -i = -5*n, -2*h + 3*h = -4*n + 173. Let w = h + -42. Is w a prime number?
True
Let f(o) = 2*o + 8*o - 14 + 21*o. Let s = -8 + 19. Is f(s) a composite number?
True
Suppose -y = -71 + 782. Let m = y - -1562. Is m composite?
True
Let l = -9 - -9. Suppose l = c - 1006 + 249. Is c prime?
True
Suppose -a + 2*b = -291, 5*a - 5*b = 7*a - 582. Is a prime?
False
Let y be (-2982)/90 + (-4)/(-30). Let a = y - -38. Suppose -p - 5*s = -59, -3*s - 383 = -a*p - 6*s. Is p prime?
True
Is (0 + 106)*(-222)/(-12) a prime number?
False
Suppose 8775 = 5*p + 5*w, 2318 = p - 5*w + 557. Let j = -1123 + p. Is j prime?
False
Let z = -120 + 112. Suppose -23 = 3*u + n - 2*n, -2*u - 4*n = 34. Is z/36 - 560/u composite?
True
Let n(u) = 11*u**2 - 8*u + 3. Let g be n(-7). Let r = -335 + g. Is r a prime number?
True
Let g = 428 - -421. Suppose 6*i - 93 = g. Is i composite?
False
Suppose -104*z + 105*z - 16855 = 0. Is z a prime number?
False
Is (-4 - -5 - 0) + 5268/3 composite?
True
Let g(u) = 5*u + u**3 + u**2 + 3*u**2 + 5 + 2*u**2 - 4*u. Is g(6) composite?
False
Let r = 13 + 9. Suppose -2 = r*v - 23*v. Suppose 908 = 4*z + 4*a, -154 = -z + v*a + 61. Is z a composite number?
False
Suppose 2*z - 3*a = 379, 3*a - 263 = -3*z + 283. Suppose -4*t = t - z. Is t a composite number?
False
Let h = 36 - 34. Let n(u) = 55*u**2 - 7*u + 5. Is n(h) a composite number?
False
Suppose 4*t - 80 = 1056. Let g be -4 - (151 + 0 + 2). Let c = t + g. Is c composite?
False
Suppose 3*n = -3*h + 12, n = -4*n + 5*h + 30. Is (-15)/75 + 66/n composite?
False
Let v = 6017 - -11450. Is v a prime number?
True
Suppose 0*t - 84 = -3*t. Suppose -27*g - 889 = -t*g. Is g a prime number?
False
Suppose -16*m + 37581 = -952259. Is m a composite number?
True
Let w(d) be the third derivative of -9*d**8/2240 + d**6/360 - d**5/120 + d**4/4 - 2*d**2. Let t(h) be the second derivative of w(h). Is t(-2) prime?
True
Let v(u) be the first derivative of 22*u**2 + 30*u - 53. Is v(17) a prime number?
False
Let z(g) = 3*g**2 - 40*g - 18. Let r be z(14). Suppose r*y - 3796 = 6*y. Is y composite?
True
Let f = 10 + -9. Let i be 1*4/(-1) + 8/2. Is -4 - -51 - i - f composite?
True
Let f = -4 + 11. Suppose -1532 = -f*p + 3*p. Is p composite?
False
Suppose 51*o - 47*o - 48052 = 0. Is o prime?
False
Suppose 6*z - 5*z - 20 = 0. Suppose 2*q - 6*q - z = 0. Is 15/q + 1*90 prime?
False
Suppose v = 3, 5*v + 382 = 3*c - 2. Suppose -132*k + c*k = 563. Is k a prime number?
True
Suppose -14485 = -16*j + 11*j. Is j composite?
False
Let c(n) be the second derivative of 59*n**3/6 - 2*n**2 - 8*n. Is c(5) a prime number?
False
Suppose 170*q - 176465 = 165*q. Is q composite?
True
Let t = -2 - 5. Let i(m) = -2*m**3 - 9*m**2 - 10*m - 16. Is i(t) prime?
False
Let f(t) = -9*t**2 + 0*t + 6*t + 9 - 9*t**3 - 20*t**3 + 40*t**3. Let i be f(7). Suppose -4*x + 6769 = -h - 2*h, 2*x - i = 3*h. Is x composite?
False
Is (4/(1 - 5))/((-2)/41342) a prime number?
False
Let t(u) = -u - 11. Let r be t(-10). Let f(p) = 718*p**2 + p + 1. Is f(r) a prime number?
False
Suppose 2 = 4*y - 6. Let u be (2/3)/(y/381). Suppose -8*s - u = -9*s. Is s a composite number?
False
Let k be -3 + -1 + (-6)/6. Let t(c) = 9*c**2 + 7*c + 4. Let i(g) = g. Let q(y) = -3*i(y) + t(y). Is q(k) prime?
False
Let y = 367 + 4494. Is y a composite number?
False
Suppose -11*x + 16*x + 1140 = 0. Is ((-1)/2)/(2/x) a prime number?
False
Let j(r) be the first derivative of 7*r**2 - 23*r - 329. Suppose 4*t + 4*q - 32 = 0, -q + 20 + 14 = 3*t. Is j(t) a composite number?
True
Is (8654/(-4))/(10/4 + -3) composite?
False
Suppose -4*m + 107523 = -p, -25*m - 5*p - 26857 = -26*m. Is m a prime number?
False
Is ((-7819)/(-1) - 4) + 12/3 composite?
True
Let w(j) = 262*j**2 + 18*j - 119. Is w(5) a composite number?
False
Suppose 0 = -j - 2*o - 10, 0 = 2*j + j + o + 20. Let y(a) = -a. Let k be y(j). Suppose 3*r - 15 = k. Is r prime?
True
Let r be (-2)/3 + 304/(-57). Let c be (-108)/(-8) - r/(-4). Is ((-16)/c + 1)*-669 composite?
False
Suppose -744*p + 730*p + 49154 = 0. Is p prime?
True
Suppose -4*f = f + 5*m - 105, f - 29 = -3*m. Suppose -5 + f = -4*p. Is -1*p/((-3)/(-13)) a prime number?
True
Let y(u) be the second derivative of -329*u**3/6 + 6*u. Suppose -z = z + 2. Is y(z) composite?
True
Let v = -56 - 362. Let s = 1067 + v. Is s a composite number?
True
Let i(b) = 158*b + 1. Let v(r) = -2*r**3 + 17*r**2 - 9*r + 10. Let x be v(8). Is i(x) composite?
False
Let r(i) = 0*i**2 - 4*i + 24*i**2 + i - 1 + 2*i. Let s be r(-1). Suppose -2*o + s = -142. Is o composite?
False
Let n = 659 + -162. Is n a prime number?
False
Let v(y) be the second derivative of -9*y**5/5 + y**4/12 + 3*y**2/2 - 14*y. Is v(-2) a composite number?
True
Let z be 3/(-7) + (-75)/21. Let g be (-18 - -3)*z/(-6). Is (2*111)/(-8 - g) composite?
True
Let z(r) be the third derivative of 7*r**6/360 + r**5/24 - 13*r**4/24 - 3*r**3/2 + 8*r**2. Let x(y) be the first derivative of z(y). Is x(5) prime?
False
Let p be (-3)/(-12) + 126/(-24). Is -83*(p - (-4 + 0)) composite?
False
Suppose 2*l - 21243 - 17431 = 4*g, 3*l + 5*g = 58066. Is l composite?
True
Suppose -q = -0*q - 5. Suppose -a = -0*a - 5, a = -q*d + 5910. Is d composite?
False
Is (-10495)/(-55) - (-14)/77 a composite 