 Let i = y - 1. Is ((-381)/6)/(i/2) a prime number?
True
Let f(o) = -162*o + 37. Is f(-7) a prime number?
True
Let d be (-2423)/(-6) + 1/6. Let u = d + -241. Is u a prime number?
True
Suppose -8*t + 5491 = 11*t. Is t a composite number?
True
Suppose -5*j + 1860 = 12*z - 11*z, -3*z + 1128 = 3*j. Is j a prime number?
False
Suppose 4*x - 1383 = 4*a + 3057, 5*a = -4*x + 4404. Let w = x - 369. Is w a composite number?
True
Let p(t) = -6*t**3 + 5*t**2 - 7*t - 13. Let c be p(10). Let s = -974 - c. Is s prime?
False
Let j(l) = -20*l + 66. Is j(-5) a composite number?
True
Let m(w) = w**2 + 3*w - 1. Let d be m(-2). Is (-1 - (-12)/9) + (-248)/d a prime number?
True
Suppose -1 - 4 = -a. Let s be (-6*(-8)/60)/(4/890). Suppose a*k + 53 = s. Is k a prime number?
False
Suppose 50421 = -18*n + 159159. Is n prime?
False
Suppose -14*w - 4890 = -19*w. Suppose y - 985 = -2*l + w, 0 = 3*y + 3*l - 5904. Is y prime?
True
Let o(k) = -k**3 - 12*k**2 - 10*k + 14. Let x be o(-11). Is (0 - x)*(-42)/9 composite?
True
Let p = 140 - 69. Let k be -8*(14/(-21))/(4/(-3)). Let q = p + k. Is q a prime number?
True
Suppose -7 = k - 6. Is 394 + -4 + 4 - (-3)/k prime?
False
Let i(c) = -c**3 - 5*c**2 - 6*c - 5. Let y be i(-4). Suppose 0 = -x + 4*g + 2169, 5*g + 3297 = y*x - 3182. Is x a composite number?
False
Let q(y) = 315*y + 1. Let n = 16 - 12. Is q(n) prime?
False
Let x(r) = -2*r**3 + 4*r**2 + 3*r + 6. Let o be x(-5). Let l be 7*((-498)/21 + 4). Let v = l + o. Is v prime?
False
Let t = 166423 - -17038. Is t a composite number?
False
Suppose 3*d - 42 = -4*x, 5*d - 6 = -x + 47. Suppose 0 = -3*v - p + 2790, -4633 = -5*v + d*p - 6*p. Is v a composite number?
False
Let n(s) = s**2 - 5*s - 72. Is n(-26) a composite number?
True
Suppose 1869 = 2*a - 4057. Is a a composite number?
False
Let y(g) = -55*g**2 - 2*g + 1. Let s(p) = p**3 + 5*p**2 - 7*p - 8. Let o be s(-6). Let c be y(o). Let n = c + 312. Is n composite?
False
Let z(c) = c**3 + 2*c**2 + 7*c - 7. Let i be z(6). Suppose i = b - 378. Is b a composite number?
False
Let r(w) = -w + 12. Let d be r(10). Suppose -d*u = 0, 5*u - 1595 = -n - 234. Is n a prime number?
True
Suppose 8*x + 6978 = -4*q + 9*x, 0 = 2*q - x + 3488. Let s = q - -2754. Is s a prime number?
True
Let p be 61/4 - (-2)/(-8). Suppose -2*z - 13878 = -20*z. Suppose -12*u + p*u = z. Is u prime?
True
Let q(g) = -126*g + 29. Let p = 99 + -115. Is q(p) a composite number?
True
Let r(h) = 985*h**2. Is r(1) a prime number?
False
Suppose -64*c = -38*c - 516308. Is c a prime number?
False
Let l = -10 + 11. Let n be -141*(-3 + 0)/l. Is n/6 - 6/4 prime?
False
Let x = -4381 + 13430. Is x prime?
True
Suppose 2*z + 3*y = 918 + 940, 4*z - 3714 = -5*y. Suppose 3633 = 5*i + 2*d - z, -i + 5*d + 928 = 0. Is i prime?
False
Let l(v) = -11*v**3 + 5*v**2 - 3*v + 13. Is l(-6) composite?
True
Let o(y) be the third derivative of y**6/120 + 11*y**5/60 - 11*y**4/24 - y**3 + y**2. Suppose 2*z + 10 + 12 = 0. Is o(z) composite?
True
Is ((-32638)/(-6))/(((-150)/(-45))/10) a composite number?
False
Let t(a) = 15*a + 119. Is t(6) prime?
False
Suppose 16 = -3*w + 4*n, 0 = -3*w - 2*n - 13 - 15. Let y(u) = -404*u - 3. Is y(w) prime?
True
Suppose -3*v = -10 + 4, 3*t + 3*v = 18. Let r be ((-8)/16)/((-1)/4). Suppose 0 = -r*c + t*l + 110, -2*l + 277 = 5*c + 26. Is c a composite number?
True
Suppose -5*l - 40 = -5*s, 0 = -s - l - 0*l - 2. Suppose p + 318 = s*q, -3*p + 318 = q + 2*q. Is q prime?
False
Let q(v) = 133*v**3 + v**2 + v - 1. Let b be q(1). Let u = b - 0. Suppose 0*z + u = 2*z. Is z prime?
True
Suppose -3335 + 160 = -5*f. Suppose 3*y + 2*y = f. Is y prime?
True
Let d = -7479 - -14484. Suppose -3*t = -2 + 11, -d = -3*b + 2*t. Is b a prime number?
True
Suppose -2*w - 848 = -4*a - 0*w, -5*a + w = -1066. Let s = 356 - a. Suppose j - 3*j = -s. Is j prime?
True
Let u(h) = 26*h**2 - 6*h - 1. Let q(p) = -2*p**2 + 4*p + 1. Let y be q(3). Is u(y) a prime number?
False
Let o(r) = -511*r - 1140. Is o(-29) composite?
False
Let b(d) = -1374*d - 17. Let p(y) = y + 1. Let w(v) = -b(v) - 4*p(v). Is w(5) composite?
False
Suppose -2*c + 14570 = -4*o, -4*c = -7*c + o + 21850. Is c composite?
False
Let b(g) be the second derivative of g**5/5 - g**3/3 + g**2/2 - 8*g. Is b(4) composite?
True
Suppose 6*i - 15*i = 4059. Is 2*(i/(-2) + (-2 - -1)) a composite number?
False
Is (3 + 128/(-12))*(-244 + 7) a prime number?
False
Let m(c) = 8*c - 2 + 30*c + 29*c. Is m(7) a composite number?
False
Let z be 3/3 - 3*3/(-3). Suppose 14 = q - z*r, -5*r + 2*r = -q + 12. Is q a composite number?
True
Let k = 3 + -1. Let h = 105 - k. Suppose 0 = -4*x + 5*x - h. Is x prime?
True
Let z(u) be the first derivative of -u**2 - u + 6. Let h be z(-3). Let r = 26 + h. Is r a prime number?
True
Let h(d) = -3*d**3 + 2*d**2 - 2*d - 2. Suppose 2*i = -i + 72. Suppose 2*r + 2*r - 5*v = -27, i = -4*r + 4*v. Is h(r) composite?
False
Let s(o) = -o**2 - 5*o + 12. Let y be s(-8). Let a be (0 - 0)*(y + 11). Suppose a = -19*d + 16*d + 786. Is d composite?
True
Let h be 4/6 - 8092/(-21). Suppose 2*f = 4*u - 1564, -3*u + 1549 = -4*f + h. Is u composite?
True
Let a be 11/22 + 899/2. Suppose 22 = -2*b + a. Is b a composite number?
True
Let x be 6/(-5)*-5 + 2. Let s(r) = -9*r**2 + 3 - r + 5 - r**2 + 2*r**3 + x*r. Is s(7) composite?
True
Suppose 5*u = 3*u + j + 6595, -9891 = -3*u + 2*j. Is u a prime number?
True
Suppose v + 4*j = -v + 259394, 5*v = 5*j + 648485. Is v a composite number?
True
Is ((-12876)/24)/(1 + 6/(-4)) a composite number?
True
Suppose -3*t + 14 = p, 5*p + 4*t + 15 = 52. Let g = p - 1. Suppose 595 = g*o - 3*z + 233, -5*z + 346 = 4*o. Is o prime?
True
Let j(r) = 30828*r**2 - 34*r - 33. Is j(-1) a prime number?
True
Let y(x) = x**2 + x - 2. Let w = 16 + -18. Let m be y(w). Suppose m = -2*j + 3*j - 121. Is j composite?
True
Suppose -4*g - 16362 = -0*g - 3*t, 0 = g - 4*t + 4084. Let m = -2011 - g. Is m prime?
True
Let n(a) = 3170*a + 251. Is n(10) a prime number?
False
Let x = 7951 - 1352. Is x a prime number?
True
Let c be (3 - 3) + 0 - 0 - -4. Suppose m = -c*m + 1465. Is m composite?
False
Let c be 8/(-24) + 4006/3. Suppose 14*t + c = 19*t. Is t composite?
True
Suppose 4*i - 3*u = -284, -5*i + 2*u - 278 = 70. Let s be 206/(-10) - 2/5. Let c = s - i. Is c a composite number?
False
Let u(v) = -v + 10. Let f be u(12). Let d(j) = 361*j + 1. Let z be d(f). Let o = -332 - z. Is o a prime number?
True
Suppose -2*h - h - 39 = -x, 2*x = 3*h + 42. Let c be (h/(-5))/(14/35). Suppose -74 - 3016 = -c*u. Is u prime?
False
Let w(n) = 9*n - 12. Let a = -12 + 14. Let u(b) = b + 1. Let v(x) = a*u(x) + w(x). Is v(7) prime?
True
Is 2 + -4 + 94948/28 + 5 a composite number?
True
Let t be 2628 + -2*(-5)/(-10). Suppose 5*q - 13070 = -3*r, q - t = -0*q + 2*r. Is q prime?
True
Is 86/258 + 35711/3 + -1 prime?
True
Suppose j = 4*g, -3*j = -0*j - 2*g + 20. Let t(u) = u - 1. Let n(q) = -q**2 - 11*q - 11. Let c(y) = n(y) - t(y). Is c(j) a prime number?
False
Let j(a) = -4*a - 16. Let g be j(-5). Suppose 4*s - 4*b - 28 = 0, 3*s + 2*b - 15 = -g. Suppose -2238 = -4*q + l - 673, -2*l - 1957 = -s*q. Is q a prime number?
False
Suppose 0 = 14*u - 18*u + 12. Suppose -68 - 361 = -u*m. Is m composite?
True
Suppose 10*k = -3*k + 68263. Is k composite?
True
Let r = 398 - 243. Suppose -3*n - 44 = -r. Suppose -3*f + n = -29. Is f composite?
True
Let a be (-4)/14 - (-6)/21. Suppose 0*h + 4*h = a. Suppose h*f + 355 = 5*f. Is f a prime number?
True
Let s be ((-1355)/(-10))/(4/(-8)). Let m = s - -536. Is m composite?
True
Let l = 19 - 17. Suppose 8*m - l*m - 18438 = 0. Is m prime?
False
Suppose u - 26 = -u. Let j = 75 - u. Is j a prime number?
False
Let y(x) = 3*x**3 - 14*x**2 - 13. Let u be y(11). Suppose -3302 = -4*o + u. Is o prime?
False
Let m(s) = 70*s**2 + 72*s - 29. Is m(21) composite?
False
Suppose -14386 - 6843 = -13*j. Is j composite?
True
Let q be (-24)/96 + 9/4. Suppose 1574 = q*k - 2256. Is k a composite number?
True
Suppose 0 = 5*y - 3*g - 2*g - 20, -2*y = 4*g - 14. Suppose -y*c + c = -1276. Is c prime?
False
Suppose 0 = 4*p - 2*h - 14, 0 = -5*p + h + 30 - 8. Suppose -391 = p*n - 2856. Is n prime?
False
Suppose 0 = -2*v - v + 13596. Suppose 5*a = 9*a - v. Is a a composite number?
True
Is (-178)/(-979) + 1*(-1747)/(-11) composite?
True
Let a(c) = 7*c**3 + 9*c - 21. Is a(2) a comp