True
Let w be ((-4)/2)/((-4)/2). Let b = 1 + w. Let s be 16/15 - 2/5. Which is smaller: b or s?
s
Let f = -0.4 - -0.3. Let n = f + 0. Is n greater than or equal to -0.02?
False
Suppose 0 = -6*x + 2*x + 4. Which is smaller: -2/13 or x?
-2/13
Let z = 0.19 + -8.19. Let i = 9 + z. Let v be ((-2)/10)/((-2)/5). Which is greater: v or i?
i
Let n be ((-15)/9*1)/(-3). Which is smaller: n or 1?
n
Let s(v) = 2*v + 48. Let p be s(-17). Are 3 and p nonequal?
True
Let r = 34 + -375/11. Let f be 4/14 - (-164)/(-231). Let p = r - f. Which is smaller: p or -0.3?
-0.3
Let p = -1262 - -39118/31. Is 1 smaller than p?
False
Let d(o) be the third derivative of o**5/30 + o**4/12 - o**3/6 + o**2. Let i be d(1). Which is smaller: i or 2?
2
Let z = 0.259 - 0.196. Which is bigger: z or 1?
1
Let n be (6/4)/((-12)/(-8)). Is n greater than -1/33?
True
Let g be (2/(-84))/(-3 - (-65)/20). Is -1 < g?
True
Let y(i) = -i - 3. Suppose -2*s + 2 = 10. Let k be y(s). Is k equal to 2?
False
Let j = 1/274 - 209/19728. Which is smaller: 1 or j?
j
Suppose 0 = 4*u + 12, 0*u = 4*r - u + 45. Let s = -18 - r. Is s less than -6?
False
Let k = 15 - 11. Suppose s + k = 5. Is -2/35 less than s?
True
Let t(d) = -8*d + 7. Let r be t(-2). Which is greater: r or 22?
r
Let d = 14/9 - 11/9. Which is smaller: d or -6?
-6
Let u be 4 + -1 + 1 + -1. Is u smaller than 3/2?
False
Let z = -1544 + 84916/55. Which is greater: 0 or z?
0
Suppose -4*f = -2*f - 2. Let g = 2/1631 + 17931/8155. Which is smaller: g or f?
f
Let a = -2 - -1.5. Suppose -2*l = -4*l, -n + 2*l + 2 = 0. Which is smaller: n or a?
a
Suppose 0*d + 5*d - 3*l + 1 = 0, -3*d = -5*l + 7. Suppose 0 = a - 0*a - d. Let q = -535/7 + 76. Are q and a equal?
False
Let c = -10 - -9. Is c != -2/9?
True
Suppose -3*a - 51 - 6 = 0. Let w = a + 20. Is 0 at most w?
True
Let l be (-2 - -3) + 1*7. Is 8 at most l?
True
Let l = 0.12 + 1.88. Let i = -29.1 - -31. Let q = l - i. Which is bigger: -4 or q?
q
Let m be ((-4)/7)/(18/(-49)). Let b = -25/18 + m. Which is smaller: 1 or b?
b
Let f be 1 + 0/2 - 1. Let z be (-1)/(f + 2 - 1). Suppose 6 = -3*i, -i - 10 = 4*g - 0*i. Which is bigger: g or z?
z
Let c(t) be the third derivative of t**5/120 - t**4/4 + t**3/3 + t**2. Let u(p) be the first derivative of c(p). Let r be u(5). Is r not equal to 1?
True
Let p = -28 - -28. Is p > -2/43?
True
Let b = 19/4 + -7/2. Is 1 > b?
False
Let r = -78 - -78.46. Which is smaller: r or 0.1?
0.1
Let a be (20 - 17) + (1 + 1 - 45). Which is smaller: a or -41?
-41
Let p = 1 - 0. Which is smaller: p or -1?
-1
Let p(k) = -k + 2. Let o be p(-3). Let r = o + -7. Suppose -5*s - 4*j = -8*s - 10, 4*s - 2*j + 10 = 0. Is r bigger than s?
False
Let h = 25 + -3. Suppose 0*y = -2*y - h. Let i = y - -21/2. Which is smaller: -1 or i?
-1
Let o = 4.16 - 4. Let t = o + -0.06. Which is bigger: -1/7 or t?
t
Let d(k) = -k**2 - 8*k + 25. Let l be d(-11). Is -9 < l?
True
Let x = -26 + 31. Are 5 and x non-equal?
False
Suppose 5 = 2*i + 2*a - 1, -5*i + 3*a = -7. Which is greater: 7/4 or i?
i
Let f(g) = -g**2 + 7*g - 5. Let z be f(6). Suppose 2*y + 5*w = -20, -y - 2*y = 2*w + 8. Which is bigger: y or z?
z
Suppose 3*c - 13 = 5*p, 7*p + 3*c + 5 = 3*p. Is -4/7 greater than or equal to p?
True
Suppose 4 = -4*q - u - 0, -5*q = 3*u + 12. Suppose q = 6*h - 3*h + 3*f - 3, -5*h + 4 = 4*f. Which is greater: -4/7 or h?
h
Let v(h) = -2*h - 3. Let g be v(3). Let m be (-2*1)/(g/30). Is 6 at least as big as m?
False
Let w = 13 + -5. Let s = -6 + w. Which is bigger: -1 or s?
s
Suppose 0 = 4*l + 12 - 36. Which is greater: l or -3?
l
Let o be 1 + 3 + -3 + 5. Let s be 4/o*(-7)/(-70). Let p = 1/3 + s. Is -0.05 <= p?
True
Let j = -7 - -10. Is j equal to -1?
False
Let k = 5 + -1. Suppose 0 = -k*c + c - 6. Which is greater: -1/2 or c?
-1/2
Let b = 0.2 + -0.4. Let x = 1.5 - 2.5. Which is bigger: x or b?
b
Suppose -3 = 4*k - 2*t - t, -t = -3*k - 1. Let c = 1 - 2. Let v = c + 2. Which is bigger: k or v?
v
Suppose 3*g = -g - 20, 4*g + 26 = 2*x. Suppose -3*r - 21 = j + 2*j, 0 = 5*r + x*j + 29. Is -4 < r?
False
Let d = -22/3 - -7. Which is smaller: d or 8?
d
Suppose 4*x - d = -95, -3*x - d - 68 = -5*d. Do -23 and x have different values?
True
Let v = -415/679 - 10/97. Is -2 bigger than v?
False
Let x be 0/(-2) - (343/(-28) - -5). Which is smaller: 7 or x?
7
Let s be 0*(0 - -1) - -2. Let u be ((-4)/30)/(s/6). Which is bigger: u or -1?
u
Let p = -33.4 - -30. Let y = -0.4 - p. Is y > -1?
True
Suppose -4*h = 3*u - 1 - 0, -3*u - 2*h = -5. Suppose -u*j + 0*j = -15, -22 = 3*t - 2*j. Is -5 at most t?
True
Let j = -10 + 10. Suppose 3*d + j = -3*v + 6, -2*v + d = -19. Is 7 != v?
False
Let c = 70 - 66. Suppose -4*f - l + 69 = 0, 3*f + l = 57 - 6. Suppose -b - f = -c*b. Is 5 greater than b?
False
Let c = -36 + 34. Which is smaller: 2 or c?
c
Let v = 74 + -74.6. Which is bigger: -0.7 or v?
v
Let z = 15127/25 + -605. Which is smaller: 1 or z?
z
Let t be -2 - (-1 - -4)/(-3). Let h be (-37 + -2)*t/15. Do h and 2 have the same value?
False
Let c(r) = -r + 7. Let s be c(-4). Is 11 bigger than s?
False
Let l = 0.33 - 0.6. Let i = l - 0.03. Let j = 0.3 + i. Is j > -0.2?
True
Suppose 0 = -3*s + o + 261, 2*o = 4*s - 2*o - 340. Let h be ((-55)/s)/(6/(-8)). Which is smaller: 2 or h?
h
Let r = -3355 + 23395/7. Let b be ((-2)/(-3))/((-56)/(-1128)). Let d = b + r. Which is greater: 2 or d?
2
Let r = -0.05 - 11.95. Let c = -11 - r. Which is greater: c or 4?
4
Let q = 9 + -9. Suppose 5*d + 5*b - 5 = q, 2*b + 3*b + 1 = d. Is d smaller than 2/15?
False
Let d be 90/60*(-752)/(-6). Is d greater than 189?
False
Suppose -12 = 2*y - 5*y. Let j be -2 - 0/(y + -2). Which is smaller: -3 or j?
-3
Suppose 4*l - b - 7 = 8*l, 4*l = -5*b - 19. Let c = -152 - -4410/29. Is l greater than c?
False
Let w be 661/(-5) + (-3)/(-15). Let q be 1 + (62/w - 1). Let o = q - 1/33. Is o > -2?
True
Let z = 83 + -413/5. Which is greater: -18 or z?
z
Let s(c) = c + 1. Let v be s(6). Are -1 and v equal?
False
Suppose 0 = 4*a + 21 + 11. Are -10 and a nonequal?
True
Let l be (-2)/10 + 58/(-10). Let m = l - -2. Are m and 1 nonequal?
True
Let i = -0.17 + 1.17. Let k = -0.8 + i. Is -2 >= k?
False
Let s = -6 - -6. Suppose -3*z - 6 = -s. Which is bigger: z or -4/7?
-4/7
Let g(x) = -5*x - 6. Let u(p) = 6*p + 5. Let t(n) = 5*g(n) + 4*u(n). Let r be t(-8). Is r >= -2?
True
Suppose 2*i - 4 = n, 3*n + 1 - 21 = -2*i. Let z be ((-3)/(-4) + -1)*n. Is z at most -2/13?
True
Let o = 3 - 9. Let d = -4 - o. Let l = 73 + -217/3. Is d less than or equal to l?
False
Let g(v) = v**3 + 5*v**2 + 3*v - 1. Let p be g(-4). Suppose -a - 3*u = -1, -15 = 2*a + p*a - 5*u. Let o be (-1)/a - (-2)/(-8). Is o >= 1?
False
Let s(u) = -u + 5. Let a be s(5). Suppose a = 5*q - 3*q. Suppose 7*d - 3*d + 3*o = 19, q = 3*d + 5*o - 28. Is 2/5 at most d?
True
Let k be 1 + (-2)/(-2) - -1. Let j be -2 + k - 2*1. Let i = 0.7 + -0.5. Is i less than j?
False
Let y(h) = -3*h - 1. Let f be y(-2). Let n(j) = 3*j - 3. Let d be n(f). Let r be d/(-2)*(-3)/(-6). Is r > -2?
False
Let l(p) = 16*p. Let v be l(-1). Let f be 4/v + (-34)/(-8). Let h = 5 - f. Are 0 and h equal?
False
Let h be 38/4*(1 - -1). Suppose -11 = -i - 4*o, -3*i + 7*i = 5*o - h. Is 3 less than i?
False
Let h be (-1)/(2 + 22/(-12)). Let p be ((-1)/2)/(h/(-24)). Let w = 3 - 4. Is w at most as big as p?
False
Let w(n) = -n**3 - 14*n**2 - 22*n - 37. Let d be w(-12). Is d at least -61?
True
Let b = 0.22 - 0.02. Let j = -1.2 - -1. Let z = j - -1.2. Is z > b?
True
Suppose 5*d + 88 = -2*w, -w + 3*w - 5*d + 48 = 0. Does -33 = w?
False
Let z be 4/10 + 24/(-110). Suppose -6 = -2*h - h. Let l be ((1 - -1) + -2)/h. Which is greater: z or l?
z
Let n(h) = -3*h**2 + 7*h - 1. Let l be n(5). Do l and -42 have the same value?
False
Suppose 7 = 4*s - 1, -6 = -g - s. Suppose c - 2*n + 2 = -3*c, c - 3 = g*n. Is -1 at most as big as c?
True
Let w = -103 - -104. Let a = -8 + 4. Let x be 2/10 + a/(-10). Which is bigger: x or w?
w
Let l be 8 - 2 - (1 - 1). Are 6 and l non-equal?
False
Suppose -23 = 4*k + 17. Let i = k - -10. Is i greater than or equal to -3/5?
True
Let v be (-4*2/(-20))/((-39)/(-5)). Which is smaller: 0 or v?
0
Let t = -245/2 - -120. Let q = 5 - 5. Which is smaller: q or t?
t
Let w(d) = d**2 + d - 1. Let b be w(-4). Suppose 5*n + 9 = -b. Let c = -13/3 - n. Is c equal to 0.2?
False
Let k(w) = -w - 15. L