 Let g(r) = -8*r + 8. Let b be g(d). Let m be (-22)/24 - (-16)/b. Is m > 0?
False
Let k be (-39)/52 + (-4)/16. Let v = -1.4 - -8.4. Let u = 10 - v. Are u and k unequal?
True
Suppose 0 = -n + 3, 5*n - 2*n = -5*o + 69. Let g = -8 + 14. Suppose 2*r + o = g*r. Is r less than 3?
False
Let h be (-1)/((-2)/(-12) + -1). Suppose 5*g - 25 = -5*d, 5 = -5*d - 5. Suppose -15*r = -g*r - 8. Which is smaller: r or h?
r
Let o = -2100 + 2892. Is o at most 792?
True
Let o be (-4)/18 + (-5)/(1710/(-166)). Which is bigger: 0 or o?
o
Let j = -32.83 - -33. Let p = -0.07 + j. Let s be (-3)/(-1) + (-10)/3. Is p != s?
True
Suppose 0 = s + 301 - 84. Does -218 = s?
False
Let c = 21 - 43. Let f = 57 + c. Which is bigger: f or 1/2?
f
Let v be (-12)/(-8) + (-465)/6. Let o be (-3 - v/8)*-2. Let f = 129.9 - 130. Are o and f non-equal?
True
Let d(u) = u + 8. Let y be d(-4). Suppose 5*s = -y + 9. Let b be (18/(-39))/((-4)/s). Is b < 1?
True
Let j = -63 - -255/4. Let x be 8/(((-11)/(-22))/(5/4)). Suppose x - 20 = -2*y. Which is greater: y or j?
j
Let m(u) = 37*u - 2. Let v be m(2). Let y be (-16)/v - (-52)/153. Which is smaller: y or 0?
0
Let o = -0.059 - -15.559. Let r = 15 - o. Let z = r + -1.5. Are 5 and z equal?
False
Let b = -0.27 + 0.15. Let z = b - -7.12. Let k = z + -7. Which is greater: k or -4?
k
Let q(j) = -j**2 - 7*j + 96. Let l be q(6). Which is smaller: l or 16?
16
Suppose 49 = 6*t + 61. Suppose 2*b + 29 = 3*k - 3*b, 0 = -k - b + 23. Let c be -2 - ((-3)/k + -1). Do c and t have the same value?
False
Suppose -3*n - 2*f = 10, -n = 3*n + 5*f + 25. Let x be 2/2*(3 - n). Suppose 0 - 3 = -x*l. Are -2/11 and l non-equal?
True
Let c = -872 + 896. Which is smaller: 21/4 or c?
21/4
Let b = 0.112 - 0.012. Which is smaller: b or 21?
b
Let o = 175 - 174.7. Is o greater than or equal to -3/61?
True
Suppose 5*q - 28 = -9*q. Which is greater: -131 or q?
q
Let l(q) = -q**3 - 12*q**2 - 12*q - 5. Let t be l(-11). Suppose -4*a = 3*p + 4, -t*a = -3*a + 5*p + 14. Suppose a*d = 7*d. Are d and 1/13 equal?
False
Let y = 1658 - 1456. Is 1/2 at most y?
True
Let h(s) = 7*s - 137. Let p be h(21). Are p and 3 non-equal?
True
Let t be (-3562)/(-390) + 4/(-30). Suppose -6 + 38 = 4*r. Which is greater: r or t?
t
Let q = 130 - 912/7. Let i = 24 + -19. Let l be (0 + i)*(3 - 2). Which is smaller: l or q?
q
Let z(k) = k**2 - 13 + 14 + 5*k + 3*k. Let a be z(-8). Is -1/21 less than or equal to a?
True
Let k = 21.6 + -20. Let f = k - 2.9. Let s = f + 2.3. Which is greater: s or -3/4?
s
Let m = 37.5 + -40.5. Which is smaller: m or -157/5?
-157/5
Let v = -2.28 + 0.08. Let x = 57.8 + -69. Let r = v - x. Is 1 at least as big as r?
False
Let h = -43 + 75. Suppose -7*x = 17 + h. Let b be -1*((x - 0) + 0). Which is smaller: b or 5?
5
Suppose -11*z + 10*z - 5 = 0. Let m be 2 - 1 - (-10 - z). Suppose -5*w = 4 + m. Which is bigger: w or -3?
w
Let w = -918415 + 1847851025/2012. Let m = w + -1879523/14084. Let n = m - -133. Which is smaller: 1 or n?
n
Suppose 5*i - 4*i = -3*a + 1, 0 = -4*i - a + 15. Suppose 0 = -y + i*y + 33. Are -12 and y non-equal?
True
Suppose 0 + 5 = 5*i - 3*o, -2 = -2*i - 5*o. Let n = 9 - 6. Let m be n/(2/(-4 + 2)). Which is smaller: m or i?
m
Let j = 0.0135 - -2.9865. Which is smaller: j or -97?
-97
Suppose 3*z = g + 12, -g - 6*z + 28 = -z. Suppose 4*x - 2*t = -x, -2*t - 4 = -g*x. Let d be (24/20)/(x/10). Does d = -6?
True
Let o be (-14280)/(-7138) + (-7 + 9 - 4). Which is smaller: o or 0?
0
Let m = -322431/176 + 1832. Is m < 1?
True
Suppose -34 = -6*a - 40. Which is bigger: a or -3/53?
-3/53
Let d(p) = p**2 + 1. Let x be d(-4). Suppose 3 = 5*c + 2*n + 48, -5*n + 3 = -4*c. Let k(i) = -i**2 - 11*i - 10. Let s be k(c). Is s at most x?
False
Let f = 12378 - 4468461/361. Do f and 1 have the same value?
False
Let r be 8/(-28) - (-132)/21. Let w be r/8 - ((-215)/(-20) - 5). Is -5 greater than w?
False
Let u = 0.39 - 0.11. Let g = -15.28 + u. Let f = g - -17. Is f less than -2/9?
False
Let w = -769 - -765. Which is smaller: 23 or w?
w
Suppose 5*w + 109 = -36. Let p = 5747 - 17239/3. Is p <= w?
False
Let t(o) = -2*o + 3. Let n(p) = 3*p - 3. Let d(w) = -3*n(w) - 4*t(w). Let y be d(6). Is y at most as big as -6?
True
Let p(i) = -3*i + 5*i - i - 14 + 3. Let w(u) = -u**2 - 3*u + 4. Let a be w(-3). Let f be p(a). Which is smaller: f or -9?
-9
Let v(k) = 3*k - 18. Let s be v(11). Let d(y) = 4*y**2 + 10*y - 9. Let t be d(-4). Is t greater than s?
False
Let i be (-33)/(-13 + 2) - 66/17. Is i less than or equal to -1?
False
Suppose -2*l + 2*y = -3*l + 10, -2 = l - 2*y. Suppose 272 = l*h - 4*d, -14 - 42 = -h - 3*d. Which is smaller: 66 or h?
h
Suppose 0 = -2*b + 2*l - 6, -3*b + 3*l = -b + 4. Let j be ((-12)/(-10))/((-2)/b). Let m be (-1)/(j - (5 + -3)). Are 0 and m unequal?
True
Let g = 1646 + -1645.7. Which is smaller: 0.0433 or g?
0.0433
Let j = -17 + -1. Let h = 24 + j. Suppose h*g + 8 = 2*g. Which is greater: g or -6/7?
-6/7
Let t(s) = -s**3 + 16*s**2 - 14*s - 19. Let m be t(15). Is -56/13 < m?
True
Suppose -8 = -4*u + 4*n, -4 = 4*n - 8. Let a be 4*((-5)/(-4) + -1). Let k be 5 - a - u/(-1). Is k less than or equal to 7?
True
Let j = -965.5 - -84.5. Which is bigger: j or -1?
-1
Let n = 5 - 8. Let v = -861 + 860. Which is smaller: n or v?
n
Suppose -5*h + 18 = -2*s, -h = 3*h - 16. Let f be (4/(-10) + 1)/(136/(-40)). Which is greater: s or f?
s
Suppose 4*k + 58 + 70 = 4*f, 0 = 5*f - 10. Let y be ((-294)/(-5))/(6/k). Let q = -3820/13 - y. Which is smaller: 0 or q?
0
Let p be 2 - (-4 - (4/4 - 4)). Suppose -10 + 4 = -2*q, -p*t = 5*q - 6. Let d = -2813 - -25289/9. Which is greater: d or t?
t
Let b be (-754)/(-9) - 26/(-117). Suppose -19*u - b = -15*u. Which is greater: u or 0.1?
0.1
Let b be 0 + -15 + (-3 - -7). Let t = 13 + b. Let h = t + -9. Does h = -6?
False
Let f = 0.76 + -0.66. Which is smaller: -0.011 or f?
-0.011
Let b = -11 - -13. Suppose 50 = 3*l - b*o, l + 2*l - 80 = -4*o. Let h = l - 36. Is h less than -16?
False
Suppose -f - 99 = -2*c, 5 = f + 4*f. Suppose -c = -3*q - 8. Suppose 5*g + k - 65 = 0, g - k - 19 = -0*g. Are q and g equal?
True
Suppose -6*t = t - 56. Suppose t = y - 0*y. Which is smaller: -2 or y?
-2
Let i = 80 - 80. Suppose i*x + 6 = -3*x. Which is greater: x or -15/7?
x
Suppose 2*v = -0*v. Suppose 5*o + t - 34 = v, -5*o + 2*t + t + 18 = 0. Suppose 18 = -p - 5*r, -2 + o = -2*r. Which is bigger: -6 or p?
-6
Let f(m) = 17*m + 806. Let h be f(33). Which is greater: 1366 or h?
h
Let g be (1/(-3))/((-10)/90). Suppose 2*y - 5 = -b, -y + g*b + 16 = -b. Suppose y*l = 2*f - l + 19, 2*l = -5*f - 4. Which is greater: -5 or f?
f
Let k = 94 - 94. Which is smaller: -2/669 or k?
-2/669
Let b(z) = z**2 + 10*z - 22. Let p be b(-12). Suppose -2*f + 4 = l, 0 = l + p + 2. Suppose f = h - 5*h. Is -4/9 bigger than h?
True
Suppose -8 = -2*d + 6. Suppose -t + 6 = 3. Suppose t*v + 5*r = 34, -5*v - 2*r - r + 46 = 0. Is d <= v?
True
Let o be -4 - (31/(-15) - 2). Suppose 0 = -92*j + 99*j + 7. Is j equal to o?
False
Let p be 44/(-7) - (9 + -15). Which is smaller: 5.5 or p?
p
Let f = 0.1 + -0.9. Let s = 285.8 - 247. Let t = -39 + s. Which is smaller: f or t?
f
Let r be -17 + (-30)/(-14 - -8). Let l = 11 + -21. Which is smaller: l or r?
r
Let i = 3.44 - 0.14. Let c = -781 - -780. Which is greater: i or c?
i
Suppose 4*b + 5*h = 30 + 3, 2*b + 21 = 5*h. Let c be -1 + (0 - b/(-3)). Which is greater: 15 or c?
15
Let c(l) = l**2 + 34*l - 240. Let y be c(-40). Which is smaller: 9/19 or y?
y
Let t(s) = s**3 + 4*s**2 + 2*s - 2. Let v be t(-2). Let a(x) = -x**2 - x - 4. Let b be a(2). Let o be b/(-3) + (v - 5). Which is bigger: -1/11 or o?
o
Let j = 1484 - 1622.12. Let y = 138 + j. Is -2 greater than or equal to y?
False
Suppose -158 = 5*d + 82. Let k be (-90)/d + -1*3 + 1. Is 2 not equal to k?
True
Suppose 10*u = 9*u + 13. Let r = -7 + u. Suppose -r = k - 5*z, -3*k + z + 2 = -6*k. Is 2/17 > k?
True
Let t(u) = -5*u**3 + 6*u**2 + 17*u + 12. Let y(z) = -4*z**3 + 7*z**2 + 16*z + 12. Let p(w) = 3*t(w) - 4*y(w). Let q be p(11). Is q at least -35?
True
Let y(t) = t**3 + 8*t**2 + 9. Let b be y(-8). Let x = 6 + 2. Is x at least b?
False
Let b(r) = 2*r**3 + 16*r**2 + 1. Let q be b(-8). Is q at least 26?
False
Suppose 114*v = 119*v - 45. Is v not equal to 12?
True
Let u = -26 - 1. Suppose -3*t - 2*t - 122 = 4*h, h + 102 = -4*t. Which 