 = -7*s. Suppose 5*z = 2138 + s. Is z prime?
False
Let i(f) = f**2 - 7*f - 6. Let h be i(6). Let b be 92/(-9) + h/(-54). Let j(y) = -y**3 - 7*y**2 + 10*y + 3. Is j(b) composite?
True
Suppose -498646 = -69*j + 235721. Is j a prime number?
False
Suppose 0 = 5*q + 51 + 69. Let c be (q/32)/(1/(-4)). Suppose -c*a = -3*m + 102, 0 = -2*m - 2*m - 4*a + 112. Is m prime?
True
Is (29961/(-135))/((-1)/(-6))*-5 composite?
True
Suppose n = 4*b - 1176, -5*n = -2*b - 2*b + 1192. Is b prime?
True
Let t be 4584/(-2)*2/(-4). Let l = t - 239. Is l a prime number?
True
Suppose -10*t = -811160 - 713430. Is t a prime number?
True
Let q = -10 - -12. Suppose 5*g = -5*a + 955, -4*g - q*a + 759 = a. Suppose -v + g = -5*z, -4*v - 4*z - 342 = -6*v. Is v a composite number?
True
Let c(v) = 10*v**2 + 41*v - 28. Let l be c(-19). Let i = -1488 + l. Is i prime?
False
Let d be 8*1*(-21)/14. Let c = d + 12. Suppose -5*w + 262 = -c*m + m, 3*m + w - 772 = 0. Is m a prime number?
True
Suppose -4*x + 23180 = -161768. Is x a composite number?
False
Suppose -4*b = 102*g - 101*g - 193410, -g = 2*b - 96704. Is b prime?
True
Suppose -5*m = -38*m + 1295745. Is m prime?
False
Let a(j) = -2*j**3 - j - 6. Suppose -3*m - 25 = 2*m. Let h be a(m). Let x = -110 + h. Is x a composite number?
False
Suppose 3 - 9 = -2*o. Suppose y + 3*q - 2202 - 2206 = 0, 5*q = o*y - 13266. Is y a composite number?
True
Suppose 0*h - 2 = -h, -5*h - 24840 = -5*b. Let a = b - 2725. Is a a prime number?
False
Let l = -9215 - -17716. Is l a composite number?
False
Let p = 173 + -65. Let t = 69 + p. Is t composite?
True
Let n(h) = 51*h**2 + 2*h - 12. Suppose 0 = 4*d - 2*q - 26, 0*d + 5*d - 3*q = 34. Is n(d) composite?
True
Let w be ((-105)/2 + -1)*(0 + -6). Suppose -2*f - 3*d = -5461, -3*d + 3053 - w = f. Is f composite?
False
Is -15*(-51 - -7) + -1 prime?
True
Let g(v) = -50*v**3 - v**2 - 4*v + 5. Suppose 15 = z + 19. Is g(z) composite?
True
Let j(i) = 2*i + 5. Let m be 5*(-3)/(1 + 2). Let r be (-38)/m + (-3)/5. Is j(r) a prime number?
True
Let t(v) = 355*v**2 - 12*v - 2. Let b be t(2). Suppose 0 = y + 2*d - 699, -2*y + 4*y = -3*d + b. Is y a composite number?
False
Suppose -5*g + 15277 = y, 6*y - 4*g + g - 91728 = 0. Is y composite?
False
Let f be (8 - 1)*(-4)/(-14). Let u(a) = 5*a + 86*a**2 + 1 + 73*a**f - 2*a + 4*a**2. Is u(-1) prime?
False
Is (-10272825)/(-525) - 4/14 composite?
True
Is 646998/7 - (-19 + 2560/140) a prime number?
False
Suppose 11*x = 18*x - 4277. Is x a composite number?
True
Suppose 5*p = 0, -2*g + 3*p + 4 = -0. Suppose -g*z = 2*z. Is 1/(-1 + z)*-353 composite?
False
Suppose 96178 = -16*u + 54*u. Is u prime?
True
Let b = 132107 - 90438. Is b a prime number?
True
Let m(h) be the first derivative of -h**4/4 + 14*h**3/3 + h**2 - 3*h + 9. Is m(8) prime?
True
Let d(s) = 66*s - 10. Let n be d(19). Is n/(-6)*189/(-18) a prime number?
False
Let v be 5/(100/(-1115)) + 4/(-16). Is (-6)/16 - 3661/v prime?
False
Let q = -665 - -1324. Is q composite?
False
Let g(m) = -m**2 + 13*m + 18. Let k(n) = -n**2 - n - 1. Let p(a) = -g(a) - 5*k(a). Is p(17) a prime number?
False
Let d = -16 - -21. Suppose 0 = -b + 2*z, -4*b - d*z - 55 = -2*z. Is (-2)/5 - 1454/b a composite number?
True
Let i = 694 + -314. Let j = -138 + i. Suppose 3*n - 139 = j. Is n prime?
True
Let s = -3 - 4. Let w(x) be the first derivative of -x**4/4 - 5*x**3/3 + 4*x**2 - 8*x - 32. Is w(s) a prime number?
False
Let q(p) = 3*p + 1. Let a be q(1). Suppose -d + 235 - 4101 = -a*c, -5*c = 5*d - 4845. Is c a composite number?
False
Let m(i) be the third derivative of i**5/6 - i**3/2 - 16*i**2. Is m(3) a prime number?
False
Let s(i) = i**3 - 27*i**2 - 103*i - 8. Is s(37) prime?
True
Suppose -2*l = -1838 - 630. Let w = 2385 - l. Is w composite?
False
Suppose -2*b + 56 = -4*h + 14, -2*b - 5*h = -24. Suppose 19*s - 1174 = b*s. Is s prime?
True
Suppose -5 = p - 0*p, 0 = -4*r + 4*p. Let z be (-35)/(-25) - 3/r. Let h = z - -147. Is h a composite number?
False
Suppose 1201 = 3*q + 64. Is q a prime number?
True
Let x = -1782 - -3725. Is x a composite number?
True
Let m = -20 + 53. Suppose -m = -3*a - 2*f, 15 = f + 4*f. Let i = 1 + a. Is i a prime number?
False
Suppose z = -0*p - 5*p + 1023, 1041 = z - 4*p. Let b = 1734 + z. Is b a prime number?
True
Suppose 0 = -p - 45 + 256. Is p prime?
True
Let m = 8 - 4. Suppose -3*d - m*b + 710 = 0, 0*d - 240 = -d + 2*b. Suppose d = 2*z + 80. Is z a prime number?
True
Suppose 654 = -5*h + 3419. Suppose 0*s + h = s. Is s a composite number?
True
Let u = 13416 - -30262. Is u a prime number?
False
Let m(x) = -354*x - 23. Is m(-8) composite?
True
Let y(d) = -d**3 - 4*d**2 + 5*d. Let g be y(-5). Is (g + -2)/(-4)*974 a composite number?
False
Let x(k) = 5560*k**2 - 11*k - 10. Is x(-1) a prime number?
False
Suppose -37*c + 210780 = -c. Is c prime?
False
Is 2/((-40)/(-34052)) + 20/50 prime?
False
Let a be (27/2)/(5/(-10)). Let f be (-6)/(-4)*36/a. Let g(u) = -7*u**3 - 2*u**2 - 2*u + 1. Is g(f) prime?
True
Let s(i) = 969*i**2 + 3*i - 4. Let b be s(-3). Suppose b = 4*x + 3*x. Suppose -5*c = -c - x. Is c composite?
False
Let j(i) = -i**3 - 5*i**2 + i + 7. Let s be j(-5). Suppose -2*q = -s*r + 780, 108 = 3*r + 3*q - 1068. Is r composite?
True
Let c = -5 - 0. Let p(a) = -88*a + 4. Let b be p(c). Suppose -6*z = -0*z - b. Is z a composite number?
True
Suppose 14 = -w - 11. Is (-7789)/3*75/w composite?
False
Suppose 2*q + 9*q = 54593. Let k = q + -1592. Is k composite?
False
Suppose y - 5*y + 108 = 5*g, -4*g = -2*y - 102. Let c be (g/4)/((-2)/(-154)). Suppose -2*l - 4*o = -c, 3*o = -2 - 4. Is l a prime number?
False
Let b = -1599 - -5584. Suppose -b - 1247 = -3*x. Suppose -4*t = -4*u + 3484, -t - x = -2*u + 2*t. Is u a composite number?
True
Suppose 12*x + 8 = 68. Is (x - 165/35)*721 a prime number?
False
Is 133988/32 - (1/8)/1 prime?
False
Let g(p) = -p**3 - 12*p**2 + 14*p + 14. Let n be g(-13). Suppose -9 = -2*o - n. Suppose -o*d = d - 635. Is d prime?
True
Let c = -89 + -423. Let n = 2102 + -839. Let d = c + n. Is d composite?
False
Let q(y) = 5*y - 5. Let g be q(10). Let p = g + 49. Is p a prime number?
False
Suppose 7*t = -37*t + 128788. Is t a composite number?
False
Let y = -81 - -323. Let s = y - -147. Is s prime?
True
Suppose -15*a + 12301 = -27044. Is a a composite number?
True
Suppose 0 = c + 4*x + 15, -c + 3*x = -2*x - 3. Let w = c - -11. Suppose -h = -w*h + 237. Is h composite?
False
Suppose 4*j + 4*d - 4 = 5*j, 3*j = -5*d + 56. Let k = j - 8. Is -89*((-16)/4)/k a prime number?
True
Is (187/22)/17*23228 composite?
True
Suppose -674359 + 176617 = -42*i. Is i prime?
False
Let o be 2 + 183 + 6/(-2). Suppose 0 = -g - 5*p + 75, 2*g - p + 3*p = o. Is g prime?
False
Let u(h) = 17*h**2 - 7*h + 13. Suppose 0 = -5*j - 2*j + 21. Is u(j) composite?
True
Suppose p = -0 - 4. Let g = p - -8. Suppose 4*q - 498 = -5*b, -2*q + g*b + 16 = -246. Is q a prime number?
True
Suppose 0 = 2*h - 4 - 4. Let s = 0 - h. Is s/6 - 3092/(-12) prime?
True
Is 1*10/(-2) + (17 - -10121) a prime number?
True
Suppose 0 = 4*n + y - 2*y + 192, -n - 48 = 3*y. Is (2 - n/(-26)) + 40648/104 prime?
False
Let p = -1911 - -6208. Is p composite?
False
Let n = -1026 - -3203. Is n composite?
True
Let a(g) = g**3 + 6*g**2 - 6*g + 13. Let t be a(-7). Suppose -159 + 21 = -t*k. Is k composite?
False
Let q(c) = 6*c**2 - c**2 - 8 + 2 - 10*c**3 + 9*c**3. Let h be q(5). Let k(o) = -2*o**3 - 2*o**2 - 3*o + 3. Is k(h) composite?
True
Suppose 0 = -51*g + 45*g + 6. Let a(v) = 11*v**3 + 3*v - 1. Let z be a(-3). Is (4 - 4)/g - z a composite number?
False
Suppose -3*z + 3*c + 9373 + 21026 = 0, 0 = -3*z + c + 30403. Is z a prime number?
False
Suppose 4*t = -d - 21, 5*t - 30 = 2*d + 3*d. Is (7/(-3))/(3/d) a composite number?
False
Let o be (8/(-12) + (-3)/9)*-211. Suppose -12*p = -11*p - o. Is p a composite number?
False
Suppose -19*w + 21682 = -4557. Is w a prime number?
True
Let s(v) = 513*v**2 - 24*v + 43. Is s(2) a prime number?
False
Suppose -2*w + 5 = 3, -2*r = -5*w + 1083. Let a(l) = -155*l - 4. Let k be a(6). Let x = r - k. Is x prime?
False
Suppose 11*a = 73049 - 23032. Is a composite?
False
Suppose -3*g - 6 = -18. Suppose 0 = -g*c + 8*c - 636. Is c composite?
True
Suppose -2*c + 3*d + 0*d - 5 = 0, 0 = -3*d + 9. Suppose -s + 6 = -z, c*z - 7 = -2*s + 3*z. Is ((-1)/3)/(s/(-93)) a prime