rime number?
False
Let i = 0 + 2. Suppose -i*t - 5*u = -4*t + 68, 3*t = -2*u + 121. Is t a prime number?
False
Let z = 112 - 61. Is z a composite number?
True
Let k(o) = 130*o**2 - 8*o + 1. Is k(3) a prime number?
False
Let h(q) = 37*q + 4. Let b be h(6). Suppose 4*z - b = 106. Suppose z = -3*m + 452. Is m prime?
False
Let w(t) = 14*t**3 - 35*t**2 + 29*t + 11. Let s(r) = 5*r**3 - 12*r**2 + 10*r + 4. Let m(y) = -17*s(y) + 6*w(y). Suppose f - 6*f = 35. Is m(f) prime?
True
Suppose 3*v + 2*w - 784 = 0, 2*w - 1048 = -8*v + 4*v. Suppose h + 5*u + 144 = -0*h, -h - 151 = -2*u. Let s = v + h. Is s prime?
False
Let y = -4 + 7. Suppose 4*l = y*l. Suppose -4*p + 2*p + 370 = l. Is p prime?
False
Let q be (5/2)/((-1)/2). Let s = q + 7. Suppose 0 = -2*c + 4*r + 90, 0 = c - r + s*r - 48. Is c a composite number?
False
Suppose 0 = 3*b + 4*x - 25, -3*b + 2*x + 1 + 18 = 0. Suppose 2*w + 265 = b*w. Is w a composite number?
False
Let h = 396 + 1365. Is h a composite number?
True
Let b = 47 - 28. Is b composite?
False
Let i(y) = y**2 - y - 3. Let a be i(3). Suppose c - 2*b - a = 0, -47 = -5*c + b + 4. Is c composite?
False
Let i(d) = d**2 + d + 1. Let y be (-7)/3 - (-2)/(-3). Let k be y*(0/2 + 1). Is i(k) a prime number?
True
Suppose -2*o - 4 = -14. Suppose -3 = t - 0*t, 0 = -5*n - o*t + 5. Suppose 127 = q - n*f, -5*f + 2*f + 12 = 0. Is q composite?
True
Let u be (-1 - -3) + 1/1. Let x = u + 0. Let h = 7 - x. Is h a composite number?
True
Let a = 6 + -4. Let s be 1*3*a/6. Is (s + 33)/((-10)/(-25)) composite?
True
Let q(f) = -104*f**2 + 2*f - 1. Let p be q(1). Let r = p + 290. Is r prime?
False
Let l = 214 + 37. Is l a composite number?
False
Let n be (3 - (-2 - -2)) + 51. Let z = n - -91. Is z prime?
False
Is (6/18)/((-2)/(-4038)) prime?
True
Suppose -9*u + 5*u = 5*r - 23, 2*u + r = 7. Suppose -5*o + 4*n + 30 = 0, 3 = -2*o - u*n + 33. Is o a prime number?
False
Suppose 5*o + 4*c = 41, 2*o + c - 22 = -2*c. Suppose 6 = 4*p - 6, o*r - 287 = -4*p. Is r a prime number?
False
Let s be 3/(-15) - (-468)/(-10). Let t = 68 + s. Is t a prime number?
False
Suppose 0 = 4*i - 8*i + 8. Suppose o = 1 + i. Suppose -o*h = -0*h - 45. Is h a composite number?
True
Suppose 366 = 3*h + 4*f - 989, -4*h + f = -1775. Is h prime?
False
Let t = 112 + -15. Is t a composite number?
False
Let u be ((-54)/(-12))/(2/(-8)). Let m = -10 - -22. Is (m/u)/(2/(-267)) a prime number?
True
Let x = -17 + 25. Let f be ((-4)/x)/((-2)/4). Let y(w) = 3*w - 1. Is y(f) composite?
False
Let i be (-186)/(-14) - 8/28. Let n = -95 + 152. Suppose -i + n = 2*f. Is f composite?
True
Is 4/(-14) - 5715/(-35) a composite number?
False
Let o be -2 - -2*(-1 + 3). Suppose -5*p = o*k - 13, -4*k + 10 = 5*p - 31. Is k a composite number?
True
Let d = 432 - 283. Is d a composite number?
False
Suppose 2*h - 2 = -4, -4*o + 1113 = -5*h. Is o prime?
True
Is 2/7 - 6655*(-3)/21 a prime number?
False
Let i be 6 + (-1)/2*-4. Let l = 6 - i. Let q(f) = -4*f**3 - 3*f - 1. Is q(l) prime?
True
Let w = -4082 + 7320. Is w composite?
True
Let d = -9 + 11. Suppose s + 22 = a, 2*a + d*s = 48 + 8. Is a a prime number?
False
Suppose 0 = -3*q - 154 - 116. Is q/(-5) + (1 - 0) prime?
True
Let i be (5 + -1)/2 - -8. Suppose 0 = -i*t + 5*t + 70. Let u = t + -7. Is u composite?
False
Let d = -904 + 1647. Is d composite?
False
Let r(c) be the first derivative of 1/2*c**2 - 5*c + 1 + 1/3*c**3. Is r(-5) a prime number?
False
Let l = 833 + -478. Is l prime?
False
Let g(t) = -t**3 - t - 1. Let n be g(-1). Let h = n - 3. Let f = h - -5. Is f prime?
True
Let d = -637 + 316. Let u = -188 - d. Is u composite?
True
Suppose t - 123 = -2*t. Suppose -4*d = q - 47, -4*d + t = q - 2*d. Is q composite?
True
Suppose y = -3*y - 5*m + 1312, 3*m + 12 = 0. Suppose 3*j + n - 203 = 0, -69 + y = 4*j - 2*n. Is j prime?
True
Let f = 985 + -678. Is f prime?
True
Suppose s - 5 = 4*j, 0 = -2*j + 4*s - 2 + 10. Let c be (-23)/j*-16*-1. Suppose c = 2*f + 2*f. Is f composite?
True
Let y be (-5)/(-10)*1*2. Let s be (-3 + 1)*(0 - y). Suppose -x - s - 12 = -5*n, 5*x = -2*n - 16. Is n composite?
False
Let i be 4/(-10) - (-1644)/10. Suppose 4*z - 2*h + i = -6*h, -4*z + h = 174. Let t = 66 + z. Is t composite?
False
Let q(r) be the third derivative of 5*r**4/12 - r**3/6 - 3*r**2. Is q(2) prime?
True
Let x(p) = 211*p**3 - p**2 + 1. Is x(1) a composite number?
False
Suppose 2*x = 4*t - 4, x - t - 3 + 5 = 0. Let l be -1*x/(-6)*21. Let j = l - -90. Is j a composite number?
False
Is (4915/(-15))/((-3)/9) prime?
True
Suppose -2*w - g = -1, -5*w + 4*g + 11 = 2. Let b be (36 - w) + (2 - 1). Suppose a = 2*a + 2*x - b, 2*a + 2*x = 74. Is a composite?
True
Let m = 13 - 9. Let u be (-1)/((12/(-45))/m). Let c = u - -4. Is c a composite number?
False
Suppose -2*y + 2 - 21 = 5*w, -w - 5 = 0. Suppose 4*g + y*i - 78 = 0, -2*i + 135 = 5*g + 41. Let l = g - 9. Is l composite?
True
Suppose 8*o = 3*o - 10. Let q be 20*(o + (-24)/(-10)). Is 464/10 + q/(-20) a composite number?
True
Suppose 4*c + 3*b - 21 = 0, 5*c = -2*b + 20 + 15. Suppose -c = -2*q + 5*n + 155, -410 = -5*q + 5*n. Is q a composite number?
True
Suppose 6*j = 3643 + 2723. Is j a prime number?
True
Let r(x) = -x**3 - 8*x**2 - x + 4. Let n be r(-7). Let y be n/(-6) - (-2)/(-6). Is 218/y - 10/(-15) prime?
True
Let f = 655 - 264. Is f composite?
True
Let u(j) = -4*j + 5. Let i(d) = -3*d + 3. Let b(l) = -7*i(l) + 5*u(l). Let q be b(6). Let y = q - 3. Is y prime?
True
Let q = -19 + 23. Is 637/q - 4/16 a prime number?
False
Let o be (6 + -3)/(3/2). Suppose o*y - 5 + 69 = 0. Let d = 1 - y. Is d prime?
False
Is -110*(-3 - (-20)/8) a prime number?
False
Suppose 0 = 4*s + 8, 0 = a + 4*s + 4 - 8. Suppose -4*d + a = -0*d. Suppose -d*i = 5*f - 52, -6*i - 25 = -2*f - 3*i. Is f prime?
True
Suppose 5*c - 623 = 152. Suppose z - c = -4*z. Is z a prime number?
True
Let a = -66 + 277. Is a a composite number?
False
Let y be 274/(-18) - (-6)/27. Is (-114)/(-9)*y/(-2) a prime number?
False
Let a = 64 + 3187. Is a a prime number?
True
Suppose 4*b = 9 + 3. Let n be 1/(-2) + b/6. Is n/(-2) + 0 + 37 prime?
True
Let u(r) = -275*r - 16. Is u(-3) composite?
False
Suppose -15651 = -5*j + 18244. Is j composite?
False
Suppose l = -4*l + 4355. Is l a composite number?
True
Let d be (166/(-4))/(2/4). Let q = 234 - 117. Let n = d + q. Is n composite?
True
Suppose 4*i + 79 = 3*l - 4*l, 5*i + 2*l + 98 = 0. Is 1/(-2) - 430/i prime?
False
Let o = -5 + 3. Let p(s) = 10*s**3 - s**2 - 6. Let a(d) = -20*d**3 + d**2 + d + 11. Let f(c) = 3*a(c) + 5*p(c). Is f(o) a prime number?
False
Let w(s) = -s**2 + s - 1. Let j(q) = -q**3 + 3*q**2 - 4*q + 3. Let c(g) = -2*j(g) - 4*w(g). Is c(3) composite?
True
Is (-58)/(-3)*87/2 a prime number?
False
Let o(j) be the third derivative of -3*j**2 + 0*j + 2/3*j**3 + 7/24*j**4 + 1/15*j**5 + 0. Is o(-5) a prime number?
False
Suppose 4*p + 5*g = -9, -8*p + 21 = -4*p - g. Suppose 2*z + 3*j + 60 = 4*z, p*j = 8. Is z a composite number?
True
Let j = 14 + -10. Suppose j*m + 47 = 3*a - 70, 0 = 4*m + 12. Is a prime?
False
Suppose -2*f = 2*b - 7024, -2*f + 5*b - 10532 = -5*f. Suppose -4*q - a = -f, 2*q - 5*q = -a - 2639. Is q a prime number?
False
Let o = -344 - -675. Is o prime?
True
Let c(q) = q**3 - 9*q**2 - 34*q + 19. Is c(14) prime?
True
Let p be 1/3 + (-5)/(-3). Suppose -5*r = 3*k + k - 10, 0 = -k + r - p. Suppose -5*a + 10*a - 335 = k. Is a a prime number?
True
Let w(l) = 2578*l**3 + 2*l**2 - 2*l + 1. Is w(1) a prime number?
True
Let r(f) = f - 1. Let k be r(4). Suppose 0 = -n + 4*m + 202, 1070 = 2*n + k*n - 5*m. Is n*2/(-4)*-1 prime?
True
Let i = 49 - -160. Is i composite?
True
Suppose 0*a = 4*a + 584. Let r be (-4)/(-12) - a/3. Let w = r + 6. Is w composite?
True
Suppose 122 = 3*b - 148. Let t(x) = -x**3 - x**2 + 6*x - 7. Let v be t(-6). Let l = v - b. Is l composite?
False
Suppose 3*z = -2*n + 2554 - 29, 0 = -z + 5. Is (n/10)/(2/4) a prime number?
True
Suppose 4*y - 3960 = 4*m, 2*y - 4*y + 3*m = -1975. Is y a composite number?
True
Suppose -10 = a - 4*h, -3*h + 2 = -4*a + 1. Suppose 99 - 33 = a*c. Is c a prime number?
False
Let x be (-20)/(-3)*(-36)/(-20). Suppose 41 + x = s. Is s prime?
True
Let h be (-4)/16 + (-3810)/(-8). Suppose h = i + i. Suppose 0*s - 2*s = -i. Is s a prime number?
False
Suppose -g - 3*g + 12 = 0. Let p = -9 + g. Is 68 + (-2 - p/2) co