Let q = -0.088 + -0.012. Is x < q?
False
Let d(k) = k**3 + 2*k**2 - 5*k + 12. Let s be d(-4). Which is smaller: -5/34 or s?
-5/34
Let a(c) = c**2 + 5. Let u be a(5). Suppose -6*k + u = -k. Suppose -v + k = v. Which is bigger: 2 or v?
v
Suppose 0 = 2*f + 11 + 29. Let v be (-4)/(-14) + f/(-28). Which is greater: v or -2/7?
v
Suppose 0*k - 2*k = -32. Let l be 1/4*k/(-30). Does -1 = l?
False
Let k = -1 - -3. Let v = 216 + -221. Which is smaller: v or k?
v
Let p = 28 - 28. Is 1/13 < p?
False
Let q = -0.381 - 0.059. Is q not equal to 0?
True
Suppose 8*a = 3*a. Let p be 4/(-10) - (-28)/20. Let u = 0 - p. Is a at least u?
True
Let c = 54 + -44. Is c greater than 13?
False
Let b(c) = -c + 1. Suppose -f + 0 - 5 = l, l + 3*f = -1. Let z be b(l). Is 9 at least z?
True
Let k = 2.2 + -3.1. Let b = k + -4.1. Is 1 > b?
True
Let m = 108400/89 - 1218. Which is greater: 0 or m?
0
Suppose 2*t = 3*n - 248, 0 = -2*n + t + 175 - 11. Suppose 0 = 3*w - z + n, 0 = 5*z - 1 + 21. Let k be 4/w*(1 - -1). Which is greater: 2/9 or k?
2/9
Let c(w) = w**2 + w + 2. Let z be c(0). Let i(m) = 2*m**2 + 4*m. Let j be i(-3). Suppose 0 = f - 4*f + j. Is z smaller than f?
False
Let v = 8 - 3. Let c(n) = -n + 1. Let w be c(v). Let t be 3/12 - (-1)/w. Is 1 greater than or equal to t?
True
Let z be (68/(-17187))/((-4)/6). Let p = 652/3707 + z. Which is bigger: 1 or p?
1
Let v be (43/(-18))/(2/(-6)). Let i = v - 7. Suppose k + 12 = -0*k - 4*x, -5*x = 4*k + 15. Which is greater: k or i?
i
Let n be (-2)/(-6) + 2/(-42). Let v = -20.9 + 1.9. Let g = v - -15. Which is bigger: g or n?
n
Suppose -3*o = h + 12, 3*h + 2*o - 12 = 5*o. Let s(l) = l**2 - 7*l - 7. Let u be s(8). Suppose h = -5*b - 11 + u. Is -2 less than or equal to b?
True
Suppose -3*p + 4*u + 4 = 0, 0 = -4*p - 0*u + 5*u + 6. Suppose p*s = -s - 40. Let r be 2/(-3) + s/(-12). Do r and 2 have the same value?
False
Suppose 4*w - 13 = 7*i - 4*i, 3*w + 2*i - 14 = 0. Which is smaller: 3/7 or w?
3/7
Let x = 2/105 - -8/21. Suppose 0 = 4*t + 4*p + 392, 5*p = -4*t + 3*t - 110. Let h = t + 478/5. Which is smaller: x or h?
x
Suppose 40 = -0*u - u. Is u at most -41?
False
Let w = -0.5 + 1.6. Let n = -0.94 + w. Do n and 1/2 have different values?
True
Let m be (-4)/6 - 39/9. Suppose 17*v - 12*v = -25. Let j be v*((-9)/m + -1). Is -4 at most as big as j?
True
Let m(h) be the third derivative of -h**5/60 - 7*h**4/24 - h**3 - 5*h**2. Let t be m(-6). Which is greater: t or -1?
t
Let t(k) = -2*k - 11. Let d be t(-9). Let x = -7 + d. Is x less than 1?
True
Suppose -165 = -19*f + 8*f. Which is bigger: f or 16?
16
Let d = 20 + -3. Let p = 14 - d. Are -4 and p unequal?
True
Let h = 8 - 8. Let u be ((-2)/(-2))/((-7)/3). Which is smaller: u or h?
u
Let q be 2/9 + 12068/(-36). Let d = -1323/4 - q. Which is smaller: 5 or d?
d
Let j(c) = 5*c**2 + 1. Let f be j(-1). Let b = -8 + 13. Is b greater than or equal to f?
False
Let y be 1 - ((-15)/17 + 2). Let i = -577/5 + 115. Which is smaller: y or i?
i
Let z = 140 - 44. Let c = z - 105.1. Let w = -9 - c. Which is greater: 2/3 or w?
2/3
Let q = 2/2285 + -13744/38845. Is q greater than -1?
True
Let l = -4/15 - 2/15. Which is bigger: -4 or l?
l
Suppose -i = -0*i + 1. Let d = 14/5 - 621/220. Which is smaller: i or d?
i
Let b = -2/47 + -76/423. Let o be 18*(-7)/(21/(-2)). Let i = -12 + o. Which is greater: i or b?
i
Let k = -8612/325 - -332/13. Is 0 not equal to k?
True
Suppose -u + 4 = u + 2*s, -5*s = -2*u - 17. Let x be (2 + -2)/(2 + u). Which is smaller: 1 or x?
x
Suppose 4*p - 89 - 83 = 0. Are p and 42 nonequal?
True
Let b = -20.4 + 20.4. Which is smaller: b or -0.089?
-0.089
Suppose 0*i = -i. Let k be i + 0 + -1 + -1. Let m be (-12)/3*k/(-12). Which is smaller: m or 0.1?
m
Suppose -3 = -s - 4*b - 4, 5*s + 5 = -2*b. Is 7/2 less than s?
False
Suppose 4*v - 24 = -4*k, 3*k + 0*v = -2*v + 13. Let m(j) = -6*j**2 + 1. Let i be m(k). Let f be 4*(-3)/6*2. Which is bigger: f or i?
f
Suppose 2*o + 2*o = -204. Is -51 smaller than o?
False
Let d be 2/(-4)*(-4)/56. Let y = 3/14 + d. Which is smaller: -3 or y?
-3
Let v(h) = 7*h + 36. Let p be v(-5). Which is bigger: 5/37 or p?
p
Suppose 2*y - 3 - 3 = 0. Suppose -p = y*k, -2*k = -p - k + 4. Is 3 < p?
False
Let i be 47/2 - (-1)/2. Suppose -8 = -2*l - i. Let o be -4*((-6)/l - 0). Which is greater: -2 or o?
-2
Let n be ((3/1)/(-3))/1. Suppose -4*d + 2*x = 7*x + 11, d = 4*x + 13. Let u be (d - 1) + 2/17. Is n bigger than u?
False
Let x be 15/(-4) + (-2)/8. Let z be (-1)/x - (-30)/(-56). Which is bigger: 0 or z?
0
Suppose 2*m = -6*n + n - 13, -3*m = 12. Let d be 0 + 12/(-9) + n. Suppose 2 = -5*f - 8. Which is greater: f or d?
f
Let i(d) = d + 17. Let k be i(-14). Suppose -v - k*v = -16. Which is smaller: 2 or v?
2
Suppose 4*l = -6 + 14. Is 2 less than l?
False
Let n(w) = w**2 - 4*w - 3. Let z be n(5). Suppose 3*k = z*k. Suppose 4*q + 4*d + 8 = 0, -2*d + 3 + k = -5*q. Is q at least as big as -1?
True
Let l = 34 + -25. Which is greater: l or -0.2?
l
Let n = 0.32 + -0.62. Are n and -15 equal?
False
Suppose 0*x = 3*x. Is x less than or equal to 12?
True
Suppose c - u = 3, 3*c + 1 = 5*u + 14. Let o = -3045/13 - -234. Which is smaller: c or o?
o
Suppose 0 = 5*d - 7 - 23. Suppose 5*g - 1 = -d. Are -1/5 and g nonequal?
True
Let m be (-2)/(-12) - (-11)/6. Let k be 0*(-1 - m/(-4)). Is -1 less than or equal to k?
True
Let c = 5570562883/1722 + -3234938. Let w = c - -9/82. Is w > -1?
True
Suppose -5 = 5*r + 20. Let j = -4 - r. Are j and -2 equal?
False
Let d = -0.2 + 6.2. Let h = d - 9. Suppose 5*u = x + 3, 4*x - 7 = -5*u + 3*x. Is h at most as big as u?
True
Let v be -3*1*(-8)/(-3). Is -10 >= v?
False
Let c = -31/18 + 2/9. Let h(d) = 7*d + 20. Let g be h(-3). Is g at least as big as c?
True
Let d(u) = -10*u - 2. Let s be d(-2). Suppose 4*y + s = n - 2*n, y + 5*n = -14. Let r be y/(-6) - (-10)/(-6). Which is bigger: -2/13 or r?
-2/13
Let t be 2 - (2 + 1 + -5). Suppose 3*x = 4*x - 5. Let i = t - x. Which is bigger: 2/17 or i?
2/17
Let o(g) = g - 2. Let r be o(4). Let w = 1 - 1. Which is smaller: r or w?
w
Suppose k + 20 = 2*z - 0*k, 20 = 2*z - 2*k. Suppose 0 = 3*l, -i + 5*l = i - z. Let o(r) = r**2 - 5*r - 1. Let h be o(i). Is h bigger than 0?
False
Let t be 4/10*1*30. Let u be (t/75)/(2/5). Is 2 smaller than u?
False
Let l(t) = -t - t**3 - t + 3 - 4*t**2 + 3*t. Let i be l(-4). Let m be i*1*(-1 - -1). Is -1/3 less than m?
True
Let c = -9 - -10. Let n be 0*(0 + (c - 2)). Suppose 0 = 2*t - 6 + 2. Is t less than or equal to n?
False
Let b = 8 + -5. Suppose 3*h - 9 = b*z - h, -5*z = -4*h + 7. Which is smaller: z or 1/4?
1/4
Let t = 813 - 8139/10. Let d = 43753/32445 + -37/1854. Let j = d + t. Which is greater: 1 or j?
1
Let m = 1.1 - 2.1. Let y = 0.3 + 0.7. Is y smaller than m?
False
Let m = 1.3 - 0.9. Is m at most as big as 2?
True
Suppose 5*y - 9 = 6, 0 = 2*u + 5*y - 19. Let l be (u/2 - 0)/(-1). Let b be 0/(-1 - 2/(-1)). Which is greater: l or b?
b
Suppose 9 = -3*m + 2*l, 0 = -2*m - 2*l + l - 6. Let r = -0.4 - -1.4. Which is bigger: m or r?
r
Let i = -11/26 + 113/390. Which is greater: i or 0?
0
Let k = 91/2 + -47. Is -1 equal to k?
False
Let s(m) = -m + 4. Let y be s(0). Let a be (-2)/(-8) - (-5)/(-4). Let j = a - -4. Is j smaller than y?
True
Let n be (-15)/(-6) + (-2 - -1). Let q = 5/4 - n. Which is greater: -1 or q?
q
Suppose 3*w = -4*g + 688, -2*w + 5*g + 261 = -w. Let m = 1176/5 - w. Which is greater: -1 or m?
m
Let v be ((-2)/(-21))/(6/14). Suppose 4*q - 4*f - 76 = 0, q + 4*q + f = 77. Suppose 2*s + 8 = 4*l, -5*l + 3*s = -s - q. Which is smaller: l or v?
l
Let n = -1/5 - -2. Let o = 31/20 - n. Suppose 5*j = 5*w - 5, 4*w - 2*j = -0*j. Is w equal to o?
False
Let v be (7 - 9/3) + -3. Which is greater: v or -2/67?
v
Let f = -0.9 - -5.9. Let d = f + -4.5. Is 1 less than d?
False
Suppose i = -6 - 2. Let r be (-4112)/30 - i/12. Let g = -136 - r. Is 1 bigger than g?
True
Let j be (-7)/(-2)*(-36)/6. Let p = 10 + j. Is -11 at most p?
True
Suppose -89 = 5*w - 14. Is w greater than -41/3?
False
Let d = -9 - -8. Let i be (4/6)/d*3. Is i at most -1?
True
Let i be 0 + 88/42 + -2. Which is smaller: 1 or i?
i
Suppose 1 + 3 = -4*r. Let d = -3 - r. Is -4/3 less than or equal to d?
False
Let h(o) = o**2 - 2*o - 1. Let f be h(-1). Let t be ((-4)/(-14))/(f/(-3)). Let p be ((-4)/6)/(14/6). Which is smaller: p or