t m = b - 4. Do m and 5 have the same value?
False
Let l = 21 - 13. Suppose 0 = 2*g - 2*q - l, -2*g = -4*q - 9 + 1. Is g at least 4?
True
Let i be ((1 - -1) + -1)/(-1). Let z = 1 + i. Is z at most 1/10?
True
Let k be (1 + (0 - 8))/(-1). Is 8 <= k?
False
Let v = 35.9 - 38. Let f = v - -2. Let a = -1.1 - f. Is 0.1 greater than a?
True
Let b = 4/3 + -17/15. Which is bigger: 1 or b?
1
Let s(p) = -p**3 + 9*p**2 - 10*p + 11. Let i be s(8). Which is smaller: i or -10?
-10
Let p = 28.9 + -29. Let n = -5 + 9/2. Which is smaller: n or p?
n
Let o = -33 - -15. Let w be (-3)/33*o/1. Is 2 less than w?
False
Suppose p = -2*p. Is -2/13 not equal to p?
True
Let z = 0.41 + 0.79. Is 1/2 at most z?
True
Let w be -14 + 16 + 47/(-23). Do 1 and w have different values?
True
Let o = 0.2 - 0.4. Is o less than 2/17?
True
Let y be 2*(-1 + 0 + -2). Let r = y + 5. Is 1/8 <= r?
False
Suppose -2 = -3*q + 10. Let n be q/6 - (-88)/3. Let t be (-2)/n + (-4)/(-10). Is 1 less than t?
False
Let k be -1 - (2*2)/2. Let i be 8/5*10/4. Let m = k + i. Is m at most as big as -1/4?
False
Let p = -6.46 + 43.36. Let n = p + -39. Let i = n + 0.1. Is i bigger than 0.1?
False
Let s(p) = p**3 - 4*p**2 + 5*p - 4. Let h be s(3). Suppose h*y + 99 = y. Let m = y + 498/5. Are m and 2 non-equal?
True
Suppose 4*i - 5*y = 17, 0 = -3*y - 0 - 3. Suppose -v + 0*v - i = 0. Let u = 3 + v. Are 1 and u non-equal?
True
Let q = -21 - -10. Let z = q + 11.4. Is z less than -1?
False
Let o(s) = -9*s**2 - 13 - s**2 + 0*s**2 - s + 12*s + s**3. Let j be o(9). Does 5 = j?
True
Suppose 2*g + 3*g - 5 = 0. Let n be ((-6)/(-8))/(6/2). Which is smaller: g or n?
n
Suppose -6 = -0*t - 2*t. Suppose 6*i = 3*i - 3*h, -t*i + 5 = -2*h. Which is smaller: -5 or i?
-5
Let l be (-971)/1995 - (-8)/((-144)/(-6)). Let w = -10 + 951/95. Let z = w + l. Do 0 and z have different values?
True
Let s(w) be the second derivative of -w**5/20 - w**4/3 - 2*w**3/3 - 3*w**2/2 + 2*w. Let h be s(-3). Is 2 less than or equal to h?
False
Let b(h) = h - 3. Let m(z) = z**3 - 3*z**2 - 2*z - 5. Let s be m(4). Suppose 5*v - 29 = 3*t, s*t = v + 1 - 2. Let u be b(v). Which is smaller: u or 3?
3
Let p = 191 - 1339/7. Suppose 5 = 5*t - 0. Suppose 2 - t = -x. Which is smaller: p or x?
x
Let t be 4 + -3 + (-1 - -4). Let x be 5/10*t/(-30). Is 0 at least as big as x?
True
Let h be -2 - (0 - (2 - -5)). Suppose -2*k + 3 = -h*k. Which is smaller: 1/6 or k?
k
Let o = 0.2 - -3.8. Let d = o + -4.1. Let m = -1 - 0. Is m < d?
True
Suppose 41 + 25 = -3*g. Let n be 5 - 4 - (-18)/g. Is -1 > n?
False
Let x be 6/4*(-10)/(-15). Suppose 8 = -4*j - k + 3, 0 = 2*j + 5*k + 25. Which is smaller: j or x?
j
Let u = 284/105 + 9/70. Is u < 0.1?
False
Let f = 43/12 - 247/84. Which is bigger: 2 or f?
2
Let d = -20.49 + -0.51. Let k = d - -22. Which is smaller: 0.1 or k?
0.1
Let d = -5/47 + -1813/188. Let g = -10 - d. Is 1 at most g?
False
Let x be (-1)/(-4) - 3/(-4). Let m be 3/24 - (-34)/(-16). Is x less than or equal to m?
False
Let y = 55 + -31. Suppose -3*q = -4*n - y, q + 3*q - 32 = 3*n. Is q less than 7?
False
Suppose 2*s - 5*f + 7 - 32 = 0, 0 = -3*s - 3*f + 27. Is s at most as big as 10?
True
Let p = 0.05 - -0.05. Which is greater: p or -1/3?
p
Let c be (53*1)/(-3 + 4). Let f = 17 - c. Let k be (f/(-15) - 2)*-5. Which is smaller: 0.2 or k?
k
Let g(w) = -4*w**2 + 14*w - 6. Let d be g(4). Is d at most -11?
True
Let u be (4/(-10))/((-8)/(-10)). Let q(x) = -x**3 - x + 3. Let g be q(0). Suppose 1 = s + g. Which is smaller: s or u?
s
Let h = 10 + -8. Let r = -2 - -3. Is h smaller than r?
False
Let v(k) = -3*k**2 - 3*k - 4. Let t = 1 + 2. Let r be v(t). Let s = -121/3 - r. Is -1 < s?
True
Suppose 120 + 30 = 5*j. Suppose -5*v + 30 = -3*c, 5*v - 2*c - 2*c = j. Let g be v/40 + (-1)/(-4). Which is smaller: 0 or g?
0
Let x = -162 + 161.01. Let r = x + -0.01. Which is smaller: r or -0.3?
r
Let q = -12.05 + 0.05. Let a = q - -8. Let x = 4 + a. Is 1/4 equal to x?
False
Let z be 0 + (-2 + 5)/(-18). Let a = -1/3 + z. Which is greater: a or 0.2?
0.2
Let y be (13/(-26))/(0 - -1). Is y smaller than 1/2?
True
Let b = 203 - 1823/9. Suppose -4 = -5*t - z, 4*z - 1 = -3*t - 2. Is t less than b?
False
Let g = 144 + -149. Is -25/7 less than or equal to g?
False
Let r = 20 - 8. Let q = 9 - r. Let t = -4/39 - 3/13. Which is smaller: q or t?
q
Suppose 0 = -3*m + 4*m. Which is smaller: m or 1/29?
m
Suppose -2*w + 116 = c, -4*c = -2*c - 4. Let l = -511/9 + w. Which is bigger: 2/11 or l?
l
Suppose 0 = 2*p - 9*p - 98. Which is smaller: p or -29/2?
-29/2
Let v(u) = u**3 - 6*u**2 + 7*u - 6. Let a be v(5). Suppose 0 = t - a*t. Which is smaller: -2/7 or t?
-2/7
Suppose -2 = c - 5. Let a be -2*(5 - c)/10. Which is smaller: -1 or a?
-1
Let a be -6*3*(-15)/(-27). Let b = -10 - a. Is -2/7 < b?
True
Let n = 23 + -7. Let m = 26 - n. Are m and 10 equal?
True
Suppose 3*x - 4 = -1. Is x greater than -1/48?
True
Let s = 6.67 - 8.5. Let q = 0.07 - s. Let g = q + -2. Which is bigger: g or 1?
1
Let z = -1 + 0. Suppose -7*i = 5*c - 2*i + 30, -3*c - 5*i = 28. Are z and c non-equal?
False
Let v be ((-2 - 0) + 2)/(-1). Let w be (23 - 0)*(-45)/(-12). Let q = w + -87. Is q greater than or equal to v?
False
Let y be ((-8)/(-16))/((-3)/4). Which is smaller: -9 or y?
-9
Suppose -3*u + u - 3*k - 5 = 0, -6 = 2*k. Which is bigger: -3 or u?
u
Suppose -a + 7 + 11 = 2*x, 5*x - 45 = 5*a. Suppose -2*v - x = -5*v. Suppose 1 = -2*g + 3. Do g and v have the same value?
False
Let r(z) = z - 1 - 5*z**2 + 1. Let g be r(1). Let b be 1 + -1 + g/6. Is 0.05 at least as big as b?
True
Let a = 0.06 + -0.16. Suppose 0*q + 2*q = -4, -3*t - 1 = -q. Is a bigger than t?
True
Suppose -2*z + 4*q = -4, -z + 4*q - 1 = -9. Suppose -2*i = -6*i - 20. Which is greater: i or z?
z
Let k = -6 - -11. Suppose 3*r - 8 = z, -3*z - z + 2*r = -8. Is z less than k?
True
Let t be 4/(-8) - 3 - (-3)/6. Let q be 2/(-4) + 1/(-2). Let x = q - 2. Is x less than t?
False
Let f = 18.66 - 19. Let w = 0.04 + f. Suppose 4*s + 4 = -0. Which is greater: s or w?
w
Suppose 2*k = -4*d + 6, d + 2*k = 3*d + 12. Let i be (-14)/2*(-66)/9. Let c = -52 + i. Is c greater than d?
True
Let a be (-2)/(-10)*(-4 - -5). Which is smaller: a or 6?
a
Suppose -y = -5*y + 56. Suppose 1 = -2*i - 11. Let u be i/4 - (-7)/y. Is 4/9 at least as big as u?
True
Let n = 286309/22164 + -2/1847. Let l = 489/5 - 2201/20. Let i = n + l. Which is smaller: 2 or i?
i
Let x be 4/14 + 2023/(-2793). Let w = -2/19 - x. Which is bigger: w or 1?
1
Let b = -13 + 1. Let r = -7 - b. Let z = -0.24 - -0.14. Which is smaller: r or z?
z
Let i = -6103/15 - -407. Is i at most -1?
False
Let y(m) = 11*m**3 - 1. Let o be y(-1). Suppose 0 = 4*c - 4*g + 60, 4*c + 4*g + 28 = -0*g. Which is bigger: c or o?
c
Let x = -20 + 22.2. Let a = 2 - x. Let p be 4/6*3/(-6). Which is smaller: a or p?
p
Let z(l) = -l + 11. Let y be z(-10). Is y < 21?
False
Let o be 2 - (7 - (0 - 0)). Let x = 4 + o. Let c be (-12)/(-9) - x/(-3). Is -2/5 greater than or equal to c?
False
Let c be (-3 + (-4)/(-1))*-1. Let q be (9/78)/((-2)/8). Do c and q have the same value?
False
Let u = -0.4 - -0.6. Let l = -1.1 - 2.9. Let o = 3.9 + l. Which is bigger: o or u?
u
Let z = 58 + -84. Is -1 >= z?
True
Let s be (3/3)/(-2)*6. Let n be 6/126 - 2/s. Which is smaller: n or 2?
n
Let j be 0*(-2 - 30/(-12)). Is 15 <= j?
False
Let f = -7/5 + 26/15. Does f = 1?
False
Suppose -3*o = 2 - 14. Suppose -8 = 4*l + o. Which is smaller: -5/2 or l?
l
Suppose o + 5*i + 6 = 0, -13*o - 62 = -18*o - 2*i. Is 14 greater than or equal to o?
True
Let o be (-1)/(2 - 21/9). Suppose o = p + 2. Which is smaller: p or 2/17?
2/17
Suppose 0*d - 3*d = -0*d. Let u be 10/8 + (-2)/4. Is d less than or equal to u?
True
Suppose 3*z - 5*l - 35 = 0, -23 - 12 = -2*z + l. Does z = 22?
False
Let r be (4/12 + 0)*0. Is r less than or equal to -5?
False
Let u = 0.1 + -0.3. Is -2/5 at most u?
True
Let j = -7 + 6.4. Let q = j - -0.3. Which is smaller: -3 or q?
-3
Let z(u) = -u**3 - 3*u**2 - 2*u. Let b be z(-2). Let m = -1 - b. Which is smaller: m or -3/8?
m
Suppose l = -0*l. Is 1/11 <= l?
False
Suppose -3*i - 69 = -2*d + 1, -i - d = 25. Let s = i - -24. Is s greater than 2?
False
Let n = 28 + -23. Suppose -6 = -2*q - n*r - 14, -4 = -2*q + r. Which is bigger: -2/11 or q?
q
Let j = 7 - 13. Let d(a) = -a**2 - 7*a + 2. Let l be d(-7). 