ch is smaller: g or 1?
g
Let h be ((-1387504)/(-6))/((-4)/42). Let p = -536615956/221 - h. Let v = 70/13 - p. Which is greater: v or -1?
v
Let n = -183.0092 + -0.2908. Let s = n - -191. Let h = -8 + s. Which is greater: 2/5 or h?
2/5
Let y = -54 + -17. Is -70 greater than y?
True
Let w = 0.9 + -1. Let a be 82/(-20) + (5 - 1). Is a > w?
False
Suppose -2 = -5*s + 3. Is s bigger than 3/11?
True
Let f = -3 - -11. Let o be ((-2)/(-3))/(f/12). Let n be 0/(6/(-3) + o). Which is bigger: -2 or n?
n
Let s = 0.2 + -0.21. Let y = -13.2 + 1.2. Let m = -11 - y. Which is smaller: m or s?
s
Let k be ((-4)/(-22) - 1) + 1. Let w be (10/(-6))/(1/(-3)). Suppose -3 = w*l + 2. Which is greater: k or l?
k
Let t(k) = k**2 + 3*k + 2. Suppose 2*v = 2*j + 15 + 13, -3*v - 4*j = -21. Suppose v = -4*b + 3*w, -3*w = -4*b + w - 12. Let y be t(b). Which is greater: 1 or y?
1
Suppose 0 = -2*v + 6 - 2. Suppose -t - w = -v, 5*t - 2*w + w = 16. Let d be 2 - (2 + -2 - 0). Which is bigger: d or t?
t
Let t be -1*(1 + (0 - 1)). Let v = -8 - -5. Is t smaller than v?
False
Let u(n) = n**2 - 4*n + 2. Let i(v) = -v**2 + v + 4. Let j be i(0). Let q be u(j). Is 2 equal to q?
True
Let h = -6 + 5.95. Let i = -0.15 + h. Let f = 1/14 + 3/7. Is i not equal to f?
True
Let c = 66 + -67. Let s = -0.09 - -0.1. Is s not equal to c?
True
Let a(x) = x**2 - 5*x + 3. Let h be a(5). Let k(b) = b + 1. Let j be k(-4). Let t = j - h. Is -6 smaller than t?
False
Let o = -3.4 - -3. Suppose 0 = 8*p - 12*p - 108. Let w = p - -29. Is o smaller than w?
True
Suppose 2*j + r - 22 = -r, -40 = -4*j - 3*r. Which is bigger: 5 or j?
j
Let f be 2/(-9) - 38/(-9). Is f at least as big as 4?
True
Let u = -70 - -69.9. Which is smaller: u or -1?
-1
Suppose y = -3*p - 8, -5*y = 2*p + 2*p + 7. Let c be 21*(p - (-22)/6). Let w be (-1)/7*c/12. Is w less than or equal to 1?
True
Let b be (1635/35 - 1) + (-2)/(-7). Is 47 bigger than b?
True
Suppose -2*w + 2*p = 44, 0 = -2*w + p - 0*p - 48. Let g = 25 + w. Is g <= 3?
True
Let z(t) = -t**2 - t + 2. Let f be z(-5). Which is greater: f or -16?
-16
Suppose 0*i + 63 = 3*i. Let b = i - 13. Let h be 4/14 + b/70. Is 0 greater than h?
False
Let b be 1/1 + (-1)/(-1). Let m(k) = -k**3 - k**2 - k - 1. Let f be m(-1). Is b at least as big as f?
True
Let v(a) = -a - 5. Let s be v(-7). Suppose -y + 3*i - 1 - s = 0, i + 25 = -4*y. Which is smaller: -5 or y?
y
Let f = 2873/4 + -778. Let y = -60 - f. Is y equal to 1/2?
False
Let t be (-4)/(-22) + 175/(-55). Let x(m) = m**3 + 3*m**2 - 2*m - 4. Let w be x(t). Which is greater: 0.2 or w?
w
Let k be (0 - 5)/(-4 + 5)*-2. Which is greater: 9 or k?
k
Let v = -1 - -2. Let m be 94/40 - 3/1. Let u = m - -1/4. Does v = u?
False
Suppose -y + 2*m = -m - 13, 0 = 4*y - 5*m - 80. Suppose -n = 4*n - y. Is 5 != n?
False
Suppose 0 = -3*s - s. Let j = 0 + s. Let k = 381/754 - 2/377. Is k <= j?
False
Suppose 82 = -5*c + i - 75, 5*c + 151 = -2*i. Are -30 and c non-equal?
True
Suppose 7*u + 0 = 7. Which is smaller: 10/9 or u?
u
Suppose 3*z - 224 = x, -z - 2*x + 79 = 2*x. Suppose -2*u + z = -7*u. Let i be (10/u)/((-2)/(-6)). Is i at least as big as -2?
True
Suppose 115 = 5*n - 5*l, 0 = -3*n - l + 17 + 56. Let i be (1/3)/(8/n). Let r = -99/28 + 30/7. Which is smaller: r or i?
r
Suppose 4*r + 3 = 7. Let w be (4/(-8))/(-1)*2. Is r not equal to w?
False
Let g be 267/12 - (-2)/(-8). Let z be (-48)/(-22) + (-4)/g. Suppose 5*a = 4*c - 23, -z = 3*a - a + 2*c. Does -1 = a?
False
Let d = 15.1 - 10. Let w = -34 + 35.1. Let n = w - d. Which is smaller: n or 1?
n
Suppose 5*c + 11 = 5*u - 4, -4*c = -5*u + 16. Suppose -5*f = 3*h - 3, -h = 2*f + 4 - 5. Do c and f have the same value?
False
Let i(m) = -m**3 + 6*m**2 - 6*m + 3. Let d be i(5). Are -1 and d nonequal?
True
Let x be -5*(1 - -1 - 3). Suppose -x*j - 39 = 3*q, j + 6 = -j + 2*q. Suppose -15 = 2*b - 3. Is j less than or equal to b?
True
Let b(a) = a**3 + 5*a**2 - 3. Let t be b(-5). Let v be 1*t*362/(-15). Let m = v - 72. Is -0.2 at most as big as m?
True
Let u = 2 - -4. Suppose 10 = u*k - k. Let b be 3/k*6/(-9). Which is smaller: -2 or b?
-2
Let f be (-53)/(-11) + 4/22. Let s(l) = l - 3. Let h be s(f). Let k be 4 + -5 - 2/h. Are k and -3 unequal?
True
Suppose 2*a - a = -3*s - 139, -5*a - 2*s - 630 = 0. Is a equal to -125?
False
Let p be -2*(-2)/24*6. Let u be (-1 - (p + -3)) + -1. Is u >= 0?
True
Suppose 0 = 6*s - s + 5. Which is greater: -5/14 or s?
-5/14
Let r = 28 + -26. Which is smaller: 8/11 or r?
8/11
Let j = -48/55 + 14/11. Which is smaller: j or 2?
j
Let r = 21 - 23. Let c = 19 - 93/5. Is r at least as big as c?
False
Let j be ((-9)/(-6))/((-6)/8). Is j at least as big as -6/7?
False
Let l(q) = q - 7. Let c be l(5). Let f = c + 8. Suppose f*t = 3*t + 6. Which is smaller: 1 or t?
1
Suppose -2*d + 3 = 3*s - 2, 2*s = -4*d - 2. Is 1 <= d?
False
Let s be 166/(-12) - (-5)/(-30). Is -15 greater than s?
False
Let g(f) = f**3 + 10*f**2 - 7*f - 3. Let p be g(-8). Let c = -1081/6 + p. Is c greater than or equal to 0?
True
Let l = -6 - -8. Let t = -4 + 5. Which is bigger: l or t?
l
Let y be 0 - (-1 + (-99)/2). Let c = 52 - y. Let n(r) = -r**2 - r + 2. Let a be n(0). Which is bigger: c or a?
a
Let d(p) = p**3 + 7*p**2 + 4*p - 3. Let g be d(-6). Suppose g*c - 15 = 4*c. Is c != 3?
False
Suppose 1 + 3 = q. Let m be (-16)/(-4) - -1 - q. Is 6 at least m?
True
Let s = 9 - 22. Let h = -13.2 - s. Let j be (-2)/4 - 6/4. Which is smaller: j or h?
j
Let f = 6 - 8. Let b be f/(28/3326) - 1. Let q = b - -239. Is q at most as big as -1?
False
Let q be (-2 - -1)*(-12 - -14). Do q and 0.6 have different values?
True
Let f be ((-34)/16 - -1) + 1. Which is bigger: f or 1?
1
Let w be (-214)/((-21)/(-9) + 1). Let g = -64 - w. Which is smaller: 0 or g?
0
Suppose -3*w - v + 4 = 0, -2*v = w + 3*v + 8. Suppose 2*d = -w - 0. Which is smaller: -2/35 or d?
d
Let x = -2 + -4. Let c(j) = j**3 + 7*j**2 + 6*j. Let b be c(x). Are b and -6/5 unequal?
True
Let q(o) = -o**3 - 3*o**2 + 6*o + 4. Suppose 0 = -0*z + 5*z - 2*m + 10, 0 = -2*m - 10. Let v be q(z). Let c be (-6)/v + 1/(-2). Is 1 bigger than c?
False
Suppose 0 = -2*b - 3*z - 2*z + 18, 5*z + 10 = 5*b. Suppose b*h + u + 7 = 0, 2*h = -2*h + u - 1. Which is bigger: -1/2 or h?
-1/2
Let j be (14*(-1228)/(-8))/(-12). Let m = 179 + j. Which is smaller: 0 or m?
m
Let g = 2 - 6. Let t = -2 - g. Let a be 4/(-6) - (t + -3). Which is greater: a or -1?
a
Suppose 3*a = 4*k - 13, 3*k - 9 = 3*a - 0. Suppose 0 = 3*q + 2*q. Do q and a have different values?
True
Let n be (-11)/(-9) - 2/9. Let r = -8 + 5. Let s be r/108 + (-6)/27. Is s smaller than n?
True
Let t be 132/(-32) + -2 + 6. Which is greater: t or 0?
0
Let a(q) = -q**2 - 15*q + 1. Let l be a(-7). Let o = l + -397/7. Is 0.12 at least o?
False
Let t = 4 + 2. Let d = -5 + t. Which is bigger: -2 or d?
d
Suppose -2*c - 4 = -3*c. Let p = 7 - c. Is 4 at most as big as p?
False
Let l = 0.05 - 0.55. Let u = l + -3.5. Let j = -5 - u. Is j > 3/8?
False
Let t = -3 + 5. Let c = t - 1. Let f(h) = -h - 10. Let p be f(-10). Which is greater: p or c?
c
Suppose 2*m + j = -4, -m + j = 2*m - 4. Is m at most as big as -17?
False
Let k = 15 - 14.72. Let i = k - -0.02. Let q = 0 - i. Which is greater: 0.2 or q?
0.2
Suppose -4*f + 8*f = 12, -2*f + 10 = z. Suppose d + 22 = z*c, 2*d + 2*c = -3*d. Does d = -3?
False
Suppose -2*u - 5 = -3. Let m = u - -7. Suppose -g + m*g = -15. Which is smaller: g or -4?
-4
Let j = 13.23 - 0.23. Let q = -11.6 + j. Let f = q + -0.4. Which is smaller: f or 2?
f
Let u be (4/5)/2*-15. Let y = u + 8. Which is bigger: y or -1?
y
Let y(h) = -h**3 + 8*h**2 - 2. Let v be (0 + 2/(-5))*-20. Let n be y(v). Which is greater: -6/11 or n?
-6/11
Let h be 3 + 3/(-2) - (-2)/(-4). Which is smaller: h or 19?
h
Suppose -2*j + 0*j = -3336. Let z be 3/1 + j/(-564). Which is bigger: z or -1?
z
Let v = -8 + 6. Let w = -10 + 9.2. Let s = w + 1. Which is greater: s or v?
s
Let y(a) = -a**2 + 3*a + 2. Let c be y(-2). Let k(s) = s**2 + 7*s - 8. Let q be k(c). Let i = q + 3. Is 2/3 greater than i?
False
Suppose 0 = 6*z - z - d - 87, z + 5*d - 33 = 0. Suppose s + 2*s + z = 0. Let q be 8/(-18)*3/s. Which is bigger: q or 1?
1
Let t be -4 + (1 - -2) + 3/4. Let g be (-2)/((-4)/2*-1). Is g greater than or equal to t?
False
Let j(s) = s**2 - 5*s. Let k be j(5). Let z(o) = -o**2 + 10*o - 10. Let y be