 -4 + 3 + i + -3. Is u at most as big as -5/3?
False
Suppose 5*r = 2*c, 9*r = 4*r. Which is bigger: c or -10/7?
c
Suppose -11*t + 14*t = 3. Is 2 less than or equal to t?
False
Let x(r) = 4*r**2 - 2*r - 1. Let b be -2 + 2*(-3)/(-6). Let v be x(b). Suppose 4*c + v - 1 = 0. Is -1 equal to c?
True
Let x(o) = -o**3 + 2*o**2 - o. Let u be x(1). Suppose b - 5 = -0*b - 3*a, u = 3*b - 5*a + 13. Is b <= -1?
True
Let s = -9 - -9. Let i = -0.2 + s. Are 2 and i nonequal?
True
Let h = 177 + -159. Which is smaller: 1 or h?
1
Let r be (-2)/(-12) - (-2)/(-30). Is r >= 0?
True
Let y be 9/6 - 3/(-2). Suppose 5*b - y*b = 2. Which is smaller: 2 or b?
b
Let m(p) = -2*p + 16. Let k be m(7). Suppose -k*j = 2*j - 4. Are -1 and j equal?
False
Let u be (1/3)/(63/54). Which is smaller: u or -0.8?
-0.8
Suppose -5*p - 3*r - 2*r = -10, 2*p - 5*r = 11. Which is smaller: 5 or p?
p
Let l(o) = -o**3 + o**2 + 2*o + 1. Suppose 3*r + 3 = -4*u - 1, -4*r = -3*u - 3. Let m be l(u). Let j be ((m - 0)/(-1))/(-1). Is j less than or equal to -0.2?
False
Suppose 2*a - 35 + 7 = 0. Which is greater: a or -4?
a
Let c = -9.9 + -0.1. Let r = -13 - c. Do -0.1 and r have the same value?
False
Let v(f) = f - 4. Let c be v(0). Suppose 2*d = -3*k - 13, 0 = -2*k + 2*d + 3*d + 4. Is c at most k?
True
Let y = -0.135 - -0.235. Is y at most 70?
True
Let h = 7 - 13/2. Which is greater: 2 or h?
2
Let d be 3/5*(-2 - 3). Is d greater than or equal to 1?
False
Let t = -103 + 7. Let x be ((-2)/3)/(4/t). Which is greater: x or 15?
x
Let s be 10/(-96)*(0 - 18/60). Which is smaller: 0.2 or s?
s
Let l = 0.66 - 0.96. Which is smaller: 8 or l?
l
Let m be (-2)/(-5) - 30/75. Is -4/5 equal to m?
False
Suppose -n - 12 = -5*n. Is 0.11 greater than n?
False
Suppose 0 = -5*g + 4*x - 17 + 5, -g - 15 = -5*x. Does 4/13 = g?
False
Let a be 4/(-10) - (-6)/15. Let q be -9 + 6 + (a - -3). Let n = -25/3 - -8. Is q != n?
True
Let p(q) = q**3 - 6*q**2 - 8*q + 5. Let k be p(7). Suppose 0 = -9*h + 4*h. Suppose 0 = 2*m - h*m + g + 4, -2*m - 4 = -3*g. Is k < m?
False
Suppose 3*q + 7*h + 6 = 4*h, 0 = 2*q - h - 2. Let z be 40/28 + (-1 - q). Is z at most 0?
False
Suppose 2*w - 12 = 2*v, 2*w - 24 = -0*v - 4*v. Suppose 3*d - 11 = -5*h, -h - h - w = -5*d. Suppose 1 = -2*l + 3. Is h < l?
False
Let h = 20 - 21. Suppose 0*x - 8 = -2*x. Let b be 1/x + (-30)/56. Is h smaller than b?
True
Let o = 135 - 132. Which is greater: 1 or o?
o
Let d be 5 + -5 - 20/(-2). Let z = 15 - d. Do z and 6 have different values?
True
Suppose 0*f + f = 0. Suppose f = -4*i - 0 + 4. Let t be (-2*(-1)/44)/((-25)/100). Which is greater: t or i?
i
Let s = -0.9 - -0.1. Let o = s - -0.8. Which is bigger: 2 or o?
2
Suppose 2*a = -a - 21. Let k(l) = -l**2 - 6*l + 4. Let w be k(a). Let q be (2 - (w + 1))/2. Is q <= 2/3?
False
Let k = -35 - -43. Is 6 greater than k?
False
Let x be (-2)/(-2)*(-6)/9. Suppose 0 = 4*o - 23 - 13. Suppose 0 = 4*c - o*c - 5. Which is smaller: x or c?
c
Let v = 2.9 + -3. Let t = 0.05 + 9.95. Let q = -10.1 + t. Is q less than v?
False
Let j = 8.6 - 8. Which is bigger: -1 or j?
j
Let q = -5 - 0. Which is smaller: -2 or q?
q
Let q be -2 + (1/5 - 16/(-20)). Let d = 3 - 5. Let g be 1*d + (-51)/(-21). Which is greater: g or q?
g
Let i(a) = -8*a**2 - 6*a - 6. Let c be i(-1). Which is smaller: -15/2 or c?
c
Suppose 22 = -2*p - 0. Do p and -11 have the same value?
True
Suppose -2*k = -w + 9, -2 = -4*w - 3*k + 1. Suppose -p - 4*a = 23, 2*a + w*a + 59 = -4*p. Let j = 7 + p. Is -3 <= j?
False
Let y = -12 + 13. Let g be (-22)/130 + 6/15. Which is bigger: y or g?
y
Let j(x) = x + 7. Let a be ((-90)/(-20))/((-6)/8). Let v be j(a). Is -2/5 at most as big as v?
True
Suppose 3*n + 16 = -4*z, 0*z = 3*z + 12. Is 4 at most as big as n?
False
Let m be (2 - 2)*(-3)/(-6). Is m at least as big as 2?
False
Let i = 29 + -23. Is i < 5?
False
Let t be -8 + (-2 + 0)*(-12)/8. Is t <= -5?
True
Suppose -3*r + 11 = 14. Which is bigger: r or -0.1?
-0.1
Let h = 1746 - 219995/126. Let v be (-4)/(-2) + 305/(-126). Let i = h - v. Is -1 != i?
True
Let d = -81 - -133. Is d greater than 52?
False
Let l(g) = g**3 - 3*g**2 + 2. Let a be l(2). Let q(s) = -s**2 - 7*s - 6. Let u be q(-7). Let z be (3 + 0)/6*u. Does a = z?
False
Let d(s) = s**2 - 8*s - 2. Let o be d(-3). Is 30 at most as big as o?
True
Suppose 0 = l + 2 - 3, 2*j + 5*l + 1 = 0. Let z = 1 - 0. Let q = j + z. Which is greater: q or -3?
q
Let t = 53 + -51. Let y = -0.3 + 0.1. Is y at least t?
False
Suppose 0 = -2*v + 4*w + 6, 3*v + w + 4 = 6*v. Let s = -3 - -6. Suppose 0*g + 3*c = 2*g + 3, s*g - 5*c = -5. Does g = v?
False
Suppose 0 = -z - 7 + 17. Let j be (z - 12)*1/4. Are 0 and j unequal?
True
Suppose 4*g - 3*h = -3, -3 = 3*h - 18. Suppose -g*t = -0*t + 3. Is -2 less than or equal to t?
True
Suppose -5*c + 4*t = 2*t + 98, 0 = -c - 4*t - 2. Let z be (-21)/c + 2/(-4). Let x be (-10)/14 - (-8)/(-28). Which is greater: z or x?
z
Let n = -1085 - -68357/63. Is -1 <= n?
True
Let a = -2.2 - -1.2. Let r = 1 - a. Let x = 0.1 + -0.1. Are r and x unequal?
True
Let p be (-8)/10*(6 + -1). Let q be p/(1*-3 - -1). Suppose -2*w = -4*w - q. Which is smaller: 0 or w?
w
Let i = -11/72 + -2/9. Which is greater: -1 or i?
i
Let x be 0 + -3*3/54. Which is greater: x or -7?
x
Suppose -5*n + 4*l + 19 = 0, -2*n + 17 = 2*n - 5*l. Let x = 6 - n. Suppose 2 = -x*y - 1. Is y smaller than -3/4?
True
Let q(d) = -d**3 + 8*d**2 + d + 6. Let x be q(8). Suppose i + 3*c = 9, 4*i - 2*c + 3*c = x. Which is smaller: i or 4?
i
Let a = 76 + -68. Let u = 20 - 11. Which is smaller: u or a?
a
Let q(v) = -v**3 - 11*v**2 + 12*v + 2. Let z be q(-12). Let g(y) = y**3 - 5*y**2 + 5*y - 3. Let i be g(4). Which is smaller: z or i?
i
Suppose -2*c = 3*a - 24, 3*a = -4*c + 5*a + 16. Do c and 5 have different values?
True
Suppose -16 = 5*a - 1. Let l = a - -2. Suppose -3*h + 18 = 6, 3*h - 12 = -z. Is l < z?
True
Let f = 1321/153 + -83/9. Which is greater: -1 or f?
f
Let i = -18 - -18.14. Let o = i + -2.14. Is -3 != o?
True
Let c(s) = -s**2 + 18*s + 4. Let d be c(17). Is d <= 19?
False
Let o be ((4/2)/2)/(-2 - -1). Which is bigger: -2/139 or o?
-2/139
Suppose -2*v = -4*v + 6. Suppose 2*i + v = -3. Let j = 0 + -3. Is i < j?
False
Let p(k) = 2*k**2 + 8*k - 10. Let b be p(-7). Is b less than or equal to 30?
False
Let c be 16/6 + 22/(-33). Let q be (2 + (-10)/(-4))*-22. Let k be 10*(q/105 - -1). Which is smaller: c or k?
k
Let r be (-5 - -6)/((-2)/(-2)). Let t be 3/(-12) + (r - 1). Let k = 6 - 5. Which is smaller: k or t?
t
Suppose 0 = -4*w + 6*w. Let v be 16/30 - 6/(-9). Are v and w nonequal?
True
Suppose 3 = -4*n - 1. Which is greater: 1 or n?
1
Let q = -1049 - -90215/86. Is 0 != q?
True
Suppose -10 - 23 = -m. Suppose 0 = -5*c - m + 13. Let d be (c/(-12))/((-1)/(-3)). Is d not equal to 2/7?
True
Let c = 1/38 - -55/76. Let b(z) = 7*z**3 - z. Let h be b(-1). Let k be -2 - -3 - h/(-2). Is k smaller than c?
True
Let t be 415/(-20) - 3/12. Let z = t + 15. Which is smaller: -7 or z?
-7
Suppose 0 = -4*i - 2*h + 22, -3*i + 34 = h + 4*h. Is i at least as big as 3?
True
Let u(j) = -3*j + 17. Let c be u(5). Let g = -1 - -3. Let h be g/(-1)*1/(-2). Which is greater: h or c?
c
Let c = 7 + -12. Which is greater: c or -1?
-1
Let u be 4/(-3 - (-44)/12). Is 6 < u?
False
Let y(x) = -4*x - 5. Let n be y(-4). Let r = 241 + -230. Is n at most as big as r?
True
Suppose 4*h - 2*r + 4 = 0, -3*h - 6*r + 2*r + 8 = 0. Suppose h*v = -v. Suppose v*s = 3*s. Does 2/19 = s?
False
Suppose 0 = -2*u + 7*u + 110. Does -22 = u?
True
Suppose -4*a = 3*j - 23, j + 29 = 5*a + 5*j. Which is smaller: 6 or a?
a
Let b = 0 - 0. Suppose b = 3*o - 29 + 11. Let g be (-45)/o*(-2)/(-3). Are g and -4 non-equal?
True
Let y be 90/27*(-36)/(-10). Which is greater: 4 or y?
y
Let w = 52770/79 - 668. Which is greater: w or 0?
0
Let l = 0.9 - 1. Let h = 20 + -21.2. Is h <= l?
True
Let p = 1 + 7. Are 0 and p equal?
False
Let u = 656/5 + -622/5. Which is smaller: 8 or u?
u
Let n = 4.14 + -4. Let p = n + -0.04. Is p >= -1?
True
Let o be ((-5)/(-10))/((-1)/4). Is -1/2 > o?
True
Let g = 1.4 - 1.25. Which is bigger: -0.1 or g?
g
Let t(o) = 3*o + 7. Let m be t(-3). Let z = 4 - 6. Does m = z?
True
Let v(j) = -j - 7. Let o be v(-7). Suppose 0 = -p + 1, -n + 4*p - 2*p = 2. Let s be 1/(1 + n)*0. Is s < o?
False
Suppose -3*r = 4*k - 28, 3*k - 18 = -4*r + 10. S