rime number?
False
Suppose 4*z - 2645 = -4*u + 3511, 4*u = 2*z + 6168. Is u composite?
True
Suppose 35 = -h - 4*l, -4*h = l + 5 + 60. Is (5/h)/((-1)/2235) a composite number?
True
Let v = 18527 + -9018. Is v a prime number?
False
Suppose 8*j = 7*j + 1. Let s(c) = 308*c**3 - c. Is s(j) a composite number?
False
Let j be (-2443)/(-14) - 6/4. Suppose j = 3*u - 76. Is u prime?
True
Suppose m - 4*y = -4*m + 43, 0 = m - y - 9. Let q(s) = 77*s - 5. Let w be q(m). Suppose -5*f = -w + 79. Is f composite?
True
Let g be (0 - 1192/(-6))*-3. Let m = -159 - g. Suppose -4*f + 2*d = d - 1790, 0 = f + 5*d - m. Is f prime?
False
Suppose 0 = -5*v - 5*b + 44455, 8*v - 10*v = -4*b - 17782. Is v a prime number?
False
Let k = 16 + 195. Is k prime?
True
Let y(q) = -71*q - 3. Let l be y(4). Suppose -2*c + 477 = -451. Let t = l + c. Is t a prime number?
False
Let b(x) = 2*x**2 - 9*x + 5. Let a(k) be the second derivative of k**4/12 + k**3/6 + 3*k**2/2 + 8*k. Let s be a(-3). Is b(s) a prime number?
False
Suppose -13*a = -4*h - 14*a + 107394, 3*h = 3*a + 80553. Is h a prime number?
True
Let s(a) be the first derivative of -a**4/2 + 8*a**3/3 + 3*a**2/2 + 5*a - 17. Is s(-6) a prime number?
False
Suppose -2*q - 3*v + 2*v - 2449 = 0, v - 3 = 0. Let x = -69 - q. Is x a composite number?
True
Let r(h) = -h**3 + 4*h**2 - 7*h + 2. Let t be r(5). Suppose 0 = 4*z + w - 1173, 0*z + 4*w = -2*z + 590. Let i = t + z. Is i composite?
True
Let n(l) = 13*l + 3. Suppose -15*v = -v - 140. Is n(v) a prime number?
False
Let z be (-12)/30 + (-38)/5. Let s be 22*(-4)/z - 1. Let h(w) = w**3 - 8*w**2 + 11*w + 7. Is h(s) prime?
True
Suppose 58*p + 2*x = 62*p - 32340, -8067 = -p - 4*x. Is p a prime number?
False
Suppose 2*m + 3*n - 30811 = 0, -4*n = 24*m - 23*m - 15418. Is m composite?
True
Suppose 0 = -0*t + t + 5579. Is 3/(7/(t/(-3))) composite?
False
Let d be 2/5 - (-48)/30. Suppose -3*p + 10 = d*p. Suppose 0 = p*x + 2*x - 508. Is x prime?
True
Let d(z) = -13*z**3 - 2*z**2 + 3*z + 2. Let m be d(-3). Suppose q - 2*t - 119 = 0, 2*t = -3*q + 516 - 175. Let v = m - q. Is v a prime number?
True
Suppose 3*r = 2*p + 17911, -3*p - 23886 = -4*r - 5*p. Is r a prime number?
False
Is (35 + 4)*51 - (1 - 6) a prime number?
False
Let d(g) = -g**3 + 4*g**2 - 4*g + 12. Let r be d(3). Suppose f = 4*f - r, f + 2432 = 5*n. Is n a composite number?
False
Let c(b) = 50*b**2 + 22*b - 7. Is c(-13) a prime number?
False
Let j(w) = w**3 - 5*w**2 + w - 3. Let z be j(4). Let b = z - -21. Let u(m) = 8*m - 15. Is u(b) a prime number?
False
Is (13/65)/((-1)/(-21205)) composite?
False
Let t = 33 + -31. Suppose 3*c + 0*c = -4*h + 5443, 4*h = t*c + 5418. Is h composite?
True
Let a be 3/(28/30 + (-15)/45). Suppose d + 4*n - 561 = 121, 3*d + a*n = 2067. Is d composite?
True
Let q(n) = -1778*n + 37. Is q(-2) composite?
False
Suppose -4*w - 2026 = -3*h + 2885, -h = -3*w - 1642. Is h prime?
False
Suppose -799 = -6*r + 1043. Is r composite?
False
Suppose -2*b + 0*b - 4*j + 106 = 0, -2*j = -3*b + 135. Suppose o + 22 = -b. Is (o/(-2))/(3/6) composite?
True
Let w = 4092 - -879. Is w prime?
False
Let j(d) = 2*d + 43*d**3 + 0*d**2 + d**2 - 4*d**2 - 1. Suppose -3*u - 6 = -6*u. Is j(u) composite?
True
Suppose 197*d = 203*d - 17562. Is d prime?
True
Let c(d) = -225*d - 4. Let o be c(-9). Suppose 2*b - o = -727. Is b composite?
False
Let a(b) = -b**3 - 3*b**2 + 5*b - 3. Let q be a(-10). Suppose f - 1579 = 4*m, -f = 4*m - 908 - q. Is f a prime number?
True
Let r = 17 - 13. Suppose 5*q - 3288 = 5*j + 667, -5*q + 3955 = -r*j. Is q a prime number?
False
Let v(f) = -f + 1. Let t(q) = 2*q + 7. Let h(a) = -a - 1. Let c(p) = -4*h(p) + t(p). Let d(r) = c(r) + 2*v(r). Is d(6) prime?
True
Suppose -3*r + 21042 = -88203. Is r prime?
False
Suppose 4*j = 2*x + 22, 4*j + x - 13 = -0*j. Suppose o - 3*f = -0*f - 17, -j*o + 2*f - 18 = 0. Is (-418)/(-4)*(-4)/o composite?
True
Suppose 4*i + 439 = -1421. Let x(g) = -g**2 - 7*g + 230. Let n be x(27). Let b = i - n. Is b a composite number?
False
Suppose -2*a = -c + 116, 0*c + 5*c - a = 625. Suppose -3*l + c - 457 = -k, -3*l = 0. Is k prime?
True
Let m(r) = -217*r - 35. Is m(-34) prime?
False
Is -159*(-8 - (-4370)/(-30)) a prime number?
False
Let o = 57 + -55. Suppose 2*y = -3*t + 7709, o*t - 4374 = 3*y + 761. Is t composite?
True
Let c(z) = -1279*z - 164. Is c(-13) prime?
False
Suppose 0 = r - 5*r + 12. Suppose 0*y = -5*w + y + 17, -r*w - y = -7. Suppose -22 = -w*n + 71. Is n composite?
False
Is 388/970 - (-1 + (-77356)/10) prime?
False
Suppose 4*c + 2*b = 2282, 0*c - 1153 = -2*c - 5*b. Suppose -310 = -3*h + c. Is h prime?
True
Let i be -35*(2 - 24/10). Let u be 60/i - (-8)/(-28). Suppose 43 - 191 = -u*c. Is c prime?
True
Suppose 3*a = 5*d - 11, -36 + 10 = 3*a - 2*d. Is (-3)/(-2)*(-952)/a a prime number?
False
Let q(d) = -41816*d**3 - d**2 + 4*d + 2. Is q(-1) prime?
True
Suppose -75*d + 32*d + 1952329 = 0. Is d a prime number?
True
Suppose -7*a = -6 - 8. Let o be (-3)/(-7) + (-21)/49. Suppose 74 = a*z - o. Is z a prime number?
True
Let g = 4 - 2. Suppose -g*m - 2*m = -16. Suppose 0 = -6*q + m*q + 110. Is q a composite number?
True
Let t = -520 + 4761. Is t composite?
False
Let x(v) = -2200*v - 31. Is x(-2) composite?
True
Let d = -147 + 249. Suppose -115 = -7*x + d. Is x a prime number?
True
Let o = 8 + -4. Let j be 2/o + (-7)/14. Suppose j = -5*n + 3731 - 826. Is n a prime number?
False
Suppose 3*q = 5*d - 31512, 4*q + 49104 - 17593 = 5*d. Suppose 0 = -2*y - 5*o + 1503 + 1025, 0 = 5*y + 4*o - d. Is y prime?
True
Suppose -4*o = -5*h - 15, -h = 5*o - o + 3. Suppose o = 157*c - 156*c - 967. Is c a prime number?
True
Suppose -3*p + 0*p = -12, -3*p - 1424 = 4*i. Let a = i + 1211. Is 2*(a/8 - 1) composite?
False
Let c be 400/60*36/10. Suppose 9*n - n = -c. Let h(q) = -q**3 - 2*q**2 + 3*q + 3. Is h(n) a composite number?
False
Suppose -2*s + 2 = 2*h - 6, -7 = -3*s - 2*h. Is 2*s/((-10)/20555) a prime number?
True
Let c(g) = g**2 + 6*g + 4. Let l be c(-4). Let f be 4/(8/l) + 6. Suppose 5*d - 3*o - 1292 = 0, -5*d + f*o + 496 = -795. Is d composite?
True
Let v = -12662 + 21453. Is v a composite number?
True
Suppose 28019 + 43533 = -8*u. Let s = 12881 + u. Is s a prime number?
False
Suppose 330*i - 323*i = 78722. Is i a prime number?
False
Suppose -5*b = -6*b - 30. Let o = b + 17. Let q = o - -162. Is q a composite number?
False
Is (61423 - -7 - 9)*1 a composite number?
True
Let c = 52 + -41. Suppose c*n - 14796 = -5765. Is n a composite number?
False
Let j(v) = -6*v**3 + 14 + 1 - 6 + 11*v + 0*v**3 + 12*v**2. Is j(-8) a prime number?
True
Let p = 16 - 8. Suppose -k + p = k. Suppose -224 - 372 = -k*f. Is f prime?
True
Let u(w) = -23*w**3 - 13*w**2 + 4*w + 17. Let i(m) = -12*m**3 - 7*m**2 + 2*m + 8. Let k(o) = -5*i(o) + 3*u(o). Is k(-4) a composite number?
True
Suppose -4*b = -418 - 1626. Suppose 2*s + b = m, s + 514 = m - 4*s. Is m composite?
False
Let s = 7092 + -4151. Is s prime?
False
Let v = 435 - 382. Is v composite?
False
Let n(j) = 85*j**2 + j. Let b be n(-1). Let r be (b/70)/(3/10). Suppose -r*m = -8*m + 1220. Is m prime?
False
Suppose 0 = -0*o + o - 5. Suppose -2*a + 9 = -5*a, o*s - 18 = a. Suppose 581 = s*r - 658. Is r composite?
True
Suppose 2*d - 25693 = -3*o, 106*o + 25699 = 109*o + 5*d. Is o prime?
True
Let p = 22 - 20. Suppose 551 + 591 = p*h. Is h prime?
True
Let y(l) = -4*l**2 + 4*l + 6. Let k be y(6). Let v be 1 - -248*(1 - 2). Let d = k - v. Is d composite?
True
Let p be 6/10 - 84336/(-140). Suppose -2*h + 312 = q - h, -p = -2*q + 5*h. Is q a composite number?
True
Suppose 29452 + 64057 = 13*d. Is d composite?
False
Let d(a) = 2*a**3 + 22*a**2 + 9. Let j be d(-11). Suppose j*m = 5*m + 2872. Is m composite?
True
Let z = 31 - 28. Suppose -z*n - 2 + 13 = -4*i, 0 = n - 3*i - 2. Suppose -2112 - 113 = -n*f. Is f composite?
True
Let b(l) = 12*l + 7. Let w = 16 + -11. Suppose -5 = -w*z + 25. Is b(z) a composite number?
False
Let f = 91 - 93. Is 8/f*(-14020)/80 composite?
False
Let i(j) = -j**2 + 10*j - 2. Let b(n) = -2*n**2 + 21*n - 5. Let f = -19 + 23. Let u(a) = f*b(a) - 9*i(a). Is u(8) a prime number?
False
Let y(a) = -1519*a**2 + 12*a - 17. Let x be y(9). Is ((-2)/(-4))/((-14)/x) prime?
True
Suppose -s - 5*k = 18, 32 + 2 = -s - k. Suppose -3*n + 49 = -134. Let t = n + s. Is t composite?
False
Suppose -3*p =