. Is g prime?
True
Let b(d) = 2*d**2 + 12*d - 15. Let q be b(-12). Suppose -q = -2*v - v. Is v prime?
True
Is (36/(-6) - -9) + (264 - 0) composite?
True
Let a be 0/(3/(2 + -5)). Suppose -5*l = 2*j - 0*l + 41, 2*j + 2*l + 26 = a. Is (-110)/j + 2/8 a composite number?
True
Let b = -27 - -145. Is b a prime number?
False
Let z(u) = -u**3 + 13*u**2 + 2*u + 17. Is z(13) prime?
True
Let l be 30 + 0/(4/(-2)). Suppose 0 = -4*h - l - 10. Let y = h + 89. Is y prime?
True
Is 17892/(-24)*(-4)/6 a prime number?
False
Is ((-5)/(-15))/(1/2937) a composite number?
True
Suppose -2*d = -6*d. Let v be (1 - 0) + -2 + d. Is (446 - v)*1/3 composite?
False
Let d be (0 + -1 + -1)/2. Suppose -4*y + 4*i + 8 = 0, 8*y = 4*y - 5*i + 8. Is y*77*d/(-2) a composite number?
True
Let c(m) = m**2 - 4*m - 3. Let d be c(5). Let r(i) = -i - 3*i**d + 3*i**2 + 36*i**2. Is r(-1) a prime number?
True
Suppose -g = -4*p - 451, 5*p = -5*g - 0*p + 2230. Is g a composite number?
True
Suppose 2*q = 2 + 2, 2*r - 4*q = 150. Is r composite?
False
Let r(q) = 230*q**2 - 3*q + 5. Is r(2) a composite number?
False
Suppose 0 = -r + 5*h + 23, -h - 22 = -2*r + 3*h. Suppose r*k - 207 = 42. Is k a prime number?
True
Let i be 6/4*12/9. Suppose -501 = -2*h + 3*f, -i*h + 595 - 100 = -5*f. Suppose 2*q - h = -q. Is q composite?
True
Is 1470/9 + (-2)/6 prime?
True
Is -5 + 3571 + -2 + 2/(-2) a prime number?
False
Let t(k) = -k**2 - k - 1. Let v(h) = 2*h**2 + 4*h + 7. Let m(i) = -4*t(i) - v(i). Is m(6) prime?
False
Is 2/(-7) + (-723)/(-7) a composite number?
False
Let f(a) = 4*a**2 + 5*a + 7. Suppose -13 = 2*d - 1. Is f(d) prime?
False
Let l(a) = a**3 - 2*a**2 - 3*a. Let o be l(3). Let q = o + 2. Suppose 70 = q*y + 5*t, y + 4*t = -2*y + 105. Is y prime?
False
Let t(l) = -80*l + 4. Let h be t(-4). Let k = h - -624. Is -1 - (k/(-3))/2 prime?
True
Let s(o) = o**3 - 8*o**2 - 3*o + 13. Is s(9) a composite number?
False
Suppose 2*q - 2*w = 1396, -q - w + 659 = -45. Is q a composite number?
False
Suppose -3*u + 415 = 4*b, 2*b + 4*u + 0*u = 210. Is b a composite number?
False
Suppose 4*t - 2746 = 5*b, -4*t - b = -5*b - 2748. Is t composite?
True
Let d = 2157 + -1524. Is d composite?
True
Let z(o) = -o**2 + 4*o + 1. Let i be z(5). Let a(y) be the third derivative of -y**6/120 - y**5/30 - y**4/24 + y**3/6 - y**2. Is a(i) prime?
True
Let i be (-6)/(-4)*4/6. Let t be -4 + i + 1 + 5. Suppose 3*w + q - 12 = 15, 0 = -5*w + t*q + 59. Is w a composite number?
True
Let j(r) be the first derivative of 13*r**2/2 - r + 2. Let m be j(1). Let h = m + 77. Is h a prime number?
True
Let y(t) = 14*t**2 - 2*t + 1. Is y(-4) a composite number?
False
Is (-4)/10 + 864/10 a composite number?
True
Suppose -2*j + j + 4 = 0. Suppose z + 111 = j*z. Is z a prime number?
True
Let x = 9 - 5. Suppose -b - x*b = 5. Is -1 - 39*b - -1 prime?
False
Let x = -10 - -10. Suppose -5*r + 3*c = -152, x = 4*r - 4*c - 95 - 25. Is r a prime number?
True
Suppose -a - 215 = 4*a. Is (a/2)/((-3)/6) a composite number?
False
Let c = 6 + -6. Suppose -5*f + 0*f + 75 = c. Is f composite?
True
Let v(y) = y**3 + 4*y**2 - 4. Let i be v(-5). Let m = i - -585. Is (-1)/3 + m/12 a composite number?
True
Is (0 - -5) + -2 - (-1432)/2 composite?
False
Let a(j) = 2 - 7 + 2 - 37*j. Let q be a(-5). Suppose k - 3*k = -q. Is k a composite number?
True
Let n = 1876 + -479. Is n composite?
True
Suppose 4*b + 48 = 8*b. Suppose 4*n = n + b, -168 = -4*f + n. Is f a composite number?
False
Suppose 0 = -27*b + 18*b + 12807. Is b composite?
False
Suppose -5*n = -1137 - 1013. Suppose z = 3*z - n. Is z prime?
False
Let v(w) = -23*w + 8. Let y(q) = 24*q - 7. Let o(m) = 5*v(m) + 6*y(m). Is o(11) a composite number?
False
Is (-6)/(-27) - 15098/(-18) a prime number?
True
Let q(g) = -g**3 + 2*g**2 + 10*g + 9. Is q(-6) prime?
False
Suppose -33 = -3*u - 3*p, 4*p + 26 = -0*u + u. Is u composite?
True
Suppose 0 = -5*r + 1 + 19. Suppose 18 = b + 2*b + 3*m, r*b - 3*m - 59 = 0. Is b composite?
False
Let q(x) = x**3 + 8*x**2 + x + 11. Let d be q(-8). Suppose -2*n + 430 = 3*n - 3*c, 2*n + d*c = 151. Is n a prime number?
True
Let o(j) = 4*j - 10. Let b(y) = 2*y - 5. Let i(m) = 13*b(m) - 6*o(m). Let x(v) = v + 7. Let a be x(-3). Is i(a) prime?
True
Suppose -5*j = 5*t - t - 39, 0 = t - 2*j. Let a(l) = 18*l + 7. Is a(t) prime?
False
Let c = -4693 - -11424. Is c prime?
False
Is 4/20 - 23022/(-15) a prime number?
False
Suppose 5*r - 202 = 3*r. Suppose 2*q + r = 859. Is q prime?
True
Let j(s) = 12*s**2 - 2*s + 3. Is j(1) a prime number?
True
Let n be (-74)/(-4) - 9/6. Let s(c) = -n*c + 13*c + 11 + 3. Is s(-11) a composite number?
True
Let v(o) = -4*o - 4. Let x be v(-5). Suppose k = 7 + x. Is k a prime number?
True
Suppose 2*x + 3*v = 1245, 353 = -3*x + 2*v + 2227. Suppose 0 = 3*i - 0 - x. Suppose -4*d + 38 = 3*h - 117, -4*d + i = 4*h. Is h prime?
True
Suppose 3*z - z + j - 15 = 0, 2*z + 2*j = 18. Suppose -5*y + 1124 = -3*l, z*l = -2*y + l + 431. Is y a composite number?
False
Let c(u) = 0*u**2 + u**2 - 3 + 0*u**2 - 6*u. Let g be c(7). Suppose -303 = -4*h - m, 2*m - 25 = g*h - 343. Is h prime?
False
Suppose 0*y - 25 = -5*y. Suppose y = -3*i - 4. Is (-2)/i*(-582)/(-4) a prime number?
True
Let v(l) = 2*l**2 - 5*l + 11. Let f be v(10). Suppose 3*a = -2*z + 25 + 97, 0 = -3*z + a + f. Is z a prime number?
False
Suppose 5*k = -5, 0*l + k + 51 = 2*l. Is l prime?
False
Suppose 0 = 23*w - 22*w - 955. Is w prime?
False
Let o(r) = -11*r**3 - r**2 + 3*r - 3. Is o(-4) a composite number?
False
Is (-2062)/4*(12 + -14) composite?
False
Let a(v) = 2 + 0 - 3 - 2 + 23*v. Is a(2) a composite number?
False
Suppose -3*w - 21 = -3*b - 51, 0 = 5*w - 2*b - 44. Let h = -5 + w. Suppose -h*o - 5*t + 0*t = -343, 0 = 3*o - 2*t - 308. Is o composite?
True
Let y(t) = 30*t + 53. Is y(14) prime?
False
Let f be (-3)/(((-3)/3)/1). Suppose t - f*t = -290. Is t a composite number?
True
Suppose -3*w = -2*w - 16. Suppose -w = -2*a + 3*g, -2*g - g - 26 = -4*a. Suppose 2*u - a*u = -507. Is u a composite number?
True
Let u be 18/5 - 2/(-5). Suppose 0 = -4*k - q + u*q + 274, 3*k - 195 = -3*q. Is k prime?
True
Let m(y) = y**2 - 3*y + 479. Is m(0) composite?
False
Let j(d) = -63*d - 4. Is j(-7) a composite number?
True
Suppose 3*c = 2*f - 0*f + 80, 2*c + 5*f = 28. Suppose 0*p - 2*p = -4*m + c, 3*p + 12 = 0. Is (2/m)/(1/154) a prime number?
False
Let h = -8 + 8. Suppose 21 = 3*q + 6, h = -3*i - 4*q + 962. Let o = i - 187. Is o a composite number?
False
Let g = 2 - -5. Let h(a) = a + 5*a + 0 + 0 + a**2. Is h(g) a composite number?
True
Suppose 0*b + 1 = b. Let u = b - -2. Suppose 25 = 2*j - u. Is j prime?
False
Suppose -2*p + 30 = 3*r - 281, p - 4*r = 128. Suppose -p = -4*w + 812. Suppose 2*f = 2*j + w, 2*f = 3*j + 236 + 3. Is f a composite number?
True
Suppose -2*u - u = -4*x - 4, 5*x - 5*u = 0. Is 2/x + 39/2 a prime number?
True
Let j(q) = q - 5. Let v = 16 - 9. Let i be j(v). Suppose 212 = 6*b - i*b. Is b a prime number?
True
Let z(h) = h**3 - 7*h**2 + 6*h - 4. Let y be z(6). Let a be (2/y)/(4/(-304)). Suppose -5*s - 3 + a = 0. Is s composite?
False
Let m = -21 - -40. Is m a prime number?
True
Let w(p) = 62*p**2 + 14*p + 7. Is w(-8) a composite number?
False
Suppose -5*t = -n - 6578, 3*n = 3*t - t - 2639. Is t composite?
True
Is (102 + 9)*(-1)/(-3) a composite number?
False
Suppose -3*o + 5*q = 4444, -3*o - 7400 = 2*o - 5*q. Let l = o - -3451. Is l a composite number?
False
Is (-11 - -11)*(-2)/6 + 2149 a prime number?
False
Suppose 4*g + g - 11241 = -4*h, 4*g - 8972 = 2*h. Is g a composite number?
True
Let a = 180 - -227. Is a a composite number?
True
Suppose 2*d - p - 283 = 0, 6*d - 3*d - 420 = 3*p. Is d a prime number?
False
Let q(u) = -2*u - 7. Let c be q(-5). Suppose -c*o + 106 = 5*d - 78, -5*o + 4*d = -245. Is o a composite number?
False
Let c(u) = -u**3 - 6*u**2 - 7*u - 6. Let l be c(-7). Let y = 37 + l. Is y a prime number?
False
Suppose 0 = -3*f + f + 138. Suppose -9 = -5*q + x - 170, 0 = -3*q - 5*x - 91. Let a = q + f. Is a composite?
False
Let g = 658 - 359. Is g prime?
False
Suppose -1 = -3*y - 22. Let m = 62 - y. Is m composite?
True
Let i(p) = 318*p**3 - 2*p + 1. Is i(1) a composite number?
False
Let n be (-249)/(-6) + (-1)/(-2). Let a = n + 176. Is a a composite number?
True
Let o(c) = 0*c**3 + 0*c**2 - c**2 + 3 - c**3 + 2*c. Let g be o(-2).