pose -o*j + p = -j. Is j prime?
True
Is ((-2)/(-6))/(45/(-135)) - -41670 composite?
False
Let j = -12 - -113. Suppose 0 = -4*l + 5*p - 189, 0*l + l + 2*p = -44. Let n = j + l. Is n prime?
False
Let q be 3/2 + (-1)/2. Let i(h) be the first derivative of 80*h**3/3 - h - 92. Is i(q) prime?
True
Is 10 + 138/(-12) + (-28282)/(-4) prime?
True
Let d(f) = 2*f - 9. Let z be d(0). Is (-3210)/(-18) - (-12)/z composite?
True
Suppose -i + 2*i + 17 = -2*b, 4*b - 5*i + 13 = 0. Is b/(14/8) - -255 a composite number?
False
Let d(v) = 19*v**2 + 23*v - 25. Is d(-12) prime?
False
Suppose 4*b + 122 = 698. Let v = -87 + b. Is v prime?
False
Suppose -2*c + 0*c = 2*c. Suppose c*m - 2001 = -3*m. Is m a prime number?
False
Suppose c + 2*c - 28 = 4*g, -16 = -4*c. Let p(m) = 23*m - 3. Let f be p(4). Let t = f + g. Is t prime?
False
Let w = -2112 + 3655. Is w prime?
True
Suppose 19 = 4*g - 61. Is 685 - (4 - g/5) a composite number?
True
Let i(f) = f**2 + 9*f - 8. Let v be i(-10). Suppose -n + v = -1, 488 = r + 3*n. Is r a prime number?
True
Let w(n) be the third derivative of -n**6/120 - n**5/30 + 641*n**3/6 + 6*n**2. Is w(0) a composite number?
False
Suppose -2*g = -x - 51497, -2*g + 11*x = 7*x - 51482. Is g a composite number?
True
Let t(y) be the second derivative of -y**5/20 + y**4/12 + 2*y**2 - 5*y. Let l be t(2). Is (l + -1 + 0)*-53 a prime number?
True
Suppose 8*z = -2*w + 3*z + 1360, -z = 3*w - 2053. Suppose 0*x + 5*x = 25. Suppose -w = 4*v - x*v. Is v prime?
False
Suppose -8748 - 9982 = -5*n. Is n a composite number?
True
Suppose n - 5*b = 303, 0 = 4*b + 9 - 25. Suppose -4*h = 20, 0 = 3*s + h - 53 - n. Is s a composite number?
False
Let b = -37 - -62. Let i be (10 + -5)/(0 - -1). Is (-5)/b - (-1116)/i prime?
True
Let x(j) = -j**2 + 1. Let w be 26/(-143) + (-9)/11. Let a(q) = -27*q**2 + 2*q. Let k(y) = w*a(y) - 5*x(y). Is k(-2) prime?
True
Let a(b) = 21*b + 10. Let l = -12 + 5. Let z be ((-16)/10)/(l/35). Is a(z) composite?
True
Is (-39723)/24*4*-6 a composite number?
True
Suppose -4*k + 22 = -k - 2*f, -f + 15 = 5*k. Let u(a) = a**3 - 5*a**2 + 4*a + 3. Let z be u(k). Suppose l + 746 = z*l. Is l a composite number?
False
Suppose 4*z - 2*f + 4*f = 18, 4 = -3*z + 2*f. Suppose -12 = z*i - 14, 2*i + 895 = 3*o. Is o a prime number?
False
Suppose -2*b + 0*b = -2. Let d be (-1632 + (0 - b))*1. Let y = d - -2522. Is y a prime number?
False
Let p = -7776 + 14533. Is p composite?
True
Suppose 4*h + 37 = -15. Let w(c) = -9*c + 40. Is w(h) a composite number?
False
Let c(n) = -484*n + 95. Is c(-8) composite?
False
Is (-916296)/(-28) + 8/7 composite?
True
Suppose -3*r = -2*i - 7, 2*i + 4*r = 7*i + 21. Is -2 + (-12)/i - (-63581)/35 a prime number?
False
Let y(c) = c**2 - 22*c - 69. Let h be y(24). Let g = -36 - -62. Let w = g - h. Is w composite?
False
Let d be 12/(-1)*((-20)/15 - -1). Suppose -m - 3869 = -d*s, 5*s - 2*m - 3952 = 885. Is s a composite number?
False
Let m be (-46)/(-14) + 4/(-14). Let t(p) be the second derivative of 7*p**4/6 - 5*p**3/6 + 2*p**2 - 40*p. Is t(m) a composite number?
True
Let b(v) = -18*v - 17 - 23 + 78*v + 39*v. Is b(23) composite?
False
Suppose 8453 = 11*u + 1512. Is u composite?
False
Let s be (5/3)/((-8)/(-96)). Let t = -11 + s. Is 6*(78/t + -3) a prime number?
False
Is 46/(-23) - (-3)/(15/49475) prime?
False
Let g be (-378)/35 + 1/(-5). Let p = -10 - g. Is p/(-4) - (-663)/12 a composite number?
True
Suppose 5*q = -u + 20 - 1, 8 = 2*u. Is (15/(-2))/q*(-13512)/60 a prime number?
True
Suppose 0 = t - 794 - 557. Is t a prime number?
False
Suppose 3*z = 5*y - 1, 0 = 3*y - 2*z + 6*z - 18. Suppose y*l + 158 = 5*f, 297 + 19 = -4*l + f. Is l/((-3)/(3 - 0)) a prime number?
True
Let s = -143 + 3790. Is s prime?
False
Let o be ((-3)/6)/((-2)/48). Suppose -7*i = -o*i. Suppose i*x + 3*x = 2901. Is x a prime number?
True
Let v = -26 + 11. Let x = v - -20. Suppose c - 80 = -x*g, -6*g + 185 = 3*c - 2*g. Is c composite?
True
Let d be (-39)/(-1*(-4)/(-12)). Suppose -d = 3*u - 591. Is u a composite number?
True
Let l = 1613 - 936. Is l prime?
True
Let z be 1/(2/(-898)) + -2. Let k(l) = -21*l**2 - 4*l - 36. Let b be k(-6). Let w = z - b. Is w prime?
True
Suppose 0 = -2*m - t + 156, 2*m = -0*t + t + 160. Let i(a) = a**2 - 6*a + 4. Let d be i(5). Is m + -2*2/d prime?
True
Let k(c) be the first derivative of 8*c**2 + 13*c + 10. Is k(15) a prime number?
False
Suppose 3*m - 3*w + 3 = 0, 0*m + 4*m - 20 = -4*w. Suppose -m*o = -4*q - 1494, -4*o + 2*q + 2*q = -2992. Is o composite?
True
Suppose -c - 6 = -3*c. Suppose 0 = -c*y + 4*x + 9, -5*y - x + 4*x = -15. Suppose y*f - 111 = -0*f. Is f a prime number?
True
Let c = -34 - -142. Let i = c + -256. Let s = 235 + i. Is s prime?
False
Let n(i) = 1464*i**2 - 171*i + 508. Is n(3) a composite number?
False
Suppose -95*v + 725241 = -62*v. Is v a prime number?
True
Suppose 4*i - 3*b - 12 = 0, -4*b - 3 = -i - 0*i. Let n be 68 + (-6)/i + 4. Let w = n - 36. Is w a composite number?
True
Suppose 0 = 4*w - 8, -18*j = -20*j + 2*w + 7522. Is j composite?
True
Let n be (3 + -6)*1 + -1. Let r be -4*2*n/16. Suppose -t + r*k = t - 230, -t + 123 = -5*k. Is t composite?
False
Let u(n) = 3*n - 1. Let c be u(2). Suppose -m - o + 6 - 3 = 0, -3*m - c*o + 5 = 0. Is (6 - (m + -2)) + 288 a composite number?
True
Suppose -4*l + 2700 = 4*s, -30*s + 1348 = -28*s + l. Is s prime?
True
Suppose t = -4*y + 3, 0 = -5*t + y - 57 - 12. Let r = t + 176. Is r a prime number?
True
Let w(d) be the third derivative of 13*d**2 - 1/12*d**4 + 0*d - 1/6*d**3 + 1/3*d**5 + 0. Is w(-2) composite?
False
Let x = -28 + 24. Let d = 351 + x. Is d composite?
False
Let s be 2535 + -4 + (-2 - 1). Suppose 4*m = 2*l - s, 3*l - 4*m + 9*m - 3748 = 0. Let f = l + -813. Is f prime?
True
Suppose 2*l = l - 2, -2*p = -3*l - 40. Suppose b - 14 - p = 0. Suppose 2*t - t - b = 0. Is t composite?
False
Let g be -51*-3*16/36. Suppose g + 387 = 5*x. Is x a prime number?
False
Let u = -64 - 253. Let k = 515 + u. Let i = k + 13. Is i a composite number?
False
Let o(x) = 4257*x**2 - 3*x - 2. Is o(-1) prime?
False
Suppose -6108 - 50170 = -19*q. Is q a prime number?
False
Let j be ((-1899)/12)/(3/12). Let m = j - -1371. Suppose -3*u + m = 249. Is u composite?
False
Suppose -2*l = l + 5*i - 113, 109 = 3*l + i. Let y(k) = 4*k + 3. Let j be y(-2). Let t = l + j. Is t a composite number?
False
Suppose 2*g - 3*d = -g + 2106, 0 = g + d - 696. Let f = g + -1878. Is (4/(-6))/(6/f) a prime number?
True
Let d(m) = -2*m**3 + 33*m**2 + 16*m + 3. Is d(14) a prime number?
False
Let t = -116 - -176. Let r = 115 - t. Is r composite?
True
Suppose 0 = 18*o - 530665 + 60235. Is o prime?
False
Let u be (58 + -1)*(-1)/(-1). Let b = 112 - u. Suppose -3*r + 2*c = -1 - b, -4*r + 4*c + 68 = 0. Is r a composite number?
True
Let x be (24/9 + -1)*3. Suppose x*v - v + 48 = m, 2*m + 3*v - 107 = 0. Suppose 0 = 2*u + 4*j - 24, -4*u + j + m = 5*j. Is u a composite number?
True
Let w(m) = -1097*m + 0 + 0 + 897*m + 1. Is w(-9) a composite number?
False
Suppose 4*x - 7552 = 4*l, 4*x + 5*l + 1384 - 8981 = 0. Is x composite?
True
Let x = 14569 - -1222. Is x prime?
True
Suppose 0 = 4*r - 11*r - 7189. Is r/((6 - 5)/(-1)) a composite number?
True
Is (-2)/6 - (-6)/(-9)*-19484 prime?
False
Let d = 97 - 79. Is (-4)/d - (-6884)/36 composite?
False
Suppose 3*x - 57946 = -4*n, -20*x - 8 = -24*x. Is n composite?
True
Suppose h + 2 = -m, -5*h - 2*m = -5*m - 22. Suppose -h*g + 4*g + 308 = 0. Let y = -87 - g. Is y composite?
False
Let j be 1 + 2/4*-2. Suppose -x - x + 10 = j. Suppose -x*z + 42 - 8 = 2*m, 0 = 3*m + 5*z - 56. Is m a prime number?
False
Let n = 187 + 52. Is n a prime number?
True
Suppose 34*b - 243174 - 132560 = 0. Is b composite?
True
Suppose 56 + 0 = -2*b. Let c be (b/(-12))/(-7)*-9. Suppose 29 = c*q + 2. Is q a prime number?
False
Let p = -32 + 83. Suppose o + k - 2*k = 9, 0 = -4*o - k + 26. Suppose 6*l = o*l - p. Is l composite?
True
Let s(c) = -5*c + 11. Let a be s(1). Suppose 3*t - 12 = 0, 4*t + 3564 = 4*b + a*t. Is b a prime number?
False
Let j(h) = 12*h**3 + 1. Let b be j(-1). Let k be b + 13 - (-1 + -2). Suppose -5*u = 4*l - 261, -3*l - 102 = -k*u - 254. Is l a prime number?
True
Let f(t) = -11*t**3 + 13*t**2 - 3*t + 13. Let q(o) = 11*o**3 - 12*o**2 + 2*o - 12. Let n(j) = -3*f(j) - 2*q(j). Is n(6) a prime number?
False
Let j