211, b + 390 = 4*t. Is t a composite number?
False
Suppose y - 20 + 5 = 3*p, -43 = -5*y - p. Is (-174)/(-2) + (y - 7) composite?
False
Let d(v) = v**3 + 8*v**2 + 3. Let w be (8/(-3))/((-1)/(-3)). Let g be d(w). Suppose -3*n - l = -5*l - 217, 5*l + 212 = g*n. Is n a composite number?
False
Let q = 27 - 31. Let k(i) = 6*i**3 + 6*i**2 - i - 5. Let y be k(q). Let r = y + 490. Is r composite?
True
Let i be (48/(-28))/((-4)/14). Let n = 136 + i. Suppose 255 + 141 = 3*x - 5*z, 5*z = x - n. Is x a prime number?
True
Is ((-65)/(-5) - 1) + 13403 a prime number?
False
Let h(s) = s**2 + 3*s - 9. Let r be h(-8). Let f = 396 + r. Is f prime?
False
Suppose -4*q = -5*j + 34 + 6, -87 = 5*q + 3*j. Is (55/q)/(2/(-30)) a prime number?
False
Let o(t) = 2*t**3 - t**2 - 8*t + 11. Let n be o(8). Let y be n/9 - 12/(-54). Let b = y - -38. Is b a composite number?
False
Suppose 4*x - 2 = -2*n, -2*x + n + 16 = -n. Suppose -x*b + 22 = -2*b. Suppose -2*v + b = -88. Is v a prime number?
False
Suppose -10*i + 13*i - 3*d - 317787 = 0, -3*i = -5*d - 317779. Is i a composite number?
True
Suppose 0 = -4*g - g + 25. Suppose -2*w = -3*m + 13, g*w - 3*w + 5 = -5*m. Let q(y) = 108*y + 1. Is q(m) prime?
True
Let m(q) = 326*q**2 + 10*q + 3. Is m(4) a composite number?
True
Let h(t) = 44*t + 7. Let g = 9 - 7. Let n be h(g). Suppose 8*v - 3*v = n. Is v prime?
True
Let x(l) = -2*l - 37 - 3*l**2 - 3*l**3 - 4*l**2 + 2*l**3. Is x(-13) prime?
False
Suppose 431906 + 91960 = 6*z. Is z prime?
False
Suppose 52*n + 642118 = 1746962. Is n prime?
True
Let i(g) = g - 1. Let p be i(0). Suppose -l - 2 = -1. Is (-4 - (0 + l))/p composite?
False
Suppose 0*r - 4*r + 198 = 2*c, 3*r = -2*c + 203. Suppose -k = -4*b - 41, -b = 2*k - 0*b - c. Is k composite?
False
Suppose -2*d - 2*d = -5*u + 24539, -5*u + 24531 = 4*d. Is u a composite number?
True
Let l = 4 + 1. Suppose g - 228 = l*g. Let r = g + 122. Is r a prime number?
False
Suppose 3*u - 5*u - 5*r = -28, -3*u + r + 76 = 0. Let g = u + -18. Is g a prime number?
False
Suppose 6 = 3*x - 2*n, 4*n + 6 + 2 = 4*x. Suppose -x*c + 619 = -351. Is c prime?
False
Suppose -46618 = 17*q - 187055. Is q composite?
True
Suppose 3 = -3*n, 5*u - 2*n + 24097 = 8*u. Is u a composite number?
True
Let m(f) = -39*f - 6. Let c(n) = -85*n - 5. Let x(j) = 42*j + 3. Let r(b) = -2*c(b) - 5*x(b). Let v(p) = -2*m(p) + 3*r(p). Is v(-3) composite?
True
Is 78033 + (14/49)/(5/35) prime?
False
Let s be -3*1 + 1 + (9 - 5). Suppose -4*f + 6870 = s*q, -3*q + 9390 = 5*f - 914. Is q a prime number?
True
Let u(o) = -1400*o + 241. Is u(-14) a prime number?
True
Let l = -3317 - -7348. Is l composite?
True
Let z(s) be the first derivative of s**3/3 - 4*s**2 - 11*s - 3. Let i be z(8). Is (-3 - -5)/((-1)/i) a composite number?
True
Let a = -4 + 2. Let b be 2 - -2 - (a - 0). Is (-2 + 3)/(b/762) prime?
True
Suppose 590 = w - 3*k, 4*w - 3*k + 1095 = 3455. Suppose 2*a - w = -0*a. Is a prime?
False
Let l(r) = 30*r. Let k be l(-1). Is 2/(-3)*k/2 a composite number?
True
Suppose 0 = -5*z + 5*n - 1185, -4*z + 3*n + 188 = 1138. Let y = 12 - z. Is y a prime number?
True
Suppose 0*i + 5 = i. Is 395*i - (2 + -6) a prime number?
True
Suppose 0 = 2*s + c - 1700, 0 = -2*s + 3*c - 7*c + 1694. Is s a prime number?
False
Suppose 0 = -3*i, 3*g - i = -0*g + 63. Let b = -16 + g. Suppose 0 = -v + 1 + b. Is v a composite number?
True
Let q be (-60)/(-16) - 1/(-4). Let f(w) = -6*w**3 + 6*w + 7*w**3 + 7*w**2 - 3 - 9*w**2. Is f(q) a composite number?
False
Let h(j) = -j - 5. Let x be h(-5). Suppose x = -5*n + 5, b - 2*n + 1540 = 3*b. Is b prime?
True
Let a(b) be the first derivative of -b**4/4 - b**3/3 + 5*b**2/2 - 13*b + 33. Is a(-8) composite?
True
Let c(h) = 26*h**2 - 5*h + 2. Let d(g) = -25*g**2 + 6*g - 1. Let p(u) = 4*c(u) + 3*d(u). Let v(q) = -1. Let o(k) = p(k) + v(k). Is o(3) a composite number?
True
Let r be (-21 + -1)/((-4)/8*1). Is 8/r - 1677/(-33) a prime number?
False
Let q be (10/(-40))/((-2)/824). Suppose 0 = -4*f + q + 357. Suppose -3*w - 2*w = -5*r - f, w - 4*r = 35. Is w prime?
True
Let w = 22 + -15. Suppose w*x = x + 3498. Is x a prime number?
False
Let y(s) = -s**2 - 10*s - 12. Let c(u) = u**2 - 8*u - 1. Let l be c(7). Let t be y(l). Suppose t*w - 112 - 732 = 0. Is w prime?
True
Let o(m) = -m**3 - 9*m**2 - 3*m - 1. Let s be o(-9). Suppose -2*a = -1212 - s. Let n = a - 96. Is n prime?
True
Let q be 1 + (-3)/(7 - 4). Suppose 4*a - 4*h - 524 = q, 8 = -2*h - 2*h. Let z = 82 + a. Is z a prime number?
True
Let q(v) = -v**3 + 5*v**2 + 7*v + 4. Let g be q(6). Suppose -1 = -4*d + 3*t, -4*t + 10 = -g. Suppose -k - 771 = -d*k. Is k a prime number?
True
Let i be (-2)/(-18) + (-39559)/117. Is 0 - i - (-12)/(-4) composite?
True
Let t(p) = 47*p + 13. Let h be t(4). Suppose 0 = 2*i - 3*c - 428, i + 3*c - h = -2*c. Is i prime?
True
Suppose -2*n + 958 = 5*o - 31814, -3*o + 6 = 0. Is n a prime number?
True
Let k(q) = -5*q**3 - q**2 + 1. Let n be k(-1). Let x(b) = -n*b + 2 + 6 + 6 + 12*b**2 - b**3 - 1. Is x(10) composite?
False
Let n = 1807 + 750. Is n a prime number?
True
Let h(p) = -p + 1. Let l(w) = 2*w**2 + 5*w + 312. Let m(y) = 5*h(y) + l(y). Is m(0) a prime number?
True
Let b = -6622 - -9543. Is b a prime number?
False
Let w(m) = -68*m**3 - 20*m**2 - 11*m + 9. Let j(y) = -23*y**3 - 7*y**2 - 4*y + 3. Let s(x) = 8*j(x) - 3*w(x). Is s(4) composite?
True
Suppose 4*c + b = -31, -2*c = c + 2*b + 17. Let s be -1 - c - (3 + -1). Suppose -l = -s*l + 2*a + 221, -l = a - 40. Is l prime?
True
Let j = -5153 - -8106. Is j a prime number?
True
Let p = 9 + -4. Is (-3 - 124/p)*-5 a prime number?
True
Let y = -6379 - -10050. Is y composite?
False
Let y = 22 + -18. Suppose -g = -5*p + 969, 972 = y*p + p + 2*g. Is p a composite number?
True
Suppose -9*h + 32828 = -49351. Is h prime?
False
Let a(i) = -2*i - 3. Let d be a(-3). Suppose 2*h = d*b - 0*h + 25, 0 = -5*b + 4*h - 45. Let y(m) = -65*m + 6. Is y(b) a prime number?
True
Let b = 101 + -287. Let r = b - -665. Is r a prime number?
True
Let q(a) = a - 2. Let w be q(0). Let b be (3 + w)/((-3)/(-1194)). Let t = 753 - b. Is t prime?
False
Suppose 5*r - 405 = -0*r. Suppose -r = 2*a - 555. Is a a prime number?
False
Let m be (-2)/(-3) + (-40)/(-12). Let a = 4 - m. Is 0 - -91 - a/1 a prime number?
False
Suppose -3*n - 5*j + 45323 = 0, 34*j = 29*j + 20. Is n prime?
True
Is -4 + (8717/1 - 0/(-4)) composite?
False
Let u(c) be the first derivative of -3*c**4/2 + c**3/3 - 7*c**2/2 - 11*c + 26. Is u(-4) composite?
True
Suppose 5*o + 5*z - 250 = 0, 2*o - z - 87 = 1. Is o a prime number?
False
Suppose -67*y - 4277407 = -12619778. Is y composite?
False
Suppose 49*k - 3922 = 47*k. Is k a composite number?
True
Suppose 19 + 48 = y. Suppose -9*s + 7 = -11. Suppose 0 = -s*l + n - 2 + y, 0 = l - 3*n - 25. Is l a composite number?
True
Let h(a) = -a**3 - 18*a**2 - 11*a + 79. Is h(-27) a prime number?
False
Suppose 245966 = 25*j - 189059. Is j a composite number?
False
Suppose -s + 16094 = -5*a + 2862, 4*a - 2*s = -10588. Let z = a + 4127. Is z a prime number?
True
Let h = -42 + 65. Let c(m) = m**2 + 12*m + 18. Let d be c(-9). Let t = h + d. Is t prime?
False
Suppose 76 + 1978 = -2*j. Is (-1)/(-4) + j/(-4) composite?
False
Suppose -a + 4 = 4*z, -2*z - a + 2 = a. Suppose -3 = 2*k + 1. Is z/(k/(-506))*1 a composite number?
True
Suppose 30 = 2*h + 3*h. Suppose z = 1, -c + h*c + 3*z = 2218. Is c composite?
False
Let g(c) be the second derivative of -17*c**5/20 - c**4/4 + 2*c**3/3 - c**2/2 + 11*c. Is g(-3) prime?
True
Suppose -5*o - 2*w = 77, -w - w = -2*o - 42. Is ((-177)/(-4))/(o/(-68)) prime?
False
Let f be (-3 + 3)/(0 - 3). Let n be (1 - f)/((-1)/(-5)). Suppose -v - 3*o + 384 = 2*v, n*o + 249 = 2*v. Is v a composite number?
False
Is ((-1076445)/39 + 8/52)*-1 a composite number?
True
Suppose -4*x + 234642 = 2*s, -7*s - 117333 = -8*s - 5*x. Is s prime?
False
Let w be (-9)/3 + 4 + 837. Let l = w + -585. Is l a prime number?
False
Suppose -7*d = -2*d - 26605. Is d composite?
True
Suppose -2*j + u = -687, 4*j - u = 1000 + 369. Is j composite?
True
Suppose 63 - 3 = d. Is 1492/d*6 - (-2)/(-10) a composite number?
False
Suppose p - 71 = 5*w - p, -3*p - 4 = w. Let u = 13 + w. Suppose -3*i + c = 2*i - 883, u = 4*i + 5*c - 718. Is i a composite number?
True
Suppose -3701 = 8*t - 35389. Is t composite?
True
Let l(t) = 