 20 = 5*p + 4*n - x*n. Suppose p = 4*t + 4*r + 20 - 208, 0 = -4*r - 16. Is t prime?
False
Suppose -c = -5*c + 8. Suppose 6*q + 396 = c*q. Is 1 - (-4)/((-12)/q) a composite number?
True
Suppose -9*o + 1259 = -2674. Is o a prime number?
False
Suppose -p - 2*p = 3*d - 12, 2*d - 12 = -4*p. Suppose 2*j + p*l - 238 = l, -4*j + l = -476. Is j composite?
True
Suppose 0 = 2*b - 7*b - 4*k - 7, -5*b - 4 = 3*k. Let d be (0/(1/b))/(-1). Suppose 2*t + 2*u = 90, d = -3*t - 4*u - 61 + 194. Is t prime?
True
Suppose 5*v + 0 = -y + 28, 3*y + 3*v - 120 = 0. Suppose 109 + y = 4*s. Is s a composite number?
True
Let w(q) = -q**3 - 19*q**2 - 18*q - 35. Is w(-19) a composite number?
False
Let y be (-6)/(-9) - (-185)/(-3). Let n = -26 - y. Is n a composite number?
True
Suppose -2*b + 6*b = 3*y + 891, 4*b + y = 887. Suppose -5*i + b = -103. Is i a composite number?
True
Let j(x) = -2*x + 1. Let k be (6/9)/((-4)/(-18)). Suppose -3 = 2*v + 5*t, 0 = 3*v - k*t + t + 33. Is j(v) composite?
False
Let l be 32/20 - (-4)/10. Suppose l*m + 136 = 458. Is m a composite number?
True
Let m(l) = -35*l**3 + l**2 + 2*l + 1. Suppose 5*c - 4*v = 8, 0 = c - 2*c - 3*v - 6. Suppose c*t = 3*t + 3. Is m(t) a composite number?
True
Let k(i) = 26*i**3 + 9*i + 20. Let b = -25 - -14. Let x(j) = 5*j**3 + 2*j + 4. Let n(l) = b*x(l) + 2*k(l). Is n(-3) prime?
True
Suppose -p = 5*i - 125, 0*p = -3*p - i + 375. Suppose p = 3*a - 2*h, 4*a + 7*h - 136 = 2*h. Let o = a - 20. Is o a prime number?
True
Let v(c) = -c**3 - 12*c**2 - 11*c + 1. Let s be v(-11). Is s + (64 - 0) + 2 prime?
True
Let g be -52*((-2)/1 - -3). Let r = g - -85. Is r a composite number?
True
Let m(i) = -2*i**3 - 11*i**2 - 5*i - 8. Let q(y) = y**3 + 6*y**2 + 3*y + 4. Let h(s) = 4*m(s) + 7*q(s). Let t be h(-3). Is 2/(t/30*3) prime?
False
Let h be (-6 - -3 - 1)*-1. Suppose 10 = h*b - 10. Suppose -b*g + 106 = -3*g. Is g a composite number?
False
Suppose 4*r + 11 - 111 = 0. Is r + (-2 - (-6 - -3)) a composite number?
True
Suppose 2*i + 5*c - 335 = 937, 1895 = 3*i + c. Is i composite?
False
Suppose 2*k - 388 = -k - q, k - 5*q = 140. Let g = 607 + -328. Let y = g - k. Is y a prime number?
True
Let w(c) = 2*c**2 - c - 2. Let d(x) = -x**2 + x - 2. Let j be d(2). Is w(j) a prime number?
False
Let w(d) = -d**3 + 6*d**2 + 9*d. Is w(7) a prime number?
False
Suppose 4*k = -52 - 4. Let h = 18 - k. Let c = h + -17. Is c composite?
True
Suppose -5032 = -4*y + 3*k, 2*k = -y + 24 + 1245. Is y prime?
False
Let h(c) = -c**3 - 16*c - 4*c**2 - 7 + 11*c**2 + 15*c. Is h(6) prime?
True
Let a = 2309 + -724. Is a a prime number?
False
Let y(x) = 6*x**2 + 4*x - 13. Is y(11) prime?
True
Suppose 0 = s + 2, 3*s + 1 + 10 = 5*x. Is 166*x - 0/(-4) prime?
False
Suppose -5*j - 96 = -j - 4*r, 4*r = -20. Let z = -18 - j. Let y = z - 7. Is y a prime number?
False
Let g(v) = -v**3 + 4*v**2 + 4*v + 1. Let s be g(5). Let n = 12 + s. Let z = n + -6. Is z a composite number?
False
Let p(h) = h**3 + 8*h**2 + 3*h - 8. Let t be p(-6). Suppose 2*l = 2*b + 104, -4*l + 2*l = b - 101. Let i = t + l. Is i a composite number?
False
Let m(a) = 4*a**3 + a**2 - 4*a + 5. Is m(2) a prime number?
False
Let n = 2632 - 1517. Is n composite?
True
Let p(d) = 22*d**2 - 5*d + 10. Is p(9) composite?
False
Let q(b) = -b + 1. Let d be q(-1). Let z = d + -1. Suppose 0 = -c + 26 - z. Is c composite?
True
Let b(d) = 13*d**2 - 2*d + 8. Let v be b(6). Let a = -262 + v. Is a prime?
False
Let j(f) = -35*f - 2. Let k be j(-2). Let c = k - -76. Suppose -5*p = -c + 29. Is p composite?
False
Is 2324 + -1 - (-2 + 8) prime?
False
Suppose 2*n = x - 7, 3 = -2*x - 7. Let i be -6 - n - (0 + 0). Is (6 - 4) + (i - -153) a prime number?
False
Let l(j) = 2*j**3 + 4*j**2 + 2*j - 2. Let m be l(-2). Let x be m + -1 + 3 + -2. Is (x/(-3))/2 + 148 prime?
True
Is -3 + 0 + (2103 - (-4 + 5)) prime?
True
Suppose -2*w - 688 = -5*n - 3652, 0 = -w + 4*n + 1485. Is w a composite number?
True
Suppose 4*j + c - 23 = 0, 4*j - c - 26 = j. Is j composite?
False
Suppose 5*l = x + 259, -3*x + 2*x = -1. Suppose p - 3*p + l = 0. Let q = 41 + p. Is q prime?
True
Let u be ((-30)/(-4))/(2/20). Let f = u + -40. Let c = f - -42. Is c a prime number?
False
Let o = 19 - 13. Suppose 5*n = 3*n + o. Suppose 38 = n*c - 2*p, -3*c + 4*p + 6 = -2*c. Is c prime?
False
Let a = -17 + 10. Let g(w) = 4*w**2 + 9*w. Is g(a) a prime number?
False
Suppose 2*k = k + 2. Suppose 5*w = -0*w - 15, 0 = -k*u - 5*w - 9. Suppose u*r - q = 17, -22 = -0*r - 2*r - 2*q. Is r a prime number?
True
Let g(d) = 56*d**3 - 2 + 2 - 2*d + 3 - 2 + 2*d**2. Let f be g(1). Suppose -f = -0*c - 3*c. Is c a prime number?
True
Suppose 563 = 3*m + 8. Is m a composite number?
True
Is (-3633)/(-14)*6/(-27)*-21 a prime number?
False
Let g = -363 + 934. Is g prime?
True
Let x(a) = 30*a**2 - 3*a - 3. Let n be x(3). Suppose t = -t + 5*h - 158, -3*t - n = 3*h. Let s = t - -130. Is s a composite number?
True
Let g be (-12)/4 - (5 - -2). Let r be (-2)/(-5) - (-4)/g. Suppose 0 = -2*a - r*a + 18. Is a composite?
True
Let l = -7 + 5. Let o be ((-1)/l*0)/2. Suppose -2*f + 5*i = -32, -3*i = -o*f + f - 27. Is f prime?
False
Suppose -9*d = -4*d - 2335. Is d composite?
False
Let i(a) = -a**3 + 6*a**2 - 3*a - 1. Suppose 0*v + 4*v = 20. Let g be i(v). Suppose -4*f + g = -35. Is f a composite number?
False
Let x be (-1)/3 - 138/(-9). Is (-2)/(-3)*x/5 a composite number?
False
Suppose 5*x = 4*c - 3571, 4*c + c = 4*x + 2864. Is x/(-9) - 0/1 a composite number?
False
Suppose 3*j + 5*p = 60, -j + 5*p + 31 = 3*p. Suppose j = 4*r - 187. Is r a composite number?
False
Let r be 4/(-18) + (-1956)/(-54). Let k = r - 2. Is k composite?
True
Let g(k) = 5*k**2 + 4*k + 2. Let u be g(-6). Let x = 245 - u. Is x a composite number?
True
Suppose 0 = 3*k + 5*k - 2072. Is k composite?
True
Is (-3030)/(-34) + (-8)/68 a prime number?
True
Is 293 + 1 + (-4 - -3) prime?
True
Let j = 380 - 269. Is j composite?
True
Let s be (-5 + 2 + 7)/2. Is (29/(-4))/(s/(-16)) a prime number?
False
Let z = 33 + 60. Is z composite?
True
Suppose -2*c + c + 496 = 0. Suppose 2*o + 4*p + c = 6*o, -3*o - p = -384. Is o prime?
True
Suppose -3*a + 13 = -2. Let p(i) be the first derivative of 14*i**2 - 7*i + 5. Is p(a) prime?
False
Suppose -2*y + 679 + 152 = b, -4*b + 3294 = 2*y. Is b a composite number?
False
Let g = 17867 - 12108. Is g a composite number?
True
Let j = 4 - -79. Suppose 4*n + 7 = j. Is n composite?
False
Suppose 0 = -5*y + 317 + 3028. Is y composite?
True
Let o = 90 + -129. Let a = o + 150. Is a composite?
True
Suppose -d - 5*g = 252, 3*d + 2*g = -0*g - 704. Let n = 745 - 418. Let z = n + d. Is z a prime number?
False
Let a = 75 - 50. Let x be 65/a + (-2)/(-5). Suppose -x*o - 3*f - 838 = -7*o, 430 = 2*o + 4*f. Is o composite?
False
Let i(f) be the first derivative of -f**4/4 - 5*f**3/3 - f**2 - 7*f + 3. Is i(-8) a composite number?
True
Let r be ((-8)/(-10))/((-4)/910). Suppose 0 = -5*h + 27 - 462. Let y = h - r. Is y composite?
True
Suppose -17*i = -22*i + 16945. Is i prime?
True
Suppose 2*b + 8 = 3*r, -3*r - 2 = -2*r - 3*b. Suppose 4 = 2*p - r. Suppose -p*f = f - 335. Is f a prime number?
True
Is (-39)/(-65) - 1882/(-5) a prime number?
False
Suppose 4*r = -3*b + 53, 0*b = -3*b + 4*r + 85. Is b a prime number?
True
Suppose 3*d + 6846 = 9*d. Is d a prime number?
False
Let g be 172/5*5/2. Suppose -k - k = -3*l + g, 5*k - 84 = -4*l. Is l a composite number?
True
Let q be -1*(-6)/2 - 2. Let i be (40/(-16))/(q/(-154)). Suppose -3*c = 2*c - i. Is c composite?
True
Suppose 0 = 2*m - 0 - 190. Is m prime?
False
Let o(y) = -7 + 4 - y - 5. Let w be o(-8). Suppose 0 = -4*p - w*p - 3*r + 44, -3*p = -5*r - 33. Is p prime?
True
Let l(h) = 89*h - 1. Let f be l(2). Suppose -3*g + 0*g + f = 0. Is g a prime number?
True
Suppose x - 5*x + 44 = -4*d, -4*x + 35 = 5*d. Let u = -7 + x. Suppose -u*w + 31 = j, -5*j - 65 = 2*w - 194. Is j a composite number?
True
Let g = -979 - -1407. Suppose 5*x = 4*y - 498, g = 5*y - 5*x - 192. Is y prime?
False
Let r(x) = 3352*x**3 + 2*x**2 - 2*x + 1. Is r(1) prime?
False
Let i be ((-9)/(-6))/((-3)/(-4)). Suppose -112 = -k - z, -z + 43 = i*k - 182. Is k prime?
True
Let f = 13 - -74. Is f a prime number?
False
Let y(p) be the third derivative of 5/6*p**4 + 0*p + 0 - 1/2*p**3 - p**2. Is y(2) a composite number?
False
Suppose 0 = 3*v - g -