01 composite?
True
Let t = 3 + 15. Is t/3*1 + 1 composite?
False
Let u = 88 - 26. Let y(p) = -3*p**2 - 5*p - 2. Let v be y(-4). Is (-1)/(u/v + 2) prime?
False
Let x(i) = 9 + 3*i + 8*i**2 + i**3 - 3*i - i. Is x(-7) prime?
False
Suppose 0 = -2*m - 9 - 5. Let p = 4 + m. Is (1*159/p)/(-1) composite?
False
Let z be 4/(-6) + (-632)/24. Is (-6)/z + (-662)/(-18) a prime number?
True
Let v be (-2)/(-4)*1*424. Suppose 5*k + 4*s = k + v, -2*s + 6 = 0. Is k/(5 - (0 - -3)) prime?
False
Let d(p) = p**3 - 14*p**2 - p + 3. Is d(17) composite?
False
Let z(m) = 65*m**3 + m**2 + 5*m - 5. Let q be z(2). Let s = 926 - q. Is s composite?
False
Let g(z) = -z**3 - z**2 + 10. Let t be g(0). Suppose 0 = -5*w + 10, t + 9 = -5*a + 2*w. Let h = a + 40. Is h prime?
True
Let m be ((-1)/4)/((-8)/5344). Suppose f + 2*f - m = -o, -5*f + 273 = -o. Is f composite?
True
Let p = 1818 + -2886. Let m = p + 1537. Is m a prime number?
False
Suppose -4 = -5*g + 2*r, 3 = 2*r - 3. Is ((-109)/g)/(4/(-40)) prime?
False
Let k = 459 - -30. Suppose 4*t - t - k = 0. Is t composite?
False
Suppose -4*y - 223 = -5*y. Is y prime?
True
Let f(x) = -x**2 + 6*x + 3. Let q be f(6). Suppose -5*m + 389 = -q*v, -6*v + 5*v = -2*m + 156. Is m composite?
False
Let q(k) = k**2 + 4*k - 1. Let d be q(-5). Let w = 41 - 29. Suppose -m + 6*m = f - 21, -d*m + w = 4*f. Is f a composite number?
True
Suppose 4*c - c = 1155. Suppose -c = -5*f - 0*f. Is f prime?
False
Let f = 59 + -11. Suppose 647 = 5*l - f. Is l composite?
False
Is ((-3288)/(-2))/4 + 0 a composite number?
True
Let x(w) = w**3 + w**2 + 33. Suppose 0 = -2*j + 2*i - 2, -7*j + 16 = -2*j + 2*i. Suppose -4*s + j*s = 0. Is x(s) composite?
True
Let t(x) = -5*x**2 - 6*x + 47. Suppose -2*w + 3*w = -6. Let m(k) = -k**2 - k. Let n(v) = w*m(v) + t(v). Is n(0) prime?
True
Let b(l) = -l**3 - 4*l**2 + 4*l - 5. Suppose -4*x - 6 - 14 = 0. Let q be b(x). Suppose q = 2*o + 5*s - 56, -o - 169 = -6*o + 2*s. Is o a composite number?
True
Let q be (-30)/7 - 4/(-14). Let f = 4 + q. Suppose 3*m - 32 = i + 4*i, f = 3*m - 2*i - 20. Is m prime?
False
Let u be (-2)/(-4) + 1/(-2). Suppose -4*d + u*d = -1012. Is d a prime number?
False
Let p = 87 - 187. Let d be (p/2)/(10/15). Let l = -44 - d. Is l composite?
False
Let f(h) = 6*h**2 - h - 4. Let n = 6 - 3. Is f(n) composite?
False
Let f be (-2)/(-1)*25/2. Suppose -a = -6*a + f. Suppose a*m + k = 119, 4*k + 0*k = -5*m + 131. Is m a prime number?
True
Let x(v) = -4 - 3 + 2 - v. Let m be x(-4). Is m/(-4) - 70/(-8) prime?
False
Let z(u) = u**3 - 3*u**2 + 18*u + 15. Is z(13) a prime number?
False
Let t(k) = 11*k**2 - 3*k - 2. Let u be t(3). Suppose 5*n = u + 27. Is n prime?
True
Let w = 320 - -122. Suppose x - 4*c = w, 3*x - 1400 + 10 = -4*c. Suppose 0 = -5*u + x + 267. Is u composite?
True
Suppose 37 = 3*l + 2*t, -t + 63 = 5*l + 2*t. Is l a prime number?
False
Let x(k) = -k + 69. Let z be (0 - 2 - -2)/2. Let o be x(z). Suppose 0 = -4*a - 4*s + 72, 2*a = 5*a - 2*s - o. Is a composite?
True
Let u = -287 + 704. Suppose -117 - u = -2*t. Is t prime?
False
Let k(s) = s**2 + 3*s + 2. Let n be k(-3). Suppose -3*l = -6*l + 3*o + 21, 0 = n*o. Is l a composite number?
False
Suppose -23 = -5*d + 27. Let o = -5 + d. Let g = o - -5. Is g a composite number?
True
Let j = -5 + 3. Is (28 + -3)/(j/(-2)) a composite number?
True
Suppose 4*p - 28 = -4. Let c be (-36)/10 - p/15. Is ((-74)/3)/(c/6) composite?
False
Let l be 20/5*(-239)/(-2). Let b = 7 + l. Is b composite?
True
Let q be (-154 - 6/(-3))*1. Is q/(-8)*(-1 - -2) composite?
False
Let g = -6 + 8. Suppose 0 = -3*w - g*w + 15. Suppose w*t - 50 = t. Is t composite?
True
Let d be 16/3*(-5 - -8). Is (-24)/d*248/(-6) composite?
True
Let q(d) = -5*d**3 - d**2 - 2*d - 1. Let n be q(-1). Suppose 0 = -n*x + 454 - 189. Is x composite?
False
Is (-295)/(-6) - (-2 - 26/(-12)) composite?
True
Let k be (26/(-8))/((-5)/(-140)). Let a = -24 - k. Is a composite?
False
Let i = -116 - -206. Let f = 193 - i. Let d = f + 16. Is d prime?
False
Let i be -3 + -1 + 3 + 1. Let c be i/(1 + 6/(-3)). Let s = c + 10. Is s a prime number?
False
Let a = 2 + 0. Suppose 0 = a*z - 47 - 59. Is z prime?
True
Let m(a) = -43*a + 1. Let o be m(1). Let x be (-198)/o + 4/14. Suppose 0 = x*s - 275 - 110. Is s a composite number?
True
Suppose -v = -6*v + 19245. Is v composite?
True
Let h be ((-6)/4)/((-1)/78). Let c(i) = 2*i**2 + 4*i - 2. Let n be c(-3). Suppose n*y = y + h. Is y prime?
False
Let j(f) = -7*f + 2. Let i be ((-88)/16)/((-2)/(-4)). Is j(i) a prime number?
True
Let k = 5313 + 3422. Is k a composite number?
True
Let c be (3 + (-5)/3)*3. Suppose p - c*f - 1 = 26, 4*p - 3*f - 56 = 0. Is p a composite number?
False
Suppose -b = -5*b - 2*d + 1312, -b + 333 = -2*d. Is b composite?
True
Let x be 58/8 + (-10)/40. Suppose -5 + 1 = -2*a. Suppose -x*c = -a*c - 165. Is c prime?
False
Let t = -38 - -10. Is t/70 - 9074/(-10) composite?
False
Let t = -29 + 19. Is 15/t*106/(-3) a prime number?
True
Let v(q) = 7*q + 4. Let d be v(11). Suppose 0*n - 4 = n. Let l = d + n. Is l a composite number?
True
Suppose -t = -5*z + 6, -3*t - 24 = -2*z - 6. Let f = -9 - t. Let d(r) = -39*r + 4. Is d(f) a composite number?
True
Is (-2 - -3) + -3 - -160 prime?
False
Suppose 3*b - 2*y + 127 = 0, -4*y - 37 = b - 2*y. Is 4*b/(-2) + 3 a prime number?
False
Suppose -2*z - 2*z = -4*j - 1872, -3*j + 941 = 2*z. Is z a composite number?
True
Suppose 0 = c - 0*c - 389. Is c a composite number?
False
Suppose -841 = -7*y + 3450. Is y prime?
True
Suppose -5*s = 4*z - 49, 3*z = s - 6*s + 43. Let w be z/2*44/6. Is (3/3)/1*w composite?
True
Let r be (-6)/(-9) - 200/3. Let g = -93 - r. Let y = g - -50. Is y a composite number?
False
Is 7/35 - (-5628)/10 a composite number?
False
Suppose -b = -4*f + 1026, -4*f + 3*b + 718 = -304. Is f prime?
True
Let v be 1/(2 - (-23)/(-11)). Is 6/33 - 845/v a prime number?
False
Let l(i) = -1 + 25*i**2 + 3*i**2 + 53*i**2 - 15*i**2. Is l(-1) composite?
True
Suppose -4*q = 5*y - 4449, 3*q + 3*y - 1042 = 2294. Is q a prime number?
False
Suppose 2*i - 3*i + 3 = 0. Let u = i - 7. Let p(g) = g**3 + 11*g**2 + 4*g - 1. Is p(u) a composite number?
True
Let t = -708 - -46. Is (-8)/(-36) - t/18 prime?
True
Is (-1)/(1/(-414)) + -1 a composite number?
True
Let a(h) = h**3 + 7*h**2 + 6*h + 1. Let c be a(-4). Suppose -5*f + c = -5*n, 3*f = n + 5*f - 1. Let u = 13 + n. Is u composite?
True
Suppose -21 = z - 2*z. Is z a composite number?
True
Let s(g) = -6*g**3 - 4*g**2 - 6*g. Let b be s(-4). Let a(u) = -19*u**3 + 3*u - 1. Let i be a(-3). Let n = i - b. Is n prime?
False
Suppose -3*g + 5 = -5*i + 2*g, -g = -5*i + 15. Suppose -m + 101 = -2*w, -w = 5*m - i*m - 95. Is m prime?
True
Suppose -2*j = j + 4*t - 117, j + t - 38 = 0. Is j composite?
True
Let d be (176/(-10))/(3/(-15)). Suppose -3*a + 2*a - d = -4*r, -66 = -3*r + 3*a. Is r a composite number?
True
Let t(f) = 6*f**2 - 9*f + 7. Is t(10) composite?
True
Let k be (0 - -1)/(2/10). Suppose -5*r = 0, -k*h + 3*r + 162 = -163. Suppose -w - h = -6*w. Is w a prime number?
True
Is (1*-1)/(5/((-67475)/5)) prime?
True
Suppose z + 3*z = p + 4201, 4*p = -20. Is z a composite number?
False
Suppose 2*y - 2 = 2, -5*d - y + 1047 = 0. Is d composite?
True
Let u(y) = 14*y**2 - 29*y - 11. Is u(6) prime?
False
Let f = -314 - -742. Let u = f + -303. Let q = u - 42. Is q a composite number?
False
Let t(h) = -3*h - 3. Let z be t(-3). Let c be z/15 + 204/(-10). Let n = 39 + c. Is n composite?
False
Let p(y) = -y**3 - 9*y**2 - 7*y + 6. Let b be p(-8). Is 19/b*(-1 + -1) prime?
True
Let t(q) = 15*q**2 - 5*q + 1. Let d be t(5). Let x = d + -202. Is x composite?
False
Let b(d) = -25*d + 43. Is b(-20) prime?
False
Suppose -8 = -4*l - 4*j, 5*l = -4*j - 5 + 16. Let r(b) = 3*b**3 - 3*b**2 - b + 4. Is r(l) composite?
True
Suppose -5*p + 19 = -3*t + 1, 17 = 4*p - 5*t. Suppose l = 4*l. Suppose 0 = -2*j - l*j - p*v + 85, -220 = -5*j - 5*v. Is j a composite number?
False
Is (-2995)/(-10) - 3/(-2) composite?
True
Suppose 0 = -5*n + 32 - 7. Suppose 6*h - n*h - 7 = 0. Is h a composite number?
False
Suppose 275 = -4*s + 1599. Is s composite?
False
Suppose -3*t = -8*t + 3205. Is t a composite number?
False
Suppose -4*j = y + 17 + 78, 0 = 2*y - 10. Let c = j - -48. Is c composite?
False
Suppose 6 = -4*d - 6*x + 4*x, 2 = 2*x. Let q be 3/(5 + d - 2). S