*o - 24 = -3*d, 5*d + 5 = -3*o + 41. Suppose 0*w - 5*w = -3*s - 958, 0 = 3*s - o. Is w composite?
True
Let c(t) = t + 11. Let x be c(-17). Let m be (3 + x)*(-13)/3. Suppose 2*d = d + m. Is d prime?
True
Let n(o) = o**3 - 6*o**2 - 11*o + 20. Let x be n(7). Is ((-28)/x - 3)*(-1 - -1083) a composite number?
False
Let v(c) = 78*c + 5. Suppose 5*k = 5*i + 35, -4*i - 3 = 9. Let g be v(k). Suppose g = -3*n + 1463. Is n composite?
True
Let i be 4/1*6/(-4). Let g(z) = -10*z**2 + 5*z - 3. Let y be g(i). Let f = 914 + y. Is f a composite number?
False
Let t(y) = y**3 - 3*y**2 - 5*y + 4. Let o be t(4). Suppose o = -4*b + 1161 - 41. Suppose -5*n + 2130 - b = -d, 4*d + 1464 = 4*n. Is n composite?
True
Suppose 3*y - 15 = 0, -84 + 2 = r + 3*y. Let z be 22*-3 - -1 - -2. Let w = z - r. Is w a prime number?
False
Let h(s) = 73*s - 1. Let r be h(-5). Let l = -211 - r. Is l prime?
False
Suppose 8*q = 15843 - 1259. Is q a prime number?
True
Suppose 4*t - 976 = -4*d, 5*t = d + 3*d + 1247. Suppose 670 = -2*j - 5*r, 3*j - j + 690 = 5*r. Let b = t - j. Is b a composite number?
False
Suppose -12*y - 493815 = -27*y. Is y a prime number?
False
Suppose 0 = 7*v + 290 + 725. Let y = v - -256. Is y a prime number?
False
Let m = 17 - 13. Let f = 181 - m. Is f a prime number?
False
Let s(k) = k**2 - 1. Let g(h) = -2*h**2 + 3*h + 7. Let m(a) = g(a) + 4*s(a). Let b = 19 + -15. Is m(b) a composite number?
False
Let z(p) = 4551*p**2 + 30*p + 218. Is z(-5) prime?
True
Suppose -704 = -5*t + 13281. Is t composite?
False
Let f(z) = z**3 - 20*z**2 + 4*z + 359. Is f(38) a prime number?
False
Suppose -2*m = 4*p, 5*p = 2*m + p - 8. Suppose -3*z + 286 = z - m*r, 365 = 5*z - 4*r. Is z a prime number?
False
Let t = -88 + 533. Is t prime?
False
Let o(q) = 2*q**3 - 6*q**2 + 14*q - 32. Let j be o(-13). Is j/4*20/(-30) prime?
True
Suppose -2*c = 2*q - 4826, 5*q = 4*q + 4*c + 2403. Is q prime?
True
Let a(r) = -2*r**3 - 19*r**2 - 18*r - 5. Let i be a(-12). Let p = i - 528. Is p prime?
False
Suppose 0 = 3*k + 6, 2*k + 40 = 5*j - 3*j. Is 7737/j*(-9)/(-3)*2 composite?
False
Let z be (-3 - (-1)/1*13)/(-1). Let h = 317 + z. Is h a prime number?
True
Let p be -3*(-1 + 0 + 0). Is -1 + p - (-10)/4*62 a composite number?
False
Let r = -6011 + 9745. Is r a prime number?
False
Suppose -4*g - 2*t = 764, 0*g + 184 = -g + 3*t. Let l be ((-3672)/(-8))/(-1 + 2). Let k = l + g. Is k a composite number?
False
Suppose -4*j + 2*j - 8480 = -3*g, 0 = -g - 3*j + 2834. Suppose 2*x - g = -2*v, 0*x = 2*x - 3*v - 2813. Is x a prime number?
False
Suppose -11*o = -6*o - 46155. Let b = -6502 + o. Is b prime?
True
Let q be 8/2 - -3*(-2)/6. Suppose -4*p + 410 = -q*a - 3913, a = -2*p + 2149. Is p a composite number?
True
Let c(h) = -h**3 + 10*h**2 - 10*h - 4. Let g be c(8). Let v be (-17581)/4 - (-11)/g. Is (-4)/(-18) + v/(-27) prime?
True
Suppose 4 - 2 = -v, 0 = 2*q - 4*v - 22. Let x = 13 - q. Is ((-2825)/15)/((-2)/x) composite?
True
Let s(o) = -o**3 + 2*o**2 + o. Let c be s(2). Let m(d) be the first derivative of 8*d**4 - d**3/3 - 3*d**2/2 + 3*d - 32. Is m(c) composite?
True
Suppose -2*w = 2 + 2, -2*u + 5*w = 21702. Is 4/(-6) + (u/(-12) - 5) a prime number?
False
Let f(o) be the first derivative of o**4/3 - o**3/6 - o**2 + 3*o + 1. Let j(d) be the first derivative of f(d). Is j(4) a composite number?
True
Let a(n) = 189*n - 61. Is a(10) prime?
False
Let l = 111 + -216. Let g = l - -296. Suppose 0*h - h + g = 0. Is h a composite number?
False
Is 33496 + (-1)/(-4)*112/4 prime?
True
Suppose 4*g = p - 37, 43 = 3*g - 8*g - 2*p. Suppose -515 = -12*j + 1621. Let d = j - g. Is d a prime number?
False
Is 783/174 + 243298/4 prime?
False
Let n = 4 - 3. Let m be ((-1)/(-4))/(n/4). Is (-2 + 5 - -2) + m a prime number?
False
Let i = -5560 + 8321. Is i a prime number?
False
Let k be ((-210)/(-45))/(-1 + 10/6). Is (-201222)/(-98) + (-2)/k a prime number?
True
Let z(q) be the third derivative of 37*q**7/252 + q**5/120 + 5*q**4/24 - 3*q**2. Let w(v) be the second derivative of z(v). Is w(1) prime?
False
Suppose 0 = 2*k - 0 - 4. Suppose -6*i + 606 = -3*i + 5*p, 0 = -4*i + k*p + 808. Is i prime?
False
Let h(j) = 98*j - 7. Suppose k + 2*z = -3*k + 16, 3*k - 3*z - 21 = 0. Let g be h(k). Suppose 5*p = 2578 - g. Is p a composite number?
False
Let r = -13 - -15. Suppose j + r = -3. Let s(m) = -m**3 + 4*m**2 + 3*m + 1. Is s(j) a prime number?
True
Suppose -70*f + 1563002 = 28*f. Is f prime?
False
Is 1*(-287)/(-35)*115 composite?
True
Let f be (-1 - (-3 - -4)) + 0. Let j(b) = 202*b**2 + 5*b - 7. Let d(m) = -203*m**2 - 6*m + 8. Let x(k) = 4*d(k) + 5*j(k). Is x(f) composite?
False
Suppose 24 = 3*r + 6. Suppose -x + r + 43 = 0. Let n = x - -156. Is n a composite number?
True
Let z = 508 + -326. Let w be (-2)/13 - (-92120)/z. Let x = 149 + w. Is x prime?
False
Suppose 3*j + 307 = i, -3*i - 3*j + 977 = 2*j. Is i a composite number?
True
Suppose -3*l + 0*l = -12. Suppose -3 = l*c - 5*c. Suppose -5*g + c*g = -290. Is g a prime number?
False
Let r(t) = 5*t - 24. Let d(v) = 11*v - 1. Let i be d(1). Is r(i) composite?
True
Suppose b = -1 + 9. Let o(n) = n**3 - 2*n**2 - 10*n - 11. Is o(b) prime?
True
Let d be 2/(4/9) - 7/(-14). Let q(n) = -n**3 + 6*n**2 + 7*n + 2. Let v be q(7). Suppose v*p + 759 = d*p. Is p a composite number?
True
Suppose 2 = 8*p - 7*p. Suppose -p*b + 925 = 3*b. Is b a prime number?
False
Suppose 3*p + i - 22 = 0, -i = -p + 4*i - 14. Is (0 - -2)/((-1)/((-897)/p)) a prime number?
False
Suppose -2*y - u = 3*y - 9844, 3*y = -3*u + 5904. Suppose 0 = -8*b - 3*b + y. Is b composite?
False
Let r be 8/1*(-6)/(-8). Let h = 1521 - -914. Suppose -q - h = -r*q. Is q a prime number?
True
Let z(y) = -y**3 - 7*y**2 - 6*y + 3. Let t(n) = -5*n**2 - 1. Let r be t(1). Let d be z(r). Suppose 26 - 117 = -c - 2*q, -4*c - d*q = -349. Is c a prime number?
False
Let y(f) be the second derivative of -3*f**5/5 - 3*f**4/4 + f**3/6 - 7*f**2/2 + 30*f. Is y(-5) composite?
True
Let z be -401*1/(-1) - (4 + -3). Suppose 2*c = 2*g - z, 0*g + 2*c = -2*g + 412. Is g a composite number?
True
Suppose -23*g = -18*g - 94235. Is g composite?
True
Suppose w = 7*w - 30. Suppose -25 = -w*m, 2*u - 2*m - 2*m - 2262 = 0. Is u prime?
False
Suppose 7*n - 9*n + 6 = 0. Suppose -t + 0*t + 218 = 0. Suppose -a - t = -n*a. Is a composite?
False
Let g(l) = l**3 - 9*l**2 - 6*l + 51. Is g(16) a composite number?
False
Suppose -5*c + h + 122044 = c, 0 = 5*c - 3*h - 101699. Is c composite?
False
Suppose 0 = z + 6 - 4. Is (5/3)/(z/(-138)) prime?
False
Let l = 11849 + 3662. Is l prime?
True
Is 48/(-56)*-7 + 8281 a composite number?
False
Let a(s) = s**3 - 21*s**2 - 8*s + 7. Let g = 3 - -8. Let i be a(g). Let l = -612 - i. Is l a composite number?
True
Suppose 4*c = 5651 + 15105. Is c a composite number?
False
Let r = -29 - -31. Let v be (-4 + 16)*r/8. Suppose -2*t + 367 = 5*l, v*t - 6*t = 4*l - 561. Is t composite?
False
Let n(a) = a**2 + 10*a - 9. Let c be n(-11). Suppose v - c = 2. Suppose 189 = v*x - 575. Is x composite?
False
Suppose 4*d - 4*t - 8896 = 0, -3*d + 15*t = 17*t - 6647. Is d composite?
True
Let s(v) = v**2 - 8*v + 15. Let t(a) = 4*a + 2. Let l be t(1). Let n be s(l). Is -1*(n - (-1 - -165)) composite?
True
Suppose -4*a - 95 - 56 = -3*z, -4*a = -z + 61. Is ((-382)/(-5))/(18/z) a prime number?
True
Suppose 10*l - 18 = 12. Suppose -j + 3300 = h - 2*h, 0 = -l*j - 4*h + 9893. Is j composite?
False
Let n(j) = 5*j**2 + 2*j - 2. Let i = -37 + 39. Is n(i) prime?
False
Let k = 237 - 141. Suppose -328 = -100*u + k*u. Is u prime?
False
Is 7/((-42)/(-14514))*1 a composite number?
True
Suppose 2*j - 4*d = -8, -j + 3*j + 3*d = 6. Suppose a = -x + 810 + 558, a + 3*x - 1362 = j. Is a prime?
False
Suppose -5*b - 67668 = -3*h, 0 = 3*h - 4*b + 3*b - 67656. Is h prime?
False
Let p be (2 + 8/(-10))/((-3)/(-10)). Suppose 0 = -p*t + 1032 + 764. Is t a prime number?
True
Let b(n) = n**3 - 2*n**2 - 3*n - 1. Suppose -5*k - m = 6, 0 = 2*k + 5*m - 4 + 11. Let l be (-4 + 6)*(k - -3). Is b(l) a prime number?
True
Suppose -5*i = -g + 1069, -2*i + 2090 = 11*g - 9*g. Is g a prime number?
True
Is ((-15482)/6)/((-1)/3) a prime number?
True
Is 353310/20*(-2)/(-3) a composite number?
False
Suppose -1600 = -z - z - 3*f, 2*z = 5*f + 1616. Let a = -136 + z. Is a prime?
False
Let x be 2/6 + (-7914)/(-18). Suppose -x = -4*s - 0*s.