5/20 - 5*f**4/12 + 7*f**3/6 - 4*f**2. Is y(-6) prime?
False
Suppose 57 - 12090 = -9*d. Suppose -d = -7*l - 196. Is l prime?
True
Let x(l) = 2*l**3 - 10*l**2 - 3*l + 9. Let u be x(7). Suppose 4*h = u + 776. Suppose -z + h = 27. Is z a composite number?
True
Let l(p) = 40*p - 38*p - 5 + 1 + p**2. Let b be l(-4). Is 3 - 2 - (-228)/b a prime number?
False
Let y(t) = 6*t + 10. Let n be y(-11). Let u = 89 + n. Is u a prime number?
False
Suppose -2*q = 9 - 5. Is 538 + (-2 - 10/q) prime?
True
Let k = 9550 - -10509. Is k a prime number?
False
Suppose 0 = 3*x - 189 + 18. Suppose 62*r = x*r + 6385. Is r prime?
True
Let y(x) = -139*x + 84. Is y(-17) a composite number?
False
Let r be 6/(-3 + 15) + (-29)/(-2). Suppose -16*b + r*b = -317. Is b a prime number?
True
Let c be (4 + 1439)*-3*(-1)/9. Suppose -v = -2*v + c. Is v a prime number?
False
Suppose -9*u + 25510 = -16223. Is u a prime number?
True
Let j(q) = -7806*q**3 - q**2 + 14*q + 16. Is j(-1) a prime number?
False
Suppose 3*y - 5*f - 1787 = y, -5*f = -5*y + 4430. Suppose -y = -4*d + 3*x, -5*x + 1 = -4. Is d a composite number?
True
Let n(i) = i**3 + 340. Suppose -3*l - 4*s + 4 = 0, -5*s + 1 = -4. Let w be n(l). Suppose -2*v = -6*v + w. Is v composite?
True
Suppose -5*k + 15 = -5*y + 45, 5*y - 27 = 2*k. Suppose y*h - 213 = -43. Suppose -3*l - 13 = -h. Is l a composite number?
False
Let r = 10 - 7. Let f be 1*0/(5 - r). Suppose f = o - 3, -a + 2*o + 440 = a. Is a prime?
True
Suppose -q - 18 = 3*z - 4*q, -4*z - 5*q - 24 = 0. Let n(b) = -b**2 - 8*b - 8. Let l be n(z). Suppose -226 - 58 = -l*s. Is s prime?
True
Let b = -1 - 9. Let t(v) = 4*v**2 - 6*v - 14. Let w be t(b). Suppose -4*z + w = -2*z. Is z prime?
True
Let h = 8 - 2. Suppose -3*k = -0*k - h. Suppose l - 405 = -k*b, -3*b + 806 = 2*l + 2*b. Is l a prime number?
False
Let i = 29 - 24. Suppose q - 22 = 4*g, -2*q = 3*q - i*g - 80. Suppose q*r - 1628 = 10*r. Is r a prime number?
False
Let p(h) = -216*h - 17. Suppose a - 6 = -9. Is p(a) a composite number?
False
Suppose -15*l + 6*l = 81. Let n = l - -268. Is n composite?
True
Let k = -27 + 27. Suppose 0 = 4*h - 6*h + 460. Suppose -5*m - l + 366 = 0, h = 3*m - 2*l - k*l. Is m a prime number?
False
Suppose -5*g + 3*j = -13, -g - 2*j + 6 = 3*g. Suppose 6*q - 3*q = g*s - 428, s + 4*q = 203. Is s a composite number?
False
Suppose 4*w = -29 - 415. Let j = w - -1166. Is j composite?
True
Let z(d) = 451*d**2 + 109*d - 19. Is z(8) composite?
False
Is 8/80 + (-139895)/(-50) a composite number?
True
Let d = 11 + -6. Suppose d*a - 4*s - 619 = 0, -3*a + 0*s = 4*s - 397. Let p = a - 76. Is p prime?
False
Suppose -53*t + 63*t - 100070 = 0. Is t a prime number?
True
Let q(z) be the third derivative of z**6/20 - z**5/60 + 3*z**4/8 - 3*z**3/2 - 32*z**2. Is q(7) a prime number?
True
Suppose 3*u + 2*t + 28 = t, 3*u + 24 = 3*t. Let w = u - -12. Suppose 0*b - 2*b = -2*a - 176, -w*a + 270 = 3*b. Is b a prime number?
True
Let b = -29979 + 86590. Is b composite?
False
Let x(y) = -3*y + 15. Let w(h) = h**2 - 5*h - 7. Let c be w(7). Let r be x(c). Let v(o) = -43*o - 1. Is v(r) a composite number?
False
Let i = -8 - -4. Let v(t) = -23*t**3 - 3*t - 3. Is v(i) a prime number?
True
Let h = 3 + -9. Let g be (h/(-2))/(1/101). Let t = g + -216. Is t prime?
False
Let i be 12/9*9/6. Suppose i*j - 2518 = 3780. Is j composite?
True
Let g(l) = 31*l**2 - 12*l - 2. Let x = 98 + -109. Is g(x) a composite number?
False
Let f = 29 - 14. Suppose -167 = -4*d - f. Suppose -5*x + 3897 = -d. Is x composite?
False
Suppose -5*s = p - 33, -3*s + 30 = -0*p + 4*p. Suppose 0 = s*i - 288 - 1314. Is i prime?
False
Let n(d) = 688*d - 173. Is n(43) composite?
False
Suppose -1215 = -2*c - 3*s, 3*s - 3072 = -5*c + 7*s. Let o(m) = m**3 + 19*m**2 + 22*m - 3. Let a be o(-19). Let k = a + c. Is k prime?
True
Suppose 0 = -d + 201 + 133. Let k = d + -171. Is k a composite number?
False
Let a(t) = 40*t**2 + 21*t - 9. Is a(10) prime?
True
Suppose 3*m - 278166 = -4*s + 28923, 5*s + 15 = 0. Is m a prime number?
True
Let s = -9 + 15. Suppose -5*n + 2*h = 4, s - 2 = n + 2*h. Suppose n = -l - 71 + 189. Is l prime?
False
Suppose 3*f = f + 88. Suppose 5*h + 76 = -3*g, -5*h - f = -4*g - 157. Is 1*(-4 - (g + 4)) a prime number?
True
Let i be ((-67)/(-2))/((-14)/84). Let p = 382 + i. Is p a prime number?
True
Suppose 4*m - 25 = -0*i + 5*i, i = -2*m + 9. Suppose -n = -5*f - 1412, -2792 = -2*n + m*f - 3*f. Is 10/(-25) + n/5 a composite number?
True
Is (-15)/(-10) - 3/((-6)/40025) a composite number?
True
Let s = -6 - -239. Let l = 16 + s. Is l a prime number?
False
Suppose 0 = -6*g - 84 + 288. Let v = g - 30. Let a(j) = 3*j**3 - 4*j**2 - j + 5. Is a(v) a composite number?
True
Let w(i) = i**3 - 4*i**2 - 5*i + 4. Let l be w(5). Suppose y = -l*n - 41 + 187, 5*y - 815 = -3*n. Let b = y + -32. Is b composite?
True
Let c be (-9)/(27/4)*6/(-4). Let x be ((-2)/(-4))/(2/(-4)). Is 53*1*(c + x) a prime number?
True
Let m(w) = -38*w**2 + 7*w - 7. Let n(x) = 19*x**2 - 3*x + 3. Let v = -17 + 26. Let i(z) = v*n(z) + 4*m(z). Is i(2) a prime number?
False
Let y = 3 - 5. Let s be 24/20*(-5)/y. Suppose -l - 3*o = -91, -l + s*o + o + 119 = 0. Is l composite?
False
Let p be ((-1)/(-2))/((-8)/(-48)). Let r be 9 + 0/(p/1). Suppose -2*x + r = -69. Is x a composite number?
True
Let z be 86/(-3)*(-81)/18. Suppose -616 = -5*t - 3*u + z, -u + 298 = 2*t. Is t prime?
True
Let t(y) = -y**2 + 5*y + 4. Let r be t(4). Let j be 2/r + (-7)/(-4). Suppose 98 + 149 = 3*u + 2*s, -4*u + j*s = -348. Is u a prime number?
False
Let z(f) = 47*f**2 - f + 1. Suppose -2*v = 2*b + 32, -3*b - v - 1 - 55 = 0. Let n be (-1)/(-2 + b/(-8)). Is z(n) prime?
True
Suppose 0*i - 332 = -2*i. Suppose -258 - i = -2*b + m, 0 = 2*b + 5*m - 412. Is b composite?
False
Is (-44050)/15*-6*(-2)/(-8) composite?
True
Suppose -3*o + 7 + 14 = 0. Let j(d) = 47*d - 10. Is j(o) composite?
True
Let d be -106*(2/(-4))/1. Let m(n) = -67*n + d*n - 2 - 3. Is m(-3) a composite number?
False
Let w(g) = 177*g**2 - 3*g - 5. Let a = -33 + 31. Is w(a) a prime number?
True
Let a(s) = s**3 + 4*s - 4. Suppose -2*g = -0*g + o + 1, 5*o = 4*g - 5. Let b(i) = -i**3 - i**2 + i + 3. Let n be b(g). Is a(n) composite?
True
Let g(v) = v - 1. Let c(d) = 472*d - 3. Let j(z) = c(z) - g(z). Is j(1) a prime number?
False
Let p(u) = 108*u + 0 - 1 + 0. Let v be p(-1). Let j = v + 308. Is j a prime number?
True
Let g(n) be the first derivative of n**7/84 + n**6/120 + n**5/30 - n**4/12 - 5*n**3/3 - 1. Let d(t) be the third derivative of g(t). Is d(3) a composite number?
False
Suppose -2*d = 2*g - 8, -3*g + 33 - 7 = 5*d. Let n(h) = 4*h**3 - 6*h**2 + 5*h - 16. Is n(d) a composite number?
False
Suppose 3*h = -2*h + 50. Suppose u = 4*a + 25, 2*a - 3*a = 3*u - h. Suppose -u*n + 413 + 1062 = 0. Is n a prime number?
False
Suppose 0 = 2*n - 43 - 443. Suppose -4*d - n = -2759. Is d composite?
True
Suppose 0 = -2*o - 5*w, 2*w + w = -o. Suppose o = y - 2. Suppose -t = -4*p + 2 - 4, 0 = -y*t - 3*p + 37. Is t a composite number?
True
Let b(u) = u**3 - 2*u**2 - 8*u + 4. Let v be b(4). Suppose 0*g = 5*o - 3*g - 782, 5*o = v*g + 781. Is o composite?
False
Suppose -3*m - d - 2327 = 0, 4*m + 3159 = 4*d + 51. Let y be m/(-4) + 1 + -4. Let o = y - 36. Is o a composite number?
True
Let k = 44 - -405. Let q = k + 30. Is q a prime number?
True
Let w = -2 + -4. Let y(v) = 6*v**2 + 15*v + 13. Is y(w) composite?
False
Let b be 1 + 10*(-12)/(-30). Suppose -b*a = 5*v - 3695, -4*a + 2958 = 6*v - v. Is a a prime number?
False
Suppose 7*v - 3*d = 8*v - 20917, 41820 = 2*v - d. Is v prime?
False
Let i(y) be the second derivative of -10*y**3/3 - 7*y**2/2 - y. Suppose -8*s = 4*z - 3*s + 38, 3*z = 2*s - 40. Is i(z) prime?
True
Let u(f) = -2*f**2 - 8*f - 12. Let z be u(-7). Let x be z/12*(10 + 0). Let h = x + 110. Is h composite?
True
Suppose -76*v + 78*v = -2*m + 111696, 0 = -2*v - 5*m + 111699. Is v prime?
False
Suppose 3*g - 5 = -s - 0, -2*g = s. Is 73/(2 - (-18)/s) a composite number?
True
Let w = 1508 + -2666. Let y be w/(-4) + (-11)/(-22). Suppose -12 = -3*n, -2*h = 3*n - 2*n - y. Is h a prime number?
False
Suppose -14634 = -8*c + 17950. Is c composite?
False
Let y(f) = 598*f**2 + 9*f + 22. Is y(4) a prime number?
False
Suppose 4*u + 0 = 8. Let c be (-3)/(2 + -1 - u). Suppose -c*w - 2*b + 130 = 0, 5*w - 3*w - 4*b