 h, -r - 3*i = 12. Suppose r*g - g + 3 = 0. Is g composite?
False
Suppose 69 = g - 109. Is g composite?
True
Let o be (-3)/9 + (-3)/(-9). Suppose o*l - l + 57 = 4*g, -3*l - 3*g = -126. Is l a prime number?
True
Let c(x) = 0 - 4*x - 4*x - 1. Let z be c(-3). Let p = 100 - z. Is p composite?
True
Let f be 30/25*(-1 - -6). Is 6/(-18) + 356/f composite?
False
Is 614*((-15)/6 - -3) a prime number?
True
Suppose -4*p = -3*p - 15. Is (-1)/5 - (-1278)/p a composite number?
True
Suppose 822 = -w + 4*w. Is w a prime number?
False
Suppose -4*l = -6*l + 1426. Is l a composite number?
True
Is 322/(-4)*-32 - -3 prime?
True
Suppose -3*o + o = 0. Let w(u) = -u**3 - u**2 + 33. Is w(o) prime?
False
Suppose -y = -1 - 1. Let i(c) = 8*c**3 - 3*c**2 + 3*c - 3. Is i(y) prime?
False
Suppose -40*x + 33*x = -4921. Is x a prime number?
False
Suppose 0 = -2*z - 5*o + 28, 2*z - 16 = -3*z + o. Suppose -4*g - 660 = -z*f - 0*g, 4*f + 3*g = 660. Suppose -2*p + 0*q + 160 = 2*q, 2*p = -q + f. Is p prime?
False
Let p(h) = h**3 + 5*h**2 + h - 5. Is p(-4) prime?
True
Let q = -403 + 782. Is q a prime number?
True
Suppose -3*k = 4*o - 18, 0*o - 2*k + 10 = 2*o. Suppose o*f - 44 = -f. Is f composite?
False
Suppose -2*r + 2*g = -4*r + 3890, -5*g + 5839 = 3*r. Is r composite?
True
Let f = 186 + 19. Is f prime?
False
Let u be 1046/(-10)*(-10)/2. Suppose 0 = -7*i + 1860 - u. Is i composite?
False
Let c(f) = f**2 - 2*f - 16. Is c(-7) a composite number?
False
Let v(m) = -2*m + 8. Let d be v(7). Let i(g) = -g**3 - 3*g**2 + 10*g + 7. Is i(d) a prime number?
False
Suppose -5*y + 41 = -0*z + 4*z, 0 = -4*y - z + 24. Suppose -2*x = -4*d + 1040, 1305 = y*d + 3*x - 8*x. Is d prime?
False
Let p(l) = l**2 + 4*l - 3. Let w be p(-7). Suppose 0*b = 3*b - w. Suppose -2*i = -b*d + d + 73, 0 = d - 2*i - 21. Is d a prime number?
True
Suppose -22 + 199 = 3*l. Suppose 0 = -4*j + 209 + l. Is j composite?
False
Let g = -511 - -1097. Is g a prime number?
False
Suppose 3*k = -2*f - 2*f + 3113, -4*f = 4*k - 3112. Is f a prime number?
False
Let d(x) = -2*x**3 - 9*x**2 + 6*x + 8. Is d(-7) composite?
False
Suppose -2*a - 2*a + 644 = 0. Let z = a - -2. Is z a composite number?
False
Let a = 144 - -110. Is a composite?
True
Suppose 4*o + 14 = -y + 3*y, -17 = o - 5*y. Let a = o + -1. Is 2/(-6) + (-292)/a a prime number?
True
Let y = -6126 + 10816. Suppose 5*h - y + 491 = 4*a, -5*h + 4198 = -3*a. Is h a composite number?
False
Let m be (-2 - -3)/1*1. Let t be (3/6)/((-2)/(-4)). Is -13*(m + -7) - t a composite number?
True
Suppose -a = -3*a + 1246. Is a prime?
False
Let q = -215 + 806. Is q composite?
True
Let a(i) = 438*i**3 + i**2 - i. Let c be a(1). Let v = 782 - c. Suppose -4*o + v = -n, 0 = o + 4*o + 3*n - 413. Is o a composite number?
True
Is 6*(2 + 95/3) a prime number?
False
Let m(g) = 27*g + 7. Is m(8) composite?
False
Suppose 5*b - 3683 + 288 = 0. Is b composite?
True
Let l be 365*-1*8/(-20). Suppose -5*x = -3*j + 5*j - 665, -x - 3*j + l = 0. Is x prime?
True
Let v(q) = -q**3 - 3*q**2 + 5*q - 2. Let h be v(-4). Suppose -3*n = -2*n + 4. Is n/h*1524/8 a composite number?
False
Let u(k) = -k**2 - 5*k + 8. Let w be u(-6). Let g be w/6 - 4/3. Is ((-74)/(-2))/(g + 2) prime?
True
Suppose -4*b + 52 = -3*j, -5*j - 2*b - 20 = 32. Let p = j + 0. Let v = -3 - p. Is v a prime number?
False
Let j(v) = v - 7. Let z be j(7). Suppose z = -4*x + 4 - 0. Is x + -3 + (5 - -7) a prime number?
False
Suppose -2*j - 197 = -2*a + j, a + j = 86. Is a prime?
False
Let n(f) = -3*f + 1 + 0 - 4*f. Let x be n(-1). Is 32/12*102/x a composite number?
True
Let r(d) = d**2 + 5*d + 9. Is r(5) composite?
False
Let u = -7 - -19. Let w = 31 - u. Is w prime?
True
Let s = -22 - -28. Suppose -5*z + 3*y + 439 = 0, 451 = 5*z + s*y - 3*y. Is z prime?
True
Let z(j) = j**2 - 6*j + 7. Let m be z(5). Suppose -266 = -4*k + 2*y, -k + 5*y + 210 = m*k. Is k prime?
False
Let l(x) = 4*x**2 - 2*x + 5. Is l(-6) prime?
False
Let t be 51/12 + (-3)/12. Suppose 0*x - 744 = -t*x. Let a = x + -109. Is a composite?
True
Let s(i) = -i**2 - i - 6. Let v be s(0). Let c(y) be the second derivative of y**5/20 + 7*y**4/12 - 2*y**3/3 - 9*y**2/2 - 4*y. Is c(v) prime?
False
Let x = -2 + -10. Is (-8)/x - (-80)/6 prime?
False
Suppose 82 = 3*w - 107. Suppose 0 = -h + 4*j + 21, -w = -5*h - j - 0*j. Is h prime?
True
Suppose 20 = 3*n - 2*g, -g - 5 = -4*n + 15. Suppose 4*l + 2*f = 124, -f - n = -6. Suppose -2*o + 68 = -l. Is o prime?
False
Let l(a) = -46*a + 5. Is l(-5) prime?
False
Suppose s = -x + 447, 5*s = 2*x + 2*x - 1743. Suppose 66 = 4*t - x. Is t a prime number?
True
Is (141/6)/((-2)/(-28)) a composite number?
True
Let v(a) = a**2 - 3*a - 8. Let h be v(0). Let c(d) = -5 + 8*d + d**2 - d**2 + 2*d**2. Is c(h) a prime number?
True
Let o be (-2692)/20 - 4/10. Let d = 516 + o. Is d a prime number?
False
Let q be ((-75)/(-6))/((-3)/(-42)). Let v = -60 + q. Is v prime?
False
Let c(p) = -1 - 3 + 8 + p**2. Let d be (-28)/10 - 1/5. Is c(d) a prime number?
True
Let h(d) = d - 4. Let g be h(4). Let s = g + 33. Is s composite?
True
Let a(x) = -130*x - 1. Let s(l) = -l - 1. Let u be (1*(1 - 2))/(-1). Let n be s(u). Is a(n) a composite number?
True
Let x(a) = a**3 - a**2 - a. Let j be x(0). Let b be -1 + 0 - 15/(-5). Suppose j = -2*f - 10, -60 - 28 = -b*u + 4*f. Is u composite?
True
Let j = -707 - -1055. Suppose 3*d - 139 = 4*y + j, -2*y = -4*d + 646. Is d composite?
True
Let x(j) = -j**3 - 9*j**2 - j - 5. Let v be x(-7). Let t = v - -175. Is t prime?
True
Is (1338/(-18))/((-1)/(3/1)) composite?
False
Suppose -4*o + 39 = -53. Is o a prime number?
True
Let j(g) = g**3 + 17*g**2 + 5*g - 2. Is j(-15) prime?
True
Suppose 5*n = -1593 + 58. Let p = -44 - n. Is p prime?
True
Let d = -218 + 1165. Is d prime?
True
Suppose -3*v = v - 1004. Is v composite?
False
Suppose 150 = 2*v - 4. Is v a prime number?
False
Let j(m) = m**2 + 2*m - 3. Let r be j(2). Suppose -z = r, 2*z + 145 = 5*q - 2*z. Is q composite?
True
Suppose 0 = -f + 161 + 176. Is f prime?
True
Let m(l) = 7*l**2 - 4*l - 14. Is m(15) prime?
False
Suppose 5*i = -5*s + 20, -13 - 9 = -4*i - s. Suppose -21 = -i*v + 3*v. Is v composite?
False
Suppose 5*q - 4*q + 4*b + 15 = 0, q + b = -3. Is 49 - (q/1 + -1) a composite number?
True
Suppose -5*g - 62 = -347. Is g a prime number?
False
Suppose 5*x + 3*f - 4 = 0, 3*x + x + 4*f = 0. Suppose -5*z - 3*q = 120, 1 = z - 4*q + x. Is 354/14 - (-6)/z a composite number?
True
Suppose -2*x - 4*u + 144 = -u, -367 = -5*x - 4*u. Let k = x + -36. Is k prime?
False
Let a = 314 + -15. Is a composite?
True
Let m be (-1)/(-2)*54/9. Suppose m*r = 7 + 2. Is r - (-82 - 6/(-3)) a composite number?
False
Let k(a) = a**2 - a + 499. Is k(0) composite?
False
Is (-110)/75*-1182 + 3/(-5) prime?
True
Suppose 0 = -4*a + 3*k + 201, -249 = -4*a - a + 3*k. Let q = 28 - a. Is (-355)/(-4) - 5/q a composite number?
False
Let t = 9 - 15. Let l(m) = -39*m - 13. Is l(t) a prime number?
False
Let g = 130 + -51. Is g composite?
False
Let m be (678/(-18))/((-1)/12). Is m/(-10)*5/(-2) composite?
False
Suppose -x - 6 = 4*g + 8, 3*x + 20 = -g. Let h be (14 + -2)*2/(-4). Is 2/h + (-68)/x composite?
False
Let p(v) = -v**2 + 6*v - 6. Let g be p(4). Suppose 0 = d - 0*d - g, -5*k = -2*d - 271. Is k a prime number?
False
Let z(b) = -13*b - 11. Suppose 2*a = -3*g - 13, 0*a - a - 9 = 2*g. Let m(s) = -6*s - 5. Let n(l) = g*m(l) + 2*z(l). Is n(3) prime?
False
Let y be 2/(1/1) + 3. Suppose 2*s - 3*m - 102 = -y*m, 0 = 5*s - 2*m - 241. Is s prime?
False
Let a(h) be the third derivative of 0*h + 0 - 5/24*h**4 + 0*h**3 + 1/15*h**5 + 2*h**2. Is a(7) a composite number?
True
Let t(h) = -10*h - 1. Suppose -6*f = -4*f - 10. Let a be t(f). Let p = a + 136. Is p a prime number?
False
Let h(c) = -c**3 + 7*c**2 - 3*c + 4. Suppose -4*g - g = 0. Suppose g = n - 8 + 2. Is h(n) a prime number?
False
Let j(d) = -11*d**2 - 2*d + 6. Let f be j(7). Let x = -274 - f. Suppose -2*w + x = w. Is w a prime number?
False
Suppose -50 = -k - 7. Suppose 4*z - 49 - k = 0. Is z composite?
False
Suppose -4*o = 3 + 1. Let w be ((-12)/3 - 1)*o. Suppose -w*z - 40 = -170. Is z prime?
False
Is (-127 + -2)*-1 + -2 prime?
True
Let h(k) = -k + 3. Is h(0) a composite number?
False
Let q(j) = -1 + j**2 + 4*j - 13*j + 3 + 1. Is q(-7) composite?
True
Suppose 4*x = -q + 79, 280 = 5*q - x - 2*x. Is q a co