ose p - 4*d - 13 + 0 = x, 0 = -3*p - d. Is 1/4 at most p?
True
Let v be 26 + -12 + (3 - 0). Let u = v + -21. Suppose 20 = -5*a - 0. Do a and u have different values?
False
Suppose -5*a - 2*h - 17 + 47 = 0, 11 = -a + 3*h. Let k = a - 6. Let c be ((-2)/4)/((-1)/(-1)). Is k smaller than c?
True
Let x(y) = -y**3 - 5*y**2 + 16*y + 9. Let o be x(-7). Which is greater: o or -12?
o
Let j = -3.06 + 0.06. Which is smaller: 2/7 or j?
j
Let h = 5 - 5.02. Let s = h - -0.12. Is s <= 0.4?
True
Suppose -2*p = -l - 8 - 3, 31 = -5*l - 2*p. Let f be (-6 - 0) + -1*1. Is l < f?
False
Let d = 974987 - 525517791/539. Let f = d - 5/49. Do f and 1 have the same value?
False
Let b = 29/2 - 16. Let q = -7/6 - b. Is q greater than 1?
False
Suppose 5*d + 42 = 12. Which is smaller: d or -4?
d
Suppose 4*k = -4*d + 2*k + 52, -5*k - 2 = -d. Is d less than 13?
True
Let d = 51 + -50.02. Let z = d + 0.02. Is 8 less than z?
False
Let z = 2 - -2. Let k = 6 - 3. Suppose 4*h + z = k*b, 2*b = -2*b - 5*h - 5. Is -1/5 at least b?
False
Let n be (1/(-2))/(52/56 - 1). Is 9 equal to n?
False
Let s be -5*(-1 - -4 - 4). Is 5 bigger than s?
False
Suppose 0 = -4*h + 2*t + 60, -2*h + 59 = h - 5*t. Suppose 2 + h = 3*c. Which is smaller: c or 4?
4
Let z(r) = 5*r + 0*r - 5*r**2 + 3*r**2 + 1 + 3*r**2. Let h be z(-5). Which is smaller: 1/7 or h?
1/7
Suppose 6 = 9*g - 11*g. Is g less than or equal to -3?
True
Let g = 3425/9 - 1129/3. Let k = 181/45 - g. Which is greater: 0.2 or k?
0.2
Let a(c) = -c**2 + 7*c - 7. Let x be a(8). Let q be (-1)/2 - x/40. Which is bigger: 0 or q?
0
Let z = 10 + -9.88. Let n = 3.12 - z. Which is greater: 2 or n?
n
Let m be (-1)/(-4 + (-28)/(-8)). Let r be -1 - (-15)/18 - -1. Which is smaller: r or m?
r
Suppose 2*k - f + 0*f = 27, 5*f = -2*k - 3. Suppose 5*h - 68 = -8. Are h and k nonequal?
True
Suppose -3*g = -14 - 46. Suppose 2*t + 8 = 4*h + 4*t, -h + g = 5*t. Which is bigger: 2 or h?
2
Let r = -46 - -94. Which is smaller: r or -1?
-1
Let w = 139/24 - 9/8. Which is greater: 4 or w?
w
Let g be (1 + (-14)/(-1))*5. Suppose -5*d - g = -0*d. Let u be ((-2)/3)/((-10)/d). Are 1 and u non-equal?
True
Let b = 0.15 + -0.25. Is 1.1 greater than or equal to b?
True
Let l = 133.1 + -124. Let q = -1.1 + l. Which is greater: q or 2/3?
q
Let l = 546 + -13648/25. Suppose 3 = -3*p, -5*u + 3*u - 2*p = 0. Which is smaller: l or u?
l
Let z be (-4)/(-14) + (-237)/21. Let f = z - -13. Is f > -7?
True
Suppose 6 = -3*r + d, -4*d + 0*d + 7 = 5*r. Let t = r - -1. Suppose 3*x + b - 15 = -0*b, -5*b + 15 = t. Is x <= 4?
True
Suppose -d - 104 = -5*d. Let x = -27 + d. Which is bigger: -12/5 or x?
x
Let t = -3.7 - -3.1. Is -2/5 at least t?
True
Let a = -0.1 - -0.3. Let x = 35/99 + -2/99. Which is smaller: x or a?
a
Let y = -1 - -2. Let h be -2 - ((-70)/8 - y). Let x = h - 15/2. Does 0 = x?
False
Let y = -6 + -2. Let x(s) = -s - 6. Let j be x(y). Let l(v) = -2*v + 1. Let z be l(j). Is -4 at most as big as z?
True
Let l be 1/(9/(-6) + 2). Let x be (-3 + 1)*l/12. Is x bigger than -4?
True
Let u = 0 - 10. Is u bigger than -10?
False
Let g = -5 - -13. Suppose -4*h - p = 9, -4*h = 3*p + 3 - 0. Let f be (h - -2)*(-7)/1. Are f and g unequal?
True
Let v = 11 - 4. Suppose -5*x - 5*j + 35 = 0, v*x - 3*x - j = 13. Suppose -p = -5*p - x. Which is bigger: p or -2?
p
Suppose 0 = v - 0*h + 3*h - 13, 3*v + h - 7 = 0. Let z = 52 + -257/5. Is z equal to v?
False
Suppose 0 = z + 4, 0 = 3*a - 5*a + 4*z - 28. Is -21 less than or equal to a?
False
Let c = -25 - -40. Suppose 4*z + z = -c. Let a = z - -4. Which is greater: 0 or a?
a
Let v be (1380/(-28))/(9/6). Let a = -33 - v. Is -1 smaller than a?
True
Suppose -4*k - 1 - 18 = -n, 2*n - 3*k = 18. Suppose -5 = 2*f - n. Let i = 0.2 + -0.1. Which is bigger: f or i?
i
Let t = 3 + -4. Let g be (t + -2)/1 - 0. Suppose 0 = 5*l + 11 + 9. Are g and l nonequal?
True
Suppose -42 = -5*s + 233. Let b = s - 38. Which is smaller: b or 18?
b
Let u(k) = k**2 - 26*k + 4. Let m be u(26). Suppose -2*i = 2*i + 2*a - 22, -i - 2*a + 10 = 0. Is m at least i?
True
Let n(p) = -18*p - 9 + p**3 + 3*p**3 - 5*p**3 + 9*p**2 + 11*p. Let f be n(8). Is f != 1/12?
True
Suppose -2*o + 3*o = 5*t - 12, o + t = 6. Let d = -3 + o. Is -2/9 < d?
True
Let y be ((-250)/(-1 + 6))/2. Which is smaller: -26 or y?
-26
Let d = 4 - 1. Let q = d + -2. Is q greater than 3/4?
True
Let o be 11/35 - (-27)/(-45). Is 0.01 smaller than o?
False
Let y = 0.6 + -0.58. Let c = 0.58 + y. Let o = c - 0.6. Which is bigger: -0.1 or o?
o
Let o be (0 + 9/6)*2. Let w = o - 3. Is w equal to 4?
False
Let w(p) = 2*p**3 + 12*p**2 + 10*p - 2. Let s be w(-5). Which is greater: s or -10/13?
-10/13
Suppose s + 5*s = 48. Which is smaller: 6 or s?
6
Let g = -3.6 + 3.5. Which is smaller: g or -6?
-6
Let f = -13 + 17. Which is smaller: 17/6 or f?
17/6
Let s(c) = -c**2 - 6*c. Let t be s(-6). Let d(l) = -l**3 - 7*l**2 - l - 4. Let p be d(-7). Suppose 4*a = p*a. Is t less than or equal to a?
True
Let o(q) = -q**2 - 6*q + 10. Let m be o(-8). Let x be ((-2)/m)/((-8)/72). Is x less than -3?
False
Let a(i) = 11*i - 1. Let c be a(2). Is c > 22?
False
Let i = 17 + -13. Let g be (-3)/(-6) - (-2)/i. Which is smaller: -4/17 or g?
-4/17
Let f = 0.12 + 7.88. Let l = -7 + f. Which is bigger: l or 0.2?
l
Let q be (-4)/2*(-5)/(-10). Let n be (-8)/77 - 6/(-21). Which is bigger: q or n?
n
Let v be 10*5/((-35)/(-39)). Let b = 56 - v. Which is smaller: b or 0?
0
Let r = 16 + -137. Is r > -122?
True
Suppose -30 = 2*f + f. Is f at least as big as -11?
True
Let i(s) = s. Let a(j) = -j**3 - j**2 - 5*j + 2. Let y(h) = -a(h) - 6*i(h). Let f be y(2). Let c = f - 11. Which is smaller: -1 or c?
c
Suppose 6*m - 4*u + 128 = m, 0 = -3*m + 5*u - 82. Let q be 3/m - 36/(-32). Does q = 6?
False
Let o(c) = -c - 3. Let b be o(-5). Let m be (-2)/6 + b/(-3). Is m greater than or equal to 2/15?
False
Let p = 2 - -1. Let z = p - 7. Is 0 less than or equal to z?
False
Suppose 5*m = 4*g + 6, 2*g - 5*m - 1 = -9. Let q = 0.06 + -6.06. Is q not equal to g?
True
Suppose 5*j - u - 8 = 0, -5*u = -6*j + 2*j - 2. Let f be ((-4)/(-7))/(1/j). Is 0 < f?
True
Suppose 0 = n + 1 + 36. Let h be (-4)/14 - n/7. Suppose -h*u = 8 - 3, 2*j - 3 = 5*u. Which is smaller: j or -2?
-2
Let r be 8 - (0 - -1 - 1). Let m = 591/2 + -1733/6. Which is bigger: m or r?
r
Suppose -h - 15 = -5*i - 0*h, -7 = -i + h. Let b = -184/3 - -62. Which is smaller: i or b?
b
Let o be 3 + 28/8*-1. Let k = -3 - -4. Is k bigger than o?
True
Let h = -6.8 - -6. Let t = h + 0.8. Which is bigger: -2/7 or t?
t
Suppose 0 = 4*o - 13*o - 522. Is -59 smaller than o?
True
Let s = 9 + -6. Suppose -2*v = 2*i + 2*i + 26, 5*i = v - 8. Let b = 9 + v. Which is smaller: s or b?
b
Let u = 0.2 + -0.1. Let h = 317 - 311. Is u at least h?
False
Let z = -0.2 - -0.1. Let u = 2.1 - 1.9. Which is greater: u or z?
u
Let v = -3 - -3. Suppose 7*w - 5*w + 10 = 0. Let n = v + w. Which is greater: n or -4?
-4
Let i be (-7)/42 - (-1)/(-6). Let l(r) = -3*r + 8. Let d be l(5). Which is greater: i or d?
i
Let w = -1124/5 - -224. Is -2 > w?
False
Suppose 4*l + 18 = -2*b - l, 2*b + 4*l + 18 = 0. Let g = b - -8. Is g < -2?
False
Let b be 8*5/(60/9). Suppose 0*t + b = 2*t. Is 4 less than or equal to t?
False
Let g = 7/15 - 2/15. Let j = -0.08 + -3.92. Which is smaller: g or j?
j
Let t = 29 + -18. Which is bigger: t or 10?
t
Let w(c) = -3*c - 4 + 3 + 2*c. Let i be w(-3). Let f be (4/(-12))/(i + -1). Which is bigger: 0.2 or f?
0.2
Suppose -2*u - 3 - 1 = k, 2*u + 8 = -3*k. Let z = k + -2. Is z equal to -4?
True
Let k = 3449/17 - 203. Does -1 = k?
False
Let b(d) = -d + 3. Let h be b(4). Is h > 3?
False
Let i = 0.5 - 0.3. Let d = 101 - 101.1. Which is greater: i or d?
i
Let h = -27 + 17. Suppose -3*f - k = -6 + 23, -3*f = 3*k + 9. Let b = f - h. Which is smaller: b or 2?
2
Let t = 0 - 0. Suppose 2*h + 4 + t = 0. Which is smaller: h or -1/2?
h
Let d = -0.01 + 0.11. Let o = -665/363 - 1/726. Let q = -5/2 - o. Is d >= q?
True
Let z = 3.416 + -0.356. Let r = z + -0.06. Let n = r - 3.2. Is -2 < n?
True
Let b = 6 - 6. Let t be ((-4)/(-6))/((-3)/(-9)). Let z be (b - 1)*(t + -1). Which is greater: z or -1/6?
-1/6
Let j(b) = -b - 2. Suppose -2*x + 20 = -7*x. Let y be j(x). Let f be (1/y*0)/(-1). Is 0 at least as big as f?
True
Let k be 150/130 + 4/(-26). Suppose -11 = -5*i - k. Let t = -0.1 + -3.9