.1. Let j = x - h. Which is greater: j or 5?
5
Suppose 3*c - 3*d - 2 = 1, 0 = -d + 1. Let l = c - 1. Suppose -12*y - 17*y = -26*y. Is y less than or equal to l?
True
Let v be (-2)/6 + 146/6. Is 24 smaller than v?
False
Let v be 19*6/(-27) - -4. Is 2/15 >= v?
True
Suppose 0 = 5*l - m + 7, 2*m = 5*l - 2*l. Is l less than or equal to 0?
True
Let v be (-138)/(-18) + 4/(-6). Let s be 1/(-4)*(-6 + v). Is 8 less than s?
False
Let z be (12/(-10))/(12/(-30)). Are z and 11/4 equal?
False
Let a(t) be the third derivative of t**6/120 - t**5/12 - t**4/24 + t**3/3 - 2*t**2. Let m be a(5). Is -4 at most m?
True
Let h = 29 + -318/11. Which is smaller: h or 1?
h
Let t = -14751/7 + 2103. Is -5 bigger than t?
False
Let o = -6 + 8. Suppose -7*m + 2*m + 7 = o*n, 4*m - 24 = 3*n. Suppose 2*x - m - 3 = 0. Are 3 and x non-equal?
False
Let k be (-2)/(-10) + 4/(-20). Is 1 >= k?
True
Let d = 2.56 - -0.44. Is d greater than 2.3?
True
Let v be -2*1/2*1 - 4. Which is greater: -10 or v?
v
Let u be ((-4)/(-8))/(62/24). Is 1 at most as big as u?
False
Suppose o + 22 = -5*h, 6*o - 4 = 2*h + 4*o. Is h equal to -5?
False
Let t = 16.9 - 17. Let b = -0.1 + 0.3. Let d = t + b. Does 0.1 = d?
True
Let u(y) = -y**2 + 7*y + 11. Let g be u(8). Suppose 0 = g*l - 12 - 0. Let h be (l/(-18))/(2/(-3)). Which is greater: h or 0.3?
h
Let w = 36/13 + -339/52. Let o = w - -13/4. Is -0.2 at most as big as o?
False
Let j = -36 + 35. Suppose -3*w + 0*w = 0. Which is greater: j or w?
w
Suppose -3*w + 10 = -8. Let f be -1 - -3 - (7 - w). Does f = 5/3?
False
Let i be 25/(-210)*(-6)/15. Is i greater than 2/3?
False
Let n(o) = o**3 - 9*o**2 + 9*o + 2. Let w be n(8). Suppose 31 = 4*d + 5*k, 2*k = 3*d + d - w. Let u be (-1)/d*24/(-10). Is u less than or equal to 0?
False
Suppose 20 = -3*f + g, 0*f - 3*g = -2*f - 11. Let q be (-1)/1 - (f + 4). Is -0.2 <= q?
True
Let q be 0/(-2) + (2 - 3). Let i be 1 + (-2 - -1 - q). Suppose 0 = 2*v + 7 + i. Are v and -1 nonequal?
True
Let w = -20/3 + 88/15. Which is smaller: w or 0?
w
Let p(y) = -y**3 - 3*y**2 - y + 1. Let t be p(-2). Let l be (117/(-12))/(-3) - 4. Is l greater than t?
True
Let d(p) = -p**3 + 3*p**2 - 3. Let o be d(3). Let w be (4/18)/(o/(-30)). Let c = w + -71/36. Are c and -1 non-equal?
True
Let s(y) = -y + 19. Let q be s(13). Let v be 45/q*26/3. Let n = -456/7 + v. Is n smaller than -1?
False
Suppose 12 = b - 5*b. Let g be b*((-32)/(-15) + -2). Let i(z) = -z**2 - 4*z - 3. Let n be i(-3). Is n not equal to g?
True
Let a be (-1 + 2)*(-1 - -4). Suppose i + 5*y + 10 = -0*i, 5*y + 10 = 4*i. Suppose 3*m + i = a. Which is greater: 0 or m?
m
Let r(h) be the third derivative of h**4/24 + h**3/2 + h**2. Let m be r(-5). Let z = 59 + -119/2. Does m = z?
False
Let t be (-6)/(-15) - (-9)/15. Let j be 3 - (4 + -1 + -1). Do j and t have the same value?
True
Let s be (-2 + 9)*(-6 + 16). Is 70 greater than or equal to s?
True
Let g be 4/6 + 1/(-1). Let q be 1/(-1)*-7 - 1. Suppose -n = -q*n. Is n bigger than g?
True
Suppose -17 = 2*z - 9. Let b be 54/(-42) - z/14. Which is smaller: 1/4 or b?
b
Suppose 20 = 5*d, -4*d - 170 = -2*g - 0*g. Let k = -835/9 + g. Is k smaller than 1?
True
Let q be (135/(-2280))/(3/(-4)). Is q at most 1?
True
Let c = -79 + 92. Is c bigger than -1/4?
True
Let i be 8 + (-1 - -1 - -1). Let p = i + -8. Which is smaller: -2 or p?
-2
Let v = 18 - 13. Suppose -5*z + 4*z + v = -2*j, 5*z - 3*j = 4. Are z and -6/11 unequal?
True
Let c = 0.2 + -0.2. Let g = c + 0.2. Let b be ((-22)/5 - -4) + 0. Which is smaller: g or b?
b
Let o = 0.08 - 13.08. Let f = o + 12.8. Which is smaller: f or 2/9?
f
Let z(v) = v**3 - 3*v**2 - 3*v - 2. Let j = -3 - -7. Let n be z(j). Let a be n/(-3) + (-1)/3. Is -1 <= a?
True
Let m(y) = -y**3 - 3*y**2 + 3*y + 1. Let n be m(-4). Let b(o) = -o + 5. Let t be b(n). Are t and 0 equal?
True
Suppose 32 = -d + 6*d - 4*z, 0 = -5*z + 10. Let l be (-12)/(-16) - (-2)/d. Is l > 0?
True
Let g = -0.4 + 0.6. Which is smaller: 1 or g?
g
Let h = -3 - -4. Suppose -4 - h = 5*b. Suppose -6*j = -j + 10. Which is greater: j or b?
b
Let a(f) = f**2 - 3*f + 2. Let p be a(2). Is 13 equal to p?
False
Let c = 24 + -24. Suppose -2*a + 4*a = 10. Suppose 0 = -a*b + b. Is c at least as big as b?
True
Let n(u) = u**2 + 9*u + 10. Let r be n(-8). Let x be (8/36 - r) + 2. Let m = -3 + 2. Which is smaller: x or m?
m
Suppose -3*u - 4 = -5*u. Let f be u/(-5 - -3) - 0. Is f >= 1/2?
False
Let a(n) = -2*n. Let s be a(1). Let r be ((-1)/s)/((-6)/4). Let f = r - -1/21. Which is smaller: 0 or f?
f
Let h(y) = -6*y**2 + 3*y - 3. Let w(s) = -3*s + 2*s**2 + 2*s + 0 + 1. Let d(u) = -3*h(u) - 8*w(u). Let j be d(1). Is 3 > j?
True
Let d = 23 + -19. Suppose -6 + 0 = 3*s, 4*p - 5*s = 26. Is d <= p?
True
Let m = 10/9 + -31/36. Which is greater: m or -0.11?
m
Let v be (0 + 3)*8/(-6). Let k(g) = -5*g**3 + 0*g**3 + 1 - 4*g**2 + 5*g**3 + g**3 - g. Let s be k(4). Which is greater: v or s?
s
Let v = -3.96 + -0.04. Which is smaller: v or -2/7?
v
Let u(d) be the second derivative of d**3/6 + d**2/2 - 3*d. Suppose -z = -3 + 2. Let r be u(z). Is 3/5 > r?
False
Suppose 0 = 5*y - d - 9, -4*d + 14 = 4*y + y. Which is smaller: y or 1?
1
Suppose -5 = -s - 4*n, n = -2*s + 4*n - 23. Let x = -4 - s. Is x bigger than 2?
True
Let h = 38.084 - 0.084. Let z = 35.7 - h. Let i = z + 2. Which is smaller: i or 2?
i
Let k = -61 + 61. Is k less than or equal to 1/6?
True
Let m(r) = 2*r + 4. Let k be m(-1). Suppose -3*p = 3 - 9. Suppose 5*j - 2*h + p = 0, -j + 0*j + 2*h - 2 = 0. Is j > k?
False
Let n be (2/1 + -2)/(-1). Let q = -85 - -61. Let h be q/(-14) + (-4)/(-14). Is n less than or equal to h?
True
Let f = -1 + 2. Let p be 1 + 0 - (-101)/(-103). Let v = p + 87/824. Is v equal to f?
False
Let c(d) = -2*d**2 + 29*d + 3. Let s(m) = -m**2 + 15*m + 2. Let z(n) = 6*c(n) - 11*s(n). Let o be z(9). Suppose 0*i - 5*i = 20. Is i at least o?
True
Let j = -11 + 15. Let p = 0.3 + -1.3. Which is smaller: j or p?
p
Suppose 0 = 3*o - 5*o - 10, 2*r + 8 = -2*o. Suppose -t + r = -0. Which is smaller: -1/7 or t?
-1/7
Let w = 243/23875 - 5/191. Do w and 1 have different values?
True
Let u be ((-6)/6)/((-2)/(-8)). Which is smaller: u or -14/5?
u
Let w = 0.08 - 0.14. Let p = -41 - -42. Is p at least as big as w?
True
Let m = 0.13 - 0.23. Let k = 6/23 + 57/46. Which is smaller: k or m?
m
Let k = -6 + 4. Let t = -8 + -2. Let u = t - -9.8. Which is smaller: u or k?
k
Let z = 194/7 + -28. Let g = -23 + 24. Suppose 4*s = o + 8, -5*o + g = 4*s - 7. Is z at least o?
False
Let x be 2/(-6) - (-950)/(-6). Let v = x + 157. Which is bigger: 0.1 or v?
0.1
Let u(b) = -b + 6. Let o(q) = -4*q + 1. Let s be o(-1). Let l be u(s). Suppose -4*r + 0*r + 4 = 0. Is r >= l?
True
Suppose 0 = 2*s - 0*s. Let h = -13 - -11. Let j be h/12*45/(-6). Which is bigger: s or j?
j
Let n be (-1 - 24/(-28))*2. Let u(q) be the second derivative of q**5/20 - q**4/12 - q**3/2 + 3*q**2/2 - 2*q. Let r be u(2). Which is bigger: n or r?
r
Suppose -36 + 10 = 2*l. Which is smaller: l or -12?
l
Let m = -1083/19351 - -1/523. Do -1 and m have the same value?
False
Suppose -28 = b - 4*m, -3*b + 3*m = m + 34. Let a be ((b/34)/2)/(-1). Is a at most -1?
False
Let w = -0.3 + 1.3. Let k = -15897 + 110780/7. Let t = -71 - k. Is t < w?
True
Let q = 1.46 - 1.5. Which is smaller: 0.1 or q?
q
Let v be (-3)/(-3) + -3 + 3. Let a = 4 - v. Let y(h) = h**3 - 3*h**2. Let g be y(a). Is g at least -2/19?
True
Let f be -1 - -4 - -2 - 4. Let a be (-1)/7 + 1/(-42). Is f < a?
False
Let b = -1/677 + 24379/4739. Is b >= 5?
True
Let p(u) = 2 - 2 - 2*u. Let q = 3 - 4. Let c be p(q). Which is smaller: c or 1?
1
Let l(g) = -g**3 - 4*g**2 + g - 13. Let v be l(-4). Is v greater than -49/3?
False
Let z be 4/33 + (-1)/(-3). Let t = -1/22 - z. Let b be (0 - 0)/(0 + 1). Is t at most as big as b?
True
Let a(p) = p**2 + 19*p - 22. Let w be a(-21). Is w < 21?
True
Let h = 6 + -7. Let p = h - -4. Which is smaller: -5 or p?
-5
Let v = -2.7 + 0.2. Let x = 0.5 + v. Is x <= -2?
True
Let b be 2/(-6) + (-32)/12. Let h(c) = -2*c. Let q be h(1). Does b = q?
False
Let x be 88/24 + 5/(-3) + 1. Suppose -3*c - 33 = -5*i + 54, 0 = -3*i + c + 53. Suppose -5*y - 12 = 4*m, -m + 3*y = -y - i. Which is smaller: x or m?
m
Let p(o) = 3*o**2 - 4*o + 2. Let v be p(2). Is v > 7?
False
Let g = 5 + -4. Is g less than 0?
False
Let p be (-12)/6 