ose 5*n = 3*v + 27, 24*v = 2*n + 27*v + 6. Is n smaller than w?
False
Let n = 9 + 1. Let o = 5 - n. Let l be (3/(-15))/((-2)/o). Is 0.1 >= l?
True
Let o be 2/(128/60 + -2). Let u be (1/(-21))/(5/o). Are 2/9 and u unequal?
True
Let l = -5 - 2. Let n = l - -7.6. Let x = 1.4 + n. Are x and -1/4 non-equal?
True
Suppose 12 = -0*v + 2*v. Let h be (-12)/(-8)*(-16)/v. Let g = h - -6. Which is bigger: -1 or g?
g
Let v = 128/69 - 12/23. Which is bigger: v or 2?
2
Suppose 5*q - 10 = 10*q. Let x be q/(-4)*2/4. Is -1 <= x?
True
Let k = 4 - 0. Let n be -1*(-3 + k)*0. Is n at most 2?
True
Let f = 39 - 38. Is 3/22 greater than or equal to f?
False
Let t = 33 + -36. Which is smaller: -9 or t?
-9
Let a = 11.1 - 11. Which is smaller: 0.5 or a?
a
Suppose 2*b = -4*p + 14, -3*b + 0*p + p + 14 = 0. Let h(y) = 2*y**2 + y - 2. Let z be h(-2). Let d be (z/(-8))/((-2)/16). Are b and d equal?
False
Let t = 3 - 5. Let n be (-54)/8 - t/(-8). Let l = n - -9. Is l < 2?
False
Let z = -5 - -11. Suppose r - z = -2. Are r and 3 unequal?
True
Let u = 0 + 0. Let g = -5 + 5.1. Which is greater: g or u?
g
Suppose -2*o - 3*o - 40 = -5*h, 4*o + h + 37 = 0. Which is bigger: -5 or o?
-5
Let s be (30/33 + -1)*2. Which is smaller: 1 or s?
s
Let l be 3/1*(7 + -6). Suppose -l*m + 4 + 2 = 0. Suppose 4*o = m*o. Are o and -1/7 unequal?
True
Let a = 0.1 + -0.1. Let l = 0.3 - 1.1. Let r = 1.8 + l. Is r < a?
False
Suppose 0 = 3*l - 11 - 4. Let s(o) = -o + 6. Let c be s(l). Which is smaller: c or 2?
c
Let i = -2 - -1.8. Let r = -0.8 + i. Let l = -4.6 - -4.6. Is l equal to r?
False
Let l be (-14)/(-49) - 20/21. Which is bigger: l or 0?
0
Suppose 0*j = -5*j. Suppose 0 = -4*t - 4*k - 13 + 1, 5*t - k - 9 = j. Is 1 greater than t?
False
Suppose 0 = -v - 2*v + 21. Which is smaller: 8 or v?
v
Let s be 6/(-3) + 14/9. Which is bigger: 1 or s?
1
Let i be -5 - (13/(-2) - 0). Let v be 0 - -3 - (-1 - -1). Which is greater: v or i?
v
Let j = -677 + 676.8. Let a(t) = t**3 + 5*t**2 - 4*t + 7. Let k be a(-6). Which is bigger: k or j?
j
Let m(b) = 2*b**2. Let x be m(1). Suppose -x*r + 3 = 3*y, y + 0*y + 3*r = 1. Which is smaller: -1 or y?
-1
Suppose 0*z = z - 1. Let d = z + -1. Which is smaller: -1 or d?
-1
Let m = -3 + 4. Let g be (6/30)/(2/5). Is m > g?
True
Suppose -2*x - 5*u = -0*x + 53, -3*u - 113 = 4*x. Do x and -30 have the same value?
False
Let a be (5/(-18))/(1 + 8/(-12)). Which is smaller: a or -2?
-2
Let u = 1 - 0. Let w = -10/37641 - -12464521/20137935. Let j = -2/107 + w. Which is smaller: j or u?
j
Let v(j) = j**2 - 5*j + 5. Let g be v(4). Let t be ((-1)/(-2))/((-2)/12). Let l be t/(1 + g/2). Which is smaller: l or 1/2?
l
Let s = 3 - -21. Which is bigger: 2 or s?
s
Let m = -3 - -4. Let r be 19/(-34) + m/2. Let t = r - 15/34. Which is smaller: -1 or t?
-1
Let y = -4 + 17/4. Suppose -2*p - 2*p = -4. Which is smaller: y or p?
y
Let z be ((-6)/(-4))/((-3)/24). Let c be 3/z - 2/(-8). Let b = -21 + 21. Does b = c?
True
Let f = -44 + 43.8. Let z be ((8/10)/(-2))/2. Is z not equal to f?
False
Suppose 4*c = 6*c. Let i = -1 + 1. Let v(u) = u**2 + 1. Let b be v(i). Is c greater than b?
False
Let t be 1 + 0 + 51/77. Let b = t - 12/11. Are b and 0 equal?
False
Let d(k) = 9 + 2*k**3 - 8*k**2 - 4 - k**3 + 0*k + 6*k. Let q be d(7). Suppose 3*w - w + 3*m + 15 = 0, 5*w - 3*m = -6. Which is bigger: w or q?
q
Let m be 10/15*(-3)/6*9. Suppose -2*x - 3*n + 4 = -n, -5 = -n. Is x less than m?
False
Let y = 15 - 11. Let q = -7.6 - -3.3. Let p = y + q. Which is smaller: p or 1?
p
Let n = -96 + 153. Let h = 24 - n. Let y = h + 98/3. Is y less than 0?
True
Suppose -q + 2 = 2*m, 3*q + 4*m + 3 = 11. Suppose q*i + 0*i = -4. Which is smaller: -2/5 or i?
i
Let b be 27/120 + 24/(-40). Let n(i) = -i**2 - 4*i + 4. Let q be n(-5). Which is greater: q or b?
b
Let g be 11/(-7) + 16/28. Is g <= 1?
True
Suppose 0 = -v + 7*v - 0*v. Suppose 3*k = -6, -k - 2 = -2*m - 2*k. Is v <= m?
True
Let d = -5 + 7. Let x be -3*2*d/(-3). Which is smaller: 3 or x?
3
Suppose -3*o + 3*c = -8*o + 17, 13 = 5*o + 2*c. Let h be o*15*(-1)/(-3). Suppose 3*w - h = -2*w. Do w and 1 have the same value?
True
Let z be 0 + (95/(-20))/(-1). Is z < 6?
True
Let t be (-26)/(-6) - 2/(-3). Let d be -3 + 0 + t + -2. Are 1 and d equal?
False
Suppose 0 = -2*n + 5*j - 11, -n + j + 2 = 3. Let q(i) = -i**3 - 5*i**2 + i + 7. Let z be q(-5). Suppose -2*y = z*y - 8. Is n smaller than y?
False
Let n(w) = 0*w + 8 - w + 1. Let g be n(10). Is g at least as big as -2/5?
False
Let g = 32 - -8. Let h be g/(-25)*(-5)/2. Let w(k) = -k + 2. Let z be w(h). Which is smaller: 2 or z?
z
Let k = 149/15 + -53/5. Suppose -10 = -5*r - 4*y - y, -3*y + 4 = 5*r. Are k and r nonequal?
True
Suppose 4 = 2*b + 2*i - 2, 4*b - 15 = -5*i. Suppose -4*n - 1 + 13 = b. Suppose -4*p - n = -7*p. Which is greater: p or 3?
3
Let d be 2/6 - (-33)/(-45). Let b = 6 + -4. Suppose 0 = z - 2*t + 2 - 0, -5*z + b*t - 2 = 0. Which is smaller: z or d?
d
Let d = -37 - -36.8. Which is smaller: -14 or d?
-14
Suppose z + 8 = -4*u, z = -z + 3*u + 6. Which is smaller: z or -2?
-2
Let c = 2 - 1.98. Let b = 0.08 + c. Let w = 8 + -6. Which is greater: b or w?
w
Let w = -2.6 - -0.6. Let y = -18 - -25.1. Let j = y - 7. Is w at least as big as j?
False
Let v be 2 - (1 - -1 - -5). Let u = -27/5 - v. Let z = 4 + -6. Do z and u have different values?
True
Suppose 4*z - 6*z = 0. Let u = -8 + 4. Let a = u + 3. Is a greater than or equal to z?
False
Let n(p) = 0 - p**3 + 0 + 3 - 10*p**2. Let s be n(-10). Suppose -2*h = -5*y - 5*h - 1, 3*h = -3*y + s. Which is greater: -3/5 or y?
-3/5
Let w(g) = g**3 - 6*g**2 - 5*g - 4. Let b be w(7). Suppose -3*y + o + b = -4*y, 4*o - 80 = 4*y. Which is smaller: 2/3 or y?
y
Let w = -0.5 - 0.8. Let p = w + 1. Let y = p + 0.2. Which is bigger: y or 2/5?
2/5
Let b = -99 + 595/6. Do b and 0.05 have different values?
True
Let j(t) = -t**3 - 8*t**2 + 2*t + 10. Suppose 15 + 11 = -2*x + 5*f, -44 = 5*x - 2*f. Let r be j(x). Let c be 2/r*3/2. Do c and 0 have different values?
True
Let u be 4 - (2 + (-1 - -2)). Let m = -53 + 95. Let f be (-26)/m + (-5)/(-15). Which is greater: u or f?
u
Let j(r) be the second derivative of r**5/20 - r**4/2 + r**3 - 5*r**2/2 - r. Let c be j(5). Suppose -4*h + c*h = -8. Is h smaller than 3?
True
Let y = 12 + -36. Does -22 = y?
False
Let t = -13420514/1197 - -100898/9. Let b = t - -28/19. Let q = -1791 + 1793. Which is bigger: q or b?
q
Suppose 4*l = l. Are -2/21 and l nonequal?
True
Let f(y) = y**2 - 14*y - 18. Let h be f(15). Which is bigger: 1 or h?
1
Suppose -5*w - 2 + 52 = 0. Suppose 14 = 4*u - 3*l - 29, -4*u + 5*l + 45 = 0. Is u smaller than w?
False
Let v(c) = -c**3 - 7*c**2 - 5*c + 3. Let j be v(-6). Let f = -10/13 - 19/26. Are j and f non-equal?
True
Let v be (8 + -12)/(2/(-3)). Suppose 12 = -3*g + v*g. Which is smaller: g or 5?
g
Let f = -27 - -30. Let a(i) be the third derivative of i**4/24 - 2*i**3/3 - i**2. Let t be a(6). Are f and t non-equal?
True
Suppose 0 = 5*f - 2*h + 30, -4*f - 52 = -3*h + 7*h. Let o(i) = -i - 4. Let u be o(f). Is 3 greater than or equal to u?
False
Let l be (-3894)/(-44)*4/3. Is l bigger than 118?
False
Let x be (-24)/9*6/(-4). Suppose -m - 4*l = 4*m + 7, -2*l - 2 = x*m. Is m greater than 2?
False
Let r(b) = b + 3. Let q be r(3). Suppose -q*p + 3*p = 0. Let h be (5/2)/(p + 1). Which is greater: 4 or h?
4
Let h = -13 - -8. Which is bigger: -8 or h?
h
Suppose 0 = -3*o - 12, 3*r + 4*o = -o - 14. Is 0 less than r?
True
Suppose 56 = 5*q + 51. Does -0.19 = q?
False
Suppose -9 = 4*b - 185. Let h = b - 85/2. Which is smaller: 2 or h?
h
Let u be 20/110 + (-52898)/(-308). Let r = 172 - u. Which is smaller: r or -1?
-1
Let t = -12 - -10.8. Let v = -1 - t. Is v != -0.1?
True
Suppose 0*z = -5*z. Let s be 555/171 + z + -3. Let x = -8/19 - s. Which is smaller: 1 or x?
x
Let c(v) = v**3 + 4*v**2 - 7. Let h be c(-3). Which is smaller: 11/7 or h?
11/7
Let u be 0/((-2)/(-4)*4). Let n = 1 - 1. Let h = n - -0.1. Do u and h have the same value?
False
Let f = -28 + 29. Let s = -0.3 + -0.7. Which is smaller: s or f?
s
Suppose 0 = 5*d - 6*d. Is -2/49 at most as big as d?
True
Suppose -4*o - 3 = 1. Suppose 5*q + 20 = -0*q. Which is smaller: o or q?
q
Let y(m) = m**2 - 11*m - 1. Let s be y(11). Let u(f) = 6*f**3 + f. Let v be u(s). Is v smaller than -7?
False
Suppose -l = -0*l - 1