 -o - g = -86. Is o a prime number?
True
Suppose 0 = -3*m + 4*n - 2*n - 10, -4*n = -m - 20. Suppose 3*b - 165 = -m*b. Is b a prime number?
False
Let o(t) = 4 - 4*t - 10*t**2 + 27*t**2 - 12*t**2. Is o(7) prime?
False
Let i(a) = -4 + a + 5 + 0*a - 2*a + 6*a**3. Let g be i(1). Let j(s) = s**3 - 2*s**2 - 3*s + 3. Is j(g) prime?
False
Let b = 262352 + -137118. Is b prime?
False
Let c(k) = 1360*k**3 + k**2 - k + 1. Let f be (24/(-15))/(12/(-30)). Let d = -3 + f. Is c(d) a composite number?
False
Suppose 16*h - 44*h + 218092 = 0. Is h a composite number?
False
Suppose -12*k + 7*k = -4060. Suppose -h + 3*m = -k, -3*m - 1609 - 809 = -3*h. Is h composite?
True
Let a be 0/((-8)/(32/(-12))). Suppose 2*f - 3*o - 112 = a, -4*f - f - 5*o + 255 = 0. Is f a prime number?
True
Let f(r) = r**3 - 2*r**2 - 7*r + 6. Let x be f(4). Let m be (-1 + 2)*((-30)/6 - -591). Is (m/x)/(1/5) composite?
False
Let m(x) = -x**3 - 7*x**2 + 5. Let z be m(-7). Suppose -5284 = -z*f + f. Suppose 2*b - 3*g = -2*b + f, 2*b + 4*g = 666. Is b a prime number?
True
Let o(q) = -q**3 + 17*q**2 - 14*q - 70. Is o(11) a composite number?
True
Suppose -m = -6*m + 65. Suppose 2*b - m = 5*q, 2*b + 5*q - q + 32 = 0. Is (-4)/b - (-224)/6 a prime number?
False
Suppose d - 260 + 84 = 2*a, 5*d + 4*a = 950. Suppose 4*r = -d - 86. Let b = r + 121. Is b a composite number?
False
Let h(p) = p**3 + 55*p**2 + 51*p + 184. Is h(-39) composite?
False
Suppose 4*a = 5*s - 341, -10*a = -4*s - 8*a + 274. Is s a composite number?
True
Suppose -t + 2*o + 8 = 0, 2*t - o = 11 - 4. Suppose t*b - 350 - 908 = 0. Is b prime?
False
Suppose -252 = q - 1915. Is q a prime number?
True
Suppose 2*d + 21629 = 5*k - 0*k, -5*d + 12996 = 3*k. Is k a prime number?
True
Let f = 12655 + 32. Is f a composite number?
True
Suppose -23*a + 57187 = -796. Is a prime?
True
Let g(d) = -23*d - 13. Let w be g(-13). Suppose 4*n + w = 3*z + 50, z = -n + 81. Let b = 3 + z. Is b prime?
True
Let z(x) = -53*x**3 + x**2 + 6*x. Let u be z(5). Let r be u/(-40)*80/6. Suppose -5*i = -275 - r. Is i prime?
False
Suppose 36850 + 17802 = 4*n. Is n a prime number?
False
Suppose -u - 108 = -4*r, 2*u = r - 2*u - 42. Let l = -22 + r. Let g(a) = 3*a**2 + a + 1. Is g(l) a prime number?
True
Let y(l) = 10*l**3 - 5*l**2 + 4*l - 30. Is y(5) a prime number?
False
Let l = 32915 - 18412. Is l a prime number?
True
Let w(f) = -2*f**3 - 7*f**2 + 8*f - 5. Suppose 6 + 4 = 5*m. Suppose 2*l = -2*u - 4, 3*u - 6 = -3*l + m*l. Is w(l) composite?
False
Suppose 33*s - 23*s = 8870. Is s a prime number?
True
Suppose -4 = 3*i - 13. Suppose 0 = u - i*u + 20. Is 5/(u/(-382))*-1 prime?
True
Let i = 539 - 48. Is i composite?
False
Let c(n) = -20*n + 31. Let f(t) = 2*t**2 - 24*t + 8. Let s be f(11). Is c(s) prime?
True
Suppose -5*z = 3*h - 49840 + 19441, 4*z + 50665 = 5*h. Is h composite?
False
Let q = 1860 + 3219. Suppose -7*f + q - 718 = 0. Is f a prime number?
False
Let k(g) = -13*g + 7*g + 179 - 190 - 8*g. Suppose 4*c + 4*t + 52 + 12 = 0, -t - 5 = 0. Is k(c) a prime number?
False
Suppose 4*g + 165 = -g. Let z(w) = -w**3 + 13*w**2 - 10*w + 12. Let u be z(11). Let x = u + g. Is x a prime number?
False
Let i be 1 - (2 + (-6)/4)*-1164. Let x = -362 + i. Is x a composite number?
True
Let p be 0/2*(-1)/3. Suppose p*u - 2*u = -5*c - 242, 0 = 3*c + 4*u + 140. Let h = -27 - c. Is h composite?
True
Suppose -7*y + 3*y = -o - 681, -5*o = -5*y + 3435. Is ((o + -2)/(-1))/1 a composite number?
False
Let h = -31358 + 45303. Is h prime?
False
Let f = 534 + -905. Let z be (f/(-14))/((-2)/(-4)). Suppose i - 92 = z. Is i composite?
True
Let q = 0 + -86. Suppose 0 = 5*t + 4*z + 707, 4*t + 2*z + 425 = t. Let x = q - t. Is x composite?
True
Suppose 3*g + 10 = 8*g. Let d = 51 - g. Is d a prime number?
False
Let o = 72 - 65. Is (o - 4)/(-3) - -95 prime?
False
Let k = 26255 - 9924. Is k composite?
True
Let z be 3/(1 - 4)*-5. Let r = 9 - z. Suppose -2*c + 314 = -r*p, 4*c = -p - 4*p + 667. Is c prime?
True
Let a(p) = 3*p - 26. Let t be a(10). Suppose -t*x + x - l = -630, 0 = 3*x + 2*l - 627. Is x prime?
True
Let z(o) = -292*o + 59. Is z(-8) a prime number?
False
Suppose -3*m - 2*z = -0*m - 13, 3*m - 5 = 2*z. Suppose -m*v = 3*r - 459, r - 781 = -5*v - 0*r. Is v a prime number?
True
Let m be (-4)/(-8) - 5/(-2). Suppose 0*q - 231 = m*q. Is 4*(-4)/(-8) - q composite?
False
Let c(k) = 431*k**2 - 12*k - 106. Is c(-5) a composite number?
False
Let o(w) = w**3 + w**2 + 6*w - 9. Let p be o(6). Let y = p - -349. Suppose -3*f = f - y. Is f a composite number?
False
Suppose -8 = -5*a + 2. Let q = 8 - a. Is (-9779)/(-21) + 8/q composite?
False
Is 7 + -2 - 9714/12*-12 a prime number?
True
Suppose -4*n = -5*n. Suppose -3*l + 3*t + 418 = l, 4*l - 4*t - 420 = n. Is l composite?
False
Suppose 0*w + 9122 = 2*w. Let f = w - 3003. Suppose -477 - f = -5*a. Is a prime?
False
Let y(t) = -1 - 2*t + 0 + 1. Let l be y(13). Is (-6)/(-39) + (-178)/l prime?
True
Suppose 12*n - 22986 = 58218. Is n a prime number?
False
Let o(q) = -q**2 - 5*q - 2. Let t be o(-3). Let x(j) = j**2 - 16*j - 14. Let p be x(-6). Suppose t*m = 2*m + p. Is m a composite number?
False
Suppose 403 = 5*v + 4*k, 16 = -4*k + 4. Is v composite?
False
Suppose 3*v + 2*v = 145. Let r = 21 - v. Is (-7)/28 - 498/r a composite number?
True
Suppose 3*f + 0*f - 60 = 3*j, 4*j - 3*f + 84 = 0. Let x = j - -28. Is (-2)/4 - (-3478)/x a composite number?
True
Let a(z) = 72*z - 5. Let y be a(2). Is (-4 - -3)*-2 + y a prime number?
False
Suppose 4*h - h - 4*f - 40 = 0, -3*f - 58 = -4*h. Let n be ((-8)/(-8))/(1/17). Suppose h = u - n. Is u a composite number?
True
Let l(p) = 106*p + 15. Let k(x) be the first derivative of x**4/4 + 7*x**3/3 + 2*x**2 - 8*x - 4. Let z be k(-6). Is l(z) composite?
False
Let x(z) = -46*z**2 + 10*z + 29. Let v be x(10). Let t = 7410 + v. Is t a composite number?
False
Suppose 2*s - 239 + 776 = -5*j, -5*j + s - 549 = 0. Let d be (-192)/(-7)*3/((-15)/(-35)). Let h = j + d. Is h a prime number?
True
Suppose 2*d = 124 + 20. Suppose -5*i + 195 = 5*l, -2*l - 3*i + 4*i = -d. Is l a prime number?
True
Let z(n) = n - 2. Let a be z(4). Let c(x) = -13*x**2 + 41*x - 35. Let t(w) = -3*w**2 + 10*w - 9. Let v(f) = a*c(f) - 9*t(f). Is v(-8) composite?
False
Let c(x) = 4203*x**2 + 7*x + 5. Is c(-1) a prime number?
True
Let b(j) = -10*j + 1. Let u be b(16). Let o = 92 - u. Is o composite?
False
Let i = -14267 + 35350. Is i composite?
True
Suppose 1064 + 610 = -2*s. Let b = -590 - s. Is b composite?
True
Let d be 8/(-14) - 91507/(-91). Suppose -c = 5*v - 819, d = 2*c + 3*v - 605. Is c a composite number?
True
Let r(q) = 23792*q - 51. Is r(1) prime?
True
Let b(m) = 356*m**2 - 22*m - 56. Is b(-3) a prime number?
False
Suppose 0 = 20*m - 126465 - 230795. Is m prime?
True
Let k(o) = -o**2 + 13*o + 8. Let c be k(14). Is 3 + c + 7 + 561 a composite number?
True
Let x = 22 - 11. Let f = x - 13. Is 3 - (f + 16/(-2)) composite?
False
Suppose 4*c - 526 = d - 114, -5*d - 1955 = c. Let k = 661 + d. Is k composite?
False
Let y = 336 + 139. Let o = 888 + y. Is o a composite number?
True
Let h be (4 + -1)*(95280/18)/2. Suppose -13*r + 3*r = -h. Is r a composite number?
True
Suppose -2*i + 5*g = i - 4396, 0 = 2*i + 2*g - 2904. Is i composite?
True
Suppose -2*n = -3*u + 549 + 325, -n - 2*u - 437 = 0. Let f = 1410 + n. Is f a composite number?
True
Suppose 2*q + 5*u - 26 = 0, -q + 23 = -0*q + 5*u. Suppose -19 = q*h - 100. Let a = 140 - h. Is a a composite number?
False
Suppose -5*d + 10*d + 31 = 3*f, 5*d + 15 = -5*f. Suppose 2*r = -5*n + 1149, 2*r + 0*r - 1164 = -f*n. Is r a composite number?
False
Is (-58)/(-87)*(-4593)/(-2) a prime number?
True
Suppose -5*p + 3*p = -2*h - 5226, 0 = 2*p - 5*h - 5238. Is p a prime number?
True
Let c(p) = -p**2 - 13*p + 23. Let n be c(-14). Let u(d) = 631*d - 10. Is u(n) prime?
True
Suppose 0 = -21*n + 532316 - 88397. Is n a prime number?
True
Suppose 5*g = k, 2*k - 19 + 7 = -2*g. Let c be 18/42 + 193/7. Let v = c + k. Is v a prime number?
False
Let a be 2/(-11) - ((-88179)/77 + -9). Let g be (0 + -1 + 53)*14. Suppose -a = -4*x + 2*u, 707 = 5*x - 4*u - g. Is x prime?
False
Suppose 0 = -2*b - 3*b - 105. Let i be 2/(-4) - (-712)/16. Let m = b + i. Is m a prime number?
True
Suppose 12*z - 5 = 11*z. Suppose -3*t - 2*h + 527 + 115 = 0, -5*t = -z*h - 1070. Is t a prime 