p. Is i a prime number?
True
Is 4/(-16) + 15/12 + 52 prime?
True
Is (-4)/2 + 2700/12 a composite number?
False
Let j be (-73)/(-2)*(4 + -6). Let h = 142 + j. Is h composite?
True
Let p = -1 - -2. Suppose a = p + 29. Suppose -5*v = -0*v - a. Is v composite?
True
Let v(j) be the first derivative of 167*j**3/3 - j + 4. Is v(1) composite?
True
Let o(h) = -42*h - 1 - 21*h + 0 - 23*h. Is o(-1) composite?
True
Suppose 0 = 2*u - 265 - 49. Is u a prime number?
True
Suppose -2*b + 866 = -444. Is b a prime number?
False
Let f(o) = -2*o - 2. Let h be f(-8). Is (898/(-4))/((-7)/h) a prime number?
True
Suppose -j + b = -12, -4*j + b - 30 = -9*j. Suppose j*i - 98 = 5*i. Is i composite?
True
Let h = -7488 - -10507. Is h prime?
True
Is 4 + 523 + (-2 - -2 - 0) a composite number?
True
Let p(z) = 52*z - 1. Suppose 3*b = 2*b. Let q be (b + -1)/(-3 + 2). Is p(q) a prime number?
False
Let i be (-10)/(-2) + 1 + -1. Suppose -1125 = -i*a + 5*f, -5*a + f + 227 = -918. Suppose -2*x + a = -0*x. Is x prime?
False
Let m = -286 - -436. Suppose 0*o + l = -2*o + 103, 3*l = -3*o + m. Is o a prime number?
True
Let w(x) = 2*x - 10. Let p be w(7). Let f = p + -6. Let z = f - -16. Is z a composite number?
True
Suppose -12*n = -15*n + 12. Suppose 4*l = -3*j + 661, -n*j + 238 = 2*l - 100. Is l a composite number?
False
Let s(p) = -4*p**3 - p - 1. Let w be s(-1). Suppose -w*b + 5*b - 47 = 0. Is b prime?
True
Let t(b) = 4*b**2 + b - 2. Let v(h) = 10*h**2 + 6*h. Let x(n) = -21*n**2 - 13*n - 1. Let i(y) = 7*v(y) + 3*x(y). Let j(r) = 3*i(r) - 5*t(r). Is j(-6) composite?
False
Let u be 1 - 0 - (-3 - -2). Suppose 3*v + v - 3*i + 150 = 0, u*v = -2*i - 82. Let t = 14 - v. Is t a prime number?
True
Let m be -2 + 4 + 2*-3. Let r be 0 - m/2 - 2. Suppose r*p - 52 = -4*p. Is p a composite number?
False
Let q = -3 - -43. Let d be (-9 - 1)*34/(-5). Suppose 3*x + m - q = 0, -4*x - 15 = m - d. Is x composite?
False
Let i be (2 - 0)*(2 + 0). Suppose -i*l = -73 - 139. Is l a prime number?
True
Let z(q) be the second derivative of q**4/12 + q**3/2 + q**2 - q. Is z(-3) a composite number?
False
Let i(c) = -c. Suppose -3 = n - 0*n. Let x be i(n). Suppose 0*b = 2*q + 5*b - 207, 0 = -x*q - 2*b + 283. Is q prime?
False
Suppose m + 12 = 5*m - 2*d, 0 = -2*m - 2*d + 18. Let n = 24 - m. Is n prime?
True
Let n be (-93)/(-12)*-2*-6. Suppose 0 = z + a - 99, -5*z + 2*a + n = -4*z. Is z a composite number?
False
Let l(h) = h**2 - 4*h + 5. Let w(d) = 5*d**2 - 16*d + 21. Let c(v) = 9*l(v) - 2*w(v). Let y be c(-5). Let a(s) = 5*s**2 + 3*s + 1. Is a(y) composite?
True
Let l(g) = 42*g + 1. Let x be (-5)/(-10) - (-2)/(-4). Suppose 3*f + 2*s = 3, -1 + x = -f - 2*s. Is l(f) composite?
False
Let w be 2/(-7) - 174/(-21). Suppose 4*d - 20 = 3*m, w*m = 3*m - 2*d + 10. Is 3*((-53)/(-3) - m) prime?
True
Let m = 258 - -913. Is m a composite number?
False
Let w(r) = -r**2 + 6*r - 8. Let b be w(6). Is 158/3*(-12)/b prime?
True
Suppose -4*o + 28 + 188 = 0. Let k = o - 23. Is k composite?
False
Let z be -2 + 6 + (4 - 4). Let q(u) = 3*u**2 - u**2 - 12*u + 8 + z - 5*u. Is q(11) prime?
True
Let o = 12 + -5. Let m = o + -5. Suppose m*g - 8 = 4. Is g composite?
True
Let y = -94 + 209. Suppose 3*t + 2*t - y = 0. Is t a prime number?
True
Let h be (-10)/(0 + -2) + 0. Suppose h*l + 4*t - 40 = 0, -l + 14 = -0*t + 2*t. Is 1*-7*(3 - l) prime?
True
Suppose 2*j + 27 = -j. Let d = 87 - j. Suppose 5*q = -3*a + d, -3*a + 65 = -4*q - 58. Is a prime?
True
Is 7797/12 + (-3)/4 a composite number?
True
Let p = 1176 + 103. Is p composite?
False
Let f(l) = -4*l**2 - 5*l + 3. Let q be f(5). Let r = -60 - q. Suppose -2*m + 0*m + r = 0. Is m prime?
True
Suppose 0 = -d + 17 + 1. Suppose 4*n + 6 + 11 = 3*o, 3*n = -3*o - d. Is 296/6 + o/3 prime?
False
Let p(u) = u**3 - 15*u**2 + 13*u + 7. Is p(16) a prime number?
False
Let n = -48 + 122. Is n prime?
False
Is (1 - -247) + 9 + -8 composite?
True
Let d be ((-530)/(-6))/(4/12). Is (1 + -2)/((-5)/d) a prime number?
True
Let s be (-12)/(-54) - (-4)/(-18). Suppose -4*m - 53 = -p, -p - 3*p + 5*m + 168 = s. Suppose 0 = -2*y + 171 - p. Is y a prime number?
True
Is -6*((-3)/(-6) - 2) prime?
False
Suppose -5*d + 6574 = 8*a - 4*a, 3*d = 6. Is a a composite number?
True
Suppose -421 = -2*c + 5*k, -c = c - k - 409. Is c composite?
True
Let z = 1200 - 845. Is z composite?
True
Let y be (228 - 2/2) + -2. Suppose 0 = 2*l - y - 389. Is l composite?
False
Let v = -446 + 916. Suppose w = -w + v. Is w a prime number?
False
Let r(c) = 13*c + 156. Suppose 3*h = -2 - 4. Let m(s) = -3*s - 39. Let o(v) = h*r(v) - 9*m(v). Is o(0) composite?
True
Let p(o) = -2*o - 6. Suppose -b + 13 = -2*d, b - 25 = -b + 5*d. Suppose 15 = -3*g - b. Is p(g) prime?
False
Let c(r) = 2557*r**2 + 4*r - 2. Is c(1) prime?
False
Let j(y) = 7*y**2 - 3*y - 4. Let b be j(-9). Suppose 5*s - b = 3*s + 3*z, 0 = 5*s + z - 1475. Is s composite?
True
Let r(y) = -6 + 0 + 1 + 11*y. Let t(w) = -10*w + 5. Let m(x) = 6*r(x) + 7*t(x). Is m(-7) prime?
False
Suppose -2*z - z = -9. Let b be 96 + 3/(z/2). Suppose -2*v - 4*s + 3 = -95, -2*v + b = -s. Is v a prime number?
False
Suppose 0 = 3*u + u - 24. Is u a prime number?
False
Suppose 2*z - z - d - 469 = 0, 4*z - 1876 = -2*d. Is z composite?
True
Let g(j) be the second derivative of j**5/10 - 11*j**4/12 - j**3/3 + 7*j**2/2 - 3*j. Is g(10) prime?
True
Suppose 0 = 5*h + 3*g + g - 70, -69 = -3*h + 3*g. Is (1028/(-6))/((-12)/h) a composite number?
False
Let x be 94/18 - (-14)/(-63). Suppose -x*w - 42 = -p, p - 2*p + 54 = -w. Is p a composite number?
True
Let z(t) = t**2 - t + 9. Is z(7) composite?
True
Let d(b) = -17*b**3 + 4*b**2 - 3*b - 3. Is d(-5) composite?
False
Let p(b) = -19*b**3 + b**2 - 5*b - 3. Is p(-2) composite?
False
Suppose 7*f - 5*f - 12 = 0. Let c be (-16)/(-6) + (-4)/f. Suppose -64 = -c*r + 30. Is r a composite number?
False
Suppose 0 = -l - 2*y + 193 + 346, -l + y + 542 = 0. Is l prime?
True
Let k(g) = -2*g - 1. Suppose 3*z - 2*q = -29, -2*z - z + q = 25. Let p = z + 5. Is k(p) a composite number?
False
Let p(y) = -3 - 9 - 19*y + 4. Is p(-9) prime?
True
Let z be 2 + 2 + -1 - 6. Is -2*z/6 - -66 composite?
False
Is (-1)/2 - 1530/(-12) a composite number?
False
Suppose -4*k + j + 89 = 0, -4*j - 54 = -3*k + j. Suppose -3*n = -4*r - 23, -k = -0*r + r + 5*n. Let a = r + 11. Is a a composite number?
False
Let y be 0 + 5 + 0 + -1. Suppose -z = 2*x - 5*z - 622, -1292 = -4*x - y*z. Is x a prime number?
False
Suppose 0*r - 270 = -3*r - 5*y, 5*r - 484 = 3*y. Is r composite?
True
Suppose 12 - 4 = 2*i. Is 2139/i + 3/12 composite?
True
Suppose 0 = r + y - 9, 12 = -5*r - y + 73. Is 2/r + (-18645)/(-65) a prime number?
False
Suppose 4*y + 7 = -9. Is -1*(-2 - y - 643) composite?
False
Suppose -4*z = -107 - 65. Is z a prime number?
True
Let c(t) = -46*t - 9. Let o be c(-4). Suppose -5*h = 5*s - 0*h - o, s + 2*h = 32. Is s composite?
True
Suppose -8*c + 14316 = 772. Is c prime?
True
Suppose 6*i - 46 = 494. Let r = i + -35. Is r prime?
False
Let l be 4/(-10) - (-66)/15. Suppose -3*v + 2*x + 2*x = -114, -5*x = -l*v + 152. Is v composite?
True
Suppose -2*u + 19 = 15. Is (-2540)/(-18) - u/18 a prime number?
False
Suppose 2*s = z - 249, -4*z = -2*z + s - 508. Is z composite?
True
Suppose 0*x + 601 = 3*x - 4*u, -5*x + 2*u + 1011 = 0. Is x a prime number?
False
Suppose -63 = q + p - 186, -q + 143 = -4*p. Is q a prime number?
True
Suppose 0*u + 1111 = 5*u - l, 3*l = 3*u - 657. Is u a prime number?
True
Let x(g) be the first derivative of -37*g**2/2 - 3. Is x(-1) prime?
True
Suppose 751 = 4*i - 133. Is i a composite number?
True
Let b(y) = 103*y - 2. Is b(3) a prime number?
True
Suppose 246 + 229 = -5*d + 4*b, 4*d = 5*b - 380. Let s = -48 - d. Is s prime?
True
Let v be 9/1*12/18. Suppose -2*s + v*s - 196 = -5*o, s = -3*o + 49. Is s a composite number?
True
Let f be 8/(16/(-4)) + -656. Let g = 949 + f. Is g a composite number?
True
Suppose -r + 3 = -c, c - r = 3*r - 9. Is (2*c)/((-6)/195) a prime number?
False
Let y(z) = 4*z**3 + 3*z**2 + z - 4. Is y(3) prime?
False
Suppose 2*c - 8*c = -2190. Is c prime?
False
Let w be (-5)/(-2)*(3 - -11). Suppose -i + w = 4*i. Suppose 175 = -2*h + i*h. Is h prime?
False
Suppose -27 = -5*r + 3*t, 0 = -3*t - 12 - 0. Suppose 8 = -v - r*v, -4*u + 4*v = -516. Is u composite?
False
Suppose -2*x = -3*x + 6. Suppose 0 