ber?
True
Let k = -115 - -210. Suppose -2*l + k = -l. Is l prime?
False
Let x = 319 + -186. Suppose -4*i + 0*i = -3*f - x, 0 = -2*i - 4*f + 50. Is i a prime number?
True
Let a = 2 + 2. Suppose -3 = 2*p - 1, -315 = -a*o - p. Is o composite?
False
Suppose 3*x = -3*r + x + 1641, 0 = -x. Is r a prime number?
True
Suppose 5*z + 2036 = 3*a, -4*a + 5*z = -3*a - 682. Is a composite?
False
Suppose 94 = 2*t + 5*z, -t + 21 = -0*t - 4*z. Suppose 2*c + 3*x - 183 = 0, 0 = 3*x - 13 - 2. Let q = c - t. Is q a prime number?
True
Let y(a) = 17*a**2 - 6*a - 3. Is y(-4) prime?
True
Let d(j) = j**2 - 12*j - 18. Is d(-14) a prime number?
False
Let h = 5 - 1. Suppose 0*w = -h*w - 8. Is (-3)/((-7)/3 - w) a composite number?
True
Let j = 760 + -369. Is j prime?
False
Suppose 0 = -3*o + 5 + 7. Suppose 0 = -q - o*q + 670. Is q composite?
True
Suppose 3*q - 12 = 0, 3*q = 4*o - 2*q + 12. Let v = 2 - o. Suppose 0 = -v*p - p + 71. Is p a composite number?
False
Suppose 0*p = -p. Suppose d = -p - 2. Let t = 9 + d. Is t composite?
False
Suppose j + 1 = 5*j + 3*a, 5*j + 5*a = 5. Let t be (-2)/j*(2 - 3). Let x = t + 14. Is x prime?
True
Suppose 4*f = -2*f + 3474. Is f composite?
True
Let f = 438 + -215. Is f a prime number?
True
Let k be (-30)/7 - 4/(-14). Is (-3729)/(-44) + (-1)/k composite?
True
Suppose j + 1263 = 3*d - d, 4*d + 3*j - 2521 = 0. Is d composite?
False
Suppose 1 = -2*l + 5. Suppose 5*d = 459 - 39. Suppose -l*y + 106 = -d. Is y prime?
False
Let o(g) = 3 + g**2 - 3 - 3 + 4*g. Let y be o(-5). Is 1*(y*54 + 1) composite?
False
Is ((-8)/12)/(-2*(-3)/(-4527)) a composite number?
False
Suppose -j = 3*i - 12, 0 = -6*j + 4*j - i + 9. Is (1 - -23) + (2 - j) a composite number?
False
Let q(p) = 27*p. Let d be q(-1). Let l = d + -43. Is (2 + -4)/(4/l) a prime number?
False
Suppose 255 = 2*t + 3*t. Is t a prime number?
False
Let s(w) = -4*w**3 + 6*w**2 + 7. Let x be s(-5). Suppose 2*u = -4, -x - 617 = -4*p - 5*u. Is p composite?
True
Let x(o) be the third derivative of 0 + 0*o**5 + o**2 - 1/120*o**6 + 0*o + 163/6*o**3 - 1/24*o**4. Is x(0) a prime number?
True
Let n(o) = 4*o**2 - 1. Let w be n(-1). Suppose 5*s + 15 = 0, -2*l - w*s = -l - 133. Let v = 207 - l. Is v prime?
False
Let f(u) = -u + 6. Let c be f(6). Suppose -2*i + i = c, 5*k - 3*i - 265 = 0. Is k a composite number?
False
Let h(u) = 8*u - 4. Let w be h(3). Suppose n = 5*n - 8, -w = -b - 3*n. Is b composite?
True
Let u(w) = -15*w + 1. Let l be u(1). Let k(s) = 14*s**3 + s**2 - s + 1. Let v be k(1). Is (v/(-6) - 0)*l a composite number?
True
Let c be 6/(-10) - 504/(-15). Suppose 6 = 3*l - c. Is l composite?
False
Suppose 27*i = 28*i - 541. Is i a prime number?
True
Let y(r) = -r**3 - 5*r**2 + 7*r - 10. Suppose 5*d - 2*o + 28 = -3, 4*o + 8 = 0. Is y(d) composite?
True
Suppose -r = -0*r, -s + 2*r + 3 = 0. Let i(w) = 5*w**2 - 3*w - 3. Let k be i(s). Suppose 4*l - k = -3*j, -40 = -5*l - 5*j + 5. Is l a composite number?
True
Let t be (-20)/9 - 10/(-45). Let p = -5 - t. Let b(n) = -29*n - 4. Is b(p) a composite number?
False
Let o be ((-8)/10)/(2/(-190)). Suppose q + 3*a = -q + o, 4*a - 8 = 0. Is q a composite number?
True
Let c(s) = -s**3 + 74. Let j be c(0). Let n = 41 - 82. Let k = j + n. Is k a composite number?
True
Suppose -4*q = u - 35, -2*u + 2 + 5 = q. Is ((-294)/(-18))/(3/q) a composite number?
True
Let v(z) = -3*z**3 + 6*z**2 + 4*z + 3. Let p(o) = -13*o**3 + 25*o**2 + 15*o + 12. Let j(g) = 2*p(g) - 9*v(g). Is j(6) composite?
True
Let r = 574 + -155. Is r prime?
True
Let p(n) = 133*n + 7. Is p(10) prime?
False
Suppose -r + 925 = -0*r - 3*m, -2*r - 2*m = -1818. Is r prime?
False
Let t(p) = 7*p**2 + 9*p + 7. Is t(11) a composite number?
False
Let w be (134/(-4))/(3/(-6)). Suppose -q + 27 = -w. Suppose 2*y + q = 4*y. Is y a composite number?
False
Suppose -4*h - 3*y - y = -7276, -3*h + 5453 = 5*y. Is h prime?
False
Let n = 16 - 2. Let l be n/21 + 4/(-6). Suppose 50 = 5*w - 5*i - l*i, 5*w - i = 70. Is w composite?
True
Let c be (-2 + 3)/(5/25). Suppose -b = -4*s - 183, c*s = -b + 15 + 177. Is b a composite number?
True
Let b(a) = 2*a**2 - 18*a - 15. Suppose 2 + 24 = 2*i. Is b(i) a composite number?
False
Let q = -2056 + 2975. Is q prime?
True
Let y = 1195 + -690. Is y composite?
True
Suppose -2*p + 994 = -5*h - 1519, -3776 = -3*p + h. Is p a prime number?
True
Suppose 6*j + 64 = 2*j. Let d be 4/j + 97/4. Is (10/8)/(2/d) prime?
False
Let b = -28 - -46. Suppose y - b = 3*y. Let j = 5 - y. Is j a composite number?
True
Let o(t) be the first derivative of 43*t**4/24 - t**3/2 - t**2/2 - 1. Let m(c) be the second derivative of o(c). Is m(2) prime?
True
Let n(g) = g**3 - 6*g**2 + 2*g + 6. Is n(9) prime?
False
Let q be (27/12)/(2/(-8)). Is (-1)/(12/8)*q a composite number?
True
Let x = -10 + 13. Suppose 0 = 2*u - 7*u + 10. Suppose 0 = -4*y + x*t + 2, y - t + 4 = u*t. Is y a prime number?
True
Let j be -1*(-2 - 156*1). Suppose 0 = -2*f + 2*r + j, -5*f - 4*r + 101 + 267 = 0. Let n = -54 + f. Is n a prime number?
False
Let d = -15 + 9. Let l = 29 - d. Is l prime?
False
Let m(j) = -5*j - 3. Let z(f) = -f**2 - 7*f. Let l be z(-7). Let n(k) = -k**3 + k**2 - k - 8. Let h be n(l). Is m(h) composite?
False
Suppose 6 = 4*x + 2, -2*n - 3*x + 121 = 0. Is n a prime number?
True
Is 2615/20 + (-2)/(-8) a prime number?
True
Suppose -11*x = -13*x + 8582. Is x a prime number?
False
Suppose -2*z - 13*g = -15*g - 6876, z + 5*g = 3408. Is z a prime number?
True
Suppose -5*q - 7812 = -14*q. Suppose -t + 12 = 2*f - 2*t, f = -t. Suppose f*h - q = 368. Is h a composite number?
True
Let l(g) = -g + 1. Let z(h) = -h**2 + 5*h + 1. Let q be z(5). Let y(n) = n**3 - 3*n + 57. Let m(a) = q*y(a) - 2*l(a). Is m(0) composite?
True
Suppose 2 = -2*k + 12. Let h(c) be the first derivative of 23*c**2/2 + 6*c + 1. Is h(k) composite?
True
Let x(t) = -t**2 + 3*t - 2. Let w be x(7). Is (-4)/(-10) - 11418/w prime?
False
Let q = -60 - 26. Let a = q + 249. Is a a prime number?
True
Suppose -5*z + 4*m - m - 9 = 0, 5*z - 2*m = -11. Let v(i) = -i**2 + i - 9. Let c(t) = t**2 - t + 6. Let s(y) = 7*c(y) + 5*v(y). Is s(z) prime?
False
Let w(h) = h**3 - 2. Let g be w(0). Is g + 159/3 + 0 a prime number?
False
Let w(f) = 4*f**2 + 2*f - 1. Let y(o) = o**2 - 7*o + 7. Let t be y(6). Let i be w(t). Suppose i*x - 143 = -18. Is x prime?
False
Suppose 2*n - 407 = 5*f, 0*n - 2*f = -2*n + 392. Is n a prime number?
True
Let k = 6 - 2. Suppose -t + 200 = 5*r, r + t + k*t - 64 = 0. Is r composite?
True
Let a = -1468 - -8798. Is 1/(-5) - a/(-25) prime?
True
Let u(f) = -3. Let v(r) = 13*r - 2. Let y(c) = -7*c + 1. Let s(l) = 6*v(l) + 11*y(l). Let t(d) = -3*s(d) + 2*u(d). Is t(-3) composite?
True
Let q(i) = 95*i**2 - 7*i. Let y be q(5). Suppose y + 42 = 6*s. Is s a prime number?
True
Suppose 2*o - 2*z + 0 = -2, 0 = -4*o + z - 1. Suppose 3*w = -3*i + 2 + 4, 5*w - 13 = -2*i. Is o + i + (-3 - -95) prime?
False
Suppose 5*n + 116 = -4*o + 360, -3*n - 5*o = -136. Suppose 2*j - 13 = -2*d - d, 20 = 4*j. Suppose -m + n = -d. Is m a prime number?
True
Suppose 2*s = -4*x - 8, x - 5 + 2 = 2*s. Is 63/6*(s - -4) prime?
False
Suppose -190 = -0*t - 5*t. Let s = -3 - -18. Let u = s + t. Is u a composite number?
False
Let f = -12351 + 18169. Is f/5 + 3/(-5) prime?
True
Suppose -3*a - 2*l = 161, -3*a - 36 = 4*l + 127. Let o = -28 - a. Is o a composite number?
True
Suppose 2*u + 2 = 4*a, -a + 32 = -6*u + u. Let f = u - -30. Suppose f = 3*c - 55. Is c a composite number?
True
Let c(n) = -n**2 + 4. Let u be c(0). Let v be (-6)/24 + (-35)/u. Is (-1)/3 + (-498)/v a composite number?
True
Is 7*(-148)/(-4) + 4 prime?
True
Suppose -2*o - 310 = -3652. Is o composite?
True
Suppose -i = -0*i. Is (0 - -1)*(34 + i) a composite number?
True
Suppose -1314 = 4*q - 5*t + 3*t, -2*q + 4*t - 672 = 0. Let f = q + 475. Is f prime?
True
Is (-19)/57 - 68/(-6) prime?
True
Let v(g) = g**3 + 7*g**2 - 3*g - 17. Let u be v(-7). Let c(m) = 32*m - 6. Is c(u) a prime number?
False
Let y(g) be the third derivative of -5*g**4/24 + 5*g**3/6 + 2*g**2. Let j be y(-7). Let r = j + 19. Is r prime?
True
Let o(u) = -5*u**3 + 3*u**2 - u + 2. Is o(-3) a prime number?
True
Is ((-3633)/(-9))/(5/15) prime?
False
Suppose m - 5*d - 209 = -41, 534 = 3*m - 5*d. Is m a prime number?
False
Is (-4)/(-12) + (-1028)/(-12) composite?
True
Suppose 304 = k + 3*k +