
True
Let w be -6 + (-33)/(-3) + -6. Let o be (1 - 0/2)/3. Is w > o?
False
Suppose -4*l = -78 + 18. Let f be (12/15)/((-3)/l). Let q(i) = i + 2. Let p be q(f). Which is greater: p or -1/3?
-1/3
Let r(p) = -p**2 - 5*p + 1. Let k be r(-6). Are k and -5 unequal?
False
Let w(r) be the first derivative of -r**2 + 4*r - 4. Let j be w(3). Let f be 0/(1 - (j + 4)). Which is greater: f or 2?
2
Let q(w) = -3*w - 3. Let c be q(-2). Suppose -4*x = y + 4, c*x + 2 + 1 = -3*y. Suppose 0 = -y*a - a. Which is bigger: -1 or a?
a
Let l be (-5)/(-2) - 6/4. Let s(u) = -u**2 - 7*u - 6. Let t be s(-6). Let p be (-22)/18 - (t + -1). Which is greater: l or p?
l
Suppose -4*u + 11 = -h - 5, 4*u + 5*h - 16 = 0. Suppose 0 = u*w - 7*w + 6. Is 2 equal to w?
True
Let v = 6/76183 - 285914829/380915. Let p = -753 - v. Is -1 != p?
True
Let y = 21.11 + -21. Is y >= -1/3?
True
Let w = 1/17 - -27/119. Which is bigger: 3 or w?
3
Let x be (2 - 2)/((-2)/(-2)). Suppose -q = -2*o + 10, -5*o - 5 = -q - 0*o. Let t be 8/q + (-4)/(-35). Is x less than or equal to t?
False
Let z(j) = j**3 - 3*j**2 - 6*j + 2. Let n be z(4). Let x = -1 - -0.9. Which is greater: n or x?
x
Let q(t) = t**2 + 7*t + 7. Let a be (-28)/8 - (-3)/(-2). Let l be q(a). Is l smaller than -5?
False
Let y be (13/(-39))/(2/12). Let k be y/(-4)*6/(-8). Which is greater: -0.1 or k?
-0.1
Let c = 0.3 + -0.2. Let r = 3 - 3. Let v = r + -1. Are v and c equal?
False
Suppose f - 4 = -5. Let u be f + -1 - (-1 + 1). Let k(s) = -s + 2. Let c be k(3). Is u < c?
True
Let u be (8 + -9)/(1/(-25)). Suppose 5*f = 2*r - u, 3*f + 20 = -f - r. Is f less than or equal to -2?
True
Let b = 0.04 - 0.04. Which is smaller: b or 0.05?
b
Let x(d) = d**2 - 3*d + 2. Let b = -3 + 5. Let r be x(b). Let a be (-256)/(-504) + -1 + 7/9. Which is bigger: a or r?
a
Let l = 1 + -4. Let c = l + 4. Let b = -1 + c. Which is bigger: b or -4?
b
Let i be (-1)/(-4) - (-5)/(-20). Is 0 <= i?
True
Let k be (4 - -2) + 6/(-3). Let u be 8/6*1/k. Which is smaller: u or -2/11?
-2/11
Let f be 475/20 - (-4)/16. Let m = f + -36. Which is smaller: m or -13?
-13
Let w = -191 + 158. Is w greater than 2?
False
Let d = 14.5 + -15. Let q = -0.6 - d. Is 14 >= q?
True
Suppose 11 - 1 = 2*l. Let a = -11 + l. Let b(y) = -y**3 - 5*y**2 + 6*y - 2. Let j be b(a). Is -2 greater than j?
False
Suppose 2*c = -f - f - 8, -f - 12 = 3*c. Do f and 0 have the same value?
True
Let m(t) = t**3 - 4*t**2 - 6*t + 5. Let q be m(5). Suppose q = -2*y + 8, 11 = k - 2*y + 4*y. Suppose -k*l - l - 4 = 0. Which is smaller: l or 1/3?
l
Let r = -521/56 + 75/8. Let v(x) = -x**3 - 11*x**2 - 1. Let g be v(-11). Which is greater: r or g?
r
Let v = 0 + -0.1. Is v < -3?
False
Let s(h) = h**3 - 4*h**2 - 1. Let t be s(4). Let r = 1 + t. Let f be 3432/(-7623) + 12/22. Is f at least as big as r?
True
Let c = -662/171 + 120/19. Which is bigger: c or 1?
c
Suppose 2*f + 32 = -0*f. Which is greater: f or -15?
-15
Let p = 21 + -22.2. Let x = p + 0.2. Do x and 22 have the same value?
False
Let k be (39/(-12))/((-2)/(-8)). Is -12 at least as big as k?
True
Let r be 12/(-15)*(-1)/2. Let l = 2 - 1. Let d = l + 0. Is r at most d?
True
Let u be 0 + -3 + -1 + -3*3. Which is greater: -12 or u?
-12
Let z be (-80)/198 + 4/18. Suppose 3*h - 4*h + 7 = 0. Let j be (6/9)/(h/(-3)). Is j != z?
True
Suppose 0 = -w - 5 + 6. Which is smaller: w or 1/12?
1/12
Let m(w) = -w - 6. Let n be m(-7). Which is greater: n or 3/71?
n
Let p(l) = 3*l**2 + 49*l + 15. Let w be p(-16). Is 1/4 > w?
True
Let m be 2 + 0 - 3 - -3. Suppose 0 = m*k + 3*k - 30. Let y be ((-3)/k)/(21/(-18)). Do 0 and y have the same value?
False
Suppose 4*p - 100 = -4*a, p = a - 0*p - 17. Which is bigger: a or 20?
a
Suppose 0 = 2*c - 4 - 4. Let o be (-2)/c*(-3 + 5). Let h = 9 + -9. Is o < h?
True
Let v = -13016918/34299 + 14034/37. Let a = v + -2/309. Is a at most as big as 1?
True
Suppose 4*v + 7 = -0*t + 3*t, -v + 2*t - 8 = 0. Let k(j) = -2*j - 7 + j + 2*j. Let l be k(8). Which is bigger: v or l?
v
Suppose -2*l - 3*f = -0*l - 6, -5 = -l - f. Let c = 15 - l. Suppose 3*r - 4*u + 8 - 1 = 0, -2*u = -4*r - c. Is r less than 0?
True
Let y = -4 - -9. Suppose -23 = -2*w + 5*s, 0 = -y*w + 5*s + 31 + 4. Let q be (4/w)/(-7 - -1). Which is smaller: q or 1?
q
Let y(d) = d**2 - 2*d - 2. Let w(r) = -2*r - 8*r**2 - 2*r - 2*r + 3 - r**3 + 2. Let a be w(-7). Let h be y(a). Is 6 at most h?
True
Let i(m) = 1 + 3*m**3 + 3*m**2 + 5*m - 2 - 4*m**3. Let w be i(4). Is -3/7 less than or equal to w?
True
Suppose 3*s - 6 = -0*s + 2*t, -4*s - 15 = 5*t. Suppose b + 3*i + 2 + 16 = s, -3*i = -2*b. Let c = 5 + b. Which is bigger: c or -3/5?
-3/5
Let s be (-2)/7 - 830/(-14). Let d be 9/6 - s/34. Let u = 37/85 + d. Is u greater than -1?
True
Let n = -2 - 0. Suppose -1 = -0*c + c. Let q be (9/15)/(c/5). Is q bigger than n?
False
Let f = 0 + 0.1. Let z = f + 0.1. Let j = z - 0.2. Is j at most as big as 0.1?
True
Let d = 4 + -7. Let x = d + 3. Let g(k) = -k**2 - 7*k - 6. Let w be g(-6). Is x less than w?
False
Let y be 0/(-2) + (5 - 3). Suppose -y*r - 2*r = 0. Suppose -4*m = -4*q + 19 + 1, 5*m + 5*q - 25 = r. Do 0 and m have different values?
False
Let y be (-12)/16 + (-1)/(-4). Let r be ((-4)/6)/(9/270). Let w be 2/(-8) - 5/r. Which is smaller: w or y?
y
Let a = 3 - 0. Suppose 0 = -u - p + 3, -2 = -2*p - 0. Suppose u*y = -a*y - 10. Does -4 = y?
False
Suppose 9*s - 4*s = 40. Suppose -2*v - s = 0, -v = -2*m - 0*v + 8. Let d = -3 + m. Which is smaller: d or -2/19?
d
Let b = -4/11 + 1/33. Let r(n) = 1 - 2 + 0 - n. Let m be r(-1). Is b at least as big as m?
False
Let t be 31/3*6/2. Let o = t - 45. Let m be 3/o*(-4)/(-3). Which is greater: -1 or m?
m
Suppose 3*q + 5 + 16 = -2*r, q - 3*r + 18 = 0. Let y be 2326/(-78) + 3/q. Let w = 30 + y. Is -1 less than or equal to w?
True
Suppose 4*y - 23 = 17. Suppose 4*p + 3*n = -n - 60, 2*p + 26 = 2*n. Let w = y + p. Does w = -4?
True
Let v be 26/(-12) - (-2)/1. Let m(z) = z**3 + 7*z**2 + 6*z + 1. Suppose 6 = 4*s + 30. Let o be m(s). Is o <= v?
False
Let x = 47433254 - 4980533893/105. Let w = 2018/5 + x. Let f = 15/7 - w. Which is greater: 2 or f?
2
Let x = 0.9 - -0.1. Suppose 4*f + 11 = -3*c + 3, -2*c + f = -2. Let y = c - -2. Is x greater than y?
False
Suppose -u - 10 = -3*z, -u - 3*u = -3*z + 13. Let s be z/(-2) + 18/12. Let n be ((-2)/5)/(3/5). Does s = n?
False
Let n = -146/3 - -166/3. Is n at least as big as 7?
False
Let z = -0.013 - 2.987. Is z less than or equal to 1/2?
True
Let i = 22285117/65 + -21109829227/61555. Let j = i + 5/947. Let x = j + 95. Does x = 1?
False
Let c = -0.4 - 0.6. Let y = -2 + 4. Suppose g - 5 = -y*z, -5*g + 2 - 3 = -3*z. Is g >= c?
True
Let o be (6/102)/((-2)/(-4)). Does o = 0?
False
Let y = 2 - 3. Is 3 != y?
True
Let s = -2.5 + 1.5. Is -4 less than or equal to s?
True
Let u(h) = -2*h + 3. Let c be u(1). Which is smaller: 1/73 or c?
1/73
Let h = 0.19 + 0.61. Which is greater: 0.1 or h?
h
Suppose 2*d - 3 = 3. Suppose 6 = 4*r - d*r. Is 6 >= r?
True
Let w be ((-6)/15)/(6/(-15)). Which is smaller: w or 10/9?
w
Suppose 4*x = 5*x - 6. Suppose -x*i - 3 = -3*i. Which is greater: 2/29 or i?
2/29
Suppose 2*z + 8 = 6*z. Let a = 4 + -3. Let s = z - a. Is s smaller than 1/4?
False
Let x(c) = 2*c**3 - 4*c**2 + 1. Let m be x(2). Is -76 less than m?
True
Let x be 112/(-374) + 6/33. Is -1 greater than or equal to x?
False
Let c = 13 - 6. Which is smaller: 2 or c?
2
Suppose -2 = -t + 2. Which is smaller: -1.1 or t?
-1.1
Let x = 4 + 2. Let q = x - 7. Let i = q - -0.8. Is 2 <= i?
False
Let o = -93 + 152. Are o and 60 non-equal?
True
Let h = 2.5 + -1.5. Let p = 2.7 + 8.3. Which is smaller: p or h?
h
Suppose i - 2*i = 3*f + 5, 0 = -2*f + 4*i + 20. Let k(p) = -p + 8. Let l be k(5). Which is bigger: f or l?
l
Suppose -6 = -2*m + 2. Suppose m*o - 16 = 28. Let y = 7 - o. Is y bigger than -4?
False
Let z = 2 + -4. Let c be 0 + -3*z/6. Let g = -1992/7 - -285. Is g < c?
True
Let b(t) = -t - 3. Let r be b(-5). Suppose r*o = -2*o. Which is bigger: -1/11 or o?
o
Let u = 3 + -3.2. Let t = u - -1.2. Let p = 3 + -3.2. Is p at least as big as t?
False
Suppose -3*x + 13 + 35 = 0. Suppose 0 = 4*l - x + 4. Suppose -l*o = -3 - 6. Which is greater: o or 1?
o
Let l = 4 + -1. Let w = 0.18 - 0.28. Which is smaller: l or w?
w
Let i = 5/23 + 182/115. Which is greater: i or 2?
2
Suppose -2*p - p = -18