h - 53. Is h a prime number?
True
Let b = 15 - 42. Let g = -17 - b. Is g composite?
True
Suppose 4*p = p - v + 254, 5*v - 191 = -2*p. Is p a composite number?
False
Suppose z - 3*o = -293, -4*o = z + o + 277. Let d = -526 + 336. Let x = d - z. Is x prime?
True
Suppose 0 = 3*p - 0*p + 1041. Let z = -88 - p. Is z prime?
False
Let n(r) = 2*r + 1. Let s be n(-1). Is (2 + -1)/(s/(-127)) composite?
False
Suppose 12 = 4*t, -5*v - 51 = 5*t - 136. Is 978/42 - 4/v composite?
False
Suppose 2*p + 2*p + 2*x - 1012 = 0, -2*x - 258 = -p. Is p composite?
True
Let k(t) = -t**3 + 18*t**2 - 15*t - 15. Let b be k(15). Suppose 2*f - 3*f = 0. Suppose f*c = 3*c - b. Is c composite?
True
Suppose 1756 + 4839 = 5*o. Is o a prime number?
True
Suppose -10*b + 3910 = -0*b. Is b composite?
True
Let z(s) = 4*s**2 - 2*s**2 - 9 + 16. Is z(6) composite?
False
Suppose z - 6*z + 785 = 0. Is z a composite number?
False
Let h(d) = 202*d - 2. Let i be h(-6). Let q be 4/(-22) + i/(-22). Suppose 0*b + b - q = 0. Is b composite?
True
Suppose -t - 3 = 0, 0*t = 4*z - 2*t - 6. Suppose 5*y + 7*p = 2*p, z = 4*p + 12. Suppose 2*g + 58 = 4*u + 10, 2*u + y*g = 40. Is u a prime number?
False
Let z = 623 + -412. Is z composite?
False
Let i = -4 + 5. Is (-255)/(-12) + i/(-4) prime?
False
Suppose 0 = -j + 109 + 564. Is j composite?
False
Is (21/(-6))/((-1)/422) prime?
False
Suppose r = -3*r + 532. Is r a composite number?
True
Let m = 7 + -11. Let x be (-76)/18 + m/(-18). Is (2/x)/(1/(-28)) a composite number?
True
Let h(v) = 7*v**2 + 4. Suppose 0*y = -3*y - 15. Let a be h(y). Suppose -2*m + 3*q + q = -78, 2*q + a = 5*m. Is m a composite number?
True
Let b(t) = 28*t**3 - 2*t + 3. Is b(2) a prime number?
True
Suppose g - 2 = -6. Let c be 2/(-1) - (g + 6). Let n = 51 - c. Is n composite?
True
Let d(m) = -m + 6. Let t be d(3). Suppose 0 = -t*w + s + 167, -4*w = w + 4*s - 301. Is w a prime number?
False
Suppose 0*a - 2*a = 12. Let w be 219/a*(1 - 3). Suppose 3 = -2*k + w. Is k a prime number?
False
Let a = 0 - -2. Let s be 3/6 + (-5)/a. Is (-39)/s*(4 - 2) composite?
True
Let n(l) = -l**3 + 8*l**2 - 7*l + 4. Let b be n(7). Suppose -3*g + 179 = -c, b*g + 3*c - 231 = -1. Is g a composite number?
False
Let y(j) = 412*j**2 + j. Is y(1) a prime number?
False
Suppose -g - 4*g = -435. Is g a composite number?
True
Let n(a) = -a - 1. Let s be n(1). Let c(q) be the first derivative of -2*q**4 + 4*q**3/3 + 3*q**2/2 - 8. Is c(s) a prime number?
False
Suppose -3*t - p + 35 = 0, 5*p - 65 = -5*t + 2*p. Let f = t - 3. Is f a prime number?
True
Let r be (-128)/(-10)*920/16. Is 7/(28/r) - -1 prime?
False
Let s = 6 - 6. Suppose -4*a + s*g - 3*g = 1119, 5*a = -3*g - 1398. Let u = a - -392. Is u a composite number?
False
Suppose -5*z = -0*o - 5*o - 35, 2*z - 9 = o. Is (3 + -2)/(z/418) a prime number?
False
Suppose 0*q + 3*q = 969. Is q composite?
True
Let k = 234 - 75. Is k prime?
False
Let z(i) = 13*i**2 + 2*i + 2. Let q be z(-2). Let r(y) = y**3 - 4*y**2 - 3*y - 7. Let g be r(5). Let k = g + q. Is k a composite number?
False
Let c be (-9)/(-6) + 13/2. Suppose -c*i + 3*i + 1055 = 0. Is i a prime number?
True
Let b(q) = -2*q**3 - 2*q**3 + q + 3*q**3 - q**2 + 5. Let h be b(0). Suppose 51 = h*d - 4*d. Is d composite?
True
Suppose -5 = -0*f - f. Suppose 2*h + j + 3*j = 6, 0 = -4*h + f*j + 38. Is h composite?
False
Let y(g) = 2643*g + 19. Is y(6) composite?
False
Suppose 2*y - 1285 = 637. Is y a prime number?
False
Let r(h) = 3*h**2 - 2*h - 2. Is r(3) prime?
True
Let m = 93 - -2. Is m a composite number?
True
Suppose -4 = 2*j + 6. Let s be j*((-9)/3)/3. Let l(p) = 2*p. Is l(s) prime?
False
Suppose -2*q = 2*q + 1472. Let s be (-3)/(-5) + q/5. Let a = -51 - s. Is a a prime number?
False
Is (-1618)/(-10) + 4/(-5) a composite number?
True
Suppose 4*g + 12 = -2*l, 2*l + 5*g + 10 = -3*l. Let d(b) = -59*b - 2. Let q be d(-2). Suppose -74 = -l*w + q. Is w prime?
False
Suppose 0 = -g + 207 - 16. Is g composite?
False
Let j(i) = -26 + 21*i + 21 + 13*i. Let p(x) = 10*x - 1. Let h be p(1). Is j(h) a prime number?
False
Suppose 5*a - 4*g - 793 = 0, -2*a - g = -2*g - 316. Is a composite?
False
Let v(n) = 2 + 0 + 5*n**3 - n - 4 + 0*n**2 - n**2. Is v(3) a prime number?
False
Let s(z) = -3*z**3 - z**2. Let j be s(-1). Suppose x + 34 = 2*x - n, x - j*n = 37. Is x composite?
False
Suppose b - 11 + 32 = 0. Suppose -g = 4*r - 18, -5*g - 25 = 3*r - 6*r. Let p = g - b. Is p a prime number?
True
Let r(o) be the third derivative of o**6/120 - o**5/20 + o**4/12 - 7*o**3/6 - o**2. Suppose f + 2*y = 1, 5*f = 4*y + 7 + 26. Is r(f) composite?
False
Suppose -2*x + x + 2 = 0. Suppose w = -x*w + 3. Suppose 2*i + w = 5. Is i prime?
True
Let h(d) = d**2 + 3*d - 1. Let t be h(-4). Is (t + -1)*(-38)/(-4) a composite number?
False
Let u(d) = -56*d**3 - d**2 + 1. Let a be u(-1). Let i = a - 31. Is i prime?
False
Suppose -4*j + 15 = j - a, 4*a = j - 22. Let q be 16/(-12) + j/6. Is q*(-2 + 0) + 12 composite?
True
Let d be 1 + 2 + 0 + -1. Let h be d - (1 - -2 - -1). Let u(b) = -20*b - 3. Is u(h) prime?
True
Let y be ((-1)/3)/((-3)/423). Is -3 + 2*(-1 + y) prime?
True
Suppose -4*w = 0, 74 = 2*a - 0*w + 4*w. Is a prime?
True
Let c = 1230 - 634. Suppose 4*i - c = -v, 0*i + 149 = i + 5*v. Is i a composite number?
False
Let a(o) = 19*o - 4. Let j(i) = -630*i + 135. Let d(u) = 210*u - 45. Let g(t) = 8*d(t) + 3*j(t). Let r(v) = 65*a(v) + 6*g(v). Is r(-7) a composite number?
True
Let n(x) = -x**2 + x. Let p be n(1). Suppose l + 2*l - 6 = p. Suppose l - 9 = -v. Is v composite?
False
Suppose -10*m + 9*m + 1259 = 0. Is m prime?
True
Let m(z) = -21*z**3 - 3*z**2 + 4*z + 1. Is m(-3) composite?
True
Let f be 408/(-2)*(-18)/(-27). Let i be ((-116)/6)/(8/(-84)). Let j = f + i. Is j composite?
False
Suppose k - 4 = 0, 2*v = 5*k + 83 + 197. Let g = 217 - v. Is g composite?
False
Suppose -3*d + 12 = -2*c - 0, 0 = d + 3*c + 7. Suppose 0 = -d*h - h + 9. Suppose 3*z - 47 = -5*l + 106, h*z - 132 = 2*l. Is z a composite number?
True
Suppose -4*x + 2940 = 3*y - 2498, 0 = 3*y + 6. Is x composite?
False
Let o = 23 - 20. Is o composite?
False
Let j(p) = p - 3*p - 2 + 4. Let q be (-9)/4*(-16)/(-6). Is j(q) a prime number?
False
Let u = -380 - -1489. Is u composite?
False
Suppose 0*s = 2*s - 140. Let z = -47 + s. Is z composite?
False
Is 27 - (-5)/(15/(-6)) composite?
True
Let l(f) = -f - 3. Let x be l(-5). Suppose -x*z = -6, 48 = 2*s - z + 3*z. Is s prime?
False
Let h(f) = 1088*f**2 + 3*f + 2. Is h(-1) composite?
False
Let p(x) = 2*x - 2. Let c be p(2). Let i(q) = -q + q**c + 2 + q. Is i(2) a prime number?
False
Suppose 0 = -6*k + 3*k + 1560. Let h = k + -149. Is h prime?
False
Suppose -2*o = -0*o - 8. Let k(q) = q**2 - 5*q. Let u be k(o). Is 5/u*(5 + -81) a composite number?
True
Let u(r) be the third derivative of -215*r**4/12 + r**3/6 + 8*r**2. Is u(-1) composite?
False
Let j = 480 - -211. Is j a prime number?
True
Let b be (-7)/(-4) - 1/(-4). Suppose j - 9 = -2*j. Suppose -72 = -5*q + j*o, 0 = b*q - 3*q - 3*o + 18. Is q a prime number?
False
Let x = -2547 - -5566. Is x prime?
True
Let n(x) = 4*x**2 + 2*x - 2. Let g be n(-4). Suppose -3*m + 4*p + p = -202, 0 = -m - p + g. Is m a prime number?
True
Let g(a) = 18*a - 2. Let f be g(2). Let v = f - 23. Is v a prime number?
True
Let n(z) = -z**3 - 2*z**2 - 2*z - 1. Let x be n(-1). Suppose 0 = 5*a - x - 25. Suppose -95 = -3*d + t, -2*d + a*t = 3*d - 165. Is d a prime number?
True
Let t be 6 + (4 - 3)*-2. Suppose -2*y + 30 - 10 = 4*m, -3*m + 15 = 3*y. Suppose -t*i + 3*i = 3*k - m, -3*i = -k + 5. Is k prime?
True
Suppose -q + 5 = -1. Suppose -q*m + 5*m + 6 = 0. Is m prime?
False
Suppose -2*r + 4 = -12. Let g be (1/2)/(1/4). Is (-378)/(-8) - g/r composite?
False
Let j(a) = -a**2 + 14*a - 10. Let y be j(13). Suppose -2*z - 223 = -y*s, 5*s - 340 = -3*z - 0*z. Is s prime?
True
Is (-12 + -502)*2/(-4) a prime number?
True
Let y(v) = v**2 - 4 + 4*v - 4*v. Is y(9) a prime number?
False
Is 611/2 + (-3)/6 composite?
True
Let f(s) = 1197*s - 1. Let w be f(1). Is (-2)/9 + w/36 prime?
False
Let y = 8 + -4. Suppose -8 = -y*u - 4*r, 0 = 2*u + 2*r - 4*r. Is 5/(10/24) + u a composite number?
False
Let p(t) = -23*t - 2. Let d(u) = 45*u + 5. Let j(k) = -6*d(k) - 11*p(k). Is j(-7) a prime number?
False
Let n(q) = q**2 - q + 155. Suppose -j = j + 16. Let g = -8 - j