 prime?
True
Let g(a) = -a**3 + 7*a**2 + 5. Let p be g(7). Suppose n - p = 6*n. Is (n - 1) + 38 + 1 a prime number?
True
Is (-3)/(-2) - 18700/(-40) composite?
True
Suppose a - 479 = -t, -5*a - 2*t - t + 2395 = 0. Is a a prime number?
True
Suppose 4*c - 1414 = 5*c. Is c/(-8) + 1/4 composite?
True
Let q be (56/10)/((-1)/(-5)). Suppose y - 27 = 4*m - 6, y + 3*m - q = 0. Is y prime?
False
Suppose -3*n + 0*n = 0. Suppose n = -f - 5, -3*i + 0*f + f = -236. Is i prime?
False
Let f = -179 + 472. Is f prime?
True
Suppose 10*r - 380 - 2130 = 0. Is r prime?
True
Let g be (6/(-8))/(2/(-336)). Suppose -g = -m + 143. Is m composite?
False
Let l = -154 - -249. Suppose -r = 2*m + 2*m - 20, m = 3*r - 8. Suppose -r*i + l = i. Is i composite?
False
Let c be 9*(2 + (-20)/12). Suppose 0 = -5*p - 4*t + 234, 5*p + 123 - 350 = c*t. Is p a prime number?
False
Suppose 0 = -4*z + 3*z + 41. Let x = -26 + z. Is x a prime number?
False
Let s(j) = j**2 + 2*j. Let m be s(7). Suppose -3*u + 354 - m = 0. Suppose -21 = 4*g - u. Is g prime?
True
Let c(b) = 13*b - 7. Is c(2) prime?
True
Let j(b) = -b**2 + 59. Let a be 2/(-5) - (-6)/15. Is j(a) a composite number?
False
Is (-56601)/(-114) - (6/4)/(-3) a prime number?
False
Suppose -27 = -h - 3*f, -4*f - 100 = -3*h + 20. Suppose -80 = -2*a + h. Is a composite?
True
Is ((2 - 3) + 3 - 9)*-53 a composite number?
True
Let f = 3361 - 2300. Is f prime?
True
Let o = -2287 - -4714. Is o a composite number?
True
Let s be 1031 - (5 - 3)/2. Let l = s - 561. Is l prime?
False
Let b = -182 + 125. Let z = -26 - b. Is z a prime number?
True
Suppose 18 = j + z, 0 = -j - 3*z + z + 21. Is j a composite number?
True
Suppose -2*y = -5*m + 165 + 256, m = -y + 80. Is m a prime number?
True
Let a(f) = 120*f**3 + 4*f**2 - 4*f + 1. Is a(3) composite?
True
Let f be 8 - (-1 + 1 - -3). Suppose -f*h + 83 = 4*v, 2*v - 5*h + 61 = 5*v. Is v composite?
True
Suppose 116 = -3*f - 124. Let g = 138 + f. Is g a composite number?
True
Suppose -3*m = -4*p + 5902, 0 = 2*m - 3 - 1. Is p prime?
False
Let b = -1 - -4. Let u = b - 2. Is (-5)/(u/(2 - 9)) a prime number?
False
Let c(v) = v. Let x be c(3). Let f be (1/(-3))/((-6)/828). Suppose 69 = x*a - 3*s - 0*s, s = 2*a - f. Is a prime?
True
Let d = 0 - 2. Let b(z) = 4*z + 6. Let v be b(-3). Is (4/d)/(v/381) prime?
True
Is 892 + (-1)/1*-3 a prime number?
False
Suppose -p + 283 = -672. Is p composite?
True
Let u be (3 - 9/6)*14. Let l = -15 + u. Is l a prime number?
False
Suppose 5*x - x + 12 = 2*w, -2*x = w - 2. Is (29*x)/((-5)/10) prime?
False
Suppose 0 = -2*d + 14 + 4. Let v(u) = u**3 - 7*u**2 - 10*u - 3. Is v(d) a prime number?
False
Suppose -6 = 5*v - 3*z, 1 = -2*v + 2*z - 3. Suppose -2*k - 3*k + 215 = v. Is k prime?
True
Suppose -4*y = -4*l - 48, -l = -2*y - 6*l - 4. Is y/(-28) - (-485)/7 a composite number?
True
Let s(h) = 19*h**2 + 4*h + 9. Is s(10) prime?
True
Let o(p) = -2*p**2 + 115. Is o(0) a prime number?
False
Suppose 0 = 3*c - 6*c + 6. Let h be c/(-4) + 51/6. Let f = h + -2. Is f a composite number?
True
Suppose -h + 4*q = -227, 5*q + 24 = 4. Is h a prime number?
True
Let j = 271 + -408. Let z = j + 264. Is z prime?
True
Suppose -4*d - 4*r - 6 = 2, -4*d + 17 = -r. Suppose 0*s - d*s - 6 = 0. Is s - (-2)/((-6)/(-69)) prime?
False
Suppose 385 = 3*v - a, -3*a - 515 = -4*v - 0*a. Suppose 3*n + n = v. Suppose n = 5*h - 353. Is h a composite number?
True
Let h(z) = 201*z**2 - 5*z + 5. Is h(3) composite?
True
Let y = -1 + 15. Let g be y*(-1 + 5/2). Suppose -2*i = -i - g. Is i a prime number?
False
Suppose 0 = -4*k + 219 + 257. Is k a prime number?
False
Suppose -4*t - 3*c + 155 = 0, 3*t + 12 - 130 = -4*c. Is t a prime number?
False
Suppose 0 = -2*s + 469 - 17. Is s composite?
True
Suppose -5*w = 4*b + 313 - 2198, -4*w + 1508 = 2*b. Is w a composite number?
True
Let s(d) = -d + 9. Let i be s(7). Let l be i/(-3) + 88/6. Suppose 56 = 2*j - l. Is j a prime number?
False
Let g be (-69)/(-12) + (-1)/(-4). Is (-1)/(((-7)/g)/7) a composite number?
True
Let x = -4 + 7. Suppose -x*k + 528 = 3*w, 2*k + 176 = w - 3*k. Suppose -4*v = -708 + w. Is v composite?
True
Suppose -7*s = 3*s - 3390. Is s a prime number?
False
Suppose 9*j - 5*j - 5588 = 0. Is j a composite number?
True
Suppose 2*k - 3 = k. Let w = 10 + 4. Suppose 15 = -5*n + f + 43, -2*f - w = -k*n. Is n composite?
True
Suppose 0 = 4*u + l - 14, -5*l - 34 + 4 = -5*u. Suppose -324 = -4*h + 4*z, u*z - 38 - 33 = -h. Is h prime?
True
Suppose -p = -4*q - 9, 0 = 2*q + 3*q + 4*p + 27. Let w(n) be the third derivative of n**5/20 - n**4/24 + 2*n**3/3 - 2*n**2. Is w(q) a composite number?
True
Let y be 26*2 + (9 - 7). Suppose y + 23 = n. Is n composite?
True
Suppose -83 = -w + 7. Suppose -w = -0*m - m. Suppose 2*r - 2*a + m = 4*r, -3*r = 5*a - 133. Is r composite?
True
Suppose 7034 = 11*q + 93. Is q composite?
False
Let f = -9782 - -14263. Is f composite?
False
Suppose -o = 2*s - 48, 30 + 46 = 4*s - 3*o. Is s composite?
True
Let a(y) = y**3 + 5*y**2 + 4*y + 1. Let n be a(-4). Let q = 6 - n. Suppose -2*u + 5*d + 47 = 0, -4*d + q*d = u - 28. Is u composite?
False
Let y be 1*(-3)/(6/(-4)). Suppose -3*a - 4*b = -589, 2*a - a - y*b = 183. Is a composite?
False
Let h(k) = 33*k. Let y be 2/(-1)*1 + 6. Let w be h(y). Is w*1 - (0 + 1) a composite number?
False
Suppose -1884 = -19*s + 17*s. Suppose -4*g = 4*i - 992, 183 - s = -3*i + 2*g. Is i a composite number?
False
Let b be 2 + (-1 + 1 - -4). Let l(m) = m**2 + 6*m - 3. Is l(b) prime?
False
Let k(h) be the first derivative of h**4/4 - h**3/3 + h**2/2 + 219*h - 4. Is k(0) composite?
True
Suppose 13*y = 11*y + 28. Is y a prime number?
False
Let l(r) = r**3 - r**2 - 2*r - 2. Is l(6) a composite number?
True
Suppose 0 = 2*k + r - 15, -2*k + 5*r = 3*k - 15. Suppose -2*g = u - 68, k = -3*u + 2*g + 178. Suppose y = -3*y + u. Is y prime?
False
Suppose -3*w + 87 = -2*w. Is w composite?
True
Suppose -5*t + 30 = 10, 2*t + 494 = 2*o. Is o a prime number?
True
Suppose -263 = -16*l + 15*l. Is l a composite number?
False
Let i be ((-1)/(2/(-12)))/(-1). Let c(q) = -q**3 - 5*q**2 + 4*q + 1. Is c(i) composite?
False
Suppose 2*o - 5*o = -66. Suppose l + l = o. Is l a prime number?
True
Let n = 232 + 21. Is n composite?
True
Let b(n) = 19*n - 9. Let h be b(6). Let y = h - 48. Is y composite?
True
Suppose p - 12 = -2*p. Suppose 3*b - p*b + 79 = 4*h, -2*b = h - 165. Is b prime?
True
Let k be (-2)/(-1)*(-7)/(-2). Let w(v) = 59*v - 6. Is w(k) composite?
True
Suppose 3*p + 2 - 26 = 0. Suppose -6 = -5*k + 4. Suppose -p = k*c - 0*c, -1 = s + 5*c. Is s composite?
False
Suppose -4*a = -3*a. Suppose a = -4*x + x + 159. Is x composite?
False
Let y(w) be the first derivative of -2*w**2 - w - 2. Let v be y(-6). Suppose v = -z + 2*z. Is z prime?
True
Let w be 55/(-2)*8/(-10). Suppose 18 = 5*p + 4*m, 0*p + 2*m + 2 = 3*p. Suppose -3*k = -p*k - w. Is k a prime number?
False
Let w = -237 - -872. Is w composite?
True
Is 3/(18/1893)*2 a composite number?
False
Let y = 8 - 6. Let u be (y*3)/(4/2). Is 4 - u - (-14 + 2) prime?
True
Let h = -271 + 994. Suppose 3*j + 279 - h = 0. Suppose -z = -6*z, 2*z - j = -4*b. Is b a composite number?
False
Suppose -4*q = 5*k - 409 - 356, -4*q - 129 = -k. Is k prime?
True
Let n(d) = d + 9. Let r be n(-9). Suppose -a = -5*a - 5*v + 222, r = 2*v + 4. Is a composite?
True
Let r be (0 + 78)/((-21)/28). Let a = r + 271. Is a composite?
False
Suppose 0 = 2*t - 41 - 35. Is t a composite number?
True
Let z = -4 + 6. Suppose z*y = -y + 111. Is y prime?
True
Suppose 13*l - 39964 = -4331. Is l a composite number?
False
Suppose -3*a - 5*q = -13690, 5*a = 7*a - 2*q - 9100. Is a prime?
False
Suppose -16 = -4*t + 3*f + 3, 2*t - 4 = -4*f. Let y(s) = 5*s**2 + 3*s - 5. Is y(t) composite?
True
Suppose c = -4*z - 67, -2*z = -c + 3*c + 122. Let q = c - -102. Is q prime?
True
Suppose 4*y - 1183 = -p, 3*p - 2*y + 1079 = 4586. Is p a composite number?
False
Let t be (2/(-3))/(6/(-9)). Let k = 1 + t. Suppose a - k*a + 178 = 3*q, -2*q + 10 = 0. Is a a prime number?
True
Suppose -10*r + 12*r + 2 = 0. Let w(f) = 189*f**2 + 3*f + 1. Is w(r) a prime number?
False
Suppose -2*h - h = -267. Is h composite?
False
Let o(s) = 50*s - 4. Let c be o(9). Suppose -l = 2*l, -2*a = l - c. Is a a prime number?
True
Suppose 4*y = -y. Let t = y - 0. Suppose w + w - 74 = t. Is w a prime numb