t - 207 = 5*p, b*t - 3*p + 73 = t. Is t a composite number?
True
Let k be 21/6*30/21. Let l(t) = -2*t + 10. Let b be l(k). Suppose b = 6*x - 4458 - 2556. Is x a composite number?
True
Let u = -7125 + 12791. Is u composite?
True
Let w be (-4 + 7 - 4)*-2. Suppose -k - 369 = -w*k. Suppose -102 = -3*y + k. Is y a composite number?
False
Let g(x) = -x**3 + 8*x**2 - 6*x - 1. Let w be g(7). Suppose -6*t + w = -4*t. Suppose -38 + 207 = 2*v - 5*n, -311 = -t*v - 4*n. Is v prime?
True
Suppose 3*v + 0*v = r + 20415, 2*r + 34025 = 5*v. Is v a composite number?
True
Let w be (-1)/((-1)/(-1) + 25/(-20)). Suppose 0 = w*g - 2395 - 4737. Is g prime?
True
Suppose 6 = 3*o, w - 4*o = -3*o + 681. Is w prime?
True
Suppose -4 + 10 = 2*h. Suppose h*u + 0*u - 6 = 0. Suppose 0 = 5*n - 5*c - 450, -u*n - c = c - 168. Is n prime?
False
Suppose -29*n + 24*n = 3*l - 11085, -n + l + 2217 = 0. Is n prime?
False
Suppose 10*b = 45*b - 316505. Is b composite?
False
Let f = -20 + 5. Let g = 17 + f. Is g/6 + (-294)/(-9) prime?
False
Suppose -28*m = -66241 - 69027. Is m composite?
False
Suppose 0 = 3*l - 9 - 3. Suppose 4*j - 5*n - 1259 = 0, 4*n - 341 = -l*j + 3*j. Is j prime?
False
Let j be 4/6*(-282)/(-4). Let b(l) = -l**3 + 8*l**2 - 4*l + 13. Let r be b(7). Let z = j - r. Is z a composite number?
False
Suppose 14130 = -5*x + 4*n, -5*x + 2*n = 1697 + 12423. Is x/(-7) + (-10)/70 prime?
False
Let b = -2311 - -300. Let j = -752 - b. Is j prime?
True
Let w = 708 - 1482. Let b = 1153 + w. Is b composite?
False
Let y(k) = k**2 + 3*k**2 - 23 - 2*k - 2*k**2 + 0. Is y(21) composite?
True
Is (94 - 140)/((-2)/3) a prime number?
False
Let h(q) = 4*q**3 + q**2 + 2. Let p(v) = -v**3 + v. Let b(x) = -h(x) - 3*p(x). Let i be b(-2). Suppose i*n + 633 = 11*n. Is n prime?
True
Suppose 3*v + 15 = 10*g - 5*g, -2*g + 6 = 4*v. Suppose -t - 3*r = r - 505, 5*r = g*t - 1583. Is t composite?
False
Let i(s) = 37*s**3 - 2*s + 21. Let y(d) = -18*d**3 + d - 10. Let g(w) = -2*i(w) - 5*y(w). Let p(z) be the first derivative of g(z). Is p(2) composite?
False
Suppose 0 = 7*i + 180136 - 688959. Is i composite?
False
Let o(m) = -8*m + 10*m + 15*m + m**2 - 1. Is o(13) a prime number?
True
Let a be (-3 - 16/(-5))*5. Let f(j) = 127*j**2 + 911*j**2 + 3*j + 288*j**2 + 71*j**2 - a. Is f(1) composite?
False
Is (21/6)/(8/8048) a prime number?
False
Let x be ((-4)/(-4))/1 + 4. Suppose 4*b + b - 1625 = -x*l, -b + 309 = 5*l. Suppose 4*i - b = 235. Is i composite?
True
Let s(l) = 4*l - 16. Let c be s(6). Suppose 4*v - c*v = 0. Suppose -2*y + 1342 = 4*g, g - 5*y + 140 - 470 = v. Is g a composite number?
True
Suppose 0 = -4*p - 0*p - 12. Is 3*(2 + (-205)/p) a composite number?
False
Suppose 7*j = 12*j + 50. Is 1 - (-6)/j - 57183/(-105) a composite number?
True
Suppose -4*r + 1144 = d - 83, 3*d = 9. Suppose -4*h = -7*h - r. Let q = -47 - h. Is q a prime number?
False
Let w be (-4)/6 - 116/6. Let y be -36 - (-5)/(w/(-12)). Let k = y - -110. Is k prime?
False
Let i = 10944 - -7175. Is i composite?
False
Let s = -17 - -7. Let v(f) = -f**3 - 7*f**2 - 3*f - 3. Let n be v(s). Suppose 3*y = 666 + n. Is y a composite number?
False
Let f = 75 + -71. Suppose 3*t + f*x = 877, -t + 594 = t - 2*x. Is t prime?
False
Let y = -172 + 175. Suppose 3*o - 2*o = 5*n - 3110, -y*n - o = -1874. Is n prime?
False
Let y(b) = 9*b**2 - 47*b + 213. Is y(-55) a composite number?
True
Let z = 3219 + -2225. Let c be (701/(-4))/(97/388). Let v = c + z. Is v composite?
False
Let k be 3/(4/(-16)*-4). Suppose -2*o + 269 = q - 178, -5*o = k*q - 1120. Is o a composite number?
True
Let w = 50076 - 24581. Is w a composite number?
True
Suppose 5*y - 3*y = 0. Suppose -5*n + 4*n + 2*x = -547, 5*n + 4*x - 2665 = y. Is n prime?
False
Let p be (-1)/(-4) - (-105)/28. Suppose -6 = p*f + 2. Is 1/f + 171/2 a prime number?
False
Suppose -81076 = -5*k + 3*y, k - 5*y - 4595 = 11607. Is k prime?
True
Let p = -47 - -42. Let c(o) = -71*o + 18. Is c(p) a prime number?
True
Let x(u) = -189*u**3 - u**2 - 15*u + 2. Is x(-5) a prime number?
True
Let c(t) = 42*t**2 - 3*t + 1. Suppose 4*d - 12 = d. Suppose -5*g + 4*g - d = 0. Is c(g) a composite number?
True
Let k(h) = h + 3. Let s(u) = -1. Let g(v) = k(v) + 6*s(v). Let z be g(5). Suppose y = -z*y + 2211. Is y composite?
True
Let f = 6813 - -2720. Is f a prime number?
True
Let t(o) = -o**3 - 6*o**2 + 3*o + 9. Let d be t(-6). Let c(b) = -55*b - 29. Is c(d) composite?
True
Let j = -969 - -1087. Is j a prime number?
False
Let a be (2 + -2)/(1/(-1)). Let f be (3 + 593)*-3*2/(-3). Is (f/4 - a)/2 prime?
True
Let d be 0*(-3 - -1 - -1). Suppose 4*w = w + 2*l - 8, 3*w - l + 13 = d. Let p = 103 + w. Is p a prime number?
True
Suppose -b = 3*b - 4668. Suppose -12 = 2*w - 4*i - 578, -4*w = -i - b. Suppose -2*c = -3*g - 166, -4*c + w = -5*g - 39. Is c composite?
False
Let m be (-724)/(-36) - 2/18. Let u be (48/(-15))/((-4)/m). Let f = u + 37. Is f prime?
True
Let v = -75 - -129. Let x = v + 37. Is x a prime number?
False
Suppose 33*n + 9268 = 37*n. Is n composite?
True
Is 73/(-511) + 512472/14 a composite number?
True
Let k(l) = 2*l**2 - 15 + 29*l - 3 + 8 - 10. Is k(-23) composite?
True
Let m(i) = 2*i**3 - 93*i**2 - 57*i + 103. Is m(48) a prime number?
False
Let w(s) = -43*s - 5. Let n be 14*2/(-12)*3. Let u be w(n). Let r = u - 87. Is r a composite number?
True
Let g(v) = -14*v**2 + 5*v + 6. Let z(a) = 7*a**2 - 3*a - 3. Let b(d) = 2*g(d) + 5*z(d). Is b(-8) a prime number?
False
Suppose -104*h + 423687 = -71*h. Is h prime?
False
Suppose -g = g + o + 2597, -5212 = 4*g - 4*o. Let r = 2205 + g. Is r composite?
True
Suppose -73243 - 931775 = -42*g. Is g composite?
False
Let c = 15 + -6. Let p be (-2)/(3/c + -1). Let w(a) = 147*a - 4. Is w(p) composite?
True
Suppose -3*r - r - 12 = 0. Is ((-3)/6)/(r/2922) a prime number?
True
Let q(m) = 7*m + 1. Let d(c) = -c + 1. Let w(l) = 6*d(l) + q(l). Let b be w(-7). Suppose b*f - 1575 = -2*f - u, 3*f - 3*u - 2340 = 0. Is f a composite number?
True
Let x(y) = 3*y + 3*y + 1 + y - 4*y. Let t be x(1). Suppose t*i - 866 = 5*w, 5*i - w + 146 - 1218 = 0. Is i prime?
False
Let x = 2 + -2. Suppose 52 = 19*g - 6*g. Suppose -g*o + 40 + 276 = x. Is o a composite number?
False
Let p = -14 - 0. Let t(w) = 4*w - 3*w + 9 - 7*w. Is t(p) a composite number?
True
Let g = 48 - 43. Suppose g*x - 2*u - 10797 = 0, 7*x - 2*x - 10813 = -2*u. Is x composite?
False
Let a be (12/9)/((-14)/21). Let n be (-1)/(-1) + 1 + -2. Is (-1)/a*(46 + n) composite?
False
Let n = -3 - -7. Suppose 0 = -2*q + n*w + 614, 4*w = q + w - 311. Is q a prime number?
False
Suppose -10*c + 4330 = -5*c. Suppose 5558 = 3*g + c. Suppose g = -4*v + 4256. Is v a composite number?
False
Let r be ((-140)/(-25))/((-2)/(-15)). Suppose m + 2*m - r = 0. Is 11022/m - (-26)/(-91) composite?
False
Let a(g) = -3588*g + 357. Is a(-15) a prime number?
False
Let u(w) = 4*w + 3. Let i be u(0). Suppose i*g - 3985 = -2*g. Is g a composite number?
False
Suppose 40 = 10*p - 24490. Is p prime?
False
Suppose 9 = d + 4*z, 3*d = -6*z + 3*z + 18. Suppose 0 = 5*s - d*v - 1685, -833 = -3*s - 2*v + 178. Is s prime?
True
Suppose -12 = -4*l, 5*v = 2*l + 56 - 12. Let k be 10/50 + 6838/v. Suppose 0 = -p - 231 + k. Is p a composite number?
True
Let p be 1*-2 + (-4 - (-6 - -1)). Is p/4 + 27261/36 a composite number?
False
Let v = 1598 + 3143. Is v a composite number?
True
Suppose m + 3*x = 4*x + 7, 3*m = -2*x + 16. Suppose 3*u - m = u. Suppose -12 = l - u*l. Is l prime?
False
Suppose 0 = 5*l - 2*o - 8, 2*l + 2*o = -6 - 2. Let p be 147 - -6 - (l - -2). Is p + (0 + 8)/(-4) a composite number?
False
Let g(v) be the first derivative of 7*v**3/3 - v**2 - 4*v - 39. Is g(3) a composite number?
False
Let j(c) = -12*c**3 - 14*c**2 + 2*c + 99. Is j(-10) a composite number?
True
Let z(o) = 17*o**2 + 33*o - 83. Is z(20) a composite number?
True
Is 5 + (-85)/5 - -7 - -26912 a composite number?
True
Let c = 19337 - 10186. Is c a composite number?
False
Let q = 44 - -54. Suppose 3*n - q = 1123. Is n a prime number?
False
Let j = 60896 + -27415. Is j composite?
True
Let x(k) = k**3 + 3*k**2 + 6*k - 7. Let o be (-1)/(((-6)/(-5))/(-6)). Suppose -2 + 1 = w + 3*f, -o*f + 15 = 5*w. Is x(w) a prime number?
True
Let p(d) = 5675*d**2 + 4*d - 32. Is p(3) a prime number?
False
Suppose 0 = p + 2*v - 12349, -3*p + 37047 = 75*v - 70*v. 