-p*n + 5845. Is n composite?
False
Suppose 4*i - 2*h = -7*h + 2999, 3*h = i - 737. Suppose 5*y - i = 3*y. Is y composite?
False
Let m(i) = 502*i**2 - 15*i + 13. Is m(4) composite?
True
Suppose -5*t = 66 - 16. Let k be ((-6)/(-15))/((-1)/t). Is (-8)/4 - (-84)/k prime?
True
Suppose w - 636 = 381. Suppose -8*z + w = -2639. Is z prime?
True
Suppose -x - 3 = 2*n - 0*n, -5*x - n = -21. Suppose -x = a - 2*a. Suppose 206 = l + 3*v, -3*l + 570 = -a*v + 2*v. Is l composite?
True
Let b be (186/8)/(2/(-16)). Suppose -4*r + 809 + 379 = 0. Let q = r + b. Is q composite?
True
Let n be (-2*2)/(-4) - -1. Suppose n*v - 2 = 3*s, 2*s + 15 - 3 = 4*v. Suppose 0*c = -3*h - c + 250, -v*h + 2*c + 330 = 0. Is h prime?
True
Let f = 14544 - -15177. Is f a prime number?
False
Let i = 13078 + -9029. Is i a prime number?
True
Suppose -4*m + 72 = 48. Suppose 5*u - 1019 = m. Is u prime?
False
Suppose -35*p - 20800 = -40*p. Let d = 5891 - p. Is d a composite number?
True
Let o(t) = 9*t**2 - 6*t - 2. Let z(i) = -14*i**2 + 9*i + 3. Let y(m) = 8*o(m) + 5*z(m). Let f be y(3). Is ((-2)/f)/(3/(-5268)) composite?
False
Let v = -17 + 18. Is v - -1 - 8946/(-14) a prime number?
True
Let a be (-191)/((-52)/(-18) - 3). Suppose -10*h + 7*h + a = 0. Is h prime?
False
Let s = 2178 - 2011. Is s prime?
True
Is (-1)/(9/(-54)) - -20 prime?
False
Let s(k) = 6*k + 33. Let t be s(-14). Is (-5846)/(-12) - (t/18)/(-17) a composite number?
False
Let u(x) = -1381*x - 12. Let q be u(4). Let g = q + 9123. Is g prime?
False
Let g = -178 + -391. Let f = g + 1246. Is f prime?
True
Is (59/(-3))/(24/(-72)) composite?
False
Is (532/56)/((-2)/(-316)) composite?
True
Suppose t = -t + 6. Suppose -t*v + 3617 = -13. Let r = -797 + v. Is r a prime number?
False
Is (2/(-4))/(4/(-49816)) prime?
False
Let v = -2423 - -8062. Is v composite?
False
Let l be (10/(-4))/((-2)/556). Suppose -7*k + 927 = -424. Suppose -4*d = -i - k - l, 5*d - 3*i = 1103. Is d a prime number?
True
Let k = 1255 + 210. Is k prime?
False
Suppose 2*u + 2*u = g - 91, -2*g = -4*u - 198. Let m = 147 - 144. Suppose -h - m*t = -g, -12 = -h - 4*t + 91. Is h prime?
False
Let x = 19 - 28. Let f = 13 + x. Suppose j + 4*b = -14 + 52, 5*b - 174 = -f*j. Is j a prime number?
False
Let n = -7691 + 20268. Is n composite?
False
Let s be (4 + -6)*-1*-21. Let t be 24/(-7)*s/12. Suppose -t*c + 7*c = -445. Is c a prime number?
True
Let y be (5/(-2))/((-5)/(-20)). Is y/(-3)*(-3165)/(-10) composite?
True
Is 850 - 6/4*(14 + -16) composite?
False
Suppose 5*q = 10*q - 555. Is (q/6)/(-1)*-14 prime?
False
Let d(l) = 104*l**2 + 7*l - 12. Let u be d(-6). Suppose 0 = -10*x + 13*x - u. Suppose -s + 2*s - k = 256, 0 = -5*s - 5*k + x. Is s a composite number?
False
Suppose 77*t = 65*t + 1380. Is t a composite number?
True
Suppose -4*y = 4*v - 28876, v + 2 = 2*v. Is y a composite number?
True
Suppose 4*n - 43 - 17 = 0. Suppose -3 = -3*g + n. Is (-8794)/(-30) + g/(-45) composite?
False
Let o = 15 + -19. Let x(s) = 56*s**2 + 10. Let g be x(6). Is g/14 + o/(-14) a composite number?
True
Suppose -85165 = 2*d - 5*d - 2*k, -3*d + 85171 = 5*k. Is d prime?
True
Let v be ((-272)/6)/(4/(-12)). Let d = -14 - v. Let t = -19 - d. Is t prime?
True
Suppose -5*f - 39 = 3*a, f - 4*f - 5*a - 17 = 0. Let t = f - -9. Suppose 3*k = -j + 535, -3*k = -j - t*j - 539. Is k a composite number?
False
Let g = 18 + -16. Is 69 - (-4)/4*g prime?
True
Let q(a) = -49*a + 10. Suppose -4*x + x - 18 = 3*d, 0 = -d + 4*x - 11. Is q(d) a composite number?
False
Let r(b) = -7*b**2 - 6*b + 26641. Is r(0) composite?
False
Suppose 5*h - 36963 = 13*w - 11*w, 5*h - 5*w - 36960 = 0. Is h composite?
False
Let t = 373 + -228. Suppose p - 10 = t. Suppose 2*u - 2 = 0, 2*s = 4*s + u - p. Is s a composite number?
True
Let z(y) = 143*y + 2. Suppose -4*x + x + 6 = 0. Let r be z(x). Let c = r - 193. Is c a prime number?
False
Let f(d) = 2*d**3 - 10*d**2 - 8*d - 7. Is f(14) a composite number?
True
Suppose 268*s - 264*s - 79340 = 0. Is s composite?
True
Let t = -1433 - -481. Let w = t - -61. Let j = 1388 + w. Is j composite?
True
Let w(a) = -1548*a**3 - 8*a**2 + 5*a + 11. Is w(-2) composite?
True
Let s = 13 + -7. Let p(j) = s*j**2 - 3*j**2 - 1 - j**2 + 22*j**2 - 4*j. Is p(3) composite?
True
Let f(g) = 10*g**3 + 4*g**2 + 6*g - 2. Let o(z) = -11*z**3 - 4*z**2 - 5*z + 2. Let p(h) = -5*f(h) - 6*o(h). Is p(3) composite?
True
Let m be (-2)/(-6)*(922 - 1). Let b = 29 - 151. Let v = b + m. Is v a prime number?
False
Suppose -6*k = -2*k. Suppose -3*u + 6 = -k*u. Suppose 0 = -j + u*m + 2*m + 33, -3*m + 99 = 3*j. Is j prime?
False
Suppose 3*h = 2*h + 2. Suppose h*w - 6594 = -4*w. Is w prime?
False
Suppose 0 = 4*z + 3*m - 0 + 1, -3 = m. Suppose 0 = z*l + l - u - 485, 5*l - 815 = 5*u. Is l prime?
False
Let k(a) = -652*a + 169. Is k(-49) a prime number?
True
Suppose -30 = -3*x - 21. Is (-2)/6 - x*830/(-45) a composite number?
True
Let u = 1 + 4. Suppose -a - 5*d - 133 = 19, 3*d - 648 = u*a. Is a/9*6/(-4) composite?
True
Let j = -25 - -27. Suppose -l = j*h - 1327, 2682 = 3*h + 5*l + 681. Is h a composite number?
True
Suppose -2*p + 10037 = -3*z, 2*z = -2*p - 0*z + 10042. Suppose -3*q = p + 332. Let u = -1075 - q. Is u a composite number?
False
Let o = -47 + 341. Let k = o + -471. Let p = k - -416. Is p prime?
True
Let s(q) be the third derivative of q**4/3 - q**3/2 + 2*q**2. Is s(5) prime?
True
Suppose 0 = 5*k + 3188 - 443. Let y be (-5272)/(-6) + 4/(-6). Let i = y + k. Is i a composite number?
True
Suppose 3*t - 10*t + 4669 = 0. Is t composite?
True
Let f = 13370 + 38949. Is f a prime number?
False
Suppose 31*i = 3*i + 93548. Is i a composite number?
True
Let p(t) = 7*t**3 - t**2 + t - 1. Let z be p(1). Let y = -3 + z. Suppose -g - 206 = -y*g. Is g composite?
False
Let k(u) = u**3 + 20*u - 18*u + 2*u**2 + 5 - 4*u**2 - 4*u**2. Let d be k(6). Suppose 16*j + 25 = d*j. Is j a composite number?
True
Let t(h) = -27*h + 29. Let f(p) = -p - 1. Let i(n) = 6*f(n) + t(n). Is i(-12) composite?
False
Let m = 1064 + 333. Is m composite?
True
Let d = 43 + -45. Is (16/(-12)*(-699)/d)/(-2) a composite number?
False
Is 8/2 - (-1587*12 + -15) composite?
True
Let h(q) = 2069*q - 178. Is h(5) a composite number?
True
Let k be (-4)/2*(-12)/(-8). Let n be 15/(-2)*(-66)/k. Let c = n + 276. Is c a composite number?
True
Let t(r) be the first derivative of -r**2 + 14*r - 1. Let y be t(-11). Suppose -31 - y = -u + 4*l, 0 = -5*u + l + 335. Is u a composite number?
False
Suppose 6 = -27*b + 21*b. Is b/((16/628)/(-4)) prime?
True
Suppose 8092 = 2*h + 2*f, 3*h + 9*f - 7*f - 12141 = 0. Is h a prime number?
True
Let a(p) = p**2 + 12 + 15*p + 1 - 4*p. Let z be a(-9). Let l(r) = r**3 + 5*r**2 - 6*r + 4. Is l(z) a prime number?
False
Suppose p + 3 = 4. Let y(w) = 2 + 228*w + 17*w + 10*w + 162*w. Is y(p) a composite number?
False
Let i(u) = 17*u**2 + 10*u + 2. Let v(y) = -y**2 + 1. Let b(o) = i(o) + 6*v(o). Let z be b(15). Let w = z + -1572. Is w prime?
True
Let u be 3760/35 + 9/(-21). Let c = -47 + u. Suppose 0 = -2*y + c + 34. Is y composite?
False
Let z = 404 - 255. Is z prime?
True
Suppose 4*r + 5940 = -13*x + 15*x, 0 = -4*x + 5*r + 11874. Is x composite?
True
Is ((-34507)/11)/(1*(3 + -4)) composite?
False
Suppose -8*p = 273366 - 964990. Is p a prime number?
True
Suppose -3*j + 5*a + 107275 = 0, 2*j - 5*a - 22988 = 48532. Is j a composite number?
True
Suppose q = -104 + 2601. Suppose -q + 784 = -3*o. Is o prime?
True
Suppose -4*w = -4*b + 56, 42 = b + 2*b - 5*w. Suppose -13*u - 4111 = -b*u. Is u composite?
False
Let k(t) = -t**2 - t + 39. Let z be k(0). Suppose 4*r - 16 = -h, -2*r + 8 = -4*h - 0*h. Suppose -3*c + h*c = -z. Is c composite?
False
Is (-1)/((-3)/1539) - 40/(-10) composite?
True
Is 6/24*-8 + 7791 prime?
True
Suppose -6 = -q - 3*y, 0*q - 4*y - 8 = -4*q. Suppose q*s = -2*s + 3995. Is s a prime number?
False
Let x = 38 + -37. Is (573/6)/(x/2) prime?
True
Let v be (8 - 7)*(-1)/(-2)*0. Suppose 2*l - 176 = 2*n, -l - 4*n + 8*n + 97 = v. Is l a composite number?
True
Suppose -8*l + 164055 = -198209. Is l composite?
True
Let b(l) = -8390*l - 111. Is b(-1) composite?
True
Let w be (0 + (-4)/(-12))*996. Let h be (w + 0)/2 + 3. Suppose -5*g - 4*v = -h, 0*g - 5*g + 165 = 5*v. Is g prime?
True
Is ((-84412)/20 - -9)*(-5)/2 composite?
False
Let o(t) = -5*t**2 + 2. Let g be o(2). Le