. Is u prime?
False
Let t be (-3 - 28/(-8))*0. Suppose 0 = 4*h - 8, -5*w - 5*h + 332 + 453 = t. Is w a composite number?
True
Let z = -254 + 168. Let r = -167 - -290. Let b = r + z. Is b a composite number?
False
Suppose -4*a + 20 = -2*c, -3*a - 4*c - 12 + 5 = 0. Suppose 5 = -2*x - 3*o, -5*x - 4*o + 2 = -3. Suppose -38 = -m - 5*z, -97 = -x*m + 3*m - a*z. Is m composite?
False
Let q(p) = p**2 - 9*p - 12. Let c be q(10). Is 80/1 + c + 4 a composite number?
True
Is (-1963)/(-15) + (-28)/(-210) prime?
True
Suppose -4*v + 6*q - 3*q = -2077, -4*q = 2*v - 1022. Is v prime?
False
Let b(g) = g**2 - 34*g + 10. Is b(-15) a prime number?
False
Suppose 3*a + 79 = -2*u - 2*u, 0 = -u + 5*a + 9. Suppose -3*m + 81 = -24. Let b = m + u. Is b prime?
True
Let h(i) = i - 7. Suppose 0*r = d - 3*r, -d = 4*r - 14. Let w be h(d). Is 1*(0 - -10 - w) a composite number?
False
Suppose 6*c + 1607 = 12593. Is c composite?
False
Let c(x) = -x + 2. Let v be c(2). Let g be (1 + v)*(-12 + 3). Is (-492)/g + 2/6 composite?
True
Let b = -4 - -7. Suppose 5*r = r + 4. Suppose b = -z - r, 3*g - z = 25. Is g a composite number?
False
Suppose 0 = 4*i - 0*i + 8. Let r(f) = -101*f + 1. Is r(i) composite?
True
Let c(q) = 13*q**2 + 7*q + 1. Is c(-7) a prime number?
False
Suppose 0 = -3*f + 2*y - 3 - 0, 5*f + 5 = 2*y. Is 211/4 + f/(-4) prime?
True
Let f = 507 - 302. Is f a prime number?
False
Suppose -125 - 124 = -3*h. Is h prime?
True
Let p be (-1 + 10)*202/6. Suppose 68 = -5*y + p. Is y prime?
True
Let n(c) = -4*c + 1. Let b be n(-1). Let u(r) = -r**2 - 8 + 6 + 2*r**2 + b. Is u(-4) composite?
False
Suppose 0 = -2*t + l, 5*t - 2 = -2*l + 4*l. Suppose -4*c + 0*c = t*y - 182, 0 = -5*y - 2*c + 447. Is y composite?
False
Suppose 4*y - 840 = 512. Let n = -235 + y. Is n prime?
True
Suppose -12*q + 13*q - 23 = 0. Is q prime?
True
Is 0 - 12/(-20) - 332/(-5) a composite number?
False
Let a = -102 + 769. Is a composite?
True
Suppose -5 = -n - 3. Suppose 2*q + 5*t = -q + 68, n*q - 2*t - 72 = 0. Is q composite?
False
Let o(c) = -17*c**3 + 6*c**2 + 5*c - 4. Suppose 0*m - 3*m - 33 = 0. Let i(g) = 50*g**3 - 17*g**2 - 14*g + 11. Let j(z) = m*o(z) - 4*i(z). Is j(-1) composite?
True
Suppose 1 = -5*o + 5*f - 14, -12 = 3*o - 4*f. Suppose 283 - 64 = 3*i. Suppose o = -5*v + 2 + i. Is v composite?
True
Is (-37776)/(-112) + 4/(-14) prime?
True
Suppose 24*q = 15*q + 7479. Is q a composite number?
True
Suppose 0 = -z + 520 - 125. Is z a prime number?
False
Let m be (-2)/(-6) - 438/(-9). Let h = 87 - m. Suppose h = k + k. Is k composite?
False
Suppose -2*x + 1290 + 136 = 0. Is x prime?
False
Let l = 372 + -148. Let i = 363 - l. Is i a composite number?
False
Let x(d) = -d**2 + 2*d + 3. Let v(i) = -i + 1. Let p(w) = 5*v(w) - x(w). Let t be p(6). Is (3/3 + t)*-1 a composite number?
False
Suppose 5*t = -k + 1631 + 1108, 0 = 4*t - k - 2184. Is t prime?
True
Let k(x) be the first derivative of x**3/3 + 3*x**2 - 5*x + 1. Is k(-8) prime?
True
Let g = -315 - -478. Is g a prime number?
True
Is 17390/16 + (5 - 3)/16 a composite number?
False
Suppose -p + 3*z = -193, -49 = p - 4*z - 238. Is p a composite number?
True
Let c = 4 + -6. Is (c/6)/(1/(-771)) prime?
True
Suppose 3*t - 4*r = 9, 6*t + 4*r - 12 = 2*t. Let i be (-5)/(-1)*t - 3. Is i/16 - 85/(-4) prime?
False
Let k = -235 + 1596. Is k a prime number?
True
Let z be 19137/21 + (-8)/28. Let x = z - 426. Is x composite?
True
Suppose -4*t - 5*n + 216 - 38 = 0, 0 = 3*t + 3*n - 132. Let p = t - 7. Is p a prime number?
False
Let b be 2/4*(2 - 2). Suppose -2*s = -b*s - 68. Is s composite?
True
Suppose g + 3*j + 3 = 3*g, -3*j + 3 = 0. Suppose -8 = 4*n, g*o = 2*o - 4*n + 239. Is o prime?
False
Is -127*((-6)/2 + 2) a composite number?
False
Suppose 7*m - 185 = 2*m. Is m a prime number?
True
Suppose 4*m = -0*m + 440. Suppose -3*x - 4*w - 2 + 337 = 0, -m = -x - 3*w. Is x a prime number?
True
Let p(s) = -7*s**2 - s. Let j be p(1). Let l be (-4)/(-16) + 26/j. Is l/(6/(-116)) - 3 composite?
True
Let k = -27 - -26. Is (k + 107/(-2))*-2 prime?
True
Suppose -57 = -5*t + 3*b, -2*t - b - b = -10. Let l = -5 + t. Is (-1 + 3)/(l/178) prime?
True
Let n = 4 - 2. Suppose -2*o = p - 93, -5*p = -n*p - 2*o - 247. Let y = p - 32. Is y prime?
True
Suppose c - j - 3*j = 17, -2*c = -4*j - 22. Is (3/(-9))/(c/(-2685)) a composite number?
False
Suppose -4*i + 2*f + 2*f + 6624 = 0, 0 = 2*f - 2. Is i a composite number?
False
Let c(o) = -2 - 3*o + 5 - 2*o. Suppose 12 = -w - 2*w. Is c(w) composite?
False
Suppose 2*p - o + 9 = 0, 0*p - 29 = 2*p + 3*o. Let w(c) = 9*c**2 + 25*c + 7. Let a(g) = 4*g**2 + 12*g + 4. Let f(l) = -7*a(l) + 3*w(l). Is f(p) a prime number?
True
Let a = 9 + -4. Suppose -4*o - a*t = -253, -3*o - 4*t = t - 196. Is o a prime number?
False
Is (-1515)/(-6) + 1 - 1/2 a prime number?
False
Is 3/6 + 289/2 prime?
False
Suppose 3 = 2*b + b. Let g(l) = 22*l**2 + 2*l - 1. Is g(b) a composite number?
False
Suppose -2*g + 24 = -4*z + 2*g, -3*g = -3. Let s be 3*(-3)/(-2 - z). Is 1 + (-2 - s - -1) prime?
True
Let i = -614 + 909. Is i a prime number?
False
Suppose y - 1105 = -4*i, y - 2*y + 1123 = -2*i. Is y prime?
True
Let f be 2/(-4) + 330/12. Let o = f + -2. Is o prime?
False
Let h be (1/(-2))/(1/(-58)). Let i be 4/2 + (-800)/(-10). Let n = i - h. Is n a prime number?
True
Let v = -6 + 8. Let d be 8/(-20) - v/(-5). Let q = 7 + d. Is q composite?
False
Let b(j) = 1162*j. Let d be b(1). Suppose -3*o - d = -5*o. Is o prime?
False
Suppose -r = -6*r + 3295. Is r prime?
True
Let u(g) = 14*g**2 + 5*g - 28. Is u(-15) prime?
False
Let a be (-28)/(12/8 + -1). Is 0 + a/(-1*4) a prime number?
False
Let u = 11 + -9. Suppose 3*k - 63 = w - 4*w, u*k - 48 = w. Is k a composite number?
False
Let i(h) be the second derivative of 17*h**2 - 1/12*h**4 - 1/6*h**3 + 0 - 3*h. Is i(0) a prime number?
False
Suppose 3*n = -3*k + 2439, 7*k - 2443 = -3*n + 3*k. Is n prime?
True
Suppose -g - 3*o + 2 = 0, 3*g - g = 4*o + 14. Suppose 9 = -3*w, g*f - 321 - 152 = -4*w. Is f a composite number?
False
Let n(t) be the third derivative of -37*t**7/2520 + t**6/720 - t**5/60 + 2*t**2. Let l(v) be the third derivative of n(v). Is l(-2) a prime number?
True
Is 2/7 + 5604/84 a prime number?
True
Let l(h) = h + 17. Let n be l(-10). Let q(x) = -x**3 + 7*x**2 + 4*x - 9. Is q(n) prime?
True
Suppose 0 = -y - 3 - 2. Let n = -10 - y. Let k(q) = -46*q - 7. Is k(n) a prime number?
True
Let r be 2 + 16 + 4/2. Let q = r + -9. Is q prime?
True
Suppose 4*u - 16 = 2*g - 5*g, u - 1 = 0. Let a = 10 - g. Is a a prime number?
False
Is 1*(1618 + (1 - -2)) + 2 a composite number?
True
Is (-1)/(3/(-113))*15/5 composite?
False
Is 115*(-2)/10*-5 composite?
True
Let c(m) = m**3 - 5*m**2 + 4*m + 2. Suppose t = 3 + 1. Let x be c(t). Is (1 - (-53)/2)*x a composite number?
True
Suppose -6*v - 32 + 146 = 0. Is v a prime number?
True
Let h(t) = -5*t**2 + 2. Let v be h(4). Let j = v - -109. Is j a prime number?
True
Let z(u) = 7*u**3 + 6*u**2 + 2*u + 2. Is z(3) a prime number?
True
Let u(x) = -264*x**3 - x - 8. Is u(-3) a prime number?
False
Let h = 58 - 32. Suppose 3*u - 205 - h = 0. Is u a composite number?
True
Suppose -2*z + j - 6*j + 100 = 0, j - 47 = -z. Suppose -f - z = q, 13 = -f + q - 22. Let o = -5 - f. Is o composite?
True
Suppose -2*m = -3*m - 6. Let z(g) = 9*g**2 + 4*g - 7. Is z(m) prime?
True
Suppose -4*s = -0*s - 4. Let n = s - -12. Let v = n - -46. Is v prime?
True
Let n(b) = 32*b + 3. Let a be n(-3). Let q = -28 - a. Is q a prime number?
False
Let p = 98 - 55. Is p a prime number?
True
Let g be -1 + 6/(0 - 3). Let d be ((-9)/(-6))/(g/(-42)). Suppose -i + d = -12. Is i a prime number?
False
Is 6*(-12)/(-16)*254/3 a composite number?
True
Let m(w) be the third derivative of -161*w**4/24 - w**3/2 - 6*w**2. Is m(-2) prime?
False
Suppose 0 = -t + 2, 3*b - 1908 = 4*t + 5263. Is b a composite number?
False
Suppose -108 = -l + 26. Is l a prime number?
False
Let c(q) = q**3 + 7*q**2 - 15*q + 11. Is c(8) prime?
False
Let n(b) = 287*b**3 + b - 1. Is n(1) prime?
False
Suppose 0 = 2*j - 295 + 41. Is j composite?
False
Let n = 33 - -2. Is n a composite number?
True
Let s be -2*1*10/(-4). Suppose 2*f + i = -i + 6, -2*f = -s*i + 1. Suppose -54 = -f*o + 12. Is o prime?
False
Suppose 2*u + 2*g + 6 = 0, 0*g - 5 = g. Suppose 1 = -u*w + 9. Is w prime?
False
Let h(d) = 15*d**