a - 98 = -0*a + 3*j. Is a a prime number?
False
Let v = -1484 - -2443. Is v a composite number?
True
Suppose z - 73 = -2*y, 0 = -2*z - 0*z - 5*y + 149. Is z a prime number?
True
Let h be 2*(-1)/4*-42. Suppose 162 = d + h. Is d a prime number?
False
Let j = -8 - -11. Let n = 1 + j. Suppose 0 = n*p - 118 - 30. Is p composite?
False
Let v(s) = 234*s**2 + 3*s - 4. Is v(3) prime?
True
Is (2/4)/((-3)/(-474)) a prime number?
True
Suppose 0 = -0*f - 3*f + 438. Let g = f - 69. Is g composite?
True
Suppose -1230 = 17*y - 13912. Is y a composite number?
True
Is (((-1)/2)/1)/((-17)/61982) a composite number?
False
Suppose 5*r = -3*a - 33, -2*r - 3*r = 5*a + 35. Let v = -10 - r. Is (-1 + 0)/(v/268) a composite number?
False
Suppose -m - 16 = -5*r, 0*m + 4*m + 5*r + 14 = 0. Let b(f) = f**2 - 16 + 0*f**2 + 4*f + 17. Is b(m) prime?
True
Is 7/((-63)/6)*6159/(-2) composite?
False
Let z be (2/4)/(3/5436). Let c = z - 475. Is c a prime number?
True
Let z(b) = -b**2 - 2*b + 4. Let p be z(-5). Let a(c) = -c**2 + 1 - 11*c + 4 - 4 + 1. Is a(p) a prime number?
True
Suppose -2*d = 2*p, p = -d + 4*d - 20. Let k(q) = -5 + d + 120*q - 1. Is k(2) a composite number?
False
Suppose 3*r = -a, -a + 0*r = 2*r + 2. Let p be (-70)/a + (-6)/9. Let o = p - -72. Is o prime?
True
Let t(f) = f**3 - 5*f**2 - f - 8. Let s(z) = -z**3 + z**2 + z - 1. Let d be s(-2). Is t(d) a prime number?
True
Let j(f) be the first derivative of 43*f**2/2 - 2*f + 1. Suppose 26*s - 25*s = 3. Is j(s) a prime number?
True
Suppose -3*n = -179 - 220. Is n a prime number?
False
Let i(b) = 3*b - 1. Let m be 1*(-2 + 1) - -3. Let p be i(m). Let u(o) = -o**3 + 7*o**2 + o - 6. Is u(p) composite?
True
Suppose -255 = -3*s - 3*c, 3*s + 5*c - 73 = 2*s. Suppose p + 3*p = s. Is p composite?
True
Let y(o) = o**2 - 4*o - 2. Let w be y(9). Suppose 0 = 5*g - w - 232. Is g a composite number?
True
Let d = 6 + -4. Let b(s) = -2*s**3 - s**2 - 2*s - 3. Let w(p) = p**3 + p**2 + p + 3. Let o(c) = -3*b(c) - 4*w(c). Is o(d) a prime number?
True
Let y(h) be the third derivative of -h**5/60 + h**4/12 + h**3/2 + 2*h**2. Let w be y(3). Suppose w*i - 5*i = -70. Is i composite?
True
Let m(v) = 2*v. Let f be m(0). Let k be (-2)/(-8) - 7/(-4). Suppose f*p = k*p - 46. Is p a prime number?
True
Let y be ((-12)/(-10))/((-4)/10). Let i(o) = -2*o**3 + 4*o**2 + o. Is i(y) prime?
False
Let w be -2 + 2 - (2 + -3). Is w/((-1 + -1)/(-422)) prime?
True
Suppose 5*o - 5 = -30. Let a = o + 3. Let q(u) = -7*u + 1. Is q(a) composite?
True
Let y(i) = -101*i + 9. Is y(-2) composite?
False
Let u(n) = -4*n**3 + n**2 + n + 1. Let s be u(-1). Suppose f = s, -f = 5*c + 2*f - 25. Let h(r) = 23*r**2 + r + 1. Is h(c) composite?
True
Suppose -5*w = -d + 75, w + 4*w - 200 = -4*d. Let u = d - -31. Let m = u + -7. Is m a composite number?
False
Let k(v) = -v**3 + 5*v**2 + 7*v - 6. Let m be k(6). Suppose 2*x + 2 = -m. Let n = 11 + x. Is n a prime number?
False
Let t = 1087 + -1674. Let p = t + 1030. Is p a composite number?
False
Let a(r) = -r**3 + 9*r**2 - 6*r - 9. Let p be a(8). Let t(w) = 5*w**2 + 0*w - 4*w + 2*w - w + p + w**3. Is t(-5) prime?
False
Suppose 5*g + 5*f - 13 = -3, -5 = -4*g - 5*f. Suppose -4*b = n - 15, 0 = g*n + 3*b - 8*b. Suppose n*c + 158 = 5*c. Is c prime?
True
Let h(z) = z**2 + 3*z - 1. Let c be h(2). Let w(o) = 14*o + 11. Let j be w(c). Suppose 2*u - j = 131. Is u composite?
True
Suppose -155 = -z + 38. Suppose 0 = -3*b + z + 200. Is b composite?
False
Let c(d) = -231*d + 23. Is c(-10) a prime number?
True
Is (2942/2*-1)/(1 - 2) prime?
True
Let m(i) = 14*i - 9. Let n(t) = t**3 - 4*t**2 + 2*t - 1. Let j be n(3). Let c = 3 - j. Is m(c) a composite number?
False
Let t = 25 - 5. Let x be 32/5 + (-8)/t. Suppose -7*h = -x*h - 7. Is h a composite number?
False
Let h = 3 + -2. Is 1*(h - 2)*-91 a prime number?
False
Let b be 417 - ((-4)/(-2) + -2). Suppose 0 = -q + 4*q - b. Is q a prime number?
True
Let z = 3 - 0. Suppose -2*g + a - z*a = -38, -2*a - 46 = -4*g. Is g a prime number?
False
Suppose -l + 4 - 2 = 0. Suppose -l*r + 127 = -r. Is r a prime number?
True
Let o(m) = 4*m - 3. Let v be o(2). Suppose -2*y - 18 = -v*n, 0 = -4*y + 4 - 0. Is (n - 2) + -2 + 77 composite?
True
Let x(i) = -i - 8. Let r be x(-9). Let k = 220 + r. Is k composite?
True
Let r be (0 - (-1)/(-3))*-9. Suppose -i = -r*c + 917, 0*i - 8 = -2*i. Is c composite?
False
Let y = 17 + -26. Let x(u) = -9*u + 2. Is x(y) prime?
True
Suppose -4*c + 1688 = 4*c. Is c a prime number?
True
Let z(y) = -y**3 - 5*y**2 - 11*y - 5. Let v(m) = m**3 + 5*m**2 + 12*m + 6. Let x(c) = 6*v(c) + 7*z(c). Is x(-6) composite?
False
Let a(c) = 35*c - 2. Let n be a(2). Suppose -13 - 2 = -3*v. Suppose -n + 23 = -v*l. Is l prime?
False
Is (-4)/(-3 - 1) + 145 + 3 a composite number?
False
Let w(j) = -j + 4. Let v be w(6). Let u = v - -8. Suppose f = u*f - 265. Is f a prime number?
True
Let s(w) = 15*w + 13. Is s(16) composite?
True
Suppose -4*n = 10 - 42. Let d(t) = t**2 - 9*t + 7. Let j be d(n). Is 14 + 0/j + -1 composite?
False
Is ((-9)/3)/(-3) - -18 composite?
False
Let p be (-15)/(-5)*4/6. Suppose -42 = -p*n - 2*g, -3*n = -g + 3*g - 68. Suppose -n = -3*m + m. Is m prime?
True
Suppose -3 + 8 = -j. Let b be (-2)/5 - 17/j. Suppose 369 + 204 = b*d. Is d composite?
False
Let g(d) = -7*d + 18. Is g(-11) composite?
True
Let y = 31 - 22. Let j(l) = l**3 - 7*l**2 - 13*l + 6. Let s be j(y). Let v = s - 20. Is v prime?
True
Let a(t) = 2*t**2 - 47*t + 2. Is a(33) prime?
False
Let l = 1871 - 8423. Is 2/5 + l/(-45) prime?
False
Let c(w) = 2*w + 10. Let m be c(-6). Suppose 4*t = -5*f + 298, 0 = 3*t + 2*t + 3*f - 379. Is t + (3 - 3)/m composite?
True
Suppose 2*w - 58 = 10. Is w prime?
False
Suppose 5*r + 3*p + 642 = 3461, 8 = -4*p. Is r prime?
False
Suppose 0 = 5*y, 5*y - 3*y - 2345 = -5*q. Is q composite?
True
Is 3/(54/4) + (-825677)/(-207) a composite number?
False
Let w(k) = -74*k**3 - k**2 + 2*k + 3. Is w(-2) composite?
False
Let m = 567 + 382. Is m prime?
False
Let c = 20 - 13. Suppose c*n = 2*n. Is (-36)/(n + -1) - 2 a composite number?
True
Suppose 2*b = -0*b. Suppose -k + b = 9. Is 2465/45 - 2/k a prime number?
False
Suppose -4*u + 20 = u. Suppose -2*g - 5*p = -301, -5*p = -9*g + u*g + 840. Is g a composite number?
False
Suppose 4*v + 1 = -5*g + 17, -3*v - g + 12 = 0. Suppose v*b - 569 = -3*o, 2*b = 4*o - 3*b - 769. Is o a prime number?
True
Let h(w) = -w + 3. Let k be h(-4). Suppose -b + 174 = 2*b. Let r = k + b. Is r prime?
False
Suppose 4*f = -3*v + 2185, 4*v - 1637 = f - 4*f. Is f a composite number?
False
Let l(i) = 2*i**3 + 15*i**2 + 4*i - 14. Is l(-7) prime?
True
Let b be (-40)/(-15) + (-4)/6. Let a(j) = -7*j + 6*j**b + j**3 + 7*j - 6. Is a(-5) a prime number?
True
Let r(f) be the third derivative of f**5/12 - 3*f**4/8 + f**3 + 2*f**2. Let y(u) = u**2 - u. Let j(m) = -r(m) + 6*y(m). Is j(-7) composite?
True
Let b(z) = z**3 - 14*z**2 + 28*z - 33. Is b(20) a composite number?
False
Let i(x) = -x + 3. Let f be i(9). Is 15/f*(-20)/2 a composite number?
True
Is ((-5)/(-10))/(2/4604) composite?
False
Let s(z) be the first derivative of z**4/4 - 4*z**3/3 - z**2 + 3*z + 6. Is s(10) a prime number?
False
Suppose 0*l = 5*l + 10. Let h be ((-12)/15)/(l/5). Let n = 67 - h. Is n a composite number?
True
Let n(m) = 9*m**2 - 2*m - 2. Let s be n(-2). Suppose -270 = -4*w - s. Is w a prime number?
False
Suppose -2*m + 73 = -3*m. Let a be (-12)/(-30) + m/(-5). Is (a/(-4))/(6/(-16)) a composite number?
True
Suppose -1906 = -3*l - 397. Is l composite?
False
Let o = 521 - 230. Is o a composite number?
True
Suppose -h + 4*g = -211, 4*g - 695 = -5*h + 312. Is h prime?
False
Let p be 1/((-10)/4 + 2). Let i = 2 + p. Suppose -5*l - 66 + 251 = i. Is l prime?
True
Suppose 0 = 7*h - 3*h - 3*d - 460, -2*h - d + 240 = 0. Is h a prime number?
False
Suppose 0*g - 2*g + 16 = 0. Let f be 22/g - (-12)/(-16). Is 26/(f + -2 - -2) prime?
True
Suppose 3*v = 728 + 1795. Is v prime?
False
Suppose -69 = -f + 5*s, 0*f + 2*s = 3*f - 181. Is f prime?
True
Let r(f) = -17*f + 12. Is r(-13) composite?
False
Suppose 0 = -4*p - w + 5*w + 1592, -3*p - w + 1190 = 0. Is p a composite number?
False
Let b(d) = d**3 + 2*d**2 - 3*d + 1. Let k be b(2). Suppose 3*a - 28 = k. Is a a prime number?
True
Suppose 0 = -5*q + q + 1148. Is q a composite number?
True
Let r = 212 +