 474/n*2/4 prime?
True
Let n = 139 - 89. Let k = n - -17. Is k a prime number?
True
Let a(z) be the second derivative of -z**6/120 + 3*z**5/20 - z**4/12 - z**3/6 + z**2 + z. Let k(x) be the first derivative of a(x). Is k(8) prime?
True
Suppose 0 = -4*r + 4, 4*h = -2*r - r + 1639. Is h a prime number?
True
Suppose 5*b = 2*q + 275, 73 = b - 3*q - q. Is b composite?
False
Let c be 0 + 31/(-1) + 0. Is (-1)/3*(-2 + c) composite?
False
Let f = -81 - -144. Suppose -2*w + f = w. Is w composite?
True
Is 4/(-10) - (-892)/5 composite?
True
Is (-123)/2*140/(-30) a prime number?
False
Let a be 259/49 + 2/(-7). Suppose 2*r = a*l - r + 5, 20 = -4*r. Let p(t) = -11*t - 6. Is p(l) prime?
False
Suppose 4*z - 23 - 33 = 0. Suppose -z = -q + 53. Is q prime?
True
Suppose -5*q = -0*q - 10. Let a = 9 - q. Is a composite?
False
Suppose -3*b = -3*n + 7641, 7*n - 7661 = 4*n - 2*b. Is n a composite number?
False
Let c = 0 + 1. Let n = -1 - -11. Let q = c + n. Is q a prime number?
True
Let t(w) = -4 + 1 - 20*w + 6. Let l be t(-6). Let d = l + -40. Is d a composite number?
False
Suppose 2*c + 185 = -129. Let p = 224 + c. Is p prime?
True
Suppose -5*t = -t - 8. Let w(o) = o**3 - 3*o + 5 - o**2 - o**2 + 0*o**2 + 4*o**t. Is w(4) prime?
True
Suppose k + 434 = 2*g - 671, -4*g + 2209 = -3*k. Is g a prime number?
False
Let s(y) = -7*y**3 - y**2 + 7*y - 6. Is s(-5) prime?
True
Suppose -5*d = 2*t - 12064, d - 5*d = 2*t - 12066. Is t a composite number?
False
Suppose 23*s = 27*s - 60. Is s a composite number?
True
Let a = -328 - -490. Is (0 - 0) + a + 1 a composite number?
False
Let z(m) = -m**2 + 33 + 2*m**3 + m - 3*m**3 - 32. Let d be z(-2). Suppose 6*g - d*g = 4*o - 37, -4*o + 16 = 4*g. Is o composite?
False
Let g(s) = 3*s + 259. Is g(0) prime?
False
Suppose -8*b - 90 = -3*b. Suppose 3*m = -5*j + 2*j + 18, 0 = -5*m + 20. Is j/(-9) - 850/b prime?
True
Let o = 6 - 1. Suppose 0 = 4*q - 2*y - 930, -o*y - 9 = -34. Is q prime?
False
Let j(u) = u + 1. Let s be j(8). Let c(h) = -h**3 + 9*h**2 + 7*h - 1. Is c(s) prime?
False
Suppose 8*a = 2*a - 42. Let x(u) be the second derivative of -4*u**3/3 - 3*u**2/2 - u. Is x(a) composite?
False
Suppose -31 = -4*f + 33. Suppose -4*i - 28 = -4*y, -2*y + f = -4*y - 4*i. Is y/(-7) - (-891)/7 a composite number?
False
Suppose 4*i = -2*k + 5*i - 62, k = -2*i - 21. Let t = k - -64. Is (t/(-4))/((-2)/8) a prime number?
False
Let u(t) = t**2 + t - 1. Let x = -4 - 2. Let l = 2 + x. Is u(l) prime?
True
Suppose 10*n - 6*n = 12. Suppose 0 = -4*g + n*u + 273, 5*g + 3*u - 7*u = 341. Is g prime?
False
Let x(o) = -17*o**3 + 2*o - 4. Is x(-3) composite?
False
Suppose -5*a + 25 = -0*a + 4*y, 2*a - 3*y - 10 = 0. Suppose 0 = -2*t - w + 521, -6*t = -2*t - a*w - 1077. Is t composite?
False
Let f(s) = s**2 - s + 293. Is f(0) a prime number?
True
Let m(s) be the first derivative of 3*s**2/2 + s + 1. Let a be (0 + 3)*12/9. Is m(a) prime?
True
Let m be (-70)/(-6) + 1/3. Suppose -4*p + m = b, b - 3*p = p - 4. Is b composite?
True
Let g(j) = 3*j**2 - 4*j - 5. Let q be g(8). Is 15/1*q/15 composite?
True
Suppose -1 = -3*q + 8. Is (56/12 - -3)*q prime?
True
Suppose 0 = 4*i - 3*q - 1, 0*i - 2*i - 5*q + 33 = 0. Suppose -o + 2*o - 5*v - 40 = 0, -4*v = i. Is o a prime number?
False
Suppose -o - 466 = -2*o. Let m = -317 + o. Is m prime?
True
Suppose -3941 = -o - 4*o + 4*j, 0 = 4*o + 5*j - 3120. Is o a prime number?
False
Suppose 0 = -0*z - 4*z - 5*x + 26, -x = -2. Suppose -3*a - 85 = -z*a. Is a composite?
True
Is (-2)/(-7) + (-4296)/(-56) a prime number?
False
Let w be ((-252)/15)/((-2)/10). Suppose 5*b = w + 191. Is b a prime number?
False
Let d = -35 + 184. Is d prime?
True
Let z(t) = 7*t**2 + 4*t - 4. Let x be z(4). Let m be ((-2)/(-5))/(2/10). Suppose x = -m*s + 6*s. Is s a prime number?
True
Suppose 2157 = 4*j - j. Is j a prime number?
True
Let k(n) = 11*n**2 + 10*n - 10. Let j be k(7). Let b = j - 388. Is b composite?
False
Let f(r) = -4*r. Let k(t) = -6*t - 1. Let l(a) = -19*a - 3. Let p(m) = 8*k(m) - 3*l(m). Let s(z) = 5*f(z) + 3*p(z). Is s(4) a composite number?
False
Suppose 4*q = -12, 3*q - 2645 = -3*u + 607. Is u prime?
True
Let a = -1103 + 2112. Is a composite?
False
Suppose 29*i - 38*i + 7821 = 0. Is i prime?
False
Let y(m) = 24*m**3 - 5*m**2 + 2*m + 12. Is y(5) a composite number?
False
Let u be (-2)/3 + (-2266)/(-6). Let b(q) = -4*q - 4. Let i be b(-2). Suppose 111 - 17 = o - g, i*o - u = 5*g. Is o composite?
True
Let b(r) = r**3 - 3*r**2 + r + 6. Suppose 15 = -6*x + 9*x. Let k be b(x). Let o = 216 - k. Is o composite?
True
Let c = -3 + 3. Let d(n) = n**2 - n + 2. Let f be d(c). Let b(l) = 6*l**3 + 2*l**2 - 2*l + 3. Is b(f) a prime number?
False
Suppose 0 = 97*f - 99*f + 5870. Is f composite?
True
Suppose 9 = y + 2*y. Let l(g) = 2*g**3 - 5*g**2 + 1 + g + 6*g**2 + 8*g**2 - 3*g**y. Is l(7) a composite number?
True
Suppose -3*l = 430 + 35. Is (l/(-15))/(3/63) prime?
False
Let y = -5 - -10. Let g = y + -14. Is 19 - (-6)/(g/(-3)) a prime number?
False
Let m be (3 - -1)/1 + 0. Is 307/3 - m/(-6) prime?
True
Let j(l) = -3*l - 2. Let z be j(-2). Let q = 5 - z. Is 3 - -19 - 3/q composite?
False
Suppose 21*f = 26*f - 745. Is f composite?
False
Suppose -3*n + 1 + 5 = 0. Let p(b) = 0*b + 1 + 0*b**2 + 6*b + 2*b**2 - 3*b**n. Is p(5) a prime number?
False
Let n = -142 - -209. Is n prime?
True
Let g(k) = k**2 - 5*k - 8. Let p be g(6). Let m be 2/(-3)*3/(-2). Is 57 + p - (m - -1) prime?
True
Let d = -17 + 9. Let q(t) = 2*t**2 - 1 - 7*t + 8 + 18*t. Is q(d) prime?
True
Suppose 0 = -4*a - g + 3979, 3*g - 1074 = -2*a + 913. Is a composite?
True
Let u = -4 + 8. Suppose -u = -2*b + 6. Let w(t) = 14*t + 7. Is w(b) composite?
True
Let c(g) = g**3 + 7*g**2 + g + 5. Let m be c(-7). Is -2 - (m + 2) - -57 a prime number?
False
Let r = 520 + -303. Is r composite?
True
Let a be 11/(-3) - 6/(-9). Let j be (-6)/a - 1 - -72. Suppose -z + 41 = n + 3*z, 3*n - j = -2*z. Is n prime?
False
Suppose -h = 0, -2*h + h + 1594 = 2*g. Is g composite?
False
Is (-2*(-2)/(-8))/(13/(-1534)) a composite number?
False
Let m(y) = 557*y - 5. Is m(2) a prime number?
True
Let u(l) = -l - 7. Let n be u(-3). Let v(q) = 2*q**2 + 5*q - 1. Is v(n) prime?
True
Let y(x) = -4*x + 5. Let z = -7 - -2. Let j(o) = o**3 + 4*o**2 - 5*o - 5. Let i be j(z). Is y(i) a composite number?
True
Suppose -5*l + 57 = 3*z - 205, z - l - 74 = 0. Is z prime?
True
Suppose -2*r + 1155 + 179 = 0. Suppose -4*z = 243 - r. Suppose -457 = -4*j + w, z = j - 0*w - 3*w. Is j prime?
False
Suppose -5*t + 18 = 43. Let v be (-2)/t - (-587)/(-5). Let j = v - -274. Is j prime?
True
Let g(x) = -x**3 - 4*x**2 - 9*x - 5. Is g(-6) a prime number?
False
Is 53 + (2 - 0) - 0 a prime number?
False
Let r be (7 - -95)*(-2)/(-4). Suppose -97 - r = -4*n. Is n a composite number?
False
Let z(w) = 28*w**2 + 2*w - 1. Suppose -26 = 5*x - 2*f, 3*x = 2*x + f - 7. Let h(r) = -r**2 - 6*r - 6. Let m be h(x). Is z(m) a prime number?
False
Let s be 0 - (2 + -1)*-1. Let m be (5 + s)/((-6)/(-4)). Suppose -2*t = 4*n - m - 4, 2*n = 5*t - 32. Is t a composite number?
True
Suppose 7*q - 3*q = 908. Let v = q - 136. Is v a composite number?
True
Suppose -3*k + 5*y = -1201, -5*y = 11*k - 6*k - 2055. Is k prime?
False
Suppose 0 = 4*r - 2*y - y - 190, 5*y = 3*r - 137. Is r a composite number?
True
Let r(s) = -5*s - 16. Let m(v) = 4*v + 15. Let g(p) = 6*m(p) + 5*r(p). Let x be g(7). Suppose 0*n + 3*u + 120 = 3*n, -x*n = 5*u - 80. Is n a composite number?
True
Let u(d) = -9*d**3 + 3*d**2 - 3*d - 2. Is u(-5) a prime number?
True
Suppose -2*w - 5*w = -4011. Is w a composite number?
True
Let x(g) = -g + 4. Let t be x(5). Let z(u) = -2. Let i(s) = 3*s - 6. Let b(c) = -2*i(c) + 6*z(c). Is b(t) composite?
True
Suppose 21 - 6 = 3*t. Suppose -3*w + 0*l = -4*l - 245, -t*w + 414 = -l. Is w prime?
True
Let p(k) = 486*k + 1. Is p(1) a prime number?
True
Let s be (-2)/(-6) - 5830/(-33). Suppose w - s = -2*w. Is w prime?
True
Let k(v) = v**2 - 6*v + 3. Let z be k(5). Let c be z/10 - (-1)/5. Suppose c = 4*q - 14 - 206. Is q composite?
True
Let p = 1 + 2. Let k = p - -2. Suppose 44 = 4*a - 4*v, 49 = -a + 4*a + k*v. Is a a prime number?
True
Suppose -4*r + 3*r + 5*p = -185, 0 = -5*p + 20. Is r prime?
False
Suppose -3*t + 126 = 3*d, -3*d = -4*t - 27 + 167. Is t prime?
False
Let o = -138 - -265. Is o a prime number?