r?
True
Suppose -5*x + 5*u + 35 = 0, 2*u + 3*u + 10 = 0. Suppose 0 = s + x, 3*z - 5*s = 520. Let m = 232 - z. Is m a composite number?
False
Suppose -3*u + 0*z + 9881 = 4*z, 6618 = 2*u - 5*z. Is u a composite number?
False
Suppose -k - k = -1282. Is k composite?
False
Let q(o) = -91*o**3 - o**2 + o - 1. Let h be q(1). Let g be h/6*-6 - 2. Suppose 2*w - 3*b - 13 = g, 5*w - 5*b - 250 = 0. Is w prime?
True
Is ((-3668)/8 + 2)/(2/(-4)) a composite number?
True
Suppose -h - 2*h + 2*o + 94 = 0, h - 4*o - 38 = 0. Suppose -2*j + r + 38 + 27 = 0, 0 = j - r - h. Is j prime?
False
Let m = 257 - 147. Let f = m - -17. Is f prime?
True
Suppose 5*z = 3176 - 466. Let j = 841 - z. Is j prime?
False
Let f be (-21)/9 - (-2)/6. Is f/(((-6)/(-43))/(-3)) composite?
False
Suppose -3*n + 4543 = 5*j, 5*j - 3 - 7 = 0. Is n prime?
True
Let h(m) = m**2 - m - 2. Let o be h(-1). Suppose 3*i + 2*k - k - 371 = o, 121 = i - k. Is i composite?
True
Let r(y) = 6*y**2 + y - 1. Is r(1) a prime number?
False
Suppose -2*z + 3*m + 57 + 860 = 0, 2*z + 3*m - 899 = 0. Suppose 0 = -4*s + z + 54. Is s composite?
False
Let a(q) = 7*q**2 + 8*q + 4. Is a(-11) a composite number?
True
Suppose -6*i = -i - 5*k - 45, k - 16 = -4*i. Suppose -i*w + 10 = -3*w. Suppose 3*b = -4*v + 225 + 139, -w*v + 455 = b. Is v a prime number?
False
Let o = 465 - -1102. Is o prime?
True
Let d = -127 - 39. Let n = 273 + d. Suppose 0 = 5*i + 12 - n. Is i prime?
True
Let s = -12 - -30. Suppose s = 2*l - 0*l. Is l composite?
True
Let u be (61/(-2))/(1/2). Let n = u - -98. Is n a prime number?
True
Let d(s) = -12*s + 1. Let w be d(-3). Let q = 52 - w. Is q prime?
False
Let t = -440 + 939. Is t prime?
True
Let f be (565/10)/(1/2). Suppose 3*v - 4*r = 341, 0 = -v - 5*r + 26 + f. Is v prime?
False
Let b = 2126 + -1453. Is b prime?
True
Suppose -3*j + 120 = -2*w + j, 3*j = -4*w - 284. Let l = 41 - w. Suppose 5*z - 567 = -h, -2*h = z - 2*z + l. Is z composite?
False
Suppose -2*j = -7*j + 255. Let a(x) = -x + 2. Let y be a(0). Suppose 0 = 5*m - y*r - 169, 3*m + 2*r = j + 60. Is m a prime number?
False
Suppose 5*m + 5*v = -0*m + 8270, -2*m - v = -3311. Is m composite?
False
Let c(r) = 5*r**2 - 11*r + 7. Let q(j) = 6*j**2 - 12*j + 8. Let o(b) = 5*c(b) - 4*q(b). Is o(7) a prime number?
True
Let u = -226 + 531. Is u a composite number?
True
Suppose 0 = -3*u - x - 80 - 103, 4*x + 12 = 0. Let z = -29 - u. Is z prime?
True
Suppose 4*o = -4*d + 9176, 2*d - 5*o - 6874 = -d. Is d a composite number?
False
Suppose 0 = 2*i + 3 - 1. Let k = i + 5. Suppose k*n - 267 = n. Is n a composite number?
False
Suppose -z + 2*y + 24 = 0, -y - 3*y = 3*z - 62. Suppose 5*c - h - 3*h = z, -5*c + h = -13. Is c prime?
True
Let u(v) = -80*v**3 - v**2 + v + 1. Is u(-1) composite?
False
Let c(b) = b**2 + 7*b - 11. Let w be c(-8). Let a(j) = -17*j**3 - 2*j**2 - 2*j - 4. Is a(w) prime?
True
Suppose 5 = 3*c - 7. Suppose 0 = c*a + v - 567, -a - v = -2*v - 148. Is a a prime number?
False
Suppose -2*g = -3*l + 989, -4*l + 321 = -3*l - 5*g. Is l composite?
False
Let z(w) = -w + 11. Let x be z(8). Suppose p = -x*p. Is -2 + 3 - p - -36 a composite number?
False
Suppose -3*j + 14 = o, 4*j - 2*o = -7*o + 37. Suppose 0 = d + j*d - 4. Suppose d = p + 4, 3*p = 3*r - 120. Is r a prime number?
True
Let f = -11 + 20. Suppose -g - f = -27. Suppose 5*q - 97 = g. Is q prime?
True
Let s be -2 - ((-1)/1 - -9). Let l = s - -17. Is l a prime number?
True
Let l(v) = -15*v - 14. Is l(-7) composite?
True
Let o = -393 + 710. Is o a prime number?
True
Let k(r) = 4*r**3 - r. Let a be k(-1). Let x be (-22)/(-4) - a/(-6). Suppose 59 = x*d - 266. Is d prime?
False
Suppose 4 = 4*t, 0 = -5*x - 2*t - 0*t + 227. Suppose 0 = -3*v - 3*b + x, -2*v = -5*b + 14 - 72. Is v a prime number?
True
Suppose 6*b - 479 = 247. Suppose 0 = 2*k + k - 12. Suppose -5*z = -b - k. Is z a composite number?
True
Let k(p) = 41*p + 5. Let o = -3 - -7. Is k(o) a prime number?
False
Let a be 0*(2/4 + 0). Suppose -9 = -x + 5*g, a*x = -x - g + 9. Suppose 0 = -t + x + 28. Is t a prime number?
True
Let z = 384 - -13. Is z a prime number?
True
Suppose 12 = 2*h + h. Suppose -h*j + 4*a + 20 = -8, -3*a = 5*j - 3. Suppose 16 = 2*b - 2*f, -j*b - f + 8 = 4*f. Is b composite?
True
Suppose 4*j + j - 5*o = 195, -2*o + 174 = 4*j. Suppose -252 = -5*w + u, -2*w + 3*w + 4*u = j. Suppose w = 2*d + 3*s - 55, 0 = 4*s + 12. Is d prime?
False
Let a be (-1 - -1 - -2) + -2. Suppose 5*q - 2*q - 180 = a. Suppose 0 = w + 3*w - q. Is w composite?
True
Let v be 1/((-1)/(-3) - 0). Let a = 43 + 1. Suppose -a = -v*i + i. Is i a prime number?
False
Let z be (-2)/(-5) + 10/(-25). Suppose -2*n = -z*n. Suppose -2*h - 5*r + 37 + 102 = n, -5*h = r - 336. Is h a composite number?
False
Let r(l) = 128*l - 5. Is r(3) prime?
True
Let s = -11 - -13. Let t = 159 - s. Is t prime?
True
Suppose -4*v + 16 = 4*c - c, 0 = 5*v - 2*c - 20. Let u(l) = 14*l - 5. Let t(q) = -15*q + 4. Let k(s) = v*t(s) + 3*u(s). Is k(-1) a prime number?
True
Let l(x) = x**3 + x + 131. Let c = 6 + -6. Is l(c) a prime number?
True
Let z(b) = 103*b**2 + 1. Let q be z(1). Let a = q - 62. Suppose 0 = -2*m - m + a. Is m prime?
False
Let g(s) = 160*s**3 + 2*s**2 + s - 2. Is g(1) prime?
False
Let g(a) = 72*a + 19. Is g(6) a composite number?
True
Suppose -369 - 65 = -2*v. Is v composite?
True
Suppose m - 5*m = -16. Suppose -m*k + 10 = 4*c - 2, 4*k + c = 9. Suppose 4*r + k*n = 355 + 121, 5*n = -20. Is r a prime number?
False
Let w = 572 - 166. Let a = -249 + w. Is a prime?
True
Let i(b) = 586*b**2 - 2*b + 3. Is i(1) composite?
False
Is 2*(1710/4)/9 composite?
True
Suppose 5*q + 306 = -h, 2*q + q = 4*h + 1201. Let r = 536 + h. Is r composite?
True
Let x be (-87)/((42/4)/7). Let r = x + 93. Is r prime?
False
Suppose 11*b = 7350 + 6499. Is b prime?
True
Let t(x) = -x**3 - 2*x**2 - 11 - 2*x**2 - x - 5*x**2. Let q be t(-9). Is q/(-6)*(4 + 233) composite?
False
Is (-2)/1*10299/(-6) composite?
False
Let b = -6 - -4. Is b/(-11) + 1017/33 composite?
False
Suppose 1260 = 3*c - 411. Is c prime?
True
Let a = 461 + -270. Is a a composite number?
False
Suppose 2*w + w - 157 = -2*y, 3*y + 4*w = 235. Let i = y + 72. Is i composite?
False
Suppose -564 = -3*o + 549. Let y = o + -214. Is y a prime number?
True
Suppose 0 = j + 4*b - 6, 5*b + 2 + 10 = 2*j. Let z be (-19)/3 + (-4)/j. Let s(c) = -c**3 - 6*c**2 + 2*c + 4. Is s(z) a composite number?
True
Let w(t) = 6*t + 1. Suppose 1 = n - 4. Suppose 3 = -2*r + 13, -n*r = 3*s - 28. Is w(s) a prime number?
True
Let o(i) = 40*i + 1. Is o(4) a prime number?
False
Suppose 4 = -z + 11. Let c(s) = s**3 - 6*s**2 - 8*s + 9. Let l be c(z). Suppose 0 = g - 1 + 5, -l*u - 2*g + 54 = 0. Is u composite?
False
Suppose -f = -0*l + 3*l + 16, 0 = 5*l + 5*f + 20. Is l/(-15) + (-153)/(-5) a prime number?
True
Suppose -2*u + 5*l = -684, -5*u = -9*u + 4*l + 1356. Is u composite?
False
Let q = -41 - -11. Is -1 + 263 + q/10 composite?
True
Suppose -3*x + 2*x = 3*u + 3, 4*x - 2 = -5*u. Is x prime?
True
Let l(s) = 4*s**2 - 5*s + 7. Suppose 5*x + 11 = 3*c, -5*x - 9 + 0 = -2*c. Suppose 0 = c*f, f + 8 = g - 2*f. Is l(g) a composite number?
False
Let w(g) = -4*g**3 - 3*g**2 - 9*g - 11. Is w(-4) composite?
False
Let l(x) = 65*x - 1. Let y(h) = 66*h - 1. Let o(g) = 6*l(g) - 5*y(g). Is o(1) prime?
True
Let s = 1196 + -247. Is s composite?
True
Let p(s) be the third derivative of s**6/120 + s**5/6 - s**4/4 - s**3 - s**2. Let n be 5*(-1 + 2 + -2). Is p(n) a composite number?
False
Suppose r = m + 6 - 2, -4*m - 8 = -2*r. Suppose z + 4*l - 1263 = -r*z, 994 = 4*z - 5*l. Is z a prime number?
True
Let k = -90 - -87. Let h = 638 - 424. Is k + 0 + 0 + h a prime number?
True
Let p be -8*19/(-2) + 3. Let v = p - 44. Is v composite?
True
Let q(g) = 5*g - 1. Let b be q(1). Let f be 112 - 2/b*0. Suppose 0 = -5*a + 5*u - 2*u + f, -4*a + 91 = -u. Is a a prime number?
True
Suppose -6*i + 610 + 296 = 0. Suppose -4*n + 2*y - i = -5*n, -n = y - 154. Is n composite?
False
Let s(f) be the third derivative of -27*f**4/8 - 5*f**3/6 + 3*f**2. Is s(-2) prime?
True
Let p(j) = j**2 - 6*j - 4. Let q be p(7). Suppose 4*d = q*g + 1043, 335 + 698 = 4*d - g. Let z = 406 - d. Is z a composite number?
False
Let c(t) = -t**3 + 10*t**2 + 3*t - 1. Let p(b) = b**3 + 7*b**2 + 4*b - 6. Let k be p(-6). Is c(k) composite?
True
Suppose 0 = -2*l