alse
Suppose 2569 + 2407 = 16*r. Is r a prime number?
True
Suppose -3*j = -2*j + 2*q + 1, 5*j - 25 = 5*q. Let r = 260 - 154. Suppose f = j*f - r. Is f composite?
False
Let s(c) = 97*c - 31. Is s(6) composite?
True
Is (-981)/(-6)*8/6 prime?
False
Let r(m) = -64*m - 1. Let h be r(-1). Let n be 1/(2 + h/(-30)). Let z(t) = -12*t + 13. Is z(n) prime?
False
Let u = 1 + 25. Is u composite?
True
Let c(l) = 36*l**2 + 6*l - 5. Suppose -y + 20 = 4*y. Let a be c(y). Suppose 5*r - a = -0*r. Is r a composite number?
True
Let d(r) = -90*r**3 + 3*r**2 + 3*r + 1. Is d(-1) composite?
True
Suppose -5 = h - 0*h. Let s = 93 - 51. Let m = s + h. Is m composite?
False
Let q(x) be the second derivative of x**5/20 + 7*x**4/12 - x**3 + 5*x**2 - 4*x. Let j be q(-8). Is 753/9 + 4/j prime?
True
Suppose 3*o - 5 - 3 = p, 3*o = 3*p + 12. Is (o - 1)/((-3)/(-69)) prime?
True
Let j = 94 + -24. Let l = j - 33. Is l a prime number?
True
Suppose 5*s = -0 + 30. Suppose -3*f + s = 0, 0*x - 55 = -3*x + f. Is x prime?
True
Let h(n) = -16*n**3 - 3*n**2 - n + 1. Is h(-2) composite?
True
Suppose -120 + 2106 = 2*j. Is j a composite number?
True
Suppose 3 + 0 = r. Let v be ((-10)/(-4))/(r/6). Is ((-99)/(-15))/(1/v) a prime number?
False
Suppose -8218 = -2*k + 9*y - 7*y, -8228 = -2*k - 3*y. Is k composite?
False
Is 5 + -4 + 155 + 1 prime?
True
Let o(d) = -d**3 - 3*d**2 - 7*d + 4. Is o(-5) a composite number?
False
Let y(n) = 106*n + 67. Is y(6) prime?
False
Let i be 0 + (127 - (-2 + -1)). Let b = 307 - i. Is b composite?
True
Suppose r - 5*r = -2*d + 62, -5*r = 2*d - 107. Suppose -3*i = -4*k - 56 - d, i = -3*k + 28. Is i prime?
True
Let s = 11 - 9. Let b(m) = 6 + 10*m - m**2 + 0*m**s + 0. Is b(9) a prime number?
False
Let q be (6/5)/(2/5). Suppose -10 = 4*a + 3*s, 2*a - q*a - 4*s = -4. Let l(j) = -66*j - 1. Is l(a) composite?
False
Let z(p) = 2*p**2 - 24*p - 19. Is z(13) a composite number?
False
Suppose -3*p + 564 = -3*f, 0*f - 3*p + 940 = -5*f. Let s = f - -83. Let h = -26 - s. Is h a composite number?
False
Let c(w) = 5*w**2 + 3*w + 7. Let k be c(-7). Suppose -5*z - 5*y = -45, -11 = -4*y + 9. Suppose -5*n = z*p - 633, -k = -3*n + p + 159. Is n composite?
True
Suppose -2*p + 12 = -3*h + 2*p, -h - 3*p = -9. Suppose -3*j + 66 = -30. Suppose 2*c + 3*k - j = -14, -3*k = h. Is c prime?
False
Let s(v) = v**2 - 6*v + 4. Let q be s(6). Suppose d - q*l = -59, 0*d + 3*d = 5*l - 198. Let f = 150 + d. Is f prime?
True
Suppose 3*i = 3*y + 2*y + 160, 0 = -5*i + y + 274. Is (6/(-3) - -5) + i composite?
True
Let h = 13 - 0. Is h a composite number?
False
Suppose -3*x - 710 = -8*x + z, -5*x + 710 = 4*z. Is x composite?
True
Suppose 0 = x - 2*p - 525, 2*x - 5*p - 1052 = -0*x. Is x composite?
False
Suppose -2*y - 5*o + 392 = 0, -4*y = -2*y - 2*o - 378. Is y a prime number?
True
Suppose 4*j = -2*v + 4*v + 8866, 5*v = 3*j - 6632. Is j a prime number?
False
Suppose 0 = -u - 5*u + 18. Suppose -g - 5 = a - 19, -a = -u*g - 14. Is a a prime number?
False
Let z(g) = -10*g**2 - 2*g + 14. Let b(l) = -31*l**2 - 6*l + 41. Let v(m) = -3*b(m) + 8*z(m). Is v(4) prime?
False
Suppose 1349 = 5*u + 34. Is u a prime number?
True
Let i(k) = 64*k**2 + 1. Suppose -3*y = -0*y + 3. Is i(y) a composite number?
True
Let d = 2913 + -1274. Is d prime?
False
Is (3/6)/(1/1094) a prime number?
True
Suppose 4*m - 5*m = -541. Is m a prime number?
True
Let i(a) = a - 1. Let x be i(3). Suppose -15 = -x*t - 2*o - 3*o, 4*t - 2*o = 18. Suppose -4*u - 6 + 80 = 5*b, 0 = t*u - 3*b - 111. Is u prime?
False
Suppose -6*a = a - 987. Is a a prime number?
False
Let d = 303 + 106. Is d a composite number?
False
Suppose 45 = 5*n + 3*t + 6, 0 = -5*n + 3*t + 21. Is n/9 - 355/(-3) a composite number?
True
Let x = 269 - 104. Let u = x + -59. Suppose -g = g - u. Is g a prime number?
True
Let i(r) = -2*r**3 - 15*r**2 + 3*r - 1. Is i(-12) composite?
False
Let h(f) = 0 - 20*f**2 - f + 56*f**2 - 2*f + 2. Let u be h(2). Suppose -4*m + 450 = -0*m - 2*i, 0 = m + 5*i - u. Is m a composite number?
True
Let h(u) = 17*u**2 + 4*u + 2. Let w(x) = x**3 - 6*x**2 + 7*x - 1. Let z be w(5). Let p be (-2)/z + 75/(-27). Is h(p) a composite number?
True
Let g be (-6)/21 - (-1754)/14. Let t = g + -42. Suppose 0 = -4*m + t + 57. Is m prime?
False
Let h(a) = 18*a**2 + 2*a - 7. Is h(7) prime?
False
Suppose -2*h + 980 = -5*g - 307, 2*h - 1284 = 2*g. Is h a prime number?
True
Let d = -168 - -588. Suppose 5*i - 174 = -2*x + i, 5*i + d = 5*x. Is x a prime number?
False
Suppose -i - 4*i - 5*c + 100 = 0, 0 = 5*c. Let d = 10 - i. Is (-2)/d - 2364/(-30) a composite number?
False
Let o(i) be the second derivative of i**4/12 - i**3 + 7*i**2/2 + 2*i. Let l(z) = z**2 + 2*z - 2. Let n be l(-4). Is o(n) prime?
True
Suppose 0 = -7*o + 5*o + 402. Is o composite?
True
Let d = -4 + 2. Let r be ((-1)/(-1))/(d/(-4)). Suppose 4*v + 3*l - 185 = 0, 2*v + r*l + 25 = 117. Is v composite?
False
Let x(y) = 49*y - 6. Is x(3) prime?
False
Suppose 4*x = 3*a - 2*a + 15, 0 = -3*x + 5*a + 7. Let l be 1/x - 21276/(-16). Is (-2)/3 + l/6 prime?
False
Let s be 72/7 + 4/(-14). Let r(z) = 5*z. Let f be r(5). Let k = f + s. Is k a composite number?
True
Suppose 4*y - k - 13732 = 4*k, 5*k = 0. Is y composite?
False
Let p(j) = j**2 - j**3 + j - 4*j**2 + 1 + 2*j**3. Let t be p(3). Suppose -2 = -t*d + 58. Is d prime?
False
Let g(h) = 1 + 16*h**2 + 0*h + 2*h - 2. Suppose 5*n - 4 = 6. Is g(n) composite?
False
Suppose -23*k + 20*k + 471 = 0. Is k prime?
True
Suppose -4*i + c + 16 = 0, -5*i + 3 = -0*i + 3*c. Suppose 3*r + 3*a = 549, -561 = -i*r + 2*a + a. Is r a prime number?
False
Let s(j) = -j**3 + 11*j**2 + 4*j - 16. Let f be s(11). Let n = f + -15. Is n a composite number?
False
Let a(h) = -h. Let m be a(-1). Let f be ((-2 + 1)*7)/m. Is (-2)/f + 243/7 prime?
False
Let t(j) = j**3 + 3*j**2 - 4*j + 2. Let i be t(-4). Suppose -i*p + 296 = -52. Is (-3 - (-7)/2)*p prime?
False
Let g(p) be the third derivative of 3*p**5/5 - p**4/12 - p**3/6 - p**2. Let j = -8 + 7. Is g(j) a composite number?
False
Suppose 2*r - 16 = -2*r. Suppose -r*p + 5*n + 665 = p, 0 = 3*p + n - 403. Is p a prime number?
False
Let v = 155 + -76. Is v a prime number?
True
Suppose -5*o - 3011 = -0*b - 3*b, -3*o = 12. Is b a prime number?
True
Suppose g - 5 = 5*h - 3*g, 5*h - 5*g + 10 = 0. Let a(l) = 9*l + 4. Is a(h) composite?
False
Suppose -8*d + 375 = -3*d. Let y = 8 + d. Is y prime?
True
Let a be (-6)/15 + 17/5. Suppose -a*i + 16 = -2*v, -6 = 5*v - 4*i + 20. Is v/(1/(23/(-2))) prime?
True
Let g(o) = 81*o - 5. Is g(4) composite?
True
Let o = -19 + 5. Is (-99)/(-6)*o/(-3) composite?
True
Let q = -105 - -238. Is q a prime number?
False
Suppose 6*p + 3 = 3*p. Let h be (-6)/4 + 3/6. Is (p - -144)/(h + 2) a composite number?
True
Suppose -3*l = -182 - 43. Suppose 2*t - l = 63. Is t a prime number?
False
Let z(x) = 3*x**2 - x + 3. Let y be 3/(-1) + 0/(-1). Is z(y) a composite number?
True
Suppose i - 3*h - 18 = 0, -4*i - 2*h + 0 + 2 = 0. Suppose -5 = g, 4*n - i*g - 19 = 12. Suppose n*w = -16, -v + 3 + 14 = 4*w. Is v prime?
False
Let h(z) = -35*z + 9. Is h(-4) a prime number?
True
Suppose -3*c - 94 - 11 = 0. Let b = 58 + c. Is b a prime number?
True
Is 3/(9/2676) - 3/(-1) a prime number?
False
Suppose 4*j - t - 887 = -2*t, -5*j + 1110 = t. Is j a prime number?
True
Let r(j) = 0*j**3 - 2*j**3 - 2*j**2 - 3 + 4. Is r(-3) a composite number?
False
Let l(u) = -u**3 + 2*u**2 + 2*u + 2. Let n be l(3). Is (3/6)/(n/(-534)) composite?
True
Suppose s + s = 3548. Is 2/7 + s/14 prime?
True
Suppose -2*p + 0 + 4 = 0. Suppose -3*x - d - p*d + 936 = 0, x - 2*d = 327. Is x a prime number?
True
Suppose 2*c = -3*x + 132, 4*c + 2 = x - 42. Suppose x = 5*d - f, -11 = d + 5*f + 1. Suppose -d = -b + 7. Is b composite?
True
Let d(o) = 6*o**3 - 6*o**2 - 6*o + 13. Is d(5) composite?
True
Let k(a) = -135*a - 15. Let j(h) = -43*h - 13. Let r(b) = -21*b - 6. Let n(m) = -4*j(m) + 9*r(m). Let p(x) = 3*k(x) - 25*n(x). Is p(4) a composite number?
True
Suppose -k = 5*k - 5442. Is k prime?
True
Let q(m) = 4*m**2 - 2*m + 1. Let v be q(1). Suppose -v = -3*i, 2*i - 97 = -t - 4*t. Is t composite?
False
Let j(b) = -b**3 - 3*b**2 - b - 1. Let s be j(-3). Suppose t - 12 = -s*t. Suppose 0 = 7*u - t*u - 57. Is u a prime number?
True
Let o = -10 - -12. Let s(t) = 6*t**3 - 2*t**2 - t - 1. Is s(o) a composite numb