Let l = -29 + 33. Is l <= 4?
True
Let p be -1*1/(-4) + 77/44. Which is greater: p or 24/11?
24/11
Let g be 1/4 - (-245)/(-1316). Is 1 bigger than g?
True
Let z = 12 + -13. Is -4 not equal to z?
True
Let q be -1*3 - 14/(-14). Is q bigger than -5?
True
Let p(q) = 4*q. Let m be p(-1). Which is bigger: -6 or m?
m
Let x = -0.3 + 0.2. Let f(b) = -3*b**3 + b**2 + 2*b + 1. Let t be f(-1). Suppose 0*z + t = 3*z. Is z != x?
True
Suppose -r - 2*z - 146 = -6*r, 0 = -r - 2*z + 22. Do r and 28 have different values?
False
Suppose 0*u = u - 1. Suppose -b + u - 5 = 0. Is b not equal to -3?
True
Suppose -12*m = -11*m + 1. Is m at most as big as -2/11?
True
Let i(a) be the first derivative of -a**2/2 - 7*a + 3. Let d be i(-6). Is 0.2 smaller than d?
False
Let q = -15 + 14. Which is greater: q or -2/15?
-2/15
Let z = -27.7 - -5.7. Is z equal to 2/5?
False
Let i be 22/(-10) - 24/30. Is i smaller than -3?
False
Let h = 26 + -24. Let q be -1 - -1 - (-1 + h). Which is bigger: q or 0.2?
0.2
Let r be (-1 - -6)/((-18)/15). Let o = r + 17/3. Let v(i) = -2*i + 15. Let y be v(7). Is y at least o?
False
Let r = -24 + 23. Let b = -10 - r. Which is smaller: b or -8?
b
Let a be (-4)/6 + (-7)/(-12). Suppose m + 7*t - 3*t - 12 = 0, 4*m + 12 = 4*t. Is m <= a?
False
Suppose 22 = z - 5*a - 3, 2*z + 2*a = 14. Suppose 3*k + z = 13. Is k bigger than 1/16?
True
Let y(i) = 3*i + 7. Let t(s) = -10*s - 21. Let b(z) = 2*t(z) + 7*y(z). Let j be b(-6). Which is smaller: j or 0?
0
Let d = -1107/5 - -224. Is d > 2?
True
Let w = 12 - 29. Is w < -1?
True
Let z be (1/1 - 0)*2. Let v be -1*z/(-2)*1. Which is greater: v or 3?
3
Let b(r) = 2*r - 22. Let d be b(25). Is d at most as big as 29?
True
Let t = -2.65 - -2.6. Is t greater than or equal to 3/4?
False
Let z = 0.6 + 0. Let w = -0.4 + z. Is w > 0?
True
Let k = -43.9 - -44.2. Let b(r) = r**2 - 3*r. Let n be b(3). Is n at most k?
True
Let x = 0.138 + -0.168. Is x at most as big as -0.2?
False
Suppose 0 = -k + 5*k. Let y = -1/25 + 107/175. Which is bigger: k or y?
y
Let h(y) = -y - 10. Let n be h(-8). Which is smaller: -3/5 or n?
n
Let a = -36 + 26. Is a equal to -9?
False
Let m(a) = -a**3 + 4*a**2 + a - 1. Let f be m(2). Let p be -2 - -7 - 4 - -5. Let t = p - f. Is -3 greater than or equal to t?
True
Let q = -642948/13 + 310539620/6279. Let g be 24/126*3/(-46). Let p = g - q. Is 2 bigger than p?
True
Let g = -4.68 + 0.18. Let b = g + 4. Which is smaller: b or -3/4?
-3/4
Let t(u) = u - 13. Let o(c) = c**2 - c + 1. Let j(a) = o(a) - t(a). Let i be j(0). Is i equal to 14?
True
Let y = 18 + -31. Let b = 12.8 + y. Which is greater: b or 4?
4
Let y(q) = q**3 + q**2. Let t be y(-1). Is t less than or equal to 3?
True
Let j = 571/6 + -94. Does j = 1?
False
Let c = -33 - -33.4. Which is smaller: c or -3?
-3
Let l = 67 - 76. Which is smaller: l or -3?
l
Suppose 5*j + 0*j = -40. Let h(b) = -b**2 - 10*b - 11. Let x be h(j). Suppose 5 + 0 = x*m, -8 = 2*c - 2*m. Are c and -4 unequal?
True
Let f = 6 + -6.3. Let h = -0.1 + f. Let n = 0.5 + h. Is -2/7 at most n?
True
Let v be 5 + (-52)/12 - 37/24. Which is smaller: -1 or v?
-1
Let z = -7/24 - -5/8. Which is smaller: z or -0.6?
-0.6
Let c be (-2)/5 + (-8)/30. Is c smaller than -5/3?
False
Suppose -8*w = -5*w - 36. Which is smaller: w or 13?
w
Suppose y = -4*v - 0*v, 3*v + 2*y + 5 = 0. Which is smaller: v or -2?
-2
Let w = -50/1073 + 3/37. Is w equal to -1?
False
Let y be (-6)/(-9) + 8/6. Suppose -5*l - 34 = -y*d, -l = -0*l - 2. Suppose -2*i - 16 = 6*m - m, 5*i = 3*m + d. Is i greater than or equal to 1/2?
True
Suppose -5*l + 7*l - 4 = 0. Is 4 not equal to l?
True
Let q(j) = j**2 - 14*j + 7. Let g be q(11). Is g greater than or equal to -25?
False
Suppose -a + 3*a + 2*n - 4 = 0, 3*n = -4*a + 6. Let m = 15.6 + -16. Which is greater: a or m?
a
Let i = -8 - -27. Let z = i + -7. Is z less than or equal to 12?
True
Suppose -4*k - 13 = -h + 2, -k + 4*h - 15 = 0. Let n = k - -7. Is n at least as big as 5?
False
Let g be (-184)/595 - (-2)/7. Is 1 at least as big as g?
True
Let o(i) be the second derivative of i**4/12 - i**3 + 3*i**2/2 + 2*i. Let t be o(5). Let r = -2.9 + 3. Are r and t unequal?
True
Suppose 0*k - a = 2*k - 2, 4*k - 4 = 4*a. Let q = -6 - -8. Is q less than or equal to k?
False
Let j(n) be the first derivative of n**2/2 + n + 1. Let i be j(-6). Which is smaller: i or -4?
i
Suppose 5*j - 2*j - 15 = 0, -j + 4 = g. Let p = -235 - -125. Let s = p + 546/5. Is s >= g?
True
Let w be 21/(-12) + 2*1. Suppose 5*u - 2*g + 0*g - 35 = 0, 4*u + g - 15 = 0. Let a be -11 + 10 + 7/u. Is w bigger than a?
False
Let q be (2*-3)/((-21)/28). Let a = q + -7. Are 1 and a equal?
True
Let d = -38 + 42.2. Let p = -0.09 + -3.91. Let k = d + p. Is -0.2 not equal to k?
True
Let n be (2 + 4/(-3))/(88/(-36)). Which is smaller: n or -1?
-1
Let l(s) = -s**2 + 3*s - 2. Let k be l(2). Suppose k*i + i - 1 = 0. Is -2/11 smaller than i?
True
Suppose -3*j + 2*j + 2 = 0. Suppose -j = 5*n - u - 0*u, 10 = 5*u. Is 1 at most as big as n?
False
Let b be (4 - 1) + 1 - 0. Suppose 0*r - r + b = 0. Suppose 5*f = 2*g + 3*g - 15, 12 = 5*g - r*f. Which is greater: -2/11 or g?
g
Let f be 10/6*(-18)/12. Let a be (-2)/(24/2) + 2. Let k = a + f. Is -2 < k?
True
Let z(u) = -2*u - 1. Let a be z(-8). Suppose -5*p + a + 0 = 0. Let k be p + (-7 - -3) + 1. Which is smaller: k or 2/7?
k
Let y = -0.2 - -0.1. Suppose 2*u - 4 = -10. Let i be (-2)/(-28)*(-12)/u. Is y > i?
False
Let u = -144/13 + 2972/273. Suppose 0 = a - 4*a + 3. Is u less than a?
True
Let l(s) = s**3 + 2*s**2 - 3*s + 2. Let w be l(-3). Suppose 5 = -3*d + w. Are d and -6/5 non-equal?
True
Suppose 6*j = -2*j + 8. Let x = -0.3 + 0.5. Which is greater: j or x?
j
Let b = 16 + -18. Let s = -2 + 4. Suppose 2*n - n + 6 = -s*u, 4*n + 9 = -3*u. Which is bigger: u or b?
b
Suppose 0 = -4*r - 49 + 5. Which is greater: r or -10?
-10
Suppose 6*b - 2*b = -3*f + 12, 4 = f. Suppose -3*h + 4*c - 14 = -0*h, -3*h + 2*c = 4. Let p(k) = -k + 1. Let o be p(h). Is b != o?
True
Suppose f + 4*g + 0*g = 3, f + 3*g - 2 = 0. Which is smaller: 1 or f?
f
Let z be 308/33 + (-4)/(-6). Are 10 and z unequal?
False
Let c = 0.97 - -0.03. Let n = c - 1.3. Is n not equal to -1?
True
Let u be (-1)/(-3) + (-74)/(-30). Is 2 smaller than u?
True
Let m be (0 + 0)*(3 - 2). Let j be -1*(-1 + 1 + m). Is j at least as big as 1/12?
False
Suppose 3*t = 4*t - 11. Let b = -548 - -560. Which is smaller: t or b?
t
Let c = 7 + -12. Let g = c + 4. Is g at least -4?
True
Let o(v) = 3 - 4 + 0 + 0 - v. Let g be o(-6). Is g > 0?
True
Let r be (-2)/(-7) - 33/(-7). Let n(o) = -o**2 + 6*o - 3. Let h be n(r). Suppose 0*f - h = f. Which is smaller: -1 or f?
f
Let g be (-2)/6*2/1. Let j = -101 - -101. Do j and g have the same value?
False
Let j(r) = r**2 - 8*r + 7. Let m be j(7). Suppose -9 = -4*z - 3*i, -2*z + 0*i = i - 3. Is m at most as big as z?
True
Let d be (68/2 - 1) + 0 + -2. Is d less than 30?
False
Let u = -1/5 + 6/55. Which is greater: u or 1?
1
Let q be (-1 - 8)/(6/(-4)). Let x be q/14*1/(-3). Let g(p) = -p**3 - 12*p**2 - 1. Let l be g(-12). Which is smaller: l or x?
l
Let m = 849 + -6777/8. Are m and 1 nonequal?
True
Let o = -0.3 - -1.3. Let g = 3.5 - 0.5. Let y = o - g. Which is smaller: 0.1 or y?
y
Let k(m) = 3 - 13*m**2 + m + 3 - 1 - 7*m**3 - 2. Let y(l) = 4*l**3 + 7*l**2 - l - 1. Let v(b) = -3*k(b) - 5*y(b). Let i be v(-3). Is i >= -2?
True
Let u be (-2)/4 + 10/20. Which is smaller: 4/5 or u?
u
Let i = -0.28 + 4.38. Let k = -0.9 + 4.9. Let t = i - k. Which is smaller: -4 or t?
-4
Let a(z) = z + 8. Let h be a(-8). Let v(t) = -t**3 + t**2 + t + 1. Let o be v(2). Which is greater: h or o?
h
Suppose -3*x + 12 = 0, 0*x - 4 = 4*m - 2*x. Let u be (m/(-4))/(6/8). Let v = 5.1 - 5. Which is smaller: v or u?
u
Let w be (-46)/(-42) + -1 + 0. Suppose 0 = z - 5*u + 11, 3*z + 4*u + 0*u = 43. Suppose z*h + 4 = 5*h. Which is bigger: h or w?
w
Let m be 2/(-6) + (-12)/(-36). Let j = -114/5 - -927/40. Is j >= m?
True
Let v(q) = q - 7. Let k be v(12). Let s(y) = y**2 - 7*y + 7. Let u be s(k). Does 0.1 = u?
False
Let i(z) = z - 13 - 2 + 2. Let f be i(12). Which is bigger: f or -3?
f
Let x(f) = f + 5. Let g be ((-15)/12)/(1/4). Let i be x(g). Let a be 0/4 - (-4)/(-5). Is a greater than or equal to i?
False
Let u = -61/8 - -8. Which is smaller: -1/3 or u?
-1/3
Let y(q) = q 