 -15. Are j and -1/3 nonequal?
True
Let u = -5 + 7.5. Let p = u + -3. Let k = -0.4 - p. Which is bigger: 0.3 or k?
0.3
Let n = -15 + 21. Is n equal to 24/5?
False
Suppose 0*n = 5*n. Let q(b) = -b - 2. Let h be q(-3). Which is greater: h or n?
h
Let i = -3.5 - -3.5. Let b = 97 + -385/4. Is b less than i?
False
Let j = 50 - 45. Which is bigger: j or 2?
j
Suppose 3*q - b = 26, 4*b = 2*q + 2*q - 40. Let x be (3/(-30))/(q/60). Is x <= -2?
False
Let x(f) = 5*f - 56. Let n be x(11). Is 4 equal to n?
False
Let z(u) = 3*u + 24. Let f(w) = -w - 8. Let y(b) = 7*f(b) + 2*z(b). Let s be y(-6). Let v = 0.02 + -0.02. Is v < s?
False
Suppose 2*b - 5*z = -2*b - 17, 10 = 2*z. Which is bigger: b or 3?
3
Let k = 0 + -0.3. Let p = 0.9 - -0.1. Is p less than or equal to k?
False
Let x be 0 - (4/(-1))/(-2). Suppose 2*l - 14 = 3*p - 7, 3*l + 27 = -3*p. Let y = 3 + p. Is x != y?
False
Suppose 5*n - 2 = -3*r, 5 - 2 = -r + 2*n. Let d = 2667/13 - 205. Which is smaller: d or r?
r
Let l(b) = -b. Let w be l(0). Which is smaller: w or -2?
-2
Let u(t) = 2*t - 17. Let q be u(7). Which is greater: q or 1?
1
Let b be ((-293)/(-17))/(-1 - 18). Let x = b - -15/19. Which is smaller: -1 or x?
-1
Let n = -34.9 + 33. Let m = 2 + n. Let f = 2.93 + -2.87. Which is bigger: m or f?
m
Let z(x) = 7*x + 11. Let j(v) = -6*v - 10. Let t(q) = -6*j(q) - 5*z(q). Suppose 0*k + 2*b = 2*k + 14, -2*k + b - 11 = 0. Let u be t(k). Is -1 greater than u?
False
Let x = -10 - -10.8. Let z = 0.6 - x. Is -1/2 less than z?
True
Let c = -1 - -1. Suppose -3*h + 9 = -6. Suppose h*l + 1 = 6. Is l less than c?
False
Suppose 4*p + 2 = -2*q, -5*p + 3*p = -2*q + 16. Suppose 2*b - 12 = -2*n, -q*n = -0*n + 4*b - 26. Let s = -11 - -32/3. Which is greater: n or s?
n
Suppose -5*r - 5 = 0, -5*s + 76 + 83 = r. Suppose 2 = -2*b - 2, -b = 5*j + s. Which is bigger: j or -7?
j
Suppose 1 = -a + 11. Suppose 3*h - 29 = 4*l, 0*h + 5*h - a = -l. Suppose -3*o + 9 + h = 0. Is 4 less than or equal to o?
True
Suppose s + 4*s = -30. Is -8 at most s?
True
Let q = 0.17 - -0.01. Let b = q + -0.48. Which is smaller: b or 2?
b
Let z be ((-1)/6)/(6/12). Let q(v) = v**3 + 3*v**2 + 4*v + 3. Suppose 5*t = 2*t - 6. Let n be q(t). Which is smaller: z or n?
n
Let b(l) = -l**3 + 4*l**2 - 6*l + 4. Let d be b(4). Let r = d + 13. Which is greater: r or 1?
1
Let u = 167/245 - 4/49. Let s(b) = b**2 - 6*b + 3. Let k be s(5). Is u smaller than k?
False
Suppose 0 = -2*r - 8, 0 = -5*w + 2*r + 2 + 1. Let g be (-54)/42*(-1)/3. Is w at most g?
True
Let a = -99 + 28. Does a = -71?
True
Suppose 0 = 5*i - 12 - 58. Is -2/7 bigger than i?
False
Let u be ((3 - 1)/(-58))/1. Let v be (-2)/4 - -5*9/(-90). Which is smaller: u or v?
v
Suppose 0 = 6*y - 14 - 4. Is 4 equal to y?
False
Let o be (-8)/(-4 - (-6)/3). Let i = -1 + 3. Which is smaller: o or i?
i
Let a be (-2)/(-4) - (-102)/(-180). Is a equal to 0?
False
Let q be 273/(-12) - 2/8. Do q and -23 have different values?
False
Let i = -8 - -6. Let n be 9/i - 15/(-10). Is -2 bigger than n?
True
Suppose 2*u + 6 = 0, 3*h + 16 = -4*u - 11. Let z(x) = -x - 3. Let j be z(h). Which is greater: j or 8/5?
j
Let a be 2/(-4) + (-29)/22. Let y = 71/33 + a. Let u be 4/6*3/5. Which is smaller: y or u?
y
Let i(g) = g + 13. Let l be i(-14). Suppose 5*z + 27 = -v + 2, -4*v = 5*z + 25. Is v at least as big as l?
True
Suppose 0 = -2*g + 4*q - 12, 9 = -5*g + q + 2*q. Suppose g = -3*v - 0*v - 6. Suppose 5*f - 4*f = -1. Is f greater than or equal to v?
True
Let o = -97 - -95. Is o != 1?
True
Let d be 130/14 + 4/(-14). Suppose b - 3*a = -b + d, 5*b - 13 = -2*a. Which is greater: 4 or b?
4
Suppose -a = -3*o + 2*a + 3, 0 = -4*o + 5*a. Suppose -o*i - 2*v = -6 + 16, -3*i - 2*v - 10 = 0. Which is bigger: i or -6/7?
i
Let g be 10/35 - 36/28. Are -1/23 and g equal?
False
Let v be -2 + 2 + (-6)/15 + 0. Is 9/7 < v?
False
Suppose -3*h - 11 + 0 = k, 4*h + 18 = -2*k. Let x(q) = q + 2. Let i be x(h). Is 5 not equal to i?
True
Let q be 1 + 795/(-397) + 1. Let t = 5149/4764 - q. Let y = -5/6 + t. Is 0 at least as big as y?
False
Suppose p + 3*m = -0*m + 11, 0 = 4*p + 5*m - 23. Suppose -3*j = -5*s - 8, -2*s + p - 9 = -5*j. Are 2/21 and s unequal?
True
Let d(a) = -a**2 - 13*a - 4. Let h be d(-13). Is 2/7 less than or equal to h?
False
Let p = -440182/9 + 48964. Let c = -55 + p. Let o(m) = -m + 20. Let j be o(20). Is c != j?
True
Suppose -a + 45 = 4*a. Let r = a - 6. Which is smaller: r or 4?
r
Let f = 24 + -13. Let v = -11.1 + f. Let g = -3 + 2. Which is greater: g or v?
v
Let y = 8 - 5. Are 3 and y nonequal?
False
Suppose 0 = 5*z + 5*q + 60, -5*z - 4*q = -8*q + 33. Let p(l) = 4*l**2 - 13*l**2 - l + 0*l - 4 - l**3. Let f be p(z). Is f less than 4?
False
Let h(t) = t**3 + 6*t**2 - 7*t - 7. Let m be h(-7). Let c = -6 - m. Is c > 1/19?
True
Suppose 4*o + 8 = 0, -n = 2*n - 4*o + 1. Suppose -90 = -19*c + 22*c. Let f = -29 - c. Is n >= f?
False
Let j = -52 - -419/8. Let v = j + -1/8. Do 0.2 and v have the same value?
False
Suppose -6*x + 9 - 3 = 0. Which is smaller: 4/3 or x?
x
Suppose -4*h = 2*l - 16, 0*h - h + 7 = -l. Suppose -10 - 22 = -4*r. Suppose 0 = -u, -4*o + 2*u - r = 7*u. Is l at most as big as o?
True
Let g = -22.285 - 0.635. Let z = -23 - g. Is -1 at least z?
False
Let r = -8.3 - -8. Let h = 5.8 + -0.8. Let d = 4 - h. Is d at least as big as r?
False
Suppose 6 = w + 4. Suppose w*a - 3 = -r + 3*a, 0 = 2*r + 2*a + 2. Suppose -2*z + r = 5. Which is smaller: z or -2/7?
z
Suppose 2*w = 1 + 7. Let r be ((-18)/12)/((-2)/w). Which is smaller: r or 1?
1
Suppose -21 = 5*p - 4*a, -a = 3*p - 2*p - 3. Which is smaller: 3/68 or p?
p
Let l(p) = -5*p - 1. Let r(v) = 11*v + 6. Let w(s) = 10*s + 7. Let h(u) = -4*r(u) + 3*w(u). Let x(b) = -6*h(b) + 17*l(b). Let n be x(1). Is -1/4 >= n?
False
Let z = 12 - 12.1. Let s = 688/7 + -98. Is z <= s?
True
Let n(m) = -m + 1. Let f be n(2). Let b = -1 + -9. Let r = 9 + b. Is f at most as big as r?
True
Let d = 6 - 4. Let c be ((-6)/24)/(d/12). Which is bigger: -2 or c?
c
Let j = -14 + 8. Which is smaller: -7 or j?
-7
Let y be (-5 - -2 - -2) + -4. Which is bigger: y or -2?
-2
Suppose 5*m - 8 = -48. Let k be 3/(-4) + (-46)/m. Is k at most 4?
False
Let i(c) be the second derivative of 3*c**5/10 - c**4/12 + c**3/3 - c**2/2 + 2*c. Let k be i(1). Which is greater: -1 or k?
k
Let q = 17 + -7. Let w be 1 + 1 + q/5. Is 6 != w?
True
Suppose -d - 5*t - 15 = -6*d, 11 = 5*d - 4*t. Is d equal to -1?
True
Let q be (-66)/(-10) + 2/5. Suppose 2*g + 8 = -2*r, g = -4*r - 15 - q. Let h = r - -9. Is 2 < h?
True
Let i = 12 + -12.1. Is -0.08 at least as big as i?
True
Let j = -3 - -6. Let z(s) = -s + 1. Let w(x) = -2*x + 2. Let h(f) = 2*w(f) - 3*z(f). Let c be h(-2). Is c less than j?
False
Let r be 18/15*10/3. Which is smaller: r or 6?
r
Let g = -376/1365 + -2/195. Is 10 less than g?
False
Let g(t) = t**2 - 7*t + 4. Let v be g(6). Let y be v/(-6)*(-4 + 3). Let h = 13 - 25/2. Does y = h?
False
Suppose -3*h - 10 = -5*h. Let b be ((-6)/15)/((-1)/h). Suppose b*w = w. Which is greater: -1 or w?
w
Let j = -1/12 + -5/12. Suppose -t + 1 = -3*q - 0, -4*t = 4*q + 28. Let c = 0 - q. Which is smaller: j or c?
j
Let a = -231 - -139. Which is smaller: -93 or a?
-93
Let o(u) = -u - 6. Let n be o(-3). Let p = n - -8. Let d = p + -8. Is -4 at most as big as d?
True
Let o be 1*(5/(-5))/(-8). Let k(p) = p - 3. Let w = -4 - -7. Let v be k(w). Which is greater: v or o?
o
Suppose 2*t = -4*b + 4*t, t = 0. Let f = -1 + b. Does f = 2/41?
False
Suppose -4*j - 20 = -2*u, -5*u + 11 = 4*j - j. Let t be 2*(14/u)/(-1). Is -6 <= t?
False
Let v(o) = -4 - 2*o + 1 + 4 + o**2. Let x be v(2). Let z be 1/2 - x/4. Which is smaller: z or 0.1?
0.1
Let b(z) = -z**3 - 11*z**2 + 14*z + 9. Let u be b(-12). Let f be (-4)/10 - 21/u. Which is bigger: -1 or f?
f
Suppose 0 = -o - 0*o + 1. Let t be (o/(-9))/(7/(-21)). Which is bigger: t or 2/3?
2/3
Suppose -3*v = 2*v + 15. Let g = v - -13. Is 9 greater than g?
False
Let t = -12 + 12.15. Let d = -0.05 - t. Which is greater: d or 3?
3
Let l = 12381/61 - 203. Let o(m) = m - 2. Let r be o(3). Which is smaller: r or l?
l
Let n(t) = -t**2 - 6*t + 6. Suppose 2*j = -2*v - 6, v = -v - 4*j + 2. Let f be n(v). Let a be 1*f*18/63. Are -1 and a equal?
False
Let x be 136/12 + (-4)/(-6). Is 12 greater than or equal to x?
True
Let q(x) = -x**3 - 3*x**2 + 2*x - 7. Le