
Let m(b) = 59*b**2 + 2*b + 1. Is m(-1) composite?
True
Is (-4 - 7)/((-1)/31) a composite number?
True
Suppose -p - 2*p + 165 = 0. Is p a prime number?
False
Let o = -15 + 83. Suppose -o = 3*y - 329. Is y prime?
False
Suppose 6 + 14 = 4*a. Suppose 0 = v - c - 32, 3*c + 125 = -v + a*v. Let w = v - 14. Is w a composite number?
True
Suppose 9 = 3*r + 4*v, 4*r = 3*r - 4*v + 3. Suppose -4*a + r*j + 72 = -a, 2*j + 67 = 3*a. Is a a prime number?
True
Let g(x) = -2*x + 4. Let z = -2 - -8. Suppose 2*k + z = -2*o, -3*k = o - 3*o - 16. Is g(o) a prime number?
False
Suppose 5*s = p, -4*p = -4*s + 20 + 28. Let w = 98 - p. Is w composite?
False
Let q = 112 - 69. Suppose -5*j - 3*t = 12 + 60, -4*t - 28 = j. Let d = q - j. Is d composite?
True
Let x(z) = -29*z**3 - 4*z**2 - 2*z - 4. Let l be x(-3). Suppose 0 = 2*m - m + 5*g - 20, 3*g - 12 = 3*m. Suppose m = 5*k + 114 - l. Is k prime?
True
Let a(t) = 16*t**2 + t. Suppose 3 + 1 = -4*r. Let l be a(r). Suppose 0 = -2*j + l - 1. Is j composite?
False
Let b(f) = -f - 3. Let u be b(4). Let d be ((-3)/2)/(12/(-64)). Is u + d - (-19 + 1) a prime number?
True
Let a be 95/(-3) - (-8)/12. Let m = -10 - a. Suppose v + 2*v = m. Is v composite?
False
Is 793 - 4*1/(-3)*3 composite?
False
Suppose -5*w + 14 = 4*u - 1024, -u + 2*w = -253. Let g = 384 - u. Is g a composite number?
False
Let x = 47 - 25. Suppose 2*n - 21 = 4*a + 217, 0 = -5*a - 2*n - 275. Let c = x - a. Is c prime?
True
Is (-16 + 18)*1499/2 a prime number?
True
Let d be (-3)/((6/(-76))/1). Let h(n) = -n**3 + 5*n**2 - 3*n - 4. Let l be h(4). Suppose -2*o + 24 + d = l. Is o prime?
True
Suppose 125 = -4*x + 441. Is x a composite number?
False
Let n = -839 - -1746. Is n a composite number?
False
Suppose 12*d - 3621 - 9423 = 0. Is d a composite number?
False
Suppose 0 = 2*u - 10, 2*l - 848 = -2*u - 0*u. Is l prime?
True
Suppose -2*r + 153 = r. Suppose -2*z = -5*y - 202, -5*z + 3*y + r + 416 = 0. Is z prime?
False
Suppose -18*f + 14*f + 484 = 0. Is f prime?
False
Let x = -8 - -18. Suppose s + x = 103. Is s prime?
False
Is 5/(15/2) - (-336)/36 composite?
True
Let c be (-4)/8*(-469 - -3). Suppose 3*g + c = 794. Is g a prime number?
False
Suppose -12 - 10 = 2*q. Let b = q + 32. Is b composite?
True
Let m(s) = -1 - 3*s + 10*s**2 + 0*s - 4*s. Is m(-6) composite?
False
Suppose 0 = -5*r - 5*x + 70, -4*r + 2*x + 33 = 7. Suppose -r = j - 0*f + 2*f, 4*j - 5*f + 75 = 0. Is 445/j*(-3)/1 a prime number?
True
Let w be (-3)/(-5) + 368/(-5). Let g = 131 + w. Suppose -2*f = 4*j - g, 3*j + 0*f + 3*f = 42. Is j composite?
True
Let y = -32 - -46. Is y a prime number?
False
Suppose -2*h - 5*f = -473, 6 = 5*f - 3*f. Suppose h - 1 = -2*p. Let t = 161 + p. Is t a prime number?
True
Is (-4)/(-30) + 302519/345 prime?
True
Suppose -5*w + 29 - 4 = 0. Is w - 0 - (6 + -8) composite?
False
Is (0 - 1)*((-16)/(-4) - 195) a prime number?
True
Suppose -4*q = q - 3*p - 18, 1 = -q - 4*p. Suppose 2*h - q*n + 67 + 44 = 0, -3*n - 51 = h. Let z = -17 - h. Is z a prime number?
True
Let g be (-354)/18 - (-4)/6. Is 2 - (g/1 + -2) composite?
False
Let k = 9 - 6. Suppose k*z - m - 5 = 0, z - m + 13 = 3*m. Suppose -5*s = 5*r - 165, 0*r + 2*r = -z*s + 62. Is r a composite number?
False
Suppose 3*h + 4*o = 18, -5*h + 4*o + o = 5. Is h/13 + 41019/143 composite?
True
Let d(t) = -t**2 - 6*t + 3. Let b be d(-6). Suppose b*q - 55 = 11. Is q a prime number?
False
Let w(l) = 16*l - 19. Let f(v) = -16*v + 18. Let t(h) = 6*f(h) + 5*w(h). Is t(-6) a composite number?
False
Let j be (28/12)/(2/(-108)). Let n = -269 - j. Let h = n - -222. Is h a prime number?
True
Suppose -3*a - d + 8724 = 0, -3*d - 4237 - 7408 = -4*a. Is a a prime number?
True
Is (-12)/(-18)*(-177)/(-2) a composite number?
False
Let c(y) = -y**3 + y + 2. Let m be c(2). Is 2*(-106)/16*m a prime number?
True
Suppose 3*o - 9757 = -4*l, 0*l = 5*l + 3*o - 12194. Is l composite?
False
Is (337/2)/((-1)/(-2)) composite?
False
Suppose 3*y + 27 - 120 = 0. Is y a prime number?
True
Let w = 44 - 101. Let i = w + 116. Is i a prime number?
True
Suppose 0 = -4*f - 4*r - 12, -3*f + 3*r = 4*r + 3. Suppose f = -5*j - 0*j + 15. Suppose 5*p + 690 = j*x, -5*x + p = -x - 937. Is x a composite number?
True
Let p(q) = 77*q**3 + q**2 + 5*q - 4. Is p(3) a prime number?
True
Let p = 78 + -156. Let w = -11 + 138. Let t = p + w. Is t composite?
True
Let c(k) = k**2 + 2 - 2*k + 1 - 1. Let x be c(3). Suppose -x*l + 94 = -141. Is l composite?
False
Suppose -378 = -5*i + 67. Is i composite?
False
Suppose -s - 2*s = -12. Suppose v = 5*v - s*c - 16, -c = 5*v - 44. Is 122/v - 4/16 a composite number?
True
Suppose -4*g = 2*b - 3 - 19, 2*g - 2 = 2*b. Suppose -2*u = g*a + a - 29, 5*a - 35 = -5*u. Is 0 - 10/(u/(-2)) prime?
False
Let c(a) = a**3 - 3*a**2 - 3*a. Let y be 44/12 - (-1)/3. Let i be c(y). Suppose i*b + 21 = 5*b. Is b prime?
False
Let x = -108 + 53. Let k(a) = a**2 - 3*a. Let q be k(2). Let w = q - x. Is w a composite number?
False
Let z(o) = 2*o + 5. Let k be z(-4). Is 268/(-8)*(k - -1) prime?
True
Let g(m) = m**2 + 4*m - 5. Let l(s) = s - 1. Let y(f) = g(f) - 3*l(f). Let b be y(-3). Is 1 + 1 + b/4 prime?
True
Let w = 2186 + -1333. Is w a composite number?
False
Let t be 942/22 + (-10)/(-55). Let l = 178 - t. Suppose l = -4*o + 1187. Is o a composite number?
False
Let b(v) = v**3 + 7*v**2 + 8*v + 7. Let j be b(-5). Suppose 0 = 5*h - j - 78. Is h a composite number?
False
Suppose 1579 = 4*x - 4*s - 1561, 3152 = 4*x + 2*s. Is x composite?
False
Suppose 4*v - 408 = -4*o, 300 = 3*o - 5*v - 38. Let l(w) = w**2 - w - 2. Let h be l(3). Suppose -h*r = -o - 90. Is r a composite number?
True
Let y = 190 + -134. Let z = 35 + y. Suppose a = 2*f - 65, -5*a = 4*f - z - 74. Is f composite?
True
Suppose -5*w + 19 + 6 = 0. Suppose -w*p + 0*p + 20 = 0. Suppose -4*n = -0*n, -p*s - 3*n + 152 = 0. Is s composite?
True
Let d(y) = y**2 + y - 1. Let z(a) = -6*a**2 - 5*a + 4. Let w be 5/(-1 + 0 + 0). Let x(l) = w*d(l) - z(l). Is x(-6) composite?
False
Suppose -n + 9 = -g + 2*g, 2*g = n + 3. Suppose -j = b + 3*j + 5, 0 = -g*b - j + 10. Is b prime?
True
Let k be 14/((-1)/(1/(-1))). Is ((-2)/4)/(k/(-168)) composite?
True
Let o be 7 + (-1 - (-1 - -3)). Is (34/o)/(1/38) a prime number?
False
Let t(k) = 9*k**2 + k + 1. Let x = -3 + 2. Let z be t(x). Suppose -l + z = -5*g, 4*l = -4*g - 8 + 44. Is l composite?
True
Suppose -4*k + 8*k = 1028. Is k a composite number?
False
Suppose 2*s - 2 = -6. Is s/4 + 134/4 prime?
False
Suppose -4*g + 382 = 5*k, -g + 25 = 3*k - 200. Suppose -3*c + 4*h + k = 0, -h - 57 - 20 = -3*c. Is c a prime number?
False
Let f(i) = -i + 6. Let n be f(-6). Suppose 0 = 8*a - n*a + 1484. Is a a prime number?
False
Let i = 12 - 10. Suppose 0 = i*t - 510 + 76. Is t a prime number?
False
Let d = -2 + 8. Let p(g) = g**3 + g - 1. Let f(v) = v**3 + 7*v**2 + v - 10. Let u(x) = f(x) - 2*p(x). Is u(d) composite?
True
Let z = 36 + 10. Let l = z + 47. Is l a composite number?
True
Suppose 3729 = k + 2*k. Suppose -5*q + 0*q = 4*s - k, -5*s = -q - 1590. Is s a composite number?
False
Suppose -2*b - 60 = 4. Let v = b + 55. Is v a composite number?
False
Suppose -2*w - 187 = 3*f, -f + w - 42 = 12. Let l = -40 - f. Is l composite?
False
Let w(k) = -k - 1. Let p be w(-5). Suppose 5*f = -4*n + 5*n - 1, -3*n + 3 = p*f. Let l(i) = i + 37. Is l(f) a prime number?
True
Let y(i) = -i**3 + i**2 + 8*i + 9. Let c be 4/8*(-12 - 0). Is y(c) a prime number?
False
Let h = -3945 + 5638. Is h a prime number?
True
Suppose -f + 142 = -0*f. Is f a composite number?
True
Let t be (0 + -1)*(-1 + -6). Let p(j) = 7*j**2 + j**2 - j**3 - t + j**2 + 12*j. Is p(10) prime?
True
Let r(g) = 5*g - 2. Let z be r(5). Suppose -c = -0*x - 4*x - 19, 4*c = 2*x + 20. Suppose -2*b - z = 2*o - 259, -c*b = 4*o - 475. Is o composite?
True
Suppose -r = -4*m - 18, 0*m + 26 = 5*r - 4*m. Suppose 5*k - 3*i - i = 2, -5*k + 14 = r*i. Is ((-37)/(-2))/(k/4) a composite number?
False
Let r = 10 + -7. Suppose 0 = f - r*f + 154. Is f prime?
False
Let b = -5 + 8. Suppose -b*n = -7*n + 16. Suppose n*v + 6*f = 3*f + 146, -3*f = v - 41. Is v prime?
False
Suppose 0 = t - 1382 - 1091. Is t prime?
True
Suppose 1185 + 731 = 4*s. Is s prime?
True
Suppose -3*c + 2*c - 1 = 0. Let r = c - -14. Is r a composite number?
False
Let c(w) = 5*w**2 - 8*w - 7. Let q be c(6). Suppose -75 