g, -3*g - 5 = 5*p + 2*g. Is p less than or equal to 3/5?
True
Let y(a) = -a**2 - 9*a - 6. Let b be y(-9). Let p be 0 - (2 + b + 3). Is 2/5 less than p?
True
Let u = -64 + 64. Let d be (0 - 2 - -1)*3. Let m be (d/(-5))/3*-7. Is u at most as big as m?
False
Let m(a) = -a**3 - 6*a**2 + 8. Let y be m(-6). Let p = 13 - y. Suppose -2*n + 3 + p = 0. Are 5 and n equal?
False
Suppose -18 = 9*y - 0. Which is bigger: 2 or y?
2
Suppose -5*c + 2*g - 60 = 0, 55 = -5*c - g + 2*g. Do -12 and c have different values?
True
Suppose -2*x = u - 4*x - 10, 4*x + 20 = 0. Suppose 3*p + 0*p - 9 = u. Let h be 6/9 + p + -4. Which is greater: h or 0.2?
0.2
Let o = 273 + -3819/14. Are -1 and o non-equal?
True
Let v = 1/80 + 3/16. Let d = -3/35 - v. Is 0 != d?
True
Let x = 6 + -6. Let o = -3/19 - -47/57. Which is smaller: x or o?
x
Let f = 12.8 + -6.8. Which is bigger: f or -7/4?
f
Let k = 12832 + -461915/36. Let r = k + -5/4. Is 0 at most as big as r?
False
Suppose -5*k + 3*b + 24 = 9, 0 = 2*b. Let r be k/(-15) + (-27)/165. Which is smaller: -1 or r?
-1
Suppose -3*o + 11 = 5*l, 5*l + 0*l - 2*o - 1 = 0. Let m = l + -4. Let w be 0*m/(3 + 0). Is 0 <= w?
True
Let w = 226/7 + -6547/203. Is w equal to -1?
False
Let z(c) = -c**3 + 6*c**2 + 3*c - 2. Let q be 5 + 2 + (0 - 1). Let g be z(q). Is 17 smaller than g?
False
Let f be 2/3*(-1 - 2). Is f >= -3/5?
False
Suppose 0 = -2*m - 3*j - 12, 2*m - 3*m - 6 = -j. Let x be (m + 1)/(8 - 2). Let d(b) = -b**2 + 2*b. Let c be d(2). Which is smaller: c or x?
x
Let n(x) = -x**2 - 25*x - 47. Let o be n(-23). Which is greater: o or -1/54?
-1/54
Let z = 137/3 + -46. Let o be 3 - (-2 - (-4 + 2)). Let f be -3*(-1)/(0 + o). Is f < z?
False
Suppose -4*l - 12 = 2*r - 2, 3*r - 3*l - 12 = 0. Let v be 10*((-2)/5 + 0). Let t = 6 + v. Is r smaller than t?
True
Let w = -61 + 38. Let a = 22 + w. Is a greater than -2?
True
Let d be 0*1*2/2. Let k be 5/(-6) + 6/12. Is d at most as big as k?
False
Let c be 10*(8/5 - 2). Let f be (2/c)/(1/(-3)). Are f and 1 non-equal?
True
Suppose 4*i - 14 = -5*h, -3*i = -h - 0*h - 1. Let k = 113423/4284 - 1651/63. Let o = 1/51 - k. Which is greater: i or o?
i
Suppose 33 = q + 2*q. Let j be (-2)/11 + (-20)/q. Let h be j/(-2) - (-21)/(-27). Is h < 1?
True
Let t = 2 + -3. Let r be 15/9 + (-2)/(-6). Let c be r/4 + t/2. Which is greater: -2/5 or c?
c
Suppose -4*c + c = 9. Let y(u) = 4*u + 2. Let x be y(-6). Let a = x + 21. Is a not equal to c?
True
Let m = -24 + 41. Do m and 15 have the same value?
False
Let k(g) = -g**3 - 5*g**2 + 6*g. Let p(v) = v**2 + 8*v + 12. Let h be p(-8). Suppose -u - h = u. Let b be k(u). Is b less than or equal to 2?
True
Let g be ((-62)/341)/((-4)/22). Suppose -4*h + 0*h + 72 = 0. Let v be (1/h)/(1/(-2)). Is v less than or equal to g?
True
Let q = -20 - -19. Which is bigger: 0.04 or q?
0.04
Let p be (-6)/2 + 12/3. Let z = -2 - -5. Let q be (-2 - -3)*(z - p). Which is smaller: q or 1?
1
Let y = -1 - -1.01. Let i(h) = -h**3 - 2*h**2 + 22*h - 9. Let a be i(-6). Is y less than or equal to a?
True
Let x(c) = c**3 - 13*c**2 - 11*c - 5. Let a be x(13). Let s = a - -597/4. Which is smaller: s or 0?
0
Let q = 0.03 + 0.37. Let t = q + -0.3. Let o = 1.8 + -2. Is t at least as big as o?
True
Let y = -10 - -19. Suppose 3*v - 23 = -5*z, -z + y = z + v. Is 4 greater than or equal to z?
True
Let h = 57 - 209/4. Let l = h - 5. Suppose -5*n + 3 = -2. Is l at most as big as n?
True
Let l = 7.8 - 7.9. Is 2.6 smaller than l?
False
Let c = 1.8 - 2.8. Is c at most -7?
False
Let k be (-57)/((6/14)/((-14)/(-49))). Which is smaller: -40 or k?
-40
Let m = -9.949 + -0.051. Is -0.1 at least m?
True
Let l(y) = y - 2. Let t be l(5). Suppose -t*n + 4 = n. Suppose 4*c = 5*c + n. Is -2 > c?
False
Let n be (3/2)/(36/72). Let s be (-3)/12 - 5/(-4). Let d = s + 2. Is d at least as big as n?
True
Let c be ((-20)/390)/(1/(-3)). Which is smaller: 0.3 or c?
c
Let o = -2.61 - -0.21. Which is smaller: 2/3 or o?
o
Let y be -2*(0 - (-2)/(-4)). Let z(c) = 2*c - 1. Let l be z(-1). Let u be (l - -1)*y/(-2). Is u less than 2/7?
False
Let s(d) = 3*d**2 - 3*d + 4. Let w be s(2). Suppose 4*t - 12 = -2*h - 2*h, 0 = 5*h + 2*t - 24. Let x be 8/w + (5 - h). Is x less than -1?
False
Let n be 64/240*25/6. Which is bigger: -2/9 or n?
n
Let k(l) be the third derivative of 2*l**2 + 0*l + 5/6*l**3 + 0 - 1/24*l**4. Let o be k(7). Is o <= -3?
False
Let r = 347/284 + 2/71. Which is smaller: 0 or r?
0
Let t = -3 + 5/3. Which is greater: t or 0?
0
Suppose -3*z + 1 = -8. Suppose -2*i - z*i = 5. Is i at most as big as -7/4?
False
Let r(d) = -d**3 - 5*d**2 - 8*d - 7. Let y be r(-5). Let u be (-1)/(-4) + y/4. Is 9 >= u?
True
Let z be ((-6)/45)/(3/9). Which is bigger: z or -4?
z
Suppose 3*g + 3*s - 37 + 7 = 0, -g = 2*s - 15. Suppose 0 = q + g*p + 6, -5*p = 5*q + 8 + 2. Let w be 2/((-1)/(-1)*-1). Are q and w unequal?
True
Let f = -13 + 7. Let v(w) = w**3 + 5*w**2 - 4*w + 5. Let j be v(f). Let r be j/7 - 11/(-13). Is 0 at least r?
True
Let y = -50/39 + -257/195. Which is bigger: -4 or y?
y
Let q = -3.05 - 0.15. Let k = q - -3. Let p = -0.1 - k. Are p and 0.3 nonequal?
True
Let t(o) = -o**3 + o**2 - o + 3. Let h be t(0). Suppose 6 - 21 = h*k. Let q(u) = -u**3 - 5*u**2 + u + 4. Let j be q(k). Is j != -2/11?
True
Let a = -4 - -7. Which is greater: 20/11 or a?
a
Let b = -9 - -12. Which is smaller: b or 5?
b
Let m = 6 + 0. Suppose 0 = -3*b + m*b. Suppose 0*g - 12 = k - 3*g, g = -3*k + 4. Are b and k equal?
True
Let v be (-4)/7 + (-322)/(-49). Is 3 > v?
False
Let l be (1 - 1)/(2/1). Let d = -0.29 + -0.01. Is d bigger than l?
False
Let u(c) = -c**3 - c**2 - 3*c - 3. Let w be u(-2). Suppose -14 = z - w. Is -7 smaller than z?
False
Let t(p) = p**3 + 4*p**2 - 6*p - 4. Let i be t(-5). Let k(r) = -2*r**3 - r**2 - r. Let q be k(-1). Suppose -6*u = -q*u. Is u greater than or equal to i?
False
Let h = 3.9 - 4.4. Which is smaller: -0.2 or h?
h
Let s be ((-3)/6)/((-2)/(-24)). Is s <= -6?
True
Let p = 11 - 12. Is p greater than -1/5?
False
Let p be ((-18)/(-4))/(1/(-8)). Do p and -36 have the same value?
True
Let t = 0.17 + -0.07. Let z = 9 + -8. Which is bigger: t or z?
z
Let b = -1 + 1. Suppose 0 = 2*n - b + 10. Which is smaller: -6 or n?
-6
Let b(t) = 10 + 2*t - 2 - t. Let f be b(-9). Let g = f + 1. Do g and -1 have different values?
True
Suppose -9*i - 48 = -5*i. Which is bigger: -10 or i?
-10
Let j = -20 + 30. Let z be (5/(-2))/((-2)/(-20)). Let w be (j/z)/((-2)/10). Which is greater: 3 or w?
3
Let x = -0.154 + 16.154. Is x greater than 4?
True
Let j = -32 + 31. Which is smaller: j or -5?
-5
Let r = -18 + 27. Suppose -3*k + 44 = 4*w - 0*w, -3*w - 1 = -2*k. Which is greater: k or r?
r
Let d be 2/6 + (17/12 - 1). Are -4 and d equal?
False
Let a = 6 + 34. Suppose -8*l = -3*l + a. Is l at most -7?
True
Let b = 3 - 1. Suppose 0*n + b*n - 4 = 0. Suppose 5*y - n = 3. Which is smaller: y or -2/7?
-2/7
Let o(g) = 5 + 4 - 9 + g. Let h be o(-4). Are -4 and h non-equal?
False
Let p(k) = k. Let m be p(1). Let b be 2 + 3 + -2 - m. Is 1 equal to b?
False
Suppose 0 = y - 3 + 1. Suppose h + 1 = -4*n + 2*n, 5*n - 2*h = y. Let v be ((-3)/(-3) - 0)*n. Is 0 not equal to v?
False
Let d = 0.2 + -0.12. Let q = 0.92 + d. Which is bigger: -1/3 or q?
q
Let y be (-22)/12 + 11/(-22). Which is bigger: -1 or y?
-1
Let q be (-1)/((-2)/32*2). Suppose -2*h - 4 - q = 5*o, 0 = -3*o - 6. Let s be h - (-1 - 1)*-1. Are -3 and s equal?
True
Let k = 139 + -112. Is k at most 0.1?
False
Let j be (-2)/(1 + 15/(-9)). Suppose 0*t = j*t. Which is smaller: t or 3/5?
t
Let i = -11 + 10. Which is bigger: 1/7 or i?
1/7
Let t be (-2)/(-3)*(-1 + (-20)/(-8)). Which is smaller: 0.19 or t?
0.19
Let a = -2 - 15. Which is bigger: a or -18?
a
Let f be 3 + -7 + 2 + 2. Let u(h) = -h - 5. Let i be u(-9). Suppose f*p = -2*p + i. Is 3 greater than or equal to p?
True
Let s = 7 - 16. Let b = -8 - s. Let p = 1/123 - 374/615. Which is smaller: b or p?
p
Let f(n) be the second derivative of -n**4/12 + n**3 + 4*n**2 - n. Let w be f(8). Is w greater than or equal to -7?
False
Let i = 7 - 3. Suppose 0 = i*w - w. Let h = 1 - 0. Which is smaller: w or h?
w
Suppose -l = -5*l - 12. Let g = l - -3. Suppose g = 2*p + p - 4*v + 26, -9 = 2*p - v. Which is bigger: -3 or p?
p
Let z = -0.03 - 1.97. Let s = -0.4 + 0.5. Let u = s - 0.1. Is u at most as big as z?
False