se -8*v - 276 = -1828. Is v composite?
True
Let j be ((-2)/7)/((-8)/56). Suppose 98 = j*y - 4*w, 96 = -3*y - 3*w + 261. Is y composite?
False
Let r(h) = -35*h + 8. Is r(-9) composite?
True
Suppose 0 = -4*s + t - 477 + 1146, 0 = 5*s + 4*t - 810. Is s prime?
False
Let i = -3 + 6. Suppose 3*a + x - 15 = 0, 4*a - 13 - 15 = -4*x. Suppose v + 50 = 3*c, -i*c = -0*c + a*v - 25. Is c prime?
False
Suppose -5*i - n + 791 = 0, -4*i - 386 = -3*n - 1015. Let d = i + -81. Is d prime?
False
Let p = -1 - -35. Is p a prime number?
False
Suppose 0 = 2*q - 21 + 5. Suppose 0 = 6*g - 2*g - q. Suppose 2*c + g*c = 84. Is c prime?
False
Let f = -136 + 285. Let p = f - 56. Is p a prime number?
False
Suppose 4*z - 212 - 56 = 0. Is z a prime number?
True
Let q(p) = p - 5. Let c be q(10). Suppose 2 = i + 4*l - 0, -c*i = -2*l - 10. Is 34 - 0 - (i + -3) prime?
False
Let q(y) = 71*y - 2. Suppose 4*u + 2 = 4*b - 2, -4*u - 3*b + 24 = 0. Is q(u) a prime number?
True
Let z(r) = 2*r**2 - 2*r - 1. Let o = -6 - -4. Let g(a) = 2*a**3 + 3*a**2. Let c be g(o). Is z(c) a composite number?
True
Suppose -57 = -5*v + 253. Is v a prime number?
False
Suppose -4*d + 1230 = -2*q, -3*d - 3*q = -2*d - 290. Is d a prime number?
False
Let s(t) = -2*t - 2. Let i be s(-5). Suppose 0 = -q - 3*q + i. Suppose -q*n + 264 = -142. Is n a composite number?
True
Suppose 0*x + 2*x = 0. Suppose -n - 14 = -x*n. Let y = 25 + n. Is y a composite number?
False
Suppose 2*p - 137 - 177 = 0. Is p composite?
False
Let a(n) = 15*n**2 - 4*n - 26. Is a(5) a composite number?
True
Let y be (4/(-8))/(2/4). Let o(f) = 189*f**2 + f. Let s be o(y). Suppose -4*q = -h + s - 524, -12 = 3*h. Is q a composite number?
False
Is 1149/21 - (-2)/7 composite?
True
Let j(v) = 49*v - 2. Let p be j(5). Suppose -5*h + 535 = -2*m, 5*m - p = -2*h - 0*h. Is h a composite number?
False
Let t = -1 + -1. Let d be (29 - 0)*(-4 - t). Let h = d - -89. Is h composite?
False
Suppose -q = w + 10, -4*w - 28 = 2*q - 0*w. Is 1/2 - 579/q a prime number?
True
Let i = 17 + 343. Suppose -3*u = -3*c - i, 5*u - c = -3*c + 593. Is u a composite number?
True
Suppose -4*w - f = -196, -w + 2*w + 4*f - 34 = 0. Suppose j = -2*j - 2*h + w, 0 = -2*j - h + 32. Is j a prime number?
False
Suppose 2*i - 5 = p, 0 = 2*p - 0*p + 2*i - 14. Let w = -28 - -42. Suppose p*u - 16 = w. Is u composite?
True
Suppose -6*g = -g + 4*n - 391, 0 = -3*g + n + 221. Let h = g - -22. Is h prime?
True
Let h(s) = -10*s**2. Let k be h(1). Is (k/(-15))/(2/651) a composite number?
True
Suppose -8*l = -3*l. Suppose -4*z + 52 = -4*x, l*z + 2*x = -4*z + 28. Is z a composite number?
True
Let x = -2 + 2. Let m = x - -2. Suppose 7*y - m*y = 385. Is y composite?
True
Let l = 3 + -1. Suppose -l*j = j. Suppose 3*u - 5*u + 14 = j. Is u prime?
True
Let z(h) = h**3 - 3*h**2. Let a be z(6). Let k = 159 - a. Is k a prime number?
False
Let z(u) be the first derivative of -29*u**4/24 + u**3/3 + u**2/2 - 1. Let j(c) be the second derivative of z(c). Is j(-3) composite?
False
Let r(t) = 4*t**2 - 3*t - 4. Let u be r(4). Suppose 5*g = 2*m - 55, -u = -2*m - g - g. Is m composite?
True
Suppose 3*b = 4*b - 38. Let t = b + 60. Let c = t - -47. Is c composite?
True
Suppose -1 + 11 = 2*a. Let i(s) = 4*s - a*s - 1 - 7*s. Is i(-3) composite?
False
Suppose -27 = 2*p + 19. Let w be 6/(-4)*16/12. Is (w/(-2))/((-1)/p) composite?
False
Let s = 17 - 14. Suppose -425 = -s*x + 22. Is x a composite number?
False
Let i(v) be the third derivative of 83*v**4/24 + 2*v**2. Is i(1) prime?
True
Let n be 1/(5/(-4) - -1). Let d(c) be the second derivative of c**4/12 + c**3/3 - c**2 - 3*c. Is d(n) a composite number?
True
Suppose 31 + 54 = a. Is (2*a)/(0 + 2) a composite number?
True
Suppose 4*m + 1168 - 6652 = 0. Is m composite?
True
Is -1 + 924 + (-8 - -4) prime?
True
Suppose -3*a + 13 = -2*a. Is a a prime number?
True
Suppose 2*x = -5*j + 496 - 2128, 4*j = 5*x - 1299. Let i = j + 504. Is i a composite number?
True
Let o(u) = 79*u**3 - 2*u**2 - 1. Is o(2) a composite number?
True
Let m(z) = 11*z**2 + 2*z - 5. Let q be m(-6). Let b = -224 + q. Is b a prime number?
False
Suppose 3*d - 2*s + 0 = 2, 21 = 4*d + s. Suppose 0 = -5*r + 3*z - 4*z + 435, -5*z = d*r - 348. Is r a composite number?
True
Let c(i) = -3*i**2 + 14*i - 6*i + 7*i**2 - 3*i**2 - 6. Let n be c(-10). Is (-66)/4*n/(-21) prime?
True
Let t be 2/(-5) + 692/(-20). Is t/(2 - (-1 - -4)) a composite number?
True
Suppose 3*s - 3*r - 12 = 0, -1 = -s - 5*r - 3. Let z(v) = v**3 - 3*v**2 + 3. Let w be z(s). Suppose -u + 268 = w*u. Is u prime?
True
Is (-27084)/(-108) + (-4)/(-18) composite?
False
Let d(a) = -20*a + 3. Is d(-5) a prime number?
True
Suppose -h = -o + 4*h - 5, -15 = -3*o + 5*h. Let c be o/3*(-12)/(-8). Suppose -p = -c*p - 4*k + 144, 2*k - 171 = -5*p. Is p prime?
False
Suppose -2*l + 169 + 213 = 0. Is l a composite number?
False
Let v = 0 - -5. Suppose y - 3 = -v*r + 99, 4*y = -r + 9. Suppose 0 = m - r - 14. Is m prime?
False
Suppose 5*m = -3*l + 13, 0*l + 2*l = -3*m + 8. Let s be -3*l + (-25)/(-5). Is (s + (-1 - 0))*263 a composite number?
False
Let i = -9 + 4. Let s = i - -5. Suppose -r + 3 = 0, -2*m + s*r = -r - 59. Is m composite?
False
Let f(l) = -4*l - 5. Let z be (-8 - 0)*(-9)/(-12). Is f(z) prime?
True
Let h be (-1 - -2) + 0 - -1. Suppose h*l - 16 - 94 = 0. Is l a composite number?
True
Suppose 3*q + 3*v + 3 + 3 = 0, -3*q + 5*v = 22. Let n = q - -10. Suppose -5*h + h + 4*i + 40 = 0, h = -3*i - n. Is h a prime number?
False
Let s = 2075 + 338. Is s prime?
False
Let z be (2 - (-2 - -3)) + 3. Suppose 3*w = -f + 53, -z*f = -w + 4*w - 41. Is w a composite number?
False
Suppose -11687 = -6*n - 101. Is n prime?
True
Is (-121820)/(-50) - (-6)/10 a prime number?
True
Let q = -3 - -6. Suppose -n - 2*h = h + 12, -4*n - q*h - 3 = 0. Is 0/1 - (n - 54) composite?
True
Suppose 2*t = -5*x + 57, -3*t = -3*x + 60 - 156. Is t composite?
False
Let z(h) = h**3 - 6*h**2 - h + 6. Let x be z(6). Is (3/(-3) - x) + 22 composite?
True
Let w be (1/3)/(1/12). Let d(c) = 3*c**3 - 5*c**2 + 5*c - 5. Is d(w) prime?
True
Is (7948/(-12))/(1/(-3)) a prime number?
True
Let v(m) = m**3 - m**2 - 3*m - 4. Suppose -5 = -2*d + 1. Let l be v(d). Suppose -40 = -l*y + 5. Is y prime?
False
Let i(x) = 12*x - 3. Let t(j) = j**3 - j**2 - j - 1. Let y(k) = -5*k**3 + 14*k**2 + 5*k. Let o(g) = 4*t(g) + y(g). Let p be o(10). Is i(p) a composite number?
True
Let d be 39/2 + (-6)/12. Suppose -4*a - 1 + d = 2*g, 3*g = -4*a + 19. Let z = 7 - a. Is z a prime number?
True
Is -5*(-4 + (-68)/20) a composite number?
False
Suppose 0 = s + i + 30, -5*i - 119 = 3*s + s. Let t(y) = -2*y**3 - 3*y**2 + 2*y - 4. Let n be t(-4). Let f = n + s. Is f prime?
True
Suppose -4*v = -5*v + 211. Is v a composite number?
False
Is 6/15 + 1073/5 a composite number?
True
Let t(r) = 194*r + 9. Is t(3) prime?
False
Suppose 0 = 5*t - 3*f - 2*f + 20, 0 = 2*t + f - 1. Let l = t - -1. Suppose -g - 4*g + 35 = l. Is g a composite number?
False
Suppose -5*f = -4*c + 467, 4*c + 3*f - 362 - 113 = 0. Is c a composite number?
True
Suppose 2*r - 3 = r. Suppose -9 - 10 = -5*c + 3*f, 3*c - 4*f = 7. Suppose -3 - 38 = -4*y - c*a, -79 = -5*y + r*a. Is y a prime number?
False
Suppose 14 = -5*r + 34. Suppose z - 74 = -r*o + 5*o, 2*z - 145 = 3*o. Is z a prime number?
False
Suppose 4*j - 434 = 90. Suppose -2*b + b + j = 0. Is b a prime number?
True
Let f = -22 + 12. Let x = f - -24. Is x a composite number?
True
Suppose -5*w - q + 24444 = 0, -q = -1 + 2. Is w a prime number?
True
Suppose 0 = 2*k - 2*h - 1852, -221 = k + 5*h - 1153. Suppose -k - 11 = -2*x. Is x a composite number?
True
Suppose 176 = k + 18. Let x = 13 + -9. Is (-2)/x + k/4 a composite number?
True
Suppose 0 = -3*w - 2*w. Suppose -3*s = -y - 4*s + 125, w = 5*y + 4*s - 624. Suppose -o = 3*o - y. Is o composite?
False
Let l(y) = y**3 + 5*y**2 + 3*y + 5. Let w be l(-4). Is 3575/15 - (-6)/w a composite number?
False
Suppose 2*c - 132 = -m, -4*c + 2*c + 128 = 3*m. Is c composite?
False
Suppose -g + 3*j = -5033, -g - 2279 + 7310 = -4*j. Is g a prime number?
True
Let i be -2 + -1 + 2 - 65. Let k = i - -161. Suppose -k = -0*t - 5*t. Is t a prime number?
True
Is (-1893)/(-9) + (-2)/(-3) prime?
True
Suppose 0 = -p + 4*p - 1743. Is p a composite number?
True
Let a(z) = 4*z - 10. Let v be a(7). Is 3/v*-2*-363 a compos