1 = -v + 3002, 3*u = 2*v - 22685. Is v prime?
False
Suppose -g - 7681 = -3*j, -g = -33*j + 34*j - 2563. Is j composite?
True
Let d be (3/(-4))/(11/132). Is (1 + 8/(-12))*d - -392 composite?
False
Suppose 0 = 3*x + 3*t - 468, -7*x + 12*x - 789 = 4*t. Is x a composite number?
False
Let b(n) = -n**3 - 7*n**2 - 7*n - 34. Let x be b(-11). Suppose 2*a + v - 765 = 291, a = -v + x. Is a a prime number?
False
Is 3738 + -12 - (-22)/(-2) prime?
False
Let p(w) = 27*w - 53. Let f(r) = 26*r - 53. Let a(c) = 3*f(c) - 2*p(c). Is a(10) prime?
False
Suppose -2*d - 2 = z, -2*z - 3*d = 4 - 1. Suppose 3*l + l = 12, z = -3*b + 2*l + 657. Is b a prime number?
False
Let u = 39 - 34. Suppose k - 169 = u*w, -w + 0*w - 2 = 0. Is k composite?
True
Suppose -2*v = -v. Suppose v = 2*m + 3*m - 2045. Is m composite?
False
Is (-1370)/(-4) - 2 - 38/(-76) prime?
False
Let r be (-1 + -8)/((-15)/50). Let l be (-45)/r - (-3637)/2. Suppose -l - 618 = -5*o. Is o prime?
True
Suppose 4*d + 641 = -955. Let c = -34 - d. Let p = -256 + c. Is p composite?
False
Let q(a) = -a**3 + 3*a**2 - 2*a. Let x be q(2). Suppose 15 = w - x*j - 2*j, -3*w - j = -31. Let l = w - 4. Is l a composite number?
False
Suppose 2*g = 3*g - 5. Is 6963*g/(-60)*-4 prime?
False
Let w be ((-4)/(-8) - 1)/((-1)/(-298)). Let p = w + 832. Is p prime?
True
Let c(g) = -11*g - 8 + 45*g + 47*g + 10. Let n(f) = -f**3 - 5*f**2 + 6*f + 1. Let w be n(-6). Is c(w) prime?
True
Let n(v) = -v + 10. Let w be n(6). Is (1973/2)/(w/8) prime?
True
Let r = 631 - -48. Is r a prime number?
False
Is (-12324)/(-3) + (3 - 5) prime?
False
Let v be (40/(-6))/(4/(-6)). Suppose 19*l - v*l - 7821 = 0. Is l composite?
True
Let k(f) = -f**2 - 20*f + 19. Let v(m) = m**2 - m. Let h be v(1). Let s be 1 + (-1 - (15 + h)). Is k(s) prime?
False
Suppose -4*r - 390 = -6*r. Suppose -r - 286 = -h. Suppose 3*a + 2*x = h, x - 4*x + 15 = 0. Is a prime?
True
Let n = 7 + -5. Suppose 3*z + 13 = y, -z = -n*y + 3*z + 20. Suppose -3*m + y*m - 71 = -4*o, -5*m + 412 = o. Is m a composite number?
False
Let x(u) = 189*u**2 - 7*u + 2. Is x(-9) a composite number?
True
Let x(v) = -13*v**3 + 3*v**2 + 5*v - 1. Let h be x(-4). Let y = h - 476. Let g = -264 + y. Is g prime?
False
Is 786261/21*2/(4/2) composite?
False
Suppose -1637 = -d - 2*y, -y = 4 - 1. Is d composite?
True
Let a = 291 + -140. Suppose 7*m = 2838 + a. Is m a composite number?
True
Let x = 5621 + -1215. Is x prime?
False
Let n = -60 + 65. Let l(y) = 113*y - 24. Is l(n) composite?
False
Let z be 0 - (6/3 + -1). Is 1/((-1)/(-223)*(z - -2)) prime?
True
Suppose 2*h + 5*j = 2134, 4*h + 0*j - 4268 = 2*j. Is h a prime number?
False
Let k(p) = 4*p**3 + 9*p**2 - 30*p + 7. Let c be k(10). Suppose -c - 108 = -5*m. Is m a composite number?
True
Suppose 3*y = -2*s + 1121, -y + 2237 = -0*s + 4*s. Let j = s + -302. Is j prime?
True
Let v = -1 + 7. Let b(g) = g**3 - 5*g**2 - 6*g + 3. Let p be b(v). Suppose 5*h - p*h - 106 = 0. Is h composite?
False
Suppose -375 = 6*b - 7*b. Suppose 1170 = 5*z + b. Is z a composite number?
True
Suppose -8*h = -4744 - 3080. Let l = -539 + h. Is l composite?
False
Suppose 10 = -5*r, 5*c - 3148 = -3*r + 7*r. Suppose 2*v - 3*w = -0*v + 1271, -c = -v - w. Is v composite?
False
Let c = -1196 - -1263. Is c composite?
False
Suppose 8*w - 4490 = -2*g + 5*w, -6737 = -3*g - 4*w. Is g a prime number?
True
Let c(v) = -910*v + 178. Is c(-16) prime?
False
Let f(k) = 178*k**2 + 33*k - 4. Is f(-11) a prime number?
False
Let k(f) = 1126*f + 9. Is k(4) prime?
True
Let p = 7 + 3. Let z(i) = i**2 - 11*i + 14. Let o be z(p). Suppose -o*m = -159 + 35. Is m composite?
False
Let h(d) = -d**3 + d**2 + 5*d - 3. Let o be h(5). Suppose -4*g + 4*m - 1411 = g, 0 = 3*g + 2*m + 829. Let x = o - g. Is x prime?
False
Suppose -140322 + 33214 = -4*r. Is r prime?
True
Is (-41567)/(-1) + ((-171)/(-9) - 17) a composite number?
True
Let i be (-56)/7*(-45 - 1). Let h = 111 + i. Is h a composite number?
False
Suppose 2*z - 6*z + 4*a = -18816, 0 = 3*z + 3*a - 14082. Is z composite?
True
Suppose 0 = 19*g - 10*g - 22653. Is g a prime number?
False
Let w(d) = 30*d**2 + 7*d + 19. Suppose -5*v = -4*m - 39, -4*m - 3*v - 15 = -0*m. Is w(m) a prime number?
False
Let r = -38 + 36. Is 1/(r/(-828)) - (4 - 1) composite?
True
Let d = -153 - -782. Is d a prime number?
False
Let h = -59 - -108. Let c = -90 + h. Let u = 76 + c. Is u prime?
False
Let d = 134 - 129. Suppose 0 = -5*t + 5*f + 7143 + 5897, 0 = -3*t + d*f + 7822. Is t a prime number?
True
Let t be (1/1)/((-2)/576). Suppose 11*s - 3273 - 1336 = 0. Let n = t + s. Is n a prime number?
True
Let r be -24*((-1)/1)/(-1). Suppose -30*d + 4055 = -235. Let u = d + r. Is u a prime number?
False
Let l(h) = -2*h + 1 + 0 + 14*h. Let u be ((-9)/6)/(3/2 - 3). Is l(u) a composite number?
False
Let a be ((-11)/(-2))/(3/354). Suppose 2375 + a = -3*o. Let l = 1417 + o. Is l a prime number?
True
Let y(i) = i - 15. Let h be y(13). Let f be (-10)/h*99/(-55). Is -942*(-2 + (-15)/f) composite?
True
Let c be -1 + (978 - 9/(-3)). Suppose 2*w = -2*y + c, y - 2*y + w = -480. Is y prime?
False
Let f(o) = -o**3 + 8*o**2 - 14*o + 6. Let s be f(6). Is 1280 - (s + -4)/5 composite?
True
Let l = 103396 + -71435. Is l a composite number?
True
Let g = -32 - -34. Suppose 0*r + g*r - 166 = 0. Is r composite?
False
Let z be 1492/4*1 + -5. Is ((-129)/(-6))/(8/z) composite?
True
Let d(t) be the third derivative of -3/4*t**4 + 0 - 6*t**2 + 0*t + 1/6*t**3. Is d(-7) composite?
False
Is (135/(-18) - -8)*(1 + 7141) composite?
False
Let l be 3/(-6) - (-21)/6. Suppose -l*v - g + 384 = 0, 0 = -2*v + 3*g + 91 + 154. Is v a composite number?
False
Suppose -862*y + 642727 = -825*y. Is y prime?
False
Let b(p) = -4*p + 2. Let t be b(-1). Suppose t*x = 9*x - 1653. Is x a prime number?
False
Let i(w) = w + 4. Let u be i(-6). Let a be 3/(1*(-3 - u)). Is 1/(1020/339 + a) a composite number?
False
Let h be (14 + -8)*(-10)/(-4). Let y(t) = -1 + 5 - h*t + 2 - 10*t. Is y(-5) prime?
True
Let u be -1 + (-92)/(-16) + (-1)/(-4). Suppose 2*n - 2*p = 1530, -4*n + u*n = -4*p + 785. Is n composite?
False
Let o(m) = 86*m + 1. Let k be o(1). Suppose -60 = -3*b + k. Is b a prime number?
False
Let s = 35 + -21. Is 50*19 + (s - 11) a prime number?
True
Suppose 0 = -7*r + 4*r + p - 1051, 5*r + 1752 = 2*p. Let k = -244 - r. Is (k/(-2))/(5/(-5)) prime?
True
Let s(q) = q**2 + 7*q + 5. Let z be s(0). Suppose -3*n + y + 0*y = -7551, -3*y = z*n - 12585. Is n a prime number?
False
Let s = 38255 - 26478. Is s a composite number?
False
Let u = 39 - 10. Suppose -3*v - u + 11 = 0. Is (-4)/v - (-2325)/9 a prime number?
False
Suppose -w = -5*r + 13509 - 64165, -6 = -2*r. Is w composite?
False
Let d(h) = h**3 + 20*h**2 + h + 11. Suppose 3*p = -m + 24, -3*p - 2*p + 4*m = -40. Suppose -6*q + 38 = -p*q. Is d(q) a composite number?
False
Let a(r) = -1270*r + 8. Let n(u) = -635*u + 4. Let j(b) = 3*a(b) - 7*n(b). Is j(3) a prime number?
True
Suppose -4*q = 12, 3*q + q = -g - 13. Let y(o) = 112*o**2 + o + 2. Let k be y(g). Suppose l = 4, 3*p - 4*l + k = 4*p. Is p prime?
True
Let n(w) = 13*w**2 + 20*w + 43. Is n(16) a composite number?
False
Is 5 - ((-28224)/4 - 0) composite?
True
Let p = 7414 + 116217. Is p prime?
True
Suppose -26*n + 29*n + 4*w = 320489, 534130 = 5*n + 3*w. Is n composite?
False
Let v(g) = -2*g**3 - 12*g**2. Let l be v(-6). Suppose -5*c + 8279 = 4*w - 2*w, 4*c - 3*w - 6637 = l. Is c prime?
True
Suppose -6*p - 3 = -7*p. Suppose -3*b + 19 = -b - p*r, 5*r = 4*b - 35. Suppose 0 = 3*x - b - 13. Is x prime?
False
Let l(r) = r**3 + 6*r**2 + r + 3. Let k be l(-3). Suppose s + 3 = u, 0 = 2*u - 0*u - 4*s. Let w = k - u. Is w composite?
True
Let k(p) = -p**2 + 13*p - 8. Let i be k(12). Suppose -4*d - 5*g + g + 1732 = 0, i*g + 2201 = 5*d. Is d composite?
True
Suppose 0 = 2*x - 2*g + 10, x - 4*g + 14 = 3*x. Let y be ((-15)/10)/(x/(-2)). Is (40 - y - 0)*7 a composite number?
True
Is 3/9*1 - (-39138)/9 composite?
False
Suppose -q + 29 = 27. Is 369/7 - (q - 48/21) prime?
True
Let t = 7 - 7. Suppose 5*i = -0*q + q + 1890, t = -i - 5*q + 404. Is i a prime number?
True
Let v(r) = -48*r**3 + 2*r**2 - 2*r - 3. Suppose 43 + 5 = -16*i. Is v(i) a composite number?
True
Let z = 1 - 4. Let d(f) = -8 - 81*f + 10 - 8. Is d(z) prime?
False
Let x = 4818 + -2189. Is x prime?
False
Let w(z) = -9*z**3 