 a composite number?
False
Is 1 - -30 - 0/(-4 + 2) a prime number?
True
Let z = 1222 + -777. Is z composite?
True
Suppose -d + 2*d = -9. Let f = 38 - d. Is f a composite number?
False
Let d(w) = 5*w**3 - 2*w**2 - 4*w - 2. Let p be d(-2). Let i(u) = u**3 + 6*u**2 + 7*u + 3. Let s be i(-5). Is (-2322)/p - (-2)/s a composite number?
True
Suppose 160 = 2*f + n - 3*n, -n + 305 = 4*f. Is f a composite number?
True
Suppose -4*b - 4 = -2*y + 2, 2*y - 14 = -4*b. Suppose -2*s + b = -3. Suppose -13 - 63 = -s*l. Is l prime?
False
Let u = -179 + 478. Is u prime?
False
Let x(v) = -6*v. Let d be x(6). Is 475/9 + (-8)/d a prime number?
True
Let y be (-8)/(-28) - (-2020)/(-14). Let p = -98 - y. Is p prime?
False
Let g = 115 - -96. Is g a composite number?
False
Let y(b) = -14*b**2 + 5*b + 8. Let c be y(6). Let i = c - -1334. Suppose 3*q + i = 7*q. Is q a prime number?
False
Suppose v = -4*v + 2*o - 68, -v - 4*o = 18. Let j = 9 - v. Is j prime?
True
Let p = -3929 + 5748. Is p composite?
True
Suppose -3*q = -5*g + 859 - 42, -2*q - 818 = -5*g. Let i = 15 + g. Is i composite?
False
Let q = 8 + -4. Suppose q*y = 8, 4*x = -4*y - 0 + 24. Is x*(0 - (-57)/12) a prime number?
True
Let q be 2 + 0 + 1 + -54. Let u = q - -108. Is u composite?
True
Suppose w - 5*k = 2119, -10*w + 11*w - 2115 = 4*k. Is w prime?
True
Let z(n) = -1. Let s(a) = 17*a - 3. Let p(u) = s(u) + 6*z(u). Suppose -2*y = -3*y + 8. Is p(y) composite?
False
Let s = 607 + -340. Is s a prime number?
False
Let g(a) = -11*a + 20. Is g(-9) a prime number?
False
Let x(i) = -6 + 5*i - 1 + 0 - 3*i. Let h be x(7). Suppose -h = u - 28. Is u prime?
False
Let l(n) = 217*n**2. Suppose 5*s + 5 = -0*s. Is l(s) a prime number?
False
Suppose 0*a = h + 2*a - 119, 0 = 2*h + 3*a - 236. Is h a prime number?
False
Suppose 11 = 5*b + 1. Let r = b - -117. Is r a composite number?
True
Let q(w) = w**3 + 6*w**2. Let b be q(-6). Suppose 0*v + 5*v = b. Suppose 2*f + 3*f + 5*i - 150 = 0, v = 3*f - i - 102. Is f prime?
False
Is (706/(-4))/((-5)/10) a prime number?
True
Is ((-21)/(-6) + -3)*222 composite?
True
Let x(c) = 1973*c**3. Is x(1) a prime number?
True
Suppose 3*a - t - 994 = 0, -3*a + 4*t + 996 = t. Let r = -168 + a. Is r a prime number?
True
Suppose 5*k = -l - 0*l - 591, 0 = -l - 1. Let r = k - -215. Is r a prime number?
True
Suppose 2*u - 2 = 0, x - 2331 = -4*u + 6*u. Is x a composite number?
False
Suppose 0 = -4*k + 5*x + 15, 4*k = 2*x + x + 17. Let i(b) = -18*b + 5*b + b**2 - k - 2*b**2. Is i(-6) a prime number?
True
Let m be 4/14 - (-58)/(-7). Let j = m - -43. Is j composite?
True
Let a(s) = -s**3 + 13*s**2 + 5*s - 15. Is a(10) composite?
True
Suppose 3*p + 1 = -q + 3, -5*p = -3*q + 20. Let r = p + -1. Is (2 + (-142)/4)*r prime?
True
Let q = 274 + -111. Is q a composite number?
False
Let a be (6/4)/((-6)/8). Let t = a + 5. Suppose t*s + 39 = 6*s. Is s prime?
True
Let s(w) = 4*w**2 - 2*w - 2. Suppose 0 = 5*c - 7 - 23. Let p = c + -4. Is s(p) a prime number?
False
Suppose 6*n - 88 = 2*n. Is n a composite number?
True
Let b be 0 + 4/2 + 34. Is (564/b)/(1/3) prime?
True
Suppose 176 = -4*x + 504. Is x prime?
False
Suppose -h = -5*h + 1020. Suppose 2*o - 102 = 3*a, 5*o - a - h = 3*a. Is o prime?
False
Let r = 87 - -206. Is r a composite number?
False
Suppose 0*m + 5*m = 11065. Is m a composite number?
False
Let q = 207 + 506. Is q a composite number?
True
Let y = 2801 + 470. Is y a prime number?
True
Let d = 29 - 17. Let f be (-1 - -3)/(-1)*-2. Suppose d + 16 = f*m. Is m a composite number?
False
Suppose 1077 = -6*n + 8595. Is n prime?
False
Let m be 15/4 - 1/(-4). Suppose -p = 5, 0 = 5*h - m*h + p + 102. Let n = h - -152. Is n composite?
True
Let z(k) = 16*k - 4 + 9 - 15*k. Let w be z(0). Suppose 0 = v + o - 71, -6*v + 154 = -4*v + w*o. Is v a prime number?
True
Let f = -495 + 1906. Is f composite?
True
Is (2 - -645)/(1 + 0) prime?
True
Let o = 12 - 34. Let n = -76 - -132. Is (o/(-4))/(4/n) prime?
False
Suppose 4*q = -781 - 35. Is q/(-10)*(-5)/(-2) a composite number?
True
Suppose 4*y - 804 = y. Suppose 5*n = 4*p - y, -p - 4*n - 11 = -78. Is p a prime number?
True
Let s be 228/2 - 2/(-2). Let f = -32 + s. Is f a composite number?
False
Is (294 - (-2)/(-2))*1 composite?
False
Let r(t) = 2*t**3 - 2*t**2 - 5*t + 6. Let g = 5 + -1. Is r(g) composite?
True
Let f be (-1302)/(-4)*20/6. Suppose 7*h - 2*h - f = 0. Is h a composite number?
True
Let u = -10 + 81. Is u prime?
True
Let i = -33 + 112. Is i prime?
True
Let z = 912 + 1601. Is z a prime number?
False
Let h = 65 + -22. Is h a composite number?
False
Let d(w) = 551*w + 20. Is d(7) prime?
True
Suppose 0 = 5*r - 0*r - 30. Let o(s) = -s**3 + 6*s**2 + 2*s + 2. Let j be o(r). Is j*(0 - 51/(-6)) prime?
False
Suppose 5*o + 153 + 3 = y, -3*o - 15 = 0. Is y prime?
True
Let r(m) = m**3 - m**2 - 2*m - 4. Let z be r(3). Let i = -4 + z. Suppose i*q + 2*j + 3*j = 25, 0 = -2*q + 2*j + 26. Is q a prime number?
False
Let d(z) = z**2 + z. Let a be d(-1). Suppose j - 2*j + 185 = a. Is j a prime number?
False
Let k = -7 - -10. Suppose k*y = 8*y - 3115. Is y a composite number?
True
Let x(h) = -h**3 + 12*h**2 + 14*h + 5. Let c be x(10). Suppose -t = 4*b - 2*t - 276, 0 = -5*b + 2*t + c. Is b a prime number?
False
Suppose 2*h + h = 0. Let m = h + 31. Is m prime?
True
Let t(k) = -k**3 + 2*k**2 + k + 5. Is t(-4) a prime number?
True
Let j(w) = -w**2 - w + 1. Let d be j(-3). Let u = 102 + d. Is u prime?
True
Suppose 2*m - 717 + 51 = 0. Suppose 0*h + 5*h = 1030. Let p = m - h. Is p a prime number?
True
Suppose 2*k - 22 = -4*n + 2, 4*n - k = 18. Suppose 3*i = 5*w - 3, -n*w + 0*i - 4*i - 4 = 0. Suppose -9 = -w*q - q. Is q a prime number?
False
Let x be ((-4)/(-2) - 3) + 25. Let f be ((-9)/4)/((-3)/x). Let u = f + 19. Is u a prime number?
True
Let q(s) = s + 4. Let u be q(0). Suppose -u*h + 227 + 537 = 0. Is h prime?
True
Suppose -140 = -2*t + 788. Is (14/(-8))/((-4)/t) a prime number?
False
Let n(a) = a + 9. Let i(p) = -p - 4. Let z(f) = -5*i(f) - 2*n(f). Let q = 28 - 25. Is z(q) a prime number?
True
Let f = -122 + 217. Suppose -f - 203 = -2*y. Is y a composite number?
False
Let t(c) = -1400*c**3 + 2*c + 1. Is t(-1) a prime number?
True
Let f = 83 + 194. Suppose -2*b - 2*k + f = k, -5*b = 4*k - 703. Is b composite?
True
Let h be ((-36)/8 + -3)*22. Let v = 46 - h. Is v prime?
True
Is 16/(-56) - 30291/(-7) a composite number?
False
Let b = 319 + -206. Let j be (-1)/(-2 + b/57). Suppose 3*f = -0*f + j. Is f composite?
False
Suppose 4*q + 19 + 5 = 0. Let g = -3 - q. Is g a prime number?
True
Let j = -7 + 4. Let a(f) = -10*f**2 - 2*f + 2. Let c be a(j). Let l = 197 + c. Is l composite?
True
Let u(i) = 4*i**2 - 3*i + 1. Is u(4) a composite number?
False
Let w(n) = 834*n - 4. Let o be w(3). Suppose 0 = -5*c - o - 1602. Is (-4)/(-18) - c/36 composite?
False
Suppose -2*g + 2*v + 20 = 0, -15 = -2*g - 3*g - 2*v. Let c(f) = -5*f + 4 + 3 - g. Is c(-4) a composite number?
True
Suppose -c - 7*c + 1784 = 0. Is c a composite number?
False
Let q(g) = 2*g**2 - 7*g - 3. Let c(h) = -h**2 + h. Let z(t) = -10*c(t) - 2*q(t). Let a be z(-5). Suppose 5*p - a = p. Is p prime?
False
Suppose -6*d + 5*d + j = -520, -4*j = 2*d - 1046. Is d a composite number?
False
Let k = -70 - -145. Suppose 2*w = -5*r + 396, w + r - k - 126 = 0. Is w composite?
True
Let r be 2/4*2*2. Suppose 0 = -5*t - a + 185, 148 = 2*t + 2*t - r*a. Is t composite?
False
Suppose -3*l = 2*b - 10, b - 21 = -4*l - 6. Suppose -l*s + 465 = -d - 341, 995 = 5*s + 5*d. Suppose -z - 2*z = -s. Is z prime?
True
Suppose 1887 = 5*j - 4*b, -4*j + 116 = -b - 1398. Is j prime?
True
Suppose -2*g - 2*q + 0 = -4, 0 = 4*q. Suppose 5*m = g*m + 327. Is m composite?
False
Let u = 57 - -4. Let j = 9 - u. Is (1 + 0)/((-2)/j) prime?
False
Suppose -4*l - 5*q = 451 - 60, 4*q = 5*l + 499. Let z = l - -142. Is z a composite number?
False
Suppose -4*g + 56 = -0*g. Let n be g/3*(6 - 3). Let i = n - 1. Is i a composite number?
False
Let v be (-1 + 2)*(-230)/(-2). Suppose 0 = -0*h + 3*h - 15. Suppose -h*b = -v - 180. Is b a prime number?
True
Suppose 6*u = 4*u + 8. Suppose 2*h - u*r + 9*r - 30 = 0, 4*r + 30 = 2*h. Is h a composite number?
True
Let u(l) be the second derivative of 7*l**3/6 + l**2 - 4*l. Let p be 1/4 + 19/4. Is u(p) composite?
False
Let g = -5 - -8. Suppose 0 = -g*q + 5*k + 126, -5*