= 42 + -39. Is 0.07 less than r?
True
Suppose -6*v - 18 + 6 = 0. Let n be (-50)/15 + 1/3. Are v and n nonequal?
True
Let y = 0.161 + -5.161. Are y and -1 equal?
False
Let h be 61/(-22) - (-5)/15. Let a = h - 2/33. Let o = a + 3. Is o bigger than 1/2?
False
Suppose 0 = l + l. Let n be 1 + 0 - (l - -1). Which is bigger: n or -2?
n
Let a = 0.301 + 0.069. Let o = a + -0.07. Which is greater: 0.1 or o?
o
Let a = -0.03 - -0.07. Let u = a - -0.02. Which is smaller: -1 or u?
-1
Let n(r) = -r**3 - 5*r**2 + 4*r + 5. Let c be n(-6). Suppose -73 = -3*t + c. Let y be 3/t*(-6 - 2). Which is smaller: -2 or y?
-2
Suppose 0 + 2 = i. Suppose 0 = -z - i*z + 6. Suppose -z*h - 3*h + 7 = 2*x, 0 = -2*h - x + 2. Is 3 at most h?
True
Let b = 333/856 + -3/214. Let n(z) = z + 4. Let j be n(-3). Which is smaller: b or j?
b
Let z be (-43)/(-5) - 6/(-15). Suppose -5*g = -4 + z. Are g and 1/4 equal?
False
Suppose -40 = -g + 2*b, 4*g - 3*b = 128 + 52. Let u be (-4)/14 + g/21. Let z(j) = -j**2 - 4*j - 3. Let x be z(-3). Which is bigger: x or u?
u
Let u(x) = -13*x**3 + 12*x**2 - 11*x + 2. Let n(y) = 7*y**3 - 6*y**2 + 6*y - 1. Let t(b) = -11*n(b) - 6*u(b). Let z be t(6). Which is smaller: -3 or z?
-3
Let w = -4.94 + -0.06. Let m = w - -5. Let s = -3 - -3. Does m = s?
True
Let x = 2 - 3. Let u be 13322/(-62580) + (-7)/(-49). Let n = u + 1/298. Is n >= x?
True
Suppose 0 = 10*d - 5*d + 30. Which is smaller: d or -0.1?
d
Suppose w + 5*h - 3 - 3 = 0, 5*w - 3*h = 2. Is 1/6 <= w?
True
Let w(i) = -4 - 4*i**2 - 3*i - 4*i**3 - i**3 + 4*i**3. Let j be w(-4). Does j = 8?
True
Let q be (30/9)/(1/(-3)). Let w be 2/q + (-36)/(-80). Is -1 at most w?
True
Let i = 28 - 32. Which is bigger: -5 or i?
i
Let n be (-9)/(-12)*(-4)/6. Which is greater: n or -0.2?
-0.2
Let z be ((-382)/(-280))/(3/6). Let f = -17027/7390 + 3/739. Let s = z + f. Which is smaller: 0 or s?
0
Suppose 0*k - 30 = -2*a + 2*k, 0 = -3*a - 4*k + 10. Let t be (5 - 10)*12/a. Let w = t - -6. Which is bigger: w or -2?
w
Let x be (-4 + 1)*(-2)/(-2). Suppose 20 = -4*k - k. Are x and k unequal?
True
Suppose -15 = 2*l - 7*l + 3*w, 2*l - w - 5 = 0. Let p be l - (-2)/20*4. Are p and 0 unequal?
True
Let t = 3.05 + -3. Is 0 not equal to t?
True
Let w be ((-1)/(-8))/((-4)/152). Suppose -4 - 12 = 4*x. Is w >= x?
False
Let j(i) = i + 10. Let q be j(9). Let d = -23 + q. Which is smaller: -2 or d?
d
Let i be 2/2*189/(-9). Does i = -20?
False
Let d = 18 + -160/9. Which is greater: 0 or d?
d
Let c = -14 + 11. Does 2 = c?
False
Let a = -19 + 10. Let r = a + 9. Let i = 0.1 + 0. Is r bigger than i?
False
Let o(v) = -v + 1. Let y be o(3). Let t = y - -1. Let z = 43/2 - 22. Which is smaller: t or z?
t
Let f = -1.67 + 1.83. Is -0.2 bigger than f?
False
Let s(x) = -6*x - 32. Let v be s(-6). Is v greater than or equal to 6?
False
Let q = -53/4431 + 1765223/881769. Let k = q + 342497/1791. Let u = -193 + k. Which is smaller: u or 0?
0
Let b = -1/8 + 15/56. Is 3 smaller than b?
False
Let u(t) = -t**3 - 4*t**2 + 5*t - 7. Let j be u(3). Is -1 at least as big as j?
True
Let n(m) = m - 2. Suppose 4*j - 9 = 15. Let x be n(j). Let w = x - 5. Do w and -1 have different values?
False
Suppose -3*v + 16 = -2*g + g, -2*v + 9 = -g. Suppose -3*x = -3, 4*t - v*x + 3*x = -4. Let w be (t/(-3))/((-2)/(-1)). Is 0 bigger than w?
False
Let p = -10.9 + 1.9. Which is greater: p or -0.1?
-0.1
Let v(c) = c**2 + 25*c + 45. Let u be v(-23). Which is smaller: u or -2/91?
u
Let r = 5 - 3. Suppose 0 = -r*g + 3*g. Is g > 2?
False
Let u(y) = 16*y + 2. Let m be u(-1). Let d be 1/(m/(-12))*-28. Is -24 less than or equal to d?
True
Let p = 3/277 + 467/8033. Let g = 33/58 - p. Is g greater than -12?
True
Let w(d) = d + 4. Let o be w(-5). Let i = -78 - -311/4. Is i less than or equal to o?
False
Let m be (0 - 0/(-2)) + 2. Which is smaller: m or 4?
m
Let g = -3/74 + 181/814. Let b(q) = q**2 - 13*q + 4. Let c be b(13). Let d be c/14 + (-56)/(-147). Which is smaller: d or g?
g
Let o = -0.41 + 0.39. Let x be 0/2 - (-3)/(-12). Which is bigger: o or x?
o
Let o be (-6)/((0 + -1)/(-1)). Let c(k) be the first derivative of -k**2/2 - 5*k - 25. Let p be c(o). Do 1/9 and p have the same value?
False
Let k(p) = p**2 + 2*p - 3. Let s be k(6). Is 45 < s?
False
Let v = -160/533 - -6/41. Do -1 and v have the same value?
False
Let l = -83 + 83. Let g = -14/29 - -212/319. Is l at least as big as g?
False
Let p(a) = a - 3. Let q be p(4). Suppose -r = -3*r - 14. Let t = 6 + r. Is t < q?
True
Let x be -3 + 2 + -3 + 14/4. Which is smaller: x or -68?
-68
Let p be (-8)/10 + 426/(-30). Let j be ((-1)/5)/(3/p). Which is greater: -1 or j?
j
Let q = 1/1809 - -1648/291249. Which is greater: q or -1?
q
Let x = 0 - 0. Let l = x - -0.1. Let i = -0.27 - -3.27. Which is bigger: l or i?
i
Suppose -4*i = -8 - 0. Suppose 0 = -i*o + 19 - 5. Which is bigger: 8 or o?
8
Let s be ((-1)/127)/(15/10 - 1). Which is smaller: s or 1?
s
Let n = -15 - -15. Which is smaller: n or 3?
n
Let m(p) = -7*p + 4. Let n be m(4). Let r be -3*(n/9 + 3). Which is greater: r or -5/3?
r
Let u be (-16)/70 + 16/20 + -1. Let p = -2 - -1. Are u and p nonequal?
True
Let p = -2 - -4. Suppose -4 = 4*j - p*d, 0*j + 12 = -2*j - 4*d. Let c = 0 + -1. Is j greater than or equal to c?
False
Let t = -1 - 5. Let c(v) = -v - 9. Let m be c(t). Which is smaller: -2 or m?
m
Let g = -8 + 14. Let j be g/12*(1 + -3). Which is greater: j or -1/26?
-1/26
Let u = 30 + -19. Let w be (-4)/6 + 32/3. Which is smaller: w or u?
w
Let b = -78 - -75. Suppose 3*t + 12 = -3*h, h - t - 4*t - 8 = 0. Let r = h - b. Which is greater: 2/9 or r?
r
Let o(p) = -p**2 + 4*p - 2. Suppose -10 = -5*b + 3*k - 5*k, 0 = -3*k + 15. Let l be -1*(-4)/(1 - b). Let f be o(l). Is -1 greater than or equal to f?
True
Suppose 0 = c + 16 - 1. Let g be 6/(-10) + (-3)/c. Let p(v) = -v**2 - 6*v - 6. Let d be p(-5). Are d and g unequal?
True
Let n(d) = -d**2 - 15*d - 18. Let b be n(-13). Suppose 0 = t, -b = -h - 0*t - 2*t. Which is smaller: h or 9?
h
Suppose 4*o = -4, -2*o + 7*o = -2*l + 101. Let d = 266/5 - l. Let k = -20 + 19. Is d equal to k?
False
Let g = 23 - 319. Let l = g + 3850/13. Suppose 0 = b - 2*b. Which is greater: l or b?
l
Let q = 3905 + -27409/7. Let d = 976/91 + q. Is d less than 0.1?
False
Let u(s) = -2*s**3 + 3*s**2 - 6*s + 3. Let w be u(3). Are w and -43 non-equal?
True
Suppose 5*o = 3*w + 46, -20 - 21 = 3*w - 4*o. Let x be (w - -28)*(-2)/6. Are -5 and x non-equal?
True
Suppose -z - 18 = 4*r - 62, -5*r - 3*z + 48 = 0. Which is bigger: 6 or r?
r
Suppose 0 = p - 9 + 2. Let z = 2 - p. Is -4 greater than or equal to z?
True
Let h = 22.2 - 21. Let m = 0.5 - h. Which is bigger: 1 or m?
1
Let s = -17 + 52/3. Is s at least 4/25?
True
Let w = 351419/102650 + 75/2053. Let z = 1/25 + w. Is z less than or equal to 5?
True
Let i be -2*((-6)/(-8) + 1/(-2)). Let c = 2 + -3. Is i less than c?
False
Let i(f) = f**3 + 7*f**2 - 8*f - 9. Let k be i(-8). Is k not equal to -9?
False
Let s = -6/11 - -83/132. Which is smaller: s or 0?
0
Let f be 18/12*200/3. Let z be f/(-26) - (-10)/(-65). Is z <= -4?
True
Let x(y) = y - 10. Let o be (1 + 5)/(2/2). Let l be x(o). Which is smaller: l or -1?
l
Suppose 5*f + n - 16 = 0, -4*f - 5*n - 28 = -6*f. Is f smaller than 0?
False
Let y be 4/(-10) - 268/(-20). Let c = 973/6 + -527/3. Let a = y + c. Is 0.1 >= a?
True
Let b be (-105)/20 + (2 - -3). Which is smaller: -48 or b?
-48
Suppose 2*k = -g + 5*k - 8, -2*k = -5*g - 14. Suppose 0 = -6*q + q + 10. Suppose 3*t = t - z - 2, 0 = q*t + 3*z + 2. Is g != t?
True
Let i = 4 - 0. Let h(b) = -b**3 + 6*b**2 + b - 2. Let r be h(6). Suppose -r*u = -w - 13, 3*u + 0*u - 15 = -w. Which is greater: w or i?
i
Suppose 4*p + 0*p = 0. Suppose p = -b + 6*b + 10. Is b smaller than -2?
False
Suppose 25 + 0 = 5*s. Suppose w = s*w. Suppose -1 = 5*r + 4. Which is greater: r or w?
w
Let x = 1 + -1.5. Suppose -10*r + 32*r + 22 = 0. Is r at least as big as x?
False
Suppose 3*g - 2*b + 6*b = -12, -2*g - 2*b = 6. Suppose -10*c = -15*c + 25. Suppose -4*z = 3*i + 8, c*i - 4 = z + z. Is g at most as big as i?
True
Let z(r) = r + 35. Let p be z(8). Which is bigger: p or 44?
44
Let z be 10/4*48/30. Let u = -1 - -1.1. Is z at least as big as u?
True
Let f = -2 + 8. Let m be 8 - f - (-22)/(-8). Which is greater: 0 or m?
0
Let y be ((-4 - -1) + 1)*-4. Let p(q) = -3*q**2 +