?
0
Let s(p) = 0*p - p + 8 + 5*p - 2*p. Let a be s(-6). Let t be a/3*9/(-6). Which is bigger: t or 1?
t
Let d = -2 - -4. Suppose -2*f + 8 = -2*h, -5*f - 3*h - 18 = -d*f. Which is greater: -1/16 or f?
-1/16
Let h = 24 + -26. Is h at most 3?
True
Let o = 130282/141 - 924. Which is smaller: -0.1 or o?
-0.1
Let h = -2 - -10. Suppose 3*t - t = h. Let s be (-1)/t + (-6)/8. Is 0 not equal to s?
True
Let w(s) = s + 10. Let l be w(-8). Suppose -2 = -3*n + t + 12, -2*n - 5*t = l. Is n at most 4?
True
Let w = -240.06 - -240. Let q = 0.2 - -2.8. Let l = q + -3. Are l and w non-equal?
True
Let z = -54 + 323/6. Suppose 0*k = 2*w - 4*k + 14, 0 = k - 4. Is z less than w?
True
Let a(f) = -f**2 + 14*f - 13. Let u be a(13). Is u < 6?
True
Suppose -5*c = -c - 8. Let a = 5 + c. Suppose 0 = -a*y + 2*y. Is y at least 0?
True
Suppose 2*b - 4 = 4*y, b = 3*b + 5*y - 4. Let u be ((-1)/5)/((-22)/88). Which is smaller: b or u?
u
Let j(t) = t**3 + 4*t**2 + 5. Let g be j(-4). Let b = 7 - 2. Is g bigger than b?
False
Let h = -16 + 0. Let y(o) = -o**3 - 17*o**2 - 16*o - 10. Let p be y(h). Is p less than -11?
False
Let j be (-14)/77 - 2/352. Are j and 1 equal?
False
Let h = -8 - -10. Suppose 0 = -3*q + h - 8. Is -1 greater than q?
True
Suppose 0 = 7*z - 5*z - 6. Suppose 0 = u - z*o - 11 + 1, -5*o = 20. Is -2 <= u?
True
Let o be 12/(3 + -2 + 6). Is o bigger than 2?
False
Suppose 2*b = 3*b - 1. Suppose 0 = 4*p + b + 15. Is -5 <= p?
True
Let z be (-10)/35 - (-136)/574. Suppose -3*o = -2*y + 7, 0*o - 4*o - 10 = -2*y. Which is smaller: y or z?
y
Let s be (-63)/(-9)*4/(-5). Which is greater: s or -6?
s
Suppose 7*i = 6*i + 3. Is i greater than or equal to 1/2?
True
Suppose 0 = 2*a - 5 + 1. Let y = a - 6. Does y = -4?
True
Let k be (-2 + 2)*(-1)/(-2). Which is greater: 2/3 or k?
2/3
Let r = 7/99 - -842/693. Is r < 1?
False
Let u(s) = -s + 7. Let g be u(5). Let x(v) = 2*v**3 - 3*v**3 + g*v**3 - 2*v**2 - v. Let n be x(3). Is n less than or equal to 2?
False
Let o be 6 - (2/(-1))/(-1). Let k = -4 + -8. Let l be (-6)/k - 2/o. Is l at least as big as 1/7?
False
Suppose 62 = 4*o - 2*n, o + 0*o - 20 = 5*n. Suppose r - o = -2*r. Suppose 5*d = 3*q - 8, -r*q = d + 2 - 6. Which is smaller: -0.2 or d?
d
Let j(h) = -h. Let w be j(-1). Let l be (w/(-2))/((-10)/(-20)). Which is greater: l or 1?
1
Let i = -18.2 + 20. Let n = i + 0.2. Let p = -2 + 1. Which is smaller: p or n?
p
Suppose 5*q - 11 + 1 = 0. Let t be (q/(-4) + 1)*0. Which is smaller: t or 3/7?
t
Suppose -t = -p - 19, 4*p = -t - 2*t + 92. Let a be (1/(-2))/((-2)/t). Are a and 7 nonequal?
True
Let j = 97 - 96. Is 11/6 bigger than j?
True
Suppose -2*j + 2 = 2*j + 2*x, 3*j + 2*x - 3 = 0. Let c = -881/14 - -63. Is j greater than or equal to c?
False
Let g be 31*(-1 - 2)/(-9 - -6). Which is greater: 30 or g?
g
Suppose 5*b - 3 - 12 = 0. Which is bigger: b or 2?
b
Let d(a) = -70*a**3 + a**2 + a. Let t be d(-1). Suppose -3*x - t = 5*i, -2*i + i = -2*x + 14. Let u = 20 + i. Is u <= 5?
False
Let g(f) = -3*f + 23. Let v be g(8). Which is greater: 26 or v?
26
Let p(m) = -9*m**3 + m**2 + 3*m + 2. Let h be p(-1). Let d(k) = k**2 + 0 + 0 - 9*k. Let a be d(h). Which is smaller: a or -1/4?
-1/4
Let p = -3 + 2.94. Let j = 95.94 - 99. Let k = p - j. Is -1 < k?
True
Let m be 8/36 - 6/9. Which is bigger: m or -1?
m
Let j = 38504/1551 + -273/11. Is 1 less than or equal to j?
False
Let d be (-2)/(-9) + 116/(-36). Is d greater than or equal to -2?
False
Let v = 1.211 + -7.221. Let c = -6 - v. Which is greater: c or -0.1?
c
Suppose 4*x = 3*b - 0*x + 11, 5*x = 10. Let t be b/(-1) + 178/(-36). Let p = t - -22/9. Is p equal to -3?
False
Let o = 5 + -3. Let i be o + (5 - -1) + -2. Let r be 0 - i*(-2)/(-20). Is r less than 0?
True
Suppose 6 + 0 = 3*j. Suppose 15 = -a + j*a. Is 16 bigger than a?
True
Let h = -21 + 23. Is 2 not equal to h?
False
Let x(c) = c**3 + 17*c**2 + 15*c - 12. Let y be x(-16). Is 5 greater than or equal to y?
True
Let u(i) = -2*i**2 - 33*i + 18. Let j be u(-17). Let t be 0 - (2/6)/(-1). Which is smaller: t or j?
t
Let w = -19 + 19. Let y = -19/31 - -395/341. Do w and y have different values?
True
Let q be (20/(-3))/((-12)/18). Suppose -10 = -5*t - 2*b, b - q = 4*t - 9*t. Suppose -9 + 3 = -t*a. Is 5/3 != a?
True
Suppose 3*a = -2*j + 2, 2*a = -0*a - 3*j + 3. Is -11 greater than or equal to a?
False
Let k = 1 + -2. Let i = 0.3 + -0.2. Let u = -0.3 + i. Which is smaller: k or u?
k
Let u be -5*(20/(-12) + 2). Is u < 0.2?
True
Let y(m) = -m**2 - 10*m - 16. Let s be y(-8). Which is greater: s or 2/27?
2/27
Let r = 171 - 172.1. Let z = 3 - 1. Is r equal to z?
False
Suppose 4*z + 5*o + 4 = -1, 2*z - 3*o = 25. Suppose -4*i - 10 = -3*i. Let m = -5 - i. Is m < z?
False
Let r(l) = l**3 - 5*l**2 + 1. Let h be 6/27 + 16/9. Suppose -4*o + m = -h*o - 15, -40 = -5*o + 3*m. Let y be r(o). Is 0 < y?
True
Let s = 118 + -117. Which is smaller: s or 2/21?
2/21
Let a = 9905 - 208058/21. Let y = 20/7 + a. Is 1 smaller than y?
False
Let q = -1.9 - 1.1. Which is smaller: q or 0?
q
Let c = 1/6 - 5/12. Let b(f) = -f**2 + 3. Let r be b(-3). Let u be (-3)/2*4/r. Which is bigger: c or u?
u
Let n(l) = l - 16. Let k be n(8). Let y be ((-4)/(-16))/(5/k). Which is greater: -0.06 or y?
-0.06
Suppose -5 = 5*n, -u = -n - 2*n - 11. Suppose 0 = 3*r - 5*l + u, -3*l = 5*r - r + 1. Is r < 0?
True
Let q = 50/319 - -6/29. Is 0 smaller than q?
True
Let c(n) = -n**3 - 6. Let g be c(0). Is -8 at least g?
False
Let v be (36/(-14) + 0)*-7. Suppose 60 = -3*m + v. Which is greater: m or -15?
m
Let z = 2 + 0. Suppose 0*d - 8 = z*d. Let r be (-4)/10*(-5)/3. Is r greater than d?
True
Let z be (1/1)/((-15)/(-1209)). Let h = 81 - z. Let i = 4 + -4. Which is bigger: h or i?
h
Let s be 1 + -4 + 0 + -1. Suppose 4*l + 2*t = -12, 4*l + 0*t = 4*t - 24. Is s greater than or equal to l?
True
Let i be 9/6 - 2/(-4). Suppose -5*w + 12 = i. Suppose w*m - 1 = -3. Which is smaller: -2 or m?
-2
Let m = -15 - -13. Let w(u) = u + 5. Let k be 12/(-16)*(10 - 2). Let a be w(k). Which is smaller: a or m?
m
Let q = 246 + -1217/5. Is q greater than or equal to 4?
False
Let j = -6 - -12. Let s be j/(-8)*(-12)/3. Suppose s*b - b = 2. Which is greater: b or 2?
2
Suppose -3*i + 0*k = 3*k - 30, -3*i + 34 = 4*k. Is i smaller than 3?
False
Suppose 2*t - 3*u + 10 = 4*t, u = -3*t + 1. Let a = 104 + -1559/15. Do t and a have the same value?
False
Let u = -545948/1011 - -540. Let z = 207287/4044 + u. Let p = -51 + z. Is 1 at least p?
True
Let j = -0.69 - -0.7. Let a be (-112)/(-63) - (-4)/18. Let i be (a/(-12))/((-6)/(-9)). Which is smaller: i or j?
i
Suppose 5*w - 8 - 17 = 0. Suppose w*t + 103 = -17. Let j be (4 - 2) + t/14. Which is bigger: 0 or j?
j
Let h = -4013/17 + 236. Does 0 = h?
False
Let j be 25 + -20 - (-1 - 0). Is j greater than or equal to -5?
True
Let o(f) = -f**3 - 4*f**2 + 9*f + 3. Let c be o(2). Suppose -b - 5*u = 4*b - 45, -5*u + 37 = 4*b. Suppose -b = 3*n + 1. Are c and n non-equal?
False
Let m = -8 - -7.7. Let q = 0.4 + m. Let k = 302 + -299. Is q at most k?
True
Let n be (-12)/(-42) + 2/(-7). Let f be -1*(n/(-1) - 6). Let o be (f/(-36))/(4/(-6)). Which is bigger: o or 1?
1
Let n(j) = -j**3 + 5*j**2 + 1. Let p be n(5). Is -2/31 >= p?
False
Let r(z) = -z**2 + 8*z + 4. Let a be r(8). Suppose 2*w = 4*w + a. Is w equal to -2?
True
Let k(f) = -f**3 - f - f**2 + 0*f + 1 + 0*f**3. Let d be ((-2)/(-5))/(2/5). Let l be k(d). Which is smaller: -4/3 or l?
l
Let p(m) = -m**3 - 7*m**2 - 7*m - 7. Let k be p(-6). Let l be -2 - k - (-1 + -8). Suppose -4*z - 8 = z - 4*b, 0 = 2*z - 4*b + l. Do z and 1 have the same value?
False
Suppose -14 = 2*q + 16. Let d = -6 - q. Let y be ((-128)/12)/(-4) + -2. Which is greater: y or d?
d
Let r be (3/3)/((-3)/(-15)). Suppose r*s - 2*f + 10 = 0, 3*f - 15 = -3*s - 0*s. Is s != -2/3?
True
Let y(o) = -o**3 + o**2 + 2*o + 1. Let s be y(-1). Is 2/5 >= s?
False
Let t = 55 + -494/9. Are 0 and t nonequal?
True
Let m = -11.9 + 12. Which is bigger: 0.7 or m?
0.7
Suppose -2*o = -3*o + 6. Suppose -r - 26 = -b - o*r, 0 = -b - 3*r + 16. Are 1/17 and b unequal?
True
Suppose -3*i + 33 = -0*i. Let u = -7 + i. Is u equal to 3?
False
Let o(v) = -6*v - 1. Let t be (-6)/12*1*2. Let s be o(t). Is 1 not equal to s?
True
Let o = -34 + 36.8. Let g = o + -3. Which is smaller: 0 or g?
g
Suppose -3*c - 38 = 4*t + 35, 3*t =