55 = -3*x + x, -3*a + 4*x + 473 = p. Is a composite?
False
Let c = -76 + 111. Is c a prime number?
False
Let h = 28 - -3075. Is h prime?
False
Suppose -5*f + 12 = -f. Suppose -f*a - 116 = a. Is (-6)/9 - a/3 prime?
False
Let y(f) = -56*f + 53. Is y(-8) a prime number?
False
Suppose -17*q - 2798 = -19*q. Is q a prime number?
True
Let d(j) = j**3 + j**2 + 293. Is d(0) a prime number?
True
Suppose -8 = p - 2*r, 3*p + 0 - 3 = -3*r. Is p/3*2052/(-24) a composite number?
True
Suppose 0*g = 3*g + 345. Let l = 48 - g. Is l composite?
False
Let c = 6 - 6. Suppose c = 4*d - 0 - 12. Suppose -2*p + 451 = 3*t, -d*t - 4*p + 215 + 240 = 0. Is t composite?
False
Let r be 70/(-15)*(-7 + 1). Suppose -229 = -3*v - r. Suppose 229 = 4*w + 3*u, -w + u + v = 5*u. Is w composite?
True
Is (-16370)/(-40)*(-8)/(-4 - -2) prime?
True
Suppose -2*t + y + 10 = 0, 2*t - 18 = -0*t + 5*y. Suppose p = x - 5, -x - t*x = 4*p + 47. Is (2 + -10)*14/p a prime number?
False
Suppose -204 = -b - 3*t, 0*t + 418 = 2*b + 4*t. Is 6/(-21) - b/(-7) composite?
False
Suppose -5*k - p = -671, -2*p - 400 = -3*k - 0*k. Is k prime?
False
Is 166 + (-12)/(-16)*4 a composite number?
True
Suppose 0 = 3*d - 85 - 188. Is d a prime number?
False
Is (-237255)/(-10)*(-12)/(-18) a composite number?
False
Suppose b + 3*s - 14 = -4*b, -2*s = -4*b - 2. Let q be b - (3 - (-2)/2). Is (2 + q)*1*-37 prime?
True
Let m(u) = -u**2 - 6*u - 1. Let s(y) = y**2 - y + 12. Let n be s(0). Suppose n + 4 = -4*o. Is m(o) a prime number?
True
Let v = -42 - -64. Suppose 3*a - v = 86. Suppose 4*j + x - a = 0, j + 2*x - 9 = x. Is j composite?
True
Let z be ((-15)/(-6))/((-1)/(-22)). Let i = z + 28. Is i a composite number?
False
Suppose d - 265 = -t, -3*t + 522 = -5*d - 257. Is t prime?
True
Suppose -u - 2*g - 320 = 4*u, 0 = -3*u + 2*g - 192. Let b = 135 + u. Is b prime?
True
Let f(m) = -m**2 - 9*m - 3. Let b(d) = d**2 + 6*d - 8. Let g be b(-6). Let z be f(g). Suppose a = w - 12, a + 74 = z*w + 3*a. Is w composite?
True
Suppose -4*h + 3*h = 2*c + 9, -16 = 4*c. Is (-31)/(h*(0 - -1)) composite?
False
Is 2 - (-2)/(3 + (-87)/30) composite?
True
Suppose -5 = -4*i - 17. Let a be -1 - -66*(-15)/i. Suppose -5*p + 236 = -a. Is p a composite number?
False
Let k = -844 - -1310. Is k composite?
True
Suppose -4*v + 5*b - 19 = 0, 2*b - 9 = 2*v - b. Let q(m) = 3*m**2 + 11*m + 6. Let s(r) = -r**2 - 4*r - 2. Let h(p) = -2*q(p) - 7*s(p). Is h(v) prime?
True
Suppose 0 = -4*r + 4, 2*i = 4*i + 3*r - 5. Let n be (-57)/((-3)/((-3)/i)). Is 2 + 2/((-6)/n) prime?
False
Let d be 15/6*8/5. Suppose -d*g = -g - 306. Suppose -g = 3*r - 351. Is r a prime number?
True
Let i(s) be the third derivative of -s**6/120 + 11*s**5/60 - 11*s**4/24 - 5*s**3/3 + s**2. Is i(9) a prime number?
True
Let s = -3 - -3. Suppose 4*m - 22 = -u, s = 3*m - u + 4*u - 21. Suppose -2*y + 3*d + m = 0, 3*d = -3*y + 6*y - 12. Is y prime?
True
Let w be -3*1*(30 + 1). Suppose 2*o = -10, 2*o = g + 2*g + 152. Let s = g - w. Is s prime?
False
Suppose -c - 4*c = 5*a, c = 4*a - 5. Let q = 0 - c. Is (21/(-9))/(q/(-21)) a composite number?
True
Let k = 7 + -4. Let m(a) = 3*a**2 - 3*a + 3. Is m(k) prime?
False
Suppose 3*u + 2*x = 52, -u - 3*x + 34 = x. Is u composite?
True
Suppose 3*h + 251 - 2828 = 0. Suppose -251 + h = 4*r. Let l = -7 + r. Is l a composite number?
True
Suppose 1347 = -9*w + 5388. Is w composite?
False
Suppose 4*u - 186 = -0*q - q, 350 = 2*q - 3*u. Is q a composite number?
True
Is (-1533)/(-5) - (-10)/25 a prime number?
True
Let b(d) = -11*d**3 + 2*d**2 - d - 2. Let u be b(-2). Let q = u + -11. Is q composite?
True
Let p be (-215 - 1)/(-2) - 2. Let z = -5 - -7. Is (p/4)/(1/z) a composite number?
False
Suppose -5*b + 445 = 50. Is b a prime number?
True
Let k = 90 - -25. Is k a prime number?
False
Let q(f) = 24*f**3 + 3*f**2 - f + 1. Is q(2) a prime number?
False
Suppose 2*j = 4*c - 652, -3 = 2*j + 5. Is c a prime number?
False
Let j(w) = -21*w - 1. Let y be j(-1). Let h(x) = -x + 2*x - 2*x + y*x**2 + 1. Is h(-2) prime?
True
Suppose -5*r + x + 620 - 71 = 0, 0 = 3*r - x - 331. Suppose 0 = 4*l + 33 - r. Is l a prime number?
True
Suppose -w - 3*w = -8. Let h(b) = b**3 + b**2 + 4*b + 1. Let n be h(3). Suppose n = w*p - 61. Is p a prime number?
False
Suppose -39 = -3*d + i + 43, d - 34 = 2*i. Suppose -q = 2*a - 4, -3*a + 2 = -4*q - 4. Suppose -2*v + n + 3*n + d = 0, a*v + 4*n - 66 = 0. Is v composite?
False
Suppose -4*s - 4*j = -5912 - 2280, -5*s + j + 10270 = 0. Is s a prime number?
True
Let v(i) = -10*i - 1. Is v(-2) prime?
True
Let d(c) = -c + 695. Is d(0) prime?
False
Suppose -5*b + 310 = -2*c - 3*c, -2*b + 106 = 4*c. Is b composite?
False
Let z = -285 + 405. Suppose -3*i - 4*l - z = -7*i, -2*l - 126 = -4*i. Is i composite?
True
Suppose -5*f - 44 = -2529. Is f prime?
False
Suppose -731 + 2255 = 2*s. Suppose -s = -6*n + 3*n. Is n a prime number?
False
Let k(c) = 70*c. Let b be k(1). Let m = 123 - b. Is m prime?
True
Suppose -2 = -p + 8. Suppose -b - 57 = -p. Let v = 2 - b. Is v a prime number?
False
Let q = 19 - 19. Suppose -c - 4*y = -q*y - 115, 4*c = -4*y + 448. Is c prime?
False
Let n(f) = 14*f - 19. Is n(13) composite?
False
Let c(h) = -h + 10. Let z be c(9). Suppose 4*d + 0 + z = y, 5*y = -3*d - 87. Is 2/5 + (-1239)/y a composite number?
False
Let k(h) = h**2 + 3*h - 1. Let y be k(-2). Is (26 + y)/((-1)/(-5)) a prime number?
False
Suppose -5*s + s + 564 = 2*i, 0 = 2*i. Is s a composite number?
True
Let t(n) = n**2 + 9*n - 7. Suppose -2*h = -2*v - 2, 3*h + 2*v - 7 = 1. Suppose 7 = -h*d + x + 18, -3*x = 4*d - 27. Is t(d) a composite number?
False
Suppose -5 + 9 = 2*q. Let n(v) = v**2 - 7*v - 2. Let i be n(-6). Suppose q*o - 6*o + i = 0. Is o prime?
True
Let r = 433 - 242. Is r a prime number?
True
Let z(t) = -4*t - 13. Let a = 6 - 7. Let q be (-4 - a)/((-2)/(-6)). Is z(q) a composite number?
False
Suppose -3*s + 5 = 2*i - 2*s, 4*i + 4*s - 4 = 0. Suppose 0 = k + i*k - 1085. Let f = k + -140. Is f composite?
True
Let z be (1962/(-15))/(3/(-10)). Suppose 4*g - 5*g = z. Let s = -225 - g. Is s a composite number?
False
Is 4928/18 + 8/36 a composite number?
True
Suppose -5*d = -0*d - 4505. Is d a composite number?
True
Let m = 7 - 5. Suppose 6 + 216 = m*v. Is v prime?
False
Is -1 - 0 - 83/(-1) a prime number?
False
Let a = -321 - -512. Is a prime?
True
Suppose 4*u + 569 - 1837 = 0. Is u a composite number?
False
Let z be -1*6*(-4)/3. Suppose z*i - 295 = 3*i. Is i a prime number?
True
Let f be (-6 - 1)*2/2. Let y(l) = -l - 7. Let k be y(f). Suppose -2*a = -k*a - 254. Is a a prime number?
True
Let d(y) = -y + 7. Let l be d(7). Suppose l*z = 2*z + 2. Let o = 3 + z. Is o a prime number?
True
Let b(k) = -48*k - 3. Let m = -2 - 0. Is b(m) composite?
True
Let g be (6/8)/((-1)/(-4)). Suppose -g*p = 2*p - 2135. Is p a composite number?
True
Let j(i) = -i**2 + 5*i + 6. Let c be j(6). Is 23 + 1*(0 + c) prime?
True
Let g(z) = 304*z**2 + 1. Is g(2) a prime number?
True
Suppose 0*q = 2*q - 134. Is q a prime number?
True
Let q(t) be the second derivative of -t**5/20 + t**4/6 - t**2/2 - t. Let y be q(-1). Suppose -y*x - 60 = -6*x. Is x a composite number?
True
Suppose 2*o + 8*o = 19430. Is o a prime number?
False
Let n(u) = u**3 + 4*u**2 - 6*u - 7. Let o be n(-5). Is 20/(4*(-1)/o) prime?
False
Let a(z) = 2*z**2 + 7*z - 9. Let p be a(7). Let h = p + 65. Is h composite?
True
Suppose 0*z - 4*y + 37 = 5*z, 4*z = 2*y + 14. Let t = 16 - z. Is t a composite number?
False
Let f be (-4 - 2)*9 - 2. Let o be (-4)/(-2)*178/4. Let l = f + o. Is l composite?
True
Let f(q) = -q**2 + 4*q + 14. Is f(6) prime?
True
Suppose 5*x + 31007 = 4*j, 5*j - 10*x - 38762 = -7*x. Is j composite?
False
Suppose 0*u - 2*u + 6 = 0. Suppose 251 = -2*m + u*m. Is m a prime number?
True
Suppose 0*l - 8 = -4*l. Suppose 0 = 5*s + 15, 2*h = -0*h + l*s + 72. Is h prime?
False
Let y(o) = -131*o. Let m be y(-2). Let c = 371 - m. Is (0/(-3))/3 + c composite?
False
Suppose f = 2*t - 4*f - 110, 254 = 5*t - 2*f. Suppose t = -4*p - 82. Is (5 + -3)*p/(-2) composite?
True
Let g = -6 - -5. Is 2 - (110/g + -3) a prime number?
False
Suppose 0 = -3*c - c - 12. Let h be 4*c/(-9)*3. Suppose 3*u - 108 = -7*y + h*y, 2*y = -2. Is u prime?
True
Suppose 675 - 1860 = -5*h. Is h a prime number?
False
Suppose -4*s + 2 = -5*b, s + 2*s = 2*b - 2. Let y(f) = -3*f. Let 