mposite?
True
Let d(t) = 197*t**2 - 4*t + 1. Let f be d(-2). Suppose -3081 - f = -2*c. Is c composite?
True
Let h be ((-1)/2)/((-1)/(-10)). Let q(g) = 4*g**2 + 3*g - 2. Let f be q(h). Suppose -38 = -w + f. Is w prime?
False
Let g = 1 + 4. Suppose -p + g - 3 = 0. Suppose 0 = -3*w - p*w + 4885. Is w composite?
False
Suppose -25*u = -30*u + 5. Is 0 - (2 - u)*-1379 prime?
False
Suppose -362982 = -4*b + 5*v + 7813, -463500 = -5*b + 5*v. Is b composite?
True
Let d(y) = -y**3 + 7*y**2 - 4*y. Let a be d(6). Let q = a + -15. Is (-25)/((-1 - -3) + q) composite?
True
Suppose -5*u - 3416 = -911. Let c(m) = m**2 + m + 2. Let a be c(0). Is (80/(-24))/(a/u) composite?
True
Let b be 116/36 + (-6)/27. Suppose -b*u + 8 = -p, -8 = -p - 0*p - u. Suppose 127 = j + p*q, -3*j + 381 = -0*j - 4*q. Is j composite?
False
Suppose 4 = -c - 1. Let b(y) = 4*y**2 + 15*y**2 - 6 - 8*y**2. Is b(c) a composite number?
False
Let w(f) = -3342*f - 115. Is w(-6) a prime number?
True
Let x be (-4)/(-18) + 96/54. Suppose m + 3*m - 2 = -x*q, 0 = -3*m + 5*q + 8. Suppose o = 18 + m. Is o prime?
True
Let k(l) = -l + 1. Let h be k(-4). Let c = 191 + -186. Suppose -5*j - 290 = -h*i, 111 = -c*i - 4*j + 410. Is i prime?
True
Suppose -l + 3*o + 1212 = 0, 0 = 3*o + 1 + 14. Suppose -2*n + 0*u = -3*u - l, 1788 = 3*n - 3*u. Is n a prime number?
False
Is (175/10 + -1)*(-710)/(-15) a composite number?
True
Suppose -10*k - 11367 = -141697. Is k prime?
True
Let j(g) = -g**3 + 17*g**2 - 14*g + 16. Let k be j(16). Suppose 44 = -0*s + 3*s - l, 0 = 5*s + 3*l - 64. Let p = s + k. Is p composite?
True
Let y = -5278 - -11475. Is y a prime number?
True
Suppose 0 = 28*v + 61*v - 2757665. Is v a composite number?
True
Suppose -7*u = -2*u. Let h(b) = b + 121. Is h(u) composite?
True
Suppose -4*m = 5*z - 78, 4*m - 13 = -2*z + 11. Let k(h) = h**3 - 12*h**2 + 23*h - 41. Is k(z) composite?
True
Let o be 13*(-4 + 19) + 0. Suppose -3*g + 565 = -2*w, -3*g + o = -2*g + w. Is g composite?
False
Let j(z) = 124*z**2 - 13*z + 14. Is j(9) a composite number?
False
Suppose -3*j = -3*c + 25020, -4*c - c = 2*j + 16659. Let o = -5726 - j. Is o a composite number?
True
Suppose 0 = -31*q - 37*q + 3179204. Is q prime?
False
Suppose 17*j - 10230 = 22*j. Let c = -932 - j. Is c a prime number?
False
Let i be (-7430)/8 + (-1)/4. Let x = -46 - i. Is x composite?
False
Is (4417/(-3))/(33/(-99)) a composite number?
True
Let t(u) = u**3 + 19*u**2 - 64*u + 1. Is t(9) prime?
True
Suppose -30672 = -3*d + 3*o, 3*d + 3*o - 30665 = -o. Is d a prime number?
True
Let z be (4378/8)/(6/72). Suppose -5*k + 6*l + z = 4*l, -4 = 4*l. Is k a composite number?
True
Let x(j) = -826*j + 459. Is x(-13) a prime number?
True
Is ((-258)/18 - -2)/((-4)/2532) composite?
True
Let b = 8739 + 908. Is b prime?
False
Let y = 39 + -55. Let n be -2 - y - (-4 - -6). Is 12/8*n/2 prime?
False
Let q = 41 - 80. Let d be (-6)/39 + (-396)/q. Let n(b) = 14*b + 21. Is n(d) composite?
True
Suppose 0 = -g - 4 + 7. Suppose g*a + 509 = 4*a. Is a prime?
True
Suppose 0 = -19*p + 18*p + 485. Is p a prime number?
False
Let l = 34743 + 50668. Is l a composite number?
False
Is ((-3)/(12/211))/((-67)/536) a prime number?
False
Is (0 + 116/16)/(4/1424) a composite number?
True
Suppose 0 = -5*l - 3*d + 2045, l + 3*d + 1251 = 4*l. Let y(x) = x**3 - 6*x**2 - 5*x - 3. Let j be y(8). Suppose -3*t = j - l. Is t prime?
True
Suppose 15*g = 19*g + 8448. Let z = g - -3001. Is z prime?
False
Let n(o) = o**3 - 9*o**2 - o + 11. Let t be n(9). Suppose 0 = -t*k - 2*h - 0*h + 2952, 0 = 5*k - 4*h - 7389. Is k a prime number?
False
Is -2 + 31 + 6 + -2 prime?
False
Let t be (-28)/10 + 2/(-10). Let n be -413 - (t + (-4)/(-2)). Let i = -77 - n. Is i a composite number?
True
Is 3 + 27444/8 + 15/(-30) a prime number?
True
Let j(c) = 17*c**3 + c**2 + 9*c + 1. Let s be j(3). Suppose -1269 = -5*b + s. Is b composite?
False
Is 37/(-5) + 7 - 314/(-10) a composite number?
False
Let y = -2 - 0. Is 1/y - 26707/(-34) a composite number?
True
Let o = -7 + 7. Suppose -2*i + o*l + 2921 = -5*l, -3*i - 3*l = -4413. Suppose 8*n - i = 4*n. Is n a prime number?
True
Suppose z + 4*z - 500 = 0. Let f be -537*(1 - (-4)/(-3)). Let t = f - z. Is t a prime number?
True
Suppose 3*m - z + 3967 = 832, -2*z = -2*m - 2090. Let y = -292 - m. Is y composite?
True
Let u(n) = n - 8. Let c be u(6). Let f be -328 + -7 + c + 4. Let i = f - -784. Is i prime?
False
Let l be 1/2 + (-21)/(-6). Suppose 5*p - 307 = -l*m, -2*m - 110 = -p - 43. Suppose -j - 2*j = -p. Is j a prime number?
False
Let q(z) = 2*z + 14. Let a be q(-5). Is 2/(a + (-730)/185) a composite number?
False
Suppose -1329 = -6*l + 6813. Is l a composite number?
True
Suppose 2*b + 2 = -2*z, -2*z + b = -3*b - 22. Suppose 0 = g - 3*v - 169, 4*g = g - z*v + 543. Is g a prime number?
False
Suppose 226 = -o + 676. Let z = 960 - o. Let u = -275 + z. Is u prime?
False
Suppose -2*n - 11 = n + 4*k, -n + 18 = -3*k. Suppose 3*t - 183 = -3*y, 8*y - n*t - 230 = 4*y. Is y a prime number?
True
Let c(t) = -97*t + 15. Let p(w) = w**2 + 12*w - 17. Let r be p(-13). Let u(f) = 4*f + 6. Let k be u(r). Is c(k) composite?
True
Let m(z) = -120*z - 7. Let y(o) = 361*o + 20. Let g(x) = 17*m(x) + 6*y(x). Suppose 4 + 8 = -3*j - 5*p, 2*j - 2*p - 8 = 0. Is g(j) prime?
True
Suppose -16 = -5*i + i. Let y(z) = 20*z**2 + 12*z + 12. Let r be y(-5). Suppose -4*c + 677 = 3*k, 2*k = -i*c + c + r. Is k composite?
False
Let w(q) = 55*q**3 - 2*q + 3. Let k(z) = 54*z**3 - 2*z + 4. Let y(p) = -4*k(p) + 5*w(p). Suppose -4*c = -2*c - 4. Is y(c) a composite number?
False
Let c(a) = 5 - 14*a + 27 - 3. Is c(-7) a prime number?
True
Suppose -44*o = -50*o + 10506. Is o a prime number?
False
Suppose 4*m + 0*m - 652 = 0. Let h = 286 - m. Is h composite?
True
Suppose 5 = -3*i + 2*o + 1, 9 = -3*i + 3*o. Is (-3318)/i*8/(-24) a composite number?
True
Let i(p) = 2*p - 2. Let v be i(-5). Let c = v - -18. Suppose c*g - 3*g = -3*h + 42, 41 = 3*g + 4*h. Is g a prime number?
False
Let x be (-1)/(-20)*4 - 9444/20. Let n = x - -1173. Is n prime?
True
Is 52948/32 - 27/(-72) prime?
False
Let f be (-9)/15 + 13/5. Let p be 2 + (f - -1 - -126). Let m = -73 + p. Is m a composite number?
True
Is (-7 - -10) + 10201 + 5 + 2 a prime number?
True
Let q = 68 - 65. Suppose -2*t = -t + 4*z - 629, 1887 = 3*t - q*z. Is t prime?
False
Let y = 4487 - 3050. Is y a composite number?
True
Is (-18593 - (-5 + 5))*-1 a prime number?
True
Let l(s) = -s**3 + 2*s**2 + 6*s. Let i be l(4). Is (-9991)/i - 1/(-8) composite?
False
Let j = 25343 - 16764. Is j a composite number?
True
Let r(v) = -v**3 - 8*v**2 + 8*v - 11. Let o be r(-8). Let f = o + 121. Is f prime?
False
Let z = -3 - -5. Suppose 3*n = z*n + 1361. Is n composite?
False
Let l = 192 + 709. Is l a composite number?
True
Is 21927 - (1 - 1 - (27 + -25)) a composite number?
False
Let w be (12/10)/((-12)/(-40)). Suppose h = -w*h + 1135. Suppose -5*f + h = -468. Is f composite?
False
Let u be 5165/4 - 11/44. Is u + -6 - 1*2 prime?
True
Let t = -7 + -8. Let w be t/2*4/(-6). Suppose -d + w*l + 953 = 328, -d + l = -633. Is d a composite number?
True
Let f = 36 + -34. Suppose 0*y - 282 = -f*y. Is y a prime number?
False
Let z be (-3 - -2)*(-4 + 13). Let x = -4 - z. Suppose -x*l + 11293 = 3488. Is l a prime number?
False
Suppose 6*y - 580 = 5*y. Let n = -59 + y. Is n prime?
True
Is 185138/10 + 57/285 a composite number?
True
Let z(n) = -2*n**3 - 28*n**2 + 59*n + 124. Is z(-30) composite?
True
Suppose 2 = z + z. Let u(g) = -2 + 0*g - z + 3*g**2 + 3*g + 13*g. Is u(-12) a prime number?
False
Is ((-1)/3)/(3/(-541998)*3) a prime number?
False
Let x(a) be the third derivative of -31*a**4/24 + 35*a**3/6 + 5*a**2. Is x(-9) composite?
True
Let b = 27286 - 10392. Is b a prime number?
False
Suppose -j - 3 = 4*a - 11, 4*a + 2*j = 4. Suppose 49*b - 41*b - 1152 = 0. Suppose -a*d = 3*g - 756, -d + 113 = -4*g - b. Is d a prime number?
False
Let m = 3 - -32. Suppose m = -2*p + 789. Is p composite?
True
Let c = 1474 + 10191. Is c prime?
False
Suppose o - 2 - 4 = -i, 21 = 3*o + 2*i. Let s(k) = 92*k - 41. Is s(o) prime?
True
Suppose -2*s - 6 = 0, -3*s - 8310 = 4*v - 7*v. Is v a composite number?
False
Suppose 1072 = 5*o - 1463. Let w(y) = 23*y**2 + 3*y - 6. Let g be w(-4). Let s = o - g. Is s a composite number?
False
Let h = 19 - 17. Is 1177 -