s 188/10 - (-2)/q a composite number?
False
Is ((-1226)/(-4))/(3/6) composite?
False
Suppose 584 = y + 3*y. Suppose 2*w + 2*v = -y, -5*w - 3*v - 100 = 267. Is (w/4)/(1/(-2)) a prime number?
True
Suppose -3*v - 183 = -3*x - 6*v, x + 3*v - 65 = 0. Suppose c = -6 + x. Is c a prime number?
True
Suppose -46*a + 45*a + 211 = 0. Is a a prime number?
True
Let j(l) = -l**3 + 9*l**2 - 5*l - 8. Let v be (1 + -1 - -2)*-2. Let h = v + 11. Is j(h) prime?
False
Suppose -3*w = 3*v + 168, -v = 4*w + 67 + 4. Let l = v - -76. Suppose 0 = f - l - 6. Is f composite?
False
Let m = 608 - 141. Is m composite?
False
Let w(a) be the first derivative of a**2/2 - 2*a + 4. Let c be w(5). Suppose 2*k + 57 = c*k. Is k a composite number?
True
Is (4/(-1) + 3)*-545 composite?
True
Let m be 6/5*(-10)/(-4). Suppose 5*c = -2*y + 199, -3*c + 2*y = -y - 111. Suppose -m*b + 252 = -c. Is b a composite number?
False
Suppose -3*x - 4784 = -5*x. Let i = x + -1425. Is i a composite number?
False
Let j(m) = m - 2. Let q be j(4). Suppose k = q*k - 37. Is k composite?
False
Suppose q - 3*q = i - 4, -4*i + q = -25. Suppose -190 = -i*v + 4*v. Is v a composite number?
True
Let l(d) = -d + 5. Let u be l(-7). Let q = u - 7. Suppose q*f + 3*h + 61 = 231, 3*f - 5*h - 68 = 0. Is f a composite number?
False
Let q = 7 + -1. Let d(c) = 3*c**2 + 2*c + 1. Is d(q) prime?
False
Is (-12)/(-3) + (53 - -5) a composite number?
True
Let d(g) be the third derivative of -g**8/2240 + g**7/1260 - g**6/240 - g**5/40 - g**4/24 + g**2. Let r(s) be the second derivative of d(s). Is r(-2) composite?
True
Let b be (-1538)/(-8) + (-2)/8. Let l = 337 - b. Is l a composite number?
True
Suppose 3*x = x. Suppose -t + 4 = -x. Suppose 185 = h + t*h. Is h a prime number?
True
Let b = 595 + -225. Let o = 111 + b. Is o a prime number?
False
Let z be 6/(-9) - 308/(-12). Let y = z + -16. Is y a prime number?
False
Let t be 0 - (118/1 + 2). Let u = -51 - t. Is u composite?
True
Let k(s) = 40*s**2 + 5*s + 3. Let u be k(-3). Suppose 3*y + 3*m = 0, -4*m - 35 = -4*y + y. Suppose c + u = y*c. Is c a composite number?
True
Let u(h) = -89*h**3 - 6*h**2 + 6*h + 7. Let j(t) = t**3 + t**2 - t - 1. Let z(c) = -6*j(c) - u(c). Is z(1) prime?
False
Let m(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3/3 - 3*l**2 + l. Let p be m(-7). Suppose p*j - 5*j - 147 = 0. Is j prime?
False
Let m(r) = -r**3 - 8*r**2 - 7*r - 3. Let o be m(-7). Let b be 979/3 + (-2)/o. Suppose -w + 448 = 4*v, 0 = 3*v - 0*v + 3*w - b. Is v a prime number?
True
Let n be ((-3)/(-3))/(2/278). Let t = -81 + n. Is t a composite number?
True
Let w = -84 - -149. Is w a composite number?
True
Suppose -3*s + 31 = n + 2*s, 3*n + 3*s = 33. Suppose 0 = 3*y - n*y. Suppose y*q = 2*q - 290. Is q prime?
False
Let f = 71 + -132. Let l = f + 272. Is l a composite number?
False
Let h(r) = 4*r**2 - 10*r + 5. Let p be h(-8). Let x = -138 + p. Is x composite?
True
Is (-358)/(-2) - (-12)/(-12) composite?
True
Let n be 26/6 - 4/(-6). Suppose -n*j + 5 = -10. Is j composite?
False
Let g(c) = c - 3. Let p be g(6). Let l(y) = -3*y - 1. Let k be l(1). Let w = p - k. Is w composite?
False
Is -1567*2*(5/(-2) - -2) prime?
True
Suppose -3*q + 0*q = -1053. Let i(p) = 5*p**3 - 2*p - 2. Let z be i(3). Suppose -2*h = -b + z, 3*b + 0*h = -4*h + q. Is b a prime number?
False
Let j = -9 - -2. Let v = j + 32. Is v prime?
False
Suppose 4*a - 8 = 4*z, -3*z + z = 4*a - 2. Let o(s) = -4 + s - a - 10*s. Is o(-6) a composite number?
True
Let k(d) = d**2 + 6*d - 4. Let b(l) = 6*l**2 + 30*l - 20. Let q(z) = 2*b(z) - 11*k(z). Is q(-7) a prime number?
False
Let c be -7 + 3 + 3 + 0. Is (-5 - (-1 + c)) + 22 a prime number?
True
Suppose 2*y + 2771 = -2*j + 21833, -3*j + 4*y = -28607. Is j prime?
True
Let j be (-472)/(-18) - (-10)/(-45). Let u be j/(-3) - (-2)/(-6). Let d(l) = 2*l**2 + 11*l + 2. Is d(u) prime?
False
Suppose t + 3*t - 1980 = 0. Suppose 8*v + 4*p - 11 = 3*v, -5*p = -5*v + 20. Suppose v*w + 156 - t = 0. Is w a prime number?
True
Let g(v) = -v**2 - 6*v. Let u be g(-5). Suppose -z = u - 9. Suppose -2*r - t + 39 = 0, r - z*t - 27 = -2*t. Is r a composite number?
True
Suppose -5*w - 85 = -3*n, 139 + 21 = 4*n + 5*w. Is n composite?
True
Let q(n) = n**2. Let v(x) = -x**3 - 7*x**2 - 8*x - 4. Let i(k) = 3*q(k) - v(k). Is i(-5) a prime number?
True
Suppose -7*h = -6134 + 1423. Is h prime?
True
Suppose 0 = -43*a + 44*a - 1847. Is a a prime number?
True
Suppose 11*q - 8*q - 6 = 0. Suppose -105 = -5*l - 0*l. Suppose -l = q*r - 3*r. Is r composite?
True
Suppose z - 17 - 206 = 0. Is z a prime number?
True
Suppose -4*d = 2*n - 3938, 4*n - 272 = -d + 723. Is d a composite number?
False
Is (-1*4 - 0) + (846 - -21) a composite number?
False
Let p be 20*21 - 3 - 3. Let j = -227 + p. Is j a prime number?
False
Let d(o) be the third derivative of -11*o**5/120 - o**4/24 + o**3/2 + 2*o**2. Let p(m) be the first derivative of d(m). Is p(-10) a prime number?
True
Is (-1 - 96)*(0 - -4 - 33) a prime number?
False
Let g(m) = 238*m**2. Let h be g(1). Suppose a + h = -4*p, 0*a + 2*a - p + 431 = 0. Let d = -144 - a. Is d a composite number?
True
Let w(z) = -z**3 + 2*z**2 - 4*z + 2. Let q be w(2). Is 2*(1251/q)/(-3) a composite number?
False
Suppose 38624 = 13*n - 44303. Is n composite?
False
Let k(q) = 662*q**3 + q - 1. Let v be k(1). Let m = v - 350. Suppose -3*u = 81 - m. Is u a composite number?
True
Is (-1 - 1 - 291)/(-1) composite?
False
Suppose -2*n + 4*n = -5*c - 505, 3*c + 287 = 2*n. Let w = 176 + c. Is w a composite number?
True
Let u be (-4716)/(-10) + 3/(-5). Let d = -322 + u. Is d composite?
False
Suppose 3*i = -7 + 1. Is (-105)/i - (-5)/10 a composite number?
False
Suppose 0 = -y + 4*r + 114, 4*y - 5*r - 377 = y. Is y a composite number?
True
Is (-9)/9 - 6*-2 composite?
False
Let b(d) = -27*d + 6. Is b(-5) composite?
True
Let t(o) = o**3 - 5*o**2 + 10*o + 5. Is t(9) a prime number?
True
Suppose 0 = 2*n - 3*j - 1291, 3*n - 4*j = 2*n + 653. Is n a prime number?
True
Let o = 20 - 13. Let x = o - 5. Suppose -3*d + 575 = x*d. Is d a composite number?
True
Let j be -15*1 + 2 + 1. Let f = 101 + j. Suppose 0 = -5*k + 2*s + f, 100 - 12 = 4*k + 4*s. Is k composite?
False
Let m(l) = -10*l - 3. Let o be m(-2). Let h = -14 + o. Is h a composite number?
False
Let m(g) = -g**2 - g. Let i be m(-3). Let h be -1 + i*(-8)/1. Suppose -w + h = -4*v, 5*w + v - 58 - 114 = 0. Is w composite?
True
Let a = -11 + 2. Is (-871)/a + 8/36 prime?
True
Let v(n) = -n - 5*n**2 + n**2 + 3*n + n**3. Is v(5) composite?
True
Let d(c) = -c + 211. Let z = 7 + -7. Suppose z = -2*u + 3*u. Is d(u) composite?
False
Suppose i + 941 = o + 3*o, 0 = o - i - 236. Is o a prime number?
False
Suppose -b - 4*p = -4*b + 459, -459 = -3*b - p. Suppose 5 = -s, f + f - b = -s. Is f a prime number?
True
Suppose 0 = -2*j + 5 - 15, 0 = -b - 2*j - 11. Let p be 6/(b - -4) - -2. Is p/(-10) + (-1122)/(-30) prime?
True
Suppose 9 = w + 3*x, 0*x - x = -3. Let b(m) = -m + 3. Let n be b(w). Suppose n*g + 63 - 192 = 0. Is g composite?
False
Let a be (-5)/15 - (-1042)/3. Suppose 2*j = -0*j - s + 137, 0 = -5*j - 4*s + a. Is j a prime number?
True
Suppose -2*j + 2312 = 2*j - 4*i, 2*j = -5*i + 1121. Is j prime?
False
Is (0 + -2)*1438*2/(-8) prime?
True
Let r(b) = -90*b - 1. Let q be 1 + -3 - 2 - -2. Is r(q) a prime number?
True
Let p = 412 + 3627. Is p a prime number?
False
Let q(i) = 16*i**2 + 4*i + 1. Let u be q(-5). Suppose -4*w + 3*k = -508, k + k + u = 3*w. Is w composite?
False
Let k be 54/(-90) + (-37)/5. Is 1 + k*(-41 - 0) a composite number?
True
Let u be 8/3*6/4. Let k(m) = m + 8 - 10 + 2*m - 3. Is k(u) a prime number?
True
Suppose 9023 - 1972 = 11*w. Is w prime?
True
Let q be (-6)/10 + (-60924)/(-15). Suppose -139 = -3*r + q. Suppose 0 = -5*o - 345 + r. Is o composite?
False
Is (0 + (-164)/2)*7/(-2) composite?
True
Let n be 2/(-6) - (-28)/(-6). Let x be n/2*8/(-10). Suppose -z - 5*m = -43, -4*z = 4*m - x*m - 136. Is z prime?
False
Suppose -5*y = d + 3*d - 144, 0 = 5*d - 2*y - 180. Suppose 0 = -0*x + 4*x - d. Is x a composite number?
True
Let x = -844 - -1611. Is x a composite number?
True
Suppose 5*w + 4*v + 90 = 0, 0*w - v = w + 18. Let q = 30 + w. Suppose 0*g - 2*g + q = 0. Is g composite?
True
Let g(v) = -v**2 + 7*v - 4. Let b be g(6). Suppose -b*u + 5*u - 1266 = 0. Is u a prime n