4*t + 4576 + 300. Is t prime?
False
Is (4/(-6))/((-60080)/30036 + 2) a prime number?
True
Let f(k) = 13*k**2 + 3*k + 5. Let s(d) be the third derivative of -7*d**5/30 - d**4/8 - d**3 + d**2. Let r(t) = 4*f(t) + 3*s(t). Is r(-3) prime?
True
Suppose -9*s - 502 = -11*s. Is s a composite number?
False
Suppose 2*y = -v + 63, 5*v + 5*y = 2*v + 191. Let i = 31 - v. Let z = i - -73. Is z a prime number?
True
Let p be (-3)/(2/28*-1). Let h = 20 - p. Let n = -8 - h. Is n prime?
False
Suppose 142 = 2*a - 6. Suppose 0*j - a = -2*j. Is j a prime number?
True
Let j(z) = -190*z + 43. Is j(-9) a prime number?
True
Let j = 1537 + -155. Is j a composite number?
True
Suppose -4*j = 2*y - 4646, 5*y - 5230 = 2*j + 6349. Is y a prime number?
False
Let t = -931 + 1410. Is t prime?
True
Let k = -8 - -6. Let b(g) = -65*g - 3. Is b(k) a prime number?
True
Let x(u) = 41*u - 4. Is x(5) a prime number?
False
Let x be -3*(-2 - 7/(-3)). Is 1/(2*x/(-1522)) a composite number?
False
Let m be (4/(-6))/(6/(-36)). Suppose -3*o + 2*k = 2, 0*k + m*k - 4 = o. Suppose o = -0*b + b - 10. Is b a composite number?
True
Let a be (5 - 1) + (-26)/(-2). Suppose 5*u - 142 - 98 = 0. Let v = u - a. Is v a composite number?
False
Let n = 818 - 46. Suppose 3*m - 2*u - 579 = -0*m, 4*m - n = -u. Suppose 0 = 3*z - m - 92. Is z a prime number?
False
Is (3 - -64)*(-55)/(-5) a composite number?
True
Let v(t) = -t - 9. Let f = -12 - 0. Is v(f) a prime number?
True
Suppose 0 = -5*k + k + 20. Let j be (2 - k)*(-2 + 1). Is (-1)/(j/(-24)) - 2 a prime number?
False
Let y = 320 + -63. Is y prime?
True
Suppose -2*i - 18 = -2*w, 0 = -5*w - 0*w + 2*i + 48. Suppose 0 = 2*y - 2 - w. Suppose r = -0*r + y. Is r composite?
True
Suppose -15 = 5*g, -c = 2*c + g - 2928. Is c prime?
True
Let i(z) be the third derivative of z**6/120 - 2*z**5/15 + z**4/4 + 5*z**3/6 + z**2. Let w be i(7). Is ((-99)/6)/(w/4) a prime number?
False
Let d(q) = 6*q**2 + q. Let p be d(-1). Suppose -p*m + 99 = -56. Is m composite?
False
Suppose -4*c - 4728 = -4*i, -2*c - c = 3*i - 3516. Let b = -690 + i. Is b a prime number?
True
Suppose 613 + 411 = 4*t. Suppose 3*f - 153 = -4*i + t, 0 = i + 4*f - 99. Is i a prime number?
True
Let t = 1196 - 534. Is t a prime number?
False
Suppose 5*m + 3*p + 14 = -5, 0 = 5*p + 15. Let d = m + -7. Let c = -2 - d. Is c prime?
True
Is (332/(-8))/(-1)*2 prime?
True
Suppose 3*f + 5*a - 2695 = f, 0 = -3*f - 5*a + 4030. Let b = -514 + f. Is b prime?
True
Let g(l) be the second derivative of l**6/80 + l**5/120 + l**4/6 - 2*l. Let u(i) be the third derivative of g(i). Is u(2) a composite number?
False
Suppose 0 = -u + 6*u - 25, -5*i - 5*u - 185 = 0. Let t = 67 + i. Is t a composite number?
True
Let v(i) = -62*i**3 - 5*i**2 - 2*i + 4. Is v(-3) composite?
True
Let n = 281 + -162. Is n prime?
False
Let r(i) = 4*i - 8*i - i + 5. Is r(-4) a prime number?
False
Suppose 4*t + 5*y = 41, -4*y + 16 = -t - 0. Let h(w) = 4*w**2 - 4*w - 1. Let q be h(t). Suppose -m + 42 = -q. Is m prime?
True
Is ((-6)/(-9))/(8/1308) a composite number?
False
Let g = -2 + 4. Suppose -g*k - 313 = -3*k + 4*t, 3*t = k - 311. Is k a composite number?
True
Let q be -22 - 0*(-2)/4. Is (-6)/15 - q/5 composite?
True
Let y = 0 + 4. Suppose y*p - 220 = 780. Suppose 5*s + 5*t - 441 = 169, p = 2*s + 4*t. Is s a prime number?
False
Suppose 0*x = -2*s + 3*x + 1399, 3*s - 2104 = -x. Is s composite?
False
Suppose 0 = -5*w - 190 - 640. Let f = w + 309. Is f a prime number?
False
Let k = -4 + 6. Suppose -k*y - 255 = -7*y. Is y composite?
True
Let q(i) = 10*i + 1. Let l be q(3). Is (l + -1)*1/2 a composite number?
True
Let j = 1005 + -552. Suppose j = 3*n + 54. Is n prime?
False
Let n(i) = i**3 + 2*i**2 + i - 1. Let a be n(-2). Let r be (a/(-2))/(3/(-12)). Is ((-2)/r)/((-1)/(-201)) a prime number?
True
Let v = 1489 - 949. Let a = v + -217. Is a prime?
False
Let l(f) = 50*f - 1. Let g(r) = 10*r. Let j(x) = -11*g(x) + 2*l(x). Is j(-4) prime?
False
Let d be ((-1)/(-3))/(2/(-6)). Let k = d + 6. Suppose -3*p = -f - 8*p + 42, 0 = -k*f + p + 106. Is f prime?
False
Let u be (-3 - -3)/((-7)/((-14)/4)). Suppose 0 = -b + 3*w - w + 28, 5*b + 4*w - 126 = 0. Suppose -t + b = -u*t. Is t composite?
True
Suppose 3681 = 5*q - 2*l - 7120, 0 = -q - 4*l + 2147. Is q a composite number?
True
Let h = -6 + 8. Suppose -2*v = -d - 95, -h*v = -5*d - 0 - 107. Is v prime?
False
Suppose 0 = 4*r + 5 + 19. Is ((-106)/(-5))/(r/(-15)) a prime number?
True
Let z(a) = 0 + 0*a + 4 + 6*a. Let j be z(8). Is (j + -1)/1 - 2 composite?
True
Suppose 3*c = 2*c + n - 124, -4*n = 4*c + 512. Is (-2)/7 - 7218/c a composite number?
True
Suppose 6*h = 3*h - 3. Let v(k) be the first derivative of -39*k**4/2 + 2*k**3/3 + k**2 + k - 2. Is v(h) prime?
True
Let d be ((-3)/(-6))/((-1)/2). Let j = 2 - d. Suppose 0 = 5*t - h - 253, 0 = 6*t - 3*t - j*h - 147. Is t prime?
False
Suppose 3*x - 5*x = -460. Let s = -103 + x. Is s a composite number?
False
Let c(b) = -6 - 9*b + 30*b + 3. Is c(2) a prime number?
False
Suppose -5*d = 2*g - 0*g + 4, 5*g = 3*d - 10. Suppose 0 = -4*t - 5*h + 151, 4*t - 161 = -d*t + 5*h. Is t a prime number?
False
Suppose -v + 2 = 2*r + 1, -2*v - 4 = -2*r. Is 1 + v - -119*1 prime?
False
Let x(t) = -7*t**3 - 2*t**2 + 2*t - 7. Is x(-3) prime?
False
Is (-4)/(-8) + (-3675)/(-6) a composite number?
False
Let b(r) = 229*r + 34. Is b(13) a composite number?
False
Let l(o) be the first derivative of o**7/168 - o**6/180 + o**5/30 - o**4/8 + 2*o**3/3 + 2. Let r(b) be the third derivative of l(b). Is r(2) composite?
False
Suppose 1865 = 5*j + 2*m - 3*m, 0 = -j - 3*m + 373. Is j prime?
True
Suppose -4*h - 5*m = -207, 4*h - 3*m - 135 = h. Suppose -4*u = 3*a - 225, 0 = 4*a - 2*u + 7*u - 301. Let g = a - h. Is g a prime number?
True
Let u be ((-6)/15)/(2/(-10)). Suppose 0 = u*a - 10, -5*a - 12 = -3*c - 67. Is (-155)/c*(-12)/(-2) a prime number?
False
Let y = -7 + 5. Let j be ((-1)/(-1))/(y/(-6)). Suppose 24 = t - 0*t - 5*x, j*t - 62 = 5*x. Is t a prime number?
True
Let j(p) = p**2 + 4*p - 2. Let z be j(-5). Suppose z*o + 4*y = -415, -3*y + y = 3*o + 407. Is o/(-9) - (-6)/27 a composite number?
True
Suppose t + 4*m - 18 = 92, -t = m - 119. Let v = -85 + t. Is v a prime number?
True
Suppose 3*x + 96 = -171. Let b = 135 + x. Is b a prime number?
False
Suppose -5*p = -2*g - 54, -3*g - g = -3*p + 38. Is (-4)/p - 187/(-5) a composite number?
False
Suppose 4*i = -3*z + 728, 2*i + 4*z = 565 - 211. Suppose -4*a = a - i. Is a composite?
False
Suppose b - p - 9 = 0, 4*b = -5*p - 7 - 2. Is ((-62)/b*4)/(-2) composite?
False
Let u = 879 - 202. Is u a composite number?
False
Suppose 2*t = -a - 0*t - 9, -a + 3*t + 11 = 0. Let q be (-1482)/(-12) + a/2. Let n = -40 + q. Is n a composite number?
False
Let o(s) = s**2 + 4*s - 6. Let w(u) = -u**2 - 4*u + 7. Let v(i) = -3*o(i) - 2*w(i). Let m be v(-4). Suppose 0 = -0*q - m*q + 60. Is q composite?
True
Suppose 3*j - 3 = 3*q, 0 = 4*j + q - 6*q - 1. Let m(u) = 4*u**2 - 3*u - 2. Let l be m(-4). Suppose -5*i - j = -l. Is i a prime number?
False
Let m be -1*(-6)/4*74. Let d be (1/(-2)*-8)/2. Suppose -q + m = 5*j, -69 + 27 = -d*j + 2*q. Is j prime?
False
Suppose 0 = 2*b + k - 6493, -7*b - 4*k = -4*b - 9737. Is b prime?
False
Suppose 0 = -2*b - 0*b + 2. Let r(q) = -b - 63*q + 1 + 2 - 1. Is r(-2) composite?
False
Let o(u) = -u**3 + 9*u**2 + 3*u + 9. Is o(8) composite?
False
Suppose -1983 = -4*f - 235. Suppose 3*w - f = l, -2*l - 60 = 3*w - 482. Let k = 221 - w. Is k a composite number?
True
Suppose -9*o + 4*o + 15 = 0. Suppose 0 = -0*j - j - p + 622, 0 = j - o*p - 626. Is j a prime number?
False
Let w be 54*((-24)/(-9))/4. Suppose 4*c + 3*q = -w, 2*c + 5*q = 4*c - 8. Is (10/c)/(6/(-90)) a composite number?
True
Let r = -137 + 436. Is r composite?
True
Is -8*(94/10)/(4/(-5)) a prime number?
False
Let n(f) = 0*f - f**3 - 2*f + 7 + 0*f**3 - 6*f**2. Is n(-6) composite?
False
Let g = -257 + 473. Let c be (7/4)/(3/g). Suppose -z + 65 + c = 0. Is z a composite number?
False
Let c = 5 + -1. Let a be c/18 + 2645/45. Let g = a + -28. Is g prime?
True
Suppose 2*t + 0*t = 0. Is 524*((-1)/(-4) + t) prime?
True
Let t(y) = -123*y + 7. Is t(-4) a composite number?
False
Let h be (-6)/9 + 82/6. Let p = -8 + h. Suppose -p*k - j + 97 = 0, -2*j = -3*j + 2. Is k a prime number?
True
Suppose 4*l - 1426 - 1914 = 0. Is