of u**4/4 + 6*u**3 + 4*u**2 - 6*u - 7. Is q(-11) a prime number?
False
Let h = 2943 + 6706. Is h composite?
False
Let p(a) = -a - 3. Suppose -l = -2*l - 5. Let q be p(l). Is -2*q*(-358)/8 a prime number?
True
Suppose -759 = u - 2*u + r, u + 4*r = 734. Suppose -3*o - 3*w = -750, -3*o + w = -0*o - u. Is o composite?
False
Let d = -21 - -28. Suppose d*j - 8*j + 259 = 0. Is j composite?
True
Suppose -5*v = 2*f - 179863, -f + 36542 = 2*v - 35404. Is v a composite number?
True
Suppose j + 21542 = 3*a, -4*j = 4*a - 3*j - 28725. Suppose 0 = -14*n - 2211 + a. Is n a prime number?
False
Let g(a) = -a**3 + 8*a**2 - 2*a + 11. Let n be g(8). Let w(j) = -12*j**2 - 3*j - 1. Let t be w(n). Let i = -167 - t. Is i composite?
True
Let v(m) = -m**2 + 19*m + 5. Let p be v(19). Suppose 267 = p*x - 2*x. Is x composite?
False
Suppose 3*s = -2*d + 3 + 14, -5*s + 5*d = 5. Suppose -3*m = -6, -s*m = -4*q + 6*q - 824. Is q composite?
False
Suppose -3*p - 19 = -s + 3*s, -3*s - 21 = 3*p. Is (3 + -2 + s)*-1019 composite?
False
Suppose 607 - 95 = 2*s. Suppose s + 486 = 2*v. Is v composite?
True
Is ((-28)/(-16) + 9/(-36))*7934 prime?
False
Is (-3 + 0)*(-7)/((-7)/(-20287)) a composite number?
True
Let m(t) = t**3 + 9*t**2 + 9*t + 12. Let r be m(-8). Suppose -3*o + x = -26, r*x = 2*o + 3*x - 19. Suppose -y = -o*y + 1266. Is y composite?
False
Suppose 6*t = 2*t - 5*h + 9637, 0 = 3*t - 5*h - 7254. Is t composite?
True
Suppose m - 2*c + 32 = 6*m, -c = 3*m - 20. Let o be (-121)/(-55) + m/10. Suppose 2*t - 337 = -o*x, x + t = 36 + 78. Is x a composite number?
False
Suppose 5*p - 4 = 3*p, 3*p + 4 = 2*i. Suppose -i*t + 0*t = -4345. Is t a composite number?
True
Let s be 4*(117/(-15))/(2/45). Let w = s + 1369. Is w a composite number?
True
Let g = 2807 + -500. Is g a composite number?
True
Let d(s) = s + 3. Let t be d(4). Let a be 0 - (2 - (4 - t)). Let y(n) = 3*n**2 + 5*n + 1. Is y(a) composite?
True
Let i be 5*2/15 - 1092/(-9). Let c = 333 - i. Is c a prime number?
True
Let z = -44 - -308. Let a = z - 73. Is a composite?
False
Let x(w) = -9529*w - 25. Is x(-2) prime?
False
Let h(q) = 31*q**2 - 15*q + 41. Is h(6) a prime number?
False
Let d = 6316 - -462123. Is d prime?
True
Suppose -9*w - 124 = -13*w. Let h = 2318 - w. Is h prime?
True
Suppose -1 = 5*y + 4*h, -5*y + 6 + 13 = -h. Suppose -4*u - l = y*l - 3416, -3*u - l + 2560 = 0. Is u composite?
False
Suppose -v = -4*v - 2*o - 4, 0 = -o - 5. Suppose -2*u - v*t = -570, -5*t - 1219 = -4*u - 70. Let l = u - 199. Is l a composite number?
True
Let a(v) = 40 - 5 - v**2 - 4 - v. Let m be (0 - -3)/3*(3 + -3). Is a(m) a composite number?
False
Let a(y) = 4*y**2 - 8 + 2 - 4 + 7*y - 3. Is a(-12) composite?
False
Is (-2 + 2352/9)/((-2)/(-3)) composite?
False
Suppose -28*b = 11*b - 70161. Is b a composite number?
True
Let u(o) = o**3 - 2*o + 1. Let z be u(1). Suppose -5*n + n + 56 = z. Is (-5 - n)/(1/(-3)) prime?
False
Let b = 17298 + 215. Is b prime?
False
Suppose 0 = 3*f + 2*c - 1860 - 7247, -f - 2*c + 3033 = 0. Is f prime?
True
Suppose 12*w - 17681 - 30907 = 0. Is w composite?
False
Suppose 131248 + 90466 = 34*m. Is m a prime number?
True
Let y(u) = -6*u - 1. Let d be y(1). Let m(v) = v**3 + 4*v**2 + 6*v + 1. Let k be m(d). Let t = k - -333. Is t prime?
False
Let p(b) = 3*b - 1. Let q be p(2). Let o(t) = 35*t - 14. Is o(q) composite?
True
Let i = -29251 + 46377. Is i composite?
True
Suppose o + 5*o - 36 = 0. Suppose -1984 - 974 = -o*i. Is i composite?
True
Let p = 27 + -22. Suppose -p*x + 9*x = 4404. Is x composite?
True
Let r(x) be the third derivative of 329*x**4/24 - x**3 - x**2. Let g be r(2). Suppose 7 = -5*d + g. Is d prime?
False
Let z(h) = h - 2 + 2 - 6. Let q be z(8). Suppose 101 = 3*k + y, -4*k - 45 = q*y - 177. Is k composite?
True
Suppose -18 = -3*v + t, t - 5*t = 3*v - 3. Suppose -6*j + 7 = -5. Suppose 0 = j*i + 2*u - 330, 6*i - v*u = 2*i + 624. Is i a prime number?
False
Let v = 30 + -25. Suppose 0 = 4*b - v*b + 487. Is b composite?
False
Is (-2)/(-4 - (-31560)/7892) composite?
False
Let a(j) = -1. Let y(q) = -8*q + 2. Let c(z) = -3*a(z) - y(z). Is c(12) composite?
False
Is 1/(-6) - 5390/(-12) a prime number?
True
Let s(n) = 696*n**3 + 4*n**2 + 4*n - 37. Is s(3) prime?
True
Let g(j) = -j**3 + 70*j**2 - 28*j - 22. Is g(-13) composite?
False
Let s = 34 + -34. Suppose -36 = -3*x - t, 53 = -s*x + 4*x + 3*t. Is x a prime number?
True
Suppose 5*m - 6 = 4*r, 3*m - 1 = 5*r - 0. Suppose 6*k - 2*k + n + 15 = 0, 2*k + m*n = -12. Is 2/k*(-6645)/10 a prime number?
True
Suppose -3*i + 3*a + 59 = 2*a, 0 = 4*i + 4*a - 100. Let g = -19 + i. Suppose g*p = -p + 639. Is p prime?
False
Let i be -2 + 3 + 4 + -2. Suppose a - 327 = 5*l, 3*a + 4*l - i*l = 917. Is a a prime number?
True
Suppose 5*r = 3*z - 159683, 3*r = 3*z + 38813 - 198488. Is z prime?
False
Let p = 358 + -624. Let f = p - -679. Is f composite?
True
Suppose -37*o + 90474 + 359113 = 0. Is o composite?
True
Suppose 4*l - 2*p - 2688 = 0, -l + 462 + 204 = -2*p. Is l composite?
True
Suppose 3*h + 5 = 8. Is h/((-9368)/1874 + 5) prime?
True
Is (-60147)/(-18) - (-3 + (-28)/(-8)) composite?
True
Let d(v) = 251*v**2 - 6*v + 10. Is d(3) composite?
False
Suppose 123045 = -2*r + 15*r. Suppose 0 = 8*h - 11*h + r. Is h prime?
False
Suppose -4*d + 2 = 10, 5*m - 2*d - 2879 = 0. Let y = m + -349. Is y a prime number?
False
Let p = -8 - -10. Let g = 1364 + 138. Suppose 0*t - p*t = -g. Is t a prime number?
True
Let i be -15 + 2 + (-3 - -3). Let h(n) = 5*n**2 + 12*n + 30. Is h(i) a composite number?
False
Let f = -5 + 3. Let q be 173 - f - 2/(-1). Let o = -119 + q. Is o a composite number?
True
Let w(y) = -y**3 - 2*y**2 - 6*y - 34. Let f(u) = 2*u**3 + 6*u**2 + 5*u. Let a be f(-3). Is w(a) prime?
False
Let w(c) = -145*c + 47 + 5 - 2 - 22. Is w(-15) a composite number?
False
Let l = -7 + 14. Suppose 3*w - 5*h + 641 = l*w, 5 = 5*h. Is w a prime number?
False
Let p(i) be the second derivative of 7*i**4/6 + 2*i**3/3 + i**2 + 5*i. Let n be p(-3). Let c = n + -37. Is c a prime number?
True
Suppose o - 12 = 5*k, -2*o - 1 = -k - 7. Is ((-8)/3)/k*(-21078)/(-12) prime?
False
Suppose 27400 + 1029264 = 56*y. Is y prime?
True
Let j(q) = 2*q + 23. Let d be j(-7). Is (d/2 + -3)*4190/3 a prime number?
False
Let i = -1829 + 3370. Is i a prime number?
False
Let k(u) = u**3 + u**2 - 3*u + 2. Let z be k(0). Let p = -31 + 15. Is (p + z)/(16/(-104)) prime?
False
Let w be (4 - 18/5)/((-3)/(-30)). Suppose -c - 2*i = -147, -7*i + 576 = w*c - 2*i. Is c prime?
True
Suppose -7*l + 12 = -16. Suppose 3*q - 4*r = 2239, -l*r + 1 = 5. Is q a composite number?
True
Let j(i) = i**3 - 2*i**2 + i - 2. Let d be j(3). Let b be (-36)/d*(-820)/8. Suppose 53 = 2*y - b. Is y prime?
True
Suppose 41 = -3*k - 8*p + 4*p, -5*k - 63 = 4*p. Let r = -10 - k. Let q(l) = 13*l + 2. Is q(r) composite?
True
Let r(f) = -f**2 + 7*f + 9. Let s be r(8). Is 4 + 681 + s + -3 a prime number?
True
Let d = 11203 + -6158. Is d a prime number?
False
Let m(j) = 120*j**3 - j**2 - j + 1. Let u = 4 - 3. Let y be m(u). Suppose -q + 0*q = -y. Is q prime?
False
Suppose -7*g + 20 = 2*o - 3*g, 4*g - 62 = -5*o. Suppose 19*z - 1580 = o*z. Let b = z + -65. Is b a prime number?
True
Suppose f - 18 = 5*u, -4*u - f = -0*u + 18. Let w be u/12*(-640 + 1). Is 3 + (w - (-3 + 2)) composite?
True
Let s(f) = -4*f**2 - 18*f + 10345. Is s(0) composite?
True
Let f(l) = 86*l**2 + 6*l + 3. Let y(k) = 172*k**2 + 12*k + 6. Let b(u) = 13*f(u) - 6*y(u). Is b(-2) composite?
True
Let i(c) = -c**2 - 2*c + 46. Let a be i(0). Suppose 0 = l - 28 - a. Is l composite?
True
Suppose 0 = 3*w + 6, -2*w - 257321 = -4*u + 105079. Is u composite?
False
Suppose -2*g + 824 = -2*i, 0 = -4*g - 3*i + 1357 + 270. Is g prime?
True
Let c = -2011 + 3482. Is c prime?
True
Is (-36)/18*631/(-2) prime?
True
Let w = 266 - 87. Suppose 5*g = -3*s + 964, 0 = -g + s + 3*s + w. Is g composite?
False
Let x be 167600/72 - 4/(-18). Suppose -3*w = 4*c - 7*w - x, 4*c = w + 2325. Is c composite?
True
Let h = 4552 - 17. Is h prime?
False
Let h = -100 - -267. Let t = h + 16. Is t a composite number?
True
Suppose n = -5, v - 2*v + 2*n + 13 = 0. Suppose 4*c + 864 = 4*s, -2*s - 214 = -v*s + 3*c. Is s prime?
False
Suppose -m - 4*m = -z + 2, -2*z - 5*m = -4. Let u be -3*(z + (-46)/6). Suppose -127 = -2*p + n, 5*p - u = 5*n + 293. Is p a composite 