 Is w a composite number?
False
Let d(r) be the third derivative of 91*r**4/8 - 5*r**3/3 + 5*r**2. Let t(f) = -5*f - 111. Let k be t(-24). Is d(k) a composite number?
False
Suppose 22*n = 326068 + 1473840. Suppose 33*p - n = -5*p. Is p a composite number?
False
Let u be 1/(-5) - (-10 + (-372824)/20). Let x = u - -2350. Is x composite?
False
Suppose -5*v = 5, -4*v + 19 = z + 3. Suppose 2*l - z + 10 = 0. Suppose -l*x - 8480 = -5*n, 0 = 2*n + 3*x + 1323 - 4700. Is n a prime number?
True
Let v(h) = -h**3 + 10*h**2 + 23*h + 17. Let w be v(12). Is 2 - (w + (-1026 + -3 - 5)) a prime number?
True
Let d = -275 + 1767. Let a = d - 683. Is a composite?
False
Let w(o) = o + 1 + 0*o + 5*o - 7*o. Let h(l) = 16*l - 5. Let t(k) = h(k) + 3*w(k). Is t(7) prime?
True
Let u = 338 - 152. Suppose 0 = -u*k + 200*k - 74326. Is k a prime number?
True
Suppose 3*a - 4*z - 40369 = 0, 85*z = a + 81*z - 13467. Is a prime?
True
Suppose -159 = -11*h - 126. Suppose -4*t = -s - s - 6714, h*s + 8393 = 5*t. Is t prime?
False
Let c(l) = -31*l - 5. Let z be c(-2). Suppose i + z = 6*i + 2*u, -5*u - 17 = -2*i. Let w(b) = b**3 - 7*b**2 + 4*b - 5. Is w(i) composite?
False
Suppose 0 = 2*t - 2*x - 46096, -7*t + 6*t + 23033 = -4*x. Is t a composite number?
False
Suppose 6*z - 2*z - 8 = 0. Suppose -z*t + 4*t - 3 = -5*r, r - 7 = -2*t. Is (95/(-20))/(r*1/172) prime?
False
Let o = 5355 + -10042. Let m = -3030 - o. Is m prime?
True
Suppose -3 = 5*u - 33. Let n(l) = l**2 - 9*l + 21. Let r be n(u). Suppose 2*t - 3*t = -3*h - 49, 3*h + 117 = r*t. Is t a composite number?
True
Let x(l) = 3*l - 3*l + 1572*l**2 - l. Let t be x(-1). Let o = -894 + t. Is o composite?
True
Let o = 230963 - 114724. Is o composite?
False
Let v(z) = -z - 3. Suppose 2*i + 43 = -3*b, 62 = -4*b - 8*i + 3*i. Let a be v(b). Is (-8)/20 + 2514/a a composite number?
False
Let g be -60*(7 + (-2)/(-2)). Let l = -1711 + 890. Let q = g - l. Is q a composite number?
True
Suppose -14 + 68 = -9*p. Let v be (-20940)/(-16) + -2 - p/(-8). Suppose 5*o - 1659 = v. Is o prime?
True
Let b = 4368 - 4365. Let w(f) be the first derivative of 833*f**2/2 + 4*f - 1. Is w(b) composite?
False
Let o = 269400 - -648023. Is o a prime number?
False
Let w = 173 + -152. Is 47391/w + (-8)/(-28) composite?
True
Suppose -334 = 3*b + 2*s, b - 3*s + 417 = -3*b. Suppose 4*d = d - 4*h + 697, -709 = -3*d + 2*h. Let q = d + b. Is q composite?
False
Let w = -79 + 84. Suppose 3*p = -w*i + 461, 4*p = -0*i + 3*i + 634. Is p composite?
False
Let g be -2 + -1 + 5 + 3. Suppose -5*w + 6095 = 3*p, -4015 = -4*p + g*w + 4170. Suppose -3*d + 8*d = 5*a - p, 3*a + 3*d - 1230 = 0. Is a composite?
False
Let b(j) = j**3 + 26*j**2 - 19*j - 71. Let v(g) = -g**3 - 28*g**2 + 20*g + 71. Let k(a) = 3*b(a) + 2*v(a). Is k(-22) a prime number?
False
Let s be 4/(-18) + (-29)/(-9). Suppose 0 = -5*f + a + 7, -5*a = 8 - 23. Suppose f*h = 7*h + 15, -s*u + 243 = 2*h. Is u a prime number?
True
Let z(w) = -w**3 + 7*w**2 - 2*w + 21. Let u be z(7). Suppose u = 12*i - 29. Suppose i*x = 4*s - 12784, 3*s - x = 7*s - 12800. Is s composite?
True
Let q(j) = 88001*j - 2666. Is q(5) a composite number?
True
Suppose 9449067 = 95*y - 26*y. Is y prime?
True
Suppose -61*j + 3008737 = -1900586 - 2639488. Is j a prime number?
False
Let v(u) = 4*u**2 + 10*u - 125. Let i be v(23). Let o = i - 962. Is o composite?
False
Suppose -j - 979943 = -5*c, 5*c - 979941 = 152*j - 150*j. Is c prime?
False
Let b(m) = -2*m - 1. Let o be b(-11). Suppose -2*g - 33 + o = 0. Is (20/g)/(-5)*1461/2 prime?
True
Let w(t) = t**3 - 7*t**2 + 11*t - 1. Suppose 7*z = 23*z + 48. Let c be (-34)/z + 2/3 - 2. Is w(c) prime?
True
Suppose -56 + 60 = -2*t, -5*v + t + 39537 = 0. Is v a composite number?
False
Let j(z) = 34*z**2 - 5*z - 17*z**2 + 0 - 6 + 27*z**2. Suppose 4*d + 17 = f, 45*f - 5*d = 42*f + 30. Is j(f) a prime number?
True
Suppose -3*i + 810591 = 2*u, -30*u = i - 27*u - 270190. Is i a composite number?
True
Suppose 5*m - 31*x - 4334991 = 0, -4*m = -5*x - 2008641 - 1459431. Is m composite?
False
Suppose -3*k + 511752 + 106377 = 6*k. Is k a prime number?
False
Let t(l) = 19*l**3 + 4*l**2 - 4*l - 3. Let z(r) = 20*r**3 + 3*r**2 - 3*r - 3. Let o(q) = 4*t(q) - 5*z(q). Let c be o(4). Is (c/(-6) - 2)/(2/4) a prime number?
True
Suppose -4*m - 16*n = -13*n - 11083, -2*m - 4*n + 5554 = 0. Suppose 608*r = 609*r - m. Is r a prime number?
True
Suppose -g - 257*q = -260*q - 122240, -5*g + 6*q = -611254. Is g a prime number?
False
Suppose 10*b + 15968921 = 25*b + 5953526. Is b prime?
False
Let n = -22071 - -54056. Is n prime?
False
Let s be 9 + (-14915 - -5) + -1. Is s/(-3) + (-13)/39 prime?
True
Let n(l) = -13*l**2 + 3*l. Let t(g) = 25*g**2 - 7*g + 1. Let u(z) = -9*n(z) - 4*t(z). Let o be u(6). Let m = -355 + o. Is m composite?
True
Let p = 14669 + 33734. Is p a prime number?
False
Let r = -99 + 98. Is (1346/(-4)*r)/(56/112) a prime number?
True
Suppose b = -0*u - 3*u + 15, 3*b - 9 = 0. Suppose 5*o - u*c - 1095 = -0*c, -644 = -3*o + 5*c. Is o a prime number?
True
Let q(p) = 156*p**2 + 3*p - 115. Is q(16) composite?
False
Let z = -61 - -390. Let d(b) = b. Let w be d(0). Suppose -t = -w*t - z. Is t a composite number?
True
Let b be (-2)/3*-9 - 1. Suppose b*w - 15827 = -6*u + 2*u, 4*u - 12 = 0. Is w a composite number?
False
Suppose 4*v = -4*v + 1248. Suppose 37 = w - v. Suppose 0*n - 2*n = r - 383, -n - 2*r = -w. Is n a composite number?
False
Let k be 1 - (-5)/(-15)*(3 - 0). Suppose -5*v = v - k*v. Suppose -2*b + 4395 + 551 = v. Is b a composite number?
False
Suppose 0*s + 2*s - 14 = -2*f, 4*f = 3*s - 21. Is 1212 + 1/(7/s) a composite number?
False
Let m(o) = 47321*o + 10001. Is m(30) prime?
False
Let o(f) be the first derivative of -f**4/4 + 10*f**3 + 51*f**2/2 + 13*f + 72. Is o(29) prime?
True
Let d(r) = r**2 - 19*r + 40. Let b be d(17). Suppose -p + 231 = b*p. Let l = -11 + p. Is l composite?
True
Let d(r) = -7*r - 12. Let b be d(-2). Suppose 23*a - 35980 = 18*a - q, -b*a + 5*q + 14365 = 0. Is a prime?
False
Let s(w) = w + 22. Let a be s(-17). Suppose 3*n - 5*b + 2625 = 8*n, 5*b = -a. Suppose n = -5*c + 6911. Is c a prime number?
True
Suppose -42*o = -69*o + 2090583. Is o composite?
True
Suppose -30*l + 28*l + 33646 = 0. Is l a composite number?
False
Let u(p) = -5*p**3 - 4*p**2 - 5*p + 25. Let w(i) = -i**3 - i**2 + i + 1. Let a(t) = u(t) - 4*w(t). Suppose 116*c - 125*c - 117 = 0. Is a(c) prime?
False
Let j = 761163 - 434626. Is j a composite number?
False
Let i(q) = q**3 - 4*q**2 - 5. Let o be i(4). Let x = o - -8. Suppose -1682 = -5*b + x*u - 2*u, -b + 5*u = -322. Is b a composite number?
False
Let g(t) = 7*t**3 + 7*t**3 - 31 - 27*t**2 - 24*t - 15*t**3. Let u be g(-26). Let k = 142 + u. Is k a composite number?
False
Let w = 312 - -2092. Let a = w - 3458. Let x = 1683 + a. Is x prime?
False
Suppose 6*q + 2*q = 24. Is q/(-12) + (-16445)/(-4) composite?
False
Let n(p) = -p**3 + 10*p**2 - 10*p + 15. Let s be n(9). Suppose -6*d - 5*c + s = -4*d, 46 = 5*d - 3*c. Suppose -2*o + 2 = -d, -2*t + 2*o = -412. Is t prime?
True
Let v(p) = -10*p - 6. Let g be v(6). Let n be 5/(-25) + (-174)/5. Let j = n - g. Is j composite?
False
Let f(u) = 1226*u**2 - 92*u + 1167. Is f(11) composite?
False
Let v(s) = s**2 + 20*s - 40. Let k be v(-22). Suppose 12 = -k*i + 28. Is (i/(-2))/2*(8 + -457) prime?
True
Let y = 4 + 10. Suppose 0 = 4*w - 2*d + y, 2*w - 4*d = -2*w - 24. Is (1348*w)/(-4) - -2 a prime number?
False
Suppose 0*l = -5*l + 5. Let y be l + ((-18)/(-3) - 4). Suppose r - 3*q - 161 = 0, 0*r = -y*r - 4*q + 509. Is r a prime number?
True
Let d(q) = 5*q**3 + 4*q**2 - q + 1. Let x be d(-2). Let s(f) = -23*f + 31. Let t(o) = o. Let k(r) = s(r) + 5*t(r). Is k(x) a composite number?
False
Let i = 24475 + -9232. Is i a composite number?
True
Let y(z) = z**2 + 2*z - 5. Let b be y(-4). Suppose -16 = -b*l - i + 5, 36 = 4*l + 4*i. Is ((-586)/l)/((-3)/9) prime?
True
Let t(n) = 26*n**3 + 5*n**2 - 4*n - 11. Suppose 3*s = -5*z + 43, 5 = 4*s - 3*z - 4. Is t(s) a prime number?
False
Let q = -162 - -167. Suppose -4376 = -q*f + 13409. Is f composite?
False
Suppose 4 = -y + 3, 5*v + 3*y - 7 = 0. Suppose v*z - c - 6697 = -0*c, 0 = 2*z + c - 6691. Is z prime?
True
Let z = -53 - -56. Let m be 10498/6 - (4 - 10/z). Suppose v = -3*d + 880, 4*v - 5*d - m = 2*v. Is v prime?
True
Suppose 