 -3*d**3 - 3*d**2 + 2*d - 3. Let j be r(-3). Let k = 104 - j. Is k a prime number?
True
Let i(x) = -x**3 + 3*x**2 - 2*x + 2. Suppose 0 = y + 4*q - 2*q - 8, 0 = -5*q + 15. Let v be i(y). Suppose 45 - 7 = v*r. Is r composite?
False
Suppose -z = j - 444, 2*z - z - 469 = 4*j. Is z prime?
True
Let t(b) = 13*b + 9. Suppose -p + 15 - 5 = 0. Is t(p) a composite number?
False
Let l be (-572)/(-5) + 4/(-10). Suppose l = 2*t - 0*t. Is t composite?
True
Suppose -649 = 3*r + 1220. Let s = -330 - r. Is s a composite number?
False
Let q(m) = 708*m - 7. Is q(2) composite?
False
Let x(f) = 3*f + 6. Let g be x(-5). Let a(s) = -s - 9. Let b be a(g). Suppose -3*u - c + 2*c + 38 = b, u + c - 18 = 0. Is u a composite number?
True
Let m = 16 + -1. Suppose 0 = c - 4*c + m. Suppose -222 = -3*f - c*t, 4*f - t - 151 = 168. Is f a prime number?
True
Suppose -2*j = -3*o - o - 302, -4*j + 5*o + 616 = 0. Is j a prime number?
False
Let h = -1304 - -2653. Is h a composite number?
True
Suppose 5*z - 1762 - 4033 = 0. Suppose -3*g + 4*r + 486 = -g, z = 5*g + 4*r. Is g composite?
True
Let i(s) = -14*s**3 - 3*s**2 + 5*s - 7. Let f(r) = -13*r**3 - 2*r**2 + 4*r - 6. Let p(w) = 3*f(w) - 2*i(w). Suppose -10*q - 30 = -0*q. Is p(q) prime?
False
Suppose w + 1 = h - w, -3*h = w - 3. Let t be 2 + -8 + h + 1. Let u(a) = a**2 - 3*a - 2. Is u(t) a composite number?
True
Let h = 129 - 63. Let r = 195 - h. Is r a composite number?
True
Suppose 5*a - f - 3*f - 23907 = 0, -a + 5*f + 4773 = 0. Is a composite?
False
Let t(y) = -4*y**3 + y**2 - 2. Let h be t(2). Let x = h - -61. Is x composite?
False
Let i(t) = -t**2 + 5*t + 1. Let j be i(4). Suppose j*x - 2015 = -230. Suppose -4*u - 20 = 0, -5*u - x = -2*c - 2*c. Is c composite?
False
Let w(x) = -x + 21. Let j be 576/(-42) + 2/(-7). Let r = -4 - j. Is w(r) composite?
False
Suppose -6*x + 2859 = -3*x. Is x composite?
False
Let u(h) = h**2 - 6*h - 5. Let n be u(-6). Let i be (-294)/10 + 4/10. Let l = n + i. Is l a composite number?
True
Suppose -t = -2*j - 0*j - 244, 1280 = 5*t + 2*j. Is t a prime number?
False
Suppose -k + 4179 = 3*x - 0*x, x + k = 1393. Is x a prime number?
False
Let l(m) = m**2 + 4. Suppose -2*g + 5*g - 5*u + 14 = 0, 5*g = -5*u - 50. Let n be ((-14)/g)/(1/(-4)). Is l(n) a prime number?
True
Is 8/(-44) + (-435)/(-33) a composite number?
False
Suppose 5*n - 2139 = 1016. Is n prime?
True
Suppose -3*a = 3*d - 165, -3*a + d = -3*d - 151. Is a composite?
False
Is (-7)/(21/(-1320)) - -3 composite?
False
Suppose -2217 = -5*i - 2*k, 0 = -5*i - 4*k - 1282 + 3501. Suppose -i - 184 = -3*q. Is q a prime number?
False
Let t(h) = -2*h**2 + h**3 + 2 - 4*h**2 + 3*h**2. Let j be t(3). Is ((-47)/2)/((-1)/j) prime?
True
Let d(u) = u**2 - 5*u + 12. Let h be d(9). Let n = 85 - h. Is n a composite number?
False
Suppose 5*a - 552 = 2*a + 3*i, 0 = -3*a + 4*i + 554. Suppose 4*g - a = 42. Suppose 0 = -5*o + g + 54. Is o prime?
False
Let z(j) = -j**3 + j**2 + 254. Is z(0) a composite number?
True
Let u = 1009 + -582. Is u a composite number?
True
Suppose 3*x = -0*x + 153. Is x composite?
True
Let y(n) = -115*n**3 - n**2 + 3*n. Let t(a) = -229*a**3 - 2*a**2 + 5*a. Let i(q) = -3*t(q) + 5*y(q). Is i(1) composite?
False
Suppose 246 + 265 = 2*j - g, 4*g = j - 273. Is j prime?
False
Is (3365 - -12)*1/1 a prime number?
False
Suppose -2*q = -5*q + 84. Let m(p) = p**2 + 6*p + 2. Let t be m(-7). Let j = q - t. Is j a composite number?
False
Is (-507)/(-4) - 3/(-12) a prime number?
True
Let d = -12 + 29. Let r = 38 + d. Is r prime?
False
Let t = -40 - -184. Suppose -t = -2*n + d + 4*d, 395 = 5*n + 5*d. Is n prime?
False
Suppose -3*y + 7019 = 506. Is y a composite number?
True
Let v(p) = -p**3 - 10*p**2 + 14*p + 11. Is v(-12) prime?
True
Let u be 2/6 + (-3480)/(-9). Suppose -5*f + 2612 - u = 0. Is f composite?
True
Let u(n) = -n**3 + 9*n**2 - 7*n - 5. Let m be u(8). Is (m + 3 + -16)*-1 prime?
False
Let m(r) = -r**3 - 7*r**2 - 2*r - 8. Suppose 2*q = -9 - 11. Let l be 4/10 - (-74)/q. Is m(l) a composite number?
True
Let z(c) = c**2 - c - 2. Let q be z(5). Let t = -11 + q. Is t a prime number?
True
Suppose -5*w + 3*i - 19 = -3, -4*i - 2 = -2*w. Let u(p) = -p**2 - p + 27. Let l be u(0). Let r = l + w. Is r a prime number?
False
Let l(c) = -c**3 + c**2 - c + 2. Let p be l(0). Suppose -4 = -4*s, 2*f - s - 31 = -2*f. Is p/f + (-75)/(-4) a prime number?
True
Is ((-1461)/9)/(3/(-9)) a composite number?
False
Let j(i) = 5*i**3 - 10*i**2 + 6*i + 5. Let a be j(6). Let f = a + -506. Let c = f + -172. Is c a composite number?
False
Suppose 0 = 3*i + 2*l - 22299, l - 22299 = -3*i - 0*i. Is i a composite number?
False
Let i be 2/(-6) - (-20)/6. Suppose 5*v + 17 = 2*f - f, -i*f - 13 = v. Is -1 - -34 - (v - -4) a composite number?
True
Let q(x) be the second derivative of -5/2*x**2 + 2*x + 0 + 14/3*x**3. Is q(7) a composite number?
False
Suppose 0 = -2*v + 5*j + 699, 5*v - 4*j - 1700 = -j. Is v composite?
False
Let p(s) be the third derivative of s**6/20 - s**4/24 - s**3/3 - 5*s**2. Is p(3) a prime number?
True
Is 3071/7 - (8/(-28))/1 a composite number?
False
Suppose 72 = 4*x + 4*j, -x = -5*j - 0*j + 6. Let y = 20 - x. Suppose -3*o + y*c = 5*c - 116, -4*o + 142 = 5*c. Is o prime?
False
Let h be (-4476)/8*(-1 - 1). Suppose -4*m + h = -m. Is m a prime number?
True
Let d = -20 - -207. Is d a composite number?
True
Suppose -44 = -3*y - y. Let p(a) = -12*a**2 - 7*a - 1. Let u(b) = -35*b**2 - 20*b - 2. Let k(o) = y*p(o) - 4*u(o). Is k(-4) composite?
False
Let h(v) = -v**3 + 2*v**2 - 2*v - 2. Let u be h(2). Let a(d) be the second derivative of -21*d**3/2 - 7*d**2/2 - 15*d. Is a(u) a prime number?
False
Let x = 9 - 6. Suppose 0 = 3*a - 2*l + 7*l - 473, 3*a - 489 = x*l. Is a composite?
True
Suppose 1 + 11 = 4*p. Is p/(-4) + (-4894)/(-8) a composite number?
True
Let v be (-24)/14 - 2/7. Suppose -3*h = -r + 4, -4*r - 5*h + 0 = 1. Is (-26 + 0)*r/v a prime number?
True
Let f be ((-220)/14)/((-5)/35). Suppose f = j + 19. Is j composite?
True
Is (-4 + 7)*3145/15 composite?
True
Let x = -85 + 50. Let n = 24 + x. Let d(j) = j**3 + 10*j**2 - 13*j - 11. Is d(n) a prime number?
True
Let m(x) = 6*x - 9. Let o(p) = -6*p + 10. Let y(f) = -5*m(f) - 4*o(f). Is y(-12) a prime number?
False
Suppose i = 4*t - 60, -30 = -2*t - 0*t - 4*i. Let r be 12*2/12*3. Let p = r + t. Is p prime?
False
Suppose 2*g - 50 = 7*g. Let y(u) = -u**3 - 9*u**2 + 7*u - 8. Is y(g) prime?
False
Let v(r) = -r**2 + 11*r - 6. Let q be v(10). Is (647 - -5)*1/q a prime number?
True
Let o = -1 + 3. Let a(g) = g**2 + g - 2. Let w be a(o). Suppose 3 = q + 1, -w*q = 2*v - 20. Is v a composite number?
True
Let h(l) = 1074*l**2 - 2*l + 1. Is h(1) composite?
True
Is (-10642)/(-51) - 2/(-6) a prime number?
False
Let b be 1*(1 - (0 + 2)). Let q be 34/(-8)*4/b. Is q - (18/3)/(-3) composite?
False
Let t(h) = h**2 + 3*h + 2. Let c be t(-3). Let r be 85 + c + 0 + 3. Let k = -37 + r. Is k a prime number?
True
Is (3 + (-22)/6)*1341/(-2) composite?
True
Suppose -4030 = -4*l - 3*a, -l + 4*a + 733 + 265 = 0. Is l prime?
False
Let b(s) = -5*s + 111. Let q(d) = -11*d + 222. Let f(h) = 9*b(h) - 4*q(h). Let w be f(0). Suppose -6*c = -3*c - w. Is c a composite number?
False
Let x(g) = 2*g**2 - 8*g + 1. Let q(d) = -d**3 + 4*d**2 + 3*d + 3. Let k be q(5). Is x(k) prime?
False
Let v(g) = -g + 17. Let d be v(12). Suppose 0 = d*q - q - 340. Is q a prime number?
False
Let s(g) = g**3 - 8*g**2 - g + 9. Let f be s(8). Let o(r) = 3*r. Let m be o(f). Is (m/(-2))/((-3)/116) prime?
False
Let y(p) = -p**3 - 11*p**2 - 5*p + 7. Is y(-12) a composite number?
False
Suppose -s - 662 = -3*s. Is s a prime number?
True
Let n = 23 + 36. Is n a composite number?
False
Suppose 133 = z + 3*g, -4*z + 0*z = -g - 480. Is z prime?
False
Let s = 141 - -1. Is s prime?
False
Suppose -5*h + 4*b = 90, -7*h = -4*h + b + 37. Let k(z) = 3*z**2 + 2*z - 7. Is k(h) composite?
True
Suppose -2*w - 26 = 4*q - 4, -4*q = 4. Let i = 1 - w. Is i a prime number?
False
Suppose s - 2*o = o + 5498, o = -2*s + 11031. Is s prime?
False
Let y be 2 - (0/(-2) - -2). Suppose o + 0*o - 2 = y. Is (o - -1)*(-46)/(-6) prime?
True
Let d = 69 + -18. Is d prime?
False
Suppose -6*i + 6 = -8*i. Suppose -5*r + 0*r + y + 69 = 0, 2*r = 3*y + 38. Let d = i + r. Is d composite?
True
Let z(f) = f**3 + 2*f**2 + 4*f + 6. Let t be 4/6 