6*x - 263. Let f = x + 70. Is f composite?
True
Let v(g) = 64*g - 12. Let j be v(7). Suppose -1727 = -4*q + 3*s, 0*q + 5*s + j = q. Is q composite?
False
Let y = 1 - -3. Suppose 6*h - 254 = y*h. Is h composite?
False
Suppose -15*r = -13*r - 106. Is r a prime number?
True
Suppose -2*u = u + 234. Let f = 211 + u. Is f a prime number?
False
Let a be (-4)/(0 + 2*-1). Let f be 4/(-6)*(-9)/a. Suppose 180 = f*k + 3*c, 2*k + c + 15 = 140. Is k a prime number?
False
Let n(v) = -9*v**3 + v**2 - 2*v + 1. Let j be n(1). Let b(k) be the second derivative of k**4/12 - k**3/6 - 13*k**2/2 + k. Is b(j) a prime number?
False
Suppose -2*g + 1654 + 1140 = 0. Is g prime?
False
Let t = 3645 + -1466. Is t prime?
True
Let j be -6*2*(-1)/2. Let a(w) = 5*w + 7. Is a(j) a prime number?
True
Let o = -127 - -380. Is o a composite number?
True
Let y(o) = -o**2 + 23*o - 14. Is y(11) a prime number?
False
Let v(b) = -b**2 - 6*b + 2. Let u be v(-6). Suppose 10 = -5*x, -u*x = -4*d + 200 + 16. Is d a composite number?
False
Suppose 0 + 3 = 3*g. Is -1*g/(-2)*170 prime?
False
Suppose -5*z = 3*a + 2058, 3*a - z + 3*z + 2067 = 0. Let c = 1278 + a. Is c prime?
True
Let o(z) = z**3 - z + 1. Let q(i) = -i**2 - 5*i + 2. Suppose 11 = 5*j + 31. Let v be q(j). Is o(v) prime?
True
Let g(q) = q - 1. Let b be g(-3). Let s be b/(-18) + (-102)/(-27). Let m(k) = 3*k**3 - 3*k**2 + 5*k + 3. Is m(s) a composite number?
False
Suppose 0 = -q - 4*n + 1099, 2*n = 2*q + 2*q - 4414. Suppose 4*p - q = -339. Is p a composite number?
False
Let l(t) = t + 1 + 1 - 1. Let j be l(3). Is (-6)/j*(3 + -5) composite?
False
Suppose 4*d + 70 = 246. Suppose -8 = -2*h + d. Is h composite?
True
Let x be ((-8)/(-20))/(1/40). Suppose -x - 21 = -s. Is s a composite number?
False
Let y be (-14)/21 - (-1232)/3. Suppose 8*n + 5*r - y = 3*n, 2*r + 417 = 5*n. Is n prime?
True
Let z be (72/(-16))/(3/100). Is (-18)/(-63) - z/14 composite?
False
Suppose -11*d = -0*d - 7733. Is d a prime number?
False
Suppose -2*u = -13 - 7. Suppose u + 5 = 3*h. Suppose 5*v = h*c - 195, -4*c + 152 = -v - 2*v. Is c a prime number?
False
Is ((-194)/(-3))/((-8)/(-60)*5) prime?
True
Suppose -3*t - 5*h + 9 - 2 = 0, -4*h = -t + 8. Let y(o) = -6*o - 17*o + t - 6. Is y(-3) a prime number?
True
Let a be ((-4)/6)/((-20)/(-330)). Let n = a - -160. Is n a prime number?
True
Let j be (-20)/(-6)*48/(-10). Let k = j + 149. Is k a composite number?
True
Let g(w) = w**2 + 24*w + 37. Is g(-23) a composite number?
True
Let h(c) = -c**2 + 106. Let k be h(0). Suppose 2*y = 5*j - 265, -5*j + y + k = -3*j. Is j a prime number?
True
Suppose 12 = -4*g + b, -5*b - 18 = g + 6. Is 3 - (g*2 - -1) a prime number?
False
Let l(h) = -h**3 - 6*h**2 + 4*h + 9. Let n be l(-7). Suppose -n = -3*v + 69. Is v a prime number?
False
Suppose 1262 = 4*z - 2*z. Is z a prime number?
True
Suppose 0 = 4*n - p - p + 2, n = -p + 4. Let k(u) = 4*u**2 + 2*u - 1. Let o be k(n). Suppose -38 = -5*g - 3*j, -4*j = g + o + 1. Is g a prime number?
False
Suppose 4*p = 6*p + q - 1995, -4*p - 4*q + 3992 = 0. Is p composite?
False
Let x = -8 + 219. Is x prime?
True
Let r(k) = -5*k**3 + 2*k**2 + 5*k - 11. Let p(d) = -4*d**3 + 3*d**2 + 5*d - 10. Let m(t) = -4*p(t) + 3*r(t). Is m(8) composite?
True
Let m(f) = f**3 + 2*f**2 - f + 1. Let s be m(-2). Suppose 4*n + 26 = s*l + 157, 3*n = 4*l + 93. Is n prime?
False
Let k = 19001 + -11278. Is k composite?
False
Let s(l) = l**3 + 7*l - 1. Is s(10) a composite number?
False
Is (9/12 - -1)*92 a prime number?
False
Let x(a) = -44*a + 44 - 27 - 30. Is x(-6) a prime number?
True
Let u be 4*3/(-2) + 2. Is ((-70)/u)/(-5)*-62 a composite number?
True
Let q(u) = u**3 - u + 4. Let v be q(0). Let y be (-399)/(-18) - (-1)/(-6). Suppose v*c - 30 = y. Is c a prime number?
True
Let x(d) = -d**2 - 11*d - 10. Let p be x(-10). Suppose -5*c + 0*n + n + 142 = 0, p = -c + 2*n + 23. Let i = 132 + c. Is i a composite number?
True
Let m(q) = q**2 + 5*q + 7. Let j be 13 + 2*1/(-2). Is m(j) composite?
False
Let m = 1 + 8. Suppose -2*b + 5*g = 2*g - 13, -g - m = -3*b. Is 3/b*(-88)/(-6) composite?
True
Suppose -p + 6*p - 750 = 0. Suppose p = r - 41. Is r prime?
True
Let x = -121 - -172. Let l = 29 - x. Let q = 37 + l. Is q a prime number?
False
Is 968/6 + (-2)/6 a prime number?
False
Let i(s) = -41*s**2. Let q be i(1). Let g = 66 - -10. Let x = q + g. Is x prime?
False
Let q = 2984 - 1966. Is q composite?
True
Suppose -2*b + 1 = -1. Suppose -p - b = -4. Suppose -p*f = -2*g + 25 - 8, 2*g = f + 23. Is g prime?
True
Let n = -4 + 6. Suppose 3*h = 4*g + 8, h + n*g = 6*g. Is -2 + h - (-35 - 0) a prime number?
True
Let z(c) be the third derivative of c**4/24 + c**3/3 + 3*c**2. Let s be z(4). Suppose s*h - 30 = h. Is h prime?
False
Let j(t) = t**3 + 35*t**2 + 21*t + 16. Is j(-21) a composite number?
False
Is 2/8 - 1/(16/(-4908)) a composite number?
False
Let q(f) = 2*f**3 - f**2 + 3*f - 2. Let l be q(1). Suppose -104 = -l*c + 62. Is c composite?
False
Let i(l) = -l**2 + 11*l - 3. Let q = 5 + 4. Let h be (q/(-5))/((-2)/10). Is i(h) a prime number?
False
Let a = 379 - -64. Is a prime?
True
Let y(q) = 5*q**2 + 0*q**2 - 4*q**2 - 6*q + 4*q**2 + 5 + 7*q**3. Is y(4) composite?
False
Let q(f) = 105*f**2 + 3*f - 10. Let d(z) = 35*z**2 + z - 3. Let r(t) = 7*d(t) - 2*q(t). Let o be (-2)/4*(-10 + 8). Is r(o) a prime number?
False
Let p(o) = 115*o**2 - o - 1. Is p(-1) a prime number?
False
Let w = -158 - -447. Is w composite?
True
Is 95/2*(-1 + 3) composite?
True
Let k(n) = -10*n + 13. Is k(-7) composite?
False
Let z be 0 + 1 + 2 + -1. Suppose 0 = z*b + h + 6, -5*b + 4*h + 6 = -5. Is (-1)/(b/21 + 0) a prime number?
False
Suppose 4 = 2*w + 3*g + 10, 0 = 3*w - 2*g - 4. Suppose w = m - 4*m. Suppose 0*k - k + 67 = m. Is k prime?
True
Suppose p = -2*p + 15. Suppose -83 - 242 = -p*y. Is y prime?
False
Suppose w + 0*w = -3*v + 7661, -5*w + 5*v = -38225. Is w composite?
False
Let b(s) = -10*s + 30. Let p(z) = -7*z + 20. Let a(y) = -5*b(y) + 7*p(y). Let g be a(8). Is g/(((-8)/286)/2) a composite number?
True
Suppose 0 = 5*c - 19400 + 920. Is c/18 + 2/(-6) a prime number?
False
Let v = 384 - 564. Let t = -91 - v. Let s = 138 - t. Is s a prime number?
False
Suppose 2*j = -2 + 4. Let h(q) = 59*q**2 + q - 1. Is h(j) prime?
True
Let n be 8/(-16) - (-2)/4. Suppose n*a = 3*a - 633. Is a composite?
False
Suppose 3*k + 4*b + 796 = 6*b, 5*k + 1333 = -3*b. Let j = -61 - k. Is j a prime number?
False
Suppose -u = 2*f - 63, -37 - 235 = -4*u - 3*f. Is u prime?
True
Suppose 0 = 5*d + 5*b + 370, -5*d = -0*d - 4*b + 334. Let v = d - -144. Suppose -89 = -m + v. Is m composite?
False
Let u(t) = 8 - 5*t - 7 + 9 + 2*t**2. Let d be u(10). Suppose 3*x = -55 + d. Is x composite?
True
Suppose 0 = 2*x - 22 - 4. Let a = -10 + x. Suppose -a*n + 180 = -f, 4*n + 3*f - 193 = 34. Is n composite?
False
Let l(w) = w**2 + 4. Let z be -1 + -9*(-2)/(-3). Is l(z) composite?
False
Let u(i) = i**3 + 4*i**2 + i + 2. Let f be u(-4). Is f*((-131)/2 - -2) composite?
False
Let o = 1 + 1. Let q be -2 + (-3)/o*-4. Suppose 4*x - m - 81 = 0, -58 = -0*x - 2*x + q*m. Is x composite?
False
Let b be (12/24)/(2/(-8)). Let w be (-30)/(-12) + (-3)/b. Suppose 4*o = -w*t + 140, 3*o - 30 = -4*t + 75. Is o prime?
False
Let w = 2 - 8. Let p be 3 - 3 - w*6. Suppose -4*v + 2*x = -p, v = 2*x - 6*x + 9. Is v composite?
True
Let l be (-1)/(2/(-7))*-2. Let m = -13 - l. Is 0 - (0 + m/2) a prime number?
True
Is (-2937)/(-7) - (-8)/(-14) a composite number?
False
Is (86/(-10))/(1/(-5)) composite?
False
Suppose 3*u + 14396 = 4*a, 0 = -a + 5*u + 3459 + 123. Is a composite?
True
Is 0 + 0 + 1 + 1276 prime?
True
Let a(f) = -f**3 + 3659. Is a(0) prime?
True
Let g = -170 - -249. Is g prime?
True
Let a(s) = 98*s**2 - 1. Let b be a(-1). Let d = b - -26. Is d prime?
False
Is -141*(-2 + (-1)/(-9)*3) a composite number?
True
Let b(l) = -l**3 - 4*l**2 + 4*l - 14. Let o be b(-6). Suppose 2*n + o = 4*n + 4*q, 5*q - 74 = -4*n. Is n composite?
True
Suppose 0 = -3*d - 4*o + 2587, 2*d + 0*d - 4*o - 1738 = 0. Is d a prime number?
False
Let f = 26 + -17. Suppose -2*i = i - f. Suppose -3*b + 3*u = -2*b - i, 32 = 4*b - 2*u. Is b a prime number?
False
Let u = -45 + 82. Is u composite?
False
Let h be -5*-4*3/10. Suppose 3*d + 6 = 0, -l + 1 = -2*d - h. Is (54 + 3)*1/l a composite number?
False
Suppose -c - 2*r - 13