3283. Is y prime?
False
Suppose -v - 28 = -5*v. Suppose 3*t = v*t - 3548. Is t composite?
False
Suppose 87*c + 6882 = 93*c. Is c a composite number?
True
Let u = -380 - -553. Suppose 4 = 3*x - u. Is x a prime number?
True
Let i be 75/20 + 3/(-4). Suppose i*y - 5 = 10. Suppose y*d - 445 = -0*d. Is d a prime number?
True
Suppose 2*u - 5*r + 3381 = 0, 5*u + 2*r - 1064 = -9531. Let x = u + 3236. Is x a prime number?
True
Suppose 0*y - 5*y + 20 = -2*q, -y + 4 = q. Let u be 0/(0 + -2) - -136. Suppose w = v - u, 0 = -y*v - 5*w - 0*w + 571. Is v a composite number?
False
Suppose 0 = -3*b, 5*r - 155 = 6*r - 2*b. Let l = 1776 - r. Is l a composite number?
False
Suppose 484 = 3*s + 3*x - 2618, 2*s - 2088 = 2*x. Is s a prime number?
True
Suppose -b + 2*u + 1569 = 0, -8 = -0*u + 2*u. Is b/28*(-12)/(-3) a prime number?
True
Let g = -1047 - -3652. Is g prime?
False
Let b(g) be the third derivative of 3*g**6/40 + g**5/30 + 5*g**4/24 + g**3/2 - 17*g**2. Is b(4) prime?
True
Is 345660/112 - 1*(-1)/(-4) prime?
False
Suppose 0 = -u - u - 1606. Let d = -214 - u. Is d composite?
True
Suppose -76*i + 555927 = -390881. Is i a composite number?
True
Let c(a) = -54*a + 11 - 132*a + 56*a - 54*a. Is c(-7) composite?
True
Suppose 4*v - 588 = -4*t - 0*v, 2*t + 5*v - 294 = 0. Let k = t - 88. Is k a composite number?
False
Let f be (-415)/25 - 6/(-10). Let d = 17 + f. Is 127/d*(-7 - -8) a prime number?
True
Let x(a) be the third derivative of 97*a**4/24 - a**3 - 2*a**2. Suppose -h = 5*w - 30, -5*w - 2*h + 11 + 24 = 0. Is x(w) composite?
False
Let s(q) = 2*q - 971. Let x(k) = -4*k + 1941. Let h(y) = -5*s(y) - 2*x(y). Is h(0) a composite number?
True
Let f = 12 - 3. Let o(t) = t**3 - 10*t**2 + 10*t - 7. Let s be o(f). Suppose 2*g - 2*i - 70 = s*i, -3*i = g - 35. Is g prime?
False
Let h(s) = 0*s + 25 + s + 0*s + 19. Is h(-7) composite?
False
Let o be (1 - (-7 + 0)) + -3. Suppose -5*r + h + h = -14, -o*r + 5*h + 20 = 0. Suppose 3*j - 705 = -t - j, -r*t - 4*j = -1394. Is t composite?
True
Suppose -3*p + p + 6 = 0. Suppose -945 = p*k - 4308. Is k a composite number?
True
Let j(v) = 90*v**3 - 2*v**2 - 3*v + 14. Is j(3) a prime number?
True
Suppose 0 = 4*m - 2*o - 20, -8*m = -3*m - o - 28. Suppose -v - m = 2*v. Is (-4 - -6)*(-479)/v a prime number?
True
Suppose k - 1111 = j - 0*j, -3*j - 5553 = -5*k. Suppose 6*d = 3*d + k. Suppose -g - g = -d. Is g prime?
False
Suppose 106*l = 136*l - 970350. Is l a composite number?
True
Suppose 12*y = 10*y + 88. Is 24764/y - (-4)/22 prime?
True
Let r be ((-6)/(-4) + -1)*-226. Suppose -v = -2*u + 38, 2*v + 4*u + 44 = -0*v. Let q = v - r. Is q prime?
True
Let x = 527 + 400. Suppose -k = -v - x, 2*k = -2*k + 3*v + 3706. Suppose -5*y = -k - 840. Is y composite?
False
Let u = -766 - -1573. Is u a prime number?
False
Let w(f) be the first derivative of 2302*f**3/3 - f**2/2 - f - 24. Is w(-1) a prime number?
False
Let o(g) = g**2 + 10*g + 13. Let y be o(-9). Let m(l) = -l**2 + 7*l - 10. Let c(z) = -z. Let d(i) = -c(i) - m(i). Is d(y) composite?
False
Suppose 4*h = -3*h + 2842. Let c = 2247 + -1232. Suppose -5*o = -y - c, -2*o + 4*o + 4*y - h = 0. Is o prime?
False
Let h be (-6)/(-2*(-2)/(-26)). Let i be -4 - ((-20)/6)/((-12)/(-288)). Let k = i + h. Is k a prime number?
False
Let z = 30 + -25. Let o(y) = y**3 - 5*y**2 + 4*y + 12. Let x be o(z). Let i = 23 + x. Is i a composite number?
True
Let c(m) = -52*m + 8. Let l be c(8). Suppose 2*z = -5*u - z + 3145, 0 = 5*u - 2*z - 3145. Let x = u + l. Is x a composite number?
True
Is ((-24)/18)/((-36)/1397061) prime?
False
Suppose -10*u = -13*u + 6951. Is u a prime number?
False
Let z(l) = -582*l - 1. Let u be z(-4). Suppose -4*d + u = -3*m, m + 2322 = 4*d - m. Let r = -345 + d. Is r a composite number?
False
Let d(l) = l**2 + 6*l - 20. Let u be d(-16). Suppose -3*b + u = 2*b. Suppose 3*i + j - 478 = -b, 0 = i + 5*j - 164. Is i prime?
True
Let v(k) = -k**3 + 4*k**2 - 3*k + 2. Let b be v(3). Let o(m) = 3*m - 1 + 5*m**b + 0*m**2 - 2*m**2. Is o(-6) prime?
True
Suppose 0 = -4*q + 3070 + 3318. Is q a prime number?
True
Let j be -1 - ((-45)/(-5))/(-3). Let s be 797 + -4 + 0 - j. Suppose v + 0 = 1, -5*f - v = -s. Is f composite?
True
Let n be 3*1 + 13 + -12. Suppose 4 = 4*c - n. Suppose -1 = -g + c*q + 3, 0 = 2*q. Is g composite?
True
Suppose -2*o + 5*p = -4170, -5308 + 1130 = -2*o + 3*p. Is o a prime number?
False
Let i be (-2 - -6)/(-5*(-2)/1765). Let k = 2073 - i. Is k a composite number?
False
Let x(p) = -4*p - 1. Let f be x(-1). Suppose 0 = -f*c - 6 + 24. Suppose 1126 = c*u - 4*u. Is u a composite number?
False
Let p(y) = y**2. Let m(a) be the third derivative of 31*a**5/10 + a**3/6 - 5*a**2. Let g(k) = m(k) + 4*p(k). Is g(-1) a composite number?
False
Suppose -k + 2*k - 4*a - 8183 = 0, 8182 = k - 5*a. Is k prime?
False
Suppose 0 = 5*r + 3*q - 21641, -70*q = r - 74*q - 4319. Is r a composite number?
False
Suppose -7 = -3*x + 5. Is 202 + x*(-5)/((-40)/(-6)) a prime number?
True
Let q be (-2)/(-2 + 0/1). Let h(j) = -q - 17*j - 3 - 2. Is h(-5) a composite number?
False
Let a(z) = 1037*z + 6. Is a(1) prime?
False
Let x(c) = 2*c**2 - 6*c + 24. Let v be x(22). Suppose -34*h - v = -38*h. Is h a prime number?
False
Let x be (-1 - -1)/1 - -14. Let j = 3 + 124. Let g = x + j. Is g composite?
True
Let c be 2 + (4 - (0 - -1)). Suppose s - c*s = -3260. Is s prime?
False
Is (-1)/(488698/97741 - 5) prime?
True
Is (-12)/(-6 + 8) + 3 + 4714 composite?
True
Let r = 15847 + 42880. Is r composite?
False
Let h(b) = b - 13. Let k be h(0). Let m = k - -15. Suppose 0 = m*v + g - 137, 6*g = -5*v + g + 350. Is v a prime number?
True
Let t(m) = m**2 + 2*m + 7. Let c be t(-3). Suppose 2*d - 2*l = -12, 2*d + 5*l + c = -d. Let j(v) = -2*v**3 + 5*v**2 + 7*v - 1. Is j(d) a prime number?
False
Let k = -2234 + 4048. Suppose -z - z = -k. Is z a composite number?
False
Let p be (6/(-4))/(33/(-44)). Suppose 4*b - 3674 = p*b. Is b a prime number?
False
Is 12/(-48) + (-67092)/(-16) a composite number?
True
Suppose -243 - 69 = 4*w. Suppose -j + 3*n + 1 = -2*j, 5*n = 0. Is (1 - w) + (-3 - j) a prime number?
False
Let v = -5017 + 7305. Let x = v + -3515. Is x/(-33) + (-2)/11 a prime number?
True
Suppose -2*x + w = -3, 2 = 4*x - 3*w - 1. Suppose -9*h + 1218 = -x*h. Is h a prime number?
False
Let y(w) = 247*w + 68. Is y(7) composite?
True
Let g(y) = 9*y - 12. Suppose -o = -v - 0*v - 14, o = -4*v + 34. Let s = o + -11. Is g(s) prime?
False
Let g = 16 + -12. Let b be 933 + 1/(g/(-12)). Suppose -4*z - v + 1235 = -4*v, 3*z - b = 3*v. Is z a composite number?
True
Suppose 0 = 8*h - 4*h. Suppose -2*n + y + 18 + 37 = 0, -2*n + 3*y + 65 = h. Is n prime?
False
Let p be -93*(32/(-12) - -3). Let q = 95 + p. Suppose v = a + q + 52, -572 = -5*v - 3*a. Is v a composite number?
True
Suppose 0 = -8*f + 40*f - 218336. Is f prime?
True
Let b(c) = -38*c**2 - c + 13. Let x(a) = -19*a**2 - a + 7. Let o(d) = -4*b(d) + 7*x(d). Is o(-2) composite?
False
Suppose 0 = 5*w - 4 - 6. Is (3/4)/(w*2/2864) prime?
False
Suppose -o - 121 = -1360. Suppose 4*k - 1733 - o = 0. Is k composite?
False
Suppose 3*g - s = g - 190, 2*s + 4 = 0. Let v = g - -302. Is v composite?
True
Suppose -3*c = -2*c - 3*a - 8, 0 = -2*c - 2*a + 8. Suppose c*r = 7*r - 1082. Is r composite?
False
Let c(o) = o**2 - 3*o + 3. Let r be c(3). Let b be r + 0 + 20/5. Let t = b + 4. Is t a composite number?
False
Suppose i = -i - 712. Let z = 408 - 573. Let n = z - i. Is n composite?
False
Let m be -5*(-2 - 0 - -1). Suppose -m*o - 1146 = -3*x, -x - 5*o - 77 = -459. Is x composite?
True
Let f(l) = 7*l - 2. Let q be f(1). Suppose -83 = -q*y + 122. Is -1*y*-3 - 4 a prime number?
False
Suppose -5*x + 11 = -0*u + 2*u, -15 = -2*u - x. Let n(w) = w**2 + 9*w + 5. Let i be n(u). Is i/((-2 - -4) + -1) composite?
True
Let c = 36378 + -18873. Suppose c + 7720 = 5*i. Is i composite?
True
Let j = 69 - 65. Suppose j*d - 9848 = -4*g, 0*d - 3*g = -4*d + 9841. Is d a composite number?
True
Suppose 114 = -6*j + 4*j. Is j/(-95) + (-1124)/(-10) prime?
True
Suppose l + 15 = -3*m, -3*l + l - 4*m = 30. Let y(z) = -9*z - 8. Is y(l) a composite number?
False
Let v(g) = -g**3 - 6*g**2 + 24*g + 60. Is v(-17) a composite number?
True
Let h(c) be the third derivative of c**4/24 + 203*c**3/3 + 7*c**2. Let w be h(0). Suppose 3*i - w = i. Is i prime?
False