+ 4*z. Suppose -2*k = 1 + v. Are k and -1 equal?
False
Suppose 2*v + v + 105 = 0. Let b be (24/(-10))/(14/v). Is b > 5?
True
Let a(q) = -q**3 + 4*q**2 - 5*q + 4. Let t be a(3). Let c = 13 + -12. Suppose 0 = p - 2*p - c. Which is smaller: t or p?
t
Let c = 0.33 - 0.53. Is c >= -0.33?
True
Suppose 0 = 3*s - 0*s + 42. Let k be 8/(-70) + s/49. Which is smaller: 0.3 or k?
k
Let s = -3 + 3.05. Let h = -0.02 + s. Let r = -120.1 - -120. Which is smaller: r or h?
r
Let h be 66/4*8/3. Suppose 3*f - 2*y - 27 = y, 4*y + h = 5*f. Is 8 <= f?
True
Suppose 5*h = 3*v + 5, 0 = -h - v + 3*v + 1. Let x = -5 + 7. Suppose 3*f - 7 = -4*s - 0*f, -x*f = 2*s - 4. Is h at most s?
True
Let z(p) = 2*p + 14. Let u be z(-6). Is u not equal to 3?
True
Let m be (-5 + (2 - 1))*-1. Let j = 23 + -20. Which is smaller: j or m?
j
Let u be (2 - 1)*(-2)/(-2). Let s = 8 - 3. Let w be -1 + 13/s - 1. Which is smaller: w or u?
w
Let j = -243 + 5105/21. Which is greater: 0 or j?
j
Suppose 0*l - 2*l + 11 = -3*i, -5*i + 11 = 4*l. Is -1 not equal to i?
False
Suppose -13 = q - 2*q. Is -3 less than or equal to q?
True
Suppose -3*z = 4*p + 50, -5*p = -3*p - 4*z + 36. Are -13 and p unequal?
True
Suppose 0*k + 3*r + 6 = k, 0 = -4*r - 8. Which is smaller: k or -0.05?
-0.05
Let k = -123 + 62. Let q = -247/4 - k. Which is smaller: -2 or q?
-2
Let u be 3/(-2) + ((-1950)/(-36))/(-13). Which is smaller: -6 or u?
-6
Let n = -10.4 - -5.2. Let k = 0.9 - 5.9. Let r = n - k. Is r greater than or equal to 2?
False
Suppose -14*h + 11*h = -3. Which is bigger: h or -5/13?
h
Suppose -u = c, u = -3*u + 3*c - 14. Let w(i) = -5*i**3 - i. Let v be w(1). Let h be 2*2/v*3. Are u and h nonequal?
False
Let t be (1 - (2 + 1))*7/(-14). Is t != 1/8?
True
Suppose -39*s + 29*s = 0. Let p(u) = -u**2 - 10*u + 1. Let z be p(-7). Let x be (2/3)/(z/3). Are x and s equal?
False
Let n = -13 - -18. Is 7/2 at least n?
False
Let y be (-80)/(-64)*(-4)/11. Is y > 1?
False
Suppose 4*m + 17 = -4*f - f, 4 = 5*f - 3*m. Is -1 at least f?
True
Let i = 0.24 - 0.2. Let d(q) = -q - 2. Let z be d(-1). Is i <= z?
False
Let b = 28.3 - 28. Which is greater: b or 1?
1
Let r(k) = -2*k + 4. Let o be r(4). Which is smaller: -2 or o?
o
Suppose 0 = -0*w + 4*w - m + 205, 2*w + 3*m = -113. Is w at most -52?
True
Let g be (168/7215)/(470/775). Let n = g - -2/481. Is -1 at most n?
True
Let p = 1 - 0. Let r = 2 - p. Is -2/9 less than r?
True
Let g be 1/(2*(-14)/4). Let v be 2/(-13) + 33/(-39). Is v less than or equal to g?
True
Let z(v) = -2*v + 5. Let l be z(4). Let s be (l/9)/(2/6). Suppose -2*c + 2 = 4*m, 3*c = m + 7*c - 11. Is m <= s?
True
Suppose 5*w - c + 153 = 3*c, w - 3*c + 35 = 0. Let k = w + 55/2. Does k = -3?
False
Let r be 130/(-14) + 2/7. Is r <= -1?
True
Suppose 5*b - 5*v = -4 + 24, 2*b - 8 = -2*v. Let x be (-6)/4*b/(-3). Which is bigger: x or -0.1?
x
Let y = 0.05 - -26.95. Is y at least as big as 0?
True
Let r be -4 - ((-28)/12 - 1). Suppose n = 5*n. Which is bigger: n or r?
n
Let d = -7 - -7. Let a = -195 + 1371/7. Which is smaller: d or a?
d
Let b = 3262/17 - 192. Let h = 21 - 22. Which is bigger: h or b?
b
Let n = -8.15 - -0.15. Let y = 7 + n. Which is smaller: y or 0?
y
Let d = 1041 - 57253/55. Let b = 3/22 - d. Which is smaller: -1 or b?
-1
Let p be (57/414)/(116/33). Let z = -1/232 - p. Which is greater: z or 1?
1
Let l = 2.4 + -0.4. Suppose 5*x + 4*o = -1, 4*o = -x - 5 + 8. Which is bigger: x or l?
l
Let f = 5 + 12. Which is smaller: 16 or f?
16
Let h be 2/(-5) - 64/1040. Does -1 = h?
False
Suppose -3*o = -9 + 3. Let d(h) = -h**2 - 4*h + 3. Let n be d(-5). Let m be o - 0 - (n - -6). Which is smaller: m or -3?
-3
Let q be ((-4)/6)/(3/(-9)). Let i(f) = f**2 + 7*f + 6. Let k be i(-7). Let p be 0 + k/4 - 0. Which is smaller: p or q?
p
Suppose -3*r - 28 = -r. Let j = r - -29/2. Let b = 1 - -1. Which is smaller: b or j?
j
Let p(u) = 3 - u + 0 + 0. Let s be p(5). Let y(i) = -i**3 + i**2 + 2*i - 1. Let v be y(2). Is s greater than v?
False
Let h = -215.1 - -228. Let r = h - 6.8. Let q = r - 6. Is q at least as big as 2?
False
Suppose -3*w - 2*l + 26 = -6*l, 3*l - 18 = -4*w. Suppose 2*b - 4*d = 4, 2*d - 28 = -4*b - 0. Is b at least as big as w?
True
Let m = 12 - 20. Is m less than or equal to -9?
False
Let l = 1.2 + -0.2. Let m = -16 + 31/2. Is l >= m?
True
Suppose n = p + 3, 5*p + 14 = 4*n + 3. Let d(t) = -t - 4. Let m be d(-8). Suppose 0 = y - m*y. Is p at most as big as y?
False
Let h = 0.2 - 0. Let m = -0.3 + -0.7. Let y = m - -1. Is y <= h?
True
Let y = 0.2 + -8.2. Let a = y + 8.1. Is a smaller than -4/5?
False
Let u be (1/(-3))/(1/(-3)) - -189. Let k be (-2668)/14 + (-2 - -3). Let z = k + u. Is z at least 0?
True
Let j = 3 - 2. Let c = -12 - -7. Let s be (c/15)/(2/(-6)). Is j at least s?
True
Suppose -g - g = -5*j + 39, 5*j = 5*g + 30. Let i be (18/(-27))/((-2)/j). Are 2 and i equal?
False
Suppose -2*q + 5*q + 20 = -4*n, -2*n = 4*q + 10. Which is smaller: q or -1/2?
-1/2
Suppose -148 = 3*i - 58. Is i less than -29?
True
Suppose -2*c + 10 = 3*c. Let o be (-378)/10 - c/5. Let p = -38 - o. Is p > 1?
False
Suppose 5*x + 5 = 0, -3*r - 4*x + 2 + 3 = 0. Let t be ((-1)/r)/((-5)/45). Let y = t - 6. Is -2 != y?
True
Let g be (3/(-4))/((-990)/(-48)). Is g smaller than -1?
False
Let c(b) be the second derivative of b**3/3 - 9*b**2/2 - 3*b. Let n be c(7). Let i = n + -4. Is 1 at least as big as i?
True
Let r(x) = x**2 - 10*x + 5. Let u be r(9). Which is greater: u or -1?
-1
Let x = 10 - 11. Let f be (-6 + 3)/3*x. Are 0 and f unequal?
True
Let q(v) = -v**3 - 7*v**2 + 6*v - 10. Let p be q(-8). Let s be p/(-1) + -1 + 1. Let c(z) = 2*z + 7. Let h be c(s). Which is smaller: -6 or h?
-6
Let d be ((-4)/12)/((-7)/(-42)). Which is bigger: d or 4/7?
4/7
Let c(i) = -i**2 + 8*i. Suppose -8 = -2*h + 8. Let j be c(h). Let l = j - 0. Is l greater than or equal to 1?
False
Suppose -4*u + 4 = 2*b - 0*b, -2*u - 3*b = -6. Which is smaller: u or -57?
-57
Let g(l) = -4*l**3 - 7*l**2 + 6*l + 3. Let x(z) = 5*z**3 + 7*z**2 - 5*z - 3. Let r(w) = 4*g(w) + 3*x(w). Let c be r(-8). Which is bigger: -4 or c?
-4
Let g = -1.2 + 1.3. Which is bigger: g or -10?
g
Suppose -5*g + 11 = -14, 3 = -4*r + 3*g. Suppose 4*c = r*c - 4. Which is smaller: c or -5?
-5
Suppose 4*s + s = -10. Let n = 2 + s. Does -1 = n?
False
Let z(o) = -2*o**3 - 2*o**2 - 2*o - 1. Let b be z(-1). Are 2 and b nonequal?
True
Let x(g) = -g**3 + 7*g**2 - 7*g + 6. Let v be x(6). Suppose 2*p = 2*w + 2, 7 = 5*w - p - v. Let s be (3/6 + 0)*w. Which is smaller: s or 4/7?
4/7
Let u = 5 + -7. Let p = -33 - -34. Let w = u + p. Are -0.1 and w equal?
False
Suppose -6*j = -4*j + t, -5*t + 12 = -2*j. Is 2 greater than j?
True
Let d = -0.3 + -0.2. Let s = d + 0.4. Let v = 1 + 0. Are v and s unequal?
True
Let m be ((-2)/3)/((-4)/48). Which is greater: 9 or m?
9
Let q = 38/75 - 16/25. Is -2/9 at least as big as q?
False
Let m(u) = -u - 5. Let y be m(-7). Let i(n) = -n**3 - 6*n**2 - 6*n + 2. Let t be i(-5). Suppose 0 = t*k - 3*k - 8. Is k greater than or equal to y?
True
Let a be 0/(-1) + 2/3. Suppose -2*l - 3*l = 0. Which is smaller: a or l?
l
Let w be 2 - -43 - -2 - 4. Suppose 3*q - x - w = 0, -3*x - 8 = -4*q + 51. Which is smaller: 15 or q?
q
Let z = -0.1 + 0.13. Which is smaller: z or 2/5?
z
Let x = -19 - -18.8. Which is smaller: x or 0.02?
x
Suppose -4*j - j = -20. Suppose -2*x + 3*d + 1 = 0, 7*x + j*d = 3*x + 12. Let k = -2 - -7. Which is smaller: x or k?
x
Let a = 1066/7 - 152. Which is greater: a or 68?
68
Let g = -434 + 424.02. Let r = 0.02 - g. Which is smaller: 0 or r?
0
Let y = -3.3 + -0.5. Let j = 0.8 + y. Is j less than 2?
True
Suppose 3 = 3*b, -2*x + 0*b - 28 = 4*b. Let t be 4/x + 42/232. Is 1 greater than t?
True
Let q = 731 - 5109/7. Is q < 1?
False
Let a = 113 - 102.9. Let m = 9.99 - -0.01. Let b = a - m. Which is greater: 1 or b?
1
Let x be 4 + (-1)/((-3)/6). Let c = -47/8 + x. Do c and 1 have different values?
True
Let k = -578/5 + 561/5. Let u = k + 7/2. Let m(h) = h**2 + 3*h. Let p be m(-3). Which is bigger: u or p?
u
Let g = -38 - -40. Which is greater: g or 13/6?
13/6
Let n be (-16)/4 - -2 - 2. Let a be (-1)/(n/(4*-1)). Which is smaller: -2 or a?
-2
Let p be (3/38)/(4/(-16)). Let j = 20/57 - p. Suppose 6 = -5*v - 2*s - 2, 2*v = 3*s + 12. Which is smaller: v or j?
v
Let a be ((-1)/34)/((-6)/72). Which is small