h is smaller: 1 or g?
g
Suppose -4*b + 264 = -3*i, 0*i + i = 5*b - 319. Let g be (6/b)/((-12)/(-28)). Which is greater: 1 or g?
1
Let r = -2.47 - -2.5. Let u = r + 0.08. Is -0.2 > u?
False
Let i = -45 + 40. Is -1 at least i?
True
Let r be 8/1*(-1)/(-2). Suppose 5*s = r*s - 1. Is 1 > s?
True
Let s be 3/18*5 + (-1)/(-6). Suppose -2*k + 3*k - 6 = -d, 4*k - 20 = 0. Is s bigger than d?
False
Let h(p) = p**2 + 4*p - 4. Let v be h(-5). Let t(u) = -u + 1. Let y be t(v). Suppose 2*j + 5*r - 7 = j, y = 2*j + 3*r. Which is greater: j or 0?
0
Let g = 0 - 1. Let m = 85 - 141. Let s = 390/7 + m. Which is smaller: s or g?
g
Let v = -4437/6020 + 32/43. Which is smaller: 1 or v?
v
Let x = 497 - 19879/40. Which is smaller: -1 or x?
-1
Suppose -4*y + 3*y = -3. Suppose -5*g - 12 = -y*g. Let i = g + 5. Is i at most as big as -1?
True
Let p be ((-15)/55)/3*-7. Which is greater: p or 1?
1
Let m(u) = u**2 + 7*u + 5. Let p be m(-7). Is p at most as big as 5?
True
Let f = 11/6 - 4/3. Let h = -0.53 + 0.03. Let s = h + 0.8. Which is greater: s or f?
f
Let i be (6 - -1)*(-1)/(-7). Which is bigger: i or -2/23?
i
Suppose 0 = -j - 2*j - 6. Let f(k) = -k**2 + 8*k + 3. Let s be f(8). Let r be (-1)/s*-3*-1. Is j bigger than r?
False
Suppose d = -3*n + 2, 6 + 11 = -2*n + 3*d. Let t be ((-10)/(-6))/((-5)/(-90)). Let l be (-8)/t*6/4. Are n and l nonequal?
True
Let k = 507/5 - 102. Let g = k + 4/15. Which is smaller: g or -0.2?
g
Let x be (-9)/4 - 1/(-2). Let j be ((-1)/(-3))/((-20)/60). Is j at least x?
True
Let i = -5 + 4. Let r be 2*((i - 0) + 0). Let d be r/(-4)*(-16)/4. Is -3 not equal to d?
True
Let v(f) = f**3 + 13*f**2 - 12*f + 3. Let a be v(-14). Is a >= -26?
True
Let i be (16/(-48))/(1/(-20)) + -1. Do -2/7 and i have the same value?
False
Let w be -12*((-3)/(-2) + -2). Let s be -6*(-2 - (-8)/w). Suppose -t - s = -3*t. Which is smaller: t or 1?
1
Let y = -29/3 + 82/9. Let x = y - -37/18. Is 1 < x?
True
Let y(f) = -f**3 - f**2 - 2*f. Let s be y(-2). Let c(q) = -q - 1. Let v be c(-8). Are s and v unequal?
True
Suppose -2*p = 4*l - 3*p - 47, 2*l - 5*p - 19 = 0. Suppose d - l = 5*d. Let n = -3 - d. Which is bigger: -2 or n?
n
Suppose -3*m - 10 = -5*m. Let t = -2 + 6. Let a be (-3)/(-1)*t/3. Which is greater: m or a?
m
Let i be -3 + 3 + (-9)/(-3). Which is bigger: i or 13/5?
i
Let p be -4 + -1*(-54)/(-6). Is -14 bigger than p?
False
Let p be (-2)/(-2) + (-85)/55. Suppose 3*g - 8*g = -5*x + 20, 4*g - 8 = -2*x. Which is bigger: g or p?
g
Let s = 105 - 151. Which is smaller: s or -47?
-47
Let x = -255.1 + 255. Let h be -13 - ((0 - -1) + -1). Are x and h nonequal?
True
Suppose -r + 15 = 4*r, 22 = -5*f + 4*r. Let y be (f/(-4))/(1/20). Suppose -4*s + 0*s = 5*h - y, 0 = 3*h - 5*s - 6. Which is smaller: 4/3 or h?
4/3
Suppose h = -0 - 2. Let q = -1 - h. Which is smaller: q or -1/7?
-1/7
Let a be 6/4*104/6. Suppose 0 = -p - 4*d - a, -2*p = -3*d + 2*d + 34. Let m be 33/27 - (-4)/p. Is m at most as big as -1/5?
False
Let c be (1/(-10))/(58/268). Let x = 4/29 - c. Suppose -5*i + 4 = 3*o, -5*i + 8 = -o - 4. Is i less than or equal to x?
False
Suppose 4 = 5*n + 2*x + 34, -5*n + 5*x - 30 = 0. Which is greater: n or -9?
n
Let s = -14/3 - -92/21. Does -4 = s?
False
Let b = 28 + -46. Let c be 1/6 - (-23)/b. Is c not equal to -2?
True
Let i be 1*30*2/(-4). Let h be 3/2*14/i. Which is bigger: h or 0?
0
Let v = -36 + 181/5. Are v and 1 equal?
False
Suppose -4*n + 2*q + 146 = 0, -3*n = -q - 2*q - 108. Let h be -3 - (2 + n/(-7)). Is h <= 2/11?
False
Let f(y) = -y + 4. Let h be f(5). Let u be 2/(-18)*3/9. Let z = -23/108 + u. Is h < z?
True
Let q = 7.17 + -0.17. Let f = q + -9. Let p = 0.2 - 0. Is p at most f?
False
Suppose -7*m = -5 - 2. Is m less than or equal to -3/119?
False
Let i = 27 + -26.95. Is i greater than or equal to 4/11?
False
Let m = 21 - 12. Let w be 13/m + 1 - 2. Which is greater: w or 0?
w
Let h = -5 + 5. Is 5/6 != h?
True
Let j be (-22)/(-24) - (11 - 10). Let w = -2 + 2. Which is bigger: j or w?
w
Let r = -2.6 - 3.2. Let b = -6 - r. Is b > -1?
True
Let y(w) = w. Let k be y(1). Suppose -3 = 2*c - k. Is c bigger than -3?
True
Let z be 1 + 185/(-40) + 3. Is z bigger than 0?
False
Suppose 0*h = -3*h + 3. Suppose 5*z - 4 - h = 0. Which is bigger: z or 5/3?
5/3
Suppose -2*m = m. Suppose 4 = t - m. Which is greater: t or 3?
t
Suppose 4*i + 2*i + 768 = 0. Let t = i + 1156/9. Which is greater: 1 or t?
1
Let w(d) = d**3 + d**2 + 4. Let y be w(0). Suppose 2*q - 6*q - y = 0. Let x(f) = -f - 5. Let z be x(-5). Is z != q?
True
Let y = 7.06 - 0.06. Let w = 12 - y. Is -1 equal to w?
False
Let z(f) = 2*f**2 + 3*f + 1. Let c be z(-2). Suppose -2*m - 3 = -5*y, 2*m + c = 3*y + 2. Suppose 2*a + 2*a = 0. Are m and a equal?
False
Let x = -239/40 + -2043247/280. Let u = 7484 + x. Let p = u + -181. Which is greater: -1 or p?
p
Let q = 0.08 - -1.92. Which is smaller: q or 0.05?
0.05
Suppose 2 = p - 1. Suppose f - 34 = p*y, 0*f - 40 = 3*y + 2*f. Let v be -4 + 2 - y/7. Which is smaller: -2/5 or v?
-2/5
Let z = 7 + -7.2. Let k(x) = -x**2 - 2*x + 2. Let s be k(-3). Is s greater than or equal to z?
False
Let q(r) = -r**2 - 3*r - 1. Let x be q(-3). Let t = -445/42 + 2077/42. Let f = t + -39. Is f < x?
False
Let t = 5/2 + -2. Let l = -3.1 - -3. Which is smaller: l or t?
l
Let t = -2 + 1.9. Which is greater: -2/21 or t?
-2/21
Let w(j) = -j - 20. Let g be w(-16). Let t be (-12)/16 - 11/g. Which is bigger: t or 1?
t
Suppose 36 = 7*k - 3*k. Let i(l) = l**2 - 7*l - 13. Let j be i(k). Which is bigger: j or 4?
j
Let c(t) = t**2 - 10*t - 11. Let a be c(11). Suppose a = -3*x + 2 + 7. Suppose -x*m = -4*s, 7*s - 4*s + 5*m + 29 = 0. Is s less than or equal to -3?
True
Let l = -152 + 197. Is -2 < l?
True
Let i = -1 + 2. Suppose -10 = -h - 2*k, -k = -h - h. Suppose 2*y = 3*f + 10, 0*y - 5*f = -h*y + 14. Which is smaller: i or y?
i
Let z = 1 + -2. Let p = z + 2. Let m be p - 3 - (-2)/2. Is m equal to -1?
True
Suppose 0 = 2*l + 3*g - 61, -l + 28 = -4*g - 8. Let u = -97/3 + l. Which is smaller: 1 or u?
u
Let i(o) = -o**2 - 6*o + 7. Let w be i(-7). Suppose w = -d - 3*s + 5, -5*d + 3*s + 14 = -11. Let m = 4 - d. Is m bigger than 2/11?
False
Let j be ((-10 - -5) + 2)*(-6)/27. Let n = 0.25 + 0.11. Let g = n - 0.3. Which is smaller: j or g?
g
Let q(j) = j**2 + 6*j - 4. Let u be q(-7). Suppose 18 = 3*o - u*t, 5*o + 0*t = 3*t + 24. Do o and 3 have the same value?
True
Let j(s) = 20*s. Let q be j(1). Let c = 14 - q. Let r be (1 - (-8)/c) + 0. Which is bigger: r or 1/3?
1/3
Let v = 39 + 22. Is v >= 61?
True
Let r be 18/12*124/6. Which is smaller: 32 or r?
r
Let n(u) = -u**3 + 4*u**2 + 6*u - 2. Let y be n(5). Suppose 0*a = y*a - 4*l + 10, l = 4. Suppose -a*o + 3*o - 1 = 0. Which is smaller: o or 1/2?
1/2
Suppose -2*j + 3 = 7. Let a be (j - (-9)/(-12)) + 3. Suppose -1 = -4*z + 3. Which is smaller: z or a?
a
Let r be 0 - 4*(-4)/8. Is r less than or equal to 5/2?
True
Let x = -6 - -7. Let s be x - 2 - 2 - 0. Is s less than -4?
False
Let z = 3 - 2.9. Let b = 1 + 9. Let w = b - 8. Which is smaller: z or w?
z
Suppose -3*k - 48 = k. Let t be ((-3)/(-6))/((-21)/k). Let f = -0.7 - 0.3. Which is bigger: f or t?
t
Suppose i = x - 0*x - 1, -5*i - 9 = -x. Is x less than 1/302?
True
Let l be 15/75 + (-138)/(-10). Is 15 >= l?
True
Let g be (6 - 7)*(-1 - -31). Let u be (g/12)/((-6)/3). Are u and 2 non-equal?
True
Let z = -1 - -1. Suppose 0 = 4*y + 5*i - 11, -3*y - 4*i + 15 - 6 = z. Does y = -2?
False
Let m(r) = -r**3 - 5*r**2 + 3*r - 7. Let t be m(-6). Suppose -25 = 2*z + t. Let p be z/(-22) + (-8)/(-44). Which is smaller: -2/5 or p?
-2/5
Let w = -0.16 + 1.16. Let i = 1955/9 - 217. Which is smaller: w or i?
i
Let o = -0.97 - 0.03. Let f = -0.3 + -0.7. Are f and o non-equal?
False
Suppose -2*g = -5*d + 19 - 4, -g - 9 = -4*d. Are 0 and d nonequal?
True
Let z = -110.9 + 106. Let y = -1.4 + -3.6. Let x = z - y. Is -0.3 smaller than x?
True
Let m = 65/4 - 263/12. Which is smaller: m or -7?
-7
Let n(s) = s**3 - 8*s**2 + 8*s - 2. Let j be n(7). Let o(v) = v**3 - 5*v**2 - 3*v + 5. Let y be o(j). Is -10 < y?
False
Let z = -7 + 10. Let w(y) = 2*y**3 - 5*y**2 + y + 3. Let c be w(z). Let v be ((-6)/c)/(7/5). Which is smaller: 0 or v?
v
Suppose -3*i + 10 = 2*i + k, -5*k = -4*i + 8. Suppose 2*n + 1 = 3*h - 4, -2*n - 4*h + 2 = 0. Let z = 2 + n. Is i >= z?
True
Let f(d