 Let i = 12 - 9. Does w = i?
False
Suppose -4 + 0 = -2*k. Which is smaller: 0 or k?
0
Suppose 0*o + 3 = -3*o. Let w = 1 + o. Let y be 6/(-9)*(-6)/22. Is y less than w?
False
Let d = -30 + 29. Is d at least -15/7?
True
Let l = 25 - 13. Let s be ((-11)/2)/(1/(-2)). Which is smaller: s or l?
s
Let b = -0.043 + 3.043. Which is smaller: b or 2/3?
2/3
Suppose -5*x + 11 = 1. Suppose -3*m + 1 + x = 0. Is 3/5 at most as big as m?
True
Let u be 3/(-18) + 0/(-1). Suppose 2*a + 0 = 2. Let p be a/3 + (-8)/6. Are u and p non-equal?
True
Let f be ((-15)/(-15))/(1/(-5)). Is f < -4?
True
Suppose m + 2*h + 4 = 0, 0*m = -2*m - 5*h - 10. Suppose -5*q + m*q = 0. Suppose q = 2*f - 8*y + 3*y - 23, -y = -5*f. Is f greater than or equal to 2/5?
False
Suppose -7*f - 30 = -2*f. Let o = 3 - f. Is 8 < o?
True
Let d = 3 + -2.4. Let g = 5 - 5.3. Let a = d + g. Is 0.1 equal to a?
False
Let k = 1210/9 + -27776/207. Is k bigger than 0?
True
Let w = 103/7 - 15. Suppose 0 = -4*p + 3*c + 1, 4 = 3*p - 0*p + c. Let j be (-3 + 1)*p/(-2). Is w at least as big as j?
False
Let u = -0.23 - -0.24. Let h = 0.09 + u. Which is bigger: 1/4 or h?
1/4
Let f = 697 - 13933/20. Do f and -1 have different values?
True
Let h = -79 + 76. Does 0.1 = h?
False
Let i = -0.5 - 1.5. Let b = 1 + i. Let o = b + 1. Is o at most as big as 0?
True
Let c be (33/(-7) - -3) + 2/(-7). Do c and 3 have different values?
True
Let q(w) = -w - 8. Suppose 5*j = 2*d - 10, 5*d - 2 - 8 = 5*j. Let p be q(d). Which is smaller: p or -1?
p
Let x(m) = m**2 - 2*m - 1. Let a be x(3). Let k be (1 + -4)*(-2)/6. Which is smaller: k or a?
k
Suppose 0 = 11*i - 4*i - 280. Are 41 and i equal?
False
Let c = 0.19 - -0.01. Which is smaller: 12 or c?
c
Let y be (-55920)/(-546) - (-2)/13. Let r = y + -103. Let n = 0 + 0. Which is smaller: r or n?
r
Let a(x) = -x**2 + 9*x. Let t be a(8). Let i(p) = p**3 - 9*p**2 + 7*p + 8. Let r be i(t). Is r bigger than 0?
False
Let l(s) = s**2 - 6*s - 5. Let r be l(5). Let h = 1 + r. Let t be 3/(h/(-6)) + -2. Is t != -2/13?
True
Let h be (-8)/(-18)*(-3)/(-1). Let u(y) = -y**3 - 8*y**2 + y + 7. Let q be u(-8). Let n = 3 + q. Is h <= n?
True
Let b(t) = t + 35. Let d be b(-5). Which is smaller: 29 or d?
29
Suppose -3*t - 3*l + 9 = 0, 0 = -11*t + 12*t - l + 7. Is t less than or equal to -6?
False
Suppose 0*l + 2*l = -32. Which is bigger: l or 1?
1
Let a(r) = r**3 + 21*r**2 - 48*r - 34. Let i be a(-23). Which is smaller: 11 or i?
11
Let a = 1 - 3. Let j be ((-1)/3)/(a/24). Let t be (-3 + 3/2)*-2. Is t smaller than j?
True
Let s(t) = -t - 20. Let q be s(-17). Which is smaller: -2 or q?
q
Let c = -65 - -61.9. Which is bigger: c or -2/3?
-2/3
Suppose 4 - 2 = -2*g. Is g >= -10?
True
Let w(p) = p**3 + p. Let n be w(0). Let y be n/(-1) + (-4)/(-109). Let l = -190/763 - y. Do 1 and l have the same value?
False
Suppose -5*q - 4*b - 10 = -3*q, -2*b + 1 = -q. Let o be q/(-2)*(-6)/(-9). Is o bigger than 1?
False
Let o = -438/17 - -26. Is o at least 1?
False
Let j be (-7 - 0/(-3))*1. Let a(u) = 2*u + 7. Let c be a(j). Is -5 greater than or equal to c?
True
Let m(y) = -y**3 + 7*y**2 + 10*y - 10. Let b be m(8). Let s be (-9)/b*(-4)/6. Let t = 2/7 - 0. Do s and t have the same value?
False
Suppose -4*r + 0*h - 70 = 5*h, -5*h + 50 = -4*r. Let w be 2/(-21)*r/20. Suppose -k + 4 = 3*k. Are w and k nonequal?
True
Let o = 16 - 16. Which is smaller: -2/9 or o?
-2/9
Suppose 0*z + 2*z + k = 2, 4*z + 12 = 2*k. Let s = z - -1. Suppose -3*t - 3 - 3 = s. Is t at least as big as 0?
False
Let s = -11 + 8. Let o be 18/(-84)*(-4)/s. Is 0 greater than o?
True
Let i = -107 + 149. Does i = 41?
False
Let p be 7/28 + 2/(-8). Let l = p - 1. Suppose 2*v + 1 = -5. Which is bigger: v or l?
l
Let u = 2149/9 + -239. Is 1 less than u?
False
Let m = 2/91 + -95/182. Let w be (-6)/15*(4 + 1). Which is bigger: w or m?
m
Suppose 3*m + 2*v = -0*m - 2, 3*m + 3*v = -3. Is m at least 1/23?
False
Let a = -1.95 - 0.05. Let t = -2 - a. Which is smaller: t or -2/3?
-2/3
Let z(a) = -a - 3. Let j be z(-2). Let g = 7 + -8. Is j at least as big as g?
True
Let x(u) = -4*u**2 - 12*u + 16. Let d(b) = -b**2 - 4*b + 5. Let p(y) = -7*d(y) + 2*x(y). Let l be p(4). Which is bigger: -0.1 or l?
-0.1
Let g be 2/(-4)*-2 - 7. Let l be (-1)/(-1) + g/7. Is l <= 1?
True
Let g = -11.988 + -0.012. Which is smaller: g or 0?
g
Let u = -0.4 - -0.5. Let w = -0.22 + 3.32. Let o = 3 - w. Which is greater: u or o?
u
Let o be (-3)/(3*1/(-2)). Suppose -d - 18 = o*d. Let m be ((-18)/(-8))/(d/4). Is 0.1 at most m?
False
Suppose 0 - 6 = 4*x + 5*y, -5*y = 2*x + 8. Which is smaller: x or 3/10?
3/10
Let d(x) be the third derivative of -3*x**2 + 1/6*x**3 - 1/60*x**5 + 0*x**4 + 0*x + 0. Let z be d(1). Is z less than 1/7?
True
Let h be 4*(-1)/(-2)*-1. Is 0 bigger than h?
True
Let h = 2 - 0. Let m = 1 - 0.9. Which is smaller: h or m?
m
Suppose -o = -5*g + 153, -5*g + 3*g + o + 63 = 0. Suppose g = 3*v - 3*u, 9 + 1 = 2*v - 4*u. Let p be 3/v*10/6. Is p smaller than -1/4?
False
Let y be (-4 - 0)*12/16. Let a(g) be the second derivative of -g**3/6 - 2*g**2 + g. Let k be a(y). Is k at most as big as -1/2?
True
Suppose -7*g + 5*g = 0. Let w(j) = -j**3 + 2*j**2 - 3*j + 3. Let x be w(2). Let n be g + (-2)/x*3. Is n at most as big as 2?
True
Let m be 99/(-88)*1/12. Which is smaller: 1/2 or m?
m
Suppose 6*t - 5*t = 2. Which is smaller: t or -1?
-1
Let g = -272/417 - 2/139. Suppose -2*u - 2 = 2. Which is greater: u or g?
g
Let l = -0.9 + -0.1. Which is bigger: l or 0.1?
0.1
Let w = 0.58 - 3.88. Let u = w - -0.3. Let p = -17/20 - -3/5. Which is greater: u or p?
p
Suppose -2*g = -0*t - t + 1, -17 = g + 5*t. Suppose -3*p - 2*p + 35 = 0. Suppose 3 = 2*o + p. Is g not equal to o?
False
Let c = -9 - -20. Which is bigger: c or 10?
c
Suppose 2*w + 4*z = 9*z + 265, 267 = 2*w - 3*z. Suppose 0*t + w = 3*t. Let g be (21/t)/(2/(-6)). Which is smaller: -2 or g?
-2
Suppose -4*b + 8*b = -4. Let l be (b - 0)*(2 + -1). Let f be (3/12)/((-1)/(-2)). Which is greater: f or l?
f
Let i(r) = r**3 - 4*r**2 + 3. Let d be i(4). Which is bigger: d or 7?
7
Let a be (-2)/(-2) + -2 + 1. Is a > 2/71?
False
Let o be 6/52*12/6. Which is smaller: -0.1 or o?
-0.1
Let l(q) = q**3 + q**2 + q + 1. Let h be l(2). Let t be 0 - (-3)/(h/(-2)). Let v(g) = -g**2 + 4*g. Let z be v(4). Is z at least t?
True
Let x = -0.5 + 1.5. Let c = 19 - 19.04. Which is greater: c or x?
x
Let t(q) = q**3 + 3*q**2 - 2*q + 8. Let x be t(-4). Which is greater: 2/19 or x?
2/19
Let a = -12.1 + 11.9. Is 31 less than or equal to a?
False
Let b = 8 + -9. Is b <= -1?
True
Let t be 1/(-21*(-1)/(-4)). Is -1 <= t?
True
Let r be 4/18 - 1705/99. Is -17 less than r?
False
Let j = 3.79 - 0.69. Let m = 3 - j. Let c = -16 - -7. Is m smaller than c?
False
Let p be ((-8)/(-3))/((-14)/(-21)). Which is greater: p or 1?
p
Suppose 2*l + 5*n = 51, 0 = -4*l - 5*n + 3*n + 94. Suppose 4*b = 7 - l. Let m = -7 - -4. Which is bigger: m or b?
m
Suppose -3*z + l + 0*l = 112, -3*z + 4*l = 97. Let n be -2 + (-111)/z + -1. Which is smaller: 0.1 or n?
n
Let x(r) = -r**3 + 8*r**2 + r - 6. Let f be x(8). Let l be (-1 - -2) + f - 6. Let h = 4 - 6. Does l = h?
False
Let n = -1 - -2. Let b = -0.6 + 0.32. Let f = b - 0.02. Are n and f non-equal?
True
Let w be (295/298 - 1)/((-12)/(-16)). Which is bigger: w or -1?
w
Let m(r) be the first derivative of r**2/2 - 3. Let p be m(-5). Let g = -5 - p. Which is smaller: 1/15 or g?
g
Suppose -2*o = o - 33. Suppose y = 2*y - 3*x + o, 5*x - 20 = 0. Which is smaller: y or 1/3?
1/3
Suppose -4*n + 86 = -3*f, 4*f + 100 = -f - 2*n. Is -22 bigger than f?
False
Suppose 4*a + 58 = 4*n - 3*n, 3*a + 5*n + 32 = 0. Let g be ((-2)/(-7))/((-10)/a). Is 0 at least as big as g?
False
Suppose 0 = 6*i - i. Let n(x) = x + 6. Let k be n(i). Let y(s) = -s + 9. Let a be y(k). Is a at most 3?
True
Let k be (-18)/(-11)*(-1)/3. Let b = 3 - 5. Which is smaller: k or b?
b
Let k be ((-1)/(-2))/(1/6). Let w be (-6)/k + (-3)/(-1). Which is smaller: -1 or w?
-1
Suppose -5*g - 7 = v, 0*g - 2*v = 2*g + 6. Is -3/137 bigger than g?
True
Let g = 3.1 + -3. Let z = 1.47 - 1.4. Which is bigger: z or g?
g
Let s be 6/(-4)*8/6. Let f(l) = 3*l + 12. Let c be f(-5). Let r be 9/c + s/(-2). Is 1 not equal to r?
True
Let x = -120 + 120. Let s = -10 - -12.5. Let p = s + -3. Is p greater than x?
False
Suppose -5*q = 0, 0 = -x - 