. Which is smaller: 13 or b?
b
Let r = 1 + -31. Let w = r - -28.3. Let p = w - 0.3. Is 1 >= p?
True
Suppose -7*z - 43 - 62 = 0. Is -14 smaller than z?
False
Let w be 10/105*9/6. Let q = 2 + -2. Which is smaller: w or q?
q
Suppose -2*v = 3 - 15. Let c = -5 + v. Let f be 10/6 - 4/6. Are f and c equal?
True
Let r be (-24)/60 - (-214)/10. Let n = 20 - r. Do -1 and n have different values?
False
Suppose -5*r = -4*u - 40, 0 = -3*r - 4*u - 4 - 4. Which is greater: r or 34/7?
34/7
Let v be (-4 + -10)*1/(-4). Are v and 4 unequal?
True
Let i = -2136 + 10629/5. Let g = i - -551/55. Is g greater than or equal to -1?
True
Let b(v) = -2*v - 9. Let l be b(-4). Let i be l/6 + (-407)/330. Is i at least as big as -2?
True
Let v be 0 + -1 + 272/289. Is v < 1?
True
Let u = -25.1 - -34. Let c = 2.1 + u. Is -2/5 != c?
True
Let i be 2/(-8) + (-7)/(-28). Let v be 5*1/(10/4). Suppose v*p - 2*g = g + 5, -3*p - 2*g - 12 = i. Is -2 < p?
False
Suppose 5*w + 6*s = 3*s + 13, -3*w + 5*s + 35 = 0. Suppose h = 5*q + 25, w*q = -2*h + h - 15. Does q = -2/7?
False
Suppose 7 + 8 = -m. Let a = m - -21. Is a <= 6?
True
Let c = 0.01 + -0.01. Is -11 < c?
True
Let p be 15*(-2)/(-6) + -33. Which is smaller: p or -27?
p
Let l = -7/19 - -101/171. Which is bigger: 5 or l?
5
Let x be -6 - -9 - 1/1. Suppose x*v - t + 12 = 3*t, v + 18 = 5*t. Suppose v + 10 = -4*u. Which is bigger: -2 or u?
-2
Suppose 4*g - 1 = 3. Suppose 2*u + 7 - g = 0. Let j be (u/48)/(1/6). Is -1 bigger than j?
False
Let b = 1 - 1.09. Let u = -0.11 + b. Is 5 bigger than u?
True
Let h = 29/7 + -33/7. Suppose 0*g + 4*g - 2*r = 0, g = 4*r + 7. Is h greater than or equal to g?
True
Suppose -3*g + 4*y + y = -20, -4*y - 2 = -g. Suppose 4*t = -p, -2*t = 3*p + g - 0. Is -1 > t?
False
Suppose 4*j = 2*j - 8, -2*j - 16 = -2*m. Let w = -4 + m. Let y = 0 + 1. Are y and w unequal?
True
Let i be 10/2*(-4)/(-5). Suppose -76 = 4*v + i*t, -t + 0*t + 29 = -v. Let n be 1/3 + v/45. Which is bigger: n or 0.1?
0.1
Suppose k = -0*k - 3. Is k smaller than -6?
False
Let l be -7*4*3/(-42). Suppose l*k = 5*k. Is -1/9 equal to k?
False
Let t be ((-4)/(-6))/(5*4/(-12)). Let j = -28 - -47. Suppose 2*c + 17 = 5*c + 4*h, -4*c = -3*h + j. Which is smaller: c or t?
c
Suppose -8 = -4*d + 16. Suppose 6 = 4*o - d*o. Is o < -5?
False
Let f be (-87)/9 + (-4)/(-6). Let g be (1*(1 - 3))/f. Let t be 2/6 + (-2)/6. Which is bigger: g or t?
g
Suppose -6 = -3*y - 0*z + 3*z, 5*z = -15. Let u(x) = -x**3 + 5*x**2 - 2. Let k be u(5). Let i be (k - 15/(-6))*-2. Is i bigger than y?
False
Let y(s) = s**3 + 2*s**2 - 3*s. Let z be y(-3). Let v(w) = -2*w**3 - w**2 + 1. Let d(h) = -h**3 - 11*h**2 + 12*h - 1. Let g be d(-12). Let t be v(g). Is z > t?
False
Suppose 3*z = -6*z + 27. Is 40/9 != z?
True
Suppose 3*z - 2*y - 10 = 0, 3*z - 5*y = 16 + 9. Suppose z + 4 = 4*g. Suppose -3*j - 2*w + 5 - 2 = 0, 11 = j + 4*w. Which is bigger: g or j?
g
Let d be (-2)/(-1)*(-3)/(-2). Let p be d/4 - 2/(-8). Which is smaller: p or -1/3?
-1/3
Let o be 0/(5 - (-2)/(-1)). Which is smaller: 4/3 or o?
o
Let y be (-117)/(-12) + (-1)/(-4). Suppose y = l + l. Let k(j) = j**3 - 6*j**2 - 6*j - 3. Let b be k(7). Is l < b?
False
Let r = -0.001 - -0.101. Let j = -0.1 - -1.1. Let w = j - 0.8. Is r equal to w?
False
Let q(l) = l**2 + 2*l - 8. Let o be q(-4). Let u = -128 + 642/5. Which is greater: o or u?
u
Let q be 8 + ((-12)/(-2))/(-2). Suppose 0 = q*g - 2 - 8. Suppose -8 = g*t - 2*c, 2*t + 18 = -t - 3*c. Is -4 < t?
False
Let a(w) be the third derivative of w**5/60 + w**4/6 + w**3/2 + 5*w**2. Let n be a(-3). Which is bigger: n or 1?
1
Let u(q) be the second derivative of 1/6*q**3 + 1/6*q**4 + 1/2*q**2 - q + 0 + 1/20*q**5. Let f be u(-2). Which is bigger: f or -2?
f
Let l = -273/2 + 126. Which is bigger: l or -10?
-10
Let y(b) = -4*b + 45. Let h be y(12). Which is greater: h or -5/3?
-5/3
Let l = -12.9 - -13. Let f = -0.14 + l. Suppose -2*k = 2, 5*t + 2 = 3*k - 0. Which is smaller: t or f?
t
Suppose k = -4 + 2. Let u be -3 - (k - (-51)/(-49)). Let c = u + -206/245. Are c and 1/4 equal?
False
Let g be ((-14)/4 + 3)*0. Let b = -1.46 - 0.04. Let w = b - -1. Are g and w non-equal?
True
Suppose 0 = -4*d - 2*q - 12, 4*d = -4*q - 10 - 2. Let o = -31 - -16. Let c = -18 - o. Are d and c nonequal?
False
Let y be ((42/4)/(-7) - -2)*34. Which is smaller: 18 or y?
y
Let i = -93/26 + 113/26. Which is smaller: i or 2?
i
Let s = 13 - 24. Let n = 11 + s. Let j be 2/(-8) - 6/8. Which is greater: n or j?
n
Let z = 35.7 - 37. Which is bigger: 0 or z?
0
Let d be -1 - (1 + 104/14). Which is smaller: -9 or d?
d
Let p be 10 + -8 + (-178)/120. Let o = 3/5 - p. Which is greater: o or 0?
o
Let z = 20 - 19.9. Do 29 and z have the same value?
False
Let z = -35 + 73/2. Which is smaller: z or -0.8?
-0.8
Let g = -11/5 + 9/5. Is 0 less than or equal to g?
False
Let i = -9 + 20. Let l = 8 - i. Let j = -4 - l. Is j bigger than -1/3?
False
Let n(s) = s**2 + 5*s + 6. Let x be n(-4). Let i = x - 0. Which is bigger: 3 or i?
3
Let s(t) = 3*t + 1. Let p be s(-1). Let y = -6 + 3. Let c be y*(-3)/((-135)/12). Which is smaller: c or p?
p
Suppose 3*s = z - 4*z - 6, 5*z + 10 = -2*s. Which is bigger: 1/12 or s?
1/12
Let a(u) be the first derivative of u**3/3 + 9*u**2/2 + 6*u - 3. Let d be a(-8). Is -1 less than d?
False
Suppose -3*a + h + 5 = -3*h, -3*a + 5*h = -7. Let d be -4 - ((-3)/(-3) + 0). Let l be (-5)/(-4) + 5/d. Which is bigger: a or l?
l
Let h = 10.79 - -0.21. Let a = 70 - 69. Is h less than a?
False
Let m = -203/6 - -69/2. Let r be 1/34*(-2 - -6). Let p = r + -21/34. Is p < m?
True
Let s be (-3 + 4 + -2)*-4. Let l be (3 - s) + 2*1. Which is smaller: 1/5 or l?
1/5
Let y(f) = 3*f - 10. Let v be y(5). Let a(t) = t + 1. Let u be a(4). Are u and v non-equal?
False
Suppose -425 = -8*f - 289. Let l be 1 - ((-2 - -1) + 2). Is l < f?
True
Let g be (-156)/30 + 1/5. Is -5 not equal to g?
False
Let v be ((-24)/(-36))/((-2)/(-3)). Suppose s + 2 = -f + v, 5*s - 3 = -3*f. Which is greater: s or -3/4?
s
Let y = 90414/13 + -82189069/11817. Let d = y + 1/101. Let x be (0 - (-2)/(-4))*2. Is d != x?
True
Let u be 1/2*((-6)/43 - 0). Is 1 at least as big as u?
True
Let a = 245/949 + -2/73. Let b be (-6)/9*6/(-4). Is b greater than a?
True
Let o = -10.67 - 1.33. Are o and -0.7 equal?
False
Let q be (-6)/(-5)*(-15)/(-90). Let j(k) = -k + 1. Let w be j(2). Is q at most w?
False
Let v(o) = -o**2 + 7*o - 7. Let w be v(6). Let f be 9*1*2/6. Is f less than or equal to w?
False
Suppose 2*k = -3*q + 35, 3*q = 3*k - 2*q - 24. Let x be k/(-8) - (-2 - -1). Which is greater: x or -1?
x
Let o = -0.7 + 2.4. Let s = -0.7 + o. Do s and -2/9 have the same value?
False
Let o = 2889/386 + 3/193. Let s be 1 - 218/(-28) - 1. Let j = s - o. Which is smaller: j or 0?
0
Let i = -96 - -484/5. Do 1 and i have the same value?
False
Suppose -f + 2*n - 152 = 0, -5*n - 304 = f + f. Is -152 not equal to f?
False
Let h be (0 - 2/(-3))*(-6)/(-44). Is h > 7?
False
Let p be 1 + 0 - (-18)/6. Let o be p/35 + (-2)/(-7). Suppose 17 - 4 = -l + 4*i, -3*l - 12 = -3*i. Which is greater: l or o?
o
Let f be (2/(-4))/((-2)/4). Let v be (-5)/(20/3) + 2. Is f <= v?
True
Let y = 131 + -123. Are 9 and y non-equal?
True
Let z = 46/3 - 95/6. Let h = 0.3 - 0.1. Let b = h - 0.3. Which is smaller: b or z?
z
Let j be 10/(-55) + (-4)/(-22). Which is smaller: 1 or j?
j
Let r = 14 - 6. Suppose -c + 3 = -3*n, n - 3*c = r - 1. Do -2/3 and n have the same value?
False
Let j(a) = 9*a - 4. Let n be j(-4). Let s be (16/(-10))/(8/n). Which is greater: s or 9?
9
Suppose -20 + 5 = 3*f. Let n be (-2 - f) + (-11)/4. Is n at least as big as -1?
True
Let p = 24 + -24. Is -10 smaller than p?
True
Let o be (-2)/(4/6*-3). Do o and 0.2 have different values?
True
Let c = -0.19 + 4.19. Let t = c + 5. Is t <= -1?
False
Let g(o) = -o**3 + o**2 + 3*o - 2. Let m be g(2). Let t be 42/(-110) - (-3)/15. Which is smaller: m or t?
t
Let p be (-2 - 0)/((-24)/(-4)). Which is bigger: -2/9 or p?
-2/9
Let r = 91/5 + -18. Suppose -c + 7 = v, -v + 11 = c + 2*c. Suppose -4*f = 4*q + 24, -v = -5*f - 4*q + 6*q. Which is greater: r or f?
r
Suppose 3 = 2*b - 1. Is 5 greater than or equal to b?
True
Let b be (30/9)/(4/6). Let g = b - 3. Suppose -g*a + a = 0. Which is smaller: -1 or a?
-1
Let q = 0.04 - 10.04. Let d = q + 7. Let u = -25/6 + 7/2. Which is bigger: 