-8). Is -7 at most l?
True
Suppose 4*m - v = 15, -3*v + 2*v + 1 = 0. Suppose -m*a + 24 = 4*j - 0, 5*a = -2*j + 24. Suppose f + j*f = 3. Is 1 < f?
False
Suppose 2*o + 4 = 4*o. Suppose -o*y + 0*y = 0. Suppose 4*w = 4, 5*w = 3*a + 2 - y. Is a bigger than 4?
False
Let n be (-1 + 0)/(1 - 0). Let s = 3 - n. Suppose 2*l + 0*l - s = 0. Which is smaller: 1 or l?
1
Let m = 0.4 + 1.6. Let i be 9/(-6)*(-1)/6. Is i greater than m?
False
Suppose -2*o = -o - 10. Which is greater: o or 2?
o
Let n = 2.4 - 1.4. Is n greater than -0.24?
True
Let s = -12 + 7. Let u(l) = l**2 + 6*l + 3. Let o be u(s). Is -2 > o?
False
Let d = 8 - 9. Let l be 1919/(-33) + 0 + 0. Let v = l + 175/3. Which is smaller: d or v?
d
Let a(u) = u**2 - 10*u - 12. Let i be a(11). Let b = 3/121 + -493/363. Which is bigger: i or b?
i
Let l be 9/4*(4 - 0). Do 9 and l have different values?
False
Suppose -5*m + 23 = -2*j, -2*m - 10 = -3*j - 28. Is m smaller than -5?
False
Let i = 0.099 + 0.301. Is 11 at most i?
False
Let i = -2 + 2. Which is smaller: -1 or i?
-1
Suppose -2*j + 13 = 3*x, 0 = -5*j + 13 + 12. Suppose 4*p + 24 = k - 2*k, 1 = -4*k + 3*p. Let y be (k/(-10))/(-1 + 2). Is y greater than or equal to x?
False
Let h = 233 - 1628/7. Is -1 > h?
False
Let o(g) = -2*g**2 + 7*g + 5. Let c be o(4). Let s = 352190/507 - 2084/3. Let t = 1028/1183 + s. Is c != t?
True
Let j = -21 - -16. Is -1 less than j?
False
Suppose 38 = -4*z - 2. Let k be ((-5)/z)/(1/2). Which is smaller: -4 or k?
-4
Suppose 0 = -4*g + 10 - 2. Let l = -5 + 8. Suppose -3*t - g*m + 4 = 0, -3*t + l*m + m - 8 = 0. Which is bigger: t or 1/4?
1/4
Let t be -7 + (-4)/8*-6. Let q = -16 + 10. Which is greater: t or q?
t
Let w be 1/(-2)*3/6. Suppose 0*d + 42 = -3*d. Let l = -15 - d. Is l not equal to w?
True
Let b(c) = -c**2 - 2*c. Let l be b(-3). Let a = l + -1. Let i(y) = -y**2 - 5*y - 2. Let t be i(a). Which is greater: t or 1?
t
Let w(o) = -2*o - 6. Let j be w(-3). Which is greater: j or -6/17?
j
Let k(z) = -8*z - 16. Let o be k(-5). Which is smaller: o or 25?
o
Let l(u) = 2*u - 13. Let c be l(7). Let k be (0 - 0) + 1 + 0. Is c smaller than k?
False
Let w = 4 - -2. Suppose -2*p = -w*p - 4. Are 1/3 and p equal?
False
Let y = 1 + -1. Let m = y - 3. Let f be (m/12)/((-2)/8). Which is smaller: f or -1/3?
-1/3
Let r be 4/(-2) - (-1)/4. Is -1 < r?
False
Let p(f) = -2*f**2 - f - 3. Let b(w) = -w**2 - w - 2. Let o(j) = 3*b(j) - 2*p(j). Let i be o(2). Is i bigger than 0?
True
Let h be (0 - 39/33)*-1. Let a = -1 + h. Which is bigger: a or 0?
a
Let y = 1 - -3. Suppose 4*t - 33 = -3*c, -4*t + 4*c + 59 = 19. Suppose f + t = y*f. Is 4 < f?
False
Let r be (-1 + 2)/((-3)/(-6)). Let z = 1 - -2. Let k be (z - 0)/(-1)*-1. Which is bigger: k or r?
k
Suppose 0 = -4*d - 5*z + 3, -2*d - 4*z = -0*d - 6. Let r(g) = g**2 + 7*g - 10. Let h be 2 + -1 - 18/2. Let t be r(h). Is d < t?
True
Let j be ((-6)/(-4))/(87/(-116)). Which is smaller: -7/11 or j?
j
Let w be -4*2/12*-1. Let z be (-36)/6 + (-2 - -9). Which is greater: w or z?
z
Let d be (2 - 40/19)*1/2. Is 0 at most d?
False
Suppose -w + 2*w = -1. Which is smaller: w or -2/23?
w
Let r(g) = -g + 2. Let q = 15 - 13. Let c be r(q). Which is smaller: c or -2?
-2
Suppose -p - 6 = 3*g + p, -2*p - 6 = 2*g. Suppose -3*u = -1 - 5. Let c = g - u. Is -3 > c?
False
Let u be (-1)/((-9)/6)*-3. Let m be 1*u + (1 - -1). Let n = -4 - -5. Is n greater than m?
True
Suppose 0 = -2*q + q + 3*d + 37, 39 = q - 2*d. Is 43 at most q?
True
Suppose 0 = 3*m - 9 + 6. Which is smaller: -3/17 or m?
-3/17
Let y = -53 + 92. Let h = -895/23 + y. Is h != 1?
True
Let v be (-69)/(-15) + 3/(-5). Let d = v - 0. Let u be (-2 - -4)/(d + 5). Are u and -1 unequal?
True
Let j(w) = -w**2 - 7*w + 2. Suppose 2*q - 3*s = -0*s - 20, -5*q = 5*s + 25. Let k be j(q). Suppose k*t + 4*y + 8 = 2, 2*y = 3*t + 1. Is -1 <= t?
True
Let f = 116 - 227/2. Which is smaller: f or 4?
f
Let d = 0.1 + -1.3. Let i = d + 0.2. Is -1 less than i?
False
Let k = -5 + 9. Suppose 2*x + 2*x = -k. Does -2/23 = x?
False
Let u = -0.09 + 5.09. Let s = 0.007 + -6.007. Let n = u + s. Which is bigger: 0 or n?
0
Let o = -6 - -6. Is 0.9 equal to o?
False
Let t be -7 - (2 + -2) - -3. Is t greater than -4?
False
Let d = 1 - 1. Is d less than or equal to 0?
True
Suppose -2*d + 3*d = -4. Let y be (11 + 1)*(-3)/(-9). Let j(m) = -m**3 + 5*m**2 - 4*m - 5. Let q be j(y). Which is smaller: q or d?
q
Let n(o) = 4*o**2 - o - 1. Let t be n(-1). Suppose 0 = v - t*v + 12. Suppose -4*d - 1 = -5. Which is smaller: v or d?
d
Let r = -0.17 + 2.27. Is r equal to 2/5?
False
Let l = -110 - -103. Is -3 < l?
False
Suppose -2*g + 109 + 131 = 0. Suppose -y = -6*y + g. Let m = y - 195/8. Which is smaller: m or -1?
-1
Let c = -3 + 6. Let s = -22 + 20. Which is smaller: c or s?
s
Let q(u) = -u**3 + 16*u**2 + 17*u. Let r be q(17). Is 2 at least r?
True
Suppose -2*p - 6 = -4*d, -4*d + 2 = -p - 3. Which is smaller: p or -2/3?
p
Suppose -11 = 2*q - 7. Which is bigger: -4/3 or q?
-4/3
Suppose 3*k - 2*n = -119, k + 2*n + 16 = -13. Which is bigger: -36 or k?
-36
Suppose 4*m + 51 = -5*j + 7*m, -21 = 2*j - m. Let h be 0/j*(-1)/(-2). Does h = -2?
False
Let n(p) = p**3 + 3*p**2 + p + 1. Let i be n(-2). Let h be (3/2)/(i*2). Do h and -1 have the same value?
False
Let c be 12/(-9)*(-6)/4. Let q be 0*2*1/c. Let y(z) = z - 4. Let n be y(4). Are q and n equal?
True
Let p be -10*(3/6 - 1). Suppose -f + p = 4*f. Which is smaller: f or -2/21?
-2/21
Let z be ((-2)/28)/(5/(-6)). Let r = -61/105 - z. Is 0 >= r?
True
Let u(n) = 10*n + 1. Let r be u(6). Suppose 3*p - r = -6*k + 2*k, k = -2. Suppose 0 = 2*w - f + 11, -w - f = -5*f + p. Is w > -1?
False
Suppose -2*b = b. Suppose -4*l + b*l = 0. Is l <= -2/5?
False
Let z be 2/(-11) + 40/220. Let h be (-4)/10 + (-12)/(-10). Is z less than or equal to h?
True
Let r be 1/(-76*(2 - (-65)/(-40))). Does r = 1/4?
False
Let p = -186 + 310. Is p bigger than 1?
True
Let y = -2.31 - 7.39. Let a = y - -10. Are -1/3 and a unequal?
True
Let i be 6/(-4)*(-12)/9. Let a be (i/(-5))/((-2)/20). Suppose -n - 3 = 4*b - b, 3*b + 12 = 2*n. Is a less than or equal to n?
False
Let v be (4 + 0 - -3)*2/14. Is 2/23 > v?
False
Suppose 18*r - 13*r = 0. Which is greater: r or 2/69?
2/69
Suppose -5*j - 29 - 1 = 0. Let c = 8 - 4. Let m = j + c. Is -2 at most as big as m?
True
Let s(w) = 3*w**3 - w. Let z be s(1). Which is smaller: 0 or z?
0
Let d(j) = j**3 + 8*j**2 + 6*j - 8. Let n be d(-7). Let h be n/(-3) + (-6)/18. Let p = 0 + -0.1. Which is smaller: p or h?
p
Suppose 14 + 31 = -3*q. Is q less than -16?
False
Let d be (-1600)/(-15)*4/(-30)*9. Is d less than -128?
False
Let v = 0.01 + -0.01. Let x = -0.05 - v. Let n = x + -0.04. Is n at most -0.1?
False
Let p = 0.66 - -0.04. Let g = 0.5 + 0.5. Let s = p - g. Which is greater: s or 1?
1
Let i(x) = x**3 - 10*x**2 + 11*x - 13. Let k be i(9). Let p(t) = -t**2 + 3*t + 3. Let q be p(k). Let h be -1*1*(q - -5). Is h at most as big as 2?
True
Let w be (2 - -3)*(-2)/(-6). Let o be (-4)/10 - (-408)/120. Is w > o?
False
Let n be (0 + -5)/(80/(-32)). Is 1/2 at most as big as n?
True
Let t = 10 + -7. Which is smaller: t or 1/3?
1/3
Suppose 0 = 2*u - 3*o + 15, 2*o = 5*u + o + 18. Let i be (u/6)/(1/(-54)). Let w be 2/9 - 87/i. Which is smaller: w or -2?
w
Suppose 2*r + 82 = 4*m, -4 = -4*r + 16. Suppose -4*d + 2*d + 2*b = 8, -4*b = 3*d - m. Which is bigger: d or 1/9?
d
Let j = 0.3 + -0.22. Is -0.1 smaller than j?
True
Let z(k) = -k**2 + 2*k - 4. Let c be z(3). Let f be (-2)/(-7) + 6/c. Is f != 0?
True
Suppose n + 3*z + 15 = 0, 4*z - 3*z = n - 5. Let p = n + -2. Suppose -4 = h - 3. Which is smaller: h or p?
p
Let f be ((-805)/6)/(-7) + 1. Let i = f - 43/2. Which is bigger: i or -1?
-1
Let f = 4 + -5.1. Let t = -0.9 - f. Which is greater: t or 1?
1
Suppose y - 10 = -y. Suppose 12 = -2*j + 5*n, -4*j - 1 - y = -n. Is j equal to 1/8?
False
Let d(v) = v**2 - 5*v + 5. Suppose 0*c + 2*c - 8 = 0. Let t be d(c). Let g = 23/6 - 5/2. Is t < g?
True
Let i be (-2 - (-2)/2) + 0. Let j = 0 - i. Is -1/3 greater than or equal to j?
False
Let k(w) = 5 - w**3 + 5*w**2 + 5*w**2 - 6*w**2 + 2*w**2 - w. Suppose -z = -2 - 4. Let v be k(z). Which is greater: -2 or v?
v
Suppose -3*o + 7*o - 12 = 0. Suppose 1 = z - 3*q - 8, -2*z + 18 = o*q. Let l be 7 + 0/(z/3). Is l not equal to 7?
False
Let a be 8/24*3*-1. Which is