ch is smaller: 9 or m?
9
Let v be (4/12)/(2/24). Suppose -v*u + 1 = 5. Let c = 3 - u. Are c and 5 non-equal?
True
Suppose x = 5*x. Let a = -0.6 + 4.6. Are x and a equal?
False
Let a(u) = u**3 + 6*u**2 - 2*u - 7. Let h be a(-6). Which is greater: 2/5 or h?
h
Suppose 2*t + 2*t = -4. Let p be 12/(-9)*15/10. Is p greater than t?
False
Let b be -1*4/4*0/(-1). Which is smaller: 4/45 or b?
b
Let o = 2.8 - 1.6. Let n = o + 0.8. Which is smaller: 3 or n?
n
Let j = 16 - 17. Let i be j/(-29) - (-2 - -2). Is i at least -1?
True
Let g(v) = v**3 + 2*v**2 - 4*v - 3. Let y = 6 + -9. Let n be g(y). Is n less than 1/5?
True
Let o = 1.98 - -0.02. Let q = -2.1 + o. Let u = 8 + -10. Which is smaller: u or q?
u
Suppose -w - 3*j + 6 = 0, 5*w = 3*w + 5*j + 34. Which is bigger: 3 or w?
w
Suppose 36 = 3*h - 0*h. Let q be (-479)/(-2) + (-3)/h. Let p = q + -238. Are p and 0 unequal?
True
Let f = 2 - 1. Suppose 4*y = a - 12, -a - 2*y - 15 = 3*y. Which is greater: a or f?
f
Let l = 40 - 119/3. Is 9 < l?
False
Let z(p) = -p**2 - 5*p + 10. Let m be z(-7). Let j = 7 + m. Suppose 2*w = 3*x + 3*w + 1, 3 = -j*x - 3*w. Which is greater: x or -0.1?
x
Let b = 7 + -4. Let r be (-3)/(-6) - b/(-6). Let p = 193/8 + -24. Which is smaller: p or r?
p
Let t = -1 - -2. Let d(c) = c + 4. Let f be d(-4). Suppose q + t = 5*w + 14, f = 2*w - 4*q + 16. Does w = -2?
True
Let v = 24 - 23. Which is greater: -1 or v?
v
Let r(y) = y + 1. Let t be r(3). Let v = t + 2. Let s = v + -5. Is s <= 1?
True
Let w = 12.03 - 10. Let p = w + -0.03. Is 0.1 less than or equal to p?
True
Let q(r) = r**3 - 14*r**2 + 12*r - 12. Let t be q(13). Is -25 greater than or equal to t?
True
Let x = -0.2 - -6.2. Let m = 4 + -11. Let t = x + m. Are 1 and t nonequal?
True
Let q = -2.6 + 0.6. Let z = q - -1. Let l = -23 - -23. Is l != z?
True
Suppose -4 = -2*w, -7*i + w + 28 = -2*i. Let r be (-17)/39 + 4/i. Which is bigger: r or -1?
r
Let f be ((-2967)/(-9) + -1)*-216. Let b = f - -496141/7. Let z = b + 115. Is 0 at least z?
False
Suppose 2*a - 14 = 4*a. Let m be a/(-4) - (-8)/(-4). Let u be ((-1)/(-4))/(3/4). Is m < u?
True
Let b be 2/(-8) + 790/1240. Which is smaller: b or 1?
b
Let q = 0 + -88. Let n = q - -86.93. Let y = 0.07 + n. Which is smaller: y or 0?
y
Suppose 0*g + 51 = 5*i - 4*g, 3*i - 17 = -g. Is 7 >= i?
True
Let b = 101/4 - 26. Is -4/3 less than or equal to b?
True
Let a = 81 + -55. Let v be ((-1)/40)/(3/a). Let d = v - 1/30. Which is smaller: d or -1/3?
-1/3
Suppose t = -w - 4*t + 24, 4*t - 8 = 2*w. Suppose 3*y + 15 = 0, 0 = -w*i - 0*y - 4*y - 12. Let z = 6 + -3. Is z >= i?
True
Suppose -4*c + 2*x - 4 = -2*c, -2*x = 3*c - 14. Suppose -4 = -d - c. Let z be (-2)/2*(-8)/14. Is d at most z?
False
Let d(a) = -10*a + 1. Let p be d(-1). Suppose 3*b - 2*f - 16 = 0, 0*b + f = 3*b - p. Suppose -2*t = -6*t - v + 5, -2*v - 1 = -3*t. Is b bigger than t?
True
Let q(w) = -2*w. Let l be -1 + 3 - (5 - 4). Let v be q(l). Let s(f) = -f. Let o be s(v). Which is greater: 3 or o?
3
Let g(v) = -v**3 + 6*v**2 - v + 6. Let h be g(6). Let m be (-2)/24 - 0/(-1). Is m smaller than h?
True
Suppose -2*b + 4*u = 4, -2*u - 3*u + 5 = 4*b. Let z(o) = o**3 + 3*o**2. Let j be z(-3). Suppose j*h = -4*w - 3*h - 4, 0 = 2*h. Is w at least as big as b?
False
Let f = 6026/11 + -548. Let v be -1*-2*1/2. Is v less than or equal to f?
False
Let f = 17.36 + -0.36. Let p = f - 16.8. Are 1 and p non-equal?
True
Let t(i) = 3*i**2 + 6*i - 3. Let p be t(-3). Let j = -4 + 4. Is p at most as big as j?
False
Let t be (12/(-10))/(1 + 13/20). Which is smaller: -2 or t?
-2
Let y(k) = 3*k**2 + 7*k + 0 - 8 - 2*k**2. Let d be y(-8). Suppose -c = -d*c - 1. Which is smaller: 0 or c?
0
Let u(t) = -t + 9. Let g be u(7). Suppose g*o = 3*o. Is o at least as big as -1/4?
True
Let a = -6 - -15. Suppose -6*c + 2*c - 12 = 0. Let p be (c/(-1))/(a/(-6)). Which is bigger: -3 or p?
p
Suppose -5*b + 5 = -0*b. Let z = -29 + 28.6. Which is smaller: z or b?
z
Let f = -4 + 7. Suppose q = -f*q. Let n = q + 0. Is -2/3 < n?
True
Suppose 0 = -4*d - 5*b + 91, b - 155 = -5*d + 3*b. Are d and -2/9 non-equal?
True
Let o be 160/12*(-27)/(-12). Let g be 14/(-49) + o/7. Which is smaller: g or 6?
g
Let g(s) = 4 - 2*s + 2*s**2 + 2 - 3*s**2. Let w be g(-5). Let n be (-1)/3*w/(-6). Which is smaller: -1 or n?
-1
Let g = -7 + 8. Let n = g + 5. Let c be n/(-33) - 2/(-11). Which is bigger: c or -4/3?
c
Suppose 0 = 5*x + 10, 2*p + 3*p + 1 = 2*x. Let n = -1 + 2. Is p > n?
False
Suppose -3*u + 26 = -3*s - s, -3*u - 4*s + 58 = 0. Are u and 14 equal?
True
Suppose 0 = 3*i - 2 - 1. Is i less than -1/17?
False
Let o = 162 + -284. Is o less than or equal to -122?
True
Let z(b) = b**2 + 9*b + 5. Let d be z(-9). Suppose d*v + l + 2 = 0, -5*v - 6 = 3*l - 0*l. Do 1 and v have the same value?
False
Let t(k) = -k + 3. Let x be t(4). Let p(f) = -f**2 + 5*f - 4. Let b be p(3). Let j = x + b. Which is smaller: j or 2/7?
2/7
Let d = -11 - -13. Is 1 less than or equal to d?
True
Let g be (0 + 3)*(-1)/(-8). Which is bigger: g or -1?
g
Let v = -11 + 15. Let n(b) = b**2 + 4*b. Suppose 0*p - 25 = 5*p. Let d be n(p). Which is greater: d or v?
d
Let w be (1/(-1)*-1)/1. Let m = 26 - 17. Is w bigger than m?
False
Let n be (-9)/6 + 7/3. Which is smaller: 0 or n?
0
Let y be (-102)/(-30) + -1*3. Let u be -1 - (6/(-3))/2. Which is smaller: u or y?
u
Let n = -4.2 + 5. Let h = 1 - n. Is h < -2?
False
Suppose 7*w - 9*w = 0. Are w and 0 non-equal?
False
Let x be 2*(-2)/4*-5. Let f(n) = -2 - 1 - x*n - 2 + n**2. Let m be f(6). Which is greater: m or 3?
3
Let p(b) = -b + 5. Let k be p(11). Which is smaller: k or -24/5?
k
Let z = -5 - -12. Suppose z = 4*x + 3. Is x less than or equal to -1/3?
False
Let x(f) = f**3 + 8*f**2 - 17*f - 1. Let l be x(-9). Is l greater than or equal to 2?
True
Suppose w - 5 = -1. Suppose g + w = -g. Is g bigger than -1?
False
Suppose -4*y + 1 = q, 0*q + q - 1 = -3*y. Which is smaller: -2/9 or y?
-2/9
Let a = -2 - -3. Let d = 0.4 + 0.7. Let i = a - d. Which is smaller: i or 1?
i
Let y = -31.13 + 31. Is y <= -1?
False
Let m = -1/57 - 223/285. Is m bigger than 0?
False
Suppose -6*c + 10 = -4*c. Are c and 5 non-equal?
False
Let v = 1 - -3. Let u(b) = b**2 - 22*b - 20. Let q be u(23). Is v at least q?
True
Let j = 27 - 22. Are j and 6 nonequal?
True
Let t be (4 - -2)/2 + -5. Let n be (1 - 6/3) + 2. Let p = -4 + n. Which is greater: p or t?
t
Let c = 5.4 - 5. Which is bigger: c or -5?
c
Suppose j - 5*v - 42 = -12, -2*v = 10. Suppose 0*n - n + 4 = y, 2*y - 1 = j*n. Suppose -5*l + 12 = -5*u + 2*u, 2*l - 10 = -4*u. Is u bigger than n?
False
Let o = 4/25 + 1/25. Suppose 0*u = -3*u. Is u at most o?
True
Suppose 4*z - 7 - 5 = 0. Let k = 0 - 2. Let b be 1*-9*k/z. Do b and 5 have the same value?
False
Let m = -71 + 70. Which is bigger: m or -18?
m
Suppose 2*b + 4*p - 30 = 0, 3*b - p = b + 30. Which is bigger: 8 or b?
b
Suppose -4*v + 4 = -8. Let t be v + 1*(1 - 0). Let a(m) = -2*m - 2. Let p be a(-3). Is t >= p?
True
Suppose -3*d + 56 = d. Suppose 0*o = 2*o - d. Which is greater: 8 or o?
8
Let z(f) = -f**3 - 6*f**2. Let p be z(-6). Let u be 186/176 + 4/(-22). Let g = u - 3/8. Which is smaller: g or p?
p
Let p = -21/10 - -53/5. Which is bigger: 9 or p?
9
Let q = 2.1 + -2.1. Is q not equal to -16?
True
Let q = -6 - -6. Let d = q + -4. Let l = d - -7. Which is smaller: 0.2 or l?
0.2
Let u = -8 - -51. Suppose -2*i - 58 = 4*b - 20, 4*b + 3*i = -u. Let a = b + 11. Do 5 and a have different values?
True
Let l be 1*18 - (-5 + 8). Let i = 14 - l. Do i and -2 have the same value?
False
Let w(q) = -2*q - 9. Let p be w(-7). Suppose l - 1 + p = 0. Let r be -1*5 + (-3)/(-3). Does r = l?
True
Let i be 3*(0/(-2) + (-3)/9). Is -1/73 at most i?
False
Let r = -2/267 - 1054/1869. Let y = 113/30 - 25/6. Which is greater: y or r?
y
Let z = 6.2 + -5.2. Which is bigger: 22 or z?
22
Let q(g) = -g**3 + 3*g**2 - g + 2. Let a be q(3). Suppose -60 = 5*c - 5*u, -2*u + 0*u = c + 9. Let w be (1/(-3))/(c/6). Is w equal to a?
False
Suppose 0 = 5*y + k + 30, y + k + 20 = -2*k. Let j = y - -5. Is j at most -4/3?
False
Suppose 6 = -4*u - p, 5*u - p + 3 = -0*p. Let n = -20698/45 + 460. Which is bigger: n or u?
n
Suppose -27 = 5*q - 2*q. Is -6 < q?
False
Suppose 4*h = 2 + 14. Let p = -5 + h. Is p at most -3/4?
True
Let n = -7 + 12. Suppose -10 = -n*s - 0*s. Is 3/4 <= s?