a prime number?
False
Suppose -w + 0 = 5*s + 129, 0 = 4*w - 2*s + 450. Let v = 119 - w. Is v prime?
True
Let t = 2 + 1. Suppose -4*o = -3*o + t*x - 14, -4*o = 4*x - 24. Suppose -2*l - 227 = -5*y, -149 = -3*y - 4*l + o*l. Is y prime?
True
Let g(s) = s + 6. Let k be -2 + 0 - (1 - 10). Is g(k) composite?
False
Let i = 2 + -1. Let y = 1 - i. Suppose -5*k + y*k = -575. Is k a prime number?
False
Let o be (-9)/2*4/(-6). Suppose -2*p - 2*p - 5 = -5*m, 4*m - 45 = -5*p. Suppose -m*a - o = -2*z + 183, 16 = -4*a. Is z prime?
True
Suppose 0 = -3*a + 2*f + 272, -a + 3*f = 2*a - 267. Suppose a = 5*g - 61. Is g composite?
False
Let w be 8/36 + 112/(-18). Is (w/(-9))/(4/210) a composite number?
True
Let o be 3/(-1) - 835/(-5). Let z = 291 - o. Is z a composite number?
False
Is ((-9424)/(-24))/((-4)/(-6)) a prime number?
False
Let j = -506 - -1063. Is j composite?
False
Let w = 699 + -140. Is w prime?
False
Suppose -40 = -3*k + 53. Is k composite?
False
Let y be (-17)/4 + (-9)/12. Is ((-228)/30)/(1/y) prime?
False
Is (-22 - -19) + 2374/1 a prime number?
True
Suppose 4*g - 3*g = 708. Suppose g = i + 3*i. Is i composite?
True
Suppose 7*v - 867 = 4*v. Is v a composite number?
True
Let x = 4 - 2. Suppose 4*r - 4*y = -4704, x*r + y + y = -2364. Is r/(-36) + 1/4 prime?
False
Suppose 4*x - 2*x = 3*a + 2, 0 = -4*a + 4*x. Is 4/a*(5 + -10) composite?
True
Suppose 0*n - 3*n - 3*g + 3648 = 0, -3*g = 2*n - 2429. Is n prime?
False
Suppose l - 14 = 3*y, l + 4*l = 2*y + 57. Is l composite?
False
Suppose 0*r + r - 4*h = 1653, 0 = -5*r + 5*h + 8205. Is r composite?
False
Suppose -4*o - 1 = 7. Let p(y) = 96*y**3 + 3*y**2 + 3*y. Let f be p(-2). Is (o/4)/(3/f) composite?
False
Let h = -75 + 262. Is h a composite number?
True
Let p(g) = 11*g**2 + 2*g + 3. Let t be p(-5). Suppose 4*h = 3*q + 11 - 47, -24 = -2*q - h. Is (t/q)/(1/3) a composite number?
False
Suppose 12*k - 4*k - 664 = 0. Is k a composite number?
False
Suppose 3*i = -4*g + 5417, 0 = 2*i + 2*g + 454 - 4062. Is i a prime number?
False
Let l(v) = -v**3 + 20*v**2 - 4*v - 16. Is l(9) composite?
False
Let y(t) = t + 1. Let b be y(1). Suppose -r + 207 = b*r. Is r prime?
False
Suppose 5*d + 27 = 4*l - 0*d, -l + 6 = -d. Let j be (-2)/5 - (-22)/5. Suppose -l*k = 4*n - 13 - 198, 2*n = -j*k + 278. Is k prime?
False
Let h be (-12 - -1) + 5 + -3. Let d = h - -47. Is d composite?
True
Suppose -c + 91 = -39. Let h(d) = 2*d. Let y be h(3). Suppose y*n = 4*n + c. Is n a composite number?
True
Let i = 620 - 442. Is i a prime number?
False
Let s be (-24)/32*(1 + -5). Suppose 4*p + 5*v - 238 = 93, v = s. Is p prime?
True
Suppose 3*o + 5276 = 6*o - h, -2*o = h - 3509. Is o a composite number?
True
Let r(s) = 4*s**2 + s. Let f be r(1). Suppose -3*a = 5*l + 12 + 3, 5*l + 25 = -f*a. Is l + (-5 - -2) - -36 prime?
False
Let p = 0 - -2. Suppose -3*s = 4*t - 489, -652 = s - 5*s + p*t. Is s prime?
True
Suppose 2*j - 7*j = 0. Suppose 2*r - h - 26 = j, 0 = -3*r - h + 62 - 18. Is r prime?
False
Suppose 1 = -2*o - 5*w + 87, 4*o - 172 = -2*w. Is o a prime number?
True
Let v(r) = 21*r**2. Let d(g) be the first derivative of 10*g**3/3 + 1. Let a(m) = 14*d(m) - 6*v(m). Is a(1) a composite number?
True
Let f(c) = c**2 - 2*c - 8. Is f(11) a prime number?
False
Let n = -126 - -381. Let y = 360 - n. Suppose -j + y = 4*j. Is j a prime number?
False
Suppose 2*x + 1201 = 4*a + 3*x, -10 = -2*x. Is a a composite number?
True
Is 33/(-55) - 9076/(-10) composite?
False
Let w(z) = 7*z**2 - 33*z - 5. Is w(10) composite?
True
Let f be 8/10*15/6. Suppose 0 = 4*z - f*j - 224, 3*j = 5*z - 19 - 262. Is z a prime number?
False
Let a = -1618 - -4379. Is a a prime number?
False
Let h(s) = 8*s - 9*s - s**2 + 5*s + 9*s - 10. Let r be h(12). Suppose -4*u + r*u = -212. Is u a prime number?
False
Suppose -2*c - 18 + 614 = 0. Is c composite?
True
Let j(t) = -t**3 + 3*t**2 - 1. Let l(f) = -f**2 - 9*f + 7. Suppose -2*m + 55 = -4*d + m, -3*m - 15 = 3*d. Let k be l(d). Is j(k) a composite number?
False
Let v(f) = 419*f - 7. Is v(2) a prime number?
False
Suppose 2*k + 3*y + 157 = 0, 77 = -k + 4*y - 29. Suppose 3*b - 5*b - 2*z - 74 = 0, 3*z + 78 = -2*b. Let m = b - k. Is m a prime number?
True
Let g(o) = o**2 - 2*o - 2. Let i be g(3). Let w be (8/(-4))/(i + 1). Let v(y) = -106*y**3 - y**2 - 2*y - 1. Is v(w) composite?
True
Suppose 4*w - 260 = -0*w. Is w a prime number?
False
Let u(m) = -m + 39. Is u(8) a prime number?
True
Suppose 4*v = -v + 115. Is (v/4)/(3/84) composite?
True
Is ((-1492)/(-16))/((-3)/(-12)) composite?
False
Suppose 0 = 5*r - 0*r - 195. Is r prime?
False
Suppose 4*j + 108 = -4*q, -2*j + 12 = -q - 0. Let r = 31 - q. Is r a prime number?
True
Let v(t) = t - 10. Let c be v(7). Is c/(-2)*46/3 a prime number?
True
Let l be -1 + (-12)/(-16) + 4196/16. Suppose 338 = -w - w + 3*t, 0 = 4*w - t + 696. Let x = l + w. Is x prime?
False
Suppose -4*w + 10 = -2. Suppose 176 = 4*s + w*b, 2*b + 113 = -5*s + 340. Is s composite?
False
Let p be 1 - (2376/3)/(-3). Suppose 2*a - 7*a = -p. Is a prime?
True
Let x(m) = -28*m - 5. Let r(h) = -7*h. Let g be r(1). Let c(b) = 14*b + 3. Let v(z) = g*c(z) - 4*x(z). Is v(6) composite?
False
Suppose 9527 = 13*p - 6*p. Is p prime?
True
Let w(h) be the third derivative of h**5 + h**4/12 - h**3/6 + 4*h**2. Let n be w(1). Suppose -2*b = -o + 11, -3*o + 2*b + n - 8 = 0. Is o a composite number?
True
Let q(w) = 6*w - 2*w - 1 - 2*w + 3*w. Let h be q(3). Suppose h = -4*n + 114. Is n a prime number?
False
Let d(k) be the third derivative of k**5/30 + k**4/3 - k**3/2 + 3*k**2. Is d(5) composite?
True
Let r(f) = f**3 + 2*f**2 - 2*f + 4. Let k be r(-3). Is (-1 + 54)*(k - 0) prime?
True
Suppose -4*q + 109 = -5*l - 80, 4*l = -4. Is q a composite number?
True
Let k(g) = g**2 + 23*g + 3. Let y be k(-10). Let l = y + 272. Is l prime?
False
Let j = 427 + 972. Is j composite?
False
Suppose -v + 0*w + 3*w + 11 = 0, -4*w = 8. Suppose 3*f + v*b = 145, -b = f - 32 - 19. Is f a composite number?
True
Let p = 56 - 58. Let x be -1 - 0 - 2*10. Is p - (2 + -1)*x a prime number?
True
Let v(p) = -p - 4. Let a be v(-8). Let u = a - 4. Suppose 2*j - 5*j - 3*r + 234 = u, 5*j + 2*r = 393. Is j composite?
False
Let l = 1 + 2. Suppose -776 + 167 = -l*f. Is f a composite number?
True
Let k(q) = -q**2 - 8*q - 2. Let o be k(-6). Is (-454)/(-8) + o/40 a prime number?
False
Let c(v) = 61*v - 10. Is c(8) composite?
True
Suppose -i + 7 = 5*x - 97, -2*i = 4*x - 226. Is i prime?
False
Suppose -2*f + 5*h = -360, 0 = 3*f + h - 0*h - 557. Is f a prime number?
False
Let j(r) = -r + 10. Let c be j(8). Suppose c*i - 131 = i. Is i prime?
True
Let q be (2/1)/(3/3306). Suppose 929 = c + q. Is (-6)/27 + c/(-27) a prime number?
True
Let i = 7 - 4. Suppose u = 4*v + v - 96, -3*u = i. Is v prime?
True
Suppose 0 = -2*r - 2*r + 24. Let u be (-5665)/15 - 2/r. Let x = u + 539. Is x composite?
True
Let v(m) = -6 + m**2 - m + 0*m + 1. Let h = 6 + -13. Is v(h) a prime number?
False
Let v(j) = 13*j - 12. Is v(13) a composite number?
False
Let l be 0/((-2 - -2) + -2). Let a(f) = -f**2 - 4*f + 24. Let t(z) = z**2 + 3*z - 23. Let c(q) = -2*a(q) - 3*t(q). Is c(l) prime?
False
Suppose 849 = 3*s - 1386. Is s a prime number?
False
Suppose -2*j + 206 = 40. Is j prime?
True
Suppose -2 = 3*s - 8. Suppose s*q - 63 = -15. Suppose 0 = -0*p + 3*p + 15, 0 = -4*y - 4*p + q. Is y composite?
False
Let j(k) = 167*k - 4. Is j(3) a prime number?
False
Suppose -8*b = -0*b - 32. Suppose -i = 3*s - 220, i - b*i + 672 = -3*s. Is i composite?
False
Let k = 5 + -3. Suppose -112 = -k*b + 168. Suppose 0 = -4*o - 0*o + b. Is o composite?
True
Let u(w) = -3*w - 4. Let r be u(-5). Is 2231/r - (-12)/66 a composite number?
True
Let x(c) = c + 3. Let i be x(-3). Suppose -5*o = i, -l + o + 514 = l. Is l a prime number?
True
Suppose 0 = 4*x - 3*d + 6, 0*d = -2*x + 3*d. Let t be (x - -2)*(-2 + -2). Suppose z - t*z + 573 = 0. Is z composite?
False
Suppose s + 3*s = -36. Let o be 0/(s/3 + 2). Suppose o = -2*t - 2 + 28. Is t a prime number?
True
Let u(j) = -j**3 + 4*j**2 - 2. Let i be u(4). Is (-3)/(-1) + (-740)/i composite?
False
Let p be 4/(-10)*(-11 + 6). Let s = 9 - 1. Suppose s = -p*r - 4*j, 0 = -r + 3*j - 0*j + 21. Is r a composite number?
True
Suppose y - 6*y = 45. Is (-1750)/(-18) + 2/y composite?
False
Let v = -3 - -4. Let g be 1*v/3*87. Let x 