Is (-3)/2*124/g a prime number?
True
Let m(h) = h. Let z(y) = 119*y**2 - 7*y - 1. Let p be 2 - (-1 - -1 - -1). Let t(g) = p*z(g) + 6*m(g). Is t(-1) prime?
False
Let f(v) = v + 197. Let q be f(0). Let u(c) = 205*c + 4. Let h be u(2). Let a = h - q. Is a prime?
False
Let a(j) = -j**3 - 8*j**2 - 9*j + 3. Let v be a(-8). Suppose 92 = -2*o - 4*f, -4*f + f = 4*o + 164. Let c = v + o. Is c a composite number?
False
Let n(x) = 6*x**2 + 7*x + 3. Let t(d) = -31*d**2 - 34*d - 14. Suppose -33 = -3*a - 0. Let s(l) = a*n(l) + 2*t(l). Is s(-6) prime?
False
Let m(q) = q - 5. Let i be m(7). Let n(r) = -2*r + r + 3*r**2 + 45*r**i. Is n(1) composite?
False
Let h = -22 - -31. Suppose 4*r = -2*x + h + 25, 5*r = -x + 35. Let v(c) = 3*c - 5. Is v(r) a prime number?
True
Is 3 - -1 - -1249*1 prime?
False
Is (1 - 3) + 4/(-8)*-226 a composite number?
True
Suppose 4*w - 108 = -4*j - 0*j, 5*j + 95 = 5*w. Suppose -w - 13 = -3*m. Is (-55)/(-6) + (-2)/m a prime number?
False
Let x(r) = r + 16. Let w be x(0). Let t = 35 - w. Is t a composite number?
False
Let q = 185 - -252. Is q prime?
False
Let h be (-36)/(-10) - (-18)/(-30). Suppose h*w - 76 = -w. Is w prime?
True
Suppose 6*s - 3*s = -1128. Let g = -113 - s. Is g prime?
True
Let m(o) = o**2 + 4*o - 7. Let d be m(-6). Suppose 0 = -2*p - q + 5, -q + 0 = -d. Suppose 0 = 4*j - 4*h - 360, p = 3*j + h + 4*h - 246. Is j a prime number?
False
Let d be (-12)/21 - (-75)/21. Is (5/1 - d) + 221 prime?
True
Let n = -37 + 9. Let g = n - -49. Is g composite?
True
Suppose -3*x = -2*m + m + 287, 0 = 5*x + 15. Is m a composite number?
True
Suppose v = -z + 6611, -z + v = -8950 + 2347. Is z a composite number?
False
Suppose 2*p = -2 + 8. Suppose p*k - y - 367 = 0, -3*k - 2*k = -y - 613. Is k a composite number?
True
Is 1325/15 - 6/(-9) a prime number?
True
Suppose z + 14 - 5 = 0. Let t be 15334/14 - (-4)/(-14). Is 4/(-6) - t/z a composite number?
True
Let y(d) be the third derivative of d**6/20 - d**5/60 - d**4/24 - d**2. Let r be y(-1). Is (-250)/(-3) + 2/r composite?
False
Is 3/4 - 12250/(-40) a prime number?
True
Suppose 0 = -3*f + 2*u + 6, 3*u = -2*f + 4. Let k be 315/(-6) - (-1)/f. Let a = 109 + k. Is a a composite number?
True
Let r(l) = -3*l**3 - 3*l**2 - 3*l + 2. Let u = -13 + 18. Suppose -n - 2*n = -2*d - 9, -2*d + u*n - 11 = 0. Is r(d) a prime number?
False
Let s(r) = -r**2 + 6*r + 1. Let z be s(7). Is 19/(-1)*(z + 5) a composite number?
False
Suppose 5*u = -3*p + 18226, 2*p - 3*u = 2*u + 12109. Is p a composite number?
False
Let g be (-2)/6*(-6)/2. Let z(d) = -7 + g + d - 3*d. Is z(-6) composite?
True
Suppose i + 4965 = 6*i. Is i prime?
False
Let x(l) = l**2 - 5*l - 5. Let o = -16 + 22. Let n = -13 + o. Is x(n) prime?
True
Let x(r) = r**3 - 7*r**2 + 1. Let c be x(6). Let b = 54 - c. Is b a prime number?
True
Let a(h) be the first derivative of h**2/2 - h + 1. Let y be a(0). Is 128 + 3/3*y a prime number?
True
Suppose -1874 = -4*r + 1038. Suppose -u + r = u. Suppose -4*w + 8*w = u. Is w a prime number?
False
Suppose -w = 5*h - 14, h = 5*w - 12 - 6. Suppose -3*d - h = -5. Is (d/(-3))/(2/(-762)) a composite number?
False
Suppose 0 = -5*m - g + 24, 3*m - 6*g = -g - 8. Suppose 3*n - 15 = -3*z, 11 = z + 3*n + 2. Suppose 3*a - 5*k = 287, 0*k + 251 = z*a + m*k. Is a composite?
False
Is (-12)/(-7 + 5)*74/4 a prime number?
False
Let j = 5415 - 3080. Is j a composite number?
True
Let v = 6 - -32. Let d = v - -17. Is d a prime number?
False
Suppose -2*m + 18 = -4*m. Let t(f) be the third derivative of -11*f**4/24 - 2*f**3 - 3*f**2. Is t(m) a composite number?
True
Suppose -820 = 3*u - 8*u + 3*a, 2*u = -5*a + 328. Is -2 - u/(-2) - -2 composite?
True
Let v(c) = 2*c**3 - 13*c**2 + 9*c - 6. Let y be v(8). Suppose -4*l - 5*b = -353, -2*b - y = -3*l + b. Is l a prime number?
False
Let r be (-1)/(0 - 4/148). Suppose -3*c + 4*c = b + r, -2 = b. Is c a prime number?
False
Suppose 0 = 5*d + 2*c + 55 + 143, d = 3*c - 43. Let m = -4 - d. Let s = -17 + m. Is s a composite number?
False
Let l = 21 + -15. Suppose 0 = c + 3*t - 6, -5*t = -5*c - 2*t - l. Suppose -5*w - 4*j + 142 = c, j = 2 + 1. Is w a composite number?
True
Let s(n) be the first derivative of 5*n**2/2 - 2. Let o be s(1). Let z(v) = 2*v**2 + 2*v - 7. Is z(o) a composite number?
False
Let u(k) = -k**3 + 9*k**2 + 11*k - 8. Let f be u(10). Is (5 - f)*-1 - -376 a prime number?
True
Let g(z) = z**3 + z**2 + 4*z + 7. Let k be g(-6). Let i = k + 346. Is i prime?
True
Let i be (3 - 9)*2/(-2). Is 293*-2*(-3)/i composite?
False
Let o be ((-84)/6)/((-2)/(-1)). Let a(g) = -12*g + 7. Is a(o) a composite number?
True
Suppose 3*r - 80 = 256. Let a = 277 + -86. Let z = a - r. Is z composite?
False
Let x = -3 + 3. Suppose 5*a + 4*k = 17, 0*a - 4*k + 16 = 4*a. Is 32 - (a + -2 - x) composite?
True
Let x = 4961 - 1324. Is x composite?
False
Suppose f = -4*s + 2923, -2951 = f - 2*f + 3*s. Is f composite?
False
Suppose 0 = -3*q + 5*v + 222, 4*v - 126 = -2*q - 0*v. Is q prime?
False
Let x(g) be the second derivative of -g**4/12 - 5*g**3/6 - g**2 - 2*g. Let b be x(-5). Is (-488)/(-10) - b/10 a prime number?
False
Let k(d) = -5*d**2 - d + 45. Let u(c) = c**2 - 11. Let s(r) = -2*k(r) - 9*u(r). Is s(8) a prime number?
True
Let w(i) = 7*i**2 + 3*i - 4. Let r be w(-3). Let y = r + 315. Is y composite?
True
Let f = -12 + 15. Suppose -5*g - 5*a + 3*a = -1085, 1085 = 5*g + f*a. Is g composite?
True
Let m(b) = 91*b - 73. Is m(6) a prime number?
False
Let s be -1 + 9 + (-1 - -4). Suppose 3*m = -2*m + 15. Suppose s + 64 = m*w. Is w composite?
True
Let x = 7 + -5. Suppose x*s - 1943 = 3047. Suppose -9*u + 4*u + s = 0. Is u a composite number?
False
Let o(r) = 72*r + 1. Is o(2) a prime number?
False
Let x(r) = 24*r**2 + 15*r - 2. Let t(m) = -23*m**2 - 15*m + 2. Let d(g) = 7*t(g) + 6*x(g). Let p be d(-13). Is ((-2)/6)/(4/p) a composite number?
False
Let x(f) = -f**3 - 7*f**2 + 3. Let r(a) = -7*a**3. Let q be r(-1). Suppose 2*m = q*m + 35. Is x(m) prime?
True
Let a(g) = g**3 + 2*g**2 + 2*g + 2. Let u be a(-2). Let h be (20 + u)*(0 - -1). Suppose -2*t + 8 + h = 0. Is t composite?
False
Suppose 2*f + 2 + 4 = 0. Let c = 124 - f. Is c a composite number?
False
Let x be (4 - -2)*2/6. Suppose 0*y = -3*y - 3*r + 165, -x*y - r + 108 = 0. Is y a prime number?
True
Suppose -2*g - 15 - 3 = 0. Is g/(-9)*(-1 + 68) prime?
True
Let k = -4 + 5. Let v = k - 2. Is 9 + -1 - (v - 1) a prime number?
False
Let r(y) = 7*y**2 + 6*y + 6. Is r(5) prime?
True
Suppose -5*y - 2*y + 3899 = 0. Is y composite?
False
Let l = -5 + 4. Let x(d) = -32*d + 1. Is x(l) a prime number?
False
Let x(k) = 4*k. Let g be x(3). Is (-56)/(-10) + g/30 a prime number?
False
Suppose -4*a + 2036 = 4*q - 0*a, 5*a = -2*q + 1009. Suppose 4*z - q = -4*w, 5*z = 6*z + 5*w - 132. Is z a composite number?
False
Let n = 87 + -34. Is n prime?
True
Let x be (-15)/(-5) - (3 - -1). Is -1*x/(-1)*-31 a prime number?
True
Suppose -2*p = -7*p - 1460. Let s = -197 - p. Is s a composite number?
True
Let h(m) = -m + 6. Let a be h(9). Is 3/(-3)*57/a a prime number?
True
Suppose 706 = w - 495. Is w a composite number?
False
Let g = -5 + 8. Suppose -g*f + f = 8. Let v = f - -71. Is v a prime number?
True
Let o = -39 - -60. Is o prime?
False
Let q(u) = 4*u. Let k be q(9). Suppose -21 = 2*h - 4*h + 5*x, -3*x = -3*h + k. Is h composite?
False
Let f = -9 - 36. Let x = 490 + f. Is x prime?
False
Let c = -86 - -195. Suppose 0 = -n + 4*n + 4*q - c, 2*n = q + 69. Let v = 72 - n. Is v composite?
False
Let k = -746 + 1420. Is k prime?
False
Let t be (-4)/(-14) + (-24)/(-14). Let x(z) = -149*z - 5. Let y(c) = -30*c - 1. Let w(l) = t*x(l) - 11*y(l). Is w(1) prime?
False
Is (46/(-69))/((-2)/141) a prime number?
True
Suppose -4*b - 200 = b. Let w = 155 + b. Is w composite?
True
Suppose -268 = -4*k + 4*p, 0 = -k - 3*p + 42 + 25. Is k a prime number?
True
Suppose 2*q - 5*h = 447, 5*q + 0*h + h = 1050. Is q a prime number?
True
Let d(a) = 7*a + 2. Is d(9) composite?
True
Let f(o) = -o**3 - 5*o**2 + 3. Let u be f(-5). Suppose -2*b - 3 = -u*m + 3, -10 = -5*m + 2*b. Suppose -13 = -i - m. Is i a prime number?
True
Suppose 0*x - 2*x - 4 = 0. Suppose 4*t + 54 = 2*m + t, 0 = -2*m + 2*t + 52. Let k = m + x. Is k prime?
False
Let k(h) = h. Let x(t) = 23*t + 1. Let s(m) = -6*k(m) + x(m). Is s(2) a composite number?
True
Let v 