 4*o**3 - 39*o**2 + 27*o - 169. Is d(20) a prime number?
False
Let u = -5728 - -58995. Is u a prime number?
True
Suppose -3*o = -5*g + 17250, 0 = 2*g + o + 2*o - 6921. Is g prime?
False
Suppose 15 + 0 = 3*c. Suppose -i - 252 = c*i. Is 85/6 + 7/i prime?
False
Let q = 27826 + -11379. Is q a prime number?
True
Let g(n) = n**3 - 5*n**2 + 3*n + 4. Let r be g(4). Suppose r = -2*y + 3*y - 4. Let v = 17 - y. Is v a prime number?
True
Let b = 181 + -55. Let t be (-2)/4*2*-71. Let d = b - t. Is d prime?
False
Let b = 11188 + -7385. Is b a composite number?
False
Suppose -f + 1204 = 4*r, 3*r - f - 903 = -6*f. Suppose -o + r = -61. Let y = o - 55. Is y a prime number?
True
Let x(n) = 30*n + 5. Let o be x(6). Let h = o + -86. Suppose -2*b + h = b. Is b composite?
True
Suppose -6*t = 5*t - 33209. Is t prime?
True
Suppose 248990 = -34*h + 44*h. Is h a prime number?
False
Let l(r) = 3*r**2 - 11*r + 49. Is l(25) composite?
True
Let d be (-3)/(3/(-409)*1). Suppose -5*p + k = 4*k - 650, -2*k - d = -3*p. Is p composite?
True
Let l = -19662 - -49031. Is l a prime number?
False
Is (-5)/15*(-53334)/(-12)*-2 a prime number?
True
Let s(d) = 2432*d - 383. Is s(5) a composite number?
False
Let o be -3 + 3 + 3 - 0. Let y be -6 + 1 - -1*o. Let r(w) = 32*w**2 + w + 1. Is r(y) a composite number?
False
Let a(h) = h**2 + 13*h + 9. Let u be a(-13). Let p(y) = 8*y**2 - 10*y - 15. Is p(u) a composite number?
True
Let b be (-2)/3 - 13/((-78)/28). Suppose -b*f = 3*h - 24157, -5*f - 11860 = 5*h - 52130. Is h a composite number?
False
Suppose -3*t = j - 84, 3*j + 59 = 4*j - 2*t. Let v = 132 - j. Let q = v - -202. Is q prime?
False
Suppose 4*n - 2*z = z + 5822, 5806 = 4*n + 5*z. Suppose -768 = 3*i - 3*g, -3*g - 426 + n = -4*i. Let w = i - -387. Is w a prime number?
True
Let a(h) = 3*h**3 - 30*h**2 - 17*h + 29. Is a(12) a composite number?
True
Let q(n) = -16*n**2 - 7*n + 7. Let j(a) = 15*a**2 + 8*a - 8. Let l(i) = 3*j(i) + 2*q(i). Is l(-5) a composite number?
True
Let o(l) = -7*l + 0 + 10 - 3 - l**2. Suppose 311*r - 304*r = -49. Is o(r) a composite number?
False
Let o = 52 + -49. Suppose 0 = o*q - 5*r - 1522, r = 3*q + 149 - 1651. Is q a composite number?
False
Suppose 0 = 3*k + 3*q - 213, 0 = 12*q - 13*q - 3. Is k composite?
True
Suppose 0 = 6*a - 0 + 6. Let v be -1 - (a + (3 - 0)). Is (-2)/v + 5383/21 composite?
False
Suppose 0*u - u = 4*v - 81, -5*v + 114 = -3*u. Let j be (-266)/v - (-2)/3. Let w(x) = -x**2 - 28*x - 1. Is w(j) a composite number?
False
Suppose -z - 1340 = -5*z. Suppose -8*w - z = -9*w. Suppose -o + w = 4*p + 18, -4*p = 0. Is o a prime number?
True
Suppose 8*f - 3*f - 12 = -3*l, 12 = 3*l - 5*f. Suppose 3*j - 2*z - 2581 = 0, -3*j + z = l*z - 2601. Is j a prime number?
True
Suppose -10453 = 4*t + 423. Let m = -1920 - t. Is m a composite number?
True
Let n be 4 - (2 + -2 + -523). Suppose -4*b = 4*h - 512, h - n = -b - 3*b. Is b a composite number?
True
Let d(c) = -c**3 - c + 1. Let b(i) = -314*i**3 + 2*i - 2. Let g(r) = -b(r) - 3*d(r). Is g(1) prime?
True
Let b = -12 + 8. Is -489*(0 + b/12) prime?
True
Suppose 0 = 2*c - 2*f + 34, 3*c = -c - f - 68. Let z = c + 31. Is z prime?
False
Suppose 0 = -3*z + 3786 + 3993. Let v = z + -3748. Is v/(-27) + (-4)/(-18) composite?
False
Let j(a) = -25*a**3 - 11*a**2 - 45*a + 9. Is j(-10) a composite number?
False
Is (44247 + 2 + 0)*(-12 - -13) a composite number?
False
Let z(r) = 14*r + 35. Is z(19) composite?
True
Is (-7 - -12) + (1 - -11857) a composite number?
False
Let w be 1*0/(12/4). Suppose w = -2*n - 309 - 49. Let c = 370 + n. Is c prime?
True
Let t(m) = 6*m**3 - 9*m**2 + 6*m - 9. Let x be t(-7). Let z be (-2)/4 - x/12. Suppose -9*l = -5*l - z. Is l composite?
False
Let z(w) = -4*w**2 + 7*w + 16. Let b be z(-13). Let o = b + 2328. Is o a prime number?
False
Let o be (-3)/15*-2*5. Let h(z) = -1. Let x(w) = -5*w - 3. Let g(r) = o*h(r) - x(r). Is g(1) a prime number?
False
Let u(g) = -407*g + 6. Let c = 7 - 5. Let z be u(c). Let m = z - -1481. Is m composite?
False
Let l be ((-212)/(-8) + 3)*(-23 - -1). Is 2 - (l - (0 - -4)) composite?
True
Let d = 5737 - -1336. Is d a composite number?
True
Suppose 5*x + 712 + 403 = 0. Is (-10 - -9)*(0 + x) a composite number?
False
Let o(y) = y**3 - 6*y**2 + 2*y + 7. Let g be o(5). Let a(t) = t**3 + 11*t**2 + 15*t + 5. Is a(g) composite?
True
Suppose 2*f + 14 = -5*t, t + 3*f + f = -10. Let r be 0/(-3)*t/(-2). Is (-7 + r)/(5/(-365)) a prime number?
False
Let j = 10896 - 4765. Is j a prime number?
True
Suppose -5*t = j + 44, 4*t + 52 = 3*j + 13. Let d = t + 13. Suppose 3*g - 444 = v, -d*g + 9*v - 4*v = -581. Is g a composite number?
False
Let q = -23 + 18. Let o be (6/q)/((-2)/5). Suppose -118 = b - o*b. Is b a composite number?
False
Suppose -3 = -x, 3*x - 6 + 1 = -4*f. Let g be (0/(f + -2))/(-1). Suppose g = 2*b - 276 + 50. Is b prime?
True
Let l = 5001 - -314. Is l a prime number?
False
Let k(p) = 32*p**3 + 2*p**2 + 13*p + 13. Let m be k(-1). Let z be -2*(-122)/4 - 0. Let w = z + m. Is w a composite number?
False
Suppose 21*c - 9*c - 19860 = 0. Is c composite?
True
Let u(m) = -40*m - 3. Let d(k) = -40*k - 3. Let x(j) = 4*d(j) - 3*u(j). Is x(-1) prime?
True
Let o = -858 - -2088. Suppose 0 = 10*h - o - 340. Is h prime?
True
Suppose -5*q + 2*q - 24 = 0. Let m be (1 + -41)/((-4)/q). Let b = m - -159. Is b prime?
True
Let i = 14134 + -7593. Is i composite?
True
Let k(w) = -w**2 - 11*w - 4. Suppose -2*x - 25 = x - q, x - 4*q + 1 = 0. Let o be k(x). Is (o*1)/((-4)/(-178)) a prime number?
False
Suppose -3*g + 31346 = -2*k, 3*k + 53120 = 3*g + 6098. Let f = k + 21975. Is f prime?
True
Is (-16)/40 + (-1257)/(-5) prime?
True
Let u(g) = 43*g**3 - 4*g**2 + 5*g - 3. Let r be u(3). Suppose -r = 6*l - 9*l. Is l prime?
True
Let s(l) = -2375*l + 60. Is s(-25) composite?
True
Let f(g) be the first derivative of 2*g**4 + 2*g**3/3 - g**2/2 + 2. Let v = -7 + 8. Is f(v) composite?
True
Let f = 25221 - 15634. Is f a prime number?
True
Suppose -6 = 2*o, 0 = -0*l + 3*l + 3*o - 945. Let k = 905 - l. Is k a composite number?
False
Let p = 26992 + -47316. Is (-4)/6 + p/(-12) a prime number?
True
Suppose -9*t = -337 + 958. Let d = -669 + 395. Let z = t - d. Is z composite?
True
Suppose 8*l - 4*l = -2*k + 3378, 5*l + 10 = 0. Is k prime?
True
Let x = 48 + -28. Suppose 20*d = 25*d - x. Suppose -5*j = d*s - 2*s - 763, 5*s - 1893 = 2*j. Is s a prime number?
True
Suppose -16 = -k + 4*z, -5*k + 2*z - 6*z = -152. Is (-5511)/(-7) - (0 - (-8)/k) a prime number?
True
Suppose -3*m = 5*y - 0*y - 6505, -5191 = -4*y - 5*m. Let o = y + -655. Is o prime?
False
Let k be 1/((-1)/2*(-8 + 7)). Suppose -3*f + 13 = k*c - 487, 0 = c - f - 255. Is c composite?
True
Suppose -5*t + 259 + 341 = 0. Let a = 219 + t. Is a a composite number?
True
Suppose -5*b - 5*a + 8*a + 6970 = 0, 0 = 4*b + 2*a - 5598. Is b a composite number?
True
Suppose 4*h + 3*z = 17, 5*h + 7 = -5*z + 27. Suppose -3*k = -3*j + 2145, 0 = -h*j - 5*k - 0*k + 3615. Is j a prime number?
True
Let z(l) = 76*l**2 - 18*l - 17. Is z(-5) prime?
True
Let r = 18868 + -7574. Is r prime?
False
Let i(b) = -658*b + 59. Is i(-6) composite?
False
Let r(w) = -967*w - 23. Is r(-4) prime?
False
Suppose -4*f = -0*f + 16, -5*f = 2*b + 14. Suppose q - 407 = -j - 2*j, 3*q + b*j = 1221. Is q composite?
True
Is (-48977 - -99)/((-4)/2 - 0) a prime number?
True
Let a = 375 + 712. Is a a composite number?
False
Suppose -5*n - 3*r = -2*n + 15, -n - 20 = 4*r. Is (n + -4)*(-2388)/16 composite?
True
Let p(u) = 832*u**2 - 7*u + 7. Is p(4) a prime number?
True
Let f be 1313/(-9) - (-5)/(-45). Let t = 279 + f. Is t a prime number?
False
Suppose -5*b + 14 = -6, -4*p = 5*b + 24. Let z = p + 760. Is z prime?
False
Let w be 78/9 + -6 + (-4)/(-3). Is (w*9/12)/(3/127) prime?
True
Let t(i) = 7*i**2 + i + 1511. Is t(0) prime?
True
Let s(o) = o**3 + 7*o**2 + 7*o + 4. Let z be s(-6). Let b = 44 - z. Let t = 7 + b. Is t a prime number?
True
Let k(l) = l**2 - 8*l + 7. Suppose 5 + 15 = 4*j + 4*u, 4*u + 43 = 5*j. Let x be k(j). Suppose 0 = -x*s - s + 331. Is s a prime number?
True
Let n(x) = -1254*x + 1. Is n(-1) a composite number?
True
Suppose 107767 + 503438 = 35*s. Is s prime?
False
Let r be (16/(-20))/((-4)/10). Suppose 4*i - r*i = 160. Suppose 4*n + 2*v = 46, -4*n + 2*v = n - i. Is n a composite number?
True
Suppose 3