t composite?
False
Suppose -4*p = p - 40. Suppose 3 - p = -j. Suppose -j*g - 4 = -b, 75 = 5*b - 2*g - 14. Is b a prime number?
True
Let g = -5 - -7. Suppose 4*u - g*u - 46 = 0. Is u a prime number?
True
Let w(h) = -h**3 - 6*h**2 + 2. Let u be w(-6). Suppose 21 = -y + 2*s, -3*s - 31 = u*y + 11. Is 22*(y/(-6) - 2) composite?
True
Suppose 2*i = 5 + 1, a = -5*i + 18. Suppose 2*q + 5*f = 216, a*f - 42 - 67 = -q. Is q a prime number?
True
Let w = 8 - 5. Let o be (6 - 3) + 0/1. Suppose w*g - 107 = z - o*z, -3*z = -5*g - 170. Is z composite?
True
Let p be (-51)/9 + (-4)/(-6). Let c(l) = 30*l**2 - 6*l + 5. Let k be c(p). Suppose 4*a = -a + k. Is a a prime number?
True
Let g(u) = 211*u + 19. Is g(4) composite?
False
Let b = -6 + 4. Is 75 + (b + -2)/4 a prime number?
False
Let u be (-1 - 39/6)*-20. Let d = u - 101. Is d composite?
True
Let w(g) = -6*g. Let v be w(-4). Suppose -4*p + 2*p = -v. Is p/(-9)*18/(-4) a composite number?
True
Suppose -5*n + 2*m = -1247, n - 2*m - 235 = 2*m. Is n composite?
False
Let m = -6 - -8. Is m a prime number?
True
Let i be ((-1)/((-2)/4))/(-2). Let w(n) be the second derivative of -5*n**3/2 - n**2/2 + n. Is w(i) prime?
False
Suppose -17*m + 1315 = -12*m. Is m a composite number?
False
Let a = -1 - 1. Is 163 + (a - -5) + -5 a composite number?
True
Suppose 27 = 5*c - 28. Let a = -5 + c. Let f(y) = -y**3 + 7*y**2 + 3*y - 7. Is f(a) a prime number?
True
Suppose 4*y = -2*u - 9 - 3, -3*y = 2*u + 10. Let i be 30/(-9)*(-9)/(-6). Let t = y - i. Is t prime?
True
Let s be 774/14 + (-8)/28. Let g = s + -100. Let n = g - -104. Is n prime?
True
Suppose -t + 8 = -4*o, 4*t - 13 = -4*o + o. Let l be (86 - o)*(-32)/12. Let p = l - -489. Is p composite?
False
Suppose -3*w = -10 - 38. Let q = -7 + w. Is q prime?
False
Let j(m) = m**3 - 14*m**2 + 30*m + 34. Is j(14) a prime number?
False
Suppose 3*u - 11 = -4*n, -n + 1 = -2*n + 3*u. Suppose -28 = n*y - 206. Is y prime?
True
Let b = 2 - 0. Suppose g = -g - 34. Is 3/(-2)*b*g a composite number?
True
Let g = 11404 + -3411. Is g prime?
True
Let w(h) = -h**3 + h + 181. Let d be w(0). Suppose -n = -6*n + 2*q + d, q = 2*n - 72. Is n a composite number?
False
Let f be 1 - -2*287/2. Suppose -3*y - f = 3*j, 238 = -5*j + 4*y - 251. Let k = -48 - j. Is k a prime number?
False
Let y(o) = -o**3 + 4*o**2 + 4*o. Let l be 5 - (2 + -1 + 0). Let u be y(l). Suppose -2*c + 18 = 3*t + c, -c = -t + u. Is t composite?
False
Suppose -5*d + 1493 = 4*c, -2*d - 3*c + 63 + 530 = 0. Is d composite?
True
Let v = 9 - 5. Is ((-38)/v)/((-2)/4) composite?
False
Let w = 6 - 1. Suppose -w*q = 48 - 493. Is q a composite number?
False
Suppose 0 = -4*s + 761 + 1755. Suppose -u - 2*t = -297, -2*u = -3*t - 0*t - s. Is u composite?
False
Let d = 6869 - 3688. Is d prime?
True
Let q(c) = c**2 - c + 33. Is q(0) composite?
True
Suppose r + 4*r + 20 = 0. Is 186 - (r - (-2 - 1)) a composite number?
True
Suppose a = 4 + 53. Suppose -4 = -d - 2*q + 9, -5*d + a = 2*q. Is d a composite number?
False
Let c = -367 + 582. Suppose -c - 2 = -z. Is z prime?
False
Let f(m) = 6*m + 2. Let x be (-2)/(1/3*-1). Let s(a) = -5*a - 2. Let d(o) = x*s(o) + 4*f(o). Is d(-3) a composite number?
True
Suppose -5*g = -5*m + 625, -7*m + 2*m + 621 = -4*g. Is m a composite number?
True
Let m(h) = 25*h**2 - 7*h - 1. Is m(4) composite?
True
Let l = -7 + 10. Suppose 4*g = 3*d - 221, l*g - 25 = 8*g. Is d composite?
False
Let p be (-2 - -1)*(1 + -4). Suppose t = -p*t + 168. Let n = -11 + t. Is n composite?
False
Suppose 3*f + 3*q - 1 = f, f = 3*q - 13. Let l be 2 - 2 - (-760)/f. Is ((-1)/(-2))/((-1)/l) a composite number?
True
Let a = 305 + -186. Suppose -27 = 2*l - a. Let h = 65 - l. Is h composite?
False
Let o(n) = n + 1. Suppose 0 = -4*u + 6*u - 2. Let j be o(u). Is ((-6)/j)/(-3)*7 prime?
True
Let i(r) = -r**3 - 14*r**2 + 14*r + 12. Let v be i(-15). Suppose -n + v = -4. Is n a prime number?
True
Let t = -21 + 35. Is t/24*3*44 prime?
False
Let z = 34 + -22. Suppose 0 = 3*u - 2*t - z, 5*u + 3 = -t + 10. Is u/9 + 133/9 composite?
True
Let o = -13 + 4. Let u = 5 + o. Let t(j) = -j**3 - 3*j**2 - 4*j + 3. Is t(u) a prime number?
False
Suppose 0 = f + n - 255, f + 0*f - 243 = 5*n. Is f composite?
True
Let k = -22 + 276. Is k prime?
False
Let f = -3 - 6. Suppose -8*g - 48 = -5*g. Let a = f - g. Is a a composite number?
False
Let b = 2 + -1. Let m be (-346)/(-3 - b/(-1)). Let o = m + -90. Is o a composite number?
False
Let p = 461 + -273. Suppose -5*b + p - 3 = 0. Is b a composite number?
False
Let l = 216 - 85. Is l composite?
False
Let d = -16 - -25. Let s = 4 - 2. Suppose u = -s*u + d. Is u composite?
False
Let d = 322 - 111. Is d a prime number?
True
Let u be -1*(-5 + (1 - -1)). Suppose 2*p = -3*p - 4*h + 69, 4*p - u*h = 80. Suppose 4*v + 5*n - 89 = 0, -p = -2*v - 5*n + 30. Is v a prime number?
False
Suppose 5*r = u - 13, 5*r - 2*u = 2*r - 12. Let f be r/2*0 - -24. Suppose 5*o = -2*b + f, 3*b - 11 = -3*o + 8*o. Is b a prime number?
True
Suppose 5*n = -q - 0*q + 261, 0 = 4*n + 8. Is q prime?
True
Let x be 3562/9 - 4/(-18). Suppose -8*m = -m - 21. Suppose -m*n = -y - 293, 4*n - x = y + 3*y. Is n prime?
True
Suppose -p + 14 = -12. Suppose 159 = 5*k - p. Is k prime?
True
Let x = -1204 - -1733. Is x a composite number?
True
Suppose -2*m - 76 = 4*s, 6*m = 2*m. Let r = 30 + s. Is r prime?
True
Suppose 21 + 5 = 2*u. Let p(w) = 2*w + 10. Let c be p(-6). Let x = u + c. Is x prime?
True
Is 5/((-15)/(-9)) - 894/(-3) a prime number?
False
Let i = 33 - -382. Is i prime?
False
Let j be (10 + -12)*(-383)/2. Suppose j = 4*p - o, -3*o = -3*p - 0*p + 276. Is p prime?
True
Let y(x) be the third derivative of x**5/60 + 5*x**4/12 - x**3/6 - 2*x**2. Let t be y(-8). Let o = t + 24. Is o a composite number?
False
Let n(p) = 77*p + 2. Let q be n(2). Let x = -133 + 56. Let k = q + x. Is k a prime number?
True
Suppose 2*f - 7 = -1. Suppose 5*w + 5*c - 1070 = -0*c, -636 = -f*w - c. Let m = w + -132. Is m composite?
False
Is -2276*33/(-30) + 18/(-30) a composite number?
False
Suppose -y = m - 556, 4*m + 2*y + y = 2227. Is m a prime number?
False
Suppose 12 + 103 = 2*b - p, -2*b + 2*p + 116 = 0. Is b a prime number?
False
Suppose 0 = -2*h + p - 2, -1 + 5 = 4*h + 2*p. Let g be ((-2)/6)/((-2)/18). Suppose -4*r - 2*j + 270 = h, -35 = -g*r + 5*j + 135. Is r a prime number?
False
Let z(d) be the second derivative of d**4/12 - 2*d**3/3 - d**2/2 + 2*d. Is z(10) composite?
False
Let l(t) = 2*t**2 - 7*t - 7. Let g be l(-7). Let j = 8 - 4. Suppose -j*x = -s - 3*s + g, -150 = -4*s - x. Is s composite?
False
Let p(i) = -i**3. Let v be p(-2). Let h = v + 7. Is h prime?
False
Suppose -3*b - 1316 = -7*b. Is b a prime number?
False
Suppose 3*b = -b - 4. Is (-3 - b) + (91 - 0) composite?
False
Let z(y) = -5*y**3 + 4*y**2 + 2*y + 4. Is z(-5) composite?
False
Let y(s) = -11*s**2 - 2*s. Let b be y(-3). Let c = b - -247. Let r = c + -59. Is r prime?
False
Let x(k) = 15*k**2 - 8*k + 1. Let v be x(8). Let z = v + -484. Is z prime?
False
Let o be -2 - -1 - -8*1. Suppose 3*y - 2*x = 7*y - 22, 0 = -y - 4*x + 23. Suppose -4*z - y*b = -217, o*z - b = 2*z + 276. Is z prime?
False
Is 0 + 2*(-708)/(-8) composite?
True
Suppose p - 2*a - 13 = 0, p + 3*a + 1 + 6 = 0. Suppose -p*d = -5*z - 680, -d - 42 = 5*z - 166. Is d prime?
False
Let i(g) be the third derivative of 5*g**5/4 - g**4/24 + 2*g**2. Let c be i(1). Is (1*c/1)/2 a composite number?
False
Let f(r) = -40*r + 1. Is f(-3) a composite number?
True
Suppose v = 2*v. Let x(q) = q**2 - q + 111. Is x(v) prime?
False
Suppose -2*c + 4*c = 56. Let t = 15 - 24. Let u = t + c. Is u prime?
True
Is (-4383)/(-13) - (-10)/(-65) a composite number?
False
Let w(a) = 3*a**2 + 4*a - 8. Let k be w(-8). Suppose 0 = 5*s - 93 - k. Is s a prime number?
False
Let v be ((-4)/6)/(2/6). Let t be (3 + -2)/(v/20). Let u = 19 + t. Is u a composite number?
True
Is 1/4 + 8643/4 prime?
True
Let i = 1133 + -499. Suppose 29 - i = -5*p. Is p a composite number?
True
Let o be 92880/63 + 4/(-14). Let v = -801 + o. Is v prime?
True
Let c be 2/2 + 4/(-2). Let x be (2 - (0 + 1)) + c. Suppose -5*y - 4*m = -50, 2*y + x*y = 5*m + 20. Is y composite?
True
Let g(f) = -f**2 - f + 3. Let a be g(0). Suppose -1 = a*y + 14, 0 = 5*x + y - 150. Is x a composite number?
False
Let v(g) = -g - 6. Let f be v(-7). Let d = 0 + f. Supp