b be (-5)/(-2) - (0 + s). Is 3 equal to b?
False
Let u(y) = -9*y - 10. Let z(l) = -5*l - 5. Let h(w) = 4*u(w) - 7*z(w). Let o be h(-4). Let k be 1 + (1 - 28/15). Which is smaller: o or k?
o
Suppose 4*f - 6 = -2*r, 2*r + f + 9 = -2*r. Let p = -2 + r. Suppose 0 = -2*q - 5 - 7. Which is smaller: p or q?
q
Suppose -j + 3*m - 2 = 0, -3*j + 2 = 2*m - 14. Suppose 2*a + 19 = -5*f, -j*a = f - 2*f - 17. Which is bigger: 0.1 or f?
0.1
Let d = -48 - -54. Is d at least as big as -0.05?
True
Let i = -19934/33 - -604. Let u(r) = -r**2 - 3*r + 3. Let n be u(-4). Which is greater: i or n?
i
Let j be (-10)/(-4)*(2 + 0). Let n be 17/4 + (-33)/(-44). Are j and n non-equal?
False
Let s = 32 + -34. Does -1/2 = s?
False
Let c be 0 + ((-4)/(-42) - 0). Let p be 8/6 + 2/(-6). Which is bigger: c or p?
p
Let j be (-36)/24*((-172)/(-3) + -2). Which is smaller: j or -82?
j
Let z = -1/16999 - -10930362/84995. Let c = z + -129. Let p be 1/(-2) - (2 + -2). Is c smaller than p?
False
Let d be (-32)/(-18) + 2/9. Suppose -3*j = -d*j + 4. Let f(m) = m**2 + 5*m + 3. Let g be f(-3). Is g bigger than j?
True
Let z be -6*(-92)/6*-1. Let f be (-2)/11 - z/22. Suppose 0 = y - f*s - 5 - 10, -y + s = -6. Which is greater: 2 or y?
y
Let b = -169320157/45773640 - -1/635745. Let z = b + 29/8. Is z <= -1?
False
Let u(d) = -d**3 - 5*d**2 - 2*d - 7. Let k be u(-5). Suppose 1 = 2*r + 5*z - 2, 0 = k*r + 4*z - 1. Let t = -21/5 + 157/35. Is r smaller than t?
True
Suppose -4*s + 4 = -2*x + 42, -3*s - 3 = 0. Suppose 4*c - x = 11. Which is bigger: 6 or c?
c
Let w be 65/(-15) - (2 + -6). Let m = -2961/11 - -269. Which is greater: m or w?
m
Let y = 239 + -3583/15. Is y != 1?
True
Suppose 0 = 5*j - 41 - 59. Suppose 4*l + l - j = 0. Suppose -10 + 2 = 5*v + x, -5*v = l*x + 2. Is v < -1?
True
Let d be ((-1)/5)/((-4)/(-10)). Suppose -5*o = -2*o. Suppose o - 2 = 2*k. Which is greater: k or d?
d
Let n = -109 + 107. Which is bigger: n or -8/13?
-8/13
Suppose -16 = -2*u + 4*u. Let x be (4/u)/((-2)/12). Suppose 3*z = -x*p + 18, -z + 0 = -4*p - 1. Are 0 and p nonequal?
True
Let k = -1.3 - -1.1. Is k < 0.03?
True
Let f = 1/5 - 31/105. Which is bigger: f or 0?
0
Let w = -5 + 2. Suppose -15 = 5*q + 2*m - 3*m, q + m = -3. Is w at most q?
True
Let l be -2 + -2 + -3 + (-50)/(-18). Which is greater: -4 or l?
-4
Let d(v) = v + 12. Let s be d(0). Let n = s + -12. Is -3/4 <= n?
True
Suppose -3*d + g = -9, 5*d + 4*g + 5 = -g. Which is smaller: d or -5?
-5
Let v be (-16)/32 + 2/(-12). Let h = 1 - 1.07. Which is greater: v or h?
h
Let m = -0.1 + 0.3. Let v = -0.045 + -6.955. Which is greater: m or v?
m
Let d = -1 + 0. Let l = 3 + -2.2. Let j = 0.2 + l. Which is greater: d or j?
j
Let p be ((-36)/(-21))/(6/21). Suppose p*i = i. Which is greater: i or 2?
2
Let n(m) = -m**2 - 9*m - 3. Let t be n(-8). Let r = -8 + t. Which is greater: r or -4?
r
Let q = -122/3 - -41. Let v = 15 + 3. Let g = -13 + v. Which is smaller: g or q?
q
Suppose -p + 17 = 87. Which is smaller: p or -69?
p
Suppose 5*c = 5, -2*o = -5*c + 3*c - 4. Let f be 2/1 - 1 - -10. Let q = -8 + f. Is q at most o?
True
Let k = -6/551 - -12176/4959. Is 3 < k?
False
Let w be 8/6*(-6 - -12). Let x = 6 - w. Is x at least -2?
True
Let g be 4/(-3 + 1 - -4). Let p(o) = -o + 3. Let w be p(g). Let l = 3 - w. Is l < 1?
False
Suppose 4*b = -5*a - 3, 5 - 1 = -2*a - 3*b. Let d(m) = m - 2. Let u be d(0). Let s be 4/u*(-2)/(-4). Which is greater: a or s?
a
Suppose -5*a - 1 = -6. Is 2/117 < a?
True
Suppose -w + 24 = w. Let y be w/(-10) - (1 - 1). Is y at most 0.1?
True
Let u = -1.05 + 1.05. Which is greater: -1/4 or u?
u
Let u = 4555/21 - 217. Is u at most as big as 0?
True
Suppose 0 + 6 = 3*s, 4*s = t + 6. Suppose -t*h = -5*h. Is h at most as big as 4?
True
Let r be (-3 + -42)*(-2)/(-17). Let s = r + 681/119. Which is bigger: s or -1?
s
Let m = -8.7 - -1.7. Which is bigger: m or 1/3?
1/3
Let g be (3 - 1)*(-5)/15. Let o = 7.1 + -7. Which is smaller: g or o?
g
Let d = 61/90 - 7/9. Suppose 3*a = v + 8, -2*a - 4*v - 13 = -v. Is d < a?
True
Let m = -4.1 - -0.1. Let f = m + 4. Let k = 5 + f. Which is smaller: k or 0?
0
Let t = 1.04 - 2. Let c = t + -0.04. Is c at least -1?
True
Let d = 5 - 7. Suppose 2*f - 9 = 1. Suppose 0 = -i - 0*t + t + 1, 5*t + f = 3*i. Which is greater: d or i?
i
Let d = -34 - -33.02. Let y = d + 1. Which is smaller: y or 0.1?
y
Let v be 2/4*(2 - 6). Let a(w) = 2*w**2 - 2*w - 2. Let s be a(v). Which is smaller: 11 or s?
s
Let j be -2*(-1 - -5) + -2. Which is smaller: j or -9?
j
Suppose -4 = -4*f + 16. Suppose -f = 2*p - 19. Let j be ((-1)/p)/(2/4). Which is greater: 0 or j?
0
Let b = -14.07 - -0.07. Let x = b - -23. Let j = -9.06 + x. Which is bigger: -1 or j?
j
Let k = 4.206 - 0.006. Let x = -0.2 + k. Let t = 7 - x. Which is smaller: -2/3 or t?
-2/3
Let v(y) = -y**3 - 3*y**2 - 3*y - 5. Let o be v(-2). Which is smaller: o or -2?
o
Let v = -0.1 - -0.18. Are v and -1 non-equal?
True
Let v(n) = -n**2 + 12*n + 14. Let c be v(13). Is c >= -14?
True
Let i(c) = c**3 + c**2 + c + 2. Let m be i(0). Let b = -7 + 4. Let o be (b/(-6))/((-1)/(-4)). Is m at most as big as o?
True
Suppose 0 = -5*x + 4*n - 50, -3*x - 5*n - 1 = -8. Is -11/2 less than x?
False
Let a be 4/6 - 15/9. Let q be (-7)/(-35)*1*5. Let v be 0/(2*q/1). Which is greater: a or v?
v
Let r(f) = -2*f + 35. Let s be r(15). Which is greater: s or 3?
s
Let y(g) = 3*g - 8. Let u be y(6). Let f be (-1)/5*25/u. Which is greater: f or -2?
f
Suppose -4*n + 0 + 8 = 0. Let k be 0*(2 + 0)/n. Which is greater: k or -1?
k
Let t = 2 - 1.9. Let f = t + -1.1. Let j = 0 + -0.2. Which is greater: f or j?
j
Let b(v) = -v**3 + 3*v**2 + v + 2. Let z be b(3). Let a = z - 4. Is 2 < a?
False
Let b be ((-4)/8)/(2/(-64)*2). Let x = -5 + 12. Which is greater: b or x?
b
Let q(k) = 4*k - 5 + 0*k + 5*k**2 - 3*k - 6*k**2. Let j be q(0). Is j at least -7?
True
Suppose 2*v - 8 = -2*f, -7*f = -2*v - 2*f + 8. Let w be (3*1)/((-6)/(-2)). Suppose 2 = 3*y + m, v*y - w = -4*m + m. Is -1/5 >= y?
False
Let r be -3 + (5/2 - -1) + -1. Is r smaller than -24?
False
Let k = 9.5 - 1.5. Which is bigger: k or -0.1?
k
Let b be (-2 - 0) + (3 - (-28)/(-20)). Is b <= -34?
False
Let z be (6/(-27) + (-1172)/(-4950))*-5. Which is smaller: -1 or z?
-1
Let d = -3 - -2.95. Let k = -43 - -42.05. Let j = d + k. Which is bigger: j or 0?
0
Suppose -5*d + 8 = 5*z - 7, 0 = -3*z. Let w(c) = -c - 2. Let g be w(-5). Is d equal to g?
True
Let r = -0.5 + -0.5. Let w = 2.3 + -2.3. Is w < r?
False
Let g(n) = n**3 - 3*n + 6. Let y be g(3). Which is smaller: -3 or y?
-3
Let t be 3 + (560/(-12))/5. Does -5 = t?
False
Let u = 331786310216667662/373681 + -887886486648. Let n = u + -11/9706. Let f = n - -9/14. Is f less than or equal to -1?
False
Suppose k + k = 110. Let d = k - 383/7. Which is bigger: 1/5 or d?
d
Let z(j) = -5*j**2 + 6*j - 3. Let q be z(7). Let b = 294 + q. Let s be 2/(-8) - (-38)/b. Is s >= 1?
False
Let w = -2.3 - 1.7. Let j = -480.01 + 476. Let x = w - j. Which is smaller: -2/7 or x?
-2/7
Let f be (-1)/(-2) - 50/(-12). Which is greater: 4 or f?
f
Let k = -446 - -24528/55. Are k and -1 non-equal?
True
Let x be 8 - -4 - 1*2. Let t be (-4)/x*(-25)/(-35). Which is bigger: -1 or t?
t
Let w = 57/2 + -27. Let f be ((-4)/(-14))/((-4)/(-28)). Does f = w?
False
Suppose -k = -i + 4 - 1, 5*k + 4*i + 42 = 0. Let x be k/(-15) + (-17)/5. Let s = x - -3. Is s <= 1/3?
True
Let c = -3 - -5. Do c and -1/3 have different values?
True
Let v be 2/(30/55) - 2. Is v < 0.4?
False
Let g = 15 + 2. Let x = 12 - g. Is x <= -4?
True
Let l(h) = -h**3 - h - 6. Let y be l(0). Let a be (-8)/y*(-6)/4. Let x be 1/(2*a/12). Which is smaller: x or -2?
x
Suppose 5*d = -s + 2, d = -s + 4*d + 2. Let h be 0*s*2/(-8). Is h < -1/21?
False
Let i = 1.729 - 0.009. Let y = 0.28 + i. Which is smaller: y or 0?
0
Let p = 61/6 - 179/18. Suppose -2 = -4*i + 2. Which is smaller: i or p?
p
Let j = 1.4 - -0.6. Which is smaller: 0.07 or j?
0.07
Let p(f) = -f**3 - 2*f**2 + f. Let v be p(-4). Which is smaller: 27 or v?
27
Let i be (-8 - (-6 - -3))*(-16)/5. Is 18 at most i?
False
Suppose 2*d - u - 5 = -0*u, -d = 3*u + 8. Let j be (12/(-15))/((-1)/5). Suppose -5*t - 3 = 3*g + 3, -j = -5*t + 2*g. Which is smaller: d or t?
t
Let n(v) = -v**2 + v - 2. Let c be n(2). Which is smaller: -8 or c?
-8
Suppose 13 = -z + 20. Which is smaller: z