 p = 0. Is k a prime number?
True
Let y(r) = -146*r - 19. Is y(-3) prime?
True
Is (1/((-16244)/5416 - -3))/2 a composite number?
False
Let d = -19 - -34. Suppose -4*l = 5*v - 12, v - d = -3*v - 5*l. Suppose -2*b - f - f + 244 = v, -3*f = b - 112. Is b a composite number?
False
Is (0 - -1574)*12/24 a composite number?
False
Suppose 7*o - 12 = 3*o. Is 43/(3*o/18) a composite number?
True
Let a = 2 + 0. Let u(d) = -d + 3 - 3 + d**a + 2. Is u(4) prime?
False
Suppose -237 = -2*l + 3*h, -l - 207 = -3*l - 3*h. Is l a prime number?
False
Suppose -5*g - 18 = -q, 4*q + 2*g = -0*q + 6. Let y(j) = 1 - 3*j**2 - 4*j**3 + 5*j**q - 7 + 3*j. Is y(4) composite?
True
Suppose 0*a - 3*a = -582. Is a a composite number?
True
Let l(p) = 16*p**2 - 6*p + 1. Is l(2) composite?
False
Let b(y) = -43*y - 2. Let p be 4/(-5)*15/(-6). Let c be b(p). Let a = c - -237. Is a composite?
False
Let a be 3/6*(7 - -3). Suppose -291 = -a*s + 2054. Is s a composite number?
True
Let b = 3 - 0. Suppose 5*c + x - b*x + 2 = 0, -16 = -2*c + 5*x. Is ((-4)/6)/(c/57) composite?
False
Is ((-1)/4)/(2/(-2824)) a composite number?
False
Let b(s) = s**3 + 5*s**2 - 8*s - 3. Let n be b(-6). Suppose -5*w + 4*y + 28 = -w, 2*w + 3*y - n = 0. Is ((-63)/(-3))/(9/w) a composite number?
True
Let c(s) = 186*s + 1. Suppose 0*r + 5 = 5*r. Is c(r) a prime number?
False
Let r be 3 - (2 - (-3 - -6)). Suppose -r*p + 2*k = 5*k - 123, 2*k + 6 = 0. Is p a prime number?
False
Let u(y) = -7 + 6 - 2*y - 3 + 25*y. Is u(10) a prime number?
False
Let n be 2/(-5)*(4 - 14). Suppose 2*j + 324 = n*v + 4*j, 4*j = 16. Is v a prime number?
True
Suppose 5*a = 5*s - 30, s = 5*a + 22 - 8. Let w(t) = 24*t + 1. Is w(s) prime?
True
Let y(s) = -s**2 - 766. Let a be y(0). Is a/(-22) - (-2)/11 composite?
True
Is (-8 + 1)*3/(3/(-211)) a prime number?
False
Suppose x - 926 = -3*b, 3*x + 4*b - 2724 = 49. Is x composite?
True
Let w be (2 - -1) + -3 + 5. Suppose s = -w*k + 1368 - 292, 2*k = 3*s + 427. Is k a composite number?
True
Suppose 5*k - 563 = -23. Suppose -5*v - 2*p + 273 = 0, -v - k = -3*v - 2*p. Is v a prime number?
False
Let t(s) = s - 1. Is t(11) a prime number?
False
Suppose 4*n - 833 + 217 = 0. Let i = n + -71. Is i composite?
False
Let n = 8330 + -4873. Is n prime?
True
Is (-3987)/(-4) + 8/32 a composite number?
False
Suppose 5*r - 5 = 0, 2*r + 15 = -2*j - r. Let k = j - -14. Suppose -88 = 4*z + 2*c - 362, k*c = -2*z + 149. Is z composite?
False
Suppose 0 = -0*b + 5*b - 10. Suppose 2*u + 5*f = 18, -b*u + 10 = -0*u + f. Suppose -a - u*r = -59, 0 = 4*a + 2*r - 117 - 77. Is a prime?
True
Let p be (-4414)/(-14) + 2/(-7). Let k = -104 + p. Is k a prime number?
True
Let i(a) = a**2 - a + 4. Let f = 10 - 5. Suppose 0 = -4*p - 2*l + 22, -p - f*l + 19 = 3*p. Is i(p) a composite number?
True
Let h = 1074 - 551. Is h a composite number?
False
Is (-2)/2*(-458 - -5 - 4) a prime number?
True
Suppose 0 = -0*n + 7*n - 889. Is n composite?
False
Suppose 4*a = -4*o + 2960, 2*a + 4*o + 379 - 1849 = 0. Is a a composite number?
True
Suppose 3*i + 78 = 5*i. Let g = i - 20. Suppose g = 2*y - 49. Is y a prime number?
False
Let o be (-3)/2*(-8)/3. Suppose o*b - 2*p = -12, -b - 3*b = 4*p + 24. Is -2*-7*(-2)/b prime?
True
Suppose 0*v - 795 = -5*v. Let b = v - 112. Is b composite?
False
Suppose i - 47 = 32. Is i a prime number?
True
Suppose -3*z - 1 = 2*t - 4*z, 2*t = 2*z + 2. Let d be 29*((0 - -3) + t). Suppose -3*o + 4*p + d = 0, o + 5*p = 6*o - 50. Is o a composite number?
False
Suppose -5*g - 91 = 9. Let m be (3/5)/((-4)/g). Is 3/m - (1 + -7) prime?
True
Suppose -6*m + 36869 = 8291. Is m prime?
False
Let a(u) = -u**3 - 8*u**2 + 2*u - 1 - 5 + 2*u**3. Let k be a(8). Suppose -2*b + k = 0, 6*v + 3*b - 203 = 2*v. Is v composite?
False
Suppose 0 = -4*d + 41 - 5. Let n be 1267/9 + 2/d. Suppose 0*o - 3*o = -n. Is o composite?
False
Let k(n) = -76*n. Let p be k(-4). Suppose 4*b - p = x, 4*b + 5*x = 295 + 33. Is b prime?
False
Let l(k) = 34*k - 13. Is l(9) a composite number?
False
Let x = 2 - -36. Let p(q) = 4*q - 1. Let t be p(1). Suppose t*d - d = -3*s + 91, -d + x = 3*s. Is d a prime number?
True
Let d be 3/2*16/12. Suppose -4*l + 20 = 2*p, 5*p - 4*p = -3*l + 14. Is 37/l*2*d a prime number?
True
Suppose 3 + 22 = 5*y. Let i = y - 3. Suppose -270 = -5*k + 5*b, i*b + b - 3 = 0. Is k a prime number?
False
Let t = -4 - -9. Let s(m) = -m**2 + 4*m + 7. Let x be s(t). Suppose 4*q + 2*y = -x*y + 568, 0 = -5*q - 3*y + 716. Is q a composite number?
True
Suppose 5 = -n, -g + 1054 = 2*g - 2*n. Let d = g - 201. Suppose 4*c - x = d, 5 = -c + x + 41. Is c a prime number?
True
Let h(z) = -z**3 + 2*z**2 + 9*z + 6. Let j(o) = -o**3 + o**2 + 4*o + 3. Let w(k) = -2*h(k) + 5*j(k). Is w(-4) composite?
True
Let p(j) = j**3 - 7*j**2 + 7*j + 6. Let v be p(6). Let w = 17 - v. Suppose -w*l = -10 - 60. Is l a prime number?
False
Let i be (-2 + 7)*(-28)/2. Let x = i + 123. Is x prime?
True
Suppose 0*m - 5*m = -535. Let t = m - 30. Suppose 4*h - 399 = t. Is h a composite number?
True
Suppose 3*a - 5*a + 10 = 0. Suppose -5 = -2*h - 2*h + d, -5 = a*h - 5*d. Is ((-185)/(-15))/(h/6) a prime number?
True
Let n be 3/5 + (-6858)/30. Let q = n + 385. Is q a prime number?
True
Suppose 2*x + a = 2, 2*a + 8 = x + 6*a. Let b = -3 - -8. Suppose x = -3*k + 5*w + 191, -b*k = -k + 2*w - 246. Is k a composite number?
True
Suppose -12 = -4*t - l - 3, -4*t + 4*l = -4. Let o be 6/4 + 1/t. Suppose 5*z - 95 = -3*p + 122, -5*p + 403 = -o*z. Is p composite?
False
Let r = -709 - -2218. Suppose 396 = -7*n + r. Is n prime?
False
Let g(w) = 2*w**2 - 4*w + 1. Let f be g(-3). Let z = 102 + f. Is z composite?
True
Let i be 3/(-2)*(-8)/6. Suppose -i*k = -k - 4. Suppose 5*r - k*d + 6*d = 181, -4*d = -5*r + 163. Is r prime?
False
Let d be (1 - 1) + 8/4. Suppose -d*o + 2*a = -260, 9 = -2*a + 3. Is o a composite number?
False
Suppose 6 = -0*j + 3*j. Suppose 5*m + 0*m - d - 271 = 0, 3*m = -j*d + 173. Is m a prime number?
False
Let c(a) = a**2 - 3*a + 2. Let h be c(2). Suppose -m - m - 4 = h. Is m/(-5) + (-186)/(-10) composite?
False
Suppose -3*g - 2*o + 575 = -0*g, 5*g = o + 954. Is g prime?
True
Let d = 265 + 42. Is d prime?
True
Let c(l) = 2*l**3 + 4*l**2 - 3*l + 2. Let j = -7 - -12. Let g = 8 - j. Is c(g) a composite number?
False
Let g = -1 + 4. Suppose g*n = 2*n + 419. Is n a composite number?
False
Let z(l) = 9*l - 7. Let i(j) = 36*j - 29. Let p(c) = -2*i(c) + 9*z(c). Is p(4) composite?
False
Let b = 184 - 105. Is b composite?
False
Let t = 46 + -33. Let x = 75 - t. Suppose 0 = -3*f + f + x. Is f a composite number?
False
Suppose -11*x + 9197 + 13694 = 0. Is x composite?
False
Let c(k) = -k - 4. Let n be c(6). Let o(u) = 2*u**2 + 6*u - 6. Is o(n) a composite number?
True
Is (-19)/(0 - 2/10) prime?
False
Let o be 1*-2 + (4 - 2). Suppose 3*d + 2*d - 835 = o. Is d composite?
False
Let c be (36/(-8))/(2/8). Is (-1)/(-6) + (-627)/c a prime number?
False
Let k(b) = 4*b**3 + b**2 - b + 1. Let h be k(1). Suppose h*u + 15 = -10. Is u*(0 - (-42)/(-10)) prime?
False
Let z(g) be the first derivative of g**4/4 - g**3 - 7*g**2/2 + 6*g + 4. Is z(5) prime?
False
Let f(o) = 2*o**2 - 12*o + 11. Is f(14) a prime number?
False
Let c = 14 + -9. Suppose -235 = -6*m + c*m. Is m a prime number?
False
Suppose 0 = -0*m + m - 1020. Suppose -4*j + m = -208. Is j a composite number?
False
Let n(s) = 206*s**3 + s**2 - 2*s + 1. Let o be n(1). Suppose -o = v + a, -4*a + 0*a = -5*v - 1012. Is v/(-10)*5/2 a prime number?
False
Suppose -15 = 4*r + r. Is r*2*(-35)/10 a prime number?
False
Suppose 3*u - 182 = -5*z, -4*u = -2*z + 24 + 54. Is z composite?
False
Let c(u) = u**3 - 9*u**2 + 5*u - 10. Let o be c(9). Let m = o + -21. Is m prime?
False
Suppose 10 = -j + 3*j. Suppose -15 = -j*t - 0*t. Suppose -o - w = -2*w - 42, -o + t*w + 34 = 0. Is o a composite number?
True
Let o(d) = -14*d + 11. Is o(-1) a prime number?
False
Let v(u) = 691*u**3 - 2*u + 2. Is v(1) a prime number?
True
Let c be (-4 - -3) + -1*14. Let p = c - 5. Let h = p + 105. Is h a composite number?
True
Suppose 0 = -9*i + 7*i + 758. Is i a prime number?
True
Let n(s) = 2 - 1 + 20*s**2 + 12*s**2 - 6 + 2*s. Is n(-5) a prime number?
False
Suppose -4*h + 5*p = -45, -2*p - 18 - 2 = -2*h. Suppose -4*u - 15 = -h*u. Is u a composite number?
True
Let a(f) = 0*f - 9 + 2*f**2 - 2*f + 6*f + 4*f. 