 1363 = 0. Is i a prime number?
True
Let x(m) = 20*m**3 + 2*m**2 + 2*m - 2. Let b be x(2). Suppose -5*i - 3*k = -b, -k + 34 = i - 3*k. Is i composite?
True
Let x = 1705 - -768. Is x a composite number?
False
Suppose -9*l + 8*l = -251. Is l prime?
True
Let h(a) be the second derivative of 7*a**4/4 - a**3/3 + 3*a**2/2 - 2*a. Let q(b) = b**3 + 7*b**2 - b - 5. Let n be q(-7). Is h(n) composite?
False
Let s(p) = 6*p**2 + 1 - 5*p**2 - 8*p + 6 - 4. Let r be s(8). Is 2 - -1 - (-5 - r) a composite number?
False
Is (2 - 4 - 2)/(2/(-83)) prime?
False
Let v(k) = -k**2 + 15*k - 3. Is v(8) prime?
True
Let x(t) = 11*t**2 + 1. Let g be x(2). Suppose -4*q - g = -f, 2*q - 5*q = 5*f - 110. Is f a prime number?
False
Let f(k) = k**2 + 4*k - 4. Is f(11) prime?
False
Suppose 3*h + 31 = 7. Let n = h + 5. Is ((-3)/2)/(n/28) composite?
True
Suppose 5*v - 890 = 2925. Is v composite?
True
Suppose -4*i - 5*u + 1048 = 0, 4*u - 518 = -i - i. Let c = 3 - -1. Suppose -c*g + g = -i. Is g prime?
True
Let m be (3 - 0)*(-8)/(-12). Let r be -2 - 0 - (-62)/m. Suppose 4*z - 2*v + v = 25, 5*z = 2*v + r. Is z a prime number?
True
Let x(m) = -12*m - 3. Let u be x(-2). Let p be -2*1*1 + u. Suppose -p + 5 = -v. Is v prime?
False
Let c(t) = 9*t**3 - t**2 - 4*t + 4. Is c(3) a composite number?
True
Let h = 113 - -17. Suppose -x + h = -289. Is x composite?
False
Let g = 3 + -11. Let v(h) = 5*h**2 + 7*h - 1. Is v(g) prime?
True
Let g(r) be the second derivative of 4*r**3/3 - 2*r**2 - 2*r. Let h be g(7). Suppose -5*i - 196 = -4*a, -a + 3*i + h - 3 = 0. Is a a composite number?
True
Suppose 4*p = u + 134, 5*p + u + 10 = 173. Is p a composite number?
True
Let s be 2/10 - (-9336)/(-5). Is s/(-5) - 2/5 composite?
False
Suppose o - 3*o = -960. Let m = o - 223. Is m prime?
True
Let b = -2 - -4. Let l(f) = 47*f**2 + 2*f - 1. Is l(b) composite?
False
Let b(z) = -z**2 + 9*z + 2. Let f be b(9). Let k = f + 1. Suppose 5*n - 5*s = 110, -n - 43 = -k*n + s. Is n a prime number?
False
Suppose 0*h - 5*h + 3965 = 0. Is h a prime number?
False
Let w be (-51)/(-6) + 2/4. Let u(g) = 47*g**3 + g**2 - 4*g - 1. Let o(l) = 188*l**3 + 4*l**2 - 17*l - 5. Let d(n) = w*u(n) - 2*o(n). Is d(1) composite?
False
Let y = 868 - 449. Is y a prime number?
True
Suppose 8 = s - 5*s. Let a be (2/(-4))/(s/12). Suppose a*b - 4*b + 112 = 5*h, 4*b + 104 = 4*h. Is h prime?
True
Suppose 4*x - 3*z = 502, 0 = 2*x - 7*x + 4*z + 627. Is x composite?
False
Is 392 + 3 - (-5 - -9) a composite number?
True
Is ((-57)/(-9))/((-1)/(-3)) composite?
False
Is 268005/225 - (-4)/(-30) composite?
True
Let z(y) = -3*y**3 - 11*y**2 + 9*y + 24. Is z(-7) a composite number?
True
Suppose -140 = -i + 2*h, 5*i + 2*h - 160 = 480. Suppose -q = -i + 3. Is q prime?
True
Let s = 0 + 1. Is (-1306)/(-8) - s/4 a prime number?
True
Suppose -2*a = 18 - 60. Suppose 2 = 2*u - 5*r, -6*u + u = -4*r - 5. Suppose a = 2*x - u. Is x composite?
False
Suppose 4*g - 1 = 5*k, 0*k - 29 = -3*k - 5*g. Suppose -k*h - 285 = -8*h. Is h composite?
True
Suppose -286 = -15*t + 13*t. Is t a composite number?
True
Suppose -3*x + 2893 = 4*b, 1400 + 538 = 2*x - 2*b. Is x composite?
False
Let w(z) be the third derivative of 2*z**5/3 - z**4/8 - z**3/2 + z**2. Let p be w(-4). Suppose 0 = 5*l - 126 - p. Is l composite?
True
Suppose -4*a = 8, s - 11 = -3*a + 606. Is s prime?
False
Let k = 379 - 247. Let x = 253 - k. Is x a composite number?
True
Suppose 2*m = 4*n + 1258, 5*m - 3333 + 183 = 5*n. Is m composite?
False
Suppose 3*k - 13 = -4. Suppose -k + 1 = -o. Suppose 3*c - 3*r - 137 = 2*r, o*r - 200 = -4*c. Is c composite?
True
Let d = 98 - -111. Is d composite?
True
Let s(j) = -j**2 + 8*j - 6. Suppose 11*a - 24 = 7*a. Is s(a) a composite number?
True
Let y(j) = -j**2 + 6*j - 1. Let w be y(7). Is -4*(20/w - 0) composite?
True
Suppose 3*l = -5*n - 13, -2*n - 2*n = 5*l. Let b(k) = -2*k**3 - 6*k**2 - 5*k + 3. Let t be b(n). Let f = -1 + t. Is f a composite number?
False
Let a = 193 + -100. Is a composite?
True
Let b = 1989 - 346. Is b a composite number?
True
Let d(c) = -c**3 - 11*c**2 - 13*c - 7. Is d(-12) composite?
False
Suppose 4*l - 3 = 2*u - 13, 5*u = l + 16. Suppose 5*s - 36 = -2*o - 6, 3*s - 18 = -u*o. Is 328/s + 2/6 a composite number?
True
Is (-2 + -1391)/(1 + -2) a composite number?
True
Let g(f) = 1 + 2*f**3 + 7*f - 10*f - 3*f**2 - 4*f**2 + f**2. Is g(6) prime?
True
Let b(x) = -x**2 + 4*x. Let j be (1 + 0)/(2/8). Let i be b(j). Let p(v) = -v**3 - v**2 + 67. Is p(i) a prime number?
True
Suppose 0 = -0*w + 2*w - 56. Suppose 3*j + 5*p = 51, -3*j + 2*p + 23 + w = 0. Suppose s - j = 16. Is s a composite number?
True
Suppose -3*c - 2 + 11 = 0. Suppose -15 = 2*q + 5*y, 4*q = -c*y - 0 + 5. Is 2/q - 953/(-5) a prime number?
True
Suppose -4*r = 6*u - 3*u - 177, 5*r = 2*u - 95. Is u composite?
True
Let v(z) = -16*z - 1. Let h(a) = -31*a - 2. Let j(o) = 6*h(o) - 13*v(o). Is j(6) composite?
True
Let v be 2/8 - 3/12. Suppose -j + 19 + 8 = 5*x, 3*x - 5*j - 5 = v. Suppose 39 = 3*s - s + x*r, 3*r - 29 = -2*s. Is s composite?
False
Let y(q) = q**3 + q + 6. Let w be y(0). Suppose 0 = 2*d - w - 8. Is d prime?
True
Let q(o) = 11*o**2 + o + 1. Is q(-6) a prime number?
False
Is ((-223)/(-1))/(9 - 8) a prime number?
True
Suppose -k + 4*c = c - 58, -5*k - 3*c + 236 = 0. Is k a prime number?
False
Suppose -10 + 2 = -2*f. Let u(x) = x**3 + 7*x**2 + 6*x. Let a be u(-6). Suppose -f*q = -a*q - 24. Is q a composite number?
True
Let v(d) = d**2 + 2*d + 10. Suppose -18 = -4*x + 42. Is v(x) prime?
False
Is 208 - -4*3/(-4) prime?
False
Let d = 3 + -32. Let x = 20 - 35. Let w = x - d. Is w prime?
False
Let l be ((-24)/(-3))/(-4) - -4. Suppose -o = o + 4*y - 22, -2*y = -4*o + 14. Suppose -o*n + d + 290 = l*d, -2*n + 4*d = -94. Is n a composite number?
True
Let x = -5 + 10. Suppose 2*d + 21 = x*d. Suppose b + 5 = d. Is b a composite number?
False
Let q(o) = 25*o**2 - 2*o + 1. Is q(6) composite?
True
Let r(c) = 2*c - 3. Let d be r(4). Suppose 139 - 14 = d*h. Is h a composite number?
True
Is 2818/6*(0 + -4 + 7) a composite number?
False
Let g be (-4)/(-4 - (-5 + 3)). Is g*(-2)/(4/(-46)) a composite number?
True
Let h(z) = 3*z**2 + 8*z - 27. Is h(14) prime?
True
Let n = 1088 + -768. Let k = n - 44. Let z = 407 - k. Is z a composite number?
False
Let p(j) = j**2 + 6*j - 5. Let v be p(-7). Let l(d) = 2*d**2 - d + 1. Let n be l(1). Suppose -n*g = v*g - 148. Is g composite?
False
Let n be ((-10)/4 + 1)*14. Let m = 42 + n. Is m a prime number?
False
Suppose 6 + 14 = 5*o. Let f = 2 + -3. Is f*(3 - o)*13 composite?
False
Let s(z) = 7*z**3 + 11*z**2 + 15*z + 4. Let o(t) = -4*t**3 - 5*t**2 - 8*t - 2. Let a(k) = -5*o(k) - 3*s(k). Is a(-8) a prime number?
False
Let i(b) = -2*b**3 + 6*b**2 - 9*b - 5. Is i(-6) a composite number?
True
Let l(b) = b + 12. Let z be l(-9). Let u = 4 + -2. Suppose 0 = -u*n + 4*x + 18, z*n - 96 = -n - 4*x. Is n prime?
True
Let h(d) = -17*d - 1. Let z = 8 + -5. Let x = 1 - z. Is h(x) prime?
False
Let w(t) = t**3 + 5*t**2 - t - 5. Let q be w(-5). Suppose q = 2*o - 2, -2*o - 1 = 2*p - 7*o. Is 58/(1 + p/(-6)) prime?
False
Suppose -22 = -j - 4*r, -4*j - 2*r + 26 = -j. Suppose 0 = -j*c + c + 70. Suppose 2*v - c = -0*v. Is v composite?
False
Let p(l) = 50*l**2 - 7. Is p(3) a prime number?
True
Let m(r) = 4589*r**3 + r**2 - r. Is m(1) a composite number?
True
Let f(z) = 48*z + 7 + 71*z - 32*z. Is f(4) a composite number?
True
Let z(w) = 25*w + 6. Let a be z(7). Suppose a = n - 40. Is n composite?
True
Suppose -4*k + 172 = 2*m, -4*m = -m - 4*k - 298. Is m composite?
True
Let n(b) = -2*b**3 + b**2 - b - 2*b**2 + 3*b**3 + 15. Is n(0) composite?
True
Let l be 1*((-3)/3 + 95). Suppose 179 = 4*v - 5*q, 2*v + 3*q = q + l. Is v composite?
True
Suppose -4*f = 5*n - 497, -4*n = -5*f - 158 - 215. Is n composite?
False
Let z(x) = -x**2 + 4*x + 2. Let r be z(4). Let g = r - 1. Is 2 - ((g - 1) + -65) a composite number?
False
Is ((-1865)/10)/(4/(-8)) composite?
False
Suppose 489 = -5*q + 8*q. Is q a prime number?
True
Let v(f) = -25*f - 3. Is v(-17) prime?
False
Let x = 1264 + -617. Is x a prime number?
True
Is 4/(-2) - (-6 + -49) a composite number?
False
Let i be ((-97)/(-2))/((-1)/2). Let v = i - -155. Is v prime?
False
Let d(u) = -13*u + 4. Let y be d(-2). Suppose -5*m = 15, -5*m + 108 = 3*x - y. Is x a composite number?
True
L