 prime number?
True
Suppose 2*k + 3*c - 371 - 510 = 0, 5*k + c = 2170. Suppose 3*u = 5*i - 2180, -5*u + 31 = i - k. Is i a prime number?
True
Suppose -g + 12 = 2*f + 4, -f = -g + 2. Suppose 4*w - z + 3*z - 1890 = 0, w - 3*z - 462 = 0. Suppose 5*l = f*l + w. Is l a prime number?
True
Suppose -4*r + 480 = -0*r. Let y be (-4)/(-14) - r/(-21). Suppose 2*m - y*m = -56. Is m prime?
False
Suppose 3*j = 2*q - 24, -3*j = 2*q - 0*q. Suppose -n + q*n = 35. Is n a prime number?
True
Let m(i) = -3 - 1 + 15 - 11*i + 5. Let d be m(-7). Let f = d + -56. Is f composite?
False
Let i be 20400/54 + (-2)/27*-3. Suppose k - 321 = i. Is k a composite number?
True
Let d = 1 + 29. Let q = d - 17. Is q a composite number?
False
Let p be 5 + (-2 - -1) - 2. Let h(c) = 0*c**2 + c**3 - 2*c**p - 4*c**2 + 10*c - 6. Is h(7) a composite number?
False
Suppose j = -j. Suppose d + 70 = 5*t, 2*t + j*d - 4*d = 28. Is 1028/28 + 4/t prime?
True
Let p(f) = 13*f**2 - 3*f + 3. Let m be p(3). Suppose -4*r = -13 + 5. Suppose -r*w + m = w. Is w composite?
False
Let r = -1790 + 2550. Suppose -r = 3*m - 1927. Is m composite?
False
Let x = 4476 + -2763. Suppose 0 = -40*f + 43*f - x. Is f composite?
False
Let a(s) = -59*s + 7. Let u be a(-6). Suppose -5*t = 10, 3*f - 5 = 2*t - 4*t. Suppose 163 + 202 = f*w + 4*y, -3*w = 5*y - u. Is w composite?
False
Let r(w) = 24 + w - 12*w + 6*w. Is r(-11) prime?
True
Let v be 4/20 - (-434)/5. Let l = 200 - v. Is l composite?
False
Let j(f) = -23*f - 11. Let o be j(-9). Suppose 3*p = -o + 1603. Is p a composite number?
True
Suppose 2*r + 3*v - 12068 = 0, -r - v + 6033 = -0*r. Is r a prime number?
False
Let j = 39 - 37. Is -3 + -268*j/(-2) a composite number?
True
Let h(w) = -8*w**3 - 7*w**2 - w + 3. Let u be h(6). Let k = 2936 + u. Is k a prime number?
True
Let t be ((-264)/(-66))/((0 + 1)*-1). Suppose 3*h - 10 = 2*f - 4, f + 6 = 3*h. Is (-5)/(h*t/56) a composite number?
True
Let m be (1 - 0)/(-2)*-8. Suppose -m*c - 11 + 191 = 0. Let z = 119 - c. Is z prime?
False
Is 541504/(-64)*-1*1 a composite number?
False
Let i(q) = 9*q**2 + 27*q + 179. Is i(-16) a prime number?
False
Let d(j) = -2*j - 4. Let k be d(-7). Let y(x) be the third derivative of 9*x**4/8 - x**3/2 + 3*x**2. Is y(k) prime?
False
Suppose 7*v - 5200 = 8191. Is v prime?
True
Suppose 4*o = 152 + 5300. Let l be (-5*20)/((-6)/(-27)). Let t = l + o. Is t composite?
True
Let t = 105 - 278. Let s = 300 + t. Is s composite?
False
Is ((-226915)/10)/((-2)/4) - 0 a prime number?
False
Let r(z) = 2*z**3 - 6*z**2 - 16*z + 9. Suppose 5*j - 13 - 17 = 0. Is r(j) composite?
True
Let d be 4 + (3 - 0) + -4. Suppose -d*r + 2*r + 285 = -4*v, 0 = -2*r - 5*v + 596. Is r prime?
True
Let t(q) = 25*q**2 + 58*q**2 - 31*q**2 + 2*q - q - 19. Is t(12) prime?
True
Suppose 2*t - 4893 = -4*c - c, 9778 = 4*t + 2*c. Is (-1)/(2/t*-2) a composite number?
True
Let i(y) = 2 - 14 - 33*y + 9 - 22. Is i(-20) a prime number?
False
Suppose 2*o - 16 = 4*r - 2*o, 5*r - 7 = -4*o. Let i be 32 + (70/2)/(-5). Is (-5)/r*105/i composite?
True
Let a be (-1 - -5)*(6 + -4). Suppose -4*d = -6*d - a. Is 1698/(-1 - d) - 0 prime?
False
Is 361686/8 - 3 - 105/(-84) composite?
True
Suppose 4*h + 2*q - 30162 = 0, -62*q + 57*q + 7518 = h. Is h prime?
False
Suppose 4*p - 614 = 2*s, 5*s - 181 = -3*p + 2*p. Suppose -6*o + p = -48. Is o a prime number?
False
Suppose -5*p - 1125 = -10*o + 5*o, 0 = p + 4. Is o a prime number?
False
Let x(l) be the third derivative of l**6/120 + l**4/24 + l**3/2 - l**2. Suppose -b + 2*u = -5, 0 = 2*u + 3 - 1. Is x(b) a prime number?
False
Let x(s) = -s. Let a be x(0). Let l = -445 - -652. Suppose -4*c + 2*c + 4 = a, -3*o + 3*c + l = 0. Is o composite?
False
Let v(j) be the first derivative of -j**4/4 + 5*j**3 + 15*j**2/2 - 7*j - 10. Suppose 2*f + m - 12 - 14 = 0, -3*f = m - 41. Is v(f) a prime number?
False
Let d(q) = 25*q**3 - 1. Let s be d(-1). Let a(i) = 34*i - 9. Let v be a(2). Let r = v + s. Is r a prime number?
False
Suppose -2*u + 67085 = 3*l, -66*u - 167738 = -71*u + l. Is u a prime number?
True
Is -11*4/(-176)*14108 a composite number?
False
Let k be 9/15 + 34/10. Let y(g) = -44*g - 2. Let m be y(-11). Suppose -3*o + m = -o + k*l, 5*o + 4*l = 1193. Is o a composite number?
True
Suppose 4*y = -3*a - 7, 0*y - a + 5 = 5*y. Let u be -92 - 1*(y - 1). Let q = -14 - u. Is q prime?
True
Is 81/(-9) - (-1 + -89599) a composite number?
False
Let f(i) = -6*i - 19. Let c be f(13). Let q = -20 + c. Let w = q - -512. Is w a composite number?
True
Let v(q) = -4*q**3 + 11*q**2 + 11*q + 18. Let s(f) = -5*f**3 + 10*f**2 + 11*f + 19. Let p(d) = -5*s(d) + 6*v(d). Let g = -55 - -41. Is p(g) composite?
False
Let f be 18/45 + (-254)/10. Let r be (-1)/5 - 2655/f. Suppose 4*k - r - 142 = 0. Is k a composite number?
True
Suppose 0*m = 2*o - 3*m + 1, 0 = -3*o + 3*m. Is (4344/(-20))/(6/(-15)*o) a composite number?
True
Let w(x) = x**2 + 6*x + 6. Let a be w(-4). Let y(o) = -18*o**3 - 3*o - 1. Is y(a) composite?
False
Let i = -15 - -21. Suppose i = -0*t + 3*t. Suppose 0 = 5*u - f - 19 - 14, t*u + f - 16 = 0. Is u a composite number?
False
Is -2335*(-2)/(-3)*(-6)/10 composite?
True
Let x(j) = -j**3 + 8*j**2 + 9*j + 11. Suppose -p - 5 = -14. Is x(p) composite?
False
Let c(o) = o**2 - 17*o - 31. Let x be c(18). Let t = x - -44. Is t a prime number?
True
Let b(g) = g**3 + 6*g**2 - 2*g - 11. Let i be b(-6). Is i/(15608/(-3122) + 5) prime?
False
Let p be (-1)/(3/15) - -1. Is 1911 + -4 + (p - -12) a prime number?
False
Suppose -2*u = 0, -5*h = -5*u - 0*u. Let w = 20 - 0. Suppose 9 = 4*k + 3*i, -4*i + h*i - w = 0. Is k prime?
False
Let z(j) = -14*j + 6*j**2 + 47 + 5*j**2 - 5*j**2 - 38. Let c be z(-9). Suppose -4*r = -20, 2*k - c + 25 = -2*r. Is k a prime number?
True
Let z(i) = 164*i**2 + 13*i - 11. Is z(10) composite?
False
Is -1*(-6 - (6470 - 7)) prime?
True
Let g(c) = 3*c**2 - c + 1. Let v = 13 + -1. Suppose -s = 3*s + v. Is g(s) composite?
False
Suppose -4*k - 20 = 0, 8216 = t + 2*k - 7*k. Is t a composite number?
False
Let l = -206 - -868. Let q = l + -269. Is q composite?
True
Suppose -7061 = 18*y - 108563. Is y a composite number?
False
Suppose 0 = -5*b - 3773 + 30318. Is b a composite number?
False
Is 260 - (-4 + -5 + 15) a prime number?
False
Let t(c) = -c**3 + 6*c**2 - 5*c. Let p(k) = k**2 + 7*k + 4. Let z be p(-7). Let n be t(z). Is 20*(-2 + 111/n) a composite number?
True
Suppose -3*w + 16134 = 4233. Is w prime?
True
Suppose -1725 = -11*x + 16*x. Suppose 2*k = -2*s + 1280, 640 = 4*k - 3*k - 2*s. Let y = x + k. Is y a prime number?
False
Let k(h) = h**3 - 22*h**2 - 24*h + 26. Let g be k(23). Suppose 0 = 3*a + 15, -2*p - g*a + 48 = a. Is p a composite number?
True
Suppose -2*l = -8485 + 1803. Suppose 2*f = l + 4397. Is f composite?
True
Suppose -3*v = -2*u - 2, -7*u + 2*u + 20 = 5*v. Suppose -u*i - 115 = -401. Is i a prime number?
False
Is 6/(-36)*-2*879 composite?
False
Suppose -7*i + 8*i - 2*w - 1 = 0, -4*i + 26 = 3*w. Suppose -2*o + 3647 = i*o. Is o a prime number?
True
Let u(i) be the third derivative of 29*i**4/8 - 2*i**3/3 + 12*i**2. Suppose n + 2 = 5. Is u(n) prime?
True
Let d be 3*(-1)/(-3)*3. Suppose 0 = 2*g + 2*g, 4*g - 714 = -d*f. Let n = 135 + f. Is n a composite number?
False
Let q be (-4)/(-10)*(7 + 3). Suppose -q*o - 499 = -1451. Let x = o - -179. Is x a prime number?
False
Suppose -r - 2*m + 4 = m, 0 = -5*r - 5*m + 30. Suppose 3*v - r*v = -10316. Is v a prime number?
True
Let y(h) be the first derivative of h**4/4 - 16*h**3/3 + 21*h**2/2 - 35*h + 22. Is y(16) a composite number?
True
Let b(v) = 27*v**2 + 29*v + 11. Is b(9) a prime number?
True
Suppose -11*f + 2691 = -2468. Is f a composite number?
True
Let m be 4/(-6) + 1138/6. Let l = m - 321. Let j = l + 245. Is j a composite number?
False
Suppose -11 = -s + 2*v, -2*v + 13 = 2*s - 3*v. Let a be (14/(-2))/(s + -6). Suppose 0 = a*g - 4*g - 465. Is g prime?
False
Let i(r) = 24*r + 2*r + 20*r + 27*r + 1. Is i(1) composite?
True
Suppose 5*d - 3*s - 38090 = 0, -2*d - 11*s + 15262 = -7*s. Is d prime?
True
Suppose x - 14 = 6. Let i = x + -20. Suppose 0 = 2*a - i*b - 3*b - 413, -3*a + 2*b = -612. Is a prime?
False
Suppose 2*i - 787 - 123 = 0. Suppose i + 3260 = 5*y. Is y prime?
True
Let d = 503 - 201. Suppose -2*z - d = -748. Is z composite?
False
Suppose 3*g + 88 = -0*t + 5*t, -36 = -2*t 