. Suppose 0 = -3*a - n + 427. Is a a composite number?
True
Suppose 8 = -12*x + 8*x. Is (5/(-2) + 3)*(12088 + x) a prime number?
True
Let s(y) = 67*y + 4. Let u be s(-6). Let r = u - -843. Is r a composite number?
True
Let q(p) = p**3 - 3*p**2 + 2*p - 3. Let c be q(3). Let x be 1/(7*3/84). Suppose -x*m = 0, -1842 = -0*d - c*d - 2*m. Is d a prime number?
False
Suppose 14*f - g + 94819 = 17*f, 31613 = f - 3*g. Is f composite?
False
Suppose 0 = 9*w + 6*w - 68880. Suppose 4*f = -4*u + w, 0*u - 3465 = -3*u + 4*f. Is u prime?
True
Let i be -1*(-5 + 1)*(-22895)/(-380). Let u = 540 + i. Is u prime?
False
Let x(k) = k**2 + 6*k + 7. Let p be x(-5). Let i(c) = 88*c**2. Let m be i(-1). Suppose 0 = -3*u - v + 73, -3*u + p*v + m = -0*v. Is u a prime number?
False
Suppose -5*g + 6*g = 2328. Let f = -751 + g. Is 12/9 - f/(-3) composite?
True
Let t(u) = -59*u**3 - 17*u**2 + 6*u + 1. Let x(a) = 20*a**3 + 6*a**2 - 2*a. Let v(q) = 3*t(q) + 8*x(q). Let g be v(-4). Let d = g - 662. Is d a prime number?
True
Suppose 7202 = 9*z + 983. Is z a composite number?
False
Let q(k) = k**3 - 10*k**2 + k - 11. Let m be q(10). Let w be -881 - m - (-12 + 11). Is 70/21*w/(-2) composite?
True
Suppose -l = -2*t - 3799, 7598 = -15*l + 17*l + 3*t. Is l a prime number?
False
Suppose 3*u - 5 - 4 = 0. Let z be (-1)/(2 + (-15)/6). Suppose -v + 52 = -u*a, -4*v - z*a = a - 238. Is v a prime number?
False
Let y = 1675 + 696. Is y a composite number?
False
Is 807359*4/(364/13) a prime number?
True
Suppose 52*v = 636768 + 489604. Is v prime?
True
Let x be 27*(-2 - (5 + -16)). Let z = 1252 - x. Is z a composite number?
False
Let a(i) = -2*i**3 - 6*i**2 + 3*i + 4. Let l(d) = 5*d**3 + 12*d**2 - 7*d - 7. Let p(j) = -7*a(j) - 3*l(j). Let m be p(-5). Let k = 411 - m. Is k composite?
True
Suppose 16 = -4*g, -w - 3*g - 1 - 8 = 0. Suppose z + 0*d = -w*d + 633, -2*z = -3*d - 1266. Is z a composite number?
True
Let h be 2/(1*(-3)/(-6)). Suppose -1680 = h*k + 2*k. Is -2 - (-1 - -2) - k a prime number?
True
Let p = -63 - -58. Is (-3 - (p + 0)) + (-2 - -685) a prime number?
False
Suppose l + 3*n = -2*n + 24, -2*l = n - 3. Is l*2/(6 + -2)*-934 a composite number?
False
Suppose 2*h - 37 = 3*f - 14, 0 = -3*h - f + 51. Let r = -16 + h. Suppose r = -z + m + 398, 5*z + 3*m - 557 = 1425. Is z a prime number?
True
Let y(w) = 207*w**2 + 3*w - 5. Let q be y(2). Suppose q = 3*n - 743. Suppose g - 3*l - 112 - 19 = 0, 4*g + 4*l = n. Is g prime?
True
Let k = -960 + 3739. Suppose -k = -4*y + 673. Is y prime?
True
Let m be 10/20 - (-1)/(-2). Suppose -530 = -2*a + l + 3*l, -5*a - 2*l + 1289 = m. Is a a prime number?
False
Suppose -9 = 5*h - 8*h. Suppose -h*m + 902 = b, 3*m = -m - b + 1203. Is m a composite number?
True
Let q(y) = 2431*y + 302. Is q(9) a prime number?
False
Suppose -5*u + 3*p + 10 = -2*p, -2*u - 24 = 5*p. Let r be u/(-6) - 496/(-24). Suppose -16*g = -r*g + 4535. Is g prime?
True
Let c(w) = -97*w**3 - 4*w**2 - 9*w + 19. Is c(-7) prime?
False
Let i = 4674 - 2171. Is i a composite number?
False
Suppose -s - 1283 = n + 3*s, 0 = -5*n - 3*s - 6347. Let p = n + 2382. Is p a prime number?
False
Suppose -5*f + 4*j + 15614 = 0, -2*f - j + 6244 = -3*j. Suppose -9*z = -3*z + f. Let o = -24 - z. Is o a prime number?
False
Suppose 9*p = 7432 + 389. Is p a composite number?
True
Let y be (9/5)/(3/15). Let p = 53 + y. Is p a prime number?
False
Let x(k) = -k + 3. Let h be x(8). Let b(r) = -50*r + 12. Let p be b(h). Suppose -119 = -3*u + p. Is u a composite number?
False
Suppose o = 872 - 40. Suppose 0 = -l + 907 + o. Is l composite?
True
Let t(s) = s**2 + 5*s + 2. Let m be t(-5). Let u(r) = 1 + r + 47*r**2 + 0 + 139*r**m + 5*r**2. Is u(-1) a prime number?
True
Suppose -20 - 30 = 5*q. Let w(h) = 3*h - 9. Let x be w(q). Is 6/x + (-3878)/(-26) a prime number?
True
Is -1*(3855745/(-23) - 16/(-184)) composite?
False
Let g = 16 + -11. Suppose g*r - 24 = -r. Suppose -r*b + 150 = -78. Is b prime?
False
Suppose -17*k = 14798 - 87609. Is k composite?
False
Let r be (-764)/(-2) + 2 + 3. Suppose -49 - r = -4*m. Is m composite?
False
Suppose 0 = -2*q - 3*l + 12, 0*q + 2*q - 8 = -l. Suppose 0 = -2*p - s + 2566, 0 = 5*p + q*s - 1976 - 4439. Is p a prime number?
True
Let n(r) = 490*r + 12. Let v be n(-6). Let x = -1759 - v. Is x a prime number?
False
Suppose 17 = z + 3*p, z - 11 = -2*z - p. Suppose 4*w = -4*c + 6076, 1925 = z*c + 4*w - 1105. Is c composite?
False
Suppose -2*g - 11 = -9. Is -1 - g/((-2)/(-1904)) a prime number?
False
Is 36843 + -3*120/36 a prime number?
True
Let p(d) = -63*d**2 + 5. Let q be p(-2). Let a = 12 - q. Is a composite?
True
Suppose 31*b = -0*b + 306683. Is b prime?
False
Is (-2)/13 - 2119710/(-390) a composite number?
True
Let z(b) = 13*b**2 + 16*b + 29. Let l be (-6)/(-4)*-9 + 6/4. Is z(l) composite?
False
Suppose -20*u - 24 = -16*u. Is (-6)/(-3)*(-561)/u composite?
True
Let v(y) = y**3 - 3*y**2 + y + 1. Let i be v(3). Suppose 3*r + r - i = 0. Is ((-9)/18)/(r/(-314)) prime?
True
Let w(v) be the third derivative of 107*v**5/15 - v**4/24 - v**3/3 - 17*v**2. Is w(-1) prime?
False
Let k be (-2)/9 - (-36)/162. Let p(u) = u**3 + u + 339. Is p(k) a composite number?
True
Let g(v) = 3*v**3 - 3*v**2 - 3*v. Let k be g(-2). Let l(n) = 4*n - 2. Let w be l(2). Is (k/(-8))/(w/16) composite?
True
Is (-3)/2 + (-322275)/(-30) prime?
False
Let v(l) = 59*l**2 + 7*l + 8. Let t(x) = -5*x - 4. Let w be t(-2). Is v(w) composite?
True
Suppose 37*d - 40*d = -13863. Is d a prime number?
True
Suppose 0 = -4*d + 5*t + 15, 7 = 5*d - t - 38. Let v be (d + -1)*6/9. Suppose 2*x - 68 = v. Is x composite?
False
Suppose -34379 - 87006 = -5*x + 5*i, 5*x + i - 121409 = 0. Is x a composite number?
False
Let c = -20 - -22. Suppose 5*g + 7 = 2*m, c*m + 3*g - 26 = 5. Is m a composite number?
False
Let f be (-4)/(-8) - (-42)/4. Suppose f*q - 14*q = -2751. Is q composite?
True
Suppose 3*s = 14 - 2. Suppose h = s*h - 3*i - 276, -4*h + 353 = -i. Is h composite?
True
Suppose -209*o = -206*o - 11901. Is o a prime number?
True
Let b(l) = 2*l**3 - 2*l**2 - 2*l + 6. Let a be b(7). Suppose 5*g = 4*x - a, -5*x - 216 = -3*g - 564. Let t = g + 169. Is t a prime number?
True
Is (-31 - -37) + 8513/1 composite?
True
Suppose 6*w = 8*w + 12. Let t(o) = o**3 + 7*o**2 + 5*o + 15. Is t(w) prime?
False
Let c(h) = -15*h - 7. Let y be c(-5). Suppose f + f - y = 0. Let d = f - 20. Is d prime?
False
Is (-1)/(6/(-5524)*(-16)/(-24)) a prime number?
True
Suppose i - c - 12330 = -2*i, -4*c + 4123 = i. Suppose i + 19189 = 4*w. Suppose w = g + 4*g. Is g prime?
False
Let j = 27 + -32. Let y(b) = 36*b**2 - 1. Is y(j) a composite number?
True
Suppose 0 = -4*w + f + 3, -w + 4*f = 3*f. Let x be 2 - (134*13 + w). Let r = -380 - x. Is r prime?
True
Let a(m) = 5*m**3 - 1 + m + 0*m + m**3. Let b be a(1). Is 4039/49 + b/(-14) a composite number?
True
Let i be -282 + (6 + -2 - 2). Let x be i/(-21) + (-4)/(-6). Is 4/x - 4416/(-28) a composite number?
True
Suppose 17*x - 2*x = 84945. Is x composite?
True
Let g = -20 + 15. Let a be -515 - (2 + g + 0). Let u = -273 - a. Is u a prime number?
True
Let h(b) = b**2 - 18*b + 22. Let j be h(17). Suppose d + c = 441, -188 - 700 = -2*d - j*c. Is d a prime number?
True
Suppose -12 = 4*c, 0 = -2*t - 26*c + 28*c + 4860. Is t a composite number?
True
Is (1 + -24)/((-9)/(-1 - -640)) composite?
True
Let m(q) = q**3 + 13*q**2 + 11*q - 2. Let g = 9 - 10. Let y be 225/(-20) + g/(-4). Is m(y) prime?
False
Let k(t) be the first derivative of 3*t**4/4 + 10*t**3/3 - 4*t**2 - t + 4. Is k(6) a composite number?
True
Let d be (-3 + 10/4)*-4. Let b(t) = t**3 - 2*t + 1. Let w be b(d). Suppose w*h = -0*h + 1455. Is h composite?
True
Suppose 5*d = -4*n + 10960, -6*d + 7*d - 4 = 0. Is n a prime number?
False
Suppose -723*b + 718*b + 41635 = 0. Is b a composite number?
True
Let k = 12 + -7. Suppose 0 = -0*f - k*f + 20. Suppose 4*l - 105 = l + 2*q, -f*l + 5*q + 140 = 0. Is l composite?
True
Let h = 450 - 45. Let v = h + -74. Is v composite?
False
Suppose 10 = 3*d - 2*x, 4*d = -3*x + 2*x - 5. Suppose d = -4*r - 2*z + 274, -r - 2*z + 57 = -13. Let j = -42 + r. Is j a prime number?
False
Let a(s) = -16*s**2 + 8*s - 8. Let r be a(4). Let t(q) = 5*q**3 + q**2 - 9*q + 6. Let j be t(5). Let x = r + j. Is x a prime number?
True
Suppose -35*f + 436760 = 5*f. Is f a composite number