2 + 10*r + 6. Let g be v(-7). Suppose 0 = g*n - 200 - 289. Is n a prime number?
True
Let p(l) = -l**3 - l + 265. Suppose -14*t = -12*t. Is p(t) composite?
True
Suppose -s + 2*v = -1933, 5*s + 5*v - 9651 = v. Is s prime?
True
Let d(w) = 12*w - 5. Let v be 3 - (1 - (2 + -2)). Suppose 3*l = 9, v*m + 3 = -0*m + 5*l. Is d(m) a prime number?
True
Let a = 1144 + -1863. Let x = 188 - a. Is x a composite number?
False
Let s(o) = -9*o + 12. Let q(l) = -8*l + 11. Let v(i) = -4*q(i) + 5*s(i). Is v(-21) prime?
False
Let u = 11 + -8. Suppose 3*x - 42 = 4*f, -f - 2*x = -u*x + 10. Is (-320)/f - (-4)/(-6) a prime number?
False
Let w = -13 - -6. Let j(p) = p**3 + 7*p**2 + 8*p + 5. Let q be j(w). Let r = q - -353. Is r prime?
False
Let w(b) = -3*b + 1. Let h be w(3). Let r be (12/h)/((-2)/4). Suppose -3*s + 1559 = r*v - 7*v, -1 = -v. Is s composite?
False
Suppose 41*o - 42*o + 8663 = 0. Is o prime?
True
Suppose 7 = -5*d - 28. Let o(f) = -2*f**2 - 17*f. Is o(d) a prime number?
False
Let f(d) be the third derivative of -d**4/12 + d**3/2 + 6*d**2. Let x be f(6). Is (-84)/9*x/6 prime?
False
Let a = -26 - -24. Let s be (-3)/a + 21/6. Is (-8 + s)/((-3)/127) composite?
False
Let g(w) = -138*w + 55. Is g(-6) a prime number?
True
Let p be -3*9*(-1 - 9425/(-15)). Let g = p - -28289. Is g a composite number?
False
Suppose -57*x + 156263 = -26308. Is x composite?
False
Suppose -3*o + 7293 = 3*v, -2*v - 5*o - 253 + 5121 = 0. Is v composite?
True
Suppose 3*c = -0*c + 6, -4*n + 10256 = -2*c. Suppose -n = -6*a + 441. Is a composite?
True
Suppose 19*j + 24 = 23*j. Let u be 1 + (j - 3) - -1. Suppose -2*n = u*m - 1247, 7 = -4*n - 9. Is m prime?
True
Suppose 0 = m - 0*l + l + 1, 0 = 5*m - 3*l - 19. Let o be (6/m)/(2 + -1). Is 0/o - 111/(-3) a prime number?
True
Suppose -4*l + 5*y = -44778, -17*l + 18*l = -2*y + 11201. Is l prime?
True
Suppose 370 = 4*t - 3*t + 4*r, -t + 340 = -2*r. Suppose 4*d - 666 = t. Is d a composite number?
True
Let j(h) = 200*h**2 - 2*h - 17. Is j(-6) a composite number?
True
Suppose -4*t + 5985 = 5*j, 0 = 2*j + 3*t - 447 - 1940. Is j composite?
False
Let j = 1739 + -838. Is j composite?
True
Suppose -243*t = -5*j - 244*t + 6293, -4*t = -3*j + 3785. Is j composite?
False
Suppose -3*o + 26 = 3*m + 8, 4*m = -5*o + 26. Suppose -6*u - 2996 = -2*j - 3*u, -4511 = -3*j - m*u. Suppose -k - j = -s - s, -s = 2*k - 753. Is s composite?
False
Let j = -22 - -14. Suppose 7*n = -21 - 0. Is (-1047)/n - j/2 a composite number?
False
Let s(k) = 230*k**2 - 92*k - 365. Is s(-4) a composite number?
True
Let z = 25 - 29. Let s(x) = 83*x**2 - 4*x + 3. Is s(z) composite?
True
Suppose -28 + 4 = -4*i. Suppose 157 = -i*n + 7*n. Is n a prime number?
True
Suppose -4*v + 87079 = -u, -10*u + 13*u = -4*v + 87067. Is v a composite number?
True
Let h = 227 + -214. Let o be 12/(-54) + (-13817)/(-9). Suppose h*w + o = 18*w. Is w composite?
False
Suppose -36838 = -7*z + 11539. Is z a composite number?
False
Suppose 5*x - 10094 = -2*q, q + 21*x = 26*x + 5032. Is q composite?
True
Is 56/(-42) + (-239306)/(-6) composite?
False
Suppose 0 = -2*f + 4 + 4. Let z(d) = 3*d - 8. Let l be z(f). Suppose 2543 = l*b - 3*k, 3*k - 632 = b - 2*b. Is b composite?
True
Let r(j) = 43*j**2 - 28*j + 12. Is r(11) a composite number?
True
Let k(w) = 2*w**2 - 30*w - 171. Let a be k(-7). Suppose 3*n = 3*x + 6, 5*x = -0*x - 2*n - 38. Let r = a - x. Is r a composite number?
True
Let q = 0 - -6. Let t = q - 3. Suppose -9 = t*d - 4*d. Is d a prime number?
False
Let t(m) = 110*m + 3. Let i be t(-1). Let u = -70 - i. Is u a composite number?
False
Let b = -7347 + 10800. Is b composite?
True
Suppose -4 = -2*t, -45*b + 49*b + 5*t - 118118 = 0. Is b a prime number?
True
Suppose -7*a = -5*a - 680. Suppose j = 295 + a. Is j a prime number?
False
Let b(l) = 33*l**2 + l + 4. Let u(z) = 6*z - 55. Let m(i) = -i + 11. Let c(y) = -11*m(y) - 2*u(y). Let w be c(-8). Is b(w) a composite number?
True
Suppose -5*x = 4*l - 3 - 2, 2*l + 35 = 5*x. Let q be (-48)/x - (-6)/10. Let u(t) = -11*t - 2. Is u(q) composite?
False
Let z = 143 + -61. Suppose -4*j + 638 = z. Is j prime?
True
Let f be (-4)/18 + (-46)/(-207). Suppose f = -3*r + 7*r - 3260. Is r a composite number?
True
Suppose 0 = 3*d + 3 + 9, d = -4*k + 7288. Is k a composite number?
False
Let i(t) = -t**3 + 7*t**2 + 8*t + 3. Let z be i(8). Suppose 2*l + 3 = z*l. Suppose -19 - 11 = -l*q. Is q prime?
False
Let y = -2179 + 11946. Is y a prime number?
True
Let k(c) = 82*c**2 + 6*c - 9. Let i be k(-6). Suppose 8*v - 11*v = i. Let q = -500 - v. Is q a composite number?
True
Let k(m) = 2*m**3 + 17*m**2 + m - 295. Is k(17) composite?
False
Let a = -3390 - -16891. Is a a prime number?
False
Suppose 3*j - 21 = 2*a, 5*j - 3*a = 2*a + 35. Suppose j*w - 160 = -w. Is (85/(-4))/((-5)/w) a composite number?
True
Let r(j) = 5*j**2 + 23*j + 5. Let k(i) = 20*i**2 + 93*i + 21. Let t(o) = -2*k(o) + 9*r(o). Is t(10) prime?
False
Is 62517/9 + 12/18 composite?
False
Suppose -3*n + 2*f + 72 = 6*f, -5*f - 43 = -n. Let k be 7/(n/(-8)) - 2. Is (-3 - -7)*(-109)/k composite?
False
Suppose -6 + 20 = -2*f. Let n = f + 36. Suppose -5*t + 100 = -5*o, -72 = -4*t - 3*o + n. Is t a prime number?
True
Suppose 3*l = 3 + 3. Suppose 0 = -l*n + 1153 - 117. Suppose 110 = 4*f - n. Is f a prime number?
True
Let o be ((-24)/(-18))/((-2)/(-3)). Suppose 0 = -p - o*f + 7*f + 144, 4*p = f + 481. Is p prime?
False
Is (-103 + 6)/(3/(-69)) composite?
True
Suppose 1799 = k - 1638. Suppose 3*f = -650 + k. Is f a composite number?
False
Let h be (-27)/(-6)*10/15. Suppose 0 = -g - h*x + 370 + 132, 3*g = -4*x + 1491. Is g prime?
False
Let i(a) = 27*a**2 - 19 - 11*a - 22*a - 23*a**3 + 2*a**2 + 22*a**3. Is i(26) prime?
True
Let y = -85 - -150. Suppose -29 = -2*d - 1. Let s = d + y. Is s a composite number?
False
Let n(i) = -i**3 + 12*i**2 - 11*i + 3. Let o be n(11). Let u be 7 - (3 + 0)/o. Is u/4 - (-227)/2 a composite number?
True
Let d be (-290)/(-14) + (-4)/(-14). Suppose -u = 4*x - 6*u - d, -5*u - 25 = -5*x. Suppose -358 = -4*g - x*l + 138, -3*l - 390 = -3*g. Is g a prime number?
True
Suppose b + 0 = 3. Let o = b + 6. Is (1227/o)/(3/9) a composite number?
False
Suppose 0*s = s - 2. Suppose 0 = s*c + 34 - 262. Suppose -5*x - 4*g = -c, x + 4*g - 6 - 4 = 0. Is x a prime number?
False
Suppose -a - 22 = -13. Let c be 30/(-135) - 38/a. Suppose 9*r - c*r + 5*v = 230, -5*r + v + 212 = 0. Is r prime?
True
Suppose -x - 3*x + 5975 = 5*y, 0 = -3*x. Is y a prime number?
False
Is (-54292)/294*4/((-16)/102) a prime number?
False
Let a(v) = v**3 - 11*v**2 - 11*v + 18. Let k be a(9). Let l = 523 - 93. Let y = l + k. Is y a composite number?
True
Suppose -58*m - 84033 = -67*m. Is m prime?
True
Let k(v) be the second derivative of v**3/6 + 7*v**2/2 - 2*v. Let p be k(0). Is (2/4)/(p/1554) a prime number?
False
Is 4/4 + 2328 + 1 + 3 a composite number?
False
Suppose 3*w + 3*w - 10812 = 0. Let i = 2811 - w. Is i a prime number?
True
Suppose 4*y + 26 = 2*l, -2*y + 2*l + 6 = 20. Let p(t) = 10*t + 69*t**2 + 171 + 168 - 334. Is p(y) composite?
True
Suppose a + 383563 = 32*a. Is a composite?
False
Is (31323 + -5)/(2 - 0) a prime number?
False
Suppose -14*a = -9*a - 25. Suppose c - 4*d + 49 = 6*c, -5*c - 5*d = -50. Let p = a + c. Is p composite?
True
Let m(f) be the third derivative of 3*f**5/10 + f**4/8 + 8*f**3/3 + 10*f**2. Is m(7) a prime number?
True
Let q = 45 + -59. Is 1 + (-2076)/q + 120/(-420) a prime number?
True
Let j = 21866 - -102291. Is j composite?
True
Suppose -2 = -3*y - 2*s, 4*s - 6 = -y - 22. Suppose 0 = -b + y*m + 175, -3*b + 4*m = 2*b - 939. Is b prime?
True
Is (4 - (-48815)/(-25))*-5 composite?
False
Let f be 2/16 + 2166/(-48). Let x be (-207)/f + 6/(-10). Suppose -5*k + 2562 = x*r - 3041, 3*r + k - 4194 = 0. Is r a composite number?
True
Is 5/(-4)*(-3 - -1695)/(-9) a composite number?
True
Let b(m) = 619*m + 127. Is b(16) prime?
False
Let h(k) be the third derivative of 299*k**5/10 - k**4/24 - k**3/3 + 6*k**2. Is h(-1) prime?
False
Let z(x) = 66*x - 1. Let k(h) = h**3 - 5*h**2 + 3*h + 6. Let b be k(4). Is z(b) prime?
True
Let b be (-2)/2*(-11 + 8). Suppose -437 = -5*x + 4*u, 0 = x + 2*x - b*u - 261. Is x prime?
True
Suppose -18*c + 336960 = 1854. Is c composite?
False
Suppose 0 = -5*k - 14503 + 139188. Is k a prime number?
False
Let b = -3176 + 7