5 + 43. Suppose -2*p = b - 2, -2*p - 3*b - 3 = 3. Suppose -p*u = u - 4. Is u greater than v?
True
Let l(z) = 4*z - 2. Let b be l(-7). Let d be b/8*(0 - 16). Let v be 2*(-3)/d*-2. Do v and 0 have different values?
True
Suppose 4*j - 12 = -2*w, -w = 5*j - 20 - 1. Let y = -10 + 8. Is j greater than y?
True
Suppose -4*m - 45 = -5*x, 0 = -5*x - m + 16 + 4. Suppose -2*f - c = 2*c, 2*c = -x*f - 22. Which is smaller: -7 or f?
-7
Suppose 3*f - 21 = 3*d, 3*d + 5 + 20 = 4*f. Let w be (2*f/14)/2. Which is smaller: w or -1/3?
-1/3
Let w = -18 - -23. Let n = -2 - -7. Is n greater than or equal to w?
True
Let h(k) = -k**3 - 3*k**2 - 3*k - 2. Let n be h(-1). Which is greater: n or -8?
n
Let n = 0.22 + -0.21. Let u = -0.07 + n. Is u less than or equal to 0.1?
True
Let v = -277 - -1373/5. Let s = -46/15 - v. Is 1 not equal to s?
True
Suppose u = 6 + 4. Let p = 8 - u. Which is greater: -2/3 or p?
-2/3
Let j(o) = -o + 6. Let b(i) = -2*i + 13. Let z = 7 + -1. Let p(a) = z*b(a) - 13*j(a). Let d be p(2). Is d > -1?
True
Suppose 0*t - 2*o = 4*t - 44, 3*o + 4 = t. Is 1 not equal to t?
True
Suppose 20*c - 9*c - 22 = 0. Let d = -25/3 + 134/15. Which is smaller: d or c?
d
Suppose 0 = 8*s - 5 - 163. Which is bigger: s or 1?
s
Let o = -5 + -1. Let v(l) = 2*l + 4. Let t be v(o). Let n be ((-2)/(-12))/(t/12). Which is greater: n or 3?
3
Suppose 4*u + 79 - 11 = 0. Is u <= -4?
True
Let g(c) = c. Let t be g(-4). Let d be t*(-3 + (-261)/(-84)). Which is bigger: d or -1?
d
Let d be ((-2)/21)/((-17)/6). Let u = -3/17 + d. Let p = 102.6 - 102.7. Is u greater than p?
False
Let w = 15 + -13. Suppose 8 = w*t + 26. Is t <= -8?
True
Let k = 117748/21 - 5626. Let m = k + 114/7. Is -4 at most as big as m?
True
Let t = 285 + -557. Let b = t - -6255/23. Is 1 at most as big as b?
False
Let u = 111 + -110. Is -1/12 less than or equal to u?
True
Let b be (2 - 2)/(4 - 2). Suppose -3*s + 3 = -b. Which is smaller: 0 or s?
0
Let t be 2 + (-1)/(-4)*-2*0. Which is greater: t or 2/7?
t
Let j be 186/(-24) - (-3)/(-12). Are j and -7 non-equal?
True
Suppose 72 = 7*v - 3*v. Let b be (v/15)/(-2*1). Which is greater: -2 or b?
b
Let c(f) = f - f**2 + f**3 + 1 - 4*f**3 + 2*f**3. Let t be c(-1). Let l(y) = y**3 - 7*y**2 + 11*y - 5. Let n be l(5). Does t = n?
True
Let q be (-17)/34*8/(-50)*-1. Do -1 and q have the same value?
False
Suppose -4*y + 2 = -10. Suppose -75 = k - 4*o, -5*k = -0*o + y*o + 444. Let f = k - -607/7. Is f < 0?
True
Suppose 5*r = -25, -w + 30 = -5*r + r. Which is smaller: 11 or w?
w
Let c(v) = -v**2 - 13*v - 6. Let u be c(-11). Which is smaller: u or 17?
u
Suppose -4 - 4 = -4*d. Suppose -a - d = -1. Suppose -s - 4*y = 2, -y - 6 = 3*s - 4*y. Which is smaller: a or s?
s
Let y = 1 - 4. Let q be (-4)/((-8)/(-10)) + -2. Let c = q + 7. Is y at most c?
True
Suppose -6*o = -5*o + 9. Let q be (9/6)/(o/(-24)). Let a = 132 + -922/7. Which is smaller: a or q?
a
Let g(x) = -3*x + 1. Let i be g(-1). Suppose -i = t + 3*t. Which is smaller: t or -1/20?
t
Let m = -8 - -13. Let r be (-1)/m*(1 + 0). Let n be (-12)/21*1/(-2). Which is smaller: r or n?
r
Let a be 5*(-3)/10*-12. Suppose -a = -2*t - 8. Is 2 less than or equal to t?
True
Suppose -c + u + 3 = -0*u, 1 = u. Suppose 6*b - 4*b = 0. Suppose 0 = -l - b*r - r - 8, c*r = -8. Is l equal to -6?
True
Let n(g) = 3*g + 0*g - 5 - 4*g. Let p be n(-7). Let l = 5 - p. Is 3 bigger than l?
False
Suppose 6*l + 38 = -16. Which is greater: l or -10?
l
Suppose 8*q - 12*q = -20. Suppose -q*f = -2*f. Is f at least -2/3?
True
Suppose p - 3*p - 12 = 4*j, -3 = 4*p + j. Suppose p*z = -4*z. Let s be z/(-3)*(-3 - -2). Which is smaller: s or 2/9?
s
Suppose t - 135 = 4*t. Let y = t - -179/4. Which is smaller: 3 or y?
y
Let c(x) = x - 6. Let k be c(6). Let a = 2/2657 + -7985/18599. Is a greater than k?
False
Let q be -26*719*(-9)/(-5160). Let z = -163/5 - q. Let v = 325/3268 + z. Is v at most as big as 0?
False
Let g = 67 - 59. Does 1 = g?
False
Suppose 3*f + 4*y = 23, -3*f = -4*y + 14 + 3. Let n = 57 + -111/2. Which is bigger: n or f?
n
Let i(s) = -s - 11. Let q be i(-12). Is q greater than or equal to 3/4?
True
Let x be (-1)/(-2) - (-45)/6. Let o be 2/x - 77/84. Are o and -1 equal?
False
Suppose 14*k + 22 = 78. Which is smaller: k or 3?
3
Let x = 8 - 4. Let r = x - 4. Let m = 1 + r. Which is smaller: 0 or m?
0
Let f = 15/2 + -8. Is 0 at least as big as f?
True
Let i be (-91274)/(-40) - (-1)/(-4). Let z = i - 2265. Let g = -17 + z. Is g > -1?
True
Let m be 340/112*2*-74. Let d = m + 451. Is d bigger than 1?
True
Let l be 2 + 106*(0 - (-1 + 2)). Is -104 less than or equal to l?
True
Let u be (-2)/6*(-4 + 4). Suppose -2*y - 4 = -0*y. Is u greater than or equal to y?
True
Suppose -5*v + 8 = -7. Suppose 3*m + 2*h + v*h - 8 = 0, 5*m = h - 24. Is m >= -11/4?
False
Let f = -0.03 + -0.01. Which is bigger: f or 0?
0
Let r = -3 - 2. Let c = -2 - r. Let o be (4/(-8))/((-1)/2). Are c and o non-equal?
True
Suppose -2*p - 3 = -3*p. Suppose -x = -p*x. Are x and -4/7 unequal?
True
Let b(a) = a**2 - a - 2. Let u be -4 + 6 + -2 + 0. Let f be b(u). Are -1/2 and f unequal?
True
Let a = 34 + -35. Let v = -1.1 - a. Let f = -0.1 - -0.02. Which is smaller: f or v?
v
Let i be 20/(-30)*6/10. Is -12 greater than i?
False
Let g = 100 + -1102/11. Let r(n) = n - 6. Let q be r(0). Let y be (-3)/q + 1/2. Which is smaller: g or y?
g
Let y = 232 + -1622/7. Let o = 1 - 1. Are o and y unequal?
True
Let s be 2/(-8) + (10/8)/1. Let u be 52/(-280) - (-2)/7. Is s < u?
False
Let p = 6 - 1. Let z = 6 - p. Which is smaller: 2/3 or z?
2/3
Suppose -4*o = -k - 27, -3*o = -4*k - 39 - 30. Do -14 and k have different values?
True
Let c(v) = 2*v - 6. Let x be c(4). Let g = -3 + x. Is g <= -2/11?
True
Suppose 7*c = 4*c + 39. Is c less than 14?
True
Let d = 5276/9 + -584. Let n(r) = 3*r - 3. Let t be n(2). Which is bigger: d or t?
t
Suppose -6 = -3*b + 3. Let f be 2/8 + 105/28. Which is smaller: b or f?
b
Let t = 7 + 0. Let i = -8.7 + 0.7. Let w = t + i. Is -0.2 bigger than w?
True
Let v = 77/435 + 2/87. Let w = v + 2/15. Is w at most 1?
True
Let z = -14 + 21. Is z bigger than 1?
True
Let d be (-6)/(4*1/2). Suppose 3*f + f + 20 = 0. Is f at most d?
True
Let v(x) = -x**2 + 3*x - 2. Let f be v(2). Let r = f + -4. Which is bigger: -5 or r?
r
Let s(l) = l**2 - 7*l + 9. Let c be s(6). Suppose -c*a + 2 = -5*a. Suppose -5*x - 13 = 4*j, 6 = -99*j + 96*j. Is a greater than x?
False
Let d = 37 - 36. Which is bigger: d or -1?
d
Let u = -7 + 10. Let o be ((-2)/(-6) - 0)*u. Let j = 3 - 1. Which is bigger: j or o?
j
Let u(i) = -i**3 + 3*i**2 + 3*i + 5. Let x(s) = s**2 + 9*s + 12. Let r be x(-8). Let a be u(r). Are 1 and a non-equal?
False
Suppose u + 4 = 2*a + 2*a, 0 = -2*u + 5*a - 5. Is u != -9/16?
True
Suppose 0 = -4*g + 3*g. Suppose g = -2*o - 2*w + 6 - 0, -5*o + 5*w = 15. Which is smaller: o or -4/13?
-4/13
Suppose w - 3*w = -4*o + 58, 5*w + 54 = 3*o. Let t = o + -27/2. Let z be 3*((-6)/(-2))/(-9). Which is smaller: t or z?
z
Let m = 7.4 + -7.5. Is 11 at most m?
False
Let p be (-204)/(-119)*1/4. Is 0 equal to p?
False
Let c(w) = w**3 - 10*w**2 + 9*w. Suppose 0*i - 3*i = -27. Let j be c(i). Let f be 9/(-10) - (-4)/10. Does j = f?
False
Let q(i) = i**3 + 7*i**2 - i - 5. Let g be q(-7). Let k be 3/((-9)/(-12)*2). Suppose 6 + k = 4*x. Is x less than g?
False
Let b = 0.02 - 0.2. Let c = b - 0.02. Which is bigger: c or 1?
1
Let d be (6/(-4))/(2/(-8)). Let z = 6 - d. Which is smaller: 2/9 or z?
z
Let h = 9 - 11. Let x be (6/36)/(1/h). Is -1 bigger than x?
False
Let g = -152 - -151.95. Does g = 7/6?
False
Let t(s) = -3*s**2 - 3*s. Let q be t(-2). Is q less than or equal to -6?
True
Let x be 2 + -1*18/7. Let t(b) = -3*b**3 + b**2 - 1. Let w be t(1). Let z = 1 + w. Which is smaller: x or z?
z
Suppose -2*q = -10, -17*q + 12*q + 57 = j. Is j >= 31?
True
Let d = -385/6 - -23473/366. Is d greater than or equal to -1?
True
Let u = -7 - -9. Suppose 2 = i + u*l, -i + l - 1 = i. Is i at most as big as 1/2?
True
Let a = 16 - 13. Let c be a*(3 + 177/(-63)). Is c greater than or equal to 1?
False
Let i be (-4)/(-6)*(-22)/572. Is i < -1?
False
Suppose -3*q + 7*n - 2*n - 14 = 0, 14 = -q + 4*n. Let o = q - -1. Suppose 8*f + 5 = o*f + 5*g, 2*g - 2 = 3*f. Which is bigger: 2 or f?
2
Let o = 1/2528 - -70151/2528. Let f = o + -28. Is f bigger than -1?
True
Let f(n