omposite number?
False
Let u = 157 - -2004. Is u a prime number?
True
Let d = 442 - -1137. Is d composite?
False
Let y = -35 + 18. Let p(q) = q**2 - 25*q - 15. Is p(y) composite?
True
Let f(b) = b**2 + b + 922. Let y be 0/(1 - (6 - 1)). Is f(y) a prime number?
False
Let m(z) = 7*z**3 - z**2 - 5*z - 1. Let a be m(4). Suppose x + 1682 = -4*k, -3*x = k + 2*x + a. Let p = k + 612. Is p a composite number?
False
Suppose -3*m - 4 = -16. Suppose -m*q = -5*s + 4164 + 5401, 0 = 2*s - 5*q - 3843. Is s a composite number?
True
Let p = -3 + -46. Is -2 + (4 - (p - 0)) prime?
False
Let w = 14 + -8. Suppose 3*t = w*t - 6. Suppose t*z - 3*z = -149. Is z prime?
True
Let z be (3/(-2))/((-3)/(-6)). Let v = z + 6. Suppose 0 = v*i - i - 222. Is i a composite number?
True
Suppose n - 4 + 14 = -2*d, 2*n = 4. Let m = 4 - -5. Is d/m + 281/3 prime?
False
Suppose -v + 2*q - 1254 + 54373 = 0, 212485 = 4*v + q. Is v prime?
False
Let l = -27 - -32. Suppose 0 = -2*y - q + 8, l*q = -4*y - 0*q + 28. Is y/13 - 9538/(-26) prime?
True
Suppose -p + 2*a - 3*a = -680, -a + 2034 = 3*p. Suppose 8*i = 9*i - p. Is i prime?
True
Let o = 139439 + -76722. Is o a composite number?
True
Let b = 34209 + -6746. Is b a composite number?
True
Is (-3)/(-24)*4*3646 composite?
False
Let g(x) = x + 19. Let n be g(-17). Suppose -2*l = -3*q - 0*q - 22, 2*l - 2 = -n*q. Suppose 391 = b - l*m, -m + 1839 = 5*b + 3*m. Is b a composite number?
True
Is (7 - (-3 - 1)) + -5 - -1909 prime?
False
Let b(o) = -3 - 2*o + o**3 - 1 - 6*o**2 + 8*o. Let y be 8/(-60) - (0 - (-642)/(-90)). Is b(y) a prime number?
False
Is -32 - -9486 - -1*7 prime?
True
Suppose 13 + 19 = -4*q. Let n be 370/22 - q/44. Suppose m - n = 22. Is m composite?
True
Let f(i) = 561*i + 5. Let c be f(3). Suppose 8*j - c = -0*j. Is j composite?
False
Let s(z) = -3*z + 4 - 10 - 10. Let x be s(-7). Suppose 0 = -3*a + 2*a + x*q + 37, -3*a = 4*q - 111. Is a a prime number?
True
Let f = 2 - -3. Suppose 0*n - 6 = 3*n + f*p, -2*n + 5*p - 4 = 0. Is ((-1)/(-2))/(n/(-1172)) prime?
True
Let k(y) = -181*y + 38. Let s be k(6). Let m = -207 - s. Is m a composite number?
True
Suppose 4*c = 10 + 10. Let g(i) = 22*i + 43. Let o(j) = 7*j + 14. Let t(u) = -2*g(u) + 7*o(u). Is t(c) composite?
False
Let z(y) = 408*y - 397. Is z(44) a composite number?
True
Suppose -3*p = -4*p. Suppose -290 + p = 5*a + 5*w, 2*w = -a - 56. Let r = 37 - a. Is r prime?
True
Let x = 22660 - 14397. Is x prime?
True
Suppose -4 + 10 = 3*o. Suppose 0 = -5*g + 4*a + 8769, -g = -0*a + o*a - 1765. Is g a composite number?
True
Let j be 0*(-4)/16 - -1902. Suppose -380 = -2*l + 440. Suppose 4*r - j = -l. Is r a composite number?
False
Let h be 3/(-5) - (-32)/(-5). Is ((-60884)/12 + h)*(-3)/2 a composite number?
False
Let m(u) = -u**2 + 15*u + 44. Let l be m(13). Is (-1233)/6*l/(-21) prime?
False
Suppose 5*b + t - 3*t = 2, 0 = 4*b - 5*t - 5. Suppose -2*i - z + 222 = b, -4*z - 448 = -4*i + 20. Is i a composite number?
False
Suppose 9*o - 6*o = 3. Let k be o/2 + (-48165)/(-26). Suppose 919 = n + n - 5*b, -5*b - k = -4*n. Is n prime?
True
Let t = 18 + 10. Suppose -5*x - t - 12 = 0. Let c(i) = -3*i + 11. Is c(x) prime?
False
Let x(w) = -653*w - 7. Let b be x(-3). Let a = b + -1329. Is a a composite number?
True
Let g = -3626 - -6673. Let c = 5910 - g. Is c a prime number?
False
Let n = -25 - -16. Let v(y) = -473*y - 5. Let c be v(5). Is c/n - 1/3 a prime number?
True
Suppose -23*h - 73572 = -35*h. Is h composite?
False
Suppose 5*x + 66 = -0*v + 4*v, -3*x - 10 = 5*v. Is (x/(-15))/((-4)/(-1746)) a composite number?
True
Is 4552 + -1 + 4/(-8 + 7) prime?
True
Let k = 2119 + -378. Suppose -i - 4*d = 2*i - k, -d = 4*i - 2343. Is i prime?
True
Let m(v) = -4*v + 3*v**2 + 2 + 0*v**3 + v - v**3. Let n be m(2). Suppose -q - 3*l + 167 = n, 3*l + 65 = 4*q - 573. Is q composite?
True
Suppose 224 = 3*c - 43. Suppose -3*m - 3*n = -96, -m - 3*n - c = -3*m. Is m prime?
True
Suppose -q - 13315 = -6*q. Suppose -857 = 6*c - q. Is c prime?
False
Suppose -5*t = -324 + 194. Is t prime?
False
Let y be -1*2/((-4)/(-22)). Let t(k) = 51*k + 9. Let b(g) = -25*g - 4. Let h(l) = 13*b(l) + 6*t(l). Is h(y) a prime number?
True
Let u = 4 - 7. Let x(t) = t**3 + 4*t**2 - 4*t + 7. Let q be x(-5). Is (211/u)/(q/(-6)) prime?
True
Suppose 4*d + 0*d = -5*u + 136, 5*d = -5*u + 135. Is 8/u + 1*(-147025)/(-35) composite?
False
Let y be (-7497)/12 + 2 - 4/16. Let a = -292 - y. Is a a composite number?
False
Let j = 14 + -5. Let m = 12 - j. Let w(a) = 50*a + 7. Is w(m) a prime number?
True
Let y be 1/1 - 1 - -5. Suppose 5*z - z + v - 13 = 0, -y*z - 5*v = -5. Suppose -z*j - j = 5*w - 410, -j + 97 = -4*w. Is j a prime number?
False
Let j(z) = 102*z**3 + 13*z**2 - 3*z - 5. Is j(3) a composite number?
False
Suppose 32*u - 12 = 28*u. Suppose -t - 30 = -4*y, u*t + 10 = -2*t. Suppose -3*f - y = -208. Is f composite?
False
Let v be (-5506)/(9/(108/(-8))). Let q = v - 650. Is q a prime number?
False
Suppose -10*p + 8*p = -2890. Let r = p + -2450. Is r/(-4) + (-3)/12 a prime number?
True
Suppose 0 = -8*a + 36*a - 97748. Is a prime?
True
Let n be (-51)/6 - (-4)/(-8). Let d = n - -5. Is d/7 + (-3899)/(-49) a prime number?
True
Let s be (-10)/3 + (-6)/9. Is 778*-2*1/s composite?
False
Let c = 9472 - 3636. Suppose -26*k = -30*k + c. Is k composite?
False
Let f be (-19)/(-57) - 2/6. Suppose f = -31*z + 30*z + 85. Is z prime?
False
Suppose -5*o + 159506 = -67509. Is o a composite number?
False
Let s = 798 - -6761. Is s a prime number?
True
Let j = 38 + 195. Is j composite?
False
Suppose -3*i + 2*i + v = 12, 27 = -2*i + 3*v. Is 11725/4 + i/36 composite?
True
Let v(x) = 1 - 3*x + 8*x**2 - 3*x + 3*x. Let h be v(-6). Suppose -6*s + h = -5*s. Is s prime?
True
Let a(x) = 1240*x**3 - 7*x - 5. Is a(2) a prime number?
True
Is 63046/116*(5 + 1) a prime number?
False
Let u(m) = -12*m**2 + 17*m + 93. Let z(v) = -3*v**2 + 4*v + 23. Let c(p) = 2*u(p) - 9*z(p). Is c(10) prime?
False
Let v(s) = -5*s - 33. Let y be v(-6). Let n(q) = -1656*q - 5. Is n(y) composite?
True
Suppose 24*m - 753330 = -6*m. Is m composite?
False
Let s(d) be the third derivative of d**6/120 + 17*d**5/60 + 5*d**4/8 + 5*d**3/3 + 16*d**2. Is s(-15) prime?
False
Let a be 18/((-2)/64*-2). Let k = a - -357. Is 6/((-5)/(k/(-6))) a composite number?
True
Let d = 58375 + -31032. Is d a prime number?
False
Let d = 15933 - 4534. Is d a composite number?
False
Suppose 2*h = -h - 3. Let a(k) = -4*k**3 - k**2 - k - 1. Let m be a(h). Suppose -m*q + 0*q + 138 = 0. Is q prime?
False
Suppose 273 = p - 1207. Let m be ((-48)/(-18))/(1/417). Suppose -3*n - p = -4*u + n, n = 3*u - m. Is u prime?
False
Let g be 4 + (-2 - -3) + -1. Let i be 0*(-1)/g + -108. Let a = 1 - i. Is a a prime number?
True
Suppose 0 = -12*w + 12142 + 2570. Is w a prime number?
False
Let c(p) = p**3 + 4*p**2 + p - 6. Let g be c(5). Let h = 879 + g. Is h composite?
False
Let s(g) = -g**2 + 2*g. Let d be s(2). Let t be 2/4*2*d. Suppose t = -n - 3*q - 5, 0*q = 2*n - 2*q - 22. Is n a prime number?
True
Let j(d) = -d - 11. Let r be j(-16). Suppose r*o + 3*o - 2120 = 0. Is o a prime number?
False
Let x(f) = 210*f**3 + 16*f**2 + 4*f - 5. Let v(y) = -42*y**3 - 3*y**2 - y + 1. Let m(u) = 11*v(u) + 2*x(u). Is m(-3) prime?
False
Let q(z) = -z + 2779. Let b be q(0). Let j = 78 + -78. Suppose j*u + 7*u = b. Is u a composite number?
False
Suppose 0 + 5 = 5*j. Let c be 2/(j + 0 + -3). Is c/(-1 + 0)*251 a prime number?
True
Let r(k) = k**2 + k. Let q be r(-2). Suppose -q*i - 588 = -2*m, -1476 = -4*m - m - i. Is m composite?
True
Let g = 3279 - -142. Is g a prime number?
False
Let v(p) be the second derivative of p**4/12 - 2*p**3/3 + p**2 + 5*p. Let l be v(4). Is (53/l)/(5/10) a prime number?
True
Let f = -3 - -5. Suppose 2*d + 3*d - 28 = 3*r, 3*d = -2*r + 13. Suppose f*n - d*n = -u + 46, 2*u = -2*n + 92. Is u prime?
False
Suppose -23*y = -22*y - 773. Suppose -z = 5*l - y, z + 3*z = -l + 3016. Is z prime?
False
Let k(s) = -s**3 + 8*s**2 + 10*s - 7. Let r be k(9). Suppose -5*d = -4*w + 5464, r*w = -w + 2*d + 4091. Is w a prime number?
True
Suppose 2*d - 2*s = 3*d - 19153, 4*s = 20. Is (-2)/(-13) - d/(-39) composite?
False
Let r = 18 - 60. Let l = r - -60. Is 6/(-2)*(-1842)/l a composite number?
False
Let d(h) be the third derivative of 19*h**4/24 + h**3 + h**2. Let c be (