4177 + 24758. Is q a composite number?
True
Let n(g) = -g**2 + 5*g + 13. Let x be n(6). Suppose 3*j = x*j - 1316. Let z = j + -180. Is z prime?
True
Is 59608/(-12)*21/(-14) prime?
True
Suppose 2*g = -0*q + 2*q + 16, 0 = 5*g + q - 16. Let u be -5*(0 + 1/(-3)*3). Suppose 2*t = -u*r + 334, 0*t - 4*r = g*t - 644. Is t a prime number?
True
Suppose 28 = 4*n + 4*u, 34 = 2*n - u + 5. Suppose -n*o + 9*o + 42 = 0. Is o composite?
True
Let g = -98 - -37. Suppose 0 = -3*z - 377 - 13. Let x = g - z. Is x a composite number?
True
Let k = 46 - -10. Suppose k*o + 316 = 60*o. Is o composite?
False
Let n(r) = r - 6. Let h be n(6). Suppose -v + 13 = 4*s, 3*v = -4*s - h*v + 23. Suppose g - 795 = -s*g. Is g a prime number?
False
Let p be -4 - -6*3/2. Let o(i) = 27*i**3 + 5*i**2 - 3*i + 6. Is o(p) composite?
False
Let r be (3/(-9))/((-2)/(-42)). Let m = -4 - r. Suppose -5*o - 4*t + 711 = 0, 683 = 5*o - 6*t + m*t. Is o composite?
False
Let a(p) = 62*p. Let g(m) = -m**2 + 9*m - 10. Let z be g(8). Let c be a(z). Is ((-9)/3 + c)*-1 prime?
True
Suppose 25*i = 40*i - 1665. Is i a prime number?
False
Let l(m) = -86*m + 87. Suppose 0*j - 3*j - 137 = 5*p, -j = -4*p - 113. Is l(p) composite?
True
Let l = 98 + -95. Suppose 7*b - l*b - 2932 = -2*k, b = 4*k + 742. Is b composite?
True
Let u(k) = -4*k**2 - 4*k + 0*k - k**2 - 2. Let l be u(-4). Let h = 133 + l. Is h composite?
False
Let q = -32 + 42. Suppose y - 2787 = -q*u + 5*u, 0 = -5*u + 4*y + 2802. Suppose -i + u = 3*m, -4*m + 4*i - 26 + 754 = 0. Is m a composite number?
True
Suppose 2*i - 24 = 18. Let a = i - -16. Is a a prime number?
True
Let i = 399 - -259. Suppose -4*z - 8 = 0, -w - 3*z = -5*w + i. Is w a prime number?
True
Suppose 6*w - 3*w = 2040. Suppose 4*m + 4*d - 568 = 0, m = -4*m + 5*d + w. Is m a composite number?
False
Let y(w) = 47*w**2 - 4*w - 9. Is y(12) a prime number?
False
Suppose 0*h = -h + 240. Let z = -337 + h. Let f = 444 - z. Is f prime?
True
Suppose 0*f + 16 = -2*f. Let j = f + 10. Suppose -g = 5*x - x - 177, 4*g - 638 = -j*x. Is g a prime number?
True
Let s(j) = j**3 - j**2 - j + 2. Let o be s(0). Suppose -664 = o*i - 6*i. Is i a prime number?
False
Let y(w) = 7*w**2 - w - 2. Let n be y(1). Suppose -513 = -3*s + 33. Suppose -334 = -n*g + s. Is g prime?
False
Suppose -44*m - 319061 = -3493177. Is m a prime number?
True
Let r(a) = a**2 + 23*a + 42. Let q be r(-21). Is q - (-4153)/(3 + -2) composite?
False
Is (-424)/12*211*6/(-4) a composite number?
True
Let q(d) = 3*d**2 - d. Let f = 3 + -8. Let a be q(f). Suppose 0 = -2*w + 22 + a. Is w prime?
False
Suppose 27*n - 293 = 26*n. Suppose 4*p + 6*r - 592 = 2*r, 2*p - n = -5*r. Is p a prime number?
True
Let w(j) = 2*j**3 + 11*j**2 + 2*j + 12. Let p be w(-9). Is (p/(-15))/((-8)/(-40)) a prime number?
True
Let g(m) = m + 2. Let n be (-1)/(-1 - (-12)/8). Let q be g(n). Suppose 5*l - 4*f - 109 - 54 = q, -5*l - 2*f = -181. Is l composite?
True
Let l = -83 - -87. Suppose -5*z = 4*h - 46, -4*h = -3*h - l*z - 22. Is h composite?
True
Suppose -5*b - 8 = 2*j, -2*j - 3*b = -j + 5. Let s(q) = 1647*q + 4. Is s(j) composite?
True
Let g = 14 + -8. Let z be g/2 + (-648)/(-2). Is (-4 - -2)*z/(-6) composite?
False
Suppose 6*c - 7*c + 6 = 0. Let i be c/(-4) - (-30)/4. Suppose i*h - 445 = h. Is h a composite number?
False
Let f(r) = 3*r**2 - r. Let z be f(-1). Suppose 2*y = z*d - y - 17, d = y + 5. Suppose 5*m = d*m + 417. Is m a prime number?
True
Let y(i) = i**2 - 19*i + 25. Is y(-14) a composite number?
False
Let g = -396 - -722. Let m = g - -563. Is m a composite number?
True
Let r = 28 - 26. Let f = r + 4. Is (-2757)/f*(-1 + -1) prime?
True
Let b(r) = 22*r**2 + 3*r + 1 + 6 - 6*r - 2*r. Is b(10) a prime number?
False
Suppose -64*f = -67*f + 9. Let x = 9 - 4. Suppose f*d + 518 = x*d. Is d prime?
False
Let w = -4043 + 6751. Suppose 0 = -3*b - b + w. Is b composite?
False
Let o(v) = -v**3 + 5*v**2 - v + 6. Let s be o(5). Let a be (6/7)/(s/7). Is (1001/33)/(2/a) composite?
True
Let d = 773 - 426. Is d a composite number?
False
Let b(f) = 4*f**3 + f**2 - 2*f - 16. Is b(5) a prime number?
True
Let o be 6/(-15) + 288/20. Let b be 26/o + 8/56. Suppose -c + 303 = 2*c - 2*x, -b*x = -2*c + 200. Is c a composite number?
False
Let h = 16 - 13. Suppose -h*s + 2773 - 106 = 0. Is s prime?
False
Suppose -3*j + j + x - 23 = 0, 4*j + 5*x = -39. Let b = -9 - j. Suppose 164 + 2 = b*m. Is m prime?
True
Let a(q) = 240*q - 2. Let o(b) = b + 4. Let c be o(-3). Let x be a(c). Suppose -60 = -2*y + x. Is y prime?
True
Let r be -3 + -3 + (-9)/(-3). Let i be (-2)/r - (-10570)/30. Let x = 510 - i. Is x composite?
False
Let s be (0 - 267/6)/(3/(-102)). Let b = s + -768. Is b a prime number?
False
Suppose 0 = -k - 3*n + 12, -3 = -3*n + 3. Suppose -k*r = -0*r + 48. Let d(g) = 5*g**2 - 9*g + 5. Is d(r) a composite number?
False
Let t = 11 + -8. Suppose -t*b + 5 = -1. Suppose 0 = -2*d - 4*m + 558, -b*d - 4*m = 3*d - 1365. Is d a prime number?
True
Suppose 5*m + 29112 = -3*m. Is (3 + (-30)/9)*m a composite number?
False
Let r(j) = 124*j - 11. Is r(4) a prime number?
False
Let p(f) = f**2 - f - 10256. Let s be p(0). Let z be (s/4)/(-3 + 1). Suppose r = -r + z. Is r a composite number?
False
Suppose -88429 = -4*w + 4*r + 7759, -w + 3*r = -24055. Is w composite?
False
Let b = -19737 + 43594. Is b prime?
True
Let s(k) = -k**3 - 19*k**2 - 10*k - 15. Let y be s(-17). Let z = y + 1966. Is z composite?
False
Let i(z) = 5*z**2 + z. Let k be i(-1). Let c be 1 - 19*(3 - k). Suppose 6*h - h = c, 27 = v + 2*h. Is v a prime number?
True
Let y be 4/(64/(-612))*-8. Suppose d - 3*u + 2*u - y = 0, -2*d + 600 = u. Suppose -3*i = -3*a - 268 - d, 3*i + a = 574. Is i composite?
False
Suppose -3*v + 6060 = 5*i, -3*i - 2*i = -5*v - 6060. Let j be (-1)/(-5) + i/15. Suppose 0 = 3*f - 780 + j. Is f composite?
False
Suppose -62366 - 14781 = -4*b - 3*r, 0 = b + r - 19286. Is b prime?
True
Let c = 879 + -1490. Let f = -276 - c. Suppose -y + 6*y = f. Is y a prime number?
True
Suppose 3*x + 6 = 0, -5*x + 5 = 4*u + 31. Let r(a) be the first derivative of 4*a**3 - a + 5. Is r(u) prime?
True
Let l(v) = -36*v - 1. Suppose 2*h - 3 = -2*y + 3, 2*h + 12 = 4*y. Suppose 2*r = -0*r + x - 13, -5*r - x - 22 = h. Is l(r) a composite number?
False
Suppose -3*m - r + 4*r = -15, -5*m - 2*r + 11 = 0. Suppose 3*w + 2*w = 5*o - 5, -m*w - 2*o = 13. Is (1 + 4/w)*-705 prime?
False
Let v(k) = -k**2 + 8*k**2 - 12*k + 1 + 13*k - 2. Is v(4) a prime number?
False
Suppose 141*s = 148*s - 41279. Is s prime?
True
Let y(n) = 395*n + 9. Let q be y(-4). Let r = -877 - q. Let o = r - 375. Is o a prime number?
False
Suppose -h - 12 = -5*h. Suppose -h*r = -2*a + 281, 0*r - 2*r + 570 = 4*a. Suppose -x - w + a = 0, -50 = -2*x + 5*w + 213. Is x prime?
True
Suppose -4*c - b + 49 = -145, 5*b + 182 = 4*c. Let m = c - -347. Is m a composite number?
True
Let t = -6 + -2. Let o(q) be the first derivative of -q**4/4 - 2*q**3 + 5*q**2/2 + 7*q - 1. Is o(t) composite?
True
Let p be (2/(-9) - (-2977)/(-9))*1. Let v = p + 494. Is v prime?
True
Let q = 20 - 18. Is ((-6)/(-6))/(q/2146) a prime number?
False
Let i(g) = 2*g**2 - 25*g**3 + 0*g**2 + 3 + 27*g**3 - 2 - 2*g. Let v be i(1). Is (-1 + v)*(-143)/(-2) composite?
True
Let m(i) = i**3 + 2*i**2 + 5*i - 54. Is m(7) a composite number?
True
Suppose 388*y + 31002 = 394*y. Is y a composite number?
False
Suppose -2*q = -5 - 7. Let j = 12 - q. Is j prime?
False
Let x be 0 + -2 - (5 - 9). Let i be (-1 + x)*14 + -2. Is 111*(3 - 32/i) a composite number?
False
Is (-17725)/(-20) + 9/12 a prime number?
True
Let k = -284 + -279. Let p = 276 - k. Is p composite?
False
Let n be -156*1*9/12. Let h be ((-1)/(-1) + 1)*110. Let i = h + n. Is i prime?
True
Let i(v) = 3*v**2 + 2*v**2 - 2*v - v**2 + 8*v**2 - 3. Is i(-5) prime?
True
Suppose -16*k + 296407 = -54921. Is k composite?
True
Let i(h) = -2*h**2 - 11*h + 17. Let x be i(-8). Let g(q) = -q**3 - 16*q**2 - 28*q - 20. Is g(x) prime?
True
Let a(f) = -f**3 + 16*f**2 + 16*f + 7. Let v be a(17). Let k be (24/v)/((-6)/525). Suppose k + 83 = p. Is p composite?
False
Let j(n) be the first derivative of -n**4/4 + 8*n**3/3 + n**2/2 + 7*n + 4. Let r be j(7). Let l = 101 - r. Is l a composite number?
True
Is 818 - (-21)/(-12 + 5) a composite number?
True
Suppose 0 = 4*n + 3*n - 7924. Suppose 4*z + n = 3648. Is z 