-549. Is -1 >= g?
False
Let j = -1 - -2. Let a = 39 - 39. Suppose a*y = y - j. Which is smaller: -1/8 or y?
-1/8
Let v = -13 + 14.7. Let o = -0.2 - v. Let z = o + 2. Which is smaller: 1 or z?
z
Suppose g + 11 = 4*p - 6, 0 = g + 2*p - 7. Let d be 3 + 0/(-3) + g. Is d at most 2?
True
Suppose -14 = 2*f - 20. Suppose -f*g - 2*g + 5 = 0. Which is greater: -1/13 or g?
g
Let a(x) be the second derivative of -x**3/3 - x**2/2 + x. Let h be a(-1). Is h smaller than 2/11?
False
Let q(o) = o**3 - 16*o**2 + 15*o - 3. Let i be q(15). Which is greater: -2 or i?
-2
Let t = -25 + 18. Let k(g) = -g**2 - 2*g + 2. Let o be k(2). Let r = t - o. Is r >= -2/7?
False
Let w = 3 - 4. Suppose -3*h + h = 0. Suppose -2 = -h*z + 2*z. Are w and z equal?
True
Suppose -f + 4*n = 6, f - 3*n + 7*n - 18 = 0. Suppose -3*m + m = f. Suppose 5*w + 30 + 0 = -5*q, 4*w + 3*q + 21 = 0. Is w < m?
False
Let f be (-12)/((-7)/2 + 2). Let b be ((-3)/15)/(f/10). Let z = 65/2 - 32. Which is smaller: b or z?
b
Suppose 2*w - 56 = 10*w. Is 2 <= w?
False
Let s = 6 + -8. Suppose h + t + 1 = 4, -4*t = -3*h - 26. Are s and h equal?
True
Suppose -4*n + 28 = -2*g, 3 = -4*g - 13. Suppose -13 = -2*y - n. Is y smaller than 5?
True
Let u(x) = -5 - 10*x + 17*x + 2*x**2 - 3*x**2. Let f be u(4). Does 7 = f?
True
Let j = -7 + 9. Let c be j/(-3) - 6/18. Is c >= 1/8?
False
Suppose -10*f = -7*f. Suppose -2*j = 4*u - 18, f = -4*j + 31 - 11. Is u > 1/2?
True
Let m be 4/(-16)*0*-1. Is 1/20 at most as big as m?
False
Let z(c) = -11*c**2 - c. Let f be z(1). Is f equal to -10?
False
Suppose 3*c = -0*c - 15. Which is greater: -7 or c?
c
Let l = 9.3 + -10. Let n = -0.3 + l. Let s = -0.1 + 0.3. Is n bigger than s?
False
Suppose 0 = 2*c - o + 7, 2*c + 10 = 4*o - 0. Which is smaller: -1 or c?
c
Let k = 30 - -198. Let z be (-568)/(2/(12/(-15))). Let s = k - z. Is 0 greater than s?
False
Let t = 34 - 93. Let y = t - -115/2. Let v = 0.9 + 0.1. Which is bigger: v or y?
v
Let q be 0/((-2)/(-1) - 3). Suppose -3*y + y + 8 = q. Suppose -5 - 11 = -y*w. Which is greater: 2 or w?
w
Let a = 3.8 - 4.8. Suppose -3*j + 5*n = -j - 18, -2*n = 8. Is j != a?
False
Let s = 0.19 - -0.11. Is -1/12 equal to s?
False
Suppose -4*c - 83 = 3*k - 0*k, 4*k + 57 = -3*c. Let v = c + 23. Which is smaller: 1 or v?
v
Suppose f = -f + 5*w - 5, 2*w + 10 = 2*f. Suppose -16 = 4*u, -3*b - 4*u = -f + 29. Are b and 1/16 nonequal?
True
Let t = -75 - -112. Is t >= 35?
True
Suppose -b + 3 = -2*q, -3*q - b + 5 + 3 = 0. Let a = 5 + -14/3. Is q at least as big as a?
True
Let u(d) = d**2 + 0 - 8*d + 9 - 6 + 0*d**2. Let x be u(7). Is x not equal to -13/4?
True
Let o be (-118)/(-42) - -2 - 1. Let l = -22/7 + o. Suppose 0 = -0*i + 2*i. Which is greater: i or l?
l
Let v = -5 + 3. Let q be (7 + v)*(-4)/10. Let b be ((-1)/q)/(3/(-2)). Which is smaller: b or 0?
b
Let l = -6 - 6. Is l greater than -11?
False
Let u = 92 - 91.86. Which is smaller: 2 or u?
u
Let h be (-2215)/(-9020) + (-1)/4. Let c = -1814/2255 - h. Which is bigger: c or -2?
c
Suppose 4*n + 8 = i, 9*n - 5*n = -3*i - 8. Does -1 = n?
False
Let c = -571 - -1039. Let a = -14975/32 + c. Is -1 at most as big as a?
True
Suppose 4*q - 2*a - 30 = 0, q = 5*q + 5*a - 65. Which is greater: q or 11?
11
Suppose -o + 1 = -4. Let c = o + -4. Let v = 0.3 + 1.7. Which is smaller: v or c?
c
Suppose -3*w + 42 = 3*p, -5*w + 62 = -3*p - 0. Which is greater: w or 2/3?
w
Let f = -14.4 - -16.7. Which is smaller: 3/2 or f?
3/2
Suppose 3*i = -4*f + 13, -4*i - 2*f = -0*f - 14. Let m = -5 + 7. Let b = m - i. Is b bigger than 0.1?
False
Let l be 1*-6*(-3)/6. Let v(r) = -2*r**2 + 3*r. Let t be v(l). Which is greater: t or -10?
t
Let o be -1 + 641/14 + 1. Let l = o - 91/2. Let k = 7/8 - 5/8. Which is smaller: l or k?
k
Suppose -2 + 0 = -n. Suppose 0 = -n*b - 8 + 16. Which is smaller: 3 or b?
3
Let m(k) = -k**3 + 6*k**2 + 5*k + 4. Let h be m(7). Let c be 2*(h/4)/1. Let a(w) = -w - 2. Let b be a(c). Which is smaller: 0 or b?
0
Let q = -98 - -97. Is q greater than 6/29?
False
Let n be 0/(-1)*-1*-1. Let y = -5 - n. Let k = -6 - y. Which is smaller: -2 or k?
-2
Let y = 6 + -7. Let z = 6 + -4. Let a be (2/8)/(-1 + z). Do y and a have different values?
True
Let q(f) = f**2 - 1. Let d be q(1). Let c = 1196/83 + -132427/913. Let b = -131 - c. Which is smaller: b or d?
b
Let w(o) = -o - 3. Let h be w(-5). Are 2 and h equal?
True
Let q(t) = -t - 3. Let i be q(0). Let u be (-1)/i + (-2)/(-3). Which is bigger: -1/5 or u?
u
Let n = -11 + 13. Suppose i + 3*v = -5 - 7, 0 = -4*i + n*v - 6. Is i greater than -3?
False
Let s = -1.3 - -0.3. Let t = 9 + -4. Let v = -4 + t. Are v and s equal?
False
Let t = -436 + 10902/25. Is t bigger than 1?
False
Suppose 4*d - 54 = -d - 3*q, 5*d = 4*q + 33. Suppose -2*y = 1 + d. Which is greater: -4 or y?
-4
Suppose 8 + 1 = -d. Suppose -2*m = -m + 5*u - 5, 3*u = 3*m + 39. Is m >= d?
False
Let i = 10 - 6. Which is smaller: 2 or i?
2
Suppose 0*x + 2 = 2*s + 2*x, -4*s + x = -24. Suppose -s*d + 8 = -2. Let g = 29/22 + 2/11. Which is smaller: d or g?
g
Suppose -2*d + 5 = -t, 2*t - 7*t - 25 = -d. Let a be 3/(-3)*(-4 + 1). Suppose 0 = a*r - 2*n, d*r + 11 = -r - 3*n. Is r equal to 1/2?
False
Suppose 0*y = -4*y + 4. Is 2 > y?
True
Let p = 0 - -4. Let n = 3 - 3. Suppose -5*z + p*z - 13 = 3*t, -3*z - 12 = n. Which is bigger: -4 or t?
t
Let z(r) = -r**2 + 2*r + 3. Let q be z(3). Is q smaller than 0?
False
Let z = -16 + 18. Suppose 0 = -2*t - 0*t + z. Are t and -7 nonequal?
True
Suppose -6*c - 5*c = 0. Which is bigger: c or 3/13?
3/13
Suppose 0 = 4*i - 2*i - 3*b + 6, 5*b = -4*i + 32. Let h = -8 + 14. Suppose 3*k + 2*k + 4*g = 17, -3*k = -i*g + h. Are k and 2/3 unequal?
True
Suppose -h - 4*h + 5*w = -35, -4*h - 4*w + 20 = 0. Is h smaller than 8?
True
Let b(u) = -u - 1. Let r be b(3). Let v be -15*3/36*4. Which is smaller: v or r?
v
Let i(y) = -y**3 - 8*y**2. Let n be i(-8). Which is bigger: 3/37 or n?
3/37
Suppose 5*i - 2*h + 5*h = -19, -6 = -3*i + 4*h. Let r(l) = l**3 + 3*l**2 + 4*l + 3. Let x be r(i). Let s = 86/165 + -4/33. Which is greater: s or x?
s
Let h = 27 + 24. Which is smaller: h or -2/5?
-2/5
Let g = -64 - -59. Is g <= -6?
False
Let a be (-186)/(-60) + (-3)/1. Let s = 23/30 - a. Is -1 > s?
False
Let s = -6 + 10. Let z = s + -6. Are z and -3 equal?
False
Let q = 9900180/10040173 + -3/70211. Let v = -10/11 + q. Let c = 31 + -31. Which is smaller: c or v?
c
Let b = 2 - 2.2. Suppose -76*m = -81*m + 40. Do b and m have the same value?
False
Suppose -5*a = -34 + 4. Let y(w) = 7*w**2 - 6*w - 1. Let n(f) = 15*f**2 - 12*f - 3. Let u(r) = a*n(r) - 13*y(r). Let x be u(5). Is 0 less than or equal to x?
True
Let d be (-1490)/(-25)*(-1)/(-6). Let l = 31/3 - d. Is 1 > l?
True
Suppose 8*o - 10*o = -104. Are o and 52 equal?
True
Let m be 0*(1 - (-6)/(-4)). Let a = -0.05 - -1.05. Let k = -0.8 + a. Which is greater: m or k?
k
Let j(g) = 2*g - 1. Let l be j(-5). Is l less than -11?
False
Let m = 27.94 + -28. Is m != 0.2?
True
Let u(r) = -r - 11. Let v be u(0). Which is smaller: 1 or v?
v
Let t(r) = -r. Let b be t(7). Is b at most as big as -6?
True
Let n(g) = g**2 - g - 2. Let l be n(2). Suppose l = -5*r + 25, -f - 35 = 4*f - 3*r. Are -6 and f nonequal?
True
Let t = -1.34 + 2.43. Let v = 0.09 - t. Are -1 and v equal?
True
Suppose -3*t - 3*n = 0, -23 = -4*t + n - 8. Suppose t*x + 10 = -2*x. Let s = -7 - -6. Which is greater: x or s?
s
Let a be (3856/(-60))/(4/6). Suppose -4*k + 4*v = -400, -k + 5*v = -69 - 43. Let g = a + k. Which is greater: g or 1?
1
Let p be (-4 + (-388)/(-100))*-5. Which is greater: 0.4 or p?
p
Let c = 63839/4 + -15827. Let j(v) = 5*v**2 + 8*v. Let t be j(-6). Let b = t - c. Is b != 0?
True
Let g = 2.745 - -0.055. Is -0.3 at least as big as g?
False
Suppose -2*a + 5*q = 3*a - 35, -2*a = 3*q - 4. Suppose -a*c + 9*u + 20 = 4*u, -c - 3*u = 4. Let h be 0/(-2 + 1 - 0). Which is greater: h or c?
c
Let q(s) = -s**3 - 4*s**2 + 6*s + 2. Suppose -f - 27 = 2*f - 4*n, -n = -3. Let o be q(f). Are o and -5/2 nonequal?
True
Suppose 5*c - 4 - 1 = 0. Let m = 1518/7 + -216. Which is smaller: m or c?
m
Let c be 102/114 - 2 - (-1 - 0). Is c at most 0?
True
Let b(l) = -l - 1. Let q(h) = -h**2 + 8*h - 1. Let a(p) = -b(p) - q(p). Let m be a(7). Let v be ((-2)/(-20))/(m/8). Which is bigger: 0.1 or v?
v
Suppose 2*z - 13 = -5. Let h = z - 3. Let n be (-3)