
Let u(z) = -144*z + 49. Is u(-16) prime?
False
Suppose 4*t = 6*t - 290. Suppose 3*v + l = 149, -2*v + l = v - t. Is v a prime number?
False
Suppose -798 = -5*j + 4*d, 5*d - 15 = -0. Suppose -5*n + 17 + 433 = -l, 2*n - 4*l - j = 0. Is n composite?
True
Let b(t) = t**2 - 5*t - 10. Let i be b(7). Suppose 282 + 79 = 3*h - i*z, 0 = 2*h - z - 249. Is h a prime number?
True
Is -1*-2*(-716)/(-8) a composite number?
False
Let z = -1158 - -3161. Is z a composite number?
False
Suppose p - 2 = 3. Let t be 5 + -2 + (98 - p). Suppose 4*l - t - 4 = 0. Is l composite?
True
Suppose 3*j - 1346 + 167 = 0. Let d = -266 + j. Is d composite?
False
Suppose -183 = -3*v + 24. Is v a composite number?
True
Suppose n + 4*n - 120 = 0. Suppose 0 = 5*i - 239 + n. Suppose -3*k + 6*k - i = -p, -5*p + k = -183. Is p a prime number?
True
Let u be (-10)/(2 + -3 - 1). Suppose 5*l + 124 = 3*w, w - u*l - 46 = 2. Is w composite?
True
Suppose s = -3*h + 3127, -h = -5*h - 3*s + 4176. Is h prime?
False
Let t(c) be the second derivative of -c**3/6 - c**2/2 + 2*c. Let v be t(-1). Suppose 3*p - p - 20 = v. Is p composite?
True
Suppose 4*j + 8 - 28 = 0. Let l(p) = p**2 + 12*p - 2. Is l(j) a composite number?
False
Suppose r - 764 = 4*i - 3*r, 5*r = -2*i - 375. Let s = -100 - i. Suppose 4*p - l = s, p - 4*l - 38 = -p. Is p composite?
False
Suppose -3*u + u = 0. Suppose u*x - 136 = 2*x. Let r = -43 - x. Is r a prime number?
False
Let a be (-14)/(-4)*(-8)/(-14). Is -1*(-677)/2*a a composite number?
False
Suppose -2*a - 5*y = -4*y - 8, -4*y + 14 = -a. Suppose 15 = p + 4*p. Suppose 3*g = p*n - 27, 2*n + 2*g + 12 = -a*g. Is n composite?
True
Let j be 9 + 3 + -6 - 1. Suppose 9*p = j*p + 628. Is p a prime number?
True
Let z(h) = 213*h - 13. Let r be z(6). Suppose 37 = -4*k + r. Is k a composite number?
False
Let r = 24 - 18. Is -38*(0 - 87/r) composite?
True
Is ((-2533)/(-4))/((-27)/(-108)) a composite number?
True
Let y be ((-4)/5)/(2/(-20)). Let a = y + -4. Is (a/6)/(6/873) a prime number?
True
Suppose 2*k - 2*c - 14 = -4*c, -5*k + 26 = 2*c. Let d be 0/(-1) + (k - 2). Suppose 2 - 13 = v - 3*y, 4*v = -d*y + 26. Is v prime?
False
Suppose 0*t = 5*f + t - 43, 4*t - 28 = -4*f. Is (-1 - f)/((-2)/5) a composite number?
True
Let a be 1 - 2*411/(-6). Let y = -47 + a. Is y prime?
False
Suppose l + x = -9, 5*l - l - 5*x = -63. Let m = l - -25. Is m a prime number?
True
Suppose b + y = 193, 5*y - 172 = -2*b + 199. Suppose b - 1241 = -m. Is m composite?
True
Is (4 + (-348)/8)*-2 prime?
True
Let q(x) = 3*x**2 - x - 13. Is q(11) prime?
False
Let v(s) = -s. Let l(m) = 16*m**2 + 5*m - 13. Let j(k) = l(k) + 6*v(k). Is j(6) a prime number?
True
Let h = 3 - 15. Let g = h - -79. Is g prime?
True
Let m be (-8)/(-2)*(-2)/(-4). Let v be (-1 + 13)*1/m. Is (-38 + 5)*(-4)/v prime?
False
Let o(v) be the third derivative of v**6/120 - v**5/10 + v**4/6 + v**3 - 5*v**2. Is o(7) prime?
True
Suppose 252 = -4*p + 6*p. Is 0/1 + (p - -1) prime?
True
Let a = 935 - 409. Is a a prime number?
False
Suppose 2*p = 972 + 228. Let v = p - 409. Is v a prime number?
True
Let z(i) = 164*i**2 + 2*i - 5. Is z(3) a composite number?
True
Let o(w) = -w + 2. Let m be o(4). Let z(d) = -184*d - 3. Is z(m) composite?
True
Let h(p) = p + 7. Suppose -3*c + 5*c - 4 = -2*m, -m + 2 = -c. Suppose i - m*i = -6. Is h(i) composite?
False
Suppose 0*j - 8 = -2*j. Suppose 287 = j*t - 1049. Suppose 7 = a - t. Is a a composite number?
True
Let t be (-5 + 2 - -105) + -2. Let a be (9/(-6) + -2)*-4. Is t/5*a/8 a prime number?
False
Let b = 738 + -253. Is b composite?
True
Suppose -4*g + 2 = -14. Suppose -5*r - 3*i + 54 = 0, 47 - 11 = 5*r - 3*i. Let u = r + g. Is u composite?
False
Let w(z) = 7*z + 9. Is w(4) a prime number?
True
Suppose 0*y = 4*y + 1108. Let x be -196 + (2 + 0 - 1). Let r = x - y. Is r a composite number?
True
Suppose -2*a + 832 = 5*b - 3*a, -4*b - 3*a = -677. Suppose -3*p + b = -178. Is p composite?
True
Suppose -5*y + 6*y = 631. Is y a prime number?
True
Suppose 0 = -2*v - l - 2*l + 526, 3*l - 1040 = -4*v. Is v a composite number?
False
Let v = 20 + 1343. Is v prime?
False
Let p(z) = -2*z**3 - 1 + 2*z - 4*z**3 + 3*z**3 + 3*z**2 - z**3. Let i be p(-2). Suppose 3*l = -4*j + 119, 4*l - 3*l + j - i = 0. Is l composite?
False
Suppose g = 3*u - g, 0 = 2*g + 6. Let v be -4 + -3*u/3. Is v/4*-44*1 prime?
False
Let f = 1 - 1. Suppose 5*c = 4*u - 11, f = -7*u + 2*u - 3*c - 14. Is (0 + u)*-7*1 composite?
False
Let t(p) = 18*p + 1. Let f(h) = 8*h**2 - 1. Suppose 3*c - 4 = -c. Let n be f(c). Is t(n) composite?
False
Suppose 2*j - 63 - 131 = 0. Let z = j + -54. Is z prime?
True
Suppose -6*i + 1 = -7*i. Is i/(3 - (-2224)/(-740)) prime?
False
Suppose -4*k + 127 = 3*d + 2*d, 0 = 5*d - 4*k - 143. Let j(n) = -n**2 - 5*n - 3. Let w be j(-4). Suppose w + d = 4*c. Is c a composite number?
False
Let y(w) = 2*w**2 + 1361. Is y(0) composite?
False
Let a = 59 + -41. Let x = a + 301. Is x prime?
False
Suppose 5*l + 10 = -0. Is (-156)/(-5) + l/10 a prime number?
True
Let p(q) = -49*q + 6. Let f(r) = 50*r - 6. Let z(i) = 4*f(i) + 3*p(i). Is z(5) a prime number?
False
Let m = -34 + 7. Suppose -3*g + 0*g - 4*k + 194 = 0, 4*g = -3*k + 247. Let b = g + m. Is b composite?
False
Suppose 7*i = i + 210. Is i a composite number?
True
Suppose 0 = 89*v - 85*v - 11524. Is v a prime number?
False
Let c be (-2 - 0)/(6/(-9)). Is (2/(-4))/(c/(-474)) prime?
True
Let l = 2079 - 1328. Is l composite?
False
Let c(n) = 9*n + 10. Let j = 11 + -15. Let y = j - -13. Is c(y) prime?
False
Suppose -5*q = -i - 8, 24 = 3*i + 5*q + 8. Let n be (2 + -11)/(-1 + i). Is (-2)/n - 556/(-9) a composite number?
True
Let t = -2 + 3. Is 0/t - 222/(-3) prime?
False
Let h(v) = 17*v**3 - 4*v**2 - 7*v - 3. Is h(4) a composite number?
True
Suppose -2*s - 893 = -v - 4835, 3*v = 3*s - 5907. Is s a prime number?
True
Suppose -2*j = 5*a - 4, 5*j + 13 = -0*a - a. Suppose -3*y + 82 = 3*m + y, -a*m + 64 = 5*y. Is m prime?
False
Suppose -2*a = -4*a - 12. Is 2/(-6) - 476/a composite?
False
Let v(i) = i - 2. Let p be v(6). Suppose 9*l = p*l + 1800. Suppose 0 = 2*k + 2*k - 2*m - l, -m + 2 = 0. Is k prime?
False
Suppose 7*v = t + 2*v - 12, t - 52 = -3*v. Is t a composite number?
False
Suppose -2 = -2*v + 26. Let k be 97/5 + (-4)/10. Suppose -n + v = -k. Is n a prime number?
False
Suppose -142 = -6*j + 5*j. Is j a composite number?
True
Suppose -3*b + 4*w + 2507 = 2*b, -3*w + 1987 = 4*b. Is b composite?
False
Let c(v) = -v**3 - 34*v**2 - 40*v + 9. Is c(-34) a composite number?
True
Let v = 257 + -130. Is v a composite number?
False
Let k = -2032 + 3833. Is k prime?
True
Let p(m) = -m**2 - 15*m - 12. Let x be p(-14). Suppose -2*d + x = 0, -2*v - d - 2*d + 425 = 0. Is v a prime number?
True
Suppose 0 = 5*f - 150 - 1165. Is f a composite number?
False
Let x = 8 - -229. Suppose -x = -4*c + c. Is c composite?
False
Is (179/4)/((-6)/(-24)) a prime number?
True
Let u = 1 + 4. Suppose 0 = s - u*s - 8. Is 31/2 - s/(-4) a composite number?
True
Is (1 - 0)/(3/18) a prime number?
False
Let p(y) = -y**2 - 8*y - 1. Let d be p(-8). Let j be -1 - -69 - (1 - d). Suppose -3*o = -o + 5*k - j, 0 = -4*o + 2*k + 84. Is o a composite number?
False
Let k = 423 - 116. Is k composite?
False
Let a(z) = -z**3 + 9*z**2 - 7*z + 10. Suppose 51 = 5*g + 5*b + 16, 0 = -2*b. Let x be a(g). Suppose 5*i = -3*k + 223, -4*i + 133 = -k - x. Is i prime?
True
Let z = 0 - 3. Let n be (-2)/10 - z/15. Suppose n = -3*v - v + 132. Is v a composite number?
True
Suppose 3*a + 252 = 5*a. Suppose 46 + a = 4*t. Is t prime?
True
Suppose -250 = -2*q + 4*f, -5*f + 277 = q + q. Is q a composite number?
False
Suppose -2*o + 7 = 1. Is (-210)/(-6 + o) - 1 a composite number?
True
Suppose -4*n + 2 = -6. Suppose 0 = -0*i - n*i + 10. Suppose -i*j - 24 = -m, -58 = -3*m - j - 2. Is m a prime number?
True
Let u(i) = 2 + i - 3 + 0. Let v be u(3). Is (48 - 0) + 2/v a prime number?
False
Suppose 2*h = 3*q - q - 322, 4*h = -4*q + 660. Is q a prime number?
True
Is (11458/4 - (-24)/16) + -3 a prime number?
False
Let y = -260 - -394. Is y a composite number?
True
Suppose 2*n + 460 = 6*n. Is n composite?
True
Is (2893/33)/(1/3) a composite number?
False
Let g = -247 - -470. Is g a prime number?
True
Suppose 6*y = 3*y + 141. Is y composite?
False
Suppose -5*k + 5*g + 775 = 0, -5*k + g - 3*g + 775 = 