284)/(-8) + 1*-5). Let t = 50941 - j. Is t prime?
True
Let n(x) = -x**3 + 15*x**2 - 16*x + 7. Let s(l) = -22*l - 17. Let h be s(0). Is n(h) prime?
False
Let k(v) = -v**2 + 24. Let p be k(16). Let d = p + 485. Is d prime?
False
Let u(k) = 2*k**3 - 10*k**2 + 38*k - 18. Let d be u(7). Suppose -d*a - 12579 = -447*a. Is a a composite number?
True
Let s be 3/39*-3694 + 2/13. Is (-3)/1 + (8 - s) + 4 prime?
True
Suppose -2*v + 1142308 = -595722. Is v/210 + (-2)/12 a composite number?
True
Let p be (-71)/(-284) - (-23)/4. Is (-18)/p + 8347 + 4 + -3 a prime number?
False
Let q = -29095 - -86184. Is q a prime number?
True
Let i(f) = -179*f - 34. Let c be i(-8). Let n = c + -792. Suppose -4*b + 566 = -n. Is b composite?
False
Is 28348 - (9 - 19) - -5 prime?
False
Suppose -3*u = 17*u. Suppose -11495 = -3*l - 5*g + 12207, u = 5*l - g - 39494. Is l a prime number?
False
Suppose i = -7564 + 50097. Is i composite?
False
Let t(h) = -25*h**3 - 28*h**2 - 5*h - 11. Let p(d) = 23*d**3 + 28*d**2 + 6*d + 11. Let r(b) = 4*p(b) + 3*t(b). Is r(8) composite?
True
Suppose -108110 = -5*n - 5*u, -5*u = -4*n - 2*u + 86467. Is n composite?
True
Suppose -3 = -11*m + 10*m, 0 = 4*i + 3*m + 346995. Is i/(-12) + 2 + 1/(-4) prime?
False
Suppose -3*v + 4*d - 4 = 15, 2*d - 8 = 0. Let q be -2*(9/6)/v. Suppose 0 = 5*b - q*n - 347, -5*b - 4*n + 252 = -b. Is b prime?
True
Let j = 391 + -384. Is ((-5147)/4)/((21/(-12))/j) prime?
True
Let h(g) = -240*g + 256. Let b(q) = 48*q - 51. Let i(y) = -19*b(y) - 4*h(y). Suppose 3*u - 85 = 2*f - 33, 3*f + 33 = 2*u. Is i(u) prime?
True
Suppose -8*t + 6*t = -242. Let r(z) = t + 4*z + 0*z**3 - z**3 - 4*z. Is r(0) a prime number?
False
Let o(a) = -a - 11. Let q be o(-10). Let j be (q/(-2))/((2/28)/(-1)). Is j*-10*1 + -34 + 31 a prime number?
True
Is 52970 - (-8 + -12 + 6)/(-2) composite?
False
Suppose 2*x + 62 = 2*h + 6, -5*h + x + 128 = 0. Suppose 0 = -6*r - h - 29. Is 6297*((-32)/(-144) + (-1)/r) a composite number?
False
Suppose i - 75 = 18. Let q = i + -59. Let b = 19 + q. Is b a composite number?
False
Let m(t) = 168420*t**2 - 82*t - 8. Is m(3) prime?
False
Let y be 2*2/6 - 32596/6. Let o = 14953 + y. Is o a prime number?
True
Let x(y) = y**2 - 10*y + 6. Let n be x(10). Let d(a) be the first derivative of 2*a**3 + 4*a**2 - 13*a - 53. Is d(n) composite?
False
Suppose k + 28 = 3*d, 2*d = -2*k + 23 + 9. Suppose 7*r - d*r = -5*i - 50261, 3*i - 9 = 0. Is r prime?
True
Let y be (-3)/(3/(-1)) + 4. Let j(d) = -d**3 + 17*d**2 + 8*d - 26. Let o be j(16). Suppose f - y*q - o = 201, f - 3*q = 557. Is f composite?
True
Is (-18)/4 + 19 + -16 - (-222210)/4 a composite number?
True
Let y = 22667 - -222400. Is y composite?
True
Let h = 9100 - 7589. Is h prime?
True
Suppose -2*j + 2755657 = 45*j. Is j a composite number?
False
Let r(b) = 12*b + 27. Let k(i) = 11*i + 29. Let n(s) = 3*k(s) - 4*r(s). Suppose 4*g - 28 = 3*p + 10, -2*g + 34 = -4*p. Is n(p) prime?
False
Let f(k) = -3075*k**3 - 2*k**2 - 2*k - 2. Suppose -27*i - 27 = -0. Is f(i) prime?
False
Let z be 0*(-2)/(-6) + (3 - -1). Suppose -3*v + 0*v + 5*u + 46 = 0, z*u = 5*v - 68. Suppose 440 = v*f - 2236. Is f composite?
False
Let p = -290 + 300. Is -18470*(p/15 - (-7)/(-6)) composite?
True
Suppose -6*p - 8 = -4*p, 0 = -2*u + 3*p + 12942. Suppose -5*t - 17 = -7, -c - t = -u. Is c a prime number?
False
Suppose f + f = 12. Suppose -120 = -2*u - 4*w, 3*u - 221 = -5*w - 38. Suppose -2*q + 5*x + u = 0, 2*x - f*x - 66 = -2*q. Is q a composite number?
True
Suppose 741*y = 745*y - 2*r - 1110540, -5*r = y - 277657. Is y a composite number?
False
Let y(f) = 8177*f - 10347. Is y(110) a composite number?
False
Suppose 45010 = 6*k + 4*k. Suppose 11*z + 21 = 18*z. Suppose -k = -5*l + 3*d, 2*l - z*d + 260 = 2064. Is l a composite number?
True
Suppose 2*k = 5*m + 3514046, k + 2*m + 542944 = 2299985. Is k prime?
True
Let p = -198057 - -295828. Is p a composite number?
False
Suppose 48*i - 4*i - 1491380 = 0. Is i prime?
False
Suppose 0 = 2*q + 9 + 3. Let p be (q/4)/(2 - (-5544)/(-2768)). Suppose 3*x = -p + 15246. Is x a prime number?
True
Suppose -68*w + 47*w - 214*w = -180842135. Is w composite?
False
Let w be (-35488)/(-80)*(-10)/(-4). Suppose -714 = -m + w. Is m a composite number?
False
Suppose 0*f + f - 5*o + 5 = 0, -5*f + 33 = 4*o. Suppose -4*l + 3 + 21 = -2*n, 15 = -f*l. Is (-178)/3*n/12 prime?
True
Let u be -317*(0 - (7 + -6)). Let p = 474 - u. Is p a prime number?
True
Let v(w) = -w**2 - 19*w - 3. Let c(z) be the first derivative of z**2/2 + 2*z - 10. Let r be c(-17). Is v(r) composite?
True
Suppose 5*m - 10 = 0, f - 2*m = -7*m + 1487. Suppose 3*n - f = -4*h, -2*h = 7 + 3. Is n composite?
False
Let s = 15592 - 10124. Let q(i) = -3057*i**2 + i + 1. Let l be q(-1). Let y = l + s. Is y composite?
False
Let x(f) = 191*f - 2. Let z be x(-2). Suppose 10*j = 9855 - 3805. Let w = z + j. Is w prime?
False
Let k = -43278 - -240533. Is k a prime number?
False
Suppose 4*m = w + 3009074, 2256815 = 321*m - 318*m + 4*w. Is m a prime number?
False
Suppose -2*p - 5 = -2*n + 1, -p = n - 5. Suppose -n*c + 4863 = -205. Let l = 2252 - c. Is l a composite number?
True
Let z = 1515 - -2382. Let s = z - 2076. Is s prime?
False
Let b = -111 + 133. Suppose b - 1 = 7*z. Is -2*(7914/(-4))/z a composite number?
False
Suppose -a + 105 = -4863. Suppose -3*n + 3*c + a = -0*n, 5*n - 8282 = 3*c. Is n a composite number?
False
Is 32337/21*189/81 a composite number?
False
Let z be (10/(-6))/((-7)/(-21)). Let j be -1 - -2 - (-2)/(z - -6). Suppose 128 + 73 = j*t. Is t prime?
True
Let l = -150 + 218. Let p = l - 57. Is 2/p + (-3024)/(-66) prime?
False
Is (-12)/8*4 + (29219 - -8) composite?
False
Suppose -75*z + 409 = -74*z. Suppose z = -2*r + 3647. Is r a prime number?
True
Suppose -13 = -2*k - 5*g - 4, -3*k = 3*g - 9. Suppose 6457 = k*q - 2785. Is q composite?
False
Suppose -2*k = -3 - 3, k - 4104 = -3*l. Let h = l + -3891. Is 2/(-1)*h/8 a prime number?
True
Let f(u) = -6*u**3 - 7*u**2 - 19. Let y be f(-8). Let z = y - 1344. Is z a prime number?
False
Let j(g) = 79*g**2 + 44*g - 339. Is j(74) a composite number?
True
Let j(c) = 9208*c - 19. Is j(12) a prime number?
True
Let v be ((-9)/(-12))/((-1)/(-4)) + 2. Suppose -4 = -i + 4*w, v = -3*w + 2*w. Is (-2)/4 - 9832/i a prime number?
False
Let p(f) = f**3 - 35*f**2 - 94*f + 41. Let g(b) = b**3 + 7*b**2 + b + 6. Let x be g(-3). Is p(x) prime?
True
Is (-2)/10*-49879 - 7/(210/(-36)) prime?
False
Let y(t) = 9618*t - 31. Is y(10) composite?
False
Let q = -261 + 263. Suppose 938 = n + 14*a - 19*a, -2*n + q*a + 1900 = 0. Is n a composite number?
False
Let q = 332246 + 4485. Is q composite?
True
Let z = 5079606 + -3041429. Is z a prime number?
True
Suppose -4*c = -2*x + 175710, -5*x - 3*c = c - 439345. Is x prime?
False
Suppose k + 2*k - z = -15308, 0 = k - 3*z + 5092. Let n = -2945 - k. Is n prime?
False
Suppose 5*u + 2*i = -41, -4*u - 16 = -2*i - 2*i. Let y be 4*u/1 + 4. Is (y/(-9) - -1)*87 prime?
False
Suppose -55*l = -249177 - 811718. Is l composite?
False
Let t(v) = 4708*v - 1961. Is t(36) prime?
False
Suppose 3*n - 26 = 4. Suppose 4*g = u + 96, -3*g - 3*u = -7*g + 88. Is n/(-25) - (-12185)/g a prime number?
True
Let p = 1016 + 19. Suppose -4*t + 1950 = -2*c, 3*t - 4*c - 440 = p. Is t prime?
False
Let f(u) = -u + 2. Let h be f(-6). Let d be 3/12 + 4661/316. Suppose -36029 = h*b - d*b. Is b a composite number?
False
Let j = 23371 - 13826. Let x = j + -5456. Is 0 + x - (-4 - (-5 - -3)) composite?
False
Let v(h) = 184*h + 81. Let r be v(23). Suppose -4*p + 14*f = 11*f - r, 2*f - 3256 = -3*p. Is p a composite number?
True
Suppose -5*w + m + 11122 = 0, 4*w = -w - m + 11118. Let v(z) = -2*z**3 - 73*z**2 - 43*z - 119. Let n be v(-36). Suppose 0 = -q + n + w. Is q a prime number?
True
Suppose 6*n + 29997 = 7881. Let j = n + 7731. Is j a composite number?
True
Suppose 0 = 4*n - 63*n + 1837201. Is n prime?
True
Suppose 4*p + 0*o = 3*o - 1464, 3*p = o - 1093. Let w = p + 252. Let i = w + 524. Is i prime?
False
Suppose 134*n = -207*n - 679354 + 9454307. Is n a composite number?
False
Let j = 907 - -7878. Let b = j + -5396. Is b composite?
False
Let q(s) = 199*s + 6. Let x be q(4). Suppose 2*o = 3*c - 4127, 2*o + 2183 = c + x. Is c a prime number?
True
Let m(d) = 919*d**2 - 5*d + 5. Suppose 0*z + k - 10 = -3*z, 4*z = -2*k +