rime number?
False
Suppose -646 - 4494 = -4*q. Is q a prime number?
False
Suppose 29 - 134 = -3*q. Is q a prime number?
False
Let i = -6 - -6. Suppose -l = -2*b + 7, -l = -i*l - 5. Let h(f) = 5*f**2 - 2*f - 5. Is h(b) prime?
True
Let f(q) = 20*q**2 - 3*q + 1. Let s be f(2). Suppose 0 = -d - 4*d + s. Is d a composite number?
True
Let x(z) = 49*z - 1. Let b = 7 - 5. Is x(b) a composite number?
False
Let s = -7 + 9. Suppose -s*v + 106 = o, -v + 6*v = -3*o + 265. Is v a composite number?
False
Let l = -1775 - -5354. Is l a composite number?
True
Let n be 58/12 + (-1)/(-6). Suppose 4*q - 4*k - k = 421, 5*k = -n*q + 560. Suppose x + 28 + q = 4*h, 2*h - 4*x - 58 = 0. Is h composite?
True
Suppose 2*w - 22 = 14. Let z(g) = 3*g - w*g - 6 - 6*g - 1. Is z(-6) composite?
True
Let q(m) = 2*m**3 - 7*m**2 - m + 4. Is q(6) a composite number?
True
Let q(c) = -22*c. Let n be q(2). Let h be 344/n - 2/11. Is (-74)/h*(-16)/(-4) a prime number?
True
Let d(w) = w**2 + 4*w - 3. Let i be d(-5). Suppose s = -2*h + 183, -5*s + 4*h = -0*h - 873. Suppose i*p = -p + s. Is p composite?
False
Is -4 + 1 + 8602/17 a prime number?
True
Let w = 119 + -83. Suppose 211 = 5*n + w. Is n a composite number?
True
Suppose 5*q - 1377 = -82. Is q composite?
True
Let j be (-46 - 4/(-2)) + -1. Let d = 262 - 134. Let v = j + d. Is v a composite number?
False
Let i(h) = 4*h**2 - 1. Let a be i(1). Suppose -z + 3 = -5*k - 3, a*z + k - 34 = 0. Is z a composite number?
False
Suppose -5*f + 3145 = -2*w, 1887 = 3*f + 3*w - 8*w. Is f prime?
False
Let d(h) = -84*h + 5. Let w(k) = -k - 4. Let b be w(4). Is d(b) a composite number?
False
Suppose -o - o = -8. Suppose i + 741 = o*i. Is i a prime number?
False
Suppose 26 = 5*t - 49. Suppose -5*j + 0*j - 3*o = -t, 5*o = -j - 19. Is j a prime number?
False
Let c(p) = -p**3 + 0*p**2 - 69*p + 2*p**2 + 68*p + 611. Is c(0) composite?
True
Let x be (-2)/(-12) - (-1460)/24. Let a = 94 - x. Is a a prime number?
False
Suppose -g = -0 - 2. Let u be g - (3 - (0 + 2)). Is (u/(-2))/((-2)/56) composite?
True
Suppose 0 = -3*z - 2*o + 1747, z + 371 = 4*o + 944. Is z composite?
True
Suppose 4*s + 5*n = 543, -4*s + 3*n = 19 - 602. Is s a prime number?
False
Let g(t) = 2*t**2 - 12*t - 11. Let s = 11 - 2. Is g(s) a composite number?
False
Let w = -3423 - -8284. Is w a composite number?
False
Let f be 2 + 101 + (-2 - 0). Let p be (-1 - -2 - f) + 1. Let z = p - -148. Is z composite?
True
Let w = 14 - 11. Suppose w*i = -1 + 28. Is i composite?
True
Suppose 0 = 2*t - t - 2*m + 9, 5*t + 5*m - 30 = 0. Suppose t = -k + 2. Let o(q) = 20*q**2 - q. Is o(k) prime?
True
Let g be (-29)/(-2*(-3)/(-24)). Is g/36 + (-2)/9 prime?
True
Suppose 3*w = 2*z + z + 708, -3*z + 467 = 2*w. Is w a composite number?
True
Suppose 3*d + 844 = 7*d. Is d a composite number?
False
Suppose 71 = 4*l - 4*r - 9, 0 = 5*l - 2*r - 88. Let z = l + 97. Is z composite?
False
Suppose -109 = v + s, 0 = 3*v + 2*s + 2*s + 324. Is (-2026)/(-14) - 32/v composite?
True
Let s = 133 - 88. Suppose -2*d = 3*d - 190. Suppose -v + d = -s. Is v a prime number?
True
Suppose 5*y - 3*i = 770, -2*y + 0*y - 2*i = -324. Is y composite?
False
Let i = 6 + -4. Let u be (-3)/((-1)/i*-3). Is (34*1)/(u/(-5)) a prime number?
False
Suppose -509 = -7*t - 103. Is t prime?
False
Let m(d) = -56*d**3 - 2*d**2 + 2*d + 1. Is m(-2) prime?
False
Let m be ((-8)/3)/(4/(-30)). Is (12/(-8))/((-3)/m) composite?
True
Let s(b) = -b - 4. Let r be s(-8). Suppose -r*g + 998 = -942. Is g prime?
False
Let v(g) = 395*g**2 - g + 1. Is v(1) prime?
False
Let l(t) = t**2 + 2*t - 1. Let u = -1 - -8. Let y(h) = h**3 - 6*h**2 - 7*h - 8. Let x be y(u). Is l(x) composite?
False
Suppose 5*i - 20 = -5*s, -i - 4*s + 9 = -7. Let f be (0/(-1))/(18/(-6)). Suppose 3*h - 34 = -o, f = -4*o - i*h - 4*h + 96. Is o a prime number?
True
Let c(u) be the second derivative of 0 + 2*u**2 + 2/3*u**3 + 2*u + 5/12*u**4. Is c(-3) prime?
True
Let k(r) be the third derivative of r**4/24 + r**3 + 2*r**2. Let b be k(-5). Is (-201)/12*-4*b prime?
True
Let b be 14330/8 - (-3)/(-12). Is (b/36)/(2/8) prime?
True
Let p(z) = 1 - z**3 + 3 + 0 - 1 + 4*z + 7*z**2. Is p(4) a composite number?
False
Let c(p) = 53*p**3 - 3*p + 1. Is c(2) a prime number?
True
Let h be 60 + 0 + 1 + -1. Let d(a) = -a**3 - a**2 + a + 1. Let u be d(-2). Suppose -u*m = m - h. Is m a composite number?
True
Let n(i) be the third derivative of i**6/120 + i**4/8 + i**3/2 - 4*i**2. Is n(6) prime?
False
Is (-10)/(-65) - (-190665)/39 prime?
True
Suppose 5*f - 7715 = -r, -4*f + r - 4*r = -6172. Is f a composite number?
False
Let z(s) = 13*s - 4. Suppose 5*r + 24 = -16. Let j = -5 - r. Is z(j) a composite number?
True
Suppose 3*b - 15 - 12 = 0. Let j = -5 + b. Suppose 8 = -2*n + j*n. Is n a composite number?
True
Let h(p) = p**2 - 2*p - 5. Let o be (1/2)/(4/48). Suppose 4*u + d = -14, -5*u - 4*d + o*d - 24 = 0. Is h(u) a composite number?
False
Let w(j) = -j - 9. Let q be w(-7). Let b(s) = -s**2 - 2*s + 2. Let a be b(q). Suppose a*r = 4*l - 0*l - 716, -l = 4*r - 179. Is l a prime number?
True
Let a = 60 - -2. Suppose -319 - a = -3*w. Is w a composite number?
False
Let b = 277 + -120. Is b a composite number?
False
Let j be (0 + 180)*(-9)/(-4). Let m be (1*j)/(15/20). Suppose -t = 4*r - 5*t - m, 0 = 2*t + 4. Is r a prime number?
False
Let q(a) = a**2 + 9. Let i be q(0). Let w = 60 - i. Is w composite?
True
Let b(x) = x - 4. Let c be b(4). Suppose n = -c*n + 253. Is n composite?
True
Let t(j) = -43*j**3 + j**2 + j + 1. Is t(-2) a composite number?
False
Let q(r) = r**3 + 24*r**2 + 11*r - 13. Is q(-17) composite?
False
Let l(f) be the third derivative of f**6/40 - f**3/3 + f**2. Is l(3) composite?
False
Let i be 11 + 0 + -1 + -1. Let r(a) = 2*a - 5. Is r(i) a composite number?
False
Let i be ((-12)/(-8))/((-6)/8). Let b be (-3)/(-3)*(i - -39). Let g = b + -24. Is g a composite number?
False
Let q(i) = i**3 - 14*i**2 + 13*i + 9. Let p be q(13). Suppose 4*d - 8 = r, 0*r = 3*d + 2*r - 6. Is d/p + 745/9 composite?
False
Suppose 4*w - 1 = 15, -3*w - 8 = -4*s. Suppose -r = -2*r - 3*o + 68, s*r + 5*o = 290. Is r a prime number?
True
Let a = -1918 + 2795. Is a a composite number?
False
Let b be 41/(-4) + (-3)/(-12). Let s = b - -16. Let q = s + 19. Is q a composite number?
True
Suppose 10*r + 171 = 7*r. Let u be 3/2*8/(-3). Let b = u - r. Is b a composite number?
False
Let x(j) = 7*j - 3. Let y be 18/4 + (-3)/6. Is x(y) a composite number?
True
Is (-10)/(-15) + (-2 - (-1425)/9) prime?
True
Let g = 24 + -8. Let b = -9 + g. Is b composite?
False
Suppose 3 = -h - 1, x - 62 = 4*h. Is x a prime number?
False
Let n(h) = -3*h - 6. Let s be n(-6). Let k(z) = s*z + 15*z - 1 + 8*z. Is k(1) composite?
True
Let p be ((-30)/(-25))/((-2)/(-5)). Suppose 0 = p*f - 18 + 3. Suppose f*c - 132 = c. Is c a composite number?
True
Let l be (-6 + 5)/((-3)/(-4767)). Is (-6)/(-36) - l/6 prime?
False
Let p(i) = -172*i + 1. Is p(-3) a prime number?
False
Suppose 0*v - 2*v + 290 = 0. Is v a composite number?
True
Let h be (55 - (-3 + 2))*1. Suppose 2*o - h - 50 = 0. Is o composite?
False
Let p = -905 + 1804. Is p a prime number?
False
Let z = 4 - 4. Let o be -2 + (-6)/(-3) - z. Suppose q + o*q = 47. Is q a composite number?
False
Let a(w) = w**2 - w - 5. Is a(-8) a prime number?
True
Suppose 211 = -2*u - 2405. Let d be u/(-8) + (-2)/(-4). Suppose 2*c = d - 6. Is c prime?
True
Let w(z) = -z**3 - 10*z**2 - 10*z + 13. Suppose -3*n = -2*c + 3, -3 = 3*c - 0*n - 3*n. Let v be 2/((-8)/(-6))*c. Is w(v) composite?
True
Let t be 92 + ((-6)/3 - 1). Let r = t - -272. Is r a prime number?
False
Suppose 3*a - 24 = 3*g, -3*g - g + 67 = 5*a. Let t = 16 - a. Suppose -126 = -t*y - 31. Is y prime?
True
Let k = 3725 - 2128. Is k composite?
False
Suppose 0 = -5*k - 14 - 11, -4*s + 5*k = -9957. Is s composite?
True
Let n = -3 - -3. Suppose n*i + 4*i = 76. Is i a prime number?
True
Suppose j - 188 = 3*x, 4*j - 904 = -j + 3*x. Is j a prime number?
True
Let o(a) = 17*a**2 + 6*a - 13. Let t be (7 - 1)*1 + 0. Is o(t) composite?
True
Suppose 21 + 267 = -4*t. Let s = t + 185. Is s composite?
False
Let d(q) = -2*q + 2. Let i be d(-2). Let h(l) be the second derivative of l**5/20 - l**4/4 - l**3 + 5*l**2/2 - 5*l. Is h(i) prime?
False
Let l(n) = n**3 + 10*n**2 + 9*n + 2. Suppose -17 + 57 = -5*t. Let f be l(t