. Is q prime?
False
Is 250/1 + 13 + -12 prime?
True
Suppose 2*h - 3*z - 504 = -2*z, -4*h + 1002 = -5*z. Is h a prime number?
False
Let y be (-8)/(-10)*10/4. Suppose -x - y*q - 218 = -5*x, -3*x = -2*q - 163. Is x a prime number?
False
Is ((-634)/(-8))/(1/4) prime?
True
Let v(g) = -g - 2. Let k be v(-4). Let b be (2/1)/(k/(-8)). Let x(n) = -n**3 - 6*n**2 + 10*n - 11. Is x(b) prime?
True
Let m(r) = -5*r**3 + 2*r**2 - 6*r - 2. Let w(t) = -10*t**3 + 5*t**2 - 13*t - 4. Let d(k) = 13*m(k) - 6*w(k). Is d(-3) a composite number?
False
Let l be (-22)/(-3) + (-16)/(-24). Suppose -4*y = -l*y + 6628. Is y prime?
True
Suppose l + 5*x - 662 = -0*l, -1339 = -2*l - 5*x. Is l a prime number?
True
Let p(q) = q**2 + 20*q - 47. Let s be p(-22). Suppose -20 = -3*z - 2*z - 5*i, -5*z = 3*i - 16. Is (s/z)/(2/(-68)) a composite number?
True
Suppose -2*r - 2 = 2. Let b be (r - -2)*(-2)/4. Suppose b - 3 = -g. Is g a composite number?
False
Let w = -15 + 8. Let u = 2 + w. Is -4*2/4*u prime?
False
Suppose -d = -6*d + 25. Suppose -f = -d*g + 456, 0 = 2*g + 2*f - 0*f - 180. Is g prime?
False
Is 4*3*69/36 composite?
False
Let v be 4*(3/(-12) - 0). Suppose -3*k - 2 = -k. Is (-100 - v)/3*k a composite number?
True
Let g(f) = f**2 + 5*f - 2. Suppose 2*r = -0*r + 16. Let k be g(r). Suppose 4*z - 38 = -2*q, -5*q - 4*z + k = -z. Is q a prime number?
False
Let n be 15/(-10)*4/(-3). Suppose 30 + 219 = n*v - 5*y, -v + 3*y = -124. Is v a prime number?
True
Suppose 4*a - 21 = -3*a. Suppose -2*z = -a*c - 0*z + 115, -2*z = -2*c + 78. Is c prime?
True
Let k be (-135)/(-18)*(-2 + 0). Suppose 2*a + 15 + 35 = 0. Let h = k - a. Is h composite?
True
Let g(k) = -2*k + 1. Let w be g(-3). Let b(r) = r**3 - 8*r**2 + 8*r + 3. Let y be b(w). Suppose -2*t + 51 = v, -v = -3*v + y. Is t a composite number?
False
Suppose -2*y = -y + 5*r - 498, -4*y = -3*r - 1877. Is y a composite number?
True
Let k be (1/(-1) - 0) + -1. Let w = k + 5. Suppose 8*s - w*s - 35 = 0. Is s a composite number?
False
Suppose -22*h = -20*h - 382. Is h prime?
True
Suppose -2*f = -4*f. Suppose -3*n - 2*z - 385 = -6*n, f = -4*n - z + 528. Is n a prime number?
True
Let k(l) = -15*l + 15. Let y(p) = p - 1. Let g(f) = -6*k(f) - 85*y(f). Let q be g(10). Suppose 2*w = 85 + q. Is w prime?
False
Let n(x) = -x**2 - 7*x - 1. Let z be n(-5). Suppose 0 = i - 6 + 2. Suppose 0 = -i*g + 19 + z. Is g prime?
True
Suppose 1159 = g + 252. Is g a prime number?
True
Let v = 1 + 4. Suppose -t = -3*t + 3*f + 22, 2*t - 4*f - 26 = 0. Suppose -4 = 2*d - v*x - 25, -2*d + 31 = t*x. Is d prime?
True
Let o = 396 - 263. Is o composite?
True
Suppose 4*y = 2*l - 3*l + 120, 150 = 5*y - 3*l. Suppose -5 = -5*c + k - y, -8 = -3*c - 4*k. Is 46*1 + (-4)/c a prime number?
True
Is (8 + (-33)/6)/(1/794) a prime number?
False
Suppose 2*h - 415 - 210 = 3*n, 2*n - 295 = -h. Is h prime?
False
Let y(m) = -m**3 - 7*m**2 - 6*m + 9. Let g be y(-7). Is ((-8)/(-4) + -1)*g a composite number?
True
Is 1 + -5 + (793 - 2) a prime number?
True
Let v = -1055 + 1569. Is v a composite number?
True
Suppose 0 = -2*m + 8, 0*k + 137 = k - 5*m. Is k composite?
False
Let s(o) = -o**3 + 7*o**2 - 11. Is s(4) a composite number?
False
Is (0 + 118)/(16/56) composite?
True
Let w(m) = -57*m + 8. Is w(-5) prime?
True
Suppose -2*x - 92 = -5*w, -5*x + 2*x = -3*w + 48. Let z be (-4)/(-10) + (-248)/w. Is 3/(2 - (-15)/z) a prime number?
False
Let t be (3/2)/(4/(-64)). Is 102/t*(0 + -12) a prime number?
False
Let x = -463 - -1148. Is x composite?
True
Suppose 0 = f - 330 - 87. Is f composite?
True
Let w be 1054/10 - (-3)/5. Let r = 157 + w. Is r composite?
False
Let n(s) = -20*s**3 + 2*s + 1. Let i be n(-1). Let g = i - 12. Suppose 0 = 2*a - g*a + 335. Is a composite?
False
Let z = -383 + 620. Is z a composite number?
True
Let n be (-2)/7 + 2/7. Suppose 71 = 3*m + 2*d, n*d + 91 = 4*m - d. Is m a prime number?
True
Suppose 2*m + n = -n - 20, 5*n = 5*m + 50. Let d = m + 41. Is d prime?
True
Let m = -42 + -83. Let l = -88 - m. Is l a composite number?
False
Let s(y) = 21*y**3 - 2*y**2 + 14*y - 5. Is s(4) composite?
True
Let j(o) = 3*o**3 - 3*o**2 + o + 1. Let k = -5 - -9. Is j(k) prime?
True
Suppose 0 = -3*o - y + 191, -o = 2*y + 22 - 79. Suppose 4*k - 5*k = -o. Is k composite?
True
Let j = 168 + 125. Is j a composite number?
False
Let j = -54 + 1261. Is j a composite number?
True
Let h(k) = -9*k**3 + 8*k**2 - 9*k - 9. Is h(-5) prime?
True
Let y be ((-11)/2)/((-2)/(-4)). Let v = y - -6. Let a = 2 - v. Is a prime?
True
Suppose -4*t = -3146 - 12482. Is t a composite number?
False
Suppose 40 = 4*v + d - 354, 5*d + 307 = 3*v. Suppose x - 4*o - v = -2*o, -450 = -5*x + o. Is x a composite number?
False
Suppose 3*h + 35 - 506 = 0. Let x = h + -68. Is x a composite number?
False
Let m(v) = -v**2 - 12*v - 9. Let a be m(-11). Suppose -29 = 3*k - 6*k - 2*x, a*x = 4*k - 62. Is k a prime number?
True
Let l(j) = 0*j**3 + 2*j + 0*j + 1 + 6*j**3. Is l(3) a prime number?
False
Suppose -2*l + 0*l + 2*g - 94 = 0, 4*g + 228 = -4*l. Suppose 3*n - 305 + 8 = 0. Let h = l + n. Is h a prime number?
True
Let w(k) = -19*k - 4. Is w(-3) composite?
False
Let l(a) = 10*a + 15. Let h(b) = -7*b - 10. Let u(k) = 7*h(k) + 5*l(k). Let t be u(10). Let m = t + 18. Is m a prime number?
False
Let t be (3/(-5))/((-1)/10). Suppose -t*a = -a. Suppose -s - 2*s = -4*k - 67, a = -s - 2*k + 19. Is s prime?
False
Let w(d) = 9*d + 25. Is w(6) composite?
False
Suppose 10567 = 3*a + 3568. Is a prime?
True
Let i(m) = -10*m - 3. Is i(-6) a composite number?
True
Let x(u) = 1194*u**2 + 1. Is x(1) composite?
True
Let d = -373 + 1021. Suppose 5*w - 815 = -5*j, -2*j - 2*j - 5*w + d = 0. Is j composite?
False
Let c = 4062 - 1909. Is c a prime number?
True
Suppose 0 = 3*c + 6, 0 = -4*z + 4*c - 0*c + 28. Suppose -3*s - 20 = f - 123, -3*f = z*s - 177. Is s a composite number?
True
Let l = 4 + 72. Let q(s) = 3*s**3 - s**2 + s - 1. Let p be q(1). Suppose 4*h - 4*o = 38 + 30, 3*h = -p*o + l. Is h a prime number?
False
Suppose 4*l = -2*a + 1638, 8*l - 3*l - 2030 = a. Is l prime?
False
Suppose -2 = d + l, -3*d + l = -2*l. Let q = d + 6. Suppose 0 = -5*y + q*j - j + 181, 2*j - 2 = 0. Is y prime?
True
Let d be 3*(1 - 8/6). Let r be (1/d)/((-4)/600). Suppose 0 = 4*j - 482 + r. Is j a prime number?
True
Let s(x) = 77*x. Let r be s(5). Suppose 7*n - 2*n = r. Is n composite?
True
Let s be (-3)/6*(-8)/2. Let x(v) = -8*v**2 + 2*v - 2. Let c be x(s). Let m = 83 + c. Is m a prime number?
True
Let m(d) = -5*d**3 + 3*d**2 + 6*d + 11. Is m(-4) prime?
False
Suppose 4*r - 608 = 2*w, 0 = 3*r - 3*w + 6*w - 465. Let l = -59 + 159. Let v = r - l. Is v a composite number?
False
Let h = -6 + 11. Suppose h*i - 1135 = -4*s, -i + 5*s + 81 + 117 = 0. Is i a prime number?
True
Suppose 0 = -b + 4*b - 2*y - 15, -2*b - 3*y - 3 = 0. Suppose -3*g - 3*m = -57, 0 = -b*g + 6*g - 5*m - 73. Is g a prime number?
False
Suppose -2*k + 942 = -1040. Is k a composite number?
False
Let k(s) = s - 3. Let c be k(5). Suppose c*y = 208 + 110. Is y composite?
True
Let p(d) = 108*d + 1. Is p(2) a prime number?
False
Let g = 71 + -40. Is g a composite number?
False
Let h(i) = 20*i - 5. Let z(t) = 239*t - 49. Let w(q) = -48*q + 10. Let y(s) = 11*w(s) + 2*z(s). Let d(c) = -12*h(c) - 5*y(c). Is d(1) a composite number?
True
Suppose -2*i + i = -67. Is i a prime number?
True
Suppose -m + 2*k = 155 - 504, -5*k = -20. Suppose o + m = 4*o. Let d = o - 66. Is d a prime number?
True
Suppose 3*x + 4*b + 644 = 7*x, 4*b + 805 = 5*x. Is x composite?
True
Is 1843/2*2 + 4 composite?
False
Suppose -h - 5*f = -259, -3*h - h + 1036 = -4*f. Is h a composite number?
True
Suppose 0 = 5*v - 5*z - 890, 537 = v + 2*v - 2*z. Let b = 308 - v. Is b a composite number?
False
Let f = 2 - 0. Is f + 140 + 3 + 0 composite?
True
Let p(w) be the third derivative of w**6/120 + 23*w**3/6 - w**2. Is p(0) a prime number?
True
Suppose 2*r - 2*n - 208 = 0, -2*n + n - 1 = 0. Is r prime?
True
Let y = 19 + -12. Let p(r) = r - 2. Let a be p(y). Suppose -4*s - 8 = h - 26, a*h - 4*s - 42 = 0. Is h composite?
True
Suppose 5*a + r = 498 + 398, -a - 2*r + 181 = 0. Let j = a + -109. Is (j + -3)/((-1)/(-1)) a prime number?
True
Suppose -387 = -3*n + 60. Suppose -4*c + 47 + n = 0. Is c a prime number?
False
Suppose 2 = 4*x + 22, x = 4*c - 9273. Is c a prime number?
False
