
-1
Let a be 4 + -2 - (2 + -3). Let v be 1/(-2)*a/6. Suppose -4 + 1 = -3*r. Are r and v equal?
False
Suppose 0 = -3*l - 0*h + h + 22, -l - h = -6. Suppose -23 = 5*o + l. Let g(v) = -3*v + 3. Let t be g(3). Is t equal to o?
True
Let w = 1 + -2. Let l = 7 + -3. Let c be 5/20*l/5. Which is smaller: c or w?
w
Let o(m) = -m + 10. Let f be o(7). Let i be (-17)/(-5) - (f + 0). Is i <= -2?
False
Let k be (1/(-2))/(-1)*2. Let u(i) = 5*i**3 + 2*i - 1. Let h be u(1). Suppose 3 = 3*f - h. Is k less than f?
True
Let v = 263/3 - 86. Which is greater: 3 or v?
3
Let b(q) = q - 2. Let u be 1/2*0 + 2. Let a be b(u). Suppose 1 = -3*f - 2. Is f bigger than a?
False
Let u be (-17)/(-2) - 6/12. Let j = -6 + u. Let n(p) = -p**3 + p**2 + p + 1. Let g be n(j). Is g at most -2/19?
True
Suppose 5*a - 2 = -2*f + 1, -2*f = -5*a - 13. Let l be (-34)/(-42) - (-4)/(-6). Which is smaller: l or a?
a
Let m = 9 - 9. Suppose -2*g = -k - 1, m*k = 3*g + 4*k + 4. Which is smaller: g or -2/3?
-2/3
Let r = 34 - 35. Let w = 0 - 0.5. Which is bigger: w or r?
w
Let q = 0 + 3. Let u(o) = 6*o - 20. Let c be u(4). Which is greater: c or q?
c
Let g = 19.542 - 0.442. Let o = -19 + g. Is 0.02 greater than o?
False
Let r(g) = -4*g**2 - 9*g - 4. Let t(j) = -7*j**2 - 18*j - 7. Let x(d) = -5*r(d) + 3*t(d). Let s be x(-9). Is 2 at most as big as s?
False
Let f be (0 - 1)*(0 - 0). Let y be 2*(2 + -1 - f). Suppose 3*s = -u - 18 + 7, -y*u = -4*s - 18. Is 2 greater than u?
True
Let d be 60/35 - 1*2. Which is greater: 0.3 or d?
0.3
Let y(q) = -2*q**3 + 0 - q**3 - 1. Let f be y(-1). Which is greater: f or 5/6?
f
Let p be 1/(-22)*(100/(-116) - -1). Which is greater: p or 0?
0
Let h(g) = g**2. Let y be h(0). Let c = -5/22 + 133/198. Which is smaller: y or c?
y
Let v be (6 - 4)*(1 + -2). Is v >= -9/4?
True
Let z(m) = m**3 - m**2 - 2*m. Let j be z(2). Let t be j + (3 - (-1 - 0)). Let v be (t/(-36))/(1/2). Which is bigger: v or 0?
0
Let n(a) = -a**2 - 5*a + 10. Let g be n(-7). Which is bigger: -2 or g?
-2
Let t(z) be the third derivative of -z**4/24 - 4*z**3/3 + z**2. Suppose 8*y = 11*y + 21. Let x be t(y). Is x at most as big as -2/5?
True
Let l = -66 - -65.98. Let b = -2 - -2. Which is smaller: l or b?
l
Let g(x) = 2*x**3 + 2*x**2 + x + 2. Let t be g(-2). Let h = t + 23/3. Which is greater: h or 0.3?
0.3
Let d(o) = 3*o - 10. Let p be d(-14). Which is smaller: p or -1/4?
p
Let v = 1690/9 + -188. Suppose -l = -5*m + 2*l + 3, -2*m - 3*l = 3. Which is bigger: v or m?
m
Let c = 9.6 + -9. Let n = c - 0.4. Let z = 2 + -1.9. Which is smaller: n or z?
z
Suppose -9*w = -10*w + 4. Suppose -5*o + 1 = -w. Which is smaller: o or 2/25?
2/25
Let a be -4*(-2 - -5 - 1). Let k(x) = -x**3 - 9*x**2 - 7*x + 4. Let j be k(a). Which is smaller: j or -5?
-5
Let n = 0.27 - -0.03. Let d = -0.7 + n. Let j = d - -0.3. Do -0.1 and j have different values?
False
Let z be (-2 + (-16)/(-6))*-3. Let o be (z/(-3))/((-4)/(-12)). Let s be 30/25*1/o. Which is greater: -2/5 or s?
s
Let i(n) = -n**2 + 5*n + 5. Let f(c) = -c - 1. Let h(p) = 6*f(p) + i(p). Let u be h(-3). Which is smaller: -6 or u?
u
Let v be 1 + 0*1/2. Let s be 6/(-25)*(-30)/12. Do v and s have the same value?
False
Suppose h - 3 = -1. Suppose 3*z = -0*z. Which is smaller: h or z?
z
Let y = -0.9 - 0.1. Is 0 less than y?
False
Let h(j) = 4*j**2 - j - 1. Let m be h(-1). Suppose -4*b + 0*b + m = 0. Suppose 5 - b = -2*q. Does q = -2?
True
Let r = -712/5 + 142. Suppose -3*a + 2 = -a. Is a greater than r?
True
Let r = 12 - 18. Let d = r - -7. Is d at most 1?
True
Let x = -39/4 + 437/44. Let g be (-3)/2*(-4)/6. Suppose 4*u - g - 3 = 0. Which is greater: x or u?
u
Let q be 3/6 - (-5)/(-2). Let o be (3/(-5))/((-32)/40). Which is smaller: q or o?
q
Let j = 22 + -23. Is j less than -9/5?
False
Let j be 36/(-3)*(-3)/(-6)*4. Is j not equal to -1?
True
Let o(b) = 3*b. Let j be o(4). Let c be (2/(-6))/((-2)/j). Suppose 2*x = -0 + 2. Are c and x nonequal?
True
Let p be (3/2)/((-6)/(-16)). Let h be (p + -4)/(2/(-1)). Suppose 0*q + 3*q - 15 = h. Is 5 less than or equal to q?
True
Let d = -10 + 26. Let l be 6/21 + d/140. Which is smaller: 0 or l?
0
Suppose 10 = -3*q + 8*q. Suppose 5*s - 25 = 5*c, -5*s + 7*c + 21 = 4*c. Which is smaller: q or s?
q
Suppose 5*p - 4*l = -12, 2*l - 1 = p + 5. Let n be (-3*8/36)/((-2)/(-6)). Which is smaller: n or p?
n
Suppose -4 = -u + 5*u. Let k be 6/4 + 44/(-8). Let n be (k/(-10))/((-6)/(-30)). Which is smaller: n or u?
u
Suppose -5*s + 2*s - 24 = 0. Let d(z) = z**3 + 9*z**2 + 6*z - 7. Let m be d(s). Suppose -5*c = -m*c. Which is greater: c or -1?
c
Let o(x) = -4*x - 2. Let r be o(-2). Let k be r/21 - 110/(-56). Does k = 2?
False
Suppose 4*d - 48 = b, 3*d = -2*b - d - 120. Let a be 9/(-7) + (-16)/b. Which is bigger: a or 0?
0
Let m = -356/105 - -38/15. Let n = -1 - m. Is n at most as big as 1?
True
Let o = 25 - 24. Which is greater: -1/5 or o?
o
Let x = 9.92 + -10. Let d = x + -0.07. Let f = -0.1 - d. Which is bigger: -2 or f?
f
Let l(n) = n - 6. Let a be l(5). Let r = -3 + a. Is r at least -5?
True
Let j = 4/11 + 10/33. Let m = -3.4 + 3. Let z = -0.4 - m. Are j and z unequal?
True
Let r be -5 + (-3)/((-180)/275). Is r equal to -1?
False
Suppose -3*z + 10 = 2*z. Suppose p = y + 4, 2*p + z*y - 6 = -2. Let t be ((-2)/p)/((-6)/(-9)). Are -1 and t equal?
True
Let l be (1 - 3)/(4 - 1). Suppose 2*c = 5*h + c - 26, 4*c + 24 = 4*h. Suppose -i = 4*i + h*p + 5, -3*p + 2 = -2*i. Are i and l equal?
False
Let t = 2 - -1. Suppose -t*k + 15 = 4*c, -3*c - 1 = -4*k - 6. Suppose 4*a - c*a = -2. Is a != -0.1?
True
Let x be (2/10)/(21/15). Which is bigger: 1 or x?
1
Suppose -2*s + 5*j = -5, -5*j = -j + 4. Suppose s = -4*d + a - 2 - 2, 4*a = d - 14. Suppose 3*p + 3 = -3. Is p greater than or equal to d?
True
Let f = 0.246 - 0.046. Which is smaller: 16 or f?
f
Let i = 3 + -20. Let f = i - -27. Let n = f + -10. Is n >= 0.1?
False
Suppose s - 20 = -4*w, -w + 7 = 3*s + 2. Let t be 0/((3 - w)/(-2)). Which is bigger: t or 4/3?
4/3
Let x = 108 - 72. Is x != 34?
True
Let y(u) = -u**2 - 3*u - 1. Let r be (-2)/7 + 6/21. Suppose r = -0*h - h - 3. Let f be y(h). Which is smaller: f or -2/5?
f
Let f = -160 - -1277/8. Which is greater: f or 1?
1
Let t = -17 + 37. Is 1 less than or equal to t?
True
Let l be -2*1*6/24. Which is smaller: 1 or l?
l
Let p be (-1)/((-3)/(-9)) - -36. Let j be 6/34*(-22)/p. Is j at most as big as 1?
True
Suppose -3*w = -4*w. Let u be (0 + -1 + 32)/3. Let c = u - 10. Which is bigger: c or w?
c
Let c be (-1)/((-3)/(-9)) + 6. Suppose 3*j - 11 = 5*o, -o - j - c = 4*o. Are o and -1 non-equal?
False
Let n be (6/18)/(-2 - -1 - -2). Which is smaller: n or -61?
-61
Let a(t) = 3*t**2 - 1. Let s be a(-1). Suppose -s*x = 2 - 4. Is x less than 2/11?
False
Let i be -3*(-4)/3 + -16. Let d(r) = -r**3 - 13*r**2 - 12*r + 6. Let k be d(i). Is k less than 9?
True
Let z = -0.11 - 1.89. Let q = -1 + z. Is q < -0.1?
True
Suppose 53 = -5*n + l, 0*n + 13 = -n + l. Let t be (-11)/2 + (-5)/n. Suppose 2*s - 3 = k - s, -2*s - 32 = 5*k. Which is smaller: t or k?
k
Suppose 16 = 7*a - 3*a. Suppose 2*i - 4*i = 5*c + 5, -i - a = c. Let b be (-5)/(-25) + c/(-5). Which is smaller: 2 or b?
b
Let t = -28 + 18. Let v(w) = -w - 11. Let d be v(t). Let f = 2 - 2. Is d less than f?
True
Let p be 3/1 + -158 + 2. Let t = p - -1221/8. Is 0 greater than or equal to t?
True
Let l = -259/3690 - -3/205. Is 0 at least l?
True
Let x(t) = 4*t**2 - t - 3. Let r be x(3). Let h = 119/4 - r. Do h and 1 have the same value?
False
Suppose 0 = -4*h + 5 + 3. Suppose -d - 19 = -2*s, -s + h*d = -2*s + 22. Suppose -4*q = -16, 5*j - 4*q - 1 + s = 0. Which is smaller: 5/6 or j?
5/6
Let w = -15 - -16. Is 3 != w?
True
Let h(p) = -7*p + 5. Let t be h(2). Let q = t - -15. Which is bigger: 5 or q?
q
Let s(k) = -k**3 - k + 1. Suppose 9*t = 4*t. Let j be s(t). Is 5 smaller than j?
False
Suppose 2*f = -4*o + 74, 0*f + 4*f + 44 = 4*o. Is o > 15?
True
Suppose 6*w - 12 = 18*w. Does -4 = w?
False
Suppose -a - a - 86 = -4*j, -j = 5*a + 204. Let z = -207/5 - a. Let s be (-3)/(-4) + (-1)/4. Which is bigger: z or s?
s
Let j(n) = n**2 + n - 1. Let c be j(0). Is 1/26 < c?
False
Let u be 4 + 1 + 28/(-7). Is -3/7 < u?
True
Let s = -20.2 + 13. Let i = s - -7. Let n = i + 0.1. Which is smaller: -4 or n?
-4
Let x = 1 + -1.1. Let l = -0.7 - -10.7. Let f = 13 - 