Is v(y) a composite number?
True
Let k be 3/(-12) - (-43)/(-4). Is 14*11 - 33/k a composite number?
False
Let s be (-1)/((3/(-3))/4). Suppose 5*q = -r - 11 - s, -5*r + 33 = -2*q. Suppose -r*b + 301 = -94. Is b a prime number?
True
Let v = 5113 - 3482. Is v composite?
True
Suppose 5*t - 12 - 48 = 0. Suppose 38 = 5*m - t. Suppose -232 = -2*c + m. Is c composite?
True
Let w(z) = -240*z + 9. Is w(-2) a prime number?
False
Suppose -2*u = -0*u - r, 5*u = -3*r + 22. Suppose 1 = l + u, -l = 2*q - 105. Is q a prime number?
True
Suppose 3*z + 5 = c, 4 = 5*z - c + 9. Suppose z = -j + 119 - 1. Is j a prime number?
False
Let a = 25 - -6. Is a a prime number?
True
Let l be 2/(-2) - (-11 - -4). Suppose 2*v + v + l = 0. Is -2 - (13*v - 2) composite?
True
Let v(m) be the first derivative of -57*m**2/2 + 39*m - 4. Let g(s) = 85*s - 58. Let p(z) = 5*g(z) + 7*v(z). Is p(12) a composite number?
True
Suppose 2*v = 3*y - 152, 5*y - 2*v - 171 = 77. Let q = y - 17. Is q a prime number?
True
Suppose -4*f - 7 = -5*f. Let s = f + -2. Suppose 0 = -s*y + 32 + 23. Is y composite?
False
Suppose 4*u - q = -3*q + 464, -u + 4*q + 134 = 0. Suppose 4*a - 490 = b, a + b = -b + u. Is a composite?
True
Suppose -5*y = -2*x - 145, 0*x - 5*y - 335 = 4*x. Let a(j) = j**2 + 13*j - 3. Let p be a(-8). Let c = p - x. Is c a prime number?
True
Let g(q) = -18*q - 6. Let v be g(8). Let x = 247 + v. Is x composite?
False
Is (-468)/(-20) - (-2)/(-5) prime?
True
Let n(z) = -z + 7. Let h be n(7). Suppose -3*w + 4*w - 2 = 0. Suppose h = -g + w*g - 37. Is g prime?
True
Let n(h) = 8*h - 1. Let f be 9/3 + (-3 - -7). Is n(f) a composite number?
True
Let c(k) = -16*k. Let w be c(-9). Let r = w - 53. Is r a prime number?
False
Suppose 2250 = 2*f - 568. Is f composite?
False
Suppose 2*t - 59 - 147 = 0. Is t a composite number?
False
Suppose 3*x + 2*p = -p - 21, -2*p = 4*x + 20. Let o = x + 2. Is 764/6 + o/3 a prime number?
True
Let v = 540 - -36. Suppose -4*w + 0*w - v = 0. Let g = 223 + w. Is g prime?
True
Suppose 2 = 3*h - 4. Suppose 0 = j + 4*j - 420. Suppose 2*s - j = -h*s. Is s a prime number?
False
Let s(n) = -n**2 - n + 9. Let j be s(0). Let f = j + -6. Suppose -310 = -4*i + 3*x, 5*x = f*i - 150 - 77. Is i prime?
True
Suppose p + 2*q = 594, -3*q + 0*q = -3*p + 1746. Suppose p = a + a. Is a a prime number?
True
Suppose 5*p + 0*p = 6150. Let q = -859 + p. Is q a composite number?
True
Suppose 3*l + b = 99, 4*b = -7*l + 2*l + 165. Is l a prime number?
False
Let u(v) = v**2 + 6*v + 3. Let n be u(-6). Is 10 + n + -1 + 3 prime?
False
Suppose -3*m - 312 = -7*m. Suppose -2*r + m = -2*h, 3*h - 56 = 2*r - 136. Is r prime?
True
Suppose 3*c - 3 + 16 = 5*f, -3*c = f + 1. Suppose s + 2*s - 602 = 5*h, -f*h = -s + 199. Is s prime?
False
Let o be (-2 + 1)/1*-5. Suppose 7*s + 51 = 4*m + 2*s, 80 = o*m - 3*s. Is m a prime number?
True
Suppose 5 = 2*z + 3. Suppose 4*c = -z + 9. Suppose c = 4*s - 54. Is s composite?
True
Let h(z) = z**3 + 5*z**2 - 6*z + 5. Let v = -10 + 4. Let q be h(v). Suppose -5*a - 5 = -2*g + 51, 142 = 4*g + q*a. Is g a prime number?
False
Suppose b - 2*r = 146, 4*r = -b + 2*b - 136. Let a = -63 + 174. Let h = a + b. Is h prime?
False
Suppose 4*o - 479 = -3*n + 5*o, 0 = -3*n + 4*o + 494. Let a = 1 - 1. Suppose a = 4*l + 4*z - 120, 3*z + n = 3*l + 38. Is l composite?
True
Suppose -3*l + 2*l = -31. Is l prime?
True
Suppose -l + 2*k = -0*l - 639, l - 4*k - 647 = 0. Suppose -l = -3*r - 214. Is r a prime number?
True
Is (-3)/(-2) - (-78)/12*331 a prime number?
True
Suppose -4*w = o - 754 + 117, -4*o + 2566 = -2*w. Is o a prime number?
True
Let d = -112 - -37. Let k = 28 + -66. Let u = k - d. Is u prime?
True
Let t(s) = 11*s**2 + 2*s + 3. Is t(4) composite?
True
Let t(n) = -n + 263. Is t(0) prime?
True
Let f = 1402 + 403. Suppose -f = -c - 4*c. Is c composite?
True
Is (-1)/2 - (-3315)/10 a prime number?
True
Suppose d - 2559 = -4*f + 2*d, -2*d = -3*f + 1913. Is f a composite number?
False
Let y(h) = h**3 + 24*h**2 + 8*h - 7. Is y(-16) composite?
False
Let t = -12 + 14. Suppose o = t*y + 31, 0*y = 2*o - y - 71. Is o a prime number?
True
Let i be (0 + -179)/(1*-1). Suppose 2*j + 98 = -4*m, -3*j = 4*m - 6*m + i. Let t = j + 94. Is t a prime number?
True
Suppose -4*o + 900 + 1084 = 0. Suppose 4*s + 2499 = 5*n - 0*s, 0 = n + 3*s - o. Is n prime?
True
Let c = -18 + 27. Let u = c + 3. Let a = u + -1. Is a composite?
False
Suppose -2*b - 1 = -7. Is (b/4)/(2/40) prime?
False
Let c = 34 + 145. Is c a composite number?
False
Suppose 4*t = -3*a + 29, a + 4*t - 14 = 3*a. Let o be (-5)/((a - 4)*1). Is (-22)/(o/((-15)/2)) composite?
True
Suppose -2*c + 452 = 82. Is c a prime number?
False
Suppose -4*q = -w - 4*w + 8, 4*q = -3*w - 8. Let c(p) = -33*p - 3. Let j be c(q). Suppose -4*i = -29 - j. Is i composite?
False
Let l(f) = -f**2 + f + 5. Let a be l(0). Suppose -a + 15 = 2*u. Suppose -3*o = o - u*t - 41, 0 = -t + 3. Is o composite?
True
Suppose 3*r - 2*u - 3*u = 1377, 2326 = 5*r + 2*u. Suppose -r + 89 = -3*c. Suppose 5*h = -0*h + c. Is h composite?
True
Suppose 5*l = -5*d + 132 + 58, 0 = -3*l - 6. Suppose -6*g - d = -2*g. Is (-5)/(g/68) + 1 composite?
True
Let t(r) = -r**2 + 6*r + 2. Let a be (1 - (1 - 0)) + 6. Let v be t(a). Suppose -v*x + 115 = -x. Is x a composite number?
True
Let a(l) = -5*l - 13. Let m(y) = y**3 + 6*y**2 + 2*y + 2. Let h be m(-6). Is a(h) a composite number?
False
Let j be 746/6 + (-2)/(-3). Suppose -j + 21 = 4*h. Let i = h - -57. Is i a composite number?
False
Suppose 5*r - 75 - 35 = 3*q, 0 = 2*r + 2*q - 28. Let j = 28 - r. Let o(l) = l - 2. Is o(j) a composite number?
False
Let f = 7 - 5. Suppose f*s - 2*x = 7*s - 271, -108 = -2*s - x. Is s prime?
False
Let c be 88/(-20) + (-2)/(-5). Let l = c + 13. Is l a composite number?
True
Suppose 2*f - f - 27 = 2*a, -5*f = a - 168. Is f a composite number?
True
Let s(g) = 175*g**2 - g - 3. Let q be -4*2/4*-1. Is s(q) prime?
False
Let r(y) = 9*y - 4. Let t be r(-3). Let z = t + 66. Is z a composite number?
True
Let c(s) = -34*s - 4. Is c(-5) prime?
False
Let v = -143 - -334. Is v composite?
False
Let f = 561 + -385. Suppose 295 + f = 3*t. Is t a prime number?
True
Suppose t = 5*p - 6634, 4*p - 7*p + 3980 = -t. Is p a prime number?
True
Suppose 0 = 3*o - 244 - 191. Is o composite?
True
Suppose 5*b + m = -8, -4*b - 3*m - 13 = -0*b. Let x(h) = -2*h**3 + 1. Let u be x(b). Suppose -3*v = 4*s - 29, -2*s = -u*v + 33 + 20. Is v a composite number?
True
Let r(h) = h - 2. Let o be r(10). Suppose -4*n = -o*n + 836. Is n a prime number?
False
Suppose n + y = 153, 0 = -3*n - y + 313 + 142. Suppose -421 = -4*m + n. Is m a composite number?
True
Let c be ((-42)/(-56))/(1/(-96)). Let l = 181 + c. Is l a prime number?
True
Let j(x) = -437*x. Let w(l) = 525274*l. Let r(b) = 4807*j(b) + 4*w(b). Is r(1) a prime number?
False
Let t = -2150 - -4099. Is t a prime number?
True
Suppose -6*m = 1156 - 5242. Is m a prime number?
False
Let d = -3 + 3. Suppose d*h = 3*h - 39. Is h prime?
True
Let o = -1 + 6. Suppose 0 = -o*z, 0*x + x - z = 3. Suppose -79 + 10 = -x*u. Is u a prime number?
True
Let k = 242 + -425. Let h = k - -302. Is h prime?
False
Let s(v) = 2*v**2 - 4*v + 1. Let n be s(4). Suppose 3*r - n = -242. Let d = r + 142. Is d a prime number?
True
Suppose 2*a = 4*a - 38. Suppose -5*h + 26 = -a. Is h prime?
False
Suppose 20*m - 475 = 15*m. Let c = -1 + 1. Let d = m + c. Is d prime?
False
Suppose 0 = 9*n - n - 9208. Is n prime?
True
Let f = 2236 - 1243. Is f prime?
False
Suppose 38 = -2*g + 2*x + 338, -4*g = -x - 585. Is g a prime number?
False
Let p = -196 + 293. Is p a prime number?
True
Let d(l) = -l - 4. Let j be (-28)/16*(0 + 4). Let g be d(j). Let r(y) = y**3 + 3*y + 1. Is r(g) prime?
True
Let k = 1 - -3. Suppose -a = 5, a - k*a + 260 = 5*p. Is p composite?
True
Suppose 7*j - 2*j - 2750 = -4*k, -1652 = -3*j - 2*k. Is j a prime number?
False
Suppose -4*k + 127 = -2101. Is k prime?
True
Let v(x) = x - 5. Let h be v(5). Let q = 7 - 1. Let y = q + h. Is y a composite number?
True
Suppose 2*x - 12 = -x. Suppose x*y = 68 + 384. Is y composite?
False
Let x = -43 - -44. Let c(b) = 7*b**2 + 37*b**2 + 21*b**2. Is c(x) a composite number?
True
Suppose 0 = f + 1, 2*f - 5*f - 131 = -a. Let h = 393 - a. Is h a prime number?
False
Let z be ((-1212)/(-8))/((-9)/(-24)). Let t = z + -1