. Is (-254)/3*j/14 prime?
True
Let u = 20 - 17. Let b be (-12)/5*750/(-9). Suppose u*l - b = -23. Is l prime?
True
Is ((-135)/18 + 11)*358 prime?
False
Suppose -2*c - 5632 = -5*m + 13577, -5*c - 10 = 0. Is m prime?
False
Suppose -2*i - 14 = 2*m - 3*i, 4*i = 8. Is (-261)/6*44/m a composite number?
True
Suppose o - 4*b = 10, -6*b + b = 3*o + 4. Suppose -3*k + 2*k + 351 = 5*z, -o*z - 3*k = -130. Suppose -44 = -j + z. Is j prime?
False
Suppose 9113 = 8*r + 5*r. Is r a prime number?
True
Let z(q) = 102*q**2 - 5*q + 2. Suppose -d + 9 = 2*d. Let v be z(d). Suppose 4*f - v = -f. Is f a composite number?
False
Suppose -j + 7*j = 1308. Let l(m) = -212*m - 3 - 3*m**3 - 7*m**2 + j*m + m**3. Is l(-6) a composite number?
True
Suppose 39*a = 50*a - 680053. Is a a composite number?
True
Is 5037 + 0 + -2 - 80/(-20) a prime number?
True
Let o = 11 + 15. Is -1*758*(-13)/o prime?
True
Suppose -3*u - 5 = -4*u, 0 = -3*l - 3*u + 45. Let y(t) = 59*t + 39. Is y(l) composite?
True
Let z be ((-2)/16*10)/(8/(-32)). Is (90/4)/z*(-1398)/(-9) prime?
False
Let k(p) = -p**3 - 16*p**2 + p - 11. Let t be k(-17). Suppose -4*c + t = -3903. Let j = 2540 - c. Is j prime?
True
Let l be 3/(-6)*2*4. Is ((-1502)/l)/((-8)/(-16)) a prime number?
True
Suppose 1584 = -5*p + 164. Is 1/2 + p/(-8) + 1 composite?
False
Let l = -20 - -16. Let y = l - -4. Suppose -3*j + 8*j - 395 = y. Is j a prime number?
True
Let p(r) = 2*r + 13. Let o be p(-6). Suppose -1 = t + o. Is 2/t - (0 - 36) composite?
True
Suppose 3*x + 94 = 4*l + 476, -4 = -2*l. Suppose -6*u = -u + x. Let a = 91 + u. Is a prime?
False
Let u(b) be the third derivative of 5*b**5/12 + b**4/12 + b**3 + 7*b**2. Is u(3) a composite number?
True
Let w(h) = h**3 + 12*h**2 - h - 9. Let g be w(-12). Suppose -5*b = -3*v - 770, 6*v = -b + g*v + 172. Is b a composite number?
False
Let n(d) = d**3 - 9*d**2 - 8*d + 3. Let k be 5*(13/(-5) + 3). Suppose -19 = -k*u + 1. Is n(u) prime?
True
Suppose s = 0, 0 = -o + 4*o + 3*s - 342. Suppose x + o = 433. Is x prime?
False
Is -2 + 24923/9 + (-14)/63 a composite number?
False
Is 1023456/(-128)*(-4)/3 a composite number?
True
Suppose z = -2*s - 1439, 4*z + 5744 = -0*s + 4*s. Is -2 - (z + -1 + 3/(-1)) a composite number?
False
Suppose -3*b + 288 = 5*q, 116 = q + q + 2*b. Let k = q + 1084. Is k composite?
True
Suppose n - 2 = 3. Suppose 5*f + 2*l - 105 = 0, 2*l - 7*l = -n*f + 105. Is (-5241)/(-7) + 6/f a composite number?
True
Suppose 8 = 2*u, -5*x - 3*u = 2*u - 185. Is -3246*(11/x)/((-4)/6) prime?
False
Suppose r - 8 = -5*t, -6*r + 6 = -5*r + 3*t. Let j(k) = -5 + 42 + k**2 + k**r - 2*k**3. Is j(0) a composite number?
False
Is 29031/2*1*10/3 composite?
True
Suppose 0 = -u + 2*b + 9939, 14*u - 10*u - 4*b = 39760. Is u prime?
True
Let t be ((-4)/(-2))/(5/(-20)). Let a(s) = -115*s + 19. Is a(t) prime?
False
Suppose 6 - 7 = r, -5*r + 11702 = j. Is j composite?
True
Let r = -10 - -6. Let s(w) be the second derivative of -w**5/20 - w**4/4 - 2*w**3/3 + 3*w**2/2 - 16*w. Is s(r) a prime number?
False
Let v(p) = -p**2 + 12*p - 19. Let i be v(10). Is (-1)/((6/(-6))/(i*1801)) a prime number?
True
Let n(b) = -b**3 + 14*b**2 + 32*b + 10. Let x be n(16). Suppose x*u + 2*u - 9228 = 0. Is u prime?
True
Let a(p) = -p + 2. Let z be a(9). Let f = z - -7. Suppose f = 4*j - 121 - 139. Is j a composite number?
True
Suppose 5 = -2*y - 5. Let s(j) = -j - 1. Let p(c) = -9*c - 7. Let z(q) = p(q) - 6*s(q). Is z(y) composite?
True
Let u be 4 + (-4 - 12/(-4)). Suppose 7*v + 5*z = u*v + 18, -4*z + 4 = -2*v. Suppose 5*m = -4*d + 1411, d - 1102 = -v*d + 5*m. Is d a composite number?
False
Is (-22)/(-3)*6303/(-88)*-4 composite?
True
Let v be ((-14)/(-35))/((-1)/(-60)). Suppose -30*n + 4470 = -v*n. Is n composite?
True
Suppose 5*c + 634 - 2569 = 0. Let m = 605 - c. Is m + (-3)/6*-6 composite?
True
Is 17201536/133 + (-1)/(-7) a prime number?
False
Let i(x) = 43*x**3 + 5*x**2 + 20*x + 23. Let y be i(-9). Let p = -15438 - y. Is p composite?
False
Let q be 1/((27/(-6))/(-9)). Suppose -623 = -q*w - 177. Is w composite?
False
Suppose -5*a + 346569 = -2*n, 0 = -3*a - n + 97293 + 110644. Is a composite?
False
Let h(l) = 1053*l + 8. Let c be h(2). Let d = c - 760. Is d prime?
False
Let o be -1 + 0 + -2 + (-5 - -5). Is o - (-3081 - -1)/4 a prime number?
False
Let w = 5275 - 1934. Is w prime?
False
Suppose -35*a + 5*b = -32*a - 30419, 40552 = 4*a - 5*b. Is a composite?
False
Suppose -4*k = 10 - 38. Suppose 1749 = 10*c - k*c. Is c prime?
False
Suppose -6*h + 32 = -2*t - 5*h, 4*h = -5*t - 67. Is ((-2274)/t + -3)/((-1)/(-5)) a prime number?
True
Let h = 577 - 1503. Let o = -535 - h. Is o composite?
True
Let z(m) = -6*m**3 + 9*m**2 - 19*m - 9. Is z(-8) a composite number?
True
Is 373561/9 - (154/(-126) + 1) a prime number?
True
Let y(t) = -t**2 - 6*t - 9. Let h be y(-6). Suppose 0*i = -2*i - 932. Is (i/3)/(6/h) a composite number?
False
Suppose -4*p - p + 20 = 0. Suppose -d = -3*n + 2*d + 21, p*n - 5*d - 33 = 0. Suppose 5*m + 2*g + 161 - 740 = 0, 456 = 4*m - n*g. Is m prime?
False
Suppose 0 = 5*p + 2*y - y - 42, -p + 16 = 4*y. Let a(u) = p - 14*u + 5 - 6*u - 16. Is a(-4) composite?
True
Let k(y) = y**3. Let s(z) = 4*z**3 + 11*z**2 + 3*z - 5. Let b(a) = 6*k(a) - s(a). Let r be b(9). Suppose c = -3*p + 834, -3*p + r = -p - 3*c. Is p prime?
True
Suppose -2*x + f + 162 = 0, 5*x - f + 2*f = 412. Let t = x + 95. Is t composite?
True
Let o(t) = t**3 + 5*t**2 + 3*t + 1. Let h be o(-3). Suppose -6*y + h*y - 68 = 0. Let c = 2 + y. Is c composite?
False
Suppose 5*c - j = j + 278053, -j = 3*c - 166823. Is c a prime number?
True
Let s(c) = -4*c**3 + 6*c**2 + 5*c + 5. Let m be -1 + 3*(-15)/9. Is s(m) a composite number?
True
Let t be (-6)/(-7)*112/24. Suppose -t*q - 4*z = z - 5454, -2*q - 4*z = -2730. Is q prime?
True
Let p = -187 - -530. Let m be 3 + (-332)/2 - 1. Let s = m + p. Is s a prime number?
True
Let k be 0 + (0 - -2) - 201. Let y = k - -331. Suppose y = 3*v - 609. Is v a composite number?
True
Let c(u) = 219*u**2 - 21*u - 107. Is c(-7) a prime number?
True
Suppose 3*q - 4*q = -4*k + 1789, -2*k - 2*q + 882 = 0. Suppose 0*h - k = -2*h. Is h prime?
True
Let g = 122 - 119. Let s(k) = 591*k**3. Let n be s(1). Suppose n - 98 = g*r + 5*p, 4*r = 4*p + 636. Is r composite?
True
Suppose p = 4*x - 4961, -4*p = 2*x - 2*p - 2488. Is x a prime number?
False
Let w be (6/(-5))/((-21)/70). Suppose -w*n + 421 = -4*z - 635, -5*n + 3*z + 1326 = 0. Is n composite?
True
Suppose 3*s - 11*c + 15*c - 154835 = 0, 2*s - c = 103238. Is s composite?
True
Let m be (30/(-4))/((-2)/292). Suppose 3*i - 87 - m = 0. Is i composite?
True
Suppose 3*c - 20 = i, 3*c - i - 35 = 3*i. Is (0 - -479)*(-4 + c) a prime number?
True
Suppose -3*v - 4*x = -658, -4*x + 441 = 2*v + x. Let b = v + -69. Is b a prime number?
True
Let u(t) = 0 + 23 + 3*t - 4. Let h = 624 + -616. Is u(h) prime?
True
Is (-7 + 23)/(-8) - -34713 a prime number?
False
Let g(o) = -1. Let x(v) = v**2 + 4*v - 4. Let w be x(-5). Let j(t) = -19*t - 5. Let h(a) = w*j(a) - 6*g(a). Is h(-4) prime?
False
Let j = 92 - -132. Let o = j - 81. Is o a composite number?
True
Suppose -2*y = 2*j + 6, -j - 2*y - 15 = 3*y. Is (4/8)/((-3)/(-114)) + j a composite number?
False
Suppose t - 18 = 5*p, p + 14 = -3*t + 100. Is (194/(-3))/(t/(-126)) a composite number?
True
Let o(c) = -c**2 + 11*c - 29. Let j be o(7). Is (648 - (-5 - -12))*(2 + j) composite?
False
Let m = 530 + -169. Suppose -6*p + 329 = -m. Is p a prime number?
False
Let u(q) = q**2 - 9*q. Let o be u(4). Let h be ((-12)/(-10))/((-8)/o). Suppose -5*m = -h*m - 6. Is m prime?
True
Suppose 5*u + 2*c = -1, -2*u - 5*c = 3*u + 10. Suppose -4*k = -3*k + u. Is (k - (-1)/2)*-1358 composite?
True
Let f(p) = 12647*p**2 + 13*p + 7. Is f(-1) a prime number?
True
Let o(b) = -8*b**3 - 4*b**2 - b + 5. Let i be o(1). Let u(v) be the first derivative of 4*v**3/3 + 2*v**2 - 7*v + 1. Is u(i) a prime number?
False
Let x(d) = d**2 + d + 2. Let j be x(-4). Let z be 60/j + 4/(-14). Suppose z*i - 21 = -2*y + 5, -y + 48 = -5*i. Is y prime?
True
Let d(w) = 61*w**2 + 7*w - 7*w - 3*w + 3. Is d(3) prime?
False
Let x(k) be the second derivative of 125*k**4/12 + k**3/2 + 3*k**2/2 - 2*k. Let i(v) = -v**2 + 15*v + 14. Let r be i(16). Is x(r) a composite number?
True
Suppose 4*a - p = 10589, 10*p - 8*p = 4*a - 10590. Is a a prime