 prime?
False
Suppose -22 = -5*j - 2. Suppose -o + 2*w - 245 = -j*o, -174 = -2*o + 4*w. Is o a prime number?
True
Suppose -5*n - 2*u = -146 - 19, 0 = n - u - 40. Is n composite?
True
Let n(h) = h - 15. Let o be n(15). Suppose o = -4*w + 993 - 149. Is w a composite number?
False
Suppose -165 + 15 = -5*b. Suppose -5*p + b = -0. Let y = p + -3. Is y composite?
False
Suppose h = -4*h + 3*y + 29, 0 = -h + y + 7. Suppose -h*b - 2*z + 78 = 0, -5*z - 42 = -b - z. Is b composite?
True
Let a = -5 + 8. Suppose w = a*w - 124. Suppose -2*h = -0*h - w. Is h a composite number?
False
Is 2*((-27)/18)/((-6)/382) composite?
False
Suppose 4*r - 3*r = 4. Suppose 4*w - 2*u + 7*u - 45 = 0, -5*u + 25 = 0. Suppose 0 = r*g + 2*h - 78, 4 = -3*h - w. Is g a composite number?
True
Let b = -13 - -9. Let j be 2 - (2 - 1 - -7). Is j/b*66/9 prime?
True
Suppose 2*r + 0*r = 0. Suppose -4*p + 2*m + 5 + 11 = r, 2*p + m - 16 = 0. Is p a prime number?
False
Let f(o) = 2*o - 18. Let j(b) = -b + 9. Let x(r) = 2*f(r) + 5*j(r). Let k be x(8). Is 1 + 6*3/k prime?
True
Let v(k) = -2 - k**3 - 3*k + 1 + 12*k**2 - 6*k**2 + 3. Suppose -s + 5 - 1 = 0. Is v(s) composite?
True
Suppose 7*g - 2*g + 10 = 0. Let k = 3 - 4. Is (k/(-2))/(g/(-12)) a composite number?
False
Let f(s) = 8*s**2 + 4*s + 6. Let k be f(-4). Let d = k - 53. Is d prime?
False
Suppose 0 = -0*o - 3*o + 6. Suppose 0 = 5*c - c + 3*u - 329, -5*c - 5*u + 410 = 0. Suppose -179 = -o*q + c. Is q composite?
False
Suppose 9 = 2*q + 1. Suppose -227 = -q*c + 665. Is c prime?
True
Let x(z) = -z**3 - 3*z**2 - 6*z + 12. Let r be x(-5). Let h = r + 67. Is h a prime number?
False
Suppose -5*r - 15 = -3*s - 2*s, 4*r = 2*s - 8. Is 1*((-6)/s + 270) prime?
False
Suppose 4*q + 156 = 4*w, 0*q = -2*q + w - 81. Is q/4*(-4)/6 a prime number?
True
Let b = 667 + -456. Is b prime?
True
Let h be (2 - 2)/(-2) + 94. Suppose -2*j = -0*j - h. Is j composite?
False
Suppose -4*z - 4 = -3*q - 21, 4*q = z - 14. Suppose 5*p - 5*k = 0, z*k - 5 + 3 = p. Is ((-74)/(-4))/(p/4) composite?
False
Let s be (-3)/6*-2 + 3. Is (-7)/((s/10)/(-2)) prime?
False
Let n = -1433 - -2207. Suppose -5*z + n = -511. Is z a composite number?
False
Let g = 32 - 3. Suppose 8*c = 4*c - 72. Let k = c + g. Is k a composite number?
False
Suppose -4*y - 4*b = -2*b - 496, -4*y + 504 = -2*b. Let h be (-4)/16 + y/4. Let d = h + 60. Is d a composite number?
True
Suppose 0 = -m + 125 + 254. Is m a composite number?
False
Let q = 0 - -8. Suppose -3*j = -q*j + 185. Is j prime?
True
Is (12 - 7918)*1/(-2) a prime number?
False
Let h(t) = t. Let c be h(7). Let l(j) = -j**3 + 8*j**2 - 7*j - 2. Let d be l(c). Is (1/d)/(4/(-1304)) composite?
False
Suppose -2*s - 46 = -3*v + 3*s, 3*s + 6 = 0. Suppose -2*h - h = -v. Suppose -12 = -4*d - h. Is d a prime number?
True
Let y(t) = 10*t + 7. Let z be y(-5). Let m = 103 + z. Suppose 5*s - m = j, 4*s - 3*j = 30 + 7. Is s a composite number?
False
Let v = 774 - 536. Is (-2 + v/(-8))*-4 a composite number?
False
Let j be (-1)/((-6)/(-27))*2. Let b = j + 48. Is b prime?
False
Suppose 4*a + 0*r - 3*r = 226, 218 = 4*a + r. Is a prime?
False
Suppose i - 14 = -i. Let p = i - 2. Suppose p*d - 161 - 114 = 0. Is d composite?
True
Let y = 12 - -78. Suppose y = 4*q - 2*d, -q = 2*q + d - 65. Let k = -3 + q. Is k composite?
False
Let u(p) = -p - 4. Let r be u(-5). Let m = 3 - r. Is 155 - -4 - (-4)/m composite?
True
Suppose 3*a - 661 - 98 = 0. Is a a prime number?
False
Let v be (-4)/10 - 6231/(-15). Suppose g - 3*h + 4*h = 83, -3*h + v = 5*g. Is g a composite number?
False
Suppose 1197 = 2*f - 325. Is f a prime number?
True
Let k(w) = 767*w**3 - w**2. Let l be k(1). Suppose s + 1885 = 5*d + 6*s, -s = -2*d + l. Is d prime?
False
Is (-8)/(-16) + 1579/2 + -3 a prime number?
True
Suppose -2*n + 930 = 136. Is n a composite number?
False
Is (4 + -6)/2 + 798 composite?
False
Suppose 2*g + 1188 = -0*g. Let h = 901 + g. Is h a composite number?
False
Suppose -5*v = 3*q - 514, -8*q + 3*q - 5*v = -840. Let j = 24 - 110. Let i = j + q. Is i a prime number?
False
Let y be (10/(-6) - -1)*-105. Let h = 111 - y. Let t = 75 - h. Is t a prime number?
False
Suppose 0 = -s - 4*g + 2*g + 134, 4*g + 572 = 4*s. Let h be (12/(-5))/((-6)/s). Let k = 91 - h. Is k composite?
True
Let a(b) = -b**3 - 6*b**2 + 5. Let j be a(-6). Suppose 0 = 4*f + 4, j*f + 8 = 2*t - 1. Suppose t = -m + 4*p + 1, p = -3*m + 23. Is m a composite number?
False
Suppose -21 = -7*p + 4*p. Let v(y) = 3*y - 6. Is v(p) composite?
True
Suppose 2*u - 40 = -3*u. Is 2482/22 - u/(-44) composite?
False
Let f be ((-6)/15 + 0)*15. Let b(d) = 2*d**2 + 3*d + 5. Is b(f) composite?
False
Let i(g) = -g**3 - 5*g**2 - 4*g - 9. Let j be i(-6). Let l(s) = s**2 - 12*s - 14. Let x be l(11). Let u = j + x. Is u a prime number?
False
Let v be (-3)/6*6*-1. Suppose 2*s - 2 = -5*n + 3*n, -12 = -v*n. Is s + (-1)/(2/(-676)) prime?
False
Let t(z) = 7*z**2 - 6*z - 13. Is t(6) prime?
False
Suppose 3*h + 5*g = 1 - 9, 3*h - 5*g = 32. Suppose -h*q + 5*j = 86, 3*q - 2*j + 92 = -q. Is ((-30)/q)/((-2)/(-88)) a prime number?
False
Suppose 2801 = s - 3*n, 3*n + 10738 = 3*s + 2359. Is s a composite number?
False
Let y = 44 - 10. Is y composite?
True
Suppose 3*k = 2*k. Suppose -t + k*t = -7. Is t a prime number?
True
Let s(g) = g**3 - 6*g**2 + 6*g - 3. Let a be s(5). Suppose 2*i + a*i - 528 = 0. Suppose 0 = 2*m + n + 3*n - i, 0 = m + 4*n - 70. Is m a composite number?
True
Let v be (0 + 3)/((-3)/(-2)). Let y be 1/v*(2 - -2). Suppose -2*t - 393 = -5*d - 0*t, t = -y*d + 150. Is d a composite number?
True
Suppose 0 = 3*b + 5*n - 148 - 122, 5*b = -3*n + 434. Is b a prime number?
False
Suppose -o + 104 = 2*o + 5*s, 0 = 4*o + 3*s - 135. Let w(l) = l**3 - 4*l**2 - 2*l - 1. Let j be w(5). Let y = o - j. Is y composite?
False
Let n = 18 - 10. Let v(l) = 2*l**3 - 10*l**2 + l + 5. Is v(n) prime?
True
Let m(b) = -3*b**3 - 4. Suppose -q - 7 = -4*s, 7 = -3*q - 0*q - 2*s. Is m(q) composite?
True
Suppose -7*s = -2*s + 15. Let z(v) = 0 + 3*v**2 + 2*v**2 - 3 - 3*v**2. Is z(s) a composite number?
True
Let c(x) = 1115*x**2 - 2*x - 2. Is c(-1) a composite number?
True
Suppose -5*m = -4*m - 9. Let p be (m/6)/(-1)*-2. Suppose p*l - 6*l + 141 = 0. Is l prime?
True
Suppose 3*x = 7*x - 1804. Is x prime?
False
Let u(f) be the first derivative of -f**4/4 - 2*f**3/3 - 3*f**2 - f + 34. Suppose 2 = -2*y + 2*n - 5*n, 5*y = -3*n - 14. Is u(y) composite?
True
Suppose -5*r - 3*h = -55928, -r = 2*h - 9811 - 1376. Is r a prime number?
False
Let z(m) = -m**2 + m + 1073. Is z(0) a composite number?
True
Let f be (-22)/5 - (-6)/15. Is 87/6 - (-2)/f composite?
True
Let w be (-10)/2*(0 + -3). Suppose -4*a - 3 + w = 0. Suppose q - 4*h - 73 = 0, 5*h = a*h - 10. Is q composite?
False
Let d be 2*6*2/8. Suppose -d*j + 290 = 5*l, 5*l - 287 = -3*j + 3*l. Is j a prime number?
False
Suppose -4*a = -2*o + 8 + 2, 0 = 4*o + a + 16. Let d = 12 + o. Is d a prime number?
False
Let b(j) be the third derivative of j**5/60 + j**4/24 + 2*j**2. Let o be b(-1). Is 47 + (-2)/(-1) + o composite?
True
Let i(f) = 32*f**2 - 1. Let b = 5 + -6. Let n be b/(-2) + 2/4. Is i(n) a composite number?
False
Suppose -5*r + 2*i + 381 = -422, 0 = -2*r - 2*i + 324. Is r a prime number?
False
Let j(f) = f**2 + 7*f + 2. Let u be j(-7). Suppose 0 = -2*g - u*g + 164. Suppose 4*l = -3*y + 52 + g, 2*y = 4*l + 62. Is y composite?
False
Is (1636/(-12))/(40/(-12) + 3) prime?
True
Let q = -2 + 5. Is 506/4 - q/(-6) prime?
True
Suppose -2*j + 5 + 5 = 0. Let z(b) = 4*b**2 - 6*b - 5. Is z(j) prime?
False
Let d(y) = -y**2. Let a(z) = z**2 - 3*z + 5. Let v(s) = -a(s) - 3*d(s). Suppose 18 = 92*u - 89*u. Is v(u) a prime number?
False
Let b(t) = 5*t**2 - t + 5. Let m be 0 - 1 - 5 - -2. Is b(m) composite?
False
Let t be (-9)/(-6)*-2 - 24. Let o be (-2)/(-3)*t/18. Is 2 + o + -2 - -52 a composite number?
True
Suppose 0 = 3*d + w - 1825, 3*w - 1273 - 1766 = -5*d. Suppose 2*g - 5*g = -d. Is g a prime number?
False
Suppose 0 = 5*s + a - 144, -4*s - 5*a = -4*a - 116. Let c(h) = -h**3 + 9*h**2 - 7*h - 1. Let w be c(6). Let x = w - s. Is x composite?
False
Let k be 806/10 + (-8)/(-20). Let s = k + -134. Is ((-2)/(-2) - s) + 1 a prime number?
False
Let r(q) = q**3 + q**2 + 548. Let s be r(0). Suppose -3*f + s + 121 = 0. Is f composite?
False
Let b(v) = -1 + 0 - 3 - v. Let u be b