or k?
k
Let g = 1 - 1.01. Let n = 0.19 - g. Let w = -1.5 + 0.5. Which is smaller: n or w?
w
Let a be (-10)/(-6)*(-16)/40. Is -1.2 bigger than a?
False
Let c be -2 + -17*(2 + -3). Let r = 10 - c. Do -4 and r have the same value?
False
Let d = -26 - -25. Do -6/13 and d have different values?
True
Let r be (1 - 2)*(5 - 0). Let q = 6 + -10. Which is smaller: q or r?
r
Let s be (2/(-20))/(14/(-336)). Is 1 equal to s?
False
Let o(r) = -r**3 - 5*r**2 + 5*r + 6. Let n be o(-6). Let i = n - 10. Is i not equal to 2?
False
Let w = -235/4 + 59. Suppose -4 + 12 = 4*g. Suppose g*h - 4*d - 22 = -0*h, -4*h - d = 1. Which is greater: h or w?
h
Let a = -12 + 27. Does a = 14?
False
Let q = 59 + -59.1. Which is greater: -51 or q?
q
Let s(h) be the second derivative of h**4/12 - 3*h**3/2 + 4*h. Let i be s(8). Let b = -14 - -6. Does i = b?
True
Let p = -0.3 - -1.3. Let u = -7 - 1. Let a = u - -6. Is p > a?
True
Suppose 11*j = 3*j - 224. Which is greater: j or -29?
j
Let k = -16/5 + 43/15. Let z = 1 + 1. Let c = 1 - z. Is c at most as big as k?
True
Let b(g) = -g + 1. Let v(i) = -i**2 - i + 1. Let h(f) = 7*f**2 + 10*f - 10. Let r(y) = h(y) + 6*v(y). Let a be r(-5). Let t be b(a). Which is smaller: -1 or t?
-1
Let h(i) be the second derivative of -i**4/12 + 5*i**3/3 - 5*i**2/2 + i. Let o be h(9). Which is smaller: o or 3?
3
Let m(w) = -3*w**3 + 2*w**2 - 2*w + 1. Let b be m(1). Let y = 365/4 + -92. Is b at most y?
True
Suppose 0 = -4*o + 8, -h + 2*o - 30 - 5 = 0. Is h < -30?
True
Let k be 5*12/15 - 3. Do k and -6/23 have different values?
True
Let u be (-2)/8 - (-1)/4. Suppose 2*h + 5*l - 18 = u, 0 = -4*h + 5*l - 2*l - 16. Which is bigger: h or -1/3?
-1/3
Suppose 2*t + 2*t + 28 = 0. Which is bigger: t or -9?
t
Suppose -4*v - 4*p = -4, -4 = 2*v + p - 5. Suppose v = -3*n - 3*f, 5*f = n + 4*f - 2. Let y = 15/16 - 167/144. Which is smaller: y or n?
y
Let t = -60 + 59.962. Which is smaller: t or -1?
-1
Let o be (-6)/(-4)*24/(-18). Which is smaller: -11/4 or o?
-11/4
Let x = -0.2 - -1.2. Let a = x + -1. Let n = 0.2 - a. Which is smaller: n or -1?
-1
Let u(z) = -3*z**2 - 40*z - 9. Let i be u(-13). Let t be 2*(-1 + -1 + 4). Is i not equal to t?
False
Let s be (3/(-2))/(1/(-2)). Let i be 2/(s/(1 + -4)). Let z be -3*5*(-6)/(-45). Is i > z?
False
Let a be 0/((1 + -2)*2). Suppose 4*m = -261 - 243. Let x be (-57)/m - 4/14. Which is smaller: a or x?
a
Let z(n) = 7*n - 1. Let r be z(-1). Let s be r*3*3/(-36). Which is greater: s or 1?
s
Let m = -0.05 - 0.05. Let u = -2/63 + -59/126. Is m less than or equal to u?
False
Suppose 6*y = 7 - 1. Which is greater: -3 or y?
y
Let b be 0 - ((-44)/(-2))/(-2). Suppose 0 = 3*q - 11*q - 80. Let u = b + q. Which is greater: u or -3/8?
u
Suppose 5*q - 2*j + 5 + 10 = 0, -2*j = 10. Suppose 0*h - 4*h = 0. Suppose h = 4*l + 22 - 6. Which is smaller: q or l?
q
Let j be 103/(-4) + (-2)/8. Let q be 1/4 + j/(-88). Let w(x) = -x**3 - 3*x**2 + x + 5. Let a be w(-3). Which is smaller: q or a?
q
Let i = -16 - -15.1. Let c = -0.9 - i. Which is smaller: -1 or c?
-1
Suppose -4*t - t = 2*w + 2, 2*w = 4*t - 2. Let p(l) = l**3 - 2*l**2 + 2*l - 1. Suppose -2*n + 4 - 2 = 0. Let s be p(n). Is t equal to s?
True
Suppose 0 = 18*m - 0*m - 108. Is m >= 29/5?
True
Let d = -1 - -3. Let l = 2.2 - d. Let m = -635/7 - -91. Which is smaller: m or l?
l
Let i be (-148)/(-6) + 2/(-3). Suppose -4*v + b + 0*b = -27, i = 2*v - 4*b. Let p be v*(-2)/(-4) - 5. Is p at least as big as 0?
False
Suppose 0 = 5*c + 25, -c - 7 = 3*r + 4. Let n(y) = -2*y**2 + 3*y + 3. Let w be n(r). Is -11 smaller than w?
False
Suppose -4*d - 1 = 5*z + 2, -2*z + 6 = 4*d. Let h be (2/z)/((-28)/(-6)). Let r = -1/8 - -23/56. Is r greater than or equal to h?
True
Let g = 0.0001 - -9.1199. Let z = 9 - g. Are 0 and z equal?
False
Let o = -136 - -131. Is -11/2 at least as big as o?
False
Let k = 0.3 - 1.3. Let r be 3 + -2 + 5/(-3). Which is smaller: r or k?
k
Let j = 0.18 - 0.222. Let a = j - 3.058. Let f = a - -3. Which is smaller: 3 or f?
f
Let m = 1.52 - 1.8. Is m less than or equal to -0.1?
True
Let l = 2 + -3. Let o = 40/57 + -7/19. Which is greater: l or o?
o
Let i(d) = 2*d + 8. Let s be i(-5). Which is smaller: s or -1?
s
Let q(g) = g - 11. Let t be q(5). Suppose -4 = l + l, 3*n - 2*l + 47 = 0. Let w = n - -12. Which is smaller: w or t?
t
Let w = 33.75 + -0.75. Do w and 0 have the same value?
False
Let q(h) = -h**3 - 4*h**2 + 2*h - 1. Let f be q(-4). Let v be f/(-12) - 9/(-4). Suppose 2*u + 3 = -2*w - w, v*u + 4 = -4*w. Is u <= -1/3?
False
Let c = -1.9 - 2.1. Which is greater: c or -2/3?
-2/3
Suppose -10 = -3*r - 4. Suppose 15 + 2 = r*l - 5*b, -2*l - 5*b - 33 = 0. Is -7 <= l?
True
Let b = 0.64 + -0.69. Are -2 and b nonequal?
True
Let u be 4/(-6) - (-208)/(-12). Let z be 3/u*(-27)/12. Which is smaller: -1 or z?
-1
Let l = 1205/14 - 86. Suppose g - 3*g = -3*d + 4, 7 = 3*g + 2*d. Do g and l have the same value?
False
Let o = 115.02 - 115. Which is smaller: o or -5?
-5
Suppose 9 = -3*q, q = 2*g - q - 4. Let d be (9/(-12))/(2/(-8)). Let i be (g - -1)/(d*-1). Is i greater than or equal to 2/21?
False
Suppose -8 + 20 = 4*j. Suppose 5*s + 4 = j*s. Suppose t + 8 = -3*g, -t = -2*g - 4*t - 3. Is g smaller than s?
True
Suppose 2*y + 2*r + 2 = 0, -5*y = 4*r + 2 + 2. Is y less than or equal to -1/10?
False
Let y(f) = -f**3 - 6*f**2 - 2*f - 9. Let z be y(-6). Let o = 2 + 0. Suppose o = z*q + 5. Which is greater: q or 1/4?
1/4
Let i = 0.9 + -1. Suppose -2*y + 70 = 3*y. Suppose -5*t = 2*r - t + y, 4*r + 4 = -2*t. Is r less than i?
False
Let k(s) = -s**2 - 7*s - 4. Let r be k(-6). Suppose -3*x + 2*x = -r. Let m be 0/(x*(2 + -3)). Which is smaller: 1/6 or m?
m
Suppose -4*f + 4 = -4. Suppose 0 = r + 2*j - 6, 0 = 3*r + j - f*j - 4. Is 1/2 at least as big as r?
False
Let v = -13 - -13. Is 5/2 bigger than v?
True
Let r be (-14)/(-203)*(-2)/(-4). Which is greater: r or 0?
r
Let t = 7.6 - 2.6. Let b = -14/27 + -4/27. Is b smaller than t?
True
Let p(r) = r + 1. Let k be p(-2). Which is smaller: k or -0.1?
k
Let l be -1*(1 - (3 + -1)). Is 1/18 at most l?
True
Let z = -43 + 48. Let n be (-8)/(-14)*(-42)/(-36). Is z at least as big as n?
True
Let b = 22/5 - 4. Which is bigger: b or -7/2?
b
Suppose 3*w - 6*w = l - 16, 5*l - 3*w + 10 = 0. Let g = -0.97 - 0.03. Let h = g - -1.2. Is h equal to l?
False
Let w = 6185/1686 + -1/562. Let u = -19 + 24. Are w and u equal?
False
Let q(b) = -3*b**2 - 2*b + 5. Let a be q(-4). Let o be (-2)/(-7) - (-30)/a. Are o and -1 nonequal?
True
Let z = 83 + -83. Is z bigger than -39?
True
Suppose -3*p + 40 = -2*b, 0*p - b + 10 = p. Let z(o) = -o**3 + 6*o**2 - 3*o + 1. Let i be z(5). Which is smaller: i or p?
i
Let z = 5 + -7. Are z and -1 non-equal?
True
Suppose -5*i + 5*f + 3 = -3*i, -5*f - 5 = 0. Let o = -15 + 1. Let h be (2/5)/(o/10). Are i and h nonequal?
True
Suppose 0 = -2*p + 5*c + 27, -4*p - 21 = -9*p - 3*c. Suppose -5*x + 2*x = -p. Let g be x/3 + (-12)/18. Is g bigger than 5/4?
False
Let u = 6 + -2. Let v be (-2)/u + 116/(-3). Let t = 39 + v. Is -1/2 > t?
False
Let j = -19 - -6. Which is greater: -14 or j?
j
Suppose 9 = 2*k - 5*k. Let l = 2 - k. Suppose l*i + 3 + 2 = 0. Which is greater: -2 or i?
i
Let s = 34 + -33. Is s < -2?
False
Suppose 2*h + 92 = -2. Let x = 142/3 + h. Let y = 0.7 - -0.3. Which is smaller: y or x?
x
Let z = 32/195 + -7/39. Let x = z - -199/260. Which is greater: -2/5 or x?
x
Let x = -0.7 - 0.3. Which is bigger: -27 or x?
x
Suppose -30 = -5*p - 5. Suppose -y - 2*y = q - 17, 0 = -p*y + 20. Is 5 bigger than q?
False
Let d = -497/4 - -126. Is -3 > d?
False
Let t = -90 - -18. Let f be 416/t - 4/18. Let u = 8 + f. Which is smaller: 1 or u?
1
Let m be (-44)/16 - (3 + -6). Is m at least -2/9?
True
Suppose -2*g = -2 - 16. Suppose -4*x = -g*x. Is 0.6 < x?
False
Suppose 2*g = -5*g + 3*g. Which is smaller: 14/13 or g?
g
Suppose 0*f = 2*f - 14. Let b be ((-2)/(-8))/(f/(-8)). Let y = -3 + 2. Is b smaller than y?
False
Let j(b) = b**2 - 5*b - 3. Let d be j(5). Let f be 1*(-3 + 4)*-9. Let a(l) = l**2 + 9*l - 2. Let m be a(f). Which is smaller: m or d?
d
Suppose 0 = 8*m + 17 - 1. Which is smaller: -7 or m?
-7
Let c = -1.97 + -0.03. Let q = -0.1 - 0. Let z = q - 0.1. Which is greater: z or c?
z
Let i = 3 + -2.8. Which is bigger: 1/4 or i?
1/4
Let s = 23 - 19. Let c = 8 - 5. Which is bigger: s or 