ue
Let o = -5.12 + 0.12. Let j = -17 + 12. Let x = o - j. Is 2/7 != x?
True
Let z = 13/84 - -2/21. Is z at most as big as -22?
False
Suppose 4*h + 19 = -3*d, d + 3 = 3*h + 1. Let u be 8/6 + (-16)/12. Let i be u - (-2*2)/(-8). Which is bigger: i or h?
i
Let g = 68.98 - 69. Which is bigger: -0.4 or g?
g
Let k = -165395/207 - -799. Let w = k + 349/414. Let x = -1 - -2. Is w > x?
False
Let s = 0 + -1. Let m = 4 - 4.04. Which is bigger: s or m?
m
Let m = -1/423 - -520/41031. Do -1 and m have the same value?
False
Let w = 0.22 + -3.22. Which is smaller: w or 1/5?
w
Let y be ((-1)/(1/4))/(-2). Let k be ((-372)/(-8))/(y/12). Let b = k - 3071/11. Do 1 and b have the same value?
False
Let k = 3.3 + -3. Let o = 22 + -20. Do k and o have different values?
True
Let l be 20/8 + (-1)/(-2). Suppose 4*v = -4*d - 4, 3*d + 23 = -v + l*v. Let s = 3 - v. Is s greater than 3?
False
Suppose i + 26 - 27 = 0. Is -1/8 < i?
True
Suppose -i - 10 = -5*g, 2*g = 5*i - 4 + 8. Let d = 706.7 + -678. Let h = -29 + d. Which is smaller: i or h?
h
Let j be (-1)/(-2)*8/(-14). Is j > 0?
False
Let z be 2 + 21/9 + (-6)/3. Is 3 smaller than z?
False
Let n = 34 + -34.1. Which is bigger: n or -9?
n
Let p be 2 + 1 - (-70856)/(-108). Let d = p - -653. Which is smaller: d or -1?
-1
Let q be (-4)/8*(-24 + 2). Let l = -11 + 14. Let u be q/15 + (-1)/l. Which is smaller: u or 1?
u
Let u = 10 - -2. Let p = -6 + u. Which is smaller: p or 5?
5
Let p(c) = c**2 + 4*c - 1. Let y be p(-5). Let i be y/(-6) - (-18)/27. Is 0 >= i?
True
Let a = -326 + 8800/27. Is a >= -1?
True
Let d = -30 + 40. Is d not equal to -3/5?
True
Let b(q) = -q**2 - 7*q - 2. Let f be b(-6). Suppose -f*x - 4*r = -24, x - 3*x - r + 8 = 0. Is 1 less than or equal to x?
True
Let o = -17 - -17. Suppose 78 = -6*l - o*l. Which is bigger: l or -14?
l
Let r = 5 - 17. Let j be 9/(-14)*r/9. Which is smaller: 0 or j?
0
Let j = 31 - 38. Which is smaller: j or 1?
j
Suppose -6 = -2*n - 0*n. Let h be (-4)/(-2) - (-3)/n. Let u be (3/9)/((-1)/h). Which is greater: -1/3 or u?
-1/3
Let z = 0.03 + 2.97. Let h = 6 - z. Let a = 0.02 + -0.02. Which is bigger: a or h?
h
Let p(r) = r**3 - 11*r**2 + 12*r - 7. Let q be p(10). Which is smaller: q or 12?
12
Let c be (-6)/12 - (-3)/6. Let z = 1/48 - -11/48. Which is greater: z or c?
z
Let n be (2/(-10))/(8/(-10)). Suppose -6*k + 1 = -4*k - l, -5*k + 1 = -2*l. Is n bigger than k?
True
Let y(z) be the third derivative of z**5/60 - z**4/6 - z**3/3 - 2*z**2. Let i be y(5). Suppose 0 = -5*r - i - 2. Which is smaller: 0.1 or r?
r
Let i = -3 - -5. Suppose 0 = l - i*l. Suppose q + 0*q = l. Which is greater: -1 or q?
q
Let l = 3 - 1. Suppose 4*h = -2*b + 22, -30 = -3*b - l*b - 5*h. Which is greater: 0 or b?
b
Let y = -12 + 2. Let z = 11 + y. Which is smaller: z or 2/7?
2/7
Let s be (-29)/(-3) + 6/18. Which is smaller: 11 or s?
s
Let k(v) = -v**3 - 5*v**2 - v - 5. Let c be k(-5). Which is smaller: c or 2/17?
c
Let q be 0/((6/(-1))/(-3)). Is 1 > q?
True
Suppose -158*d - 165 = -163*d. Which is smaller: 32 or d?
32
Let p = -175 + 191. Which is bigger: 11 or p?
p
Let k = -5 - -3. Is k bigger than -3?
True
Let o = 366206/55 - 6659. Let j = -56/47 + 146/517. Let x = o - j. Which is smaller: 1 or x?
x
Suppose 9*r + 11 - 29 = 0. Which is smaller: 8 or r?
r
Let z = 8 + -5. Suppose 3*f = -3*u - 15, 0*f + 5*u = -z*f - 25. Which is greater: f or -3/4?
f
Let r = -12.063 + 0.063. Which is smaller: 0.1 or r?
r
Suppose -o + y = 8, -2*o = 2*y + 12 - 0. Let p be (o/(-1))/(1 + -3). Is p < -4?
False
Let d = -4 - -3.9. Let n be 6/2 + (-4 - -2). Does n = d?
False
Let j be 8/(-21) + (-10)/(-25). Is 0 <= j?
True
Let d be (-6)/24 - (-271)/1116. Let m = d - 184/279. Is 0 less than or equal to m?
False
Let n be -2 - 6/(-2) - -4. Is 21/5 <= n?
True
Let i = 97172/79 + -1230. Which is bigger: i or 1?
1
Let o be (-6)/(1 + (-10)/(-6)). Let q = o - -11/4. Which is smaller: 1 or q?
q
Let z be ((-5)/2 - -3)/(-1). Are -3 and z equal?
False
Let n(u) = -5*u**2 + 4*u + 5. Let c(w) = -w**2 + w + 1. Let r(g) = 4*c(g) - n(g). Let i be r(0). Which is smaller: -2/7 or i?
i
Let c be 1/(-2) - (-9)/(-6). Let q be c/4 + 3/(-2). Suppose 0 = -f + 3*f + 4. Is q less than or equal to f?
True
Let u be 16/9 + (-6)/(-27). Suppose 3*a + 14 = -u*k, 0 = -0*k + 5*k - a + 1. Is k at most 1/12?
True
Suppose 0 = -3*p + 2*s + 46, 2*p - 6*p = 5*s - 69. Which is smaller: 17 or p?
p
Suppose 4*k - 6 = 2*k. Suppose -3*f + 6 = -0*f. Suppose 4*m - 4 = f*m. Which is smaller: m or k?
m
Suppose -2*k - 7 = -k - 3*x, 5*k - 7 = x. Suppose 4*m - 4*h - 2 = k*m, -4*m = -4*h + 4. Which is bigger: -4 or m?
m
Let n(f) = f**3 + 3*f**2. Let p be n(-3). Suppose -5*m + p*k + 5 = 4*k, 2*k = 0. Which is smaller: -0.1 or m?
-0.1
Let n(j) = 6*j**2. Let o be n(-1). Let b = o + 1. Let i be (b - 1)*1/3. Which is smaller: 1 or i?
1
Suppose 0*d + 2*d + 16 = 4*n, -3*n + 12 = d. Let s be (d/(-2))/(2/(-2)). Is -1/15 greater than s?
False
Let n be 51/(-2)*13/39. Is n at most -8?
True
Let l = 7 + -6. Suppose -y + 2*y = 0. Which is smaller: l or y?
y
Suppose 10 = -2*o, o - 16 = l + 5*o. Let m be 34/l + 2/(-4). Let v(p) = p**3 - 7*p**2 - 7*p - 11. Let g be v(m). Which is bigger: g or -4?
g
Suppose 0 = -4*k + 3*i + 8 - 0, -4*i = 0. Suppose -4*f + 2 = -k. Is -2/13 >= f?
False
Let b be 2/(-7) + (-1488)/(-308). Is b > -1?
True
Let g = -5 - 0. Let a = -149/12 + 38/3. Is a < g?
False
Let r(m) be the second derivative of -m**3/6 + m**2/2 - 4*m. Let b be r(6). Is -6 less than or equal to b?
True
Let m = 0.08 + -0.14. Let k = 1.06 + m. Is -0.2 at most k?
True
Suppose 154 = 3*z + p, 0 = 3*z + 5*p - 2*p - 144. Is z at least as big as 55?
False
Let b be 4/6 + 1/3. Suppose 5*p - 2*r = 3*r - 30, 0 = -p + 4*r - 21. Is b smaller than p?
False
Suppose 0*j = -j - 15. Let k be (j/(-80))/(2/8). Which is bigger: 0 or k?
k
Let f = -0.6 + 1.6. Which is smaller: 0.012 or f?
0.012
Suppose 0 = 3*h - 2*g, 4*g - 3*g = 3*h. Is 2/11 less than h?
False
Let n = -2089 - -14562/7. Let y = n - -9. Which is smaller: y or -1?
-1
Let t = -4 - 2. Let b = 6.1 + t. Is -1 smaller than b?
True
Suppose -o - 4 = -a, 0*a + 4*a - 3*o - 11 = 0. Which is bigger: 2/5 or a?
2/5
Let t be (-11)/((-220)/24) - -1. Which is smaller: 0 or t?
0
Suppose 5*v = -r - 2, -4*v + 5*r + 10 = v. Suppose v = -4*w - 0*w - 44. Let x be (-2 - -1) + (-13)/w. Is x not equal to -1?
True
Suppose -3*g + 5*i = 2*i - 12, -2*g + 4*i + 16 = 0. Which is greater: -2.9 or g?
g
Let c = 9 + -13. Let s = 7 + c. Let m(v) = -v**2 + 5*v + 5. Let z be m(6). Do s and z have the same value?
False
Let f = 19446/11 - 1770. Is f > -1?
False
Let g(r) = -18*r**3 - 1. Let y be g(-1). Suppose y + 7 = 4*t. Let n be 2/(-3) - (-10)/t. Which is bigger: n or 1/2?
n
Let z = 21.2 - 21. Let k = 551/7 - 79. Is k bigger than z?
False
Suppose 3*j + 4*d + 8 = 0, 3*d - 23 = 5*j - 0. Do j and -4 have the same value?
True
Let h be 0 + (1 - 0/(7 + -3)). Is h != -1.6?
True
Let v = 0.25 - 0.05. Let q = v + -0.3. Is q != -2?
True
Let z be ((-4)/1 + 2)/7. Let t = 0.058 - 0.148. Which is smaller: t or z?
z
Let l(w) = -w**3 - 7*w**2 + 16*w - 17. Let j be l(-9). Which is smaller: 2/79 or j?
2/79
Let f = 0.42 - 0.22. Let b = 11/21 - 6/7. Which is smaller: f or b?
b
Suppose -8 = 2*f + 2*f. Let w be (-60)/33 - (-2)/(-11). Is w equal to f?
True
Suppose -k = -0 + 1. Is 1/3 >= k?
True
Let s = 1 - 1. Suppose -98 - 58 = -4*w. Let b = w - 118/3. Are s and b unequal?
True
Let v be ((-26)/(-8))/((-1)/(-8)). Suppose -5*r - 5*s + 6*s + v = 0, -s - 1 = 0. Suppose r*i + 4 + 6 = 0. Does i = -1?
False
Suppose 4 = 4*f - 60. Is f at least 19?
False
Let o = -60 + 59. Are -3/8 and o unequal?
True
Let f be (-2*(-3)/6)/(-1). Let j be (-1)/12 - 3/(-9). Which is bigger: f or j?
j
Suppose -4*h = -h + 15. Let x = -3 - h. Is x <= 5/7?
False
Suppose -6*y = -y - 50. Suppose -5*g - 35 = -y. Let t = -11 - -7. Do g and t have the same value?
False
Let s be (1 + 0)/((-1)/10). Does s = -11?
False
Let w = 17/33 + -394/957. Which is bigger: w or -1?
w
Let s(l) = -3*l - 6. Let k be s(-4). Let z be 1/(-3)*k/25. Is z < 1?
True
Let a be (-1 - -2)/(2 - 18). Let s(r) = -r**2 + 5*r + 49. Let t be s(10). Which is bigger: a or t?
a
Let j be (3/(-4))/((-2)/16). Suppose -3*x + 1 = -4*a, -4*x + 2*a + 11 = 3. Suppose z - 5*p = -21, x*p - 7 - j = z. Which is smaller: -1/3 or z?
z
Let 