. Let w be j(6). Suppose -3*l = 2*l - 20. Suppose w*n - l*n - 2*m = -183, -5*m + 365 = 2*n. Is n composite?
True
Suppose -3*c + 8 = -4. Suppose -2*f - 4*b + 246 = 0, 311 + 157 = c*f + 2*b. Is f prime?
False
Let q = 56 + -23. Suppose 3*i - q = -4*v, -36 = -3*v - 2*v - 2*i. Is v a composite number?
True
Is (((-32)/(-10))/4)/((-8)/(-1780)) a prime number?
False
Let a be (6/4)/((-3)/(-1506)). Suppose -a = -4*b + b. Is b a composite number?
False
Let j be (-5 - -4)*(0 + -21). Suppose j = -2*f - f. Is (-2)/7 + (-1129)/f composite?
True
Let r(a) = 4*a**2 + a - 5. Let b be r(-4). Suppose -4*m + 243 = b. Let j = -12 + m. Is j composite?
True
Suppose 0 = -4*t + 3 + 9. Suppose t*r + r = 564. Is r prime?
False
Suppose -v + 825 = 4*v + 5*d, -4*d - 16 = 0. Is v a prime number?
False
Let v = 134 - 72. Is v a composite number?
True
Suppose -4*o = -a - 4*a + 29, a = 2*o + 7. Suppose -a*c + 162 = z, 6 + 6 = -4*z. Is c prime?
False
Suppose -9 + 66 = 5*u + 2*h, u + h - 9 = 0. Suppose 16 - 6 = 5*g, -3*t - 2*g = -u. Is t a prime number?
True
Let r be (-411)/(-15) - (-2)/(-5). Let y be 0 + 262*(-2)/(-4). Suppose -h + r = -3*v - 37, 2*h - 3*v - y = 0. Is h composite?
False
Let p(y) = -13*y - 1. Let g be p(-1). Is -19*(-4)/g*3 prime?
True
Let p(d) = 120*d**2 + 6*d + 7. Is p(5) prime?
True
Suppose -o - 2*d = 2*o - 7, 4*o + 2*d = 12. Let s(l) = -35*l**3 + l**2. Let r be s(-1). Let f = r - o. Is f composite?
False
Suppose 30*n - 32*n = -3508. Is n composite?
True
Let z(q) = q**2 + 5*q - 6. Let u = 4 - 10. Let g be z(u). Suppose 3*y - y - 14 = g. Is y prime?
True
Let a(f) = f - 1. Let c be a(1). Let j(o) = o**2 - 2*o**2 - 2 - 12*o + c. Is j(-5) composite?
True
Let f(t) = 3 + 11*t**2 - 5*t**2 - t**3 + 2 - 2*t. Let x be f(4). Suppose -3*i = -4*h + 34, 5*h - x = 5*i + 16. Is h composite?
False
Suppose -u + 6*u - 3*g = 444, 5*u - 5*g = 450. Is u a composite number?
True
Let t(s) = 11*s**2 - 6*s + 9. Let i be ((-6)/(-10))/((-4)/(-40)). Let x be t(i). Let b = x + -220. Is b a prime number?
True
Suppose 0 = 2*b - 5*b + 339. Is b a prime number?
True
Let w(f) be the second derivative of -7*f**3 + f**2/2 + 6*f. Suppose -3*h = -0*h + 15. Is w(h) prime?
True
Suppose -21 = -5*l + 2*r, l - 4*r - 18 = -l. Suppose 0*a = l*a. Suppose -2*v - 376 = -6*v - 5*y, 2*v + y - 188 = a. Is v a prime number?
False
Suppose 3*i - n - 2 = 13, i = -5*n + 5. Suppose 0 = -5*u - 4*c + 4, -3 = 5*u + 2*c - i*c. Let d = 21 + u. Is d a composite number?
True
Let f = -3 + 75. Suppose f = -3*o + o. Let t = 197 - o. Is t a prime number?
True
Let s = 3 - 4. Let u be (s + 0)/(-1) + 1. Suppose -20 = -5*l, -3*d + 103 = -u*d + 3*l. Is d prime?
False
Suppose 4*y + 369 = y. Let g be (56/(-3))/((-11)/(-33)). Let n = g - y. Is n composite?
False
Let i = -2228 + 3423. Is i prime?
False
Let a(r) = 0*r + 1 - 1 + 40*r**2 - r. Suppose -2*c = -6*t + 2*t, 0 = -2*t - 4*c + 10. Is a(t) a composite number?
True
Suppose 0*i - 5*i - 20 = 0. Let o = 4 + i. Suppose 5*b - 10 = 0, -4*b = -x - o*x + 257. Is x a prime number?
False
Suppose -69 = -4*f + 3*h + 10, 0 = -3*h - 3. Let u = f + 12. Is u a composite number?
False
Let l(w) = 4*w**3 - 7*w + 5. Let c be l(4). Let y = 99 - c. Is (y/(-8))/(2/8) a composite number?
False
Let i = 4 + -1. Suppose r - h + 12 = i*r, -r - 4 = 3*h. Suppose -r*y + 42 = -5*y. Is y composite?
True
Let z(v) = 6*v - 9. Let b(c) = 5*c - 9. Let f(n) = 4*b(n) - 3*z(n). Let m be f(6). Is -1 - (-164 + 2)/m prime?
True
Suppose 2*o + 3*o - 3*z - 10 = 0, 4*z = -2*o + 30. Let k = o - 3. Suppose -7*l + 95 = -k*l. Is l prime?
True
Suppose n + 2 = 5. Is (-2)/n*3195/(-6) a composite number?
True
Let o(h) be the first derivative of -h**2 - 5/3*h**3 - 3 - 1/2*h**4 - h. Is o(-3) a prime number?
False
Let b be (-2)/(1/((-326)/4)). Let l(x) = x - 1. Let m be l(6). Suppose m*c = b + 12. Is c a composite number?
True
Let o = -182 + 561. Is o prime?
True
Let d(h) = 0 + h**2 - 1 + 6*h**3 - 4*h - 4*h**3. Is d(5) prime?
False
Let f be 2/12 + 68/24. Let q be 1/(f + 70/(-23)). Is 0/(-2 + 1) - q prime?
True
Suppose -b = -4*w - 18, -b - 2*b - w + 2 = 0. Is (1/(-2))/(b/(-412)) prime?
True
Let c(t) = -9*t**2 - 6*t + 9. Let j(g) = 10*g**2 + 6*g - 10. Let o(w) = -3*c(w) - 2*j(w). Suppose -2*z = -d, 5*z - z = -2*d - 24. Is o(d) composite?
True
Let u = 679 + -384. Is u composite?
True
Let b(t) = -t**3 + 5*t**2 + 2*t + 4. Let d be b(4). Let s = -14 + d. Is s prime?
False
Is 1/((-9)/(-12) - (-1940)/(-2608)) a prime number?
True
Let r = -397 + 610. Is r composite?
True
Suppose 3*i = 2*y + 17, y + i = -2*i + 14. Let f(k) = -122*k**3 - 2*k**2 + 1. Is f(y) a prime number?
False
Let t = -4 - -9. Suppose t*c - 101 - 14 = 0. Is c a prime number?
True
Let b be 1*(2 + -1)*-277. Is b/(-9) - 4/(-18) prime?
True
Let y(l) be the third derivative of -l**4/4 + 7*l**3/6 - 2*l**2. Let d be (-7 + 3 - 3) + 2. Is y(d) prime?
True
Let z(l) = -l**3 + 7*l**2 - 7*l - 1. Let h(b) = -9*b + 2. Let s(r) = -19*r + 5. Let t(y) = 7*h(y) - 3*s(y). Let m be t(-1). Is z(m) a prime number?
False
Let j(f) = 2*f + 1 + 6*f**2 + 2 + 0 + 6*f. Is j(-5) composite?
False
Suppose 2*n + 12 = -2*n. Let h = n + 5. Suppose -38 = -4*x + h*x. Is x a composite number?
False
Let v(d) = -d**3 - d**2 + 4*d + 7. Is v(-6) prime?
True
Suppose 0 = -c + 47 + 59. Is c composite?
True
Is (66/(-9)*-3)/1 a composite number?
True
Let v = 4 + 11. Let a = v - -18. Is a a composite number?
True
Suppose -219 = -2*x - 45. Is x composite?
True
Let k(f) = 12*f**2 - 2*f + 3. Let a(d) = -d - 10. Let i(o) = -1. Let w(l) = -a(l) + 3*i(l). Let n be w(-5). Is k(n) a prime number?
True
Suppose 0 = -r - 2*r + 69. Is r a composite number?
False
Let r(j) = -2 + 5*j - 4 + 0 + 3. Let m be r(2). Let g = m - 4. Is g prime?
True
Let c = 6 + 0. Let h = c + -7. Let t(g) = -86*g - 1. Is t(h) prime?
False
Let v(r) = -r - 3. Let q be v(-6). Suppose -3*s - q*g + 774 = 0, 4*s - 3*g + 5*g - 1034 = 0. Is s a composite number?
True
Suppose -5*m + 3357 = -2*u, 5*m - 3381 = -8*u + 4*u. Is m a composite number?
False
Let u = 2366 - -197. Is u composite?
True
Suppose 0*c = -2*c + 6. Suppose -4*q = c*f - 144, q + 10 = 2*f + 35. Is q - (-3)/(9/(-6)) a composite number?
False
Suppose 5*b - 2*b = 1293. Is b prime?
True
Suppose -4*f = -5*f + 13. Is f a prime number?
True
Let s = 1220 + -361. Is s composite?
False
Suppose 0 = -5*j - j + 2682. Is j prime?
False
Let r be 1/(-2)*-16 + 0. Suppose 3*h = -s - r, 25 = 5*s + 2*h - 0*h. Suppose 0 = -3*j - 3*c + 198, 328 = s*j - 2*j + 3*c. Is j a prime number?
False
Let p(m) be the third derivative of 697*m**5/60 - 7*m**2. Is p(-1) composite?
True
Let m(k) = 1323*k**2 - 3*k + 7. Is m(4) composite?
False
Let w = 0 - 5. Let z = w - -9. Suppose -z*q - q = -105. Is q composite?
True
Let x(b) = -b**2 - 26*b - 2. Is x(-8) a composite number?
True
Let y = 6 - 4. Let n(x) = -4*x + x - x**3 + 5*x**y + 2*x**3 - 5. Is n(4) prime?
True
Let w = 129 - 57. Suppose 2*j + j + u - 55 = 0, 4*j + 2*u = w. Is j a composite number?
False
Let p = 267 - 0. Is p a composite number?
True
Let s(u) = -3*u + 4. Let p(x) = -3*x + 5. Let d(k) = -5*p(k) + 6*s(k). Let h be d(-3). Is ((-46)/8)/((-2)/h) a prime number?
True
Let u = 9365 - 5932. Is u a composite number?
False
Suppose 2*z - 299 + 29 = 4*r, 0 = r - 2. Is z composite?
False
Let r(u) = -8*u + 9*u**2 + 2*u**2 + 4*u. Let x be r(-5). Suppose -5*z - 5*k + 305 = -145, -x = -3*z + 2*k. Is z a composite number?
True
Let p(d) = 1529*d**2 - 4*d - 3. Is p(-2) a composite number?
False
Let i(n) = 14*n - 2. Let f be i(-2). Let v be 80 + (5 - 3) - 3. Let o = f + v. Is o a prime number?
False
Let i(m) = 23*m - 18. Is i(17) prime?
True
Let u(t) = 3*t**2 + t - 1. Is u(2) composite?
False
Suppose -19 + 1 = u. Let r = u + 76. Is r a composite number?
True
Let k(p) = -7*p + 32. Let d be k(4). Suppose -2*c + 4*x + 82 = -c, 4*c - 368 = -4*x. Let o = d + c. Is o a composite number?
True
Suppose -5*v + 7384 + 6896 = 5*g, g = -5*v + 2836. Is g composite?
False
Let f(d) = 2*d**2 - d - 2. Let j be f(5). Suppose 4*q = 3*q + j. Is q a prime number?
True
Suppose 0*l + 3*l - 5*w = 25, l - 15 = 3*w. Suppose 0 = 3*j - 0*j + 15, l = -2*n + 4*j + 490. Is n composite?
True
Suppose -7424 = 8*d - 22344. Is d prime?
False
Let z(u) = -u**3 + 2*u - 3. Let l(h) = h**2 - 1. Let m(a) = 3*a**2 + 8*a - 6. Let s(y) = -2*l(y)