ller than u?
True
Suppose -z + 7 = -0*z. Suppose -5*d = q - 19, -8*q + 4*q + 3*d + z = 0. Let g = q + -6. Which is smaller: -1 or g?
g
Let s = 138 + -82. Let f be (-2)/(-6) - s/(-21). Let r = -2 - f. Are r and -5 non-equal?
False
Suppose 2*q + 0*q + 2 = 0. Let r = -117/224 - -3/32. Is r < q?
False
Let u(b) = b**2 - 5*b + 1. Let o be u(3). Which is bigger: o or -2/9?
-2/9
Let v = -338869/9 - -37602. Let r = v - -50. Is r less than or equal to -1?
False
Let v = 45.9 - 43. Let d = -2.83 - 0.17. Let o = d + v. Which is smaller: 0 or o?
o
Let u = -3 - -7. Suppose -3*z - u - 5 = 0. Let y be z/(-12)*(-24)/10. Do y and 0 have different values?
True
Let w = -0.7 - -0.76. Let c = 0.83 - 0.57. Let u = w - c. Which is smaller: u or -0.1?
u
Let m = 1 + -2. Let l = -2.23 - -3.23. Is l at most as big as m?
False
Let h be (-1)/3 + 1612/(-186). Let z = 3 - 2.9. Is h bigger than z?
False
Suppose 182 = b + 4*b + 4*x, -68 = -2*b - 4*x. Which is greater: b or 39?
39
Let t(q) = -28*q - 3. Let p be t(3). Let i be 1/(-4) - p/12. Is 5 less than or equal to i?
True
Let x be (-56)/4*(-3 + 1). Do 30 and x have the same value?
False
Let z be 1/3*(-24)/(-2). Let n be (-2)/z - (-2)/(-4). Is -2 < n?
True
Suppose 0 = 2*n - 2, 0*n + 5*n + 30 = -5*x. Let w = x - -4. Which is greater: w or -0.1?
-0.1
Let f be 1/2 + 3/(-6). Let n(q) = 2*q + 1. Let b(d) = -d**2 - d + 1. Let u be b(-2). Let p be n(u). Is f not equal to p?
True
Suppose 2*l + 3*w = -8, 0 = -4*w - 3 - 13. Let j(d) = -d - 18. Let m be j(-17). Which is smaller: l or m?
m
Suppose -2*y - 5*c + 21 = -4*y, -4*y = 5*c - 33. Let p(r) = 11 - r**2 + 2*r + 6*r - y. Let u be p(9). Is u smaller than 1/7?
True
Let l = 9.1 + -9. Which is greater: -11 or l?
l
Let w = 0.58 + -0.48. Is w equal to -3?
False
Let c be ((-26)/39)/(-3*2/(-9)). Do -2 and c have different values?
True
Let w(y) = -2*y + 16. Let j be w(9). Which is smaller: j or 17?
j
Let v = -140.9 + 141. Let a = -0.1 - -0.3. Do v and a have different values?
True
Suppose q - 6*q + 3*r = -75, 0 = -2*q - 2*r + 30. Suppose -q*c = -10*c - 65. Do c and 12 have the same value?
False
Let g = -8/49 + 244/2695. Are g and 1 equal?
False
Let i = -2 - 6. Which is smaller: i or -9?
-9
Suppose 4 = -4*z + 3*d, 22 = 5*z + 2*d + d. Let t be 1*z*(-4 - -5). Let y be (t/(-4))/(3/9). Which is greater: -1 or y?
-1
Let x be 36/28 - (0 + 1). Let n(q) = -q. Suppose -4*g + g = 0. Let a be n(g). Is x bigger than a?
True
Suppose -5*n + 2 - 20 = 2*j, 5*j - n = 9. Which is bigger: -24 or j?
j
Suppose -22 = 3*a + d, -5*a - d + 2*d = 50. Is -10 smaller than a?
True
Let g be 294/(-1530) - (-1)/5. Let w = 749/2040 + g. Which is smaller: w or 1?
w
Let z = 0.13 - 9.13. Let g = 5 + -6. Which is greater: g or z?
g
Let i be 5/9 + 6/(-27). Let q = -4 - -3. Let x = 2 + q. Is i at most x?
True
Let a be -5*(72/35 + -2). Suppose -6*g = -9*g - 9. Let q be -2 + g*4/(-12). Do a and q have the same value?
False
Let q be (224/(-6))/(6/8). Let d = q - -50. Let y = 18 + -17. Which is smaller: y or d?
d
Let r be 110595/66*622/6. Let n = 173732 - r. Let i = 119/6 - n. Which is smaller: -1 or i?
-1
Let r = -0.07 + -0.09. Are r and -1 equal?
False
Let s be ((-5)/10)/(2/(-4)). Which is smaller: 1/2 or s?
1/2
Let b(m) = -m**2 + 6*m - 1. Let x be b(7). Let d = 3 + x. Suppose 3*h = 1 - 4. Are h and d equal?
False
Let j be 5/7 + -5 + 4. Which is smaller: -1 or j?
-1
Let h = -1.9 - 0.1. Suppose -p = 39 - 9. Let r be (-18)/p - (-2)/5. Are r and h non-equal?
True
Let k = -25 + 25. Which is greater: k or 2/35?
2/35
Let p be 4/(-14) + 8/28. Suppose p = -12*s + 8*s. Do 2 and s have different values?
True
Suppose -22*o - 3 = -23*o. Suppose -5*r + 10 = o*a - 2, -r - 2*a + 8 = 0. Let f = 2477/14 - 177. Is f equal to r?
False
Suppose 3*r - r = -30. Are r and -14 unequal?
True
Let o be 4752/(-19) - (3 + -2). Let t = o - -251. Let d(a) = a + 4. Let p be d(-4). Is p != t?
True
Let z be 2/(-12) + (-204)/72. Let h be (z/12)/((-19)/(-4)). Which is greater: 0 or h?
0
Let q = 7.1 - 1.1. Let g = q + -5.8. Are -0.2 and g nonequal?
True
Let k = 13 + -7. Let c = k - 7. Which is smaller: c or -2/13?
c
Suppose -3*u = -6*u + 6. Let b be (-2)/(-38)*(-4)/u. Which is smaller: b or -1?
-1
Let k(l) = -l**2 + 4*l. Let t be k(5). Let j = 8 + t. Suppose j*p - p + 4*b = 18, -21 = p - 4*b. Which is smaller: p or 0?
p
Let s(l) = 3*l**2 - 4*l + 3. Let t be s(1). Suppose -5*a + 5 = 10, 2*u - 7 = a. Suppose -j - u = -t. Does -1/4 = j?
False
Let u(a) = 25*a**3 - a. Let z be u(1). Let y be z/12*2/(-20). Are y and -5 nonequal?
True
Let i = 109 + -88. Is i smaller than -0.2?
False
Suppose 10*b + 96 + 24 = 0. Which is bigger: -25/2 or b?
b
Suppose 0 = -u - y - 2, 3*u - 5*y + 21 = -3*y. Which is greater: 0 or u?
0
Let o be (3 + -5 - -2)/1. Suppose o*t = -4*t. Is t < -1/3?
False
Suppose -2*g + 8 = -5*k + 23, 4*k = 2*g + 12. Let r be (-20)/(-6) - (-1)/(-3). Suppose -y = 4*t - 2, 3*y - 4*t + r*t - 6 = 0. Is k bigger than y?
True
Let i = 99 + -1981/20. Let s = i + 1/4. Which is smaller: 1 or s?
s
Let n = -14 - -4. Let q = n - -10.1. Which is smaller: -4/5 or q?
-4/5
Let x be (4/10)/(2/10). Is x != 1/3?
True
Let i = -34738 - -3439010/99. Let d = 7/11 + i. Which is smaller: 1 or d?
d
Let i = -8 - -4. Let h be 49/(-14) - 2/i. Suppose -5*n + 19 = 2*j, 0*j + 5*n - 22 = -j. Is j at least h?
True
Let x = -25 - -18. Let b be (x/(-161))/(2/8). Is 0 at least b?
False
Let n(j) = 4*j**2 - 3*j - 4. Let b(i) = 7*i**2 - 5*i - 7. Let f(v) = 3*b(v) - 5*n(v). Let o be f(-1). Which is smaller: o or 2/29?
o
Let m be (0 + 2/(-6))/((-13)/39). Is m <= 3/5?
False
Let m be (4 - 10)/((-2)/2). Let y be 2/m + 5/120. Let d be -1*2 - -1*3. Are d and y nonequal?
True
Suppose 31*y + 14 = 29*y. Which is smaller: -6 or y?
y
Let j(b) = b**2 - 6*b - 1. Let c(f) = -f - 1. Let r(g) = 4*c(g) - j(g). Let v = 15 - 13. Let d be r(v). Is -2 greater than or equal to d?
True
Let u be 152/(-11) + (-66)/363. Is u smaller than -15?
False
Let j = 0 + -3. Suppose 3*z = 2*a - 1, 5*a + 3 = 2*z - 0. Which is smaller: a or j?
j
Let y be (-1 - -2)*8/6*-42. Which is smaller: y or 0.1?
y
Let i = -8 + 17. Is 9 not equal to i?
False
Let k be (-1)/(-2)*28/(-21). Is k at least as big as 0?
False
Let l = 1/11413 - -1529337/57065. Suppose v = -4*y + 104, -2*y + 2 = -2*v - 60. Let f = l - y. Is f <= -1?
False
Let h be (-3)/((-4)/((-20)/(-3))). Let u = 2 - h. Let y be 0/((-2)/(u/3)). Are y and -1/5 nonequal?
True
Suppose 0 = 2*a + 2*u - 96, u - 63 = -a - 3*u. Let z = 171/4 - a. Do 0.02 and z have the same value?
False
Suppose -36*d = -42*d - 24. Let f = -8 - -4. Are d and f equal?
True
Let u be (-25)/(-66) + 4/(-6). Let o = 142 + -3125/22. Let p = o + u. Is -1/4 at most as big as p?
False
Suppose -t + 0*t + 33 = 3*j, 5*t = -2*j + 9. Let x be ((-132)/(-160))/((-2)/j). Let k = 19/4 + x. Is 0 at least as big as k?
True
Let o be ((-3815410)/99)/(8/30). Let q = -144520 - o. Let y = q + -36/11. Is -1 at most as big as y?
True
Suppose 3 = -3*b + 39. Suppose v + b = -v. Is -6 not equal to v?
False
Suppose -3*s - 3 = 0, 0*d + 4*d = s + 49. Let j be 24/(-14) - d/42. Let c be j + (-24)/(-5) + -2. Is c less than 1?
True
Let c = -52 + 48. Suppose -m = 1 + 4. Is c < m?
False
Let k = -2.3 - -2. Is -2/9 < k?
False
Let b(f) = f**2 - 10*f + 11. Let l be b(9). Let y(c) = -c**2 + 2*c. Let s be y(l). Let h = 4 + -13/3. Is h greater than s?
False
Let c(y) = y - 1. Let n(z) = 3*z - 4. Let u(b) = -4*c(b) + n(b). Let m be u(-1). Let q = m + 1. Are q and 2 nonequal?
False
Let b = -33 - -38. Which is smaller: b or 2?
2
Let r(m) be the second derivative of -m**4/12 + m**3/6 - m**2/2 + 2*m. Let j be r(2). Which is greater: j or -7/2?
j
Let p = 0.13 - 0.23. Let f = 0.1 - 0. Let o = p + f. Is 2 less than o?
False
Let o(b) be the first derivative of -2*b**2 + 3*b - 1/3*b**3 - 3. Let l be o(-5). Are l and -2 non-equal?
False
Let b = 1.6 + -1.2. Let v = b + 0.6. Which is greater: v or -1/4?
v
Let u = 21 + -42. Which is bigger: u or 1/3?
1/3
Let d be 3 - (-1)/(-9)*31. Let a = 1 + -1. Is a less than d?
False
Let g = -1449227567/354 - -4093866. Let u = 1/59 + g. Let r = u + -7/2. Are r and 0.3 nonequal?
True
Let b be 4/22 + 0/14. Is -1 equal to b?
False
Suppose 0 = -4*r - r + 110. Suppose 3*s + 2 = -0*s + 5*z, 5*s - 2*z = r. Let p(n) = -n + 8. Let y be p(s). Does y = 1?
False
S