s. Is ((-11)/(-3))/(1/j) a prime number?
False
Let b(g) = -24*g - 29. Is b(-10) a prime number?
True
Suppose 78 = -5*s - 102. Let w = s - -71. Is w a prime number?
False
Suppose 737 = q - 4*w - 1858, -5180 = -2*q - 2*w. Is q composite?
False
Is (347 + 0)/((-2)/(-6)) prime?
False
Suppose -596 = -4*c + 2*c. Is c a prime number?
False
Let g(m) = 3*m**3 + 2*m - 1. Let f be g(1). Suppose 9 = f*a - a. Suppose -2*r = -5*r - a*d + 291, -2*d - 91 = -r. Is r a composite number?
True
Let s = 27 - 64. Let u = s - -92. Is u prime?
False
Let g(r) = r**2 + 12*r + 25. Is g(-16) composite?
False
Let w = -745 + 1140. Is w prime?
False
Let u(x) = 112*x + 5. Is u(12) composite?
True
Let z = -1 - -8. Is z prime?
True
Let z be ((-237)/9)/((-2)/6). Let f = 146 - z. Is f prime?
True
Let k be -1 + (3 + -6 - 2). Let v = k + 24. Let b = v - -15. Is b composite?
True
Is 8/(-28) - 2151/(-7) a composite number?
False
Let x(t) = -17*t**2 - t - 2. Let p be x(-3). Let o = -87 - p. Let z = o + -34. Is z prime?
True
Suppose 3*r - 2 = 2*m + 6, 0 = 5*r + 5*m + 20. Suppose 3 = b - r. Is b composite?
False
Let s(m) = -m**3 + 7*m**2 + 10*m - 10. Let u be s(8). Suppose 5*x = f - 10 - 8, 3*x + 12 = f. Suppose -f*c + 36 = u. Is c a composite number?
True
Let m = 13 - 9. Let f(n) = -n**3 + 4*n**2 + 2*n - 5. Is f(m) a composite number?
False
Suppose 1228 = 4*f - 1312. Is f a prime number?
False
Suppose 2*d - 9 - 3 = 0. Let m = 6 - d. Let i(l) = -l + 83. Is i(m) a prime number?
True
Is (3751/3 - 2) + 8/12 composite?
False
Let v(h) = -h**2 - h. Let b be v(-7). Let o = b - -4. Let t = o + 57. Is t a composite number?
False
Let m be (6/(-4))/((-3)/6). Let l = m + 0. Suppose -r = -l*r + 20. Is r a composite number?
True
Let m = 3 + -3. Let r = 4 + m. Suppose 196 + 280 = r*y. Is y a prime number?
False
Suppose d = 3 - 1. Suppose -q + 1284 = 5*i, 0*q - d*q + 1026 = 4*i. Is i a composite number?
False
Suppose 609 = l + 49. Suppose w - 6*w = -l. Is -2 + (w - (-1)/(-1)) prime?
True
Let t be (-2)/(0 + (-4)/(-4)). Is ((-82)/t)/((-1)/(-3)) composite?
True
Let z(m) = 3*m**2 + 9*m + 4. Let f = 16 + -22. Is z(f) a composite number?
True
Let v = -4 - 0. Let j be ((-25)/10)/(2/v). Suppose 4*z - 61 = -a + 3*z, -j*a + 278 = -4*z. Is a a composite number?
True
Let o(x) be the third derivative of -x**4/24 + x**3/2 + 2*x**2. Let r be o(3). Suppose -5*w - 153 + 898 = r. Is w a composite number?
False
Suppose -3*r - 4*j = -r + 4, -r + 3*j = -8. Is 185 + r - (-2 + 4) a prime number?
False
Let s = 15 - 28. Let m = 84 + s. Is m prime?
True
Suppose -7*o + 2*a = -3*o - 3818, 0 = -2*o + 4*a + 1894. Suppose -o = -5*d + 698. Is d prime?
True
Suppose -g - 2*g + 3*a = -9, 4*a = -3*g + 23. Is (g - 2 - 24)*-1 a composite number?
True
Let b(j) = 2 - 3 - 2 + 9*j. Let u be b(11). Let i = u - 57. Is i a composite number?
True
Let s = -32 + -3. Let w = 66 + s. Is w a composite number?
False
Let y(x) = -x**3 + 7*x**2 + x - 1. Let a be y(7). Let i(m) = -m**2 + 5*m + 4. Let u be i(a). Is u/8 - (-90)/8 a composite number?
False
Suppose -2*j + 2 = -j. Let c be 1/(-2)*(-5 + 1). Suppose 3*x - 162 = 3*u, 0*u - c = j*u. Is x composite?
False
Is -2 + (292 - 12/4) composite?
True
Let o(f) = f**2 + 7*f + 6. Let d be o(-5). Is d/6 - 105/(-9) a composite number?
False
Let z(k) = -20*k - 9. Let v(x) = -x - 1. Let d(h) = -22*v(h) + 2*z(h). Let i(s) = 19*s - 3. Let c(b) = -4*d(b) - 5*i(b). Is c(-1) a prime number?
False
Let q = -21 + 56. Is q a prime number?
False
Suppose 5*y + 306 = 31. Let c = y + 79. Suppose c + 11 = 5*g. Is g prime?
True
Let z = -3203 - -4560. Is z composite?
True
Suppose 0 = -u + 6 - 11. Is (2 - 1)/(u/(-265)) a prime number?
True
Let f = -243 + 428. Is f composite?
True
Let q = 1305 - 156. Is 6/21 - q/(-21) a composite number?
True
Let j = -256 - -365. Is j a prime number?
True
Suppose 4*g - 5 = -1. Let n(c) = 29*c + 2. Is n(g) composite?
False
Suppose -q = 7*s - 3*s + 485, 5*s = 2*q - 603. Let c = s + 188. Is c composite?
False
Let g(n) = n**2 - 6*n - 8. Let u be g(6). Is (u/4)/(1*-1) a composite number?
False
Suppose -10 = -3*f + 2*j - 0*j, f - 3*j = 1. Suppose -3*x - 32 = 5*i - 127, i + f*x = 2. Is i a prime number?
False
Suppose -19 - 11 = -5*m. Suppose -m = -2*t + t. Is (116/t)/((-10)/(-45)) composite?
True
Suppose 5*g + o = 789, -g - 2*g + 2*o = -476. Suppose 3*d = 25 + g. Suppose 3*v - d = 188. Is v prime?
True
Suppose 0 = f - 2*q + 8, 11*f + 16 = 6*f + 4*q. Let n(p) = p + 4. Let t be n(f). Suppose 2*j - t*j + 30 = 0. Is j a prime number?
False
Suppose 2*z - 7*z + 17 = -3*o, 4*o + 4 = 2*z. Let a be (-1 - (1 + o))*-1. Suppose a*k - 48 = -3*c, 5*k - 77 = -3*c - c. Is k prime?
True
Suppose c = 4*r + 3*c - 8476, 0 = -5*c + 20. Is r composite?
True
Suppose -i - 8 = i. Let w(q) = 2*q**2 - 4*q - 3. Let b be w(i). Suppose 0 = -4*z + z + b. Is z composite?
True
Suppose 831 - 3 = -4*s. Let p = s - -304. Is p a prime number?
True
Let t(q) = -30*q + 1. Let y = -8 - -1. Is t(y) a prime number?
True
Let c = 4 + 0. Suppose -4*y + 5*k + 18 = 0, y = -2*y - 5*k - c. Suppose 17 = y*s - 99. Is s composite?
True
Let y = -6 - -6. Suppose y = 4*p + 3*n - 437, -2*p = -0*p - n - 231. Is p composite?
False
Suppose 4*m + 1128 = -z, 282 = -0*m - m + z. Let u = m + 397. Is u composite?
True
Let p = -2 - -5. Suppose r - 8 = -p*r. Suppose 0 = -4*k + z + 360, r*z - 53 = -3*k + 206. Is k composite?
False
Suppose l - 8 = 5*z, 3*z = 4*l - 0*l + 2. Let v = l + 2. Is (v - 1)/(1/(-23)) a prime number?
True
Let v(t) = -12*t**3 + 2*t**2 + t. Let k be 8/32 - 5/4. Is v(k) a prime number?
True
Suppose 0 = -z + 4*z - 6. Let s(u) = -u**2 - 9*u + 4. Let h be s(-9). Is (h - 2 - z) + 7 prime?
True
Let q(g) = 3*g**3 + 2*g - 1. Let t be q(-2). Let x be ((-28)/10)/(4/20). Let c = x - t. Is c prime?
False
Suppose -2*z = -5*z + 15. Suppose 2*v + 2*y = z*v + 18, 2*y = -2*v - 2. Is 1893/12 - (-3)/v a composite number?
False
Suppose -124 = 5*l - 509. Is l composite?
True
Let v(w) = 6*w**2 - 31*w - 36. Is v(25) a prime number?
True
Let f(w) = 45*w**2 + 2*w - 4. Is f(3) a prime number?
False
Suppose k + 4*h = 8*h + 18, 0 = 4*k + 3*h + 4. Suppose n - 59 = -5*l, n - k*l - 57 - 30 = 0. Is n a composite number?
False
Suppose -5*j - 2*s + 6 = -2*j, 3*j + 12 = 4*s. Suppose j = 5*o - 2*o - 165. Is o a composite number?
True
Suppose 12 = m + m. Let v(n) = 1 - 16*n + 8*n - m - 16*n. Is v(-5) prime?
False
Let a(m) = -m**3 + 11*m**2 - 11*m + 15. Let u be a(10). Let b(c) = c**3 - 4*c**2 - 5*c. Let r be b(u). Suppose r = -2*v + 51 + 55. Is v a composite number?
False
Let s(p) = 2 + 0*p + p**2 + 4*p + 8 + 0*p**2. Is s(-7) composite?
False
Suppose 0 = s - 318 - 559. Is s composite?
False
Is (-9526)/(-10) + 4/(-50)*-5 a prime number?
True
Let k(w) = 3 + 2*w**3 - 3*w**3 + 0 + 3*w + 6*w**2. Let c be k(-5). Let t = c + -144. Is t prime?
False
Let a(b) = -6*b + 23. Suppose 2*w - 4*w - 32 = 0. Is a(w) a composite number?
True
Let s(r) = -3*r**3 - r**2 + 4*r + 4. Let a(z) = 2*z**3 + z**2 - 3*z - 3. Let d(h) = -4*a(h) - 3*s(h). Let m be d(1). Suppose m = 3*l - 110 + 5. Is l composite?
True
Let l(a) = a**3 + 6*a**2 - 10*a - 6. Let r be l(-7). Suppose -3*n + 4*n = r. Is n prime?
False
Is 46 + (1 - (0 + 1)) a prime number?
False
Suppose 1794 = 11*l - 8*l. Let i = l - 171. Is i a prime number?
False
Let g(d) = -d**2 + 10*d - 7. Let k be g(9). Let q = k + -2. Is 1 + q + (-1 - -15) composite?
True
Let t be 1*-2 - (-4 - 0). Let h be t*(0 - (-1)/2). Is h/(240/237 - 1) composite?
False
Suppose 0 = 2*d - 0*d + 214. Let m = 192 + d. Is m a composite number?
True
Let d(q) = 16*q**2 + 3*q - 1. Let l(i) = -i**2 - 3*i. Let h be l(-2). Is d(h) prime?
False
Suppose -22 = -3*r - 58. Is (-248)/r - 2/(-6) prime?
False
Let w(m) = -m**3 + 5*m**2 + 7*m - 4. Let k be w(6). Suppose 32 = k*q - 0*q. Is (-149)/(-4) - 4/q prime?
True
Suppose -v = 2*v. Suppose v = j - 0*j + 5*f - 171, 2*j = -4*f + 342. Suppose -3*a + j = -60. Is a a composite number?
True
Suppose 0 = -z + 5*k - 23, 0 = -5*z + k + 5. Let y be 1 + 3/(1 + z). Suppose -y*j = -3*j + 26. Is j a composite number?
True
Suppose -50 = 4*z - 558. Suppose 762 - z = 5*p. Is p composite?
False
Let i(d) = d**2 + 4*d - 2. Suppose -2*r - 3*f - 6 = 0, 7*f - 2*f + 29 = 3*r. Is i(r) prime?
True
Let z(a) = -a**3 + 8*a**2 - 6*a + 4. Suppose -2*o = n - 0*n - 14, -2*n + 8 = 0. 