x - 22 = 0. Suppose x + 13 = -3*s. Let v be s/(-28) + (-38)/(-14). Is 4 bigger than v?
True
Let q(w) = w**3 - 12*w**2 + 12*w - 12. Let i be q(11). Which is smaller: -1/20 or i?
i
Let a = -9 - -3. Let m = -4 - a. Let s = 0.053 - 0.153. Which is smaller: m or s?
s
Let f be 55/(-25) - 2/(-5). Is 0.1 > f?
True
Let i(h) = h**2 + 3*h - 3. Let g be i(-3). Let s be (g/6)/(1/(-2)). Which is bigger: s or -1/5?
s
Let n(y) = -2*y**3 - 11*y**2 - 4*y + 8. Let x be n(-4). Which is greater: x or -26?
x
Let y = 17 - 20. Let c = 3 + y. Let o = -1175/11 + 107. Which is greater: c or o?
o
Let y = -7 + 11. Suppose -y*u + 5 = u. Suppose 0 = -3*g + 10 + 5. Which is bigger: g or u?
g
Let w = 1/255 - -3311/1020. Which is smaller: 4 or w?
w
Let f = -8 + 6. Is -15/7 != f?
True
Let f be (3 + -3)/(2/1). Let l(o) = o - 1. Let t be l(f). Is t at most as big as 0?
True
Let r = 7 - 5. Suppose 3*s = -5*x + 24 + 16, 0 = 3*s + 15. Suppose 0*k = -3*k + 2*b + 11, 3*b + x = -k. Is r bigger than k?
True
Let d = -38 + 61. Suppose 4*u - d = 5. Is u less than 8?
True
Let m(f) = 2*f + 5 - 4 + 1 - 3*f. Let g be m(4). Which is smaller: 2 or g?
g
Let l = 561 + -193546/345. Is l less than -1?
False
Let y be -1 + (-369)/(-2436)*5. Let i = 1/28 + y. Let l = i - 28/145. Is l at least as big as 0.3?
False
Let z(f) = -6*f. Let w be z(1). Is -7 >= w?
False
Let g = 0.2 + -0.1. Let o = g + 0.9. Let s = -7 - -8. Is s bigger than o?
False
Let t = 11/2 + -27/4. Which is smaller: t or -2?
-2
Let l be ((-72)/(-6))/((-1)/(-13)). Let y be ((-2)/l)/(3/(-12)). Which is smaller: y or 1?
y
Suppose 0 = -2*z - 5*y + 2 + 10, 0 = -4*z - 5*y + 14. Let q = -162 + 2756/17. Is q > z?
False
Let f = 7 - 4. Let c(s) = -s**3 + 4*s**2 - 2*s - 3. Let g be c(f). Is g at most as big as -1/6?
False
Let b = 0.9 + -0.9. Are -1/2 and b equal?
False
Suppose 4*j + u + 1 = 0, 2*u + 4 = j - 2*u. Is j at least as big as -4/19?
True
Let s(t) = t**3 + 10*t**2 + 11*t + 9. Let d be s(-9). Which is bigger: d or -10?
d
Suppose c + 0*c = -5*w - 13, -37 = 4*c + 5*w. Suppose z - 5*t = -18, 2*z - 5*t + 2*t = -8. Let v = z - 9. Which is greater: v or c?
v
Let g be (2/(-3))/(8/(-108)). Let h = g + -9. Is h less than or equal to -4/5?
False
Let i be (-2)/(130/(-575)) + 4/26. Is i at least as big as 10?
False
Let m = 175/2 + -89. Which is smaller: m or -1?
m
Let h(b) = b**2 - 9*b - 10. Let q = -3 + 13. Let n be h(q). Suppose n = -s + 2 - 1. Is 1 equal to s?
True
Let y = -20/69 + -1/23. Are -1 and y unequal?
True
Let d = -2 - 1. Let n be 5 - 2 - 2/1. Let z = -2 + n. Is z != d?
True
Let h = 57 - 53.1. Which is bigger: -0.1 or h?
h
Let d(j) = j - 1. Let o be d(4). Let f = -8 + o. Which is smaller: f or -4?
f
Let k = -349/96 - -29/8. Let o be 4/(-2) + 860/384. Let m = k - o. Do 0 and m have the same value?
False
Suppose 3*f + 23 = -0*f - 5*d, 0 = -f - d - 5. Let k = 1 + f. Is k greater than -1/6?
True
Let c(f) = 3*f - 4. Let g(h) = h**2 - h + 3. Let w be g(0). Let k be c(w). Suppose 0 = k*l + 1 - 11. Do 1 and l have different values?
True
Let x be 160/72 - 4/2. Which is greater: -1 or x?
x
Suppose -h + 6 = 2*h, -5*p = -4*h + 33. Let a = p + 3. Let b(z) = z**2 + 2*z - 1. Let x be b(a). Which is smaller: 0 or x?
x
Let a be (-168)/(-15) - 2/10. Let g = 8 - a. Let b be 4/(1/4 - (-18)/(-8)). Is b at most g?
False
Let q = 24 + -24. Let v(l) = -l**2 - 6*l + 10. Let p be v(-7). Let y be p/(-6) + 5/14. Is q smaller than y?
False
Suppose 3*a - 258 = -5*z, -5*z - a = -2*z - 154. Do z and 1 have the same value?
False
Let m(i) = -i**2 + 29*i - 18. Let w be m(30). Is w at least as big as -48?
True
Let s = 1.5 - -0.5. Let p = 4 - 6. Let q = s + p. Does 4 = q?
False
Let y be -39 + 24 - (0 + -1*1). Is -14 > y?
False
Let c be (6/(-15))/((-304)/(-960)). Which is smaller: c or 0?
c
Let a = -1 + 1. Let w(r) = -r**3 - 14*r**2 + 14*r - 16. Let v be w(-15). Let t be 2/(-12) - v/(-18). Is a not equal to t?
True
Let f be 1/4 - 141/(-12). Let g be 1/(-4) + 7/f. Let z = -21 + 22. Which is smaller: g or z?
g
Suppose 4*k = -2*u - 22, 5*u + 4*k + k + 30 = 0. Let d = 7 + -8. Let c be (d/(-2))/((-3)/6). Are c and u non-equal?
False
Let n = 74179 + -2595962/35. Let c = -31/98 - 837/98. Let y = c + n. Which is smaller: y or 1?
y
Let o = -23 - -20.1. Let n = o - -3. Let d = -6.1 + 6. Is d smaller than n?
True
Suppose -3*b + 1305 = -5*f - 8*b, -4*f + b = 1054. Let o = f - -2897/11. Does 1 = o?
False
Let z be (-5)/4*4/30. Let s = 19 - 13. Let g be (2/3)/((-4)/s). Are g and z unequal?
True
Suppose 7*z = 3*z + 40. Suppose -x + z*y + 10 = 5*y, 2*x + 6 = -3*y. Let t be (3 + -1 - 1)/(-5). Is t bigger than x?
False
Suppose -4*x = 8 - 4. Let j be (x + 3/18)*-3. Is 3 greater than j?
True
Let x = -4 + 4. Suppose 5*o = 4*z + 20, o + 2*z + 3*z + 25 = x. Suppose 0 = -o*n - 2*n + 6. Are 3 and n nonequal?
False
Let q be 238/22 - (-4)/22. Let s = q - 14. Is 1 < s?
False
Let c be (-2)/9 - 6/(-27). Suppose c*j - j + 5 = 0. Let d = 4 - j. Which is greater: -2 or d?
d
Let s = -11 - -11.01. Let f = 0.11 - s. Let x = -0.2 + 0.1. Is f < x?
False
Let u be -7 - (6/3 - 1). Let g(i) = 2*i - 17. Let f be g(8). Is f at most as big as u?
False
Let b(i) = 23*i + 15. Let v be b(-2). Is v >= -32?
True
Let s be 16 - (1 - 1)/4. Suppose 3*z = 11 + 4. Suppose -z*p + 2*y = -s, 0*y = -5*y - 15. Is 3 bigger than p?
True
Let w = -6 + 6. Let f = 5 - 3. Suppose -f = j + j. Which is smaller: j or w?
j
Suppose -6*i + 10 = 58. Which is smaller: -3 or i?
i
Let b = 12.1 - 12. Which is greater: 7 or b?
7
Suppose -7*j = -0*j - 42. Is 5 less than j?
True
Suppose 2 = -y + 3*y. Let x = y - -1. Suppose -x*v - 14 = -2*f, 3*v + f + 3 = -v. Is -1 < v?
False
Let c(y) = 5*y**2 - y + 1. Let a be c(1). Suppose -2*s + a*z = 5, 3*s + 1 = -5*z + 6. Which is smaller: s or -0.1?
-0.1
Let p = 3/23 + -32/69. Let h = 9 + -9. Are h and p equal?
False
Let d = 4.9 + 1.1. Let a = d - 5.9. Let s = 1 + -1.2. Is s <= a?
True
Let w be 3 - (-2 - 0)/(-2). Let h be (w/(-4) - -1)*2. Let l be 8/20 + (-96)/165. Which is bigger: h or l?
h
Let n = -51 - -356/7. Let k = -3 - -6. Let c = -2 + k. Is n != c?
True
Let v = 3501/680 - 233/40. Let o = v - -3/17. Are o and -1 equal?
False
Let u = -391 + 58261/149. Is -1 equal to u?
False
Let c be (-2 - (0 + -1))*1. Let a = 2 - c. Suppose -33 = 4*h + 5*i, -a*i - 39 + 14 = 5*h. Is -2 smaller than h?
False
Let b be ((-5)/1)/(2*4/8). Let p(i) = -i**3 + 2*i**2 - 3*i + 3. Let c be p(2). Let d(z) = z**3 + 2*z**2 - 2*z - 1. Let v be d(c). Which is smaller: v or b?
b
Let m(w) be the second derivative of -w**3/6 + 3*w**2/2 - 2*w. Let x(p) = -p**2 - 6*p + 4. Let g be x(-6). Let b be m(g). Which is bigger: -1/12 or b?
-1/12
Suppose -3*z - 4 = -y, 0 = 5*z - y + 5 + 1. Let x(p) be the second derivative of -p**4/12 - p**3/6 + p**2/2 + p. Let a be x(z). Is a bigger than 1/3?
True
Let f = -12 + 7. Let k = -4.98 - f. Which is greater: -1 or k?
k
Let g be ((-2)/(-8))/((-10)/(-16)). Let i(o) = 2*o**3 + 21*o**2 - 11*o - 1. Let n be i(-11). Which is smaller: g or n?
n
Let r(t) = -t**3 + 7*t**2 - 5*t - 3. Let o be r(6). Suppose 33 = 3*k - 3*b, -4*b + 7 = 2*k - 15. Let l = k - 7. Which is smaller: l or o?
o
Let z be (-45)/(-50)*(-5)/12. Is 1 at most as big as z?
False
Let d = -1.73 + -0.17. Let h = d - -2. Suppose -3*p + 8 + 7 = 0. Which is smaller: h or p?
h
Let i = -152 + 153. Which is bigger: -7 or i?
i
Suppose -8*h - 30 + 118 = 0. Is h smaller than -2/7?
False
Suppose 4*t - 2 - 2 = 0, 2*t - 2 = 4*a. Does a = 3/4?
False
Let i = 8 - 8. Let w(f) = 5*f**2 - 20*f + 7. Let q(l) = -2*l**2 + 7*l - 2. Let v(k) = -8*q(k) - 3*w(k). Let t be v(-5). Does t = i?
True
Suppose 16 = -w + 17. Is w greater than -16?
True
Let u = -39 + 40. Let g = -69 + 965/14. Which is bigger: u or g?
u
Let h(a) = a**2. Let t be h(-2). Suppose -2*k + 42 = t*k. Is 7 less than k?
False
Suppose -r = -1 - 12. Suppose 7 + r = -4*v. Is -6 less than v?
True
Let q = -160 - -124. Are -36 and q equal?
True
Let i be 370/70 - (-4)/(-14). Let w = i - 4. Which is smaller: w or 2/25?
2/25
Let d = -27 + 26. Is -10 at least as big as d?
False
Let d(c) = -3*c - 2. Let u be d(-1). Is u greater than 3?
False
Let j(g) = g**2 - 8*g - 3. Let w be j(8). Let z(m) = -m**3 - 3*m**2 + 2*m + 4. Let v be z(-3). Let y be v/w + 0/1. Which is greater: 0 or y?
y
Suppose -4*r - 7 + 27 = 0. Suppose r*c - 2*a - 6 = 