composite number?
False
Let t(q) = 56*q**2 + 3*q - 13. Is t(-4) a composite number?
True
Suppose i = -o - 0*i + 58, 5*o - 266 = 3*i. Is o a prime number?
False
Suppose 2*p = 97 - 23. Is p composite?
False
Let n(t) = t**3 - 5*t**2 - 4*t. Let l = 13 - 7. Let o be n(l). Is 3*226/o*2 prime?
True
Suppose 0 = -3*l + 4*i + 45, 5*l + 3*i - 33 - 71 = 0. Let u = -22 + 36. Let s = l + u. Is s prime?
False
Let u = -48 - -34. Let z be 4/u + (-359)/(-7). Suppose -v = p - 69 - z, 117 = v - 2*p. Is v a prime number?
False
Is (-4)/18 - (0 + (-15383)/9) a prime number?
True
Suppose 0 = 2*c + c - 3345. Suppose c = 2*o + 3*o. Is o composite?
False
Let x(u) = 216*u - 5. Let b be x(2). Suppose -5*w + d + 3361 - b = 0, 3*w + d = 1762. Is w composite?
False
Let f = -1564 + 870. Let a = 240 + f. Let v = -305 - a. Is v prime?
True
Let i = 96 + -38. Let t = 81 - i. Let r = t + -4. Is r composite?
False
Let g(y) = y**3 + 8*y**2 - 4*y - 6. Let p = 5 + -4. Suppose -q - p = 7. Is g(q) prime?
False
Suppose -7526 = -3*w - 11. Suppose -5*a = 620 - w. Is a a composite number?
True
Let x(q) = q**2 + 3*q. Let i be x(-3). Let y(b) = -b + 0 + i + 150*b**2 + 0. Is y(1) a composite number?
False
Let x be (-1 + 7)/((-30)/(-40)). Suppose -3*q + 85 = -x. Is q composite?
False
Let i(o) = 8*o**2 + o - 4. Let f = -15 + 20. Is i(f) a composite number?
True
Let a = 3 - -1. Suppose -24 = 3*q - a*q. Is (-1 + q)/1 + -2 a prime number?
False
Suppose 4*w - 863 = 653. Is w prime?
True
Let h = -274 - -404. Let o(v) = 20*v + 3. Let d be o(-4). Let t = h + d. Is t a prime number?
True
Let m be ((-14)/(-6))/(1/30). Let x = m - 48. Is x a prime number?
False
Let l be 0*3/(-18)*-3. Suppose l = -5*p - 4*x + 219 - 53, -5*p - x + 169 = 0. Let c = p + 25. Is c composite?
False
Let s(j) = -6*j**3 + j**2 + 3*j + 3. Suppose -3*o = o + 8. Let v be s(o). Let z = v - -28. Is z prime?
False
Suppose -3*r + 3 + 6 = 0. Suppose 3*x + 12 = 4*p, p - 4*x = -3*x + r. Is p composite?
False
Let f(j) = j**3 - 6*j**2 + 8*j + 2. Let w be f(9). Suppose -49 = 4*i - w. Is i composite?
False
Let z = 1573 + -1080. Is z a composite number?
True
Let q be (-18)/(-10) + (-1)/(-5). Let b(h) = -5*h + h**2 + 1 - 2*h**2 + q*h**2. Is b(6) prime?
True
Let c(d) = 3*d**2 + d + 1. Suppose -k - 4*r + 10 = r, 4 = k + 2*r. Let n be k + (2 + 1)/(-3). Is c(n) a composite number?
False
Let c(t) = t**2 - t + 1. Let w(x) = -3*x**3 + 2*x**2 - 3*x + 1. Let b(q) = 2*c(q) - w(q). Let v(z) be the first derivative of b(z). Is v(-2) a composite number?
False
Suppose 3*w - 1615 - 164 = 0. Suppose -2*h + w + 153 = 0. Is h composite?
False
Let k(d) = -169*d - 9. Is k(-4) prime?
False
Let v(u) = -61*u**3 + 7*u**2 + 7*u + 1. Is v(-4) a prime number?
True
Suppose 13129 = 6*y - 2345. Is y prime?
True
Suppose -2*d = 3*v - v - 264, -3*v + 650 = 5*d. Is d prime?
True
Suppose 0 = 4*y - o + 21, 2*y = -4*o - 6 - 0. Let q be 4 + y - 2/(-2). Suppose 0 = -3*m - q*m + 255. Is m composite?
True
Let f = 1 - 1. Let w be 0/(0 - (-1 - f)). Is 54 + 1 + (w - 0) a prime number?
False
Suppose 4*n - 9*n = 4*c - 2458, -3*c - 484 = -n. Let t = n - 111. Is t composite?
False
Let c(i) be the first derivative of 21*i**4/4 - i**3/3 + i**2/2 + 3. Suppose m - 5*w - 26 = 0, -2*m - 24 = -m + 5*w. Is c(m) composite?
True
Let q = -298 + 639. Is q a composite number?
True
Is 6/21 + 8056/28 - 1 a prime number?
False
Suppose b - 1 - 2 = 0. Suppose -3*a + 6*a + b*f = 9, -f - 1 = 5*a. Is 2 - (-1)/(a/(-83)) prime?
False
Let s = -2 - -5. Suppose s*t - 170 = 583. Is t prime?
True
Let m = -218 + 640. Is m a composite number?
True
Let d(m) = 2*m**3 + 2*m**2 - m - 2. Let h(l) = 6*l**3 + 6*l**2 - 3*l - 5. Let p(x) = 17*d(x) - 6*h(x). Is p(-5) a prime number?
True
Suppose 4*g - 2*q = 852, 3*g + 3*q - 639 = 7*q. Is g a prime number?
False
Suppose 15293 = 19*f - 17178. Is f prime?
True
Let f be 0 + (-12)/(-9)*9. Let o be 93/(-3 - f/(-3)). Suppose -2*u + 7*u + 5*g - 235 = 0, -g + o = 2*u. Is u a composite number?
True
Suppose 7*y = 2*y. Let g(l) = 2*l**3 - 4*l**2 - l - 94. Let v(n) = n**3 - n**2 + 1. Let k(x) = -g(x) + 3*v(x). Is k(y) prime?
True
Let b(n) = 6*n**2 + 3*n + 8. Is b(9) a composite number?
False
Suppose -5*d - 4*d + 45459 = 0. Is d prime?
True
Let a(t) = -t**3 - 6*t**2 - 5*t - 1. Let l(j) = j**3 - 7*j**2 - 8*j - 5. Let b be l(8). Let c be a(b). Is (-1 + c)*(-74)/4 a composite number?
False
Let f(w) = 185*w**3 - w**2 + w. Let x be f(1). Suppose -3*g = 2*g - x. Is g a composite number?
False
Suppose 15 = 5*k + 3*i, 8*k - 4*i = 3*k - 20. Let p = 2 + k. Is (69/(-12))/(p/(-16)) prime?
False
Let x be 2 - ((-12)/(-3))/(-2). Let u = 1 + x. Suppose -5*b - 2*d - 112 = -10*b, 0 = -u*b + d + 111. Is b a composite number?
True
Let f = -207 + 494. Is f prime?
False
Let u be (0/(-4))/(2/(-1)). Let p be 3 + u - (-417 - -1). Suppose p = 5*j - h, -j - j + 4*h = -182. Is j a composite number?
False
Let k be -4 + (-2 - -2) + 7. Suppose 3*r - 940 = r - u, -2*u = -k*r + 1417. Is r a composite number?
True
Let w(p) = 6*p**2 - 6*p + 8. Let x(r) = -1. Let c(b) = w(b) + 2*x(b). Let k be c(4). Suppose 0 = -2*s - 8 + k. Is s a prime number?
False
Let h be 1/(-3)*2*-3. Let q be (0 - h)*(-3)/2. Let z = 38 - q. Is z a composite number?
True
Let w(s) = -11*s - 5. Let f be w(-9). Let z = f + -51. Suppose 4*x - 49 = z. Is x composite?
False
Suppose -7*q = -2*q - 190. Is 1*(-1 + 0 + q) prime?
True
Let p be 5235/21 - 4/14. Let h = -219 - -369. Suppose 3*q - 4*k = -2*q + p, -3*q + 3*k = -h. Is q a composite number?
True
Suppose 235 = -3*y + 1564. Is y composite?
False
Let t = 0 - -3. Let f(m) = m**3 + 3*m**2 - 1. Let i be f(-2). Suppose t*c + 5*z = 216, 0 = 5*c + i*z - 475 + 99. Is c prime?
False
Let u be 2 - (-5 + 3 + 1). Suppose 169 + 176 = u*i. Is i a prime number?
False
Suppose -397 = -4*l - 4*w + 303, -736 = -4*l + 5*w. Is l composite?
False
Is (-159)/((-4)/(0 - -4)) a prime number?
False
Let t = 11 - 7. Let i be t/(-6) + (-8)/(-3). Suppose -z - 322 = -i*v + 3*z, -4*v = -3*z - 644. Is v composite?
True
Suppose 5*b = -5*d - 365, -d + 3*b - 85 = -0*b. Let s = d - -161. Is s a prime number?
False
Let y = 8 + -10. Let j = 0 - y. Suppose -j*g = -g - 33. Is g a composite number?
True
Suppose -1230 = 2*w - 6*w - 5*y, -4*y - 907 = -3*w. Is w a prime number?
False
Let j be (12 + -2)*(-37)/2. Let o = -66 - j. Let k = 190 - o. Is k composite?
False
Let j = -253 + 403. Let v = 333 - j. Let p = 310 - v. Is p a prime number?
True
Suppose -3*w = 5*p - 2*p - 18, 3*p = -2*w + 16. Let d = p + -1. Is d a composite number?
False
Let i be ((-15)/(-10))/((-2)/(-4)). Suppose i = -5*z + 13. Is 55 + 2 + (-4)/z prime?
False
Is (-5973)/(-55) + 4/30*3 a prime number?
True
Suppose -14 = -4*h - 2*d, 5 - 23 = -4*h + 2*d. Let f = h - 2. Suppose 0 = 3*y + f*r - 53, -3*r + 0*r + 32 = 2*y. Is y a prime number?
True
Let a = -2142 - -8737. Is a prime?
False
Let t(q) = -q**3 + 20*q**2 - 15*q + 16. Let d be t(14). Suppose -4*o + i + 1271 = 0, -3*o - 4*i + d = i. Is o a composite number?
True
Let f(g) = -45*g - 8. Is f(-7) prime?
True
Let r(j) = -1068*j**3 + j**2 + 3*j + 1. Is r(-1) prime?
False
Suppose 0 = -0*j + 5*j + 255. Let l = j + 164. Is l composite?
False
Let x(t) be the first derivative of -t**4/4 + t**3 + t**2/2 - 2*t + 1. Suppose 5*r = 4*r + 5*n + 17, -9 = -3*r + n. Is x(r) prime?
False
Suppose -4*k - 2*n + 14 = -4*n, 3*k - 3*n - 12 = 0. Suppose -5*w + 7 = -k. Is (10/w)/((-2)/(-22)) a composite number?
True
Suppose -4*p + 8*p - 5452 = 0. Is p a composite number?
True
Is (0 + -1)*807/(3 - 6) prime?
True
Let p = -6 - -13. Suppose 2*i = -p*k + 2*k - 130, i - 5 = 0. Is k/(-3)*(-6)/(-4) composite?
True
Suppose 0 = a + 2*a - 54. Let r be (-1 + (-21)/(-6))*a. Is -1 + 1 + 2 + r composite?
False
Suppose 3275 = 2*a - 3*s, -2*a + 2*s = -0*s - 3276. Is a prime?
False
Let i(s) = -1 + 8*s**2 + 1 - 9*s - 3 + 11*s. Is i(2) composite?
True
Is ((-10)/(-15))/(3/4041) a composite number?
True
Let x be (2 - -5) + -1 + -1. Suppose -x*m = f - 14, -2*f - f = 2*m - 16. Let t(k) = 8*k**2 - 1. Is t(m) a prime number?
True
Let a(x) = -5*x - 4. Let y(d) = -2*d + 1. Let i be y(4). Is a(i) a prime number?
True
Let g(s) = -3*s - 3. Let t be g(-2). Is 13 + ((-20)/(-4) - t) a composite number?
True
Let i(f) = 29*f - 2. Let d be i(3). Let j = d - -268. Is j a composite number?
False
Suppos