. Is j a prime number?
False
Let a = 2 - 2. Let r(s) = s**2 - s + 4. Let d be r(a). Suppose -d*m - v = -476, 4*m + 2*v - 4*v - 476 = 0. Is m composite?
True
Suppose 3*o - 13 - 1016 = 3*h, -5*o + 1731 = -h. Is o prime?
True
Let t(s) = s**2 - 4*s - 5. Let n be t(5). Suppose -j - 58 = -6*j - 4*k, n = 2*j - 2*k - 16. Is j a composite number?
True
Let r(u) = -4*u + 7*u**2 + u**3 + 3 + 0*u**2 + 2. Let o(q) = -3*q - 24. Let a be o(-6). Is r(a) prime?
False
Suppose d = 2*d - 4. Let y(r) = 13*r**2 - 5*r - 1. Is y(d) a prime number?
False
Let j = -10 - -19. Suppose 0 = -l + 3*b + j, 5*b + 1 - 6 = 0. Suppose 2*u - 190 = -l. Is u prime?
True
Suppose 0 = -y + 35 + 14. Is y prime?
False
Let a = -3 - -3. Let l be 20/12 - 2/3. Is (l - 56)*(-1 + a) prime?
False
Let v = 440 + -225. Is v a composite number?
True
Let o be (-20)/(-4) - (1 - 0). Suppose 0 = f + o*s - 7, 3*f = -0*f - s - 12. Let a(y) = 2*y**2 - 8*y - 5. Is a(f) a composite number?
True
Let w be 5*(-2)/(-10)*6. Suppose 2*a = 5*a - w. Is -14*a*(-15)/12 a prime number?
False
Let p(d) = d**2 - 5*d - 2. Let y be -5 + -1*(-4 - -3). Is p(y) prime?
False
Let m(u) = -2*u**3 - 24*u**2 + 47*u + 24. Let s(f) = -f**3 - 12*f**2 + 23*f + 12. Let l(b) = 3*m(b) - 7*s(b). Is l(-13) a composite number?
False
Let h(a) be the first derivative of -2*a**2 + a - 1. Is h(-8) prime?
False
Is (418 - 0 - (-1 + 3)) + 3 a prime number?
True
Suppose -7*t = -0*t - 74123. Is t composite?
False
Let y(n) = 56*n**2 + 3*n + 1. Let r be y(-2). Suppose 0 = -k - 2*z + r, -5*k + z + 695 + 356 = 0. Is k a composite number?
False
Let a(q) = -150*q - 1. Is a(-2) prime?
False
Suppose 807 + 449 = 2*o + 2*v, 0 = 3*o - 4*v - 1919. Is o a prime number?
False
Suppose -158 = -3*x - 4*t + 7, 2*t = 5*x - 275. Is x a composite number?
True
Suppose 5*s = -r + 4*s + 70, -5*r - s = -338. Is r prime?
True
Suppose -5*f + 3*g + 24 = 0, -3*f + 5*f = -g + 3. Suppose f*d - 136 = -d. Is d prime?
False
Let v(b) = b**2 - b - 4. Let u be v(3). Let m = 1 + 1. Suppose u*k = 2*h - 88, 4 = -2*k - m*k. Is h composite?
False
Let v be 6/(-3) + 3 + 259. Suppose -4*t - 4*r + 1245 = 181, -t + 5*r = -v. Is t prime?
False
Let l = -85 + 48. Let x = 88 + l. Is x - (1 + (-4 - -1)) a prime number?
True
Let k(x) = 3*x - x + 85 + x**3 - 2*x. Is k(0) composite?
True
Let f = 19 + -15. Suppose 0*h + 2*v = -5*h + 363, f*h - 296 = -3*v. Is h prime?
True
Let r(t) = 2*t - 1. Let q = -2 + 3. Let d be q*((0 - 0) + 4). Is r(d) prime?
True
Suppose -h = 11 - 2. Let f be 3/h - 2/(-6). Suppose f*i + 2*i - 2*j - 2 = 0, -5 = -i - j. Is i prime?
True
Is (-1)/(-1*2/1906) a composite number?
False
Let v(r) = r**2 + 12*r + 11. Let q be v(-11). Let u(l) = 4*l - l**2 + q*l**3 - 2*l**2 + 2*l**3 - 4. Is u(3) prime?
False
Suppose 16*u = 13*u + 318. Is u a composite number?
True
Let f(o) = -14 + 5*o - 3*o + o. Let k(h) = -3*h + 14. Let d(x) = 6*f(x) + 7*k(x). Is d(-11) a prime number?
True
Is (-4)/((-24)/1263) + (-2)/(-4) a composite number?
False
Let q = 550 + 537. Is q composite?
False
Let r(z) = -z**2 + 5 - 2*z + 6 + 2*z**2. Let u be r(10). Let w = u + -48. Is w prime?
True
Let o(f) be the first derivative of -f**4/4 - 5*f**3/3 - 9*f**2/2 - 1. Is o(-7) prime?
False
Let w be (-2)/(8/(-44)*-1). Let c = w - -60. Is c a composite number?
True
Let q(m) = m + 1. Let o be q(10). Let f = o + -4. Suppose f*l - 2*l = 165. Is l a prime number?
False
Suppose 0*v = -v + 55. Is v composite?
True
Let v(x) = -x**2 + 7*x - 3. Let p be v(6). Suppose 62 = -2*m + p*m + l, 3*m = 2*l + 201. Is m prime?
False
Suppose 3*r = 20 - 182. Let v = -126 + 201. Let m = v + r. Is m prime?
False
Is (-6 - -3) + 1 + 1363/1 a composite number?
False
Suppose 3*h - 7*h = -20. Suppose -3*u + 6*u - 189 = 3*w, -h*w + 207 = 4*u. Suppose -270 + u = -4*c. Is c composite?
False
Let w be 6/(-21) - 284/(-14). Suppose b = -a + 115, -2*a + w = 3*a. Is b prime?
False
Suppose -26 = -2*c + 5*d, 3*c - 2*c - 5*d - 8 = 0. Is (-4)/c + 415/45 a prime number?
False
Let d(j) = 2*j**2 - j + 1. Let r be d(1). Suppose -i = i + r. Is i/2*6 - -52 a composite number?
True
Let v(o) = -2*o + 12 + o + 2*o. Let n be v(-8). Suppose 10 + 6 = 2*k - n*x, -k = 3*x - 3. Is k a prime number?
False
Suppose -35 = 3*g + 2*g + 5*r, -3*g = -4*r. Let i(o) = 2*o**3 - 3*o**2 - 6*o - 6. Let n be i(g). Let a = 271 + n. Is a a composite number?
False
Suppose 0 = 3*b - 4520 - 949. Is b prime?
True
Let x = -3 + 3. Suppose x = 5*n - 7*q + 4*q - 160, 2*n + 3*q = 64. Suppose -p + n = -11. Is p composite?
False
Let a be 2 + 3/(-12)*0. Suppose 6*q = a*q + 1112. Is q a composite number?
True
Suppose -3*b + 254 = 2*j, -2*j + 4*b + 254 = -0*b. Is j a prime number?
True
Suppose 0 = -13*r + 18*r - 5275. Is r composite?
True
Suppose 302 = 2*g - 120. Is g prime?
True
Let d = -157 + 96. Let p = -24 - d. Is p a composite number?
False
Suppose -3*f - 658 = -5*j, -j + 38 = -2*f - 403. Let q be ((-20)/1)/(5/((-130)/(-4))). Let y = q - f. Is y a composite number?
True
Suppose 7*a = 2*a. Suppose 4*o = -a*o + 212. Is o prime?
True
Let z(t) = 0 + 5*t + 3 - 18*t**2 + 25*t**2 + t**3. Is z(-4) prime?
True
Let r = 4 + -6. Let g = 7 + r. Suppose g*f + 15 = 2*z, 3*z + 0*f - 42 = f. Is z a prime number?
False
Suppose -3*d = -3*a + 12, 12 = -5*d - 3*a - 0*a. Is 260 - (d - -1 - -5) prime?
True
Let p = -187 - -306. Let f = -60 + p. Is f prime?
True
Let c = -505 - -1208. Is c a prime number?
False
Suppose -5*f = -4*f - 1121. Suppose 3*t - f = -5*y, -3*y + 8*y - 1123 = -4*t. Is y composite?
False
Suppose -3*l + 627 = -2*a, -2*l + 0*a + 413 = -3*a. Is l a prime number?
True
Let x(k) = k**2 + 2*k - 5. Let r be x(-4). Suppose -r*f = 69 + 27. Let b = f - -57. Is b a prime number?
False
Let o be 5/30 + 4757/6. Is -3 + o + -5 + 2 a prime number?
True
Let q(k) = k**3 - 8*k**2 - k + 1. Let b be q(7). Is (b*1)/((-2)/2) a prime number?
False
Suppose 2*u + 12 = -2. Let q = 12 + u. Suppose 5*a - 45 = -3*x + 73, 2*a - q*x = 41. Is a a composite number?
False
Let s(t) be the first derivative of 38*t**3/3 - 3*t**2/2 + 3*t - 1. Is s(2) a prime number?
True
Suppose 114 + 81 = 3*y. Suppose 2*d - y = -3. Is d a prime number?
True
Suppose -f + 2*s + 2*s = -23, 3*f - 2*s - 29 = 0. Is f prime?
True
Is (-2)/2 + -5 + 43 a composite number?
False
Is (6/(-21) + 484/28)*11 prime?
False
Suppose -6*d - 370 = -46. Let j = d - -87. Is j a prime number?
False
Suppose -2*x + 2 = -4, 3*w + 4*x - 36 = 0. Let q(c) = -c**2 + 7*c + 10. Let n be q(w). Suppose -u + 2*b = -15, n*u + 4*b - 96 = -2*u. Is u a composite number?
True
Suppose -5*n - 2*n + 35 = 0. Let a be 4/6 + (-39)/(-9). Suppose 40 + 10 = 5*k - n*j, 0 = -k - 4*j - a. Is k a prime number?
True
Let q(x) = -x**2 + 3. Let w(f) = -2*f**2 + 6. Let k(a) = 7*q(a) - 4*w(a). Let j be (-64)/(-24)*(-9)/8*-2. Is k(j) composite?
True
Suppose -3*j + 2*j + 26 = -i, 0 = -3*j - 3*i + 60. Is j composite?
False
Suppose 0 = v + 4*l + 4, 3*v - v + 8 = 4*l. Is 3 + 4*(-142)/v a prime number?
False
Suppose 4*x - 3*x = 4. Suppose x = -3*k - k. Is ((-1)/k)/(3/57) prime?
True
Let v(x) = 60*x + 11. Is v(7) composite?
False
Is (779 - 1) + -1 + 2 a prime number?
False
Is (-632)/(-6)*(-27)/(-18) a prime number?
False
Let h = 1813 + -924. Is h prime?
False
Let s be (-186)/(-10)*(4 + 1). Suppose 65 = 2*i - s. Is i composite?
False
Let s(f) = 32*f**2 - 7*f. Let o(p) = -32*p**2 + 6*p + 1. Let a(u) = -4*o(u) - 3*s(u). Let j(l) = -l**2 - l - 1. Let z be j(-2). Is a(z) a prime number?
True
Suppose 0 = t - 2*t - 2. Let c be 1/(-2) - (-15)/t. Let d = -1 - c. Is d prime?
True
Is (3 - (-4 + 6))*2 + 47 composite?
True
Is (-9)/((-27)/(-12)) - 4162/(-2) a composite number?
True
Suppose 3*u + 5*f = 10199, 4*u + 3*f = -0*f + 13606. Let p = u + -2228. Suppose -4*x + m + p = 0, -2*m + 0*m = -5*x + 1471. Is x prime?
True
Let g(h) = h**3 - 6*h**2 - 7*h + 6. Is g(7) a prime number?
False
Suppose -4*r = 5*d - 193, -3*d - 1 = 2*r - 116. Is d composite?
False
Suppose -2*q + 23 = 5*p, -p + 2*q = 3*q - 7. Suppose -p*s = s + 12. Is s - -1 - -2 - -22 a composite number?
True
Let q(i) = -i**2 + 1. Let v be q(2). Let h = 5 + v. Suppose -2*s + 364 = h*s. Is s a prime number?
False
Suppose 2*v + 20 = 2*n - 0*v, 0 = -2*n + 5*v + 32. Let d be 20/8 + n/4. Suppose -85 - 19 = -d*y - 2*g, -2*y + 2*g = -46. Is y a composite number?
True
Let q = 48 - 17. Let z = 3 + 2.