 Is a(t) composite?
False
Suppose -4628 - 1246 = -6*d. Is d prime?
False
Suppose 12*y = 9*y + 33. Is y composite?
False
Let q(g) = -g. Let t be q(0). Suppose 2*x - 3*n = -x + 87, n = t. Let o = 4 + x. Is o prime?
False
Suppose -8*y + 5438 = -3498. Is y composite?
False
Let g = 1537 - 906. Is g prime?
True
Suppose r + 15 - 91 = 0. Let j(x) = x**2 + 3*x + 2. Let b be j(-2). Suppose -4*v + r = -b*v. Is v a composite number?
False
Let a(p) = p**3 - 2*p - 1. Let n be a(2). Let b be (n/(-2))/(3/4). Is (-179)/(-2) + 1/b a composite number?
False
Suppose 0 = g - 2 - 6. Let u(b) = -b**2 + 9*b - 3. Let i be u(g). Suppose 2*y + 130 = 4*p, 0 + 10 = p - i*y. Is p a composite number?
True
Suppose -5*b - 4*r = -580, -3*b + 270 = 5*r - 65. Suppose -2*c - b = -6*c. Suppose 0 = 4*w - 2*w - c. Is w composite?
True
Is (-10)/4*33706/(-95) a composite number?
False
Let f = 2 - 0. Suppose 2*u - 5*y + f*y = 58, -u - y + 19 = 0. Is u composite?
False
Suppose -361 = -x - 3*w + 2*w, -2*x + w = -716. Is x prime?
True
Let h(j) = 3*j**3 + j**2 - 2. Let g be h(-2). Let x = g + 53. Is x a composite number?
False
Suppose a = n + 4, 0*n - n = 4*a + 4. Is ((-62)/n)/(1/2) composite?
False
Let r(n) = 13*n**2 - 2*n + 1. Let a(j) = -j**2 - 3*j + 1. Let z be a(-3). Let c be r(z). Suppose -2*d = -2*p - 24, 4 = -d + 5*p + c. Is d a composite number?
False
Suppose 5*r = -0*r - 2*c - 26, 5*c + 31 = -4*r. Is 6 + r + (1 - 0) composite?
False
Let p(d) be the second derivative of -4*d**3/3 - 5*d**2 + d. Let o be p(-7). Let h = 72 - o. Is h a prime number?
False
Is 0 - (-3 + 3 - 71) a composite number?
False
Let g(k) = k**3 - 4*k**2 - 7*k + 5. Let n be g(5). Let h(v) = -v**2 - 8*v + 6. Let o be h(-8). Is ((-4)/n)/(o/15) a composite number?
False
Let z(b) = -6*b - 3. Let o(i) = 6*i + 4. Let n be -2 - (-7 + 0 + 1). Let l(w) = n*o(w) + 3*z(w). Is l(5) a prime number?
True
Suppose 0 = -2*m + 3*v + 4 - 0, 0 = m - v - 3. Let h(g) = 10*g + 3. Is h(m) a prime number?
True
Suppose -3*r - h = 1, -r + 0*r = -3*h + 7. Let s(v) = -41*v - 234*v - 1 - 145*v. Is s(r) a prime number?
True
Suppose 122 + 536 = 2*l. Is l prime?
False
Let o(q) = -3867*q - 1. Let z be o(-1). Let j be z/(-18) - 4/18. Let i = -138 - j. Is i a prime number?
False
Let w be 0*-1*(-3 - -2). Suppose 4*r - 4*a - 692 = 0, 2*a - 176 = -r - w*a. Suppose 0 = 4*l - 0*l + 3*g - 141, -3*g = 5*l - r. Is l composite?
True
Let k(p) = p**2 - 7*p - 8. Let b be k(8). Suppose -z - 99 + 262 = b. Is z a composite number?
False
Suppose -1 + 4 = 3*b. Suppose 4*y - k + 36 = -16, 4*k = -y - 13. Let h = b - y. Is h a composite number?
True
Let z = -12 + 18. Let m(p) = p**3 - 4*p - 5. Is m(z) composite?
True
Suppose -4*v = -6 - 6. Suppose -180 = -v*u - 6. Is u prime?
False
Let o(l) = 27*l - 5. Let i be 4/10*(3 - -22). Is o(i) a composite number?
True
Suppose -28*b + 2955 = -23*b. Is b composite?
True
Let w = -433 - -726. Suppose 5*i + w = 3*h + i, i - 4 = 0. Suppose c - h = -20. Is c prime?
True
Let u be (-1*6)/(8/(-4)). Let i(q) = 2*q - 3. Let x be i(u). Suppose 3*v = -3*l + 348, 463 = -2*l + 6*l + x*v. Is l a prime number?
False
Let s be 0 + 0 - 2550/(-6). Suppose 0 = -3*z - s - 325. Let j = z + 369. Is j a prime number?
False
Suppose 2073 + 2509 = 4*r - j, -3*j + 4574 = 4*r. Is r a prime number?
False
Suppose z = -3*z - 8. Is z/((-3)/57*2) composite?
False
Let c be 1/(4/(-3))*36. Let u = c + 186. Is u prime?
False
Let i = -3478 + 5811. Is i prime?
True
Is (5 - -1069 - 2) + 2 + -1 a composite number?
True
Suppose 0 = 5*q - 4*q - 2. Is 372 + -1*(3 - q) a prime number?
False
Let j(i) = i**3 + 7*i**2 + 5*i - 5. Let x be j(-6). Let c be (x - -1)*3/3. Is (-1)/c*-5*14 prime?
False
Let a(f) = -f**3 + 8*f**2 + 2*f - 9. Let b be a(8). Suppose 5*g + 194 = j, -2*j - 1012 = -b*j + 4*g. Is (-2)/(-6) + j/9 composite?
False
Let i be 1 - 2/6*3. Suppose 0 = p - i + 11. Let z = p - -22. Is z a composite number?
False
Suppose o = -4*i + 743, i - 5*o = 2*i - 200. Is i a prime number?
False
Suppose s = -33 + 36. Suppose -2*f + 182 = -0*u - 4*u, 5*f - 448 = s*u. Is f prime?
True
Let x = -14 + 15. Suppose 0 = h + 5, m - 16 - x = -4*h. Is m a prime number?
True
Suppose 23 = -q - 52. Let j = q + 106. Is j a composite number?
False
Suppose 0 = 5*x - 2*x - 12. Suppose -x*j - 669 = -3*n, 4*n - j - 395 = 497. Is n a prime number?
True
Is (-3186)/(-22) + (-8)/(-44) a composite number?
True
Suppose 4 + 28 = 4*v. Suppose -v = a + 31. Let u = 94 + a. Is u composite?
True
Suppose 0 = 3*w + l - 0*l + 2, 2*w + 2*l + 8 = 0. Is 1599/18 - w/(-6) a composite number?
False
Suppose 4*r - o - 4 = 0, -3*r + o + 2 = -0*o. Let v(l) be the third derivative of 29*l**5/60 - l**4/8 + l**3/2 + 3*l**2. Is v(r) prime?
True
Suppose -6*g + 1184 = -g - h, -248 = -g + 3*h. Suppose 4*f - g = 24. Let o = f + -8. Is o composite?
True
Let n(v) = -2*v**3 - 7*v**2 - 3*v + 7. Let h be n(-5). Suppose h = 2*b - 165. Is b a composite number?
False
Suppose 3*h = 6*h - 123. Let l = h - -10. Is l prime?
False
Let k(q) = 4*q**3 + 3*q**2 + 5. Let x(h) = 5*h**3 + 3*h**2 - h + 6. Let f(c) = 6*k(c) - 5*x(c). Let b be f(4). Suppose -g = -b*g + 231. Is g prime?
False
Let d(f) = 2*f**2 - 4*f + 3. Let c be d(8). Suppose 0 = 2*l - 5*l - c. Let b = 4 - l. Is b prime?
True
Let u(d) = -7*d + d**2 + 11*d - 8*d. Let t be u(3). Is 3 + (t - -127)/1 a composite number?
False
Let h(m) = m**2 - 3*m + 13. Is h(-14) composite?
False
Suppose 3*r = 2746 - 511. Is r prime?
False
Suppose 0 = 5*w + c - 461, w - 73 = -0*w - 5*c. Is w composite?
True
Let w be 3/(6/(-4)) - 5. Let g(z) = z**2 - 2. Is g(w) a prime number?
True
Suppose 0 = -2*b - l - 4*l + 2097, -l - 5 = 0. Is b a prime number?
True
Let k = 393 + -250. Is k a composite number?
True
Let r be (6/4)/(6/2864). Is (1/2)/(2/r) prime?
True
Suppose -g + 536 = -3*v, 2*g = -v + 623 + 414. Is g prime?
True
Suppose -w = 2*f - 7886, -3*f + 3929 = -2*f - 3*w. Is f prime?
False
Suppose -4*r = -7*r + 339. Suppose 0*v - 48 = 2*v. Let f = r + v. Is f prime?
True
Suppose 239 = 4*x - 5*s, 4*x - x + 2*s = 208. Let d = x - 27. Is d a composite number?
True
Let l be (-3)/2*(2 - 0). Let v(f) = -f**3 - 4*f**2 - 5*f - 2. Let m be v(l). Suppose -m*c + 45 = 1. Is c prime?
True
Suppose 0*b = -3*b + 60. Suppose b = 4*r, -3*r + 91 + 169 = 5*a. Is a prime?
False
Let d(y) = y**3 - 4*y**2 + 5. Let w be d(4). Let v(n) = -n**3 + 5*n**2 - 4*n + 3. Let p be v(4). Suppose -641 = -w*l + p*u, -4*u + 2*u - 4 = 0. Is l prime?
True
Suppose 0 = 2*x - 63 - 3. Let h = x - 26. Is h a composite number?
False
Suppose 2*n - 655 = -3*n. Let o = n - 60. Is o prime?
True
Suppose -p - 5*h - 3 = 0, 0*h + 2*h + 4 = 0. Let r = p - 5. Suppose r*n + 3*b = 391, -5*n + b = -n - 817. Is n a composite number?
True
Suppose -5*b - 23 = -2*v, 11*b = 4*v + 6*b - 31. Suppose -d - 4*d + 111 = -v*q, 3*d = -5*q + 37. Is d a composite number?
False
Let l be (498 - 0) + (-1 - -1). Let j(s) = 20*s - 10. Let g be j(10). Suppose -g = 4*k - l. Is k a composite number?
True
Let w(c) = -178*c. Let x be w(-1). Let i = 21 - -16. Suppose -x = -3*z - i. Is z a composite number?
False
Let d = -11 + 15. Suppose -o - d*o = 70. Let h = o + 25. Is h a composite number?
False
Let r = 89 - -56. Suppose 3*d = 4*v - 269, -3*v + 2*d + 56 = -r. Is v a prime number?
False
Suppose 2*m = 172 + 250. Is m prime?
True
Let w be 4/6 + 1554/(-9). Let t = 317 + w. Is t a composite number?
True
Let u(i) be the first derivative of -i**4/4 + 8*i**3/3 + i**2 - 1. Is u(5) a prime number?
False
Suppose 0 = x + 3*i - 125 - 13, 256 = 2*x + 2*i. Is x prime?
False
Let i = -179 + 276. Is i prime?
True
Let u = 1 - -2. Suppose -511 = -u*m + 500. Suppose 2*n + f - 133 = 0, -4*n + m = n - 2*f. Is n a composite number?
False
Let i(t) = -t**2 + 10*t - 16. Let l be i(7). Suppose 10 = 2*r, r - 649 = -3*b + l*r. Is b composite?
False
Let i(h) = 2*h + 3. Let z be i(4). Suppose 16*a - 275 = z*a. Is a a composite number?
True
Let n(d) = 32*d**2 + 3*d. Let i be n(3). Let k be (-12 - -14)*(1 - 0). Suppose -k*g - 864 = -3*y - i, -767 = -4*y - g. Is y a prime number?
True
Let p(v) = 3*v**2 + 99 - 2*v**2 - v - 104. Let s = -11 - -7. Is p(s) prime?
False
Suppose -2 - 2 = -2*g. Let w = g + -8. Is (-3)/w - (-153)/2 prime?
False
Is (9 - -247) + (-2 - 0 - 1) a prime number?
False
Suppose 2*s + 5*l = 3637 - 625, -5*s + 755