 504 = 0. Is d a composite number?
True
Let r = -70 - -113. Let x = -73 + r. Let m = -20 - x. Is m composite?
True
Let y(l) = -19*l - 22. Let u be y(-9). Is 1*u*(7 + -6) a prime number?
True
Let s(l) = 29*l**2 - 2*l + 3. Let v be s(2). Suppose 4*y - 3*n = 8, 2*n - 11 = -3. Suppose 3*x - w = 6*x - v, 2*x + y*w - 94 = 0. Is x composite?
False
Let s(a) = 30*a - 13. Is s(9) prime?
True
Let q(x) = 7*x**2 + 2*x - 7. Suppose -2*h + 6 + 4 = 0. Let t be q(h). Suppose 5*j + 4*p - 513 + t = 0, -268 = -4*j + 3*p. Is j a prime number?
True
Suppose a + 4 = 1. Let m(k) = 21*k**2 + k - 7. Is m(a) a prime number?
True
Suppose 0 = -62*x + 58*x + 4876. Is x composite?
True
Let z(k) = -k**2 + 2*k - 1. Let q be z(1). Suppose -5*j - 3*h - 120 = q, 4*j + h + 42 = -47. Let t = 83 + j. Is t prime?
False
Let f(v) = -411*v**2 + 1. Let n be f(-1). Is (-1 - n)/((-3)/(-3)) composite?
False
Let g(v) = 75*v**2 + v + 2. Let x be g(-2). Suppose 0 = -o + x - 37. Is o composite?
False
Let h = 0 - 6. Let j(k) = 6*k**2 - 7*k + k**3 - 1 + 0*k**2 - 4. Is j(h) a prime number?
True
Suppose 0*y + 4*a = -3*y + 83, -5*y + 120 = 3*a. Suppose 4*w - w = y. Is w a prime number?
True
Let h(c) = -c**2 + 5*c + 6. Let f be h(5). Suppose -4*t = -t + 6. Is 80/6 + t/f a prime number?
True
Let b = -298 + 687. Is b prime?
True
Suppose -12*z - 493 = -13*z. Is z a prime number?
False
Is 7*46*(-1)/(-2) prime?
False
Let y(p) = 239*p**2 - p + 1. Is y(1) composite?
False
Let q(v) = -v - 2. Let z be q(-2). Is (19 - z/3)*1 prime?
True
Is 12582/30 + (-4)/10 a prime number?
True
Let u = -2524 - -650. Is (-2)/11 - u/22 a composite number?
True
Let k(v) = -6*v**3 - 13*v**2 + 4*v + 4. Let r(s) = 7*s**3 + 13*s**2 - 4*s - 4. Let h(b) = -6*k(b) - 5*r(b). Let t be h(-13). Let l = t + -34. Is l prime?
False
Let g(u) = u**2 - 6*u - 4. Let y be g(6). Is y/(-6) - (-80)/6 composite?
True
Suppose 0 = -21*k + 18*k + 435. Is k a composite number?
True
Let w = -137 + -20. Let x = w + 246. Is x a prime number?
True
Is (-4)/(14/(-7)) + 2 + 885 prime?
False
Suppose 15 + 3 = -3*z. Let k(m) = -2*m - 9. Let x be k(z). Suppose 0 = x*q - 910 - 95. Is q prime?
False
Let a be (3 + -2 - -6)/1. Let h be -1 - (0 + -2 + a). Is ((-316)/h)/((-4)/(-6)) prime?
True
Let n be ((2 - 1) + -1)/1. Suppose 5*h - 2*i - 1 - 7 = n, -h = -5*i + 3. Suppose -h*a = -12 - 106. Is a a prime number?
True
Suppose 4*w = 5661 + 1895. Is w a prime number?
True
Let s(a) be the first derivative of 5*a**3/3 - a**2/2 - 7*a + 7. Is s(-6) a prime number?
True
Let q be (-3)/6*8 + 1. Is 225 + -5 + (-9)/q a prime number?
True
Let c be (-94)/(-6) + 5/15. Suppose 0 = -l + p + 63, -2*p + c = 2*p. Is l prime?
True
Suppose 2*k = g + 2699, -10*g - 6742 = -5*k - 13*g. Is k composite?
True
Let v = 284 + 27. Is v composite?
False
Let v(s) = 13*s**3 + 3*s**2 - 3*s + 5. Let m(i) = -38*i**3 - 8*i**2 + 8*i - 14. Let l(c) = 4*m(c) + 11*v(c). Is l(-2) prime?
False
Let d(z) = -z**2 + 9*z - 10. Let o be d(8). Let f be 18/4 - (-1)/o. Suppose -2*h + f*h = 5*q + 598, -h + 5*q + 299 = 0. Is h composite?
True
Let h(p) = p**3 - 6*p**2 - 5*p + 1. Let s be h(5). Let d(i) = i**3 - 5*i**2 + 4*i + 4. Let r be d(6). Let g = r - s. Is g a prime number?
True
Suppose 3*n - r - 55 = 0, 7*r + 20 = 2*r. Is (n/(-2))/((-5)/50) a composite number?
True
Is 3/(-4)*-4 + 484 composite?
False
Let c = -1 + -1. Let i be (-1 - -1)/(-1 + c). Suppose -3*o - x + 33 = i, 2*x + x + 11 = o. Is o a prime number?
True
Suppose o = 7*g - 2*g + 83, 5*o + 5*g - 415 = 0. Is o a prime number?
True
Let o be 3 - (-57)/(-6)*-14. Let a = o - 87. Is a a prime number?
False
Let x(j) be the third derivative of 7*j**5/30 - j**4/6 + j**3/2 + 3*j**2. Is x(4) a composite number?
False
Let x(j) = -j**3 + 9*j**2 - 8*j + 6. Let s be x(8). Let u(i) = i**3 - 6*i**2 + 1. Let y be u(s). Suppose h + y = 27. Is h a prime number?
False
Let v(a) be the third derivative of a**5/60 - a**4/4 - a**3/3 - 3*a**2. Let q be v(7). Suppose -q*d + 66 = -4. Is d prime?
False
Let s(g) = -2*g**3 - 12*g**2 + 5*g + 21. Is s(-10) a prime number?
False
Let x be (-26)/91 - 4/(-14). Suppose 2*l - 4*n = l + 239, -2*n = x. Is l a composite number?
False
Suppose 0 = -4*t + 2*t - 4. Is t/3*111/(-2) a composite number?
False
Let c(i) = 4*i**2 - i. Let y be c(1). Let d be 104/6 - (-2)/y. Is 119/9 + (-4)/d composite?
False
Let x(a) be the second derivative of a**4/3 + 5*a**3/6 + 3*a**2 - a. Let l be x(-5). Let g = l + -50. Is g prime?
True
Suppose 0 = -z - 4 + 6. Let w(y) = -3*y**3 - 2*y**2 + 2*y + 1 - 2 + 5*y**2 + z*y**3. Is w(2) composite?
False
Let r(y) = 12*y**2 + 2*y - 2. Let p be r(-2). Suppose 53 = 5*s - p. Is s a composite number?
False
Let f = -2 + 3. Let g(p) = -11*p**2 + p - 1. Let r be g(f). Let d = 36 - r. Is d a composite number?
False
Suppose 96 = f + f. Suppose l = 5*l + m - 60, -4*l = -2*m - f. Is l a prime number?
False
Let x(s) = -45*s - 3. Is x(-2) prime?
False
Suppose 0 = a + 706 - 3639. Is a a composite number?
True
Let m(z) = 2*z**2. Let h be m(-2). Let q = 31 - h. Is q prime?
True
Let d(s) = -s**3 - 2*s + 39. Is d(0) prime?
False
Let r(n) = 1567*n + 10. Is r(3) a composite number?
True
Let d(h) = -h - h**3 - 10*h**2 - 3*h - 1 - 2*h + 3*h**2. Let u be d(-6). Is (u + 0)/((-3)/345) prime?
False
Let l(j) = -j**3 - 2*j - 4. Is l(-5) a prime number?
True
Suppose 2*a = 3*a + 489. Is 3*2/((-18)/a) a prime number?
True
Let o(d) be the first derivative of d**5/10 + d**4/12 + d**3/6 + d**2/2 - 2*d - 3. Let t(u) be the first derivative of o(u). Is t(2) prime?
True
Let s(h) = -2*h - 11. Let o be s(-8). Suppose 2*d - 20 = -2*i - 0, -4*d + 43 = o*i. Let q(t) = 2*t**3 - 11*t**2 + 5*t - 5. Is q(d) a composite number?
True
Let t be (12 - 22)/(-1*2). Suppose -38 = -t*q + 72. Is q a prime number?
False
Let n = -552 + 1239. Is n a prime number?
False
Let b = 632 - 291. Is b a composite number?
True
Let i = 187 + -102. Is i prime?
False
Let q be (-2)/6 + 39/9. Is 474/q + (-2)/(-4) prime?
False
Let k(m) = -6*m + 3. Let y(i) = 12*i - 5. Let p(a) = 7*k(a) + 4*y(a). Suppose 3*n - 27 = -6*t + 2*t, -5*n - 2*t + 31 = 0. Is p(n) prime?
True
Suppose l - 1181 = 2*d, 4*l - 1992 = -3*d + 2776. Is l composite?
True
Let g(q) = 4705*q**3 + 2*q**2 + q - 3. Is g(1) composite?
True
Suppose h - 4*f = 117, -2*f - f = -2*h + 229. Suppose 0*z + z = h. Is z a prime number?
True
Let s be -2 + (-2 - 6/(-2)). Let q = s - -7. Is (-4)/(-6) - (-314)/q a composite number?
False
Let a(t) = 193*t**2 - t - 1. Is a(2) a composite number?
False
Let k = 251 + -124. Is k prime?
True
Suppose -5*t = -r + 11, 3*t = r - 2*r + 3. Suppose -3*d + 0 = -r. Suppose 0 = 3*v - d*v + 4, 19 = 5*f + 4*v. Is f a prime number?
True
Let u = 123 + 1940. Suppose -5*o + u = -0*o - i, -o + 4*i = -405. Is o a composite number?
True
Suppose i - 3 = 4*t, 2*i + 11 = -4*t - 7. Let n be i/15 - 607/(-3). Is n/8 - 2/8 a composite number?
True
Let p(q) be the first derivative of -15*q**4/4 - q**3/3 + q**2 - q + 2. Let v(l) = l**3. Let s(z) = -p(z) - 5*v(z). Is s(1) composite?
True
Suppose f - 19378 = -0*m - m, 0 = 5*f - 25. Is m composite?
False
Suppose -5*q + 2430 = 4*c - c, -q + 484 = c. Is q composite?
True
Suppose -1177 = -5*n + 1168. Is n prime?
False
Suppose -4*i = -3*z - 14 - 3, 3*z = 3*i - 12. Is 267 + -1 + z + 0 a composite number?
True
Let j = 505 - 325. Suppose -3*m = -2*l - 21 - j, m = 2*l + 67. Is m composite?
False
Let t = 5 - 7. Let o be (-1)/t*388*1. Suppose 0 = -3*u + 5*u - o. Is u prime?
True
Let h(i) = i**3 - 5*i**2 - 7*i + 9. Let o be h(6). Suppose 0 = -o*y + 7 + 2. Is 65 + y/3 + 1 a prime number?
True
Suppose 3*v + 1 = -r + 30, 4*v - 4*r = 44. Let f(z) = -z + z**2 - 4*z - 4*z + v. Is f(8) composite?
False
Let o(f) be the third derivative of f**7/840 + f**6/180 + f**5/20 - 3*f**2. Let r(q) be the third derivative of o(q). Is r(7) prime?
False
Suppose 14*s - 4038 = 8*s. Is s a composite number?
False
Let u = -13 - -52. Is u a composite number?
True
Let f(n) = -n - 5. Let q be f(-5). Suppose 0 = 4*d - q*d - 20. Suppose h + d - 15 = 0. Is h prime?
False
Is (10/15)/(8/1428) composite?
True
Let g = 189 - -136. Let w = -231 + g. Is w composite?
True
Suppose -5*a = -0*a - 2335. Is a prime?
True
Suppose 3*o + 0*o - 669 = 0. Is o prime?
True
Let h be (-22)/6 + (-10)/(-15). Is 0 + 1/(h/(-57)) a prime number?
True
Suppose 0 + 4 = 