t f(v) = 326*v + 3. Is f(1) prime?
False
Let j = 13 + -10. Suppose h - 1228 = -j*h. Is h a prime number?
True
Suppose z + 265 = 888. Is z a composite number?
True
Let x be 2/7 + (-26)/(-7). Let g(p) = 4*p**2 + 5*p + 6. Let i be g(-5). Is i - x/(0 + 2) composite?
False
Suppose -5*h = -5*y - 155, -4*y + 8*h - 3*h = 120. Let r = y + 4. Is (r/(-2))/(4/8) a prime number?
True
Let y be 3*(-1 - -2) - 3. Suppose -4*r = -4, -2*f + r - 5*r + 18 = y. Is f a composite number?
False
Suppose -2*i = c - 7, 2*i - 2*c + 1 = 5. Suppose 0 = 5*p + i*k + 107, -3*p - k - 4*k = 77. Let x = 38 - p. Is x a prime number?
False
Let m = 5 - 8. Let x = 7 + -13. Is 33 + x/m*1 a prime number?
False
Let b(c) = c + 3. Suppose 5*k = a - 15, 10 = -a - 5*k - 5. Let q be b(a). Suppose 0*y - 177 = -q*y. Is y composite?
False
Let j = 9 - 9. Suppose d + a - 66 + 1 = j, 3*d + a = 189. Is d composite?
True
Suppose -3748 = -7*c + 3945. Is c composite?
True
Let v = 28 + 5. Is v composite?
True
Let b(c) = 3*c**2 - 3*c. Let z be b(2). Suppose z*g + 9 = 3*g. Is (74/(-6))/(g/9) a composite number?
False
Suppose 60*x + 191 = 61*x. Is x composite?
False
Let f(r) = -2*r + 2. Let p be f(-8). Is (-2 - 1)*(-204)/p a prime number?
False
Let h be (1*116)/(6 - 4). Let l = 96 - h. Is (5/(-10))/((-1)/l) prime?
True
Suppose -d - 2*s + 32 = 4*d, -d + 2*s = -16. Suppose -3*g + d*g = 275. Is g a prime number?
False
Let l(y) = y**2 - 2*y + 1. Let h be l(3). Let x = -5 - -5. Suppose h*k = -x*k + 668. Is k a composite number?
False
Let v(n) be the first derivative of n**2/2 + n - 3. Let z(y) = 15*y + 7. Let o(t) = 6*v(t) - z(t). Is o(-4) composite?
True
Let m(x) = -6*x**2 - 13*x + 15. Let u be (2 - 7)*4/(-10). Let h(b) = 2*b**2 + 4*b - 5. Let s(r) = u*m(r) + 7*h(r). Is s(5) prime?
False
Let w(b) = b**3 + 15*b**2 - 6*b - 6. Is w(-10) a prime number?
False
Let z be (1 - 11/(-2))*2. Suppose -10*x = -z*x + 447. Is x a prime number?
True
Suppose -2*x - 2*o + 26 = -24, 4*o = -3*x + 74. Let k = 63 - x. Is k composite?
False
Let i(t) = -t**2 - 7*t - 4. Let x be i(-6). Suppose -x*g + 0*g + 1670 = 0. Is g a prime number?
False
Suppose -20 = -4*s - 0*s. Suppose 4*r = 2*l + 818, 2*r - 413 = 2*l - s. Is r prime?
False
Let l = -60 - -272. Suppose -3*k - 3*t + 147 = 0, -4*k + 2*t - t + 196 = 0. Suppose l = q + k. Is q a composite number?
False
Let h(r) = -r**3 + 5*r**2 + r - 5. Suppose 0*f = 2*f - 10. Let k be h(f). Suppose 0*j - 4*j + 76 = k. Is j a prime number?
True
Let a be 163/(-4) + (-1)/4. Let v be (-3)/(-12) + a/4. Let r = v + 16. Is r a prime number?
False
Let q = 5 - -1. Let c(w) = 4*w + 3. Let z(g) = -11*g - 10. Let y(s) = 7*c(s) + 2*z(s). Is y(q) prime?
True
Let l(d) = d**3 - 11*d**2 + 8*d + 9. Let q be l(7). Let x = -54 - q. Is x prime?
False
Suppose -6 = -2*c - 2. Let r(s) = s**3 - s**2 + s - 2. Let p be r(c). Suppose 148 = p*h + 60. Is h a prime number?
False
Let f = -20 - -17. Is f/1*(-807)/9 prime?
True
Suppose -7*b = -5*b - 2174. Is b a prime number?
True
Let k(h) = 4*h**2 - 2*h - 1. Let t be k(-1). Suppose t*n - 114 = 41. Is n composite?
False
Let t = 5 + 0. Suppose -q - 516 = -t*q. Is q composite?
True
Suppose b + 449 = c - b, -4*c + 4*b = -1796. Is c composite?
False
Let r(t) = 8*t**2 + 4*t - 3. Is r(8) a prime number?
True
Is 5982/12 + 2/4 prime?
True
Let s = 13 + 60. Let m = 3 + 0. Suppose -m*h + 56 = -s. Is h composite?
False
Let s = 92 - 56. Suppose -4*g = -8*g + 292. Let o = g - s. Is o a composite number?
False
Let p(a) = -12*a. Let x(t) = -t - 1. Let m(f) = -p(f) + 5*x(f). Is m(6) prime?
True
Let l(o) = 435*o**2. Let p be l(1). Suppose p = -2*t + 7*t. Is t composite?
True
Suppose 3*j = 186 - 57. Suppose 0 = -5*x + 20, -j = -4*h - 3*x - 11. Suppose -g = s - 25, 2*g - 66 = -h*s + 53. Is s a prime number?
True
Suppose -3*c - 10 = -655. Suppose c = 2*u + y, 2*u = 3*y + 341 - 114. Is u a composite number?
False
Suppose 10 = -5*l + 3*l. Is 3/l - (-6590)/25 prime?
True
Let d(p) = -4*p**3 + 3*p**3 + 40 - 2*p**2 - p**3 + 6*p - 47. Is d(-5) composite?
False
Let t(p) = p**3 + 4*p**2 + 2*p - 3. Suppose b = -3*i - 12, -5*b + 0*i + 3*i - 6 = 0. Let j be t(b). Suppose 3*n - 6 - 15 = j. Is n composite?
False
Suppose -n - 25 = -2*n + 2*s, 2*n - 51 = 5*s. Is n prime?
True
Let w be (1 - 0) + 4/(-1). Let t = w - -6. Suppose k = 0, t*j = 4*k - 4 + 70. Is j a prime number?
False
Suppose 0 = -s + p + 30, 2*s - 118 = -3*s - 3*p. Suppose 0*b = y - 3*b + s, 0 = 4*b - 8. Let f = 41 + y. Is f composite?
True
Let r(n) = -7*n - 1. Let p be r(-3). Suppose 0 = -c + 1 + p. Is c composite?
True
Suppose -j = -4*n - 5*j + 108, 0 = -5*n + 3*j + 167. Is n a composite number?
False
Let k(m) = 5 + 2*m + 2 - 6 - 6*m. Let y(v) = -2*v**2 - v - 1. Let u be y(-1). Is k(u) a prime number?
False
Let h be 7*(-2 + 32/14). Suppose 0 = 3*p - 85 - 110. Is h + (p - (1 - 1)) prime?
True
Suppose -322 = -3*t - 5*c - 31, 0 = -t + 4*c + 97. Is t a prime number?
True
Is ((-580)/12 + -4)*-33 composite?
True
Let q = 13039 - 8990. Is q composite?
False
Suppose 5*r = -4*u + 79, 5*u = r + r - 58. Is r prime?
True
Let k(u) = -u - 3. Let m be k(-9). Suppose 255 = -l + m*l. Is l a composite number?
True
Suppose -3*u = 5*x - 3256, 2*u = -3*x + x + 2172. Is u prime?
True
Let u(x) = -x**3 + 7*x**2 - 6*x + 7. Let w be u(6). Suppose 4*z = 5*f - 177, -2*f - w*z + 82 = -3*z. Is f a composite number?
False
Is (2 + (-1 - -3))*(-7536)/(-64) composite?
True
Suppose 0 = -d - u + 8, 12 = 2*d + 5*u - 16. Suppose d*b - 2*t = 298, -39 - 58 = -b - 4*t. Is b a prime number?
False
Let y be (-6)/4*16/(-6). Let b(r) = -14 + 15 + 2 + 29*r. Is b(y) composite?
True
Let u = -23 - -124. Let z = 1 - -1. Suppose -3*m + u = -2*v, 4*v = -z*m - v + 99. Is m a composite number?
False
Let m be 4586/6 - 2/6. Suppose 4*r - m = -0*r. Is r composite?
False
Suppose l - 112 = -0*l. Let m = l - 65. Is m prime?
True
Let l(q) = 8*q**2 - 5*q - 4. Let d be l(-3). Let i(y) = 5*y**2 - 2*y + 2. Let s be i(2). Let c = d - s. Is c a prime number?
False
Let h be 12/(-5) - 6/(-15). Let o(j) = 7*j**2 + 3*j + 1. Is o(h) a prime number?
True
Suppose 4*m - 36 = m. Is 95/4 - m/16 a composite number?
False
Suppose 0 = 4*z - 336 - 676. Let r = z + -162. Is r a prime number?
False
Let l(k) = 13*k**2 - 2*k - 9. Is l(4) a prime number?
True
Suppose 9 - 102 = -3*o. Suppose 52 = w - o. Is w a composite number?
False
Let u be (-3)/(-6)*(-2 + 198). Let s = -13 + u. Is s prime?
False
Let x(s) be the second derivative of s**5/10 + s**4/24 - s**3/6 + s**2/2 + s. Let w(r) be the first derivative of x(r). Is w(1) prime?
False
Is (-18)/12 + 7210/4 a prime number?
True
Suppose 0 = -3*f + 4*y + 24, -y - 23 = -2*f + 4*y. Suppose -f*q - 707 = -5*u, -3*u + 7*u = -2*q + 576. Is u prime?
False
Suppose -r - 5*g = -537 - 1119, r - 3*g = 1648. Is r composite?
True
Let x = 5 + -3. Suppose i + m - x = 1, 4*m + 6 = 5*i. Suppose 0 = -5*q + i + 128. Is q a composite number?
True
Let a(u) = 5*u**3 + 2*u + 495. Let r(i) = -i**3 + 1. Let h(s) = a(s) + 4*r(s). Is h(0) a composite number?
False
Is (-285)/(-4) - (-7)/(-28) a composite number?
False
Let h = -22 + 17. Let c(a) = -2*a**3 + 6*a**2 - a + 4. Is c(h) a prime number?
True
Let o = 2 + -5. Let h be 1*-5 - (-3 - o). Is 20/h*(-39)/4 a composite number?
True
Let a(j) = 11*j + 6. Let m(d) = -33*d - 18. Let o(h) = -8*a(h) - 3*m(h). Is o(7) prime?
True
Let l(r) = r**2 - 5*r. Let f = 6 + -1. Let w be l(f). Suppose d - 40 - 6 = w. Is d composite?
True
Suppose 3*v - y - 5824 = 0, 9710 = 5*v - 0*v - y. Suppose 3*w - v = -3*t - 2*w, -2*w = -t + 633. Is t a composite number?
False
Let o(k) = -k**2 - 8*k - 8. Let h(z) = z**2 + 7*z + 7. Let i(q) = 3*h(q) + 2*o(q). Is i(-11) prime?
True
Let i = 129 + -63. Is i/4*(-12)/(-9) composite?
True
Let s(c) = -3*c + 4*c + 2 - 3*c - c. Suppose -5*u - 14 - 1 = 0. Is s(u) prime?
True
Let q(m) = -22*m**2 - 3*m + 3. Let u be q(2). Let n = -6 - u. Is n composite?
True
Let v = 7 - -31. Is v prime?
False
Let f = -1839 + 1288. Let q = -207 - f. Suppose 5*l = d + 429, l = -3*l + d + q. Is l composite?
True
Let p = -2 - -5. Let i = p + 0. Let x(j) = 4*j + 3. Is x(i) prime?
False
Let d be -1 + 2/(-4)*-2. Let t(l) = 3*l + 4. Let j(h) = 2*h + 4. Let k(i) = 4*j(i) - 3*t(i). Is k(d) a composite number?
True
Let r(y) = 33*y + 15. Let p(m) = -16*m - 7. Let t(s) = -7*p(s) - 4*r(s). 