*o = b*r - 16. Is r a composite number?
True
Let j(x) = 17*x + 8. Is j(7) composite?
False
Suppose 2*l = 94 + 136. Suppose -r + 3*z = -119, 3*r - 4*z = 2*r + l. Is r a composite number?
False
Let g = 76 + -27. Is g composite?
True
Suppose -5416 = -2*u - c, -u + 5*c + 8111 = 2*u. Is u prime?
True
Let m be (1 + 2)*1 + 0. Suppose t + m*t + 4 = 0. Is 113/(2 + -2 - t) prime?
True
Let o be (-6)/27 + 3539/9. Suppose y - 1 = -13. Is (o/y)/((-1)/4) a prime number?
True
Suppose 5*f - 25 = 0, 2*i + 4*f + 4 = 134. Suppose -4*p + 365 = 3*k, k - p - i - 55 = 0. Is k prime?
False
Let v = 235 - -1810. Is v a prime number?
False
Suppose 0 = 5*m - 80. Suppose 2*n + m = 7*n - 4*u, -4*n - 16 = 4*u. Suppose -o + 55 = -n*o. Is o prime?
False
Suppose 0 = a + 3*p - 19 - 493, 4*a - 3*p = 2108. Let o = 1087 - a. Is o composite?
False
Suppose -2*k + 227 = -183. Is k a composite number?
True
Suppose 5*n + 5*c - 1916 + 376 = 0, 918 = 3*n - 3*c. Is n prime?
True
Let a(s) = 3*s**2 - 2*s + 1. Let u be a(-4). Let b be 0 - (0 - -4)/(-2). Is (4 - b) + 0 + u prime?
True
Let q be 1*5*(3 - 2). Suppose 8*k - 31 = -f + 3*k, 233 = q*f - k. Is f a prime number?
False
Let q = -8 - -5. Is (q/9)/((-2)/1266) composite?
False
Is 0 + (2084/16)/(2/8) a composite number?
False
Suppose -10 = -3*k + k. Suppose z - 35 = k*f - 134, -46 = -2*f + 2*z. Suppose 3*x - 2*r = f, 4*x = x + 5*r + 16. Is x a prime number?
True
Suppose 2*h - 24 - 66 = 0. Suppose -2*z + 3 = 2*z - 5*k, 0 = -5*z - 2*k + h. Is z composite?
False
Let g(l) = -32*l - 2. Let i = -21 + 13. Let a(p) = p**3 + 7*p**2 - 7*p + 5. Let z be a(i). Is g(z) prime?
False
Suppose 26*g = 28*g - 1294. Is g a prime number?
True
Suppose -4*a = 5*q - 73, 13 = 4*a + 2*q - 45. Suppose 0*g - a = 4*g, -g = z - 56. Is z prime?
True
Let g(q) = 0*q**2 + 7 + 5*q + 2*q - 2*q + q**2. Suppose -4*i + 4*z + 48 = 0, 5 = -2*i - z + 14. Is g(i) a prime number?
False
Let h = 1 - -4. Let b be -2 + (h - -1) - 0. Let i = 15 - b. Is i a prime number?
True
Let n(p) = 5*p**2 - 8. Is n(-3) a prime number?
True
Suppose -3*y + 67 = -5. Is ((-16)/y)/((-4)/534) composite?
False
Let s(b) = 2*b**3 + b. Let n be s(1). Let z(y) be the first derivative of 3*y**2 + y + 1. Is z(n) a prime number?
True
Is (51/9)/((-5)/(-75)) a composite number?
True
Suppose y + y = 1162. Is y a prime number?
False
Let b(y) = y**2 + 5*y - 1. Let g be b(-6). Suppose n + g*r = -4*n + 730, -r - 579 = -4*n. Is n prime?
False
Let m = -211 + 100. Let g = m + 160. Is g prime?
False
Let l(p) = -30*p - 13. Let t be -1*(-3)/(-3) + -9. Is l(t) a composite number?
True
Let y = 5 + -14. Is (y/27)/(2/(-390)) composite?
True
Let r = 76 + -54. Suppose i - r - 15 = 0. Is i a prime number?
True
Suppose 5*d - 7*d - 54 = 0. Is 1827/d*(0 - 3) prime?
False
Let c(s) = s**3 - 8*s**2 - 9*s. Let b be c(9). Suppose 0 = -2*h - 5*l - 9, 3*h + 11 = -b*h - 5*l. Is (-387)/(-15) + h/(-10) a prime number?
False
Suppose -6*r - 724 = -21994. Is r a composite number?
True
Let y = 561 + -268. Is y a prime number?
True
Let a(j) = -4 + 2 - j - 6. Let s be a(-10). Suppose -16 = -s*p - 2*p. Is p a prime number?
False
Suppose 0 = 4*i - 4*g - 152, 0*i - 3*g = -i + 40. Is i a composite number?
False
Let y = 6 + -11. Is (-6)/(-15) + (-393)/y a prime number?
True
Suppose -4*d + 494 = 4*v - 2*v, 3*d = 5*v - 1170. Is v a composite number?
True
Let p = -5 - -7. Is ((-1508)/(0 + p))/(-2) a prime number?
False
Let t(j) = 17*j**2 + 2*j - 1 + 17*j**2 + 6*j**2 - 2*j**2. Is t(1) a prime number?
False
Suppose -5*z + 131 = 36. Is z a composite number?
False
Suppose -o + 5*o = -2*g + 12, 2 = 5*g - 4*o. Let m(l) = 6*l - 1. Is m(g) a composite number?
False
Is -6779*(1 - 6 - -4) prime?
True
Suppose 5*c = -171 + 916. Is c a prime number?
True
Suppose 0 = -2*j + 29 + 9. Is j a prime number?
True
Suppose -4*n + 12 = 4*t, -4*t - 7 = -4*n + 5. Suppose t = 4*w + f - 593, w - 161 = 2*f + 2*f. Is w prime?
True
Suppose 154 + 100 = 2*v. Is v a prime number?
True
Let i be (4 - (-2 + 5))*-93. Let j = i - -162. Is j a composite number?
True
Let w be 60/8*(-4)/(-6). Let h be (0 + -1 - -1)/2. Suppose h = -s + w*s - 92. Is s a prime number?
True
Let v be 2 + 0 + -1 - -9. Let r = v + 16. Is r a composite number?
True
Let y(b) = b + 4. Let s be y(4). Is s/(-28) + (-466)/(-14) prime?
False
Let y(o) be the second derivative of 3*o**4 + 0 + 3*o - 1/2*o**2 - 1/3*o**3. Is y(-1) prime?
True
Suppose -g + 23 = -7*t + 2*t, -4*t = 4*g + 4. Let l be (57/(-2))/(3/(-4)). Suppose o = g*o - l. Is o a composite number?
False
Suppose 2*k + 63 = 3*p + 13, 3*k + 12 = 0. Let q = p + 8. Is q prime?
False
Let n(m) = -m**2 - 7*m + 6. Let z be n(-7). Let d be 3/((-9)/z) + 7. Suppose 335 = d*x - 0*x. Is x a prime number?
True
Let b be (-1)/((-15)/6 + 2). Suppose -13 = b*g - g. Let r = g - -34. Is r prime?
False
Let c(h) = -h**2 - 2*h. Let i be c(-3). Let t(g) = g**2 + g - 3. Is t(i) a composite number?
False
Let y(t) = -200*t**3 + t**2 - t - 1. Is y(-1) a prime number?
False
Suppose -v + 985 = 5*n - 3*v, -4*n + 788 = -4*v. Suppose 3*h + n = q, 3*q - 4*h = -8*h + 617. Is q a prime number?
False
Let m(u) = 23*u + 9. Let y(f) = -24*f - 8. Let l(c) = -5*m(c) - 6*y(c). Is l(6) prime?
False
Let l be (-1542)/2 + -4 + 3. Let p = -521 - l. Is p prime?
True
Let y = -72 - -102. Suppose y + 44 = 2*t. Is t prime?
True
Suppose 0 + 3 = c. Suppose 0 = -3*u - 7 - 5, -2*n - c*u = 0. Is n composite?
True
Let a = 6 + -1. Suppose 2*s + 39 = a*s. Is s prime?
True
Is (-1*2)/(2/(-1457)) a prime number?
False
Let l = 3 - 5. Let s be l*(3/(-6) + -1). Suppose -135 = -5*w + 5*o, -s*o = -2*o + 5. Is w prime?
False
Let d = 2 + 1. Suppose 0 = d*p - 12, 0*p - 63 = -w + 4*p. Is w prime?
True
Let y(z) = z**2 - 7*z - 7. Let p = 5 - -2. Let l be y(p). Let x = 18 + l. Is x composite?
False
Let g be ((-9)/(-9))/(2/6). Suppose -g*l - 48 + 261 = 0. Is l prime?
True
Suppose t = -4*t - 320. Let y = -55 + 26. Let l = y - t. Is l prime?
False
Suppose 3*h - 30 = 3*q + h, 22 = -2*q + 2*h. Is ((-4)/q)/(1/106) composite?
False
Let x be 935/45 - 4/(-18). Suppose 5*m = -j + x, -8 = -m - 3*j - j. Suppose c = -w + 13, m*w = c + 4*c + 61. Is w composite?
True
Let p(v) = -114*v + 5. Let i(x) = -57*x + 2. Let o(c) = -7*i(c) + 3*p(c). Is o(2) prime?
False
Suppose -3*v + l + 4*l = -4143, 0 = -4*v + 2*l + 5524. Is v prime?
True
Suppose -2*q = -3*q. Suppose 0 = 2*w - 3*j - 79 - 57, 2*j + 8 = q. Suppose 4*v = -w + 266. Is v a composite number?
True
Suppose 5*b = -4*c + 328, 4 = 4*b - 12. Suppose c = -0*w + w. Is w composite?
True
Suppose 5 = -r + 1. Let v = r - -14. Is v prime?
False
Let z(y) = 5*y - 1. Let m be z(1). Suppose 3*s = -9, -m*q - s = -0*s - 293. Let c = 151 - q. Is c a composite number?
True
Suppose -4*t = -f + 210 + 213, -5*t + 441 = f. Is f a prime number?
True
Suppose 9*o + 17927 = 22*o. Is o composite?
True
Is (-149 + 4 - 4)*-1 composite?
False
Let g be 2 - (-3)/9*0. Suppose 27 = -g*u + 93. Is u a composite number?
True
Suppose -14*n = -15*n + 485. Is n a composite number?
True
Let q = -1 + 1. Suppose 0 = -2*a - q*a + 110. Is a prime?
False
Is 1/(-5) + (-2544)/(-20) prime?
True
Let s(l) = 41*l**2 + 4*l - 6. Is s(5) composite?
False
Suppose 5*w - 4*n = 915, -3*n - 114 = -2*w + 259. Is w a composite number?
False
Suppose 0 = i + 4*i - 5, -5*i = 5*f - 15. Suppose -f*m = -k - 4*m + 107, -2*m = -4*k + 458. Is k a prime number?
True
Let k(a) = -a**2 - 5*a - 1. Let t be k(-5). Is t*1*(1 + -40) a prime number?
False
Let h(k) = k**3 - 3*k**2 + 3. Let r be h(3). Let s be 62/6*(28 + -1). Suppose -i = j - 53, -j + s = 5*i - r*j. Is i a composite number?
True
Let g(k) = 8*k**2 - 5*k - 8. Suppose 2*b + 0 + 14 = 0. Is g(b) a composite number?
False
Is 1965 - 2*(-1 - 1) composite?
True
Suppose -493 = -6*t + 161. Is t prime?
True
Suppose -h + 6 = -2*b, 4*h - 8 - 28 = 2*b. Suppose h + 7 = -j. Let t = 31 + j. Is t composite?
True
Let i = 8 - 5. Suppose i*l = 2*l + 149. Is l prime?
True
Let q be (144/14)/((-3)/(-42)). Suppose 3*g - 453 - q = 0. Is g a prime number?
True
Let o = 189 - 92. Is o a composite number?
False
Let o(p) = -p**2 - 6*p + 13. Let q be o(-7). Suppose 5*f + 290 = 5*m, q*m + 5*f - 205 = 2*m. Is m a prime number?
False
Let s be (-24)/(-2 - 1) + -3. Suppose j - 29 = 2*g - 0*g, s*j = g + 163. Is j a composite number?
True
Suppose 0 = 19*y - 16358