0. Is 12 smaller than x?
False
Let u = 3 - 4. Suppose -4*i + 0*p - 5*p = -10, i = -2*p + 4. Let x = u + i. Is x equal to 0?
False
Let x = 0 - 0. Let f = 27/10 - 13/5. Is f less than or equal to x?
False
Let g(q) be the first derivative of -q**4/4 - 5*q**3/3 - q**2/2 - 2*q - 1. Let w be g(-5). Let p(o) = o - 1. Let z be p(w). Is z greater than or equal to 2?
True
Suppose 10*g = 6*g + 28. Let b(p) = 8*p**2 - 1. Let k be b(-1). Are k and g equal?
True
Let l = 1 + -5. Let m be 6/((42/l)/7). Which is smaller: -3 or m?
m
Let d = -11556/145 + 399/5. Let j = d - 79/203. Which is bigger: j or 0.15?
0.15
Let o = 75 + -376/5. Let z = -17/15 + o. Let j = 5 - 5. Which is greater: z or j?
j
Let u = -461/7 + 66. Let p = -13 + 14. Let j be (2/4)/p*0. Which is smaller: u or j?
j
Suppose -5*r - 20 = -x, 5*r - r = -2*x - 16. Is 6/7 less than x?
False
Let q = -104217/89 - -1171. Is 1 at most q?
False
Let k(f) = 2*f + f - 4*f. Let z be k(0). Let d be 1/2*(10 + -10). Is d at least z?
True
Suppose -j - 4*j - 8 = 2*g, 20 = 5*j - 5*g. Which is greater: j or -16?
j
Suppose 3*m = -9, -2*p + 29 = -m - 6. Suppose n = -3*q + p, q - 5*n + 0 = -16. Let s be 20/(-8)*q/(-75). Is 1 greater than or equal to s?
True
Let n be (6/3)/(436/(-4)). Let i = n - 95/763. Which is bigger: 1 or i?
1
Let m be (2 + 16/(-12))*3/(-89). Which is bigger: m or 0?
0
Suppose -j + 3 + 4 = 0. Let d = j + -11. Is d less than or equal to -5?
False
Suppose 4*w = 2*w + 6. Suppose w*j - 17 = -t, 0 = -j - t + 3*t - 6. Which is smaller: j or -1/3?
-1/3
Suppose 11 = 2*t - 3*u - 31, -t = -3*u - 27. Let z be (t - -1) + 2/(-2). Suppose 0 = 5*y - 10*y + z. Which is greater: 2 or y?
y
Let t be 56*1 - (4 + 8 + -8). Which is smaller: t or 54?
t
Suppose 5*w - 4*x + 130 = 0, 0*x - 3*x - 78 = 3*w. Let v = -184/7 - w. Is v bigger than -1?
True
Let g(l) = -3*l**2 + 4*l**2 - 9*l + 11 - l**2 + l**2. Let c be g(6). Are c and -6 nonequal?
True
Let l = -6.09 + 0.09. Let u = l + 9. Is 0 at most as big as u?
True
Let z be 0*((-4)/4 - 0). Is 1/5 less than z?
False
Suppose 43 = 5*f - 22. Is f less than 12?
False
Let i(k) = k**2 + 8*k + 2. Let f be i(-8). Suppose f*d - d = 0. Which is greater: -1/7 or d?
d
Let z = 9 - -5. Let k = z - 9. Which is greater: -1 or k?
k
Let z be 1 + (-1 - -1)/2. Let k be -4*(-1)/(z + 1). Let q = k + -4. Is q less than -2?
False
Let p = 237/7 + -34. Which is greater: 0 or p?
0
Suppose 2*j - 6 = 2*x, 5*j - 18 = -0*x + 2*x. Let f be 1/5 + 0/3. Which is smaller: f or x?
f
Let o = -11 + 2. Let r = 9 + o. Which is bigger: -13 or r?
r
Let r = 25 + -17. Suppose 2*a - v - 4 = 0, -2*v = -3*a + 2*a + r. Is -1 at most as big as a?
True
Suppose 4*t + 8 = -m, 0*m + 5*m = t + 2. Which is bigger: -1 or m?
m
Suppose -7*d - 5 = 2. Is 2/13 smaller than d?
False
Let d be (-2 - -2)/(-1*1). Let n be -3 + (-1)/2*d. Let u be 2 - (1*n)/(-3). Which is smaller: u or -1/6?
-1/6
Suppose 7*h - 2*h + 15 = 0. Let i be 1/3 - (-2)/h. Is -3 at most as big as i?
True
Let g = -3 - -4. Let q = 0.43 + -0.45. Is q smaller than g?
True
Suppose 0*n + 2*n - 4*b - 64 = 0, 0 = 5*n + b - 105. Are 22 and n non-equal?
False
Let l = 42 - 18. Suppose -3*j + 51 + 12 = 0. Suppose l = 5*k + 5*r - j, 4*k - 12 = 2*r. Which is bigger: 3 or k?
k
Let r = 5 - 3. Let u = r + -3. Let w = 0.52 + 0.08. Is u less than or equal to w?
True
Let a be (-28)/21*(-18)/(-4). Let i be a/(-7)*(0 - 7). Let k be i/(-21) - 2/7. Which is greater: k or 7/5?
7/5
Suppose -5*m + 7 + 0 = -3*d, 0 = m + 3*d + 13. Let f = 21 + -193/9. Is m at least f?
False
Let w be (1 + 11/(-10))*48/(-12). Let h be 1/(-2) - 2/(-3). Is h at least w?
False
Let j = 50 + -352/7. Which is greater: j or -2/13?
-2/13
Suppose 15*f - 19*f - 20 = 0. Which is smaller: f or -60/13?
f
Let b = -18 + 14. Are b and -3 nonequal?
True
Let b be -1*(-2)/(-2)*1. Which is smaller: -1/21 or b?
b
Let o = 14 - 23. Let n = -18.4 - -9. Let x = n - o. Are 2/7 and x nonequal?
True
Suppose 5*s - 33 = 22. Suppose 4 = 4*g - 5*d - 3, s = 2*g - 5*d. Is 7 less than g?
False
Let i = 11 + -17. Let k be ((-9)/i)/((-3)/4). Which is bigger: -1/2 or k?
-1/2
Let j = 1.05 + -1. Let q = -0.06 - 4.84. Let r = q - -5. Which is smaller: r or j?
j
Let h = -0.1 - -0.1. Are h and -38 equal?
False
Let i be (6/14)/(3/2). Which is bigger: -1 or i?
i
Let y be 1/(3/((-9)/3)). Is -1/6 smaller than y?
False
Let p = 13 + -17. Which is bigger: 1/3 or p?
1/3
Let t = 0 + 2. Let a be 3*32/6*1. Let f be 1 + 20/a + -1. Which is bigger: f or t?
t
Let w = 2/475 - 1447/5225. Is w at most as big as 0?
True
Let k = -1 + 1.5. Let d = 2.5 - k. Let j = d - 0. Which is greater: -0.1 or j?
j
Suppose -9*u + 7*u - 2 = 0. Which is smaller: -5/4 or u?
-5/4
Let a = -16 + 9. Is a >= -7?
True
Let r(t) = t**2 + 12*t + 14. Let d be r(-11). Let i be -3*(-12)/10 - d. Is i > 1?
False
Let b = -90 - -94. Is 5 less than b?
False
Suppose 5*s - 10 = -5. Is 4/13 not equal to s?
True
Suppose 5*t + 26 = 2*v, v = -t - 0*t + 6. Is 8 greater than or equal to v?
True
Let t = 196/45 + -32/9. Let w(o) = o**2 - 6*o - 16. Let l be w(8). Which is greater: l or t?
t
Let q = -1/2 + 3/4. Let w be (-2 - 1)*(-4)/(-12). Do q and w have the same value?
False
Let i be (0 - -8)*(-4 + 3). Let j be i/18*1/(-2). Which is bigger: j or 1?
1
Let i = 1 + -2. Let k = 3 - i. Let j = k - 7. Which is greater: -1 or j?
-1
Let b = -2.74 + -0.26. Which is bigger: 2 or b?
2
Let p be 21/(-1)*(-3)/(-9). Let v = p + 11. Which is bigger: v or -2/7?
v
Let f(q) = 0 + 0 + 4. Let c(o) = o - 1. Let a(m) = 3*c(m) + f(m). Let b be a(-1). Which is bigger: -3 or b?
b
Suppose -5*a - 4*m - 741 = -m, 3*a + 439 = m. Let g be (-7)/(a/(-72)) + 1. Let j = -65/21 - g. Is 0 >= j?
True
Let s be ((-240)/(-244) + -1)/((-3)/6). Which is greater: s or 1?
1
Let h = -30 + 58. Which is greater: 27 or h?
h
Let o = 4.7 - 5. Which is bigger: o or -1?
o
Let v = 149 - 150. Which is smaller: 104 or v?
v
Suppose -o + 0*o = 2. Let q = 44 + -39. Let l = o + q. Which is bigger: l or 2?
l
Let o be 2 + (2 - -1) + -10. Let l be 6/(o/((-15)/6)). Suppose 5*f = -2*w + 18, -36 = l*w - 5*f - 13. Is -6/5 smaller than w?
True
Suppose 0 = 2*f - f + 5*s - 12, -3*s = -3*f - 18. Let r be (1 - 4) + (f - -9). Let k(d) = -d**2 + 5*d + 2. Let p be k(5). Is r >= p?
True
Let r = 60 - 85. Is 0 less than r?
False
Let s be (-1 + 4)*-4*4/(-2328). Is s at least -1?
True
Let s = 2174/15 + -145. Let r = s + -4/15. Let q be 6 + (-20)/2 + 26/7. Is q < r?
False
Suppose 21 + 11 = -4*x. Let k(n) = -n**3 - 8*n**2 - 3*n - 11. Let y be k(x). Is y bigger than 13?
False
Let u be ((-1)/(-1) - -3) + 0. Suppose -4*c + 18 = -3*a, 4*c - u*a - 20 = -0*a. Are 3/2 and c nonequal?
True
Suppose 7*j - 53 + 165 = 0. Is -67/4 less than or equal to j?
True
Suppose 4 + 5 = -3*k. Let v be (-1)/(((-84)/(-8))/k). Suppose -5*m - 3 = -4*l - 7, 3 = -3*l - 5*m. Is l < v?
True
Let m = 6.5 + 2.5. Which is greater: m or 0.2?
m
Suppose 2*y = -2*j, 0 = 5*y + 5*j - j. Suppose 2*f - 3*f - 1 = y. Which is bigger: 1/3 or f?
1/3
Let p be ((-3)/12)/(2/8). Is 0.2 <= p?
False
Let d = -0.01 - 0.02. Let w = d + 1.03. Which is greater: 0.1 or w?
w
Let w be 16/(-168)*9/4. Is 0 equal to w?
False
Let h = 0.2 - 0.35. Let z = 0.05 + h. Let b = 0 + 0. Do z and b have the same value?
False
Let m(f) = f**2 - 7*f + 1. Let z be m(6). Let c(q) = -q - 7. Let k be c(z). Is k at most as big as -3?
False
Let o be (-64)/(-6) + (-2)/(-6). Let c = -5 + o. Let r be -2*(0 - -3)/c. Which is smaller: r or 1/3?
r
Suppose 26*s - 19*s + 42 = 0. Is -7 greater than s?
False
Suppose 7*u - 4*u - 15 = 0. Suppose -3 = -g - u*w, 2*w - 9 = g + 2. Let n be g - (-2 - (-2)/2). Is n <= -2?
True
Let t = -22 - -22.1. Is t equal to 0.3?
False
Suppose -17 = 4*k - 41. Suppose k = -0*b + 3*b. Suppose -b*c = o - 9, 4*o - 5*c + 28 = -1. Which is greater: o or -1/4?
-1/4
Let n(l) = l**3 - 7*l**2 + 8*l - 8. Let p be n(5). Is p bigger than -20?
True
Let f = 707/5 + -141. Which is smaller: 1.2 or f?
f
Let q = -342.4 - -342. Let x = 2 - 1. Which is bigger: x or q?
x
Let w = -4/145 + -254/1305. Which is smaller: w or 0.1?
w
Let n = -8.5 + 6. Let f = -2.7 - n. Is f less than or equal to -0.1?
True
Suppose k + 2*k = 4*j + 62, -5*j = -2*k + 53. Is 0 > k?
False
Let w = 6 - 4. Let d = -0.04 + 0. Let f = d + 0.04. Is w > f?
True
Let w = 37349 - -13055. Let r = w + -351962/7. Let b = r + -12