0*h. Is j prime?
False
Let a = 79 + 80. Let o = -106 + a. Is o composite?
False
Suppose -67 = -5*d - 2. Suppose q - d - 27 = 0. Let y = 73 - q. Is y composite?
True
Let u(v) = 51*v**2 + 2*v + 1. Suppose -2 + 6 = -4*f. Let x be u(f). Suppose -3*q - x = -5*q. Is q a prime number?
False
Suppose -4*d = l + 490 - 1303, 4*d - l - 811 = 0. Is d composite?
True
Suppose 2*y - 24 = -5*k - 2*y, 2*k - 3*y - 5 = 0. Suppose -2*t - 396 = -k*o, 5*o - 5*t = 2*o + 311. Is o a prime number?
True
Let a(m) be the third derivative of -1/6*m**4 + 7/30*m**5 + 3*m**2 + 0 + 0*m + 1/2*m**3. Is a(2) prime?
False
Suppose 1410 = -2*d + 6*d - r, -4*d = -4*r - 1404. Is d a composite number?
False
Let t be (-4)/6*(-10 + 4). Suppose 0 = -t*o + 1375 - 211. Let b = o - 208. Is b composite?
False
Let r = -7 + 1. Is r/(-2) - 230/(-1) composite?
False
Suppose -5*x + 95 + 3150 = 0. Is x a composite number?
True
Suppose g + 170 = 3*l, -5*g - 2*l = 2*l + 831. Let a = 435 + g. Suppose -5*c - y = -a, -218 = -4*c - 0*c - 2*y. Is c a composite number?
False
Let n = -1 + 4. Is (n - 3) + 35 + -4 a composite number?
False
Let c(y) = 58*y + 55. Is c(13) a prime number?
True
Let f(t) = t + 2. Let m(a) = a + 3. Let d be m(-3). Let l be -5*(-1 + d/(-2)). Is f(l) a composite number?
False
Let a(v) = v + 5*v**3 + 20*v**3 + 4*v**3 + 6*v**3 - 1. Is a(1) a composite number?
True
Suppose -5*o = -3*o - 356. Let a = o - 93. Is a composite?
True
Let d(i) = 12*i - 10. Let m = 21 + -14. Is d(m) a prime number?
False
Let q be 9/3 - (-82)/2. Suppose 2*j - 258 = -q. Suppose v + j = 5*h, 0 = -4*h - 3*v + 49 + 29. Is h a prime number?
False
Let b be 936/10 - (-4)/10. Suppose 7*m = m + 24. Suppose m*y - 126 = b. Is y a prime number?
False
Let j = 1 + -16. Suppose -5*o + 3*o = -208. Let h = o + j. Is h prime?
True
Let s(j) = -12*j + 7. Let w be s(10). Let v = 160 + w. Is v prime?
True
Let s = 484 + -249. Is s prime?
False
Let u be 3*-14*(-4)/(-24). Let o(q) be the third derivative of q**6/120 + q**5/6 + 3*q**4/8 + q**3/6 + q**2. Is o(u) composite?
True
Suppose -1269 = -4*h + 515. Is (-1)/((1 + -3)/h) composite?
False
Let p = 430 + -271. Let y = -32 + p. Is y a composite number?
False
Suppose -4*s + 5*k = s - 20, 2*s - 4*k - 4 = 0. Let u(c) = -c**3 + 5*c**2 + 4*c - 6. Let p be u(s). Let t = p + 31. Is t composite?
False
Suppose -4*y + 32 = -876. Suppose -4*u = 2*j - u - y, 4*u + 533 = 5*j. Is j a composite number?
False
Suppose -2*y - 3276 = -4*n, 5*n = 6*y - 3*y + 4096. Is n a prime number?
False
Let u = 508 + -269. Is u prime?
True
Suppose 435 = 3*y + 3*d, 725 = 2*y + 3*y + d. Is y prime?
False
Suppose 3*f + 5*h - 4*h = 179, 121 = 2*f + h. Is f composite?
True
Let g(v) = -15*v - 9. Let l be g(-9). Let i = -87 + l. Is i a composite number?
True
Suppose -5*x + 5269 = 2*z, -3*x - 4*z + 5263 = 2*x. Is x a prime number?
False
Suppose 20*n - 15*n - 805 = 0. Is n composite?
True
Suppose 0 = -g - 2, -3*g = -h - 4*g + 92. Let w be h/(-4)*(0 - -2). Let l = w + 84. Is l a composite number?
False
Suppose 5*n + 1 = -2*m - m, -4*n - 3*m = -1. Let h = n + 4. Suppose -p = -w - 56, 0*p - 3*w = -h*p + 115. Is p a prime number?
True
Let u(v) = -4*v - 4. Let l be u(-3). Suppose -n = -5*x + 15, 0 = -x - 3*n + n - l. Suppose w - x*d = 17, -4*w + 20 = d - 39. Is w a composite number?
True
Let o(r) be the third derivative of -4*r**4/3 + r**3/6 + 4*r**2. Is o(-5) a composite number?
True
Suppose 4*o = 3*c + 16, 3*o + 2*o - 20 = 5*c. Suppose 2*n - 332 = -o*l, -l + n = l - 166. Is l composite?
False
Suppose 2*p + 20 = 6*p. Suppose 4*m = -m - r + 259, -p*m = -5*r - 235. Is m a prime number?
False
Suppose -3*z + 5 + 4 = 0. Is (1 - -256) + 6/z composite?
True
Let b be (2/3)/(2/714). Suppose 5*a - 92 = b. Is a - 1/1*-1 prime?
True
Let l(i) = 2*i**2 - 5*i - 15. Is l(-10) prime?
False
Let g be (-8)/40 - (-59)/(-5). Is (-9)/g*(-248)/(-2) prime?
False
Let d(h) = h**2 + 8*h - 12. Let j be d(-9). Let m(p) = -2*p**3 - 2 - 3 + p + 3. Is m(j) a prime number?
False
Suppose 4*u + 3 = -4*d + 11, d = -2*u + 1. Let w be 1 + (d/3 - 0). Suppose 1 = 2*p + 9, w*j - 5*p = 66. Is j a composite number?
False
Is (-191)/(1/(-2)*2) a composite number?
False
Suppose -5*p = 4*t - 1605, p = 2*t + 127 + 180. Is p a prime number?
True
Suppose 0 = -0*o + o + w + 36, o = -2*w - 34. Let y = 75 + o. Is y prime?
True
Suppose 0*h = -6*h + 6492. Suppose h = b + b. Is b a composite number?
False
Let a(d) = -6*d**3 - 5*d**2 - 10*d + 1. Let t(j) = -j**3 - j. Let n(x) = a(x) - 5*t(x). Let u be (-1)/3 - (-28)/(-6). Is n(u) prime?
False
Let r = 85 + -26. Is r composite?
False
Suppose 7*v - 4*v - 15195 = 0. Is v a prime number?
False
Let z(u) = 3*u**3 + 4*u**2 - 2*u - 2. Let t be z(2). Let l = t - 65. Is (1 - (-2)/(-1))*l a prime number?
True
Let w = -1 + -7. Let a(x) = -x**2 - 9*x - 6. Let o be a(w). Suppose -o*g = 2*g - 356. Is g a composite number?
False
Let w(d) = -d**3 + 12*d**2 + 12*d + 14. Is w(12) prime?
False
Suppose -4*m + 3*m = -2599. Is m a composite number?
True
Suppose 3*m + 6*k - k - 823 = 0, -4*m - 3*k = -1090. Is m prime?
True
Suppose 0 = g + 3*k - 569, -2*g - 2*k + 1150 = k. Is g prime?
False
Suppose 5*q = -0*a - 5*a, 3*a - 9 = 0. Let w(n) = n**3 + n**2 - 4*n - 4. Let o be w(q). Is (-313)/(-9) - o/45 composite?
True
Suppose -5*u = q - 14, 5*u - 1 = 9. Let x(s) = 0 + q + s**2 - 3. Is x(-9) composite?
True
Suppose -5*k - 3*d + 575 = 2*d, 4*k + 5*d - 456 = 0. Is k a composite number?
True
Let w(h) = h**3 - 5*h**2 + h - 2. Let d be w(5). Suppose -2*s + 2*r + 204 = 0, -r - r = d*s - 286. Let p = -61 + s. Is p a prime number?
True
Let f be (27/(-45))/((-1)/(-5)). Is ((-7*291)/f)/1 a prime number?
False
Let b be ((-2)/4)/(3/(-402)). Let k be (4 + -2)/(-2*1/(-44)). Suppose 0 = -3*g + k + b. Is g composite?
False
Suppose r = 1 - 2, -4*r = 3*u - 743. Suppose 5*v = -3*q - 15, -3*q = 2*q + 3*v + 9. Suppose q = -3*g + u + 150. Is g a composite number?
True
Suppose k + 3*z - 46 = 201, 4*k + 3*z = 1024. Suppose -2*m + 219 - 45 = -n, 3*m - k = 2*n. Is m prime?
True
Suppose -211 = 2*t + f, 4*t + 39 = 3*f - 358. Let o = t + 174. Is o composite?
False
Let k(g) = g**3 + 16*g**2 - 11*g + 19. Is k(-9) a composite number?
True
Suppose w - 69 = -6. Suppose -4*z - w = -499. Is z composite?
False
Let z(m) = -5*m + m**2 + 4*m**2 + 0*m**2 - 5 + 4. Is z(4) a prime number?
True
Let a be -2 + -1 + 9/3. Let y = 3 + a. Suppose 2*c = -y*c + 565. Is c a prime number?
True
Let y(u) = -228*u - 1. Let c be 2/3 + (-30)/18. Let x be y(c). Suppose -7*k + 2*p + 391 = -2*k, -x = -3*k + 5*p. Is k a composite number?
False
Let v(d) = d + 2. Let b be v(-2). Suppose -z + 39 + 122 = b. Is z composite?
True
Let k be 1341/6 - 6/4. Suppose -k = -p + 5. Suppose 0 = 5*m - p - 198. Is m composite?
True
Let v = 16 - 36. Let q be 150/v*(-8)/10. Is (-4)/q - (-2425)/15 composite?
True
Is 1*699/2*(-4)/(-6) prime?
True
Let y be (-8)/(-12) - (-1614)/9. Suppose 0 = 2*d - y - 8. Is d prime?
False
Suppose 4*f = a + 670, 2*f - 4*a + 0*a - 328 = 0. Suppose 5*r - 467 = f. Is r a composite number?
False
Suppose -x + r + 23 = -21, 2*x - 88 = -4*r. Let h = x + -11. Is h a composite number?
True
Suppose -5*t + 38 = -2*o, t = -7*o + 2*o - 14. Let w = -6 + t. Suppose 0 = -w*c - 2*c + 166. Is c a prime number?
True
Suppose 0 = u + 2*u - 9. Suppose 0 = 2*k + 5*s + 25, -4*k + u*k = 4*s + 20. Suppose 5*l - 214 - 196 = k. Is l a prime number?
False
Let l be (2 + 2/(-1))/(-1). Suppose v - 23 - 2 = l. Suppose -163 + v = -3*o. Is o prime?
False
Let d be (-4)/(-18) + (-3304)/(-36). Is (d/(-10))/(6/(-15)) prime?
True
Suppose 7 = 3*l - 2. Suppose -l*d - 2*d + 385 = 0. Is d a prime number?
False
Let x(l) be the second derivative of -l**5/10 + l**4/12 - l**2/2 - 4*l. Let q be x(-1). Suppose 0 = 5*v + b + 2*b - 191, -3*v + q*b = -107. Is v prime?
True
Let v = 194 - 120. Is (v/(-3))/((-10)/75) prime?
False
Is -2 + 3 + 5 + -2 - -3373 a composite number?
True
Let i(j) = -j**2 - 3*j + 2. Let n be i(-3). Let k be (-8)/(-68) + 3041/17. Suppose -21 = n*g - k. Is g a prime number?
True
Suppose 74 = 4*s + m, 0*s - 5*m = -s + 8. Suppose s*v = 15*v + 201. Is v a composite number?
False
Suppose 3*w - 46 + 16 = 0. Let k(u) be the third derivative of 5*u**4/24 + u**3/6 + u**2. Is k(w) a composite number?
True
Suppose 3*z - z - 4 = 0. Let x(n) = 7 - n**3 + 2*n +