2*k = 5*m - c, 4*k - 8 = -4*m - 0*k. Is m less than 5?
False
Let x(o) = o**2 + 14*o + 8. Let b be x(-12). Is -15 < b?
False
Let b(q) = q**3 + 10*q**2 + 9*q + 2. Suppose -j + 3*x + 3 = 0, j + 0*x = -x - 13. Let l be b(j). Suppose -2 = -4*m + 2. Is l less than or equal to m?
False
Let f = -4 - -8. Suppose -6 = -n + 4*r, 2 + 7 = -f*n + 5*r. Let s = 5 + n. Which is smaller: s or 0?
s
Let w(f) = -f**2 - 3*f + 2. Let k be w(1). Suppose -4*p - 1 - 7 = 0. Is k at most as big as p?
True
Let a(d) = d + 1. Let s = 3 + -3. Let n be a(s). Let r be 0/((2/1)/(-2)). Is r greater than n?
False
Let q be (-4)/(-14) + 24/14. Suppose z + z + 8 = -3*t, -q = t. Let w = -10 + 9. Do w and z have the same value?
True
Let k(y) = y**2 - 3*y + 3. Let u be k(3). Let n = 528 + -2626/5. Is n > u?
False
Let d = 7 + -6. Is -1 less than or equal to d?
True
Let y(p) = 3*p**3. Let o be y(1). Suppose -11 = -4*k + o*l + 5, 20 = 5*k + 5*l. Do k and -1 have the same value?
False
Let c = 3 - 3. Let t = c - -1. Which is greater: t or -4?
t
Suppose -8 = -3*v + 7. Which is greater: v or 4?
v
Suppose -5*t = -3*t. Suppose 0 = -t*a + 5*a + 15. Is -1 smaller than a?
False
Let s(j) be the second derivative of -j**4/12 + j**3/3 + 9*j**2/2 + 7*j. Let h be s(5). Is h less than -7?
False
Let q = 1 - 2. Let a = -10 - -12. Let i = a - 4. Are i and q non-equal?
True
Let d = 5.9 - 5. Which is bigger: 2/3 or d?
d
Let d(u) = -u - 6. Let x be d(-6). Suppose x = j + j - 2. Is j greater than 9/7?
False
Let l = 544/7 + -78. Which is smaller: l or 2/81?
l
Suppose -2*t - 4 = -3*b - 16, -2*b = 3*t + 8. Suppose 3*m + 9 = 2*o, -7 = -3*o + 7*o - m. Is b > o?
False
Let t be 6/(-16) - 1/4. Let a be -2*(-46)/(-32) - -3. Let l = t + a. Which is smaller: -1 or l?
-1
Let k be (-22)/11*3/(-1). Suppose i - k*i - 5 = 0. Is i at least 1?
False
Let v = 70 + -135/2. Let d(s) = s - 3. Let u be d(5). Is v >= u?
True
Suppose b = -0*a + 2*a - 347, 4*b - 3*a + 1413 = 0. Let i be 2/9 + b/513. Let f = -7/19 - i. Is f != -1?
True
Suppose -4*o - 4 = 0, 5*i + 5*o + 33 = 2*o. Do i and -8 have the same value?
False
Let k(d) = 4*d - 49. Let a be k(11). Let v(l) = -l**3 + 7*l**2 - 8*l + 9. Let u be v(6). Which is bigger: u or a?
u
Let m be (8/(-40))/((-4)/10). Is -0.04 at most as big as m?
True
Let y be ((-72)/(-10) - 7) + (-148)/90. Is -2 bigger than y?
False
Let b be 3 - 171/(4 + -1). Which is greater: b or -53?
-53
Let u be ((-16)/10)/(-2)*10. Suppose -2*x - u = -2. Is x at least as big as -2?
False
Let l(p) = -8*p + 1. Let y be l(1). Suppose 0*v - 5*a - 35 = 2*v, -4*v = -3*a + 5. Let h = v - y. Are 1 and h unequal?
True
Let l = -24.9 + 25. Is -2/19 less than l?
True
Let b = 4/9 - 1/9. Let p be 2 + 2/(-4)*0. Let r = p - 1. Which is greater: r or b?
r
Let p = -993/7420 - 6/371. Let g = p + -1/4. Are 1 and g unequal?
True
Let y(c) = -3*c - 2. Let g be y(-3). Which is smaller: 2 or g?
2
Suppose -24 = -4*w + 4*p, 2*w = 3*p - 5*p. Suppose 6*t - w*t = 0. Let m = 1 + -1. Is m at most t?
True
Let s be -2 - (-2)/22 - 0. Let z = s - -51/44. Let o = -92 + 462/5. Which is greater: z or o?
o
Let t be 25/5*(48/15)/(-2). Which is smaller: -7 or t?
t
Suppose 0 = -2*i - 2*i - 20. Let f be (-5)/(i/(-3)) + 7. Suppose -2*t + o = f, 5*t + o + 8 = t. Is -1 equal to t?
False
Let g = -21 + 12. Let s = g - -7. Is 2 greater than s?
True
Let r be ((-23)/3)/(8/(-102)). Let s = -97 + r. Let n(t) = -t**2 + 26*t - 24. Let k be n(25). Is s <= k?
True
Suppose -19 + 75 = 7*s. Which is smaller: 9 or s?
s
Let d = -3.3 + 1.7. Let b = -3.8 + 4.4. Let w = b + d. Which is bigger: -3/5 or w?
-3/5
Suppose 10*n = 15*n - 220. Is 45 equal to n?
False
Let v = -0.12 - -0.08. Let k = v - -0.04. Is 10 at most as big as k?
False
Let x = 12 - 12. Suppose d - 6*d + 5 = x. Is d less than 2/11?
False
Let r be 3/(42/(-38)) - -3. Which is smaller: -1.3 or r?
-1.3
Let m(v) = -v**2 + v - 1. Let o be m(2). Which is smaller: -27/8 or o?
-27/8
Let j = -3 + 7. Let v be (-10)/j*(-20)/25. Suppose -2*b - v*b = 0. Is b <= 1?
True
Let a = 0.04 + -37.04. Let c = 24 + a. Let b = c + 8. Which is smaller: -1/2 or b?
b
Let m = 5 - -10. Let v = m + -15.1. Are 8 and v equal?
False
Let h = -15 + 8. Let b = 750 - 742.98. Let d = b + h. Which is smaller: d or 1?
d
Suppose -3*k = 3*g - 15, 2*k + 5*g = 15 + 10. Suppose -2*f = -2 - 6. Let m be 1/f - 3/(-4). Which is greater: m or k?
m
Suppose 2*v = q + 5 + 2, 3 = -3*v - 3*q. Suppose -2*y + 3*w + 30 = 0, -7*y = -2*y - v*w - 64. Is 11 equal to y?
False
Let x be -2*4/(-8) - 1. Which is smaller: -1/33 or x?
-1/33
Suppose g = 4*g. Is -2/13 > g?
False
Let w be -1*(15/(-5))/(-12). Does w = 1?
False
Let h be (-101)/10 - 8/20. Let c = 11 + h. Let x be (2 - 1)/((-3)/(-6)). Which is bigger: x or c?
x
Let q(t) = -2*t - 6. Suppose -4*s = -3*b - 5*s - 12, -3 = 5*b - 4*s. Let c = -7 - b. Let m be q(c). Which is smaller: 0 or m?
0
Let w(d) = -d**2 - 12*d - 2. Let z be w(-11). Is z <= 9?
True
Let a be 4/2 + (-7)/(315/78). Let b(n) = -n**2 - 5*n - 1. Let c be b(-5). Do c and a have different values?
True
Let y(z) = z**2 + 2*z**3 + 7*z**2 - 1 - z**3. Let c be y(-8). Let o(h) = 2*h - 39. Let k be o(18). Is c equal to k?
False
Let m be 14/(-3) - (-2)/(-6). Let c(u) be the third derivative of -u**6/120 + 7*u**5/60 - u**4/4 - u**3 + 2*u**2. Let x be c(6). Which is smaller: m or x?
x
Let m = -3 + 3.52. Let t = -0.08 - m. Let g = -76 - -76.1. Is t at most g?
True
Suppose 0 = -2*l - l - n, -4*l - 5*n = 0. Which is bigger: l or 2/17?
2/17
Let t = 0 - -11. Let g(r) = -r + 23. Let n be g(13). Is t at most as big as n?
False
Let c = 58.3 - 58. Is c equal to -35?
False
Let w = 46 + -46. Which is greater: w or 1.8?
1.8
Let m = 57.1 - 57. Which is smaller: -1/10 or m?
-1/10
Let p = -399/4675 - -1/187. Is 0.1 at most p?
False
Let w(t) = t + 14. Let v(r) = -r + 6. Let j be v(6). Let b be w(j). Which is greater: 13 or b?
b
Let b = 95/468 + 1/52. Let u be -1*2/(4 - 2). Which is smaller: b or u?
u
Suppose p - q + 3 = 4, 15 = -3*q. Let l = p - -5. Which is greater: l or 1/2?
l
Let w = -23 - -27.4. Let l = 4 - w. Which is bigger: l or 1?
1
Suppose 0 = -5*q + 15 + 5. Which is bigger: q or 36/7?
36/7
Let m = 4.77 - 5. Let p = 1.13 + m. Let b = p + 0.1. Which is bigger: 1/4 or b?
b
Let o = -11/12 + 5/3. Are o and 0 unequal?
True
Let y(m) = -m**2 - 3*m + 12. Let f be y(-5). Is f < 8/11?
False
Suppose 0 = -6*p + p - 3*z - 29, -23 = 2*p + 5*z. Let u = -1 - p. Suppose o - 1 = -u. Is o less than -3/4?
True
Let x be (-3)/4*(-19 + -1). Let j be (-38)/(-120) + (-6)/x. Is -2/3 at least as big as j?
False
Let y(g) = 3*g. Let t be y(-4). Is t equal to -11?
False
Let h be 10 - (-17)/(-85)*(0 + 5). Which is greater: 5 or h?
h
Let v = 25 + -80/3. Which is smaller: -2 or v?
-2
Suppose 22 = 4*s - 10. Suppose -4*j = -s, -2*h + 3*j - 4 = j. Is 2 equal to h?
False
Let f = -19704/25 - -788. Is 0 at least as big as f?
True
Suppose 3*y = -7*o + 3*o, 0 = 2*o + 2*y. Let n be o - (-3 + 3 - -3). Is n at most as big as -2?
True
Let a(k) = k**3 - 2*k**2 - 3*k + 1. Let n be a(2). Let u = -1.1 + 2.1. Are u and n non-equal?
True
Let p = 0 + 5. Suppose -p*k = 4*u - 31, -3*k + 2*u = -u + 3. Suppose -4*o + 0*m - 12 = -5*m, o - 2*m = -6. Which is smaller: k or o?
o
Let r = -94 - -97.08. Let d = -0.08 + r. Let s = 114 + -114. Are d and s unequal?
True
Let v(q) = q**2 + 10*q + 3. Let n be v(-6). Is n >= -21?
True
Let u be 4/(-63) + (-2)/9. Let n(c) = c + 8. Let g be n(-12). Which is bigger: g or u?
u
Let u = 3.1 + -4. Let l = u + 0.7. Is 2/3 < l?
False
Let b = 0.1 - 0.1. Let u = 1 - b. Which is bigger: 2 or u?
2
Let w = 52 - 34. Let y be (w/15 + -1)/1. Is 0 greater than or equal to y?
False
Let j = -2691300453/275 - -9786559. Let s = 130/11 - j. Is s > 0?
False
Suppose -f + 6 = 5. Let y = -2 + 2.1. Let c = y - 0.1. Is f <= c?
False
Let w = 0.7 + -5.7. Which is bigger: w or -1?
-1
Let g = 9.09 + -10.1. Let h = 1 + g. Is -2/7 at least h?
False
Let g be (2/(-4))/(-1)*8. Suppose 0 = -g*l - l + 15. Suppose 2*y - 11 = 3*x, -y = x + l*y - 15. Is -5 at least x?
False
Let m be (-4)/(2 + -4*1). Suppose 32 + m = -2*b. Let v = b + 12. Which is bigger: -7/2 or v?
-7/2
Let k = 3 + -8. Let v be (32/(-16))/(6/15). Is k less than v?
False
Suppose -4*d - 2*x = -6, -3*d + 2*x + 8 + 0 = 0. Suppose 5*z - 4*p - 24 = 187, 2*p = -2*z + 70. Let w be z*(-3)/(-45