*2 - y. Let g(u) = -a(u) + 2*z(u). Let d be g(0). Are 2 and d equal?
True
Let a = 139 + -136.16. Let o = -0.16 - a. Which is greater: -1 or o?
-1
Suppose -2*y = -2 + 6, 4*d + 22 = 5*y. Is d > -8?
False
Let t(a) = -5*a**2 + 4*a - 8. Let c(x) = -4*x**2 + 3*x - 7. Let b(j) = -6*c(j) + 5*t(j). Let z be b(2). Is 0 at least z?
False
Let t be (-4)/40*1125/(-6). Let r = 19 - t. Let b = -4 + 3.9. Is b not equal to r?
True
Let r be 99/(-11) + -5*1. Which is smaller: r or -10?
r
Let l = 0.6 - -4.4. Is l smaller than -2/7?
False
Let a = 9 + -6. Let n be 0 + 2 + -8 - -2. Let k be ((-2)/(-8))/((-3)/n). Is k < a?
True
Let c = -0.1 - -0.3. Suppose -4*y = y - 2*a + 81, 66 = -5*y - 3*a. Let b be (2/(-9))/((-10)/y). Is c greater than or equal to b?
True
Suppose k + 5*k = -12. Is k equal to -1?
False
Suppose 3*q = -0*q. Suppose h + q*h - 6 = 0. Suppose h*s - 3*s = -a - 4, -a = s. Which is bigger: s or -1?
-1
Let n be (0 + 4)*(-35)/(-28). Let d = 5 - n. Which is greater: d or -1?
d
Let r = 4 - 7/2. Which is bigger: -1.6 or r?
r
Let v = 1 - 4. Let a = v - -1. Which is smaller: -1 or a?
a
Suppose -4*j = 5*g - 8, 3*g = 4*j - 6*j + 6. Suppose -3*s = -2*s + 2*k - 16, -2*k - 32 = -5*s. Let v be s/8*(-2)/(-2). Which is smaller: v or g?
v
Let t = 45 + -48. Which is bigger: t or 7?
7
Let v be 64/(-61) - 1/(-1). Let o = v - -207/488. Let g be (-56)/12 + 5 + (-4)/3. Which is bigger: o or g?
o
Let w = -81/5 + 33/2. Let o = -62 + 61. Do o and w have the same value?
False
Suppose -5 = 5*y + 4*u, -2*u + 0 = -5*y - 5. Let z = 38 + -43. Which is smaller: z or y?
z
Let v = 5546/9 + -612. Let f = -313/72 + v. Which is greater: -1 or f?
f
Suppose 4*q + 2*y = -6, -4*y = 3*q + q. Suppose 4*m - m = 15. Suppose m*x - 2*x = -6. Which is greater: q or x?
x
Suppose -3*r = 2*r. Is r > 2?
False
Let v = -0.4 - -0.3. Let r = -166 + 166.6. Is r at most v?
False
Let u = -61 - -35. Let o = u - -261/10. Are -1 and o equal?
False
Let x = -0.1 + 0. Let v = -10.5 - 1.5. Let r = 16 + v. Which is bigger: x or r?
r
Let b = 1 + 0. Let t be 7/(-49) + 44/14. Suppose -t*o - 14 = -20. Which is smaller: o or b?
b
Let n be 2/13 + 82/(-26). Which is smaller: n or -13/4?
-13/4
Let v be (-3 + (-6)/(-1) - -1) + -87. Is -82 less than v?
False
Let k(o) = o**2 - 6*o + 2. Let w be k(6). Suppose -2 = -w*a - 4. Which is bigger: a or -1/7?
-1/7
Let p = 27 - 27. Let y = 0.8 - -0.2. Is p <= y?
True
Let z = -5.05 - -5. Let h = z - -0.15. Which is bigger: -0.1 or h?
h
Let c = 0.07 + 0.93. Let j = c + 0. Is j < -3/2?
False
Let q = 3 + -7.1. Let n = -4 - q. Which is smaller: n or 0.9?
n
Suppose -2*q - 14 = 4*z, 0*q + 2*q + 15 = -5*z. Which is greater: 0.1 or q?
0.1
Let w = 43 + -39. Which is smaller: w or 1/4?
1/4
Let v be 20/15 - 8/6. Which is smaller: 2/39 or v?
v
Let i = 12 - 70. Is i not equal to -58?
False
Suppose 4*r + 23 = 7. Let v = -6 - r. Let l be v/(-3) + 7/3. Which is greater: l or 4?
4
Let b = 2 + -5. Let l = -2 - b. Let g = 1/39 - -4/13. Which is smaller: g or l?
g
Let h(p) = 145*p**3 - 2*p**2 - p. Let o be h(-1). Let j = -1316/9 - o. Which is greater: j or 1?
1
Let c be (-4)/((-36)/10 + 4). Which is smaller: -9 or c?
c
Let d(i) = i**3 + 4*i + 16. Let h be d(0). Do 15 and h have different values?
True
Let z = -79 - -84. Which is bigger: z or 4?
z
Suppose 4*c = -7*c. Is c != 1/9?
True
Let g = 81 + -76.08. Let v = 0.08 + g. Are 0 and v unequal?
True
Let x = -65808180865403759070811/24866565 + 2646452409707724. Let f = x - 9/72077. Let z = f + -2/69. Do z and 1 have the same value?
False
Suppose 0 = 4*h + 1 - 5. Let t = -4 + h. Let r(m) = 4*m**3 + m**2. Let s be r(-1). Is t smaller than s?
False
Suppose -4*q = -5*n + 40, 2*n + 2*q = -1 - 1. Suppose 10 - 2 = 2*g. Are n and g unequal?
False
Let j = -31 + 31.4. Let v = -0.3 + 0.1. Which is smaller: v or j?
v
Let f = -12 - -22. Suppose 3*m = 3, 3*m = -5*a - 2*m - f. Which is greater: -1 or a?
-1
Let q = 48 + -769/16. Does q = 1/3?
False
Suppose 3 + 5 = -4*m. Let p(h) = -h**2 - h + 2. Let w be p(m). Let a be 1/(-1 + 1 + -1). Which is smaller: w or a?
a
Let i be 4 - ((-34)/(-3) + -3). Is i equal to -3?
False
Suppose 4*z - 2 = -3*b, -5*z - 2*b - 1 = -0*z. Which is smaller: z or 0?
z
Suppose 37 = -2*g - 23. Let q = g + 119/4. Which is greater: 5 or q?
5
Suppose -4*q = 3*y - 12, 10 = 5*q + 2*y - 5. Suppose -4*z + 2*r + 18 = -q*r, -8 = -2*z + 2*r. Let h be 1/1 + z/(-4). Which is smaller: 2/3 or h?
h
Suppose -4*y + 38 - 30 = 0. Do y and -7 have the same value?
False
Let y = -10 + 11. Let n be 8/(2/y) + 16. Do 19 and n have the same value?
False
Let r be 24/(-45)*9/(-6). Which is bigger: 1/3 or r?
r
Let d = -0.245 + -0.055. Let g = 0 - -0.01. Is d greater than g?
False
Let h be (-2)/7 - 6/(-21). Suppose -4*k = -h*a - 2*a + 10, -3*k = a - 5. Let b = 2 - 2. Is k not equal to b?
False
Suppose 12 = 3*d + l + 2, 0 = -l + 1. Let c be (-2)/6*2*d. Let w(o) = o**2 + 3*o + 3. Let x be w(c). Which is smaller: 2 or x?
x
Let d be (-2)/4 - (-1003)/2414. Is d smaller than -1?
False
Let v = 13 + -12.92. Do -1 and v have the same value?
False
Suppose -5*j + 5*d = -100, 2*j = -3*d - 0*d + 30. Suppose 2*c - 2*n + 10 = c, -j = 3*c - 3*n. Is -1/2 not equal to c?
True
Let f be 1/4 - 92/240. Let y = 3 + 3. Let n be 4/(-6) + y/9. Is n greater than or equal to f?
True
Let k = 70 + -71.1. Let v = 25/42 - 2/21. Which is smaller: v or k?
k
Let a(g) = 4*g**3 + 6*g**2 + g - 6. Let c(y) = -5*y**3 - 7*y**2 - y + 7. Let w(k) = -6*a(k) - 5*c(k). Let r be w(0). Which is greater: -1/3 or r?
r
Suppose 8 = 14*q - 12*q. Suppose -q*i - 26 = 2. Which is smaller: i or -8?
-8
Let m = 6 + -10. Suppose -i - 19 = 3*h, h = -i - 3*i - 21. Which is smaller: h or m?
h
Suppose 42 = m + 43. Is m less than or equal to -6?
False
Let h be (-2)/((-6)/45*-5*-15). Which is smaller: h or -3?
-3
Suppose 4*s - 12 + 0 = 0. Let v = s + -3. Let p be (-20)/110*(-1 + 0). Which is greater: p or v?
p
Let w = -6 + 6. Let a be 1*198/21 + w. Let n = -68/7 + a. Do n and -3/5 have the same value?
False
Let h(t) = 2*t + 2. Let m be h(4). Suppose -m = -7*d + 2*d. Let v be 3/5 + (-2)/d. Is v greater than -1?
True
Let t = -295 - -168. Let k = 2161/17 + t. Is k != 1?
True
Let c be 2/(-11) - (-1623)/33. Which is smaller: 47 or c?
47
Let m = 28.044 + -0.044. Which is bigger: m or 1?
m
Let i = 5 - 6. Are -3/31 and i nonequal?
True
Let t(h) = h**3 + 3*h**2 - 4*h - 3. Let o be t(-5). Let m = o - -101/3. Is 0.04 greater than m?
False
Let d = -14 + 17. Which is smaller: 0 or d?
0
Let x(a) = a. Let n(i) = -9*i - 1. Let t(s) = n(s) + 6*x(s). Let q be t(1). Let u be ((-1)/2)/((-7)/q). Which is smaller: u or -1?
-1
Suppose -4 = -4*o - r, 4*o + 0*r - 20 = -5*r. Suppose -18 = 2*x - 5*u + 9, 0 = -3*x - 3*u + 12. Is x != o?
True
Let d = 47.9 - 48. Suppose 6*x + 46 = 4*x. Let j be 2/7 - x/(-7). Which is bigger: d or j?
d
Let t = -22.05 - -22. Let p = 0.1 + t. Which is greater: p or 1?
1
Let l = -1.4 - -1.5. Which is bigger: l or -10?
l
Let a be 2/(-8) - 297/(-36). Let l = a - 17. Which is greater: l or -8?
-8
Suppose 5 = -4*u - 35. Let a = -6 - u. Let q be 2/(-5) - (-34)/10. Which is bigger: a or q?
a
Let i = -0.09 + 1.09. Let y = i - 4. Are y and -2/3 equal?
False
Let j be (-11)/(99/6) - (-47)/30. Which is smaller: 2 or j?
j
Let n be (-240)/16*4/(-3). Suppose 0 = -2*z + 43 - 3. Is n >= z?
True
Let c = 0.4 - 0.2. Let i be (1 - 3) + 132/60. Is i at least as big as c?
True
Let l(o) = o**3 + o**2 - o + 1. Suppose 3*m + 12 = -m, 5*d + 3*m + 19 = 0. Let p be l(d). Is 2/53 > p?
True
Let h(j) = 0 - 8 - j + 6. Let t be h(-3). Let f = t - 3. Which is greater: f or 0?
0
Let w = -34 - -47. Which is smaller: -0.1 or w?
-0.1
Suppose j - 12 + 0 = -4*h, -5*h + 2*j + 2 = 0. Let v = h + -2. Let x = 2 - v. Which is greater: x or 3?
3
Suppose 4*l - 39 = 81. Is l at least as big as 29?
True
Let t = 3 - 2. Let k be (16/(-60))/((-26)/5). Is k smaller than t?
True
Let m = 9 + -7. Let l = m - 2. Which is greater: l or 2?
2
Let i = 0.04 - -1.96. Let j = 38 + -21. Let k = j + -15. Is k greater than i?
False
Suppose 5*q - 1 = 24. Which is greater: q or 0?
q
Let j(i) be the second derivative of i**4/6 - i**3/6 - i**2 + i. Let h be j(-2). Let n be ((-6)/(-4))/((-6)/h). Which is bigger: n or -1?
-1
Suppose -4*h - h = 0. Let r(a) = -a**3 - 7*a**2 + 7*a - 7. Let d be r(-8). Which is smaller: d or 