5*y = -7*y + 1354. Is y a prime number?
True
Let v(a) = -1803*a - 2. Is v(-1) a composite number?
False
Suppose 3*s + 2470 = -2*l, -2*s + 4124 = -7*s + 4*l. Let f = -555 - s. Is f a prime number?
True
Let d be (1/((-1)/(-75)))/1. Let o = d - 22. Is o a prime number?
True
Suppose -5*o + 41 = 4*t + 10, -3*o + 9 = 0. Let c(s) = -s**3 + 1 - t + 2*s + 1. Is c(-3) composite?
False
Suppose 4*t - t = 483. Is t a prime number?
False
Let g = 91 + -54. Is g a composite number?
False
Suppose 0 = -3*p + 210 + 21. Is p prime?
False
Let p be (5*-4)/(4/(-6)). Let h(b) = -15*b**2 + 1. Let z be h(2). Let j = p - z. Is j composite?
False
Let t(l) = 3*l**3 + 4*l**2 + 4*l - 1. Let u be t(-4). Let x = u - -224. Is x prime?
True
Is 9356/6 + (-9)/27 a prime number?
True
Let w = 53 + 16. Is w a composite number?
True
Let v(s) = 25*s**2 + 6. Is v(5) composite?
False
Let t(o) = 6*o**3 + 6*o**2 + 5*o - 5. Let j be t(5). Suppose -5*h + j = -h. Let w = h + -153. Is w composite?
True
Let w(i) = i**2 + 3*i + 1. Let y be w(-3). Let n = 2 + y. Is n a prime number?
True
Let l(g) = g**2 + 6*g - 6. Let n be l(-7). Let a be (-27)/(-12) + n/(-4). Suppose a*j - 4*j + 130 = 0. Is j composite?
True
Let j(h) = 143*h - 7. Let y(c) = 71*c - 3. Let l(r) = 4*j(r) - 7*y(r). Is l(4) prime?
True
Let k(w) = w**3 + 2*w**2 - 5*w - 1. Suppose -2*l + 5*v = -10, v - 15 = -3*l + 3*v. Is k(l) prime?
True
Suppose -6*d + 128 = -4. Let h = 1 + d. Is h composite?
False
Suppose -3*q + 33 = 4*t - 30, 0 = 2*q + 2*t - 42. Is q prime?
False
Let p(n) = -2*n**3 + 39*n**2 - 19*n + 26. Let v(y) = y**3 - 19*y**2 + 10*y - 13. Let s(q) = 6*p(q) + 13*v(q). Let k be 15 - (20/4 - 2). Is s(k) prime?
False
Let z = 31 + -22. Let w = z - 7. Suppose i = w + 57. Is i prime?
True
Suppose -u + 45 = -3*j, j - 4*u = 2*j + 15. Suppose d = -d - 48. Is 5/2*d/j a composite number?
True
Suppose 0 = 3*o + 9, 0 = s + 4*s + 2*o + 16. Let k = 7 - s. Is k a composite number?
True
Suppose w - 82 = 3*m + 31, 3*w - 379 = m. Suppose 0 = 2*u - 90 - 32. Let n = w - u. Is n composite?
False
Let n be ((-35)/28)/((-1)/(-4)). Let t = n + 18. Is t composite?
False
Let m(z) = z**3 + 11*z**2 + 4*z + 3. Is m(-6) a composite number?
True
Let h(m) = -m**2 - 5*m - 4. Let v be h(-3). Let a be 3*1 - (-9 + 5). Suppose 4*n + 2*t - 444 = 0, a*n - v*n - 5*t = 585. Is n a prime number?
True
Let g = -7 + 5. Let b(i) = -7*i**3 + 2*i**2 - 2*i - 1. Is b(g) composite?
False
Let y(t) = -t**3 - 5*t**2 - 6*t - 3. Let f be y(-4). Suppose -f*d = -5*w + 565, 490 = 5*w + 4*d - 75. Is w a composite number?
False
Suppose 4*n = -3*g + 5914, 3*n = 4*g + 7*n - 7880. Suppose 3*u = -4*r + 1925, -3*u - 5*r = 36 - g. Suppose -u = -3*l - 2*l. Is l prime?
True
Let b = 689 - 246. Suppose c = -0*c + b. Is c composite?
False
Suppose 6*l + 5*a = 2*l + 138, 5*a + 10 = 0. Is l a composite number?
False
Let h = -120 - -283. Is h a composite number?
False
Let l = 1098 - 683. Is l a composite number?
True
Let z(h) = -107*h**2 + 3*h - 2. Let o be z(4). Let g = -1156 - o. Let b = -387 + g. Is b composite?
True
Let r = -2638 + 3953. Is r a prime number?
False
Is ((-2)/((-8)/(-6)))/(60/(-170600)) a composite number?
True
Suppose 0 = l - 6*l + 1490. Is l prime?
False
Suppose -32 = -z + 30. Is z prime?
False
Let r(u) = -7*u - 4 + 2 + 4 + 2. Let z be 14/(-4) + 2/4. Is r(z) prime?
False
Let z = -1661 + 3595. Is z prime?
False
Let j = 24 + -12. Suppose -4*n = -n - j. Suppose n*o = 2 + 6. Is o composite?
False
Is 4 - (5 - 4) - -248 a prime number?
True
Let k = 3810 + -2528. Is k composite?
True
Let j(m) = 3*m**2 + m - 1. Let a = 3 - 2. Let u be j(a). Let w(l) = -l**3 + 4*l**2 - l + 3. Is w(u) a prime number?
False
Suppose -5*g - 4*k = 2, 13 = -g - 7*k + 2*k. Suppose p + 55 = g*p. Is p prime?
False
Let x be 2 + (-2)/(-6)*3. Suppose x*t = t + 74. Is t a composite number?
False
Suppose 3*r - 1980 - 253 = 5*j, -3000 = -4*r + j. Is r composite?
False
Is -1 + 1284 + -3 - (-4 - -1) a composite number?
False
Let y(g) = 7*g - 5*g + 14*g. Let a(z) = -15*z + 1. Let r(b) = -3*a(b) - 4*y(b). Is r(-2) a composite number?
True
Suppose -r + 0*r = 0. Suppose 2*g = -p - 12, -3*g = -r*p - 4*p - 4. Is 2*((-162)/p + 1) prime?
True
Let q = 4 - 1. Suppose 0 = q*k + 2*t + 1, 2*t = -8 - 2. Suppose k*f - p - 41 = 0, -35 + 118 = 5*f + 2*p. Is f a composite number?
True
Let r = -886 + 1965. Is r prime?
False
Is -845*(5 + -6) + -6 a prime number?
True
Let k(q) = q**3 - 12*q**2 + 16*q - 6 - 4 + 4. Is k(11) composite?
True
Let d = -27 + 78. Is d a composite number?
True
Suppose -76*d = -75*d - 15. Is d composite?
True
Let s be (-2)/(1/(2/1)). Let k be s*(0/(-2) + 1). Is 2/(-1)*42/k composite?
True
Let f be (2/6 - 2)*-3. Suppose -4*p + 104 = f*r, -43 = -5*p + 4*r + 46. Is p prime?
False
Suppose -8 = -2*n + 5*j, -3*j + 16 = 4*n - 0*n. Suppose 0 = -l - n*a + 245 - 80, 2 = 2*a. Is l prime?
False
Let t be (-747)/(-12)*(-2 - 2). Let z = 382 + t. Is z a prime number?
False
Let q = 79 + -53. Let i = q - -29. Is i a prime number?
False
Suppose 0 = 3*d - 0*d. Suppose -2*f - 134 = 2*x, 2*f + 4*x = -d*x - 144. Is f*((-5)/(-2))/(-5) prime?
True
Let g(v) = 14*v**2 - 2*v + 1. Suppose 0 = 5*n - 66 + 26. Let p = -6 + n. Is g(p) prime?
True
Suppose -2*w + 2234 = -3*i - 3320, 0 = -4*w + 5*i + 11108. Is w a composite number?
False
Suppose 4*r - 116 = 2*r. Is r a composite number?
True
Suppose n - 2015 = -4*n. Suppose 2*q - l - 274 = 3*l, 0 = -3*q + 2*l + n. Is q a prime number?
False
Let m be (0 + 1)*(2 + -3). Let q(i) = i**3 - 2*i - 1. Let z be q(m). Suppose z = 3*y - 5*t - 28, 6*y - y - t - 54 = 0. Is y a prime number?
True
Suppose 4*u = 6*u - 14. Let y be (-2)/u - (-64)/28. Suppose -5*z - 3*b + 707 = 0, -4*b + 18 - y = 0. Is z prime?
True
Let r be 6/(-1 - -4 - 1). Suppose -2*a = -x - 6, 2*a + 3 = r*a - 5*x. Suppose -o - a*v = 3*o - 335, 0 = -5*o + 3*v + 412. Is o a prime number?
True
Let v(w) = -w**3 + 4*w**2 - 1. Let o be v(4). Let n(u) be the third derivative of -19*u**4/24 + u**2. Is n(o) composite?
False
Suppose -y = 4*n - 4 - 3, 5*y = 2*n - 31. Suppose 183 = n*t - 54. Is (0/(-2) - t)/(-1) composite?
False
Let s be (17 + -3)*(1 - 0). Let v = 16 + s. Suppose -h + 12 = d, -5*d - h + 38 = -v. Is d composite?
True
Suppose 4*v = b + 3060, 0 = -2*v - b + 136 + 1394. Suppose -1 + v = 4*q. Is q a composite number?
False
Let n(s) = -s**3 + 11*s**2 - 4*s + 4. Let c be n(8). Suppose -c = -5*x + 146. Suppose 0 = -5*r - g + x, g = -g - 6. Is r composite?
False
Let z(h) = -h**3 + 7*h**2 + 7*h + 1. Suppose -4*y = -32 - 0. Let w be z(y). Let r = -3 - w. Is r a composite number?
True
Let z be 638/(-4) - (-6)/(-12). Let c = z - -243. Is c a composite number?
False
Suppose 0 = -3*u + 5 - 41. Let a = u + 17. Suppose 2*m - 319 = -a*v - m, -239 = -4*v + 3*m. Is v composite?
True
Let j = 0 - 0. Is 12 + j + 1*-1 composite?
False
Suppose -8*u + 1 = -7*u. Let f(p) = 23*p - 1. Is f(u) composite?
True
Suppose q - 2 = -0. Suppose -7*v = -q*v - 655. Suppose -i + v = d, -4*i - 2*d = i - 661. Is i composite?
True
Let g(t) = t**3 + t**2 - 1. Let s = -3 - -4. Let o be g(s). Is (-36 + -2 + o)*-1 prime?
True
Let a = -663 - -1134. Is a composite?
True
Is 10732/12 - (-6)/9 a composite number?
True
Let l be 3*((-14)/(-3) - 3). Suppose -o = 2*h - 3*h + 15, 0 = -2*h + l*o + 42. Is h composite?
False
Suppose 4*s = 2*t - 3090, -2*s + 4595 = 3*t + 2*s. Is t prime?
False
Suppose 0 = 3*f - 10117 + 2938. Is f a prime number?
True
Let i = 9 - 6. Suppose -5*m = i*l, 0*m + 3*m - 9 = 0. Is 3/(-5) - 1168/l composite?
False
Let p = 187 - 105. Suppose 2*f = 2*n - p, 4*f + 0*f = 20. Suppose 0 = 2*b - 4*b + n. Is b a composite number?
False
Let p(c) = -c - 5. Let x(t) = -3. Let k(r) = 6*p(r) - 11*x(r). Is k(-6) prime?
False
Let m(k) = 9 + 4*k - 14 + 4*k - k**2. Let n be m(7). Suppose 110 = n*t - 24. Is t composite?
False
Let b = 1226 + -643. Let k = -369 + b. Suppose v = 4*j + 46 + 17, -4*v + k = 3*j. Is v composite?
True
Let d = -346 + 755. Is d composite?
False
Let d(r) = r**3 - 6*r**2 + 8*r + 5. Is d(10) a prime number?
False
Let d(q) = q**3 + q**2 + q - 2. Let u(c) be the first derivative of -c**2 - 5*c - 1. Let b be u(-4). Is d(b) a composite number?
False
Is ((-2)/4*-14)/1 a prime number?
True
Let w = -317 - -149. Is (-2)/3*w/16 composite?
False
Let i be 10/5 - (-1 + -15). Let l = i + -2. S