 number?
True
Is 48/6 + -7 + 175*18 prime?
False
Let p = 25 - 17. Suppose p*j - 6*j - 1052 = 0. Suppose -k = k - j. Is k prime?
True
Let p = 5 + -1. Suppose -2*h = -p*a - 12274, 4*a - 30727 = -5*h - 0*a. Is h composite?
False
Suppose 5*c - 4*w = w + 203740, -3*w = -5*c + 203738. Is c composite?
True
Let w(m) = -m**2 + 5*m - 4. Let n(o) = -1. Let l(b) = -2*n(b) + w(b). Let k be l(4). Suppose k*z - 522 + 4 = 0. Is z prime?
False
Let t(y) = 694*y + 8. Let z be t(6). Suppose 9*m - z = 5*m. Is m a composite number?
True
Suppose -16 = l - 5*t, l - 5*t = -3*t - 4. Suppose a - l*a + 231 = 0. Is a a composite number?
True
Suppose 0 = 8*q - 93 - 187. Let s = 118 - q. Is s a prime number?
True
Let d be (-3)/(36/(-171688)) - (-5)/(-15). Suppose c + y = -4*c + d, 4*c - 3*y - 11438 = 0. Is c a composite number?
False
Let q(y) = 5*y**2 + 5*y + 13. Suppose 6*f = 2*f + 28. Suppose f = -2*g - 5. Is q(g) a prime number?
True
Suppose -4*q = -12, 0 = -2*f - 0*f + q + 6775. Is f composite?
False
Is (-1)/(2/(-1754)*1) composite?
False
Is (-29260)/(-3) + 12/(-36) a composite number?
True
Let s be (15/(-10))/((-6)/16 - 0). Let b(n) be the second derivative of n**4/12 + n**3 - 3*n**2/2 + 3*n. Is b(s) a prime number?
True
Let c be (12/8)/((-4)/(-8)). Suppose 150 = 3*t - 3*v, -4*v + c = -1. Is t composite?
True
Suppose 131*u = 139*u - 23192. Is u composite?
True
Let b(i) = -i**3 + 24*i**2 - 18*i + 12. Is b(23) prime?
True
Let r = -12448 + 21260. Let p = r + -3903. Is p prime?
True
Let l(y) = 2*y**2 - 9*y + 6. Let a be l(3). Is 4*2/(-72)*a*327 a composite number?
False
Let t(a) = -a + 1. Let f(k) = k - 4. Let w(i) = -f(i) + t(i). Let o be w(4). Is o + (-3 - -55) - 0 a prime number?
False
Suppose 20*v - 8*v + 11868 = 0. Let z = -10 - v. Is z a composite number?
True
Let u = -33 + 25. Is ((-2524)/u)/((-1)/(-2)) prime?
True
Let i(o) = 3*o**3 + o**2 + 4*o + 475. Let p(n) = -16*n**3 - 6*n**2 - 21*n - 2376. Let l be 6/(-8)*(-24)/9. Let y(z) = l*p(z) + 11*i(z). Is y(0) a prime number?
False
Let h = 751 + 5847. Is h a prime number?
False
Let l = -15 + 2902. Is l a composite number?
False
Let m(p) be the third derivative of -83*p**4/24 - 3*p**3 - 9*p**2. Is m(-15) composite?
True
Is 20/(-2)*1*(-502)/4 a composite number?
True
Is 102589/9 - (66/(-54) + 1) a composite number?
False
Suppose -3*r + 1296 = 126. Suppose -w + 4*w - 524 = 4*g, 5*g - w = -655. Let v = r + g. Is v a prime number?
False
Suppose p = 4*d + 14 + 1, d + 5*p - 12 = 0. Let t(y) = -17*y**2 - 2*y + 2. Let s be t(d). Let c = 332 + s. Is c a prime number?
False
Suppose 0 = -0*n - 7*n + 21. Suppose -n*f = 2*y - 179, 2*y - 3*f - 112 = y. Is y a composite number?
False
Suppose 3*y + 4*n + 195 = -2*y, -4*y - 5*n = 147. Let o = 264 + y. Let l = 522 - o. Is l composite?
True
Suppose 2703 = z + 4*k, 8*z + 13575 = 13*z + 5*k. Is z a composite number?
False
Let l = 32 + -23. Suppose l*z = 7*z + 674. Is z a prime number?
True
Suppose 60266 = -122*a + 124*a. Is a a prime number?
True
Let m(o) = 37*o**2 + 67*o + 25. Is m(-6) composite?
True
Suppose -2344 = l - 3*l. Let r = 14 + -11. Suppose b + r*b = l. Is b a composite number?
False
Let p(y) = -2*y**3 + y**2 + 50*y - 17. Is p(-10) a prime number?
True
Suppose 16 + 4 = 4*m. Let r be 12*(-158)/(-3) - -6. Suppose -m*i + r = 3*x, -3*x + 0*x = 3*i - 384. Is i composite?
False
Let h = 76699 + -34656. Is h a composite number?
False
Let y(q) = 5*q**3 - 3*q**2 + 4*q - 2. Let b be y(1). Let m(h) = 65*h**2 + 2. Is m(b) composite?
True
Let j = -984 + 12098. Is j a prime number?
False
Suppose q = 4*h + 24, -q - 11 = -0*q + 3*h. Suppose q*p + 0 = -3*a - 6, p - 2 = a. Suppose 3*f - 198 - 75 = p. Is f a composite number?
True
Suppose 0 = -7*h + 4*h - 99. Let s = h + 12. Is s/7 - (-214 + 0) a composite number?
False
Let a be (0 - 0)/(-3 - -1). Suppose -83*w + 85*w - 22 = 0. Is w - -750 - (a + 0) prime?
True
Suppose z - 5 = -u, -4 - 1 = 2*z - 3*u. Suppose -18 - z = -5*k. Suppose v + 2*v + w = 358, k*v = 4*w + 456. Is v composite?
True
Suppose -76012 - 81674 = -6*o. Is o composite?
True
Is ((-2 - -1)*1)/((-3)/17247) prime?
True
Let i be 28/21*18/4. Let m(l) = 2*l**2 + 5*l + 4. Let v be m(i). Suppose -a + 0 = -v. Is a a composite number?
True
Suppose 2*v + 4*z = 7*v - 26, z = 2*v - 8. Suppose 6*t - 24 = -v*t. Suppose -j + 0 = -4*u - 6, -5*j = -t*u - 64. Is j composite?
True
Let b(u) = u**2 - u - 1. Let o(k) = -3*k**2 - 6*k - 2. Let y(l) = -2*b(l) - o(l). Is y(-9) composite?
False
Suppose -5*x - 8 = -23. Suppose x*t = 6*t - h - 204, -5*t - 4*h = -323. Is t prime?
True
Let q(d) = 247*d + 2. Is q(3) prime?
True
Let u(x) be the third derivative of x**5/60 + x**4/24 + 5*x**3/6 + 8*x**2. Let i be u(14). Let p = i + -72. Is p a prime number?
False
Let w be (-11 - -3) + 0/1. Let b(h) = 4*h**3 - h**2 + 3*h + 10. Let r(l) = -7*l**3 + l**2 - 5*l - 19. Let m(x) = 5*b(x) + 3*r(x). Is m(w) a prime number?
False
Let n = -4008 - -69643. Is n a composite number?
True
Suppose -4*i + 2247 = -0*c + c, i - 2*c = 573. Is i a composite number?
False
Suppose 12*q = -8*q + 5900. Is q a composite number?
True
Suppose -4360 = -b - 2*h + 2801, -5*b = -h - 35750. Is b composite?
False
Suppose -4*f + y + 4127 = 0, 4119 = 4*f + 5*y + 10. Is f composite?
False
Suppose -4*m - 5*g - 21 = 11, 3*m + 5*g = -29. Let s = m + 3. Suppose s*c + 194 = 2*c. Is c prime?
True
Let m be ((2 - (-12)/(-4))*0)/1. Suppose -5*h - 2*s = -693, h - 60 = -3*s + 89. Suppose -4*t - h + 525 = m. Is t a prime number?
True
Let y = 78783 - 51914. Is y prime?
False
Let t be -285*(22/(-6) + 3). Let n be (t/(-6))/((-1)/(-3)). Let r = 146 + n. Is r a prime number?
False
Let a = -5815 + 14676. Is a composite?
False
Let f(j) = -28*j - 8. Let p(w) = -15*w - 4. Let k(d) = -6*f(d) + 11*p(d). Let x = -5 + 14. Is k(x) a composite number?
False
Suppose 2*p = 42 + 214. Suppose b = -s + 40, -4*b - 5*s + p = -b. Suppose -a = 3*v - 172, -5*v + b = a - 254. Is v composite?
False
Suppose -214*r = -217*r. Let m(v) = 0*v**2 + v + 263 + 2*v**2 + 0*v**2. Is m(r) a composite number?
False
Let b = 120 - 365. Is ((5 - 8) + b/2)*-2 prime?
True
Suppose 0 = 4*i + 37*i - 1245047. Is i prime?
True
Let f(p) = -88*p**3 - 4*p**2 - 4*p - 4. Let o be f(-3). Suppose n - o = -3*n. Is n composite?
False
Let r(h) = 163*h**2 + 12*h + 58. Is r(-5) prime?
True
Let t(l) = -12*l**2 + 10*l - 27. Let c be t(10). Let h = c + 1686. Is h a prime number?
False
Let d(r) = -805*r**2 - 2*r - 7. Let s be d(-3). Let w = s + 12452. Suppose 9*y = -1732 + w. Is y prime?
False
Is 2*(12/8)/1 + 1190 prime?
True
Suppose 1627518 = 260*v - 254*v. Is v a composite number?
False
Suppose -i = -5*s + 357, 3*s + 210 = 6*s - 2*i. Suppose -993 = -3*v - s. Is v prime?
True
Suppose -39917 = -3*k + 4*b + 16362, -3*b = 3*k - 56286. Is k composite?
True
Let r be (15 + 3)*(-1)/(-2). Let b(t) = -t**3 + 10*t**2 - 8*t - 4. Let a be b(r). Suppose -x + a*p + 97 = p, 2*p = x - 91. Is x a composite number?
True
Suppose 0 = 5*y - 2*b - 4595, 3*b - 323 - 1496 = -2*y. Is y a prime number?
False
Let g(f) = f**2 + 14*f + 7. Let l = -17 - -3. Let b be g(l). Let j(v) = 21*v**2 + 4*v. Is j(b) a prime number?
False
Is 1/11 + -54*1344/(-22) a prime number?
True
Let u(t) = -t**2 - 7*t. Let s be u(-6). Suppose -l + s = -0*l. Suppose 3*f + 72 = 3*w, 0 = -w - 7*f + 2*f - l. Is w a composite number?
False
Suppose -4*s + 105 = -9*s. Is 7/s*2 + 1319/3 composite?
False
Suppose -15108 = -40*y + 28*y. Is y a prime number?
True
Let w = 596 + 506. Suppose a = -a - w. Let v = a - -960. Is v prime?
True
Suppose 7*b + 689 = 2838. Suppose -b = 35*d - 36*d. Is d a composite number?
False
Let b(a) = 71*a. Let i = -41 + 24. Let v = 18 + i. Is b(v) prime?
True
Let z(o) = 15*o**3 - 2 + 6 + o + o**2 - 2 + o**2. Let r be z(3). Suppose -699 - r = -7*l. Is l prime?
False
Let m(n) = n**3 - n**2 + n + 3. Let t be m(0). Suppose t*d + 6 = 0, -5*l + 2*d = -17 - 7. Suppose q + 6 = 3*q, -2*u - l*q = -20. Is u prime?
False
Let y(v) = -4*v**2 - 13*v - 19. Let b be y(-16). Let s = 1878 + b. Is s a composite number?
True
Let v = 1 - 31. Is ((-452)/6)/(4/v) a prime number?
False
Let l(z) = 1081*z**3 + z**2 + z - 2. Let h be l(1). Suppose -2*g = -3*g + 4*j + h, -5*j - 4291 = -4*g. Is g composite?
False
Let i(f) be the third derivative of 187*f**6/60 + f**5/20 - f**4/24 - f**3/2 + 27*f