osite?
False
Let v = 863 + -522. Is v a composite number?
True
Let u be 1*2/4*12. Suppose 4*l + 10 = -4*n - 2, 2*n = l - u. Is (1 - 0)*(-33)/n composite?
False
Let v(r) = 1371*r**2 + 4*r - 4. Is v(1) a prime number?
False
Let i = 2513 + -862. Is i composite?
True
Suppose 0*j + 4*j + 5*x - 259 = 0, 3*j - 4*x = 233. Is j prime?
True
Let k(x) be the third derivative of 1/24*x**4 - 1/60*x**5 - x**2 + 13/3*x**3 + 0 + 0*x. Is k(0) prime?
False
Suppose -3*t + 0*t + 42 = 0. Is t a prime number?
False
Is 0 + -2 - 151/(-1) composite?
False
Let b(u) = -5*u**2 + 7*u - 10. Let d(z) = -6*z**2 + 7*z - 11. Let t(r) = 7*b(r) - 6*d(r). Suppose 0 = 5*x + 11 + 29. Is t(x) a prime number?
False
Is 7/21 - 770/(-3) prime?
True
Suppose -2*o + 7 = 1, -4*o = 4*r - 20. Suppose 26 = 4*i - 3*h, -4*i + r*h = 4*h - 16. Suppose n + i = 42. Is n a prime number?
True
Let n(u) = 2*u**2 + 3*u - 3. Let d be n(-3). Let w = 49 + d. Is w a composite number?
True
Suppose -4*k = 2*b - 866, -4*b + 1241 = k - 512. Is b a prime number?
True
Let t be (-4)/(-5)*(-5)/(-2). Suppose t*z - 17 - 2 = 5*x, -15 = -3*x. Is z a composite number?
True
Let f(y) = 4*y**2 - 3*y - 56. Let l(i) = 3*i**2 - 2*i - 57. Let j(h) = 2*f(h) - 3*l(h). Is j(0) prime?
True
Let v(n) = -n**3 + 13*n**2 + 18*n + 3. Is v(8) a prime number?
True
Suppose -3*n + 266 = 5*u, 5*n + u + 2*u - 438 = 0. Is n a prime number?
False
Let j be (4 - -4) + 2 + -4. Let a be (-33)/(-6) - j/4. Suppose -a*d + 31 + 73 = 0. Is d prime?
False
Suppose -4*s + 20 = -0*s. Suppose p - s = 42. Is p a prime number?
True
Let m(i) = i**2 - 2. Let n be m(0). Let d be 20/6 + n/6. Suppose 0 = x - 2*g - 43, -d*x - 3*g = 2*g - 96. Is x prime?
True
Suppose 0 = -l - 2 - 2, -3*n - 2*l = 11. Suppose -4*g - 3*z - 188 = 46, 0 = -z - 2. Is g*2/(n*2) a prime number?
False
Suppose -z = -71 - 308. Is z composite?
False
Let g(c) = -c**3 - 18*c**2 - 9*c + 17. Is g(-18) prime?
True
Suppose 56 = -4*j - 3*l + 385, 0 = 5*j + l - 414. Is j composite?
False
Suppose -x - 2 = 1. Is x*4/4 + 556 composite?
True
Let l = -18 - -12. Let j be (-3819)/l - (-3)/6. Is j/5 + (-8)/20 a composite number?
False
Let l = -1 + 5. Let q = l + -4. Let t(d) = d + 9. Is t(q) composite?
True
Let v(c) = 5*c**2 - 3*c - 3. Suppose 0*x = -2*x - m - 14, -3*m + 13 = -5*x. Let i = x - -3. Is v(i) prime?
True
Let f = -13 + 12. Let g(c) be the third derivative of -5*c**4/12 + c**3/6 + 2*c**2. Is g(f) a composite number?
False
Let t(m) = -m**3 - 6*m**2 + 14*m + 5. Let a(v) = -2*v + 17. Let z be a(13). Is t(z) prime?
False
Let r = -8 - -18. Let u be ((-3)/(-6) + 0)*r. Suppose -401 = -5*l - m + 83, -u*m + 92 = l. Is l prime?
True
Let x(c) = c**2 + c - 2. Let o be x(-2). Suppose 25 = -5*p, o = 4*l + l - 3*p - 10. Is (-5)/(l + (-54)/(-57)) composite?
True
Let s(i) = i**3 - 2*i + 82. Is s(0) a prime number?
False
Suppose 3 + 5 = -4*r - 2*m, 0 = -4*r + 4*m - 20. Let a(y) = 22*y**2 - 4*y + 1. Is a(r) a composite number?
False
Let w be ((-12)/5)/(-3)*20. Suppose 0 = 4*c, -2*n + c - w = -2*c. Let z = -5 - n. Is z a composite number?
False
Let y = 2281 - 1567. Suppose -2*j - 2217 = -5*v, 3*v - y = -3*j + 633. Is v composite?
True
Let u(d) = -2*d + 1. Let x be u(-3). Suppose x*r + 2 = 8*r. Suppose o - 449 = -5*s, 0*o - r*o = -s + 81. Is s a composite number?
False
Suppose -2*t - 3*m + 138 = -0*m, -4*m + 134 = 2*t. Suppose 879 = 3*a + 2*q, -3*a + 2*q + 942 = t. Is a a composite number?
True
Suppose 5*i + 10 = -y, 4*i = 5*i + 3*y + 2. Let t(l) = l**2 - 2*l - 3. Let q(g) = -2*g**2 + 2*g + 3. Let z(w) = -4*q(w) - 3*t(w). Is z(i) prime?
False
Is 3 + (1725 - 4/4) a composite number?
True
Suppose 0 = -2*d - 914 + 256. Let q = 492 + d. Is q prime?
True
Let v(k) = 568*k - 6. Let g(y) = 569*y - 7. Let n(d) = 5*g(d) - 6*v(d). Let s be n(-1). Suppose 3*c = s + 69. Is c prime?
True
Let o = 1 - 0. Let f be ((-245)/(-5))/(o/2). Suppose -58 = -4*m + f. Is m a composite number?
True
Suppose -a + 50 + 393 = 0. Is a a composite number?
False
Let g = -1134 - -1835. Is g composite?
False
Suppose -9 - 6 = -5*g. Suppose -g*d + 269 - 38 = 0. Is d/3 - 6/9 prime?
False
Suppose -3*l + 0*l + 5*p = -3754, l - p = 1252. Is l composite?
True
Let g = -4 + 2. Let z = 3 + g. Let n(t) = 20*t**3 - 1. Is n(z) a composite number?
False
Suppose 2*r = -2*k + 642, -2*k + 614 + 8 = -3*r. Is k a prime number?
True
Suppose 777 = -18*c + 21*c. Is c composite?
True
Suppose -6*d + 116 - 26 = 0. Let s(v) = -v**2 - 3*v + 7. Let m be s(-6). Let h = d - m. Is h prime?
False
Suppose -6360 = -4*t + 3004. Suppose -2*b - 3*b + 2*n = -t, 0 = -3*b - 4*n + 1389. Is b a prime number?
True
Suppose 2*u - 2*l - 1 = 3*l, -4*u = 3*l - 15. Suppose k + u*k = 1412. Let r = k + -168. Is r composite?
True
Let f = 103 + -47. Suppose 0 = -2*z - 4*z + 666. Let c = z - f. Is c composite?
True
Let c be -1 - (-5 - 1 - -2). Let a be (2/c)/(2/9). Suppose -220 = -a*g - g. Is g prime?
False
Let l = -10 - -2. Is ((-62)/l)/(2/8) a prime number?
True
Let d(y) = 21*y**2 - 2*y - 6. Is d(-7) a prime number?
False
Suppose 3*a - 29 - 46 = 0. Suppose 4*b = 5*b - a. Is b prime?
False
Suppose -2*i + 2*q = 2, 0*q = -4*i - 4*q - 12. Let t be i/(4/(-150))*1. Suppose -2*y = -t - 79. Is y a prime number?
False
Let n = 1095 - 8. Is n composite?
False
Suppose 0 = 5*o + 3*x - 12, -2*x + 7*x - 20 = 0. Suppose -3*l - 54 = -o. Is 1282/18 + 4/l composite?
False
Let q(b) = -5*b**2 + 2*b. Let s(p) = 6*p**2 - 3*p - 1. Let t(x) = 3*q(x) + 4*s(x). Let y = -148 + 153. Is t(y) prime?
True
Is ((-566)/10 + -3)/(8/(-20)) a composite number?
False
Let h be (7 - (1 - 2)) + -1. Let b(z) = z**2 - 7*z + 2. Let c be b(h). Suppose -c*q + 429 = q. Is q a prime number?
False
Let h = -29 - -88. Is h a composite number?
False
Let y be (-22)/(-3) - 18/(-27). Let l be ((-5)/(-10))/(1/y). Suppose -249 = m - l*m. Is m a prime number?
True
Suppose 2*i - o = i + 6, 2*i = 4*o + 20. Suppose 0*r - 298 = -i*r. Is r prime?
True
Let a be -2 - 1*(-6)/1. Suppose 3*c + 0*c + 4*y + a = 0, 0 = c + y. Suppose u = -x - u + 29, 0 = -x - c*u + 21. Is x a prime number?
True
Let x be -6 + (-3 - (-2)/1). Let u = 66 + x. Is u a prime number?
True
Is 7/(-42) - (-2798)/12 prime?
True
Suppose 3*w = 4*a + 637, 0 = 5*w - 3*a - 0*a - 1058. Is w a prime number?
True
Suppose 3*p + a - 879 = 0, -4*a - 131 = p - 424. Is p prime?
True
Let w = -44 + 28. Let s = 26 + w. Is s a composite number?
True
Suppose -2*l + 0 + 6 = 0. Is l/(-4)*86*-2 composite?
True
Let y(p) = 5*p - 2*p - 4*p + 7 + 2*p. Let g be y(-4). Let a(b) = 6*b**3 - b**2 - 4. Is a(g) prime?
True
Suppose 0 = -4*d - 2*n + 26, 3*d - 3*n - 2*n = -13. Is (d/6)/((-2)/(-609)) a prime number?
False
Let x(m) = -4*m**2 - m + 4. Let z be x(4). Let u = 149 + z. Is u a prime number?
False
Let u = -1 - -3. Is (-1 + u)*2/1 a composite number?
False
Suppose 3*a + 2*a = 25. Suppose a*z - 91 - 95 = 3*i, -3*z - 2*i = -123. Is z a prime number?
False
Let o(q) = 4*q**2 - 3 - 6*q + q**2 + 3*q. Is o(3) prime?
False
Let l(j) = -j - 4. Let n be l(-5). Let c = n - -1. Suppose -q - c*q + 159 = 0. Is q a prime number?
True
Suppose -2*m + 19 = -67. Is m prime?
True
Suppose 4*f + 8 - 40 = 0. Suppose f*u - 3*u = 10. Is u a prime number?
True
Suppose t - 8*t = -15071. Is t a prime number?
True
Let h(f) = -2*f**2 + 4*f + 7. Let k be h(-2). Is 1*-1*10269/k composite?
True
Let v(i) = i**2 + i + 1. Let a be v(3). Suppose 1 = f + 2. Is (f*a)/(0 - 1) prime?
True
Let a(m) = 18*m**2 + 7*m + 4. Let p be a(-4). Suppose 0 = 3*h - 795 - p. Is h a prime number?
True
Let l(p) = p**2 + 4*p + 2. Let v be l(-5). Let d(n) = -n**3 + 8*n**2 + 4*n + 6. Is d(v) a composite number?
False
Let m be 2/(-4)*(5 - 1). Let l be m*1/(-2) - -1. Suppose -4*z = k - 34, l*z + 136 = 4*k + 3*z. Is k a composite number?
True
Is (1 - -1) + (119 - -6) a composite number?
False
Let g = -21 + 15. Let j = -6 - g. Suppose j*n = 5*n - 130. Is n a composite number?
True
Let q = 225 + -32. Let p = q + -138. Is p a composite number?
True
Suppose 4 + 12 = 2*k. Let w be k/52 - (-2)/(-13). Suppose c + 0*c - 59 = w. Is c composite?
False
Let t(x) = -x**2 - 7*x - 3. Let c be t(-6). Suppose -j = -c*j + 36. Is (-4)/j + 65/9 prime?
True
Suppose -5*t + 1915 = -0*t. Suppose t = 5*x - 12. Is x a prime number?
True
Let y(t) = 322*t**2 - 6*t - 5. Is y(-1) a composite number?
True
Suppose 0 = -2*j + 