73 + r. Is f prime?
True
Let d(n) = 114*n - 7. Is d(4) a composite number?
False
Let b(a) = 2*a**2 - 2*a + 1. Let s be b(1). Suppose f = s, 288 = -4*w + f + 47. Is w/(-14) + (-6)/21 a prime number?
False
Let q = -575 - -930. Is q a composite number?
True
Let t be ((-3 - -2) + 2)*1. Let w(k) = -43*k**3 + 5*k**2 + 1. Let n(r) = 42*r**3 - 4*r**2 - 1. Let x(o) = 7*n(o) + 6*w(o). Is x(t) a composite number?
False
Let p be 4/8 - (-18)/4. Suppose 906 = -p*u + 3276. Is u/(-4)*2/(-3) prime?
True
Let s = -5 - -3. Is s + -1 + 6 - -290 a composite number?
False
Suppose -h = -2*j - 5, -15 = j - 4*h + 5. Suppose j*b - 5*b = -1435. Is b a prime number?
False
Suppose -28 = 5*l + 32. Let h = l + 23. Suppose 0 = y - 2*y + h. Is y a composite number?
False
Let t = 19 - 65. Let o = t + 103. Suppose -4*u + u + o = 0. Is u prime?
True
Let t = 25 - 21. Is 7/t*(59 - 7) a composite number?
True
Let x(m) = 7*m**3 - 8*m**2 - 9*m + 17. Is x(8) a composite number?
True
Suppose -2*x + o + 37 = 3*x, -3*o = 2*x - 8. Is ((-3)/(-6))/(x/2086) a composite number?
False
Let q be (-2)/(-2*1/268). Let a be (-2)/(((-2)/1)/q). Let g = -191 + a. Is g a prime number?
False
Suppose -2 = -5*l + 43. Is l composite?
True
Suppose 3*l = 193 + 146. Is l composite?
False
Let d be ((-19)/2)/(4/(-8)). Suppose -z + 72 - d = 0. Is z prime?
True
Let n = 2 - 18. Suppose 0 = 3*l - 8*l - 475. Let u = n - l. Is u a composite number?
False
Let t = 1844 + -1257. Is t prime?
True
Let f = 7 - 2. Let t = -12 - f. Let p = t - -39. Is p a composite number?
True
Suppose 4*p = 1353 + 199. Let v = p + -261. Is v prime?
True
Let m(t) = -2*t - 4. Let u be m(-8). Suppose -v + u = -13. Is v a composite number?
True
Let i be (-3)/((-9)/4 + 3). Is 1857/27 + i/(-18) a composite number?
True
Let j(h) = -h + 4. Let u be j(7). Is u/6*2*-211 composite?
False
Let a(r) = -7*r + 9. Let i be a(6). Let d = -143 - -207. Let x = i + d. Is x composite?
False
Let d(p) be the second derivative of -p**6/120 - p**5/15 - 2*p**3/3 + p**2/2 + 2*p. Let u(l) be the first derivative of d(l). Is u(-7) composite?
True
Let t be (-30)/(-4)*6/5. Let a = 23 - t. Suppose x = 3*x - a. Is x composite?
False
Suppose 4*f - 3*f = 203. Is f prime?
False
Suppose 4*w = 3*w - 1. Let m(q) = -176*q**3 + q**2 + q + 1. Is m(w) a composite number?
True
Suppose -2*o + z + 5 = -0*z, -o + 3*z - 5 = 0. Suppose -2*w = 2, 3*d - o*w - 344 = w. Is d a prime number?
True
Suppose -7*t + 6296 = t. Is t a composite number?
False
Let y(m) = 2 + 16 + m**2 + 15 + m. Is y(0) a prime number?
False
Let d(f) = 6*f**2 - 3*f + 6. Let h(t) = t - 1. Let z(i) = d(i) + 5*h(i). Suppose -11 = 5*x - 1. Is z(x) prime?
False
Let l(n) = n**2 - 3*n - 5. Let u be l(5). Let w be (-16)/40 - (-12)/u. Suppose w*i - 2 - 4 = 0. Is i composite?
False
Suppose 3*f + 0*f = 12. Is f + -1 + (0 - -1) a composite number?
True
Suppose 4*w - 4*r - 432 = 0, 5*r - 3*r + 555 = 5*w. Is w a prime number?
True
Suppose 0 = p - 4*p + 5*c - 20, -5*p + 4*c = 16. Let w(d) = 1 + p*d**3 - 6*d**3 + 5*d**3 + 6*d**2 + d. Is w(5) prime?
True
Suppose -4480 = -6*k + 1466. Is k prime?
True
Let y(f) = 13*f + 5. Let z be y(4). Let c = z - 24. Is c a prime number?
False
Suppose 4*f - 49 = 3*f. Is f a composite number?
True
Suppose -14*n = -17*n + 633. Is n a prime number?
True
Let u = -11 + 15. Suppose 5*o = 7 + 8, 3*c + 678 = u*o. Let l = 379 + c. Is l a composite number?
False
Is (-2)/(-10)*1 - 784/(-5) a composite number?
False
Is (3/(-6))/(3/(-2802)) a prime number?
True
Let a(i) = -i**3 - i**2 + 9*i + 7. Let o be a(-7). Suppose -275 = -g - 4*m - 64, g - 5*m - o = 0. Is g composite?
False
Let y(r) = -r**2 - 11*r - 3. Let d(s) = -s**2 - 10*s + 11. Let i be d(-10). Suppose 0 = u + i - 3. Is y(u) prime?
False
Suppose -2*u + 3452 = -434. Is u a composite number?
True
Let d = -191 + 273. Suppose 2*f + h + 2*h - d = 0, -5*f - 3*h = -187. Is f a composite number?
True
Suppose -6*h = -2*h. Suppose -d - 8 + 2 = h. Let u(b) = 2*b**2 + 9*b + 1. Is u(d) a composite number?
False
Let w(i) = -26*i**3 + 4*i**2 + 7*i - 1. Let m(v) = -v**3 + v**2 + v. Let j = 0 + -1. Let l(t) = j*w(t) + 5*m(t). Is l(1) a composite number?
True
Let k be 1 - (-7 - -2) - 0. Is 3 + (k/2 - -185) composite?
False
Suppose 78 = -l + 3*l - 2*k, -2*l - k + 84 = 0. Let c be (-1)/(0 + 2/(-30)). Suppose c + l = 4*u. Is u composite?
True
Suppose 6*m = 3*m. Let v be (-34)/(-1) - (m + -1). Suppose 3*n - v = 2*n. Is n a prime number?
False
Suppose 810 = 4*u - 754. Is u prime?
False
Let c = 12 - 18. Is 54 + (c - (-1 - 2)) composite?
True
Suppose 4*y - 6*y - 4 = 0. Let f(d) = -9 - 3*d + 12 - 6. Is f(y) composite?
False
Suppose 2*a - 3 = 3. Suppose 3 + a = 2*g. Suppose -101 = -2*d - g. Is d a prime number?
False
Let y = -26 + 279. Is y composite?
True
Let i(o) = 22*o**2 + 2*o - 1. Is i(3) prime?
False
Let h(o) = -o**3 + 6*o**2 + 2*o - 1. Let q be h(5). Suppose t - 93 = q. Is t composite?
False
Let m be -5*4/(-10)*-338. Let x = 1181 + m. Is x a composite number?
True
Let w = -913 + 1470. Is w composite?
False
Let s = -60 - -821. Is s a prime number?
True
Let m(g) = -17*g + 9. Let w be m(5). Let a = w + 203. Is a composite?
False
Suppose -5*d - 1480 = -5*y, y = -0*y + 5*d + 276. Is y a prime number?
False
Suppose 5*z + 15 = 0, 0 = -y + 5*z + 107 + 69. Is y composite?
True
Suppose -185 = -t + 5*d, 3*t - 58 - 577 = -5*d. Is t a prime number?
False
Suppose 4*j - 2*r - 2 = 0, 4*r + 1 = 3*r. Suppose 3*p - 12 = -p - 2*g, j = 5*p - 5*g. Suppose 6*z = p*z + 52. Is z composite?
False
Suppose -47 = -4*q - 411. Is q/((-2)/(-1 + 3)) prime?
False
Let l = -7 + 3. Let x = 6 + l. Is x*(-2)/4*-35 a composite number?
True
Let j = 19 + -28. Let s be (-1 - 3/j)*-9. Let c(u) = 5*u + 1. Is c(s) a composite number?
False
Suppose -l = 4*z + 19, 0*z = 2*z + 5*l - 13. Let b be (-46)/z + 10/(-15). Suppose -3*j = -b*j + 148. Is j a composite number?
False
Let l(f) = -f - 2. Let m be l(-6). Suppose -m*u + 28 = -2*u. Is u a prime number?
False
Is ((-677)/3)/((-2)/6) a prime number?
True
Let o = -28 + 24. Is 128 - -3*(-4)/o a prime number?
True
Let l(h) = -h**3 + 3*h**2 + 2. Let p be l(3). Let v be 0 - -8*p/(-2). Let b = v - -18. Is b prime?
False
Let c(m) = 39*m**2 - 6*m - 7. Is c(6) a prime number?
True
Is (21/2)/((-2)/(-4)) a composite number?
True
Let v(r) be the first derivative of -3 - r + 10*r**2 + 19*r**2 - 10*r**2. Is v(1) prime?
True
Suppose 179 = k - 3*a, 0 = 2*k + a - 2*a - 358. Is k a prime number?
True
Suppose m - 5*r = 22, 166 = 5*m + 3*r - 0*r. Suppose -2*y + 156 = m. Is y composite?
True
Let k = -18 - -34. Suppose g - p = 4, 0 = -2*g - g - 4*p - k. Suppose x - 60 - 31 = g. Is x a composite number?
True
Suppose -16 = x - 5*x. Suppose x*a = 2*j, -3*a + 1 = -3*j + 2*j. Suppose -j*i = 2*k - 100, 4*i = 6*k - k - 277. Is k a prime number?
True
Suppose r + 0*r - 409 = 0. Is r a prime number?
True
Let b(y) = 3*y**2 + 1. Suppose 0 = -2*j - j - 3. Let t be b(j). Suppose -23 = -a - 2*s - 3*s, t*a = 5*s + 42. Is a a composite number?
False
Let y = 11 + 0. Let h = 138 - y. Is h a composite number?
False
Let l = 65 + -29. Suppose s - l - 17 = 0. Is s prime?
True
Suppose 17 = 5*u + w + 2, 5*w = -2*u - 17. Let i(t) = 2*t - 4. Let v be i(u). Suppose 5*k - 565 = q, -v*k + k + 339 = -3*q. Is k prime?
True
Is (-4936)/(-16) - 9/6 a composite number?
False
Suppose 4*c + 5 = r, 0 = -c - r - r + 10. Suppose 5*x - g + 6 = 3*g, -4*g + 18 = x. Suppose x*b + d - 73 = c, -2*b - 2*d = -0 - 72. Is b a prime number?
True
Let n = -374 - -648. Is n composite?
True
Let p = 202 + 137. Suppose -2*o - o = -p. Is o a composite number?
False
Let f(h) be the second derivative of 2*h**4/3 - 5*h**3/6 - 2*h**2 + 5*h. Let g = -2 - 1. Is f(g) composite?
False
Let y = -7 - -8. Is ((-31)/3)/(y/(-3)) a prime number?
True
Let z(t) = -t**3 + t + 4. Let v be z(0). Let d = v + -2. Is 69 - (d + -1*2) prime?
False
Is (-114946)/39*3/(-2) composite?
False
Is (-2)/(-3) - (-470)/6 a prime number?
True
Let x(z) = -z**2 - 3*z + 3. Let f be x(-3). Let k = f + -3. Let h = 26 + k. Is h a composite number?
True
Suppose 0*o = -o + 73. Let z = -26 + o. Is z prime?
True
Suppose -2*a + 7 = -1. Suppose -16 - a = 5*s. Let t = 7 + s. Is t composite?
False
Let z = 458 + -316. Suppose -4*x = -z - 6. Is x a prime number?
True
Let i = -6 - -13. Is i a composite numb