ppose -r = 7*r - 5192. Is r composite?
True
Suppose 3*g - 1183 = 2*w, -3*g = -6*g - 5*w + 1211. Is g prime?
True
Let g be 144/(-66) + 4/22. Let x be (-1 - g)*(-2 - 31). Let k = 20 - x. Is k composite?
False
Suppose -23 = 2*s + 3*b + 22, 5*s = 2*b - 141. Let l be (0 + s + 1)/(-2). Suppose -2*w + l = -w. Is w a composite number?
False
Suppose -2*f - 2 = -5*a, -15 + 47 = -4*f - 4*a. Let c(n) = 6*n + 1. Let o be c(f). Is 152/7 + (-10)/o a prime number?
False
Let o = -79 - -114. Is (o/10)/((-1)/(-4)) a prime number?
False
Let q be (-3)/3*5*-1. Suppose o - q*u - 35 = -7, 6 = 3*u. Is o a prime number?
False
Let h be 4/(0 - 1) + 2. Let g be (h + 2 - 2) + -1. Is (-1 + -34)*(g - -2) a prime number?
False
Let d(h) = h**3 + 2*h**2 + 6*h - 4. Let p be d(-6). Let v = -69 - p. Is v a prime number?
False
Suppose r - 6*r + 646 = 3*t, 0 = -r - 5*t + 116. Is r a composite number?
False
Let h = -8 - -11. Suppose -h*x - 44 + 1229 = 0. Is x a prime number?
False
Suppose 2*q - 4*s = 4*q + 14, -q - 4*s - 13 = 0. Let f be (-255)/6 + q/(-2). Let c = 65 + f. Is c a composite number?
False
Let a be -1 + 2 - (2 + -3). Let h be (0 + 1)/(a/(-6)). Is (2 - 7)*1*h prime?
False
Let i(p) = -64*p**3 - 4*p**2 + 4*p + 1. Let m be i(3). Let w = m + 2472. Is w prime?
False
Is (4428/16 + 2)*4 a prime number?
False
Suppose 4*x = -5*v + 1659, -4*v + x = -0*v - 1323. Is v prime?
True
Suppose -2*m - 7 = -0*f + 3*f, 17 = 3*m - f. Is (46 - -1)*(5 - m) a prime number?
True
Suppose -10 = -2*k - k - 2*s, -5*s - 1 = k. Suppose -3*p + 0*z = -k*z - 245, p = -z + 77. Is (p/(-2))/(2/(-4)) prime?
True
Suppose -5*w + 2*w = -3*u + 21, -2*u + 32 = -5*w. Let t(d) = -d**3 - 2*d**2 + 8*d + 1. Is t(w) a prime number?
True
Suppose 0*o = 3*o - 561. Let t be (-4 - o)*1/(-1). Is (-1*t)/(0 + -1) composite?
False
Let u(r) = -2*r**2 + 4*r - 1. Let y be u(5). Let g = y + 65. Is g a composite number?
True
Let p(t) be the first derivative of -11*t**4/12 - t**3/6 - t**2/2 + 2. Let d(g) be the second derivative of p(g). Is d(-4) a composite number?
True
Suppose 2*r + 2*r = -a + 24, 5*a - 3*r - 5 = 0. Suppose -3*m + 8*m = -a*j + 20, 0 = -3*j - m + 4. Suppose -15 = 5*f - j*f, -122 = -2*i + 4*f. Is i composite?
True
Let t(x) = -162*x**2 - 5*x - 5. Let f(n) = -161*n**2 - 4*n - 4. Let m(c) = -5*f(c) + 4*t(c). Is m(-1) a composite number?
False
Let k be ((-3)/(-9))/(3/(-27)). Let o be k - (0 + 2 + -53). Suppose -3*m = 9, 5*f - o = -4*m + 125. Is f composite?
False
Let l(p) = -p**2 - 7*p + 14. Let g be l(-7). Is g - (3/1 - 3) a prime number?
False
Suppose 15 = 4*k + k. Suppose 4*l - 2*s = -k*s, l - 5*s = 0. Is 12 - (l + 0 - 1) a prime number?
True
Let x = -2 + 51. Let h = -10 + x. Is h prime?
False
Let v = -28 - -18. Let f be 5848/9 + v/(-45). Let t = f - 321. Is t composite?
True
Suppose 0 = 3*m - 55 - 326. Is m a composite number?
False
Let g(j) = -j**2 - 3*j. Let n be g(-3). Suppose 0 = -2*a + 178 - n. Is a prime?
True
Is 284*(-1 + 20/16) a composite number?
False
Let n = -4 + 37. Let f = 128 - n. Is f prime?
False
Suppose 0 = -2*k - 1 + 5. Suppose 0 = -5*o - 25, 0 = 3*b - 6*b + k*o + 280. Let s = b + -51. Is s composite?
True
Suppose 77 = z - 4*r, 0 = -5*z + 3*z + 2*r + 184. Is z prime?
True
Is (-3)/4*8/2 + 334 composite?
False
Is (-524)/(-3)*(-3)/(-2) a composite number?
True
Let y = 1977 + -1156. Is y prime?
True
Let u = 11 + 8. Is u a composite number?
False
Let o(l) be the first derivative of 5*l**4/4 - 2*l**3/3 + l**2/2 - l + 1. Is o(2) composite?
True
Let s(p) = 99*p + 2. Let w be s(4). Suppose x - 3*x = -w. Is x a composite number?
False
Let y(b) = 6*b**2 + b + 5*b**2 - 1 - 2*b**2. Is y(3) a prime number?
True
Suppose 2*u + 32 = -0*u. Let a = u + 38. Is a a composite number?
True
Let h be (1 + -3)/(-1) - 0. Let u(v) = -11*v**3 + 5*v**2 + 7*v + 5. Let r(b) = b**3 - b**2 - b - 1. Let w(g) = -6*r(g) - u(g). Is w(h) composite?
False
Suppose p - 8 = -4*w + 8, -2*p - 2*w + 26 = 0. Suppose -u = -22 - p. Is u composite?
True
Suppose 0 = -9*l + 14*l - 12815. Is l a prime number?
False
Let j(a) = -a**3 - 17*a**2 + 10*a - 11. Is j(-18) a prime number?
False
Is (-1)/((-3300)/(-3310) + -2 + 1) composite?
False
Let c be 225/(-81) + (-4)/18. Is (-1 + c)/(-4) - -52 a composite number?
False
Suppose 5*w - 5*g = 20, -5*w + 0*g - g = 10. Let m(h) = -128*h - 1. Is m(w) a prime number?
True
Suppose o = -2*o - 453. Let r be (-3)/(6/(-470)) - 1. Let f = r + o. Is f a composite number?
False
Suppose 0 = 3*t + 3*j - 300, -754 + 250 = -5*t - 3*j. Suppose 5*p + 10 = 0, -5*k + 5*p = 87 - 282. Let g = t - k. Is g a composite number?
True
Let r(a) be the first derivative of a**3 - 2. Let h be r(-1). Suppose -4*c = 5*x - 649, h*c - 166 = 2*c - 5*x. Is c a composite number?
True
Suppose v - 4*u = 495 - 190, -3 = u. Is v composite?
False
Let g = -126 + 215. Is g composite?
False
Let o(l) = -l**2 + 4 - l - 8 + 8 + 6 - l**3. Is o(0) composite?
True
Let j = 2 - -5. Let y(h) = h**3 - 6*h**2 + h - 7. Is y(j) a composite number?
True
Let t = 313 + 18. Is t a composite number?
False
Suppose 0 = -i - 2*i + 885. Is i a composite number?
True
Suppose m - 1 = 1. Suppose 0 = m*h - 2*j - 8, -15 - 6 = -4*h + 3*j. Is h prime?
False
Let b(r) = -r**3 + 9*r**2 + 4*r - 3. Let t be b(9). Suppose 2*h = 0, -3*u + 2*h = -0*h - t. Is u composite?
False
Let p be ((-6)/7)/((-3)/21). Let b be ((-4)/p)/((-2)/6). Suppose v + 5*d - 19 = 0, b*v - d = -3*d + 62. Is v a composite number?
True
Suppose -3*t + 519 = -738. Suppose -1064 = -5*p - 3*d, 0 = 2*p - 0*d - d - t. Is p a composite number?
False
Let g(n) be the second derivative of -n**5/10 - n**4/3 - n**3/6 + n**2/2 + n. Is g(-4) a composite number?
True
Suppose -5*m + 7 = -3. Let q = 88 - 37. Suppose -67 = -g - 3*s, -g - s + m*s + q = 0. Is g composite?
True
Let o(l) = -l**3 - l**2 - l + 3. Let c be o(0). Suppose c*n = g - 4*g + 282, n + 5*g - 106 = 0. Is n a prime number?
False
Let y be (-12)/(-3) - 2 - 5. Is ((-7)/(-3))/(y/(-9)) a composite number?
False
Is 9/(18/64) + -1 a prime number?
True
Let k be -4 - -4 - -2*1. Suppose -8*n + 608 = 4*b - 4*n, -k*n = 5*b - 751. Is b prime?
True
Let f be ((-28)/(-16))/(1/(-12)). Let n(m) = -3*m**2 + 4*m + 5. Let c be n(-7). Let s = f - c. Is s a composite number?
False
Let k(h) be the second derivative of h**5/20 + h**3/6 + 119*h**2/2 + 2*h. Let l be ((-2)/(-1) + -2)/1. Is k(l) a composite number?
True
Let u(n) = -n**3 + 3*n**2 + 5*n + 1. Let l be u(4). Suppose -l*q + 227 = -38. Is q a prime number?
True
Let g = -623 + 2062. Is g a prime number?
True
Let k be -2 - (-7)/(14/24). Suppose k*x - 275 = 5*x. Is x composite?
True
Suppose 0 = 3*s + 4*j - 8, -3*s - j = -20. Let f = s + -5. Suppose -33 = -3*d - f. Is d prime?
False
Suppose 3*c = 4*w - 9*w + 1778, 2*w = -c + 594. Is c a prime number?
False
Let i be 10/(0 - 3/9). Let s = i + 20. Is (2 - 7)*28/s prime?
False
Let i = -210 - -97. Let y = 93 - i. Suppose -2*m = -u + 5*u - y, -3*m + 97 = 2*u. Is u a prime number?
True
Let a be (5/15)/(2/30). Suppose a*r = -9 + 564. Is r prime?
False
Let n be (-8)/(-12) - 32/(-6). Suppose 4*i + n*g - 3*g - 568 = 0, 564 = 4*i + 4*g. Is i prime?
False
Suppose 4*n + 4*t + 235 = 1199, 2*t = 5*n - 1191. Is n composite?
False
Let f = 69 - -22. Is f prime?
False
Let s be ((-6)/5)/((-12)/(-40)). Let a be 7/14 + 26/s. Is 389/9 + a/27 a prime number?
True
Let c = 584 + -321. Is c prime?
True
Let z(a) = -a**2 + 6*a - 6. Let j be z(4). Suppose j*q - 1430 = -0*q. Suppose y - q = -4*y. Is y a prime number?
False
Suppose 4*y - 2*n = -7*n + 1203, n - 609 = -2*y. Is y a composite number?
False
Let w be -2 + -3*1 + 1. Let h = 7 + w. Suppose -i = -o - 18, 2*i = 3*i - h*o - 10. Is i a prime number?
False
Let d(b) = b - 2. Let c be d(4). Suppose -c*l + 0*l = -898. Is l prime?
True
Let l = 31 + -22. Suppose l*b - 4*b = 775. Let a = -93 + b. Is a a composite number?
True
Suppose 0 = -2*p + 4*p - 2746. Is p composite?
False
Let p = 753 + -417. Suppose -u = 2*u + 3*l - p, -4*u + 475 = -5*l. Is u a prime number?
False
Suppose 3*f = 5*i - 11, -5*i + 3*i = 2*f - 14. Suppose -216 = m - f*m. Suppose -4*u + m = -44. Is u prime?
False
Let p(i) = 147*i**3 + 3*i**2 + 4*i + 3. Let j be p(-2). Let d = -622 - j. Is d a prime number?
True
Let v(y) = -185*y + 5. Let w be v(-8). Suppose -5*d = -w + 200. Is d prime?
True
Let d(s) = s + 