= -0*v - o, 3*v + 699 = -4*x. Is x/(-4)*10/3 composite?
True
Let i(u) = -3*u**3 - 5*u**2 - 25*u - 21. Let y be i(-8). Let x be (-2)/1*(173 - 0). Let t = x + y. Is t composite?
False
Let i(h) = -13*h - 35. Let d(y) = y**2 - 8*y - 15. Let r be d(7). Is i(r) composite?
False
Suppose 2*t - 4*n - 6 = -3*n, -3*t - n + 14 = 0. Let l(a) = -4*a**2 - 2*a - 4*a**3 + 1 + 2*a - t*a. Is l(-4) composite?
True
Let g = -112 + 223. Suppose g + 88 = s. Is s composite?
False
Suppose 0 = -8*n + 52 + 68. Let l = 15 - n. Is (l - -7)*55 - -4 a composite number?
False
Let f(u) = -294*u - 1. Let o(r) = 1470*r + 6. Let l(v) = -16*f(v) - 3*o(v). Is l(2) prime?
False
Suppose -6*y + 5*y = 0. Suppose 2*a - 4 = -y. Suppose -4*j + 438 = -a*j. Is j a composite number?
True
Let s(h) = 96*h + 3. Let f(c) = -97*c - 4. Let g(r) = 4*f(r) + 5*s(r). Let t be g(4). Let x = t - 44. Is x a prime number?
False
Let o(x) = -19*x**2 - 2*x - 7. Let k(c) = 9*c**2 + c + 3. Let s be 10/4 + 9/(-18). Let w(p) = s*o(p) + 5*k(p). Is w(6) composite?
True
Let u = 3191 - 1132. Is u a composite number?
True
Suppose 0*l = -2*r - 4*l + 12, 2*l - 6 = -5*r. Suppose -7*n + 5*n + 5*k = -1924, -k + 2 = r. Is n a composite number?
False
Let a be 6*21/18*4. Suppose c - b - 11 = a, 0 = 3*c + 2*b - 102. Suppose -2*z = -3*z - 5*w + c, 0 = -z + 4*w + 27. Is z prime?
True
Is (66/(-12) - -8)*16292/5 prime?
False
Is (3/12)/((-1370834)/(-228472) - 6) composite?
False
Is 3989/5 + (-20)/25 a prime number?
True
Suppose -2*a + 198 + 62 = 0. Let y = a - 204. Let p = y + 297. Is p a prime number?
True
Let v(k) = -k. Let i(m) = -61*m - 2. Let y(b) = i(b) - 4*v(b). Is y(-7) a composite number?
False
Let g be (-4)/(-10)*2*40. Suppose -31*a + g*a = 123. Is a composite?
True
Let d = 61376 + -42709. Is d composite?
True
Suppose -60*a = -521055 - 2489565. Is a a prime number?
True
Is ((-5112642)/(-36))/29*6 a prime number?
True
Let g(d) be the first derivative of -d**5/15 + 5*d**4/24 + 7*d**3/3 + 2. Let n(c) be the third derivative of g(c). Is n(-11) a prime number?
False
Suppose 136 = 6*g - 2*g. Let w = 143 + g. Is w a prime number?
False
Suppose -349 = -23*s + 22*s. Suppose -399 - s = -4*y. Is y a composite number?
True
Suppose 4*f - 5*d + 624 - 178 = 0, -5*f - 3*d = 539. Is ((-8)/4)/(2/f) a prime number?
True
Let c = 18 - -35. Suppose 0 = -5*t + 4*t + c. Is t a prime number?
True
Suppose -5*n + 10*n + 3*b = -4347, 4*b + 3484 = -4*n. Let c = 1314 + n. Is c a composite number?
True
Let n(p) = -139*p + 32. Is n(-9) prime?
True
Let y(r) = 5*r - 3*r + 9*r**2 - 2 - 2. Suppose -q = j + 3*j + 25, q - 5 = 2*j. Is y(j) prime?
True
Suppose 6*i - 5*i - 4227 = 0. Let b = i - 2830. Is b a prime number?
False
Suppose 38 = 5*u - 2. Let h = 61 - u. Is h*(-2)/(1 + -3) composite?
False
Let m(v) = 3*v**2 + 38*v + 101. Is m(34) prime?
True
Let x(s) = -165*s - 42. Is x(-25) prime?
False
Suppose 0 = f - 10 - 10. Let h be f/70 - (-3300)/14. Suppose 2*k - h = -2*k. Is k a composite number?
False
Let d = -9 - -60. Let s = d - 47. Is s a composite number?
True
Let g(i) = -6*i + 9. Let a be (1/2)/(11/(-132)). Let j be g(a). Is (-35)/(-20)*(j + -1) prime?
False
Let a be (-2)/5 + 14/35. Suppose 1174 = 4*b + 2*c, b + 3*c = -a*b + 286. Is b a prime number?
False
Let o = -31634 + 61119. Is o prime?
False
Is 9 + (-57390)/(-18) + (-1)/3 composite?
True
Is (-6)/(84931/(-12131) - -7) a composite number?
True
Let x(j) be the third derivative of j**2 + 0*j + 0 - 1/24*j**4 + 1/60*j**5 + 211/6*j**3. Is x(0) a prime number?
True
Let m(y) be the first derivative of -23*y**2 - 27*y + 3. Is m(-7) prime?
False
Suppose a = -5*o + 190907, -954481 = -5*a - 15*o + 17*o. Is a prime?
False
Let j = -2 - -4. Suppose 0 = 3*h - 4*t + 8, h + j*h = -3*t - 15. Is -3 + 126 + h/2 prime?
False
Let u(g) = -45*g - 21. Let y = 1 + -17. Is u(y) a prime number?
False
Is (-2)/(-6)*(119045 - -148) a prime number?
False
Let c(w) = w + 1329. Let l be (-7 + 7)/(1 + 0). Let g be c(l). Let j = -788 + g. Is j a composite number?
False
Let m(g) = g + 15. Let y be m(-13). Let j be 5 - (3 + -2 + y). Suppose 5*x - 50 = 3*p, x - 2*p - 1 = j. Is x a prime number?
True
Let r be ((-12)/(-15))/((-4)/(-30)). Suppose 0 = -r*d + 9*d - 1329. Suppose -g + h = -150, 7*h - 3*h = -3*g + d. Is g prime?
True
Let a(u) be the second derivative of -u**4/12 - 13*u**3/6 + 8*u**2 + 3*u. Let y be a(-14). Suppose -s = 0, y*s - s = -5*h + 2935. Is h prime?
True
Let q be 1/(3 - 2) + 4/2. Suppose 0 = -4*u + 5*h + 3894, 2*u + q*h = 1685 + 251. Is u a composite number?
False
Let o be 3*-3*(-16)/36. Suppose 3*r - 3704 = o*l - 1255, 4*r - 3258 = -2*l. Suppose 2*b = r - 309. Is b prime?
False
Let l = -35 - -35. Is 254/(-4)*(-1 + (-1 - l)) prime?
True
Let u = -47 - -26. Is u/14*(-8612)/6 a prime number?
True
Let f(q) = 34*q - 126*q + 9 - 11*q. Is f(-10) prime?
True
Suppose 6*w + 910 = 8464. Is w a prime number?
True
Is (-18994 + 12)/(7/(21/(-2))) composite?
True
Let f(o) = -2*o**3 - 21*o**2 - 18*o + 26. Is f(-15) prime?
False
Let o be (-5)/20 - 6/8. Let n be ((-2)/o)/((-5)/(-10)). Suppose -x = -3*r - 34, n*x - 2*r = r + 127. Is x prime?
True
Let g = -577 - 1673. Let q = -696 - g. Let t = q + -835. Is t composite?
False
Suppose 0 = -4*c + 2*f + 11094, -3 + 1 = 2*f. Is c composite?
True
Let b(w) = 696*w**3 + 2*w**2 + w + 1. Is b(2) prime?
False
Let y be 4 - ((2 - -3) + -3). Let s(t) = -y*t - 9 - 2*t - 6*t - 2*t - t**2. Is s(-8) a composite number?
False
Is (-86370)/(-135)*(-45)/(-20)*4 a composite number?
True
Let d be (5 - 1)*(-46)/(-8). Suppose -4*k = 5*x + d, -4*k + 0*x = 2*x + 38. Is (k/4 + 2)*-211 a composite number?
False
Let d(k) = 4*k**3 + 5*k**2 - 2*k + 5. Let v be 60/(-54)*6/5*-6. Is d(v) a composite number?
False
Let s(l) = l**3 - 7*l**2 + 6*l - 5. Let t be s(6). Is (-2)/((-16311)/3261 - t) composite?
False
Suppose 0 = -2*p - 15*p + 340. Is -2*(-25)/p*(0 + 818) composite?
True
Let o(u) = 2*u**3 + 9*u**2 + 14*u + 81. Let m be o(-5). Suppose -5*r = 7 + 28. Is (m/4)/(r/154) prime?
False
Suppose 1775 = 3*d - 4*h, -d = -4*h - 803 + 198. Suppose 0 = g - 2*o + 41 - 246, 3*g + 4*o = d. Is g prime?
True
Let i be -65*(-8 + 4 - 0). Is i/1 + (8 - 9) composite?
True
Let d be -1*((-22)/3)/((-4)/(-78)). Suppose 19*u - 20*u = -d. Is u prime?
False
Let k(p) = -4*p - 36. Let g be k(-10). Suppose 0 = -g*s + 7535 + 1077. Is s prime?
True
Let n(w) = w**2 + 7*w - 1. Let t be n(-8). Let m = t - 1. Is (-884)/(-3) + m/18 a prime number?
False
Suppose -5*k + 3*k - 4*n + 138 = 0, 2*n - 136 = -2*k. Suppose -4*s - 43 = -2*a - 317, -s + k = -a. Let y = -47 + s. Is y prime?
True
Let q(w) = -3771*w + 4. Let t be q(-1). Suppose 13*i - 8*i - t = 0. Is i a composite number?
True
Let d be 22/(-66) + (-2)/(-6). Suppose -553 = -2*o + o + 3*r, d = -2*o - 4*r + 1066. Is o prime?
True
Let c = 3013 + -494. Is c a prime number?
False
Let n be ((-2)/6)/((-1)/12). Let i(t) = 7*t**2 - 4*t + 11. Let y(r) = 10*r**2 - 6*r + 16. Let h(a) = -7*i(a) + 5*y(a). Is h(n) composite?
False
Suppose 3*w = -0*w, -3*w = p - 5141. Is p prime?
False
Let q be (-3)/(-2)*(-30)/(-9). Suppose 0 = 3*p - q*b + 342 - 1494, 5*p - 1910 = 5*b. Is p a prime number?
True
Suppose 32*a = -6*p + 27*a + 1057343, -3*p = -4*a - 528665. Is p a composite number?
True
Let w(f) = f**2 - 7*f. Let g be w(7). Suppose -2*a - 3*t + 9 = 0, g = a - 0*a + 2*t - 7. Let q = a + 18. Is q a prime number?
False
Let k(q) = -22*q - 29. Let u be k(-22). Let a = u - -158. Is a a composite number?
False
Is (-4 + 3 - -12) + 4186 a prime number?
False
Is 7*141 - (12 - 16) prime?
True
Let d be 2 - (0 - 0)/(-4). Suppose 16 = -4*b - 2*s, -d*s - 7 = 3*b - 3*s. Is (139/b)/(6/(-18)) a composite number?
False
Suppose 0 = -b + 5*t - 271, 5*b - 2*t + 5*t + 1243 = 0. Let x be b + (-1 - 0) + 3. Is 1/((-501)/x - 2) prime?
True
Let c(t) = 3*t**2 + t. Let s be c(-1). Suppose s*d - 3*h = 3*d - 87, d - h = 87. Is d composite?
True
Let f be (-1)/(-3)*15/((-7)/7). Is f*(-5416)/60*9/6 prime?
True
Let m = 75 + -72. Suppose 2*c + 156 = -m*r + 1589, -3*r + 3*c = -1443. Is r a prime number?
True
Let s = 24 + -21. Suppose y = -3*o + 376, s*y = -y - 2*o + 1514. Is y prime?
True
Let z = 4937 - 1950. Is z prime?
False
Suppose 2*d = -2*r + 8, 4*d + r = -10 + 26. Suppose -z + 11 = -5*h + 29, 5*h - 16 = 2*z. Suppose 0 = -2*i - d, -4*i + 14 = z*c - 16. Is c c