 composite number?
True
Is (-4)/6 - 10840/(-24) a composite number?
True
Let c = 1270 - -487. Is c a prime number?
False
Let i be (-4)/5*(-15)/6. Let y(o) = -o**3 - 6*o**2 - 2*o - 7. Let j be y(-6). Suppose -i*z + 36 = -2*d, -j*z + d = 3*d - 62. Is z a composite number?
True
Let y be ((-2)/(-4))/(2/40). Suppose -25 = -5*o + y. Is o composite?
False
Suppose -5*i + 8*i = 2301. Is i a composite number?
True
Let z(c) = 4*c**2 + 5*c + 4. Let f be z(-6). Suppose -2*s = -4*s + f. Is s composite?
False
Let c = 268 + -121. Let p = c + -50. Is p prime?
True
Suppose 3*x = -3*z + 4 + 2, 4*z - 5*x - 8 = 0. Let i(n) = 13 + 0*n**z - n**2 - 2 - n. Is i(0) composite?
False
Suppose 0*v = -v + 2*q + 33, -4*q = -3*v + 103. Let r = -73 + v. Let h = -17 - r. Is h a prime number?
True
Let z = 0 - -4. Is (10/(-5))/(z/(-422)) a prime number?
True
Suppose -4 = 4*a - 72. Let l = 18 + a. Is l a prime number?
False
Suppose -83 = -g + 92. Suppose g = 6*z - z. Is z prime?
False
Is (-27)/(-9) + -2 + 18 a composite number?
False
Let v(o) = -402*o + 7. Is v(-3) a prime number?
True
Let g(b) = -3*b**3 - 13*b**2 - 7*b - 3. Let d(s) = 2*s**3 + 12*s**2 + 5*s + 3. Let f(j) = 4*d(j) + 3*g(j). Suppose 5*z + 0*z = 35. Is f(z) a composite number?
True
Let m = -403 + 967. Suppose 5*g - 540 = -5*n, 5*n = 4*g - g + m. Is n a prime number?
False
Let x(v) be the third derivative of -v**6/120 + v**5/60 + v**4/24 + v**3/6 - v**2. Is x(-4) composite?
True
Suppose 0 = 6*c - 3*c - 5*t + 250, 3*t + 285 = -4*c. Let r = c - -149. Is r a composite number?
True
Is 4/6 - 1009/(-3) a composite number?
False
Let z(m) = 19*m + 3. Let g be z(4). Suppose -380 + g = -w. Is w a composite number?
True
Let c = -9 - -8. Let a be 1 + 5 + c - 3. Suppose -a*v = 16 - 386. Is v a composite number?
True
Let w(l) = l**2 - 4*l - 3. Let y be w(4). Let p(h) = -h**2 + 0 + 3*h + 6*h**2 - 2 + 5*h**2. Is p(y) prime?
True
Suppose -19 = c + 8. Let a = c - -49. Is a a prime number?
False
Let q(j) = -j**3 - j**2 - 6*j - 6. Suppose 0 = -0*s - s + n - 9, 0 = 5*s - 4*n + 40. Let i be q(s). Suppose 3*v - 3*p = 84, -v - 3*p + i = 2*v. Is v prime?
False
Suppose 27 = -2*b - 3*c, 0 = -4*b - 3*c - 24 - 33. Let n be (b/10)/(2/(-4)). Is ((-1)/n)/(1/(-177)) composite?
False
Let c be 1/4 + (-5)/20. Suppose c*i - 10 = -i + 4*o, -2 = -2*o. Is i a prime number?
False
Suppose 0 = -4*m - 2*i - 8, 0 = -m - 5*i + 5 - 25. Suppose 124 = 4*h - m*h. Is h a prime number?
True
Suppose 15*j - 6*j = 387. Is j a prime number?
True
Suppose 11*o - 13535 = 6*o. Is o prime?
True
Suppose -4*z + 73 = -123. Is z a composite number?
True
Suppose -13 + 49 = 3*v. Let p = v - 5. Is p a prime number?
True
Suppose 0 = 9*p - 11*p + 226. Is p a composite number?
False
Is 10/4*647*(-10)/(-25) a prime number?
True
Let f = 2957 - 1902. Suppose 3*q - 1119 = -4*d + 281, -3*d - q = -f. Is d composite?
False
Let g be 0/(-1)*(-3)/3. Let q = 6 + 25. Suppose -o + 0*o + q = g. Is o a prime number?
True
Let r(g) = 18*g. Let z(o) = 2*o. Let q(y) = -6*r(y) + 52*z(y). Let u be q(1). Is 0 + (23 - u/(-2)) a composite number?
True
Let m(v) = 9*v**2 - 2*v + 1. Let q be m(1). Let u(h) = -4*h + 9. Let x be u(q). Let g = 38 + x. Is g composite?
True
Let d = 1 + 3. Suppose 3*o + 12 = 0, 0 = d*p - p + 4*o - 290. Suppose -w - w = -p. Is w prime?
False
Let c = 817 + 582. Is c a prime number?
True
Let g = 8 - 6. Suppose -g*z = z - 6. Suppose 4*t = z*t + 74. Is t a prime number?
True
Suppose 0 = -w + 9 + 13. Let s = w + -7. Is s a prime number?
False
Let d = -5 + 5. Suppose r - 2*h - 11 = d, 3*h - 3 + 15 = 0. Suppose -3*s = -5*u - 17, 4*u - 7*u = r*s - 57. Is s a prime number?
False
Let c(o) = -3*o**3 + 4*o**2 + 6*o - 1. Let g(m) = m**3 - m**2 - m + 1. Let v(t) = c(t) + 2*g(t). Is v(-3) prime?
False
Let j(p) = -p**2 - 56*p - 53. Let i(u) = 14*u + 13. Let k(d) = -9*i(d) - 2*j(d). Is k(12) a prime number?
True
Suppose 0 = -6*v + 158 + 76. Is v composite?
True
Let v(k) be the first derivative of 40*k**3/3 - 3*k**2 + k - 5. Is v(-3) a composite number?
False
Suppose -3*d - 5*f + 2785 = 2*d, -3*d = -5*f - 1671. Is d a prime number?
True
Suppose -3*s + 8*s + 860 = 0. Let q be ((-2)/(-4))/(2/s). Let g = -28 - q. Is g prime?
False
Suppose -4*t + 3 = -v, 3*t - t + v = -3. Suppose 70 = 3*x + b, t = 4*x - 0*b + b - 94. Is (x/(-32))/(2/(-40)) a prime number?
False
Let v(a) = -a**3 + 2*a**2 + a - 3. Let i be v(4). Let z be (-34)/(1 + (1 - 0)). Let g = z - i. Is g a composite number?
True
Is (215/(-2))/(18/(-36)) a composite number?
True
Suppose 3*g = 680 + 451. Is g a composite number?
True
Suppose 3*c - 1876 = -c. Is c a prime number?
False
Let d be 1 + -4 + 0 + 10. Let p = d - 10. Is (20/p)/(-5)*3 prime?
False
Let l = -368 - -525. Is l a prime number?
True
Let k = 16 - 23. Let o = 21 + k. Is o a composite number?
True
Let b = 0 - 0. Suppose 2*z + 3*f - 107 = 0, -f + b*f = 2*z - 113. Suppose 82 = 5*h - 0*k - 4*k, 5*h + 4*k - z = 0. Is h a prime number?
False
Suppose 5*j = -5*n + 7915, 601 + 978 = j + 3*n. Is j a composite number?
True
Let k = 19 + -14. Suppose 0 = -2*q, 0 = -k*r - 7*q + 2*q + 905. Is r prime?
True
Let l(d) = 15*d + 4. Is l(5) a composite number?
False
Is (3 + -5)*(-5)/20*3418 composite?
False
Let b = 192 + -137. Let p = b - -64. Is p prime?
False
Suppose r + 1891 - 201 = 3*y, 2*y - 5*r - 1118 = 0. Suppose 5*h = -2*f + y, -4*f = -7*f + 6. Suppose -u + 0*k + h = -5*k, 0 = 4*u - k - 391. Is u composite?
False
Let c be (1 + 3)*(15 + -5). Suppose 324 = 4*k - c. Is k prime?
False
Let c(o) = o**3 - 7*o**2 - 10*o - 3. Suppose j + 32 = 3*p, 47 = 4*p + j + 2*j. Is c(p) a prime number?
False
Suppose 0 = v + v + 3*s - 602, 1515 = 5*v + 5*s. Is v composite?
False
Let s = 10 - -15. Suppose 0 = -0*n - 2*n - 2*c + 62, 5*n = 2*c + 134. Let u = s + n. Is u composite?
False
Suppose 0 = -2*r + 629 + 41. Is r prime?
False
Let u(v) = -85*v + 8 - 62*v - 1. Is u(-6) prime?
False
Let v = 2354 - 1617. Is v a prime number?
False
Suppose 2*s + 0*s - 10 = 0. Let p(q) = q**3 - 6*q**2 + 3*q - 4. Let x be p(s). Is (-710)/(-14) + (-4)/x prime?
False
Let s(x) = -x**3 - 7*x**2 + x + 8. Is s(-9) a composite number?
True
Let t be ((-38)/(-6))/((-2)/(-18)). Suppose m + 2*y - 297 = 0, -4*m + 3*y + 1175 = -2*y. Suppose 2*s - m = -t. Is s prime?
False
Let p(x) = -2048*x - 1. Is p(-3) composite?
False
Let n(c) = c**3 - c**2 - 2. Let y be n(0). Let u be y - -3 - 36/1. Let l = 42 - u. Is l a prime number?
False
Let c = 904 - 641. Is c composite?
False
Is (-2 - 0)*(-2017 - 10) a composite number?
True
Suppose -a + 9858 = 5*a. Is a a composite number?
True
Let q(f) = 18*f + 10. Let s be q(7). Let m = s + -10. Suppose 2*j - 1 = j, 4*x + 2*j - m = 0. Is x a composite number?
False
Let o(m) = m**3 - 6*m**2 + 3*m + 2. Let l be o(5). Let u(n) = n - 2 - 16*n + 9. Is u(l) a prime number?
True
Let p = 40 + 159. Is p a composite number?
False
Let c = -869 + 1731. Suppose -4*k + c = h - 26, -4*k - 2*h + 884 = 0. Is k a composite number?
False
Is 3*(1 - 390/(-9)) a composite number?
True
Let c = -14 - 11. Let g = c - -40. Is g a prime number?
False
Suppose -6*h = -7*h + 733. Is h composite?
False
Let m be 3*4*(-1332)/(-48). Is 1/2 + m/2 a prime number?
True
Let c be (2*1)/(10/(-195)). Let u = 85 + c. Suppose -n = -3*w - 77, 2*n - 108 - u = -4*w. Is n a prime number?
False
Let f be (-2)/4*(-182)/(-1). Let z = f + 168. Is z composite?
True
Suppose 3*b + a = 23, 3*a - 38 = -5*b + 3. Suppose -i + b + 0 = 0. Is i composite?
False
Suppose 3*b - 1032 = 405. Is b composite?
False
Let h(q) = -927*q**3 - 2*q - 3. Is h(-1) composite?
True
Suppose 3*g - g = 2. Let o be g - (0 - 139 - 2). Let t = o - 95. Is t a composite number?
False
Let q be (-6)/15 - (-32)/5. Let v(f) = f**2 - 5*f - 6. Let j be v(q). Suppose 5*d - d - 92 = j. Is d a prime number?
True
Suppose -19 + 3 = 4*f. Is ((-124)/f)/((-1)/(-1)) prime?
True
Suppose -j + 21 = -7. Let t = j - -9. Is t prime?
True
Suppose 0 = -z - 5*h + 693, -1299 = -4*z - 4*h + 1441. Is z a prime number?
True
Suppose 2*d - 12 = -o + 3*o, d - 3*o - 14 = 0. Suppose -d*r - 4*m = -118, m + 5 = -0. Is r prime?
False
Suppose 0 = 5*x - 36 - 259. Is x composite?
False
Suppose 4*z + 1166 = 5*a - 821, 2*z = a - 401. Is a a prime number?
False
Let d(n) = 3*n + 1 - 2 - 4*n + 26*n**2. Let i be d(-3). Suppose 3*k - i = -k. Is k a com