 Which is greater: -6 or i?
-6
Let h = 1.53 + -1.3. Let u = -0.03 + h. Which is smaller: u or 1/6?
1/6
Suppose -31 = 5*o - h - 9, 3*h = 3*o + 6. Suppose -7*r = -2*r + 20. Is r smaller than o?
False
Let k(f) = -f**2 + 14*f + 1. Let g be k(15). Is g greater than -14?
False
Suppose 9*a = w + 4*a - 11, 5*a + 9 = -w. Let o be (w + 0/(-3))/(-5). Which is smaller: o or 1?
o
Let x = -136/111 - 4/37. Let l = -0.49 - -0.27. Let s = -0.02 - l. Which is greater: s or x?
s
Let b = 7 - 9. Let a be ((-12)/8)/(3/(-4)). Suppose 0 = -3*d + 3*i - 15, a*i = 3*d - 6 + 19. Which is greater: d or b?
b
Let k be (6/18)/((-3)/9). Is k < -1/55?
True
Let k = -167 + 838/5. Is k greater than or equal to 2?
False
Suppose -2*s - 2*l - 23 = 3*l, 5*s + 2*l = -5. Let v be (-2 + 1 + 3)*s. Do v and 0.03 have the same value?
False
Let u(i) = -i**2 - 3*i + 17. Let c be u(-6). Are c and -2/7 nonequal?
True
Let s be 4/(-1 + -1) - (-2 - 1). Is -2/45 equal to s?
False
Let j be 3/2*356/(-12). Let a = -18 - -61. Let v = a + j. Which is bigger: 0 or v?
0
Suppose y + 1 = -2*n - 0*y, -3*n - 24 = -3*y. Is n at least -3?
True
Let s = 7/9 - 13/9. Let z = -1 + -2. Let a be 1 + 1 + 5/z. Which is bigger: a or s?
a
Suppose g + 1 = 3. Suppose g*d = -d + 15. Suppose 0 = n - 6*n - d. Which is smaller: -2 or n?
-2
Let m be 10/(-40) + 14/36. Let v = m + 1/12. Is 1 >= v?
True
Suppose -4*s + 6*s = 0. Let z = -4/27 - -43/108. Are z and s non-equal?
True
Let q = 0.092 + 0.008. Which is greater: q or -2?
q
Let s(o) = o - 3. Let c be s(5). Suppose -2*b = -c*k - 4, k = b + 4*b - 6. Is k at least 1?
False
Let s = 8 - 6. Suppose 2*r - 21 = -s*r + 3*j, -4*r + 3 = 3*j. Let x be (r/(-22))/(3/(-4)). Is 0 != x?
True
Suppose -6 + 18 = 3*w. Let v be (-115)/(-35) + w/(-14). Is v smaller than 1?
False
Let w = 2 + 1. Suppose 0 = 3*p - 2*p + w. Let l = 7 + p. Which is smaller: 3 or l?
3
Let b = -0.07 + 0.17. Which is greater: 6 or b?
6
Let k be 2/78*(-9 + 6). Is 1 > k?
True
Suppose -16 - 9 = 5*p. Let v = p - -5. Let f be 2 + v + (-24)/15. Is f equal to 2?
False
Suppose x - 2*x + 19 = 2*s, -5*s + 4*x = -15. Let j(r) = -r + 3*r + s - r + 0*r. Let y be j(-5). Are 4 and y unequal?
True
Let b = 1.95 - 2. Let h = b - -0.15. Is 0.2 at most h?
False
Let m = 39.2 - 39. Which is smaller: -5 or m?
-5
Let j be (6 - 2)*(-3)/(-4). Suppose 14 = 5*d - 1. Is d greater than or equal to j?
True
Let b(q) = -q - 4. Let p be b(-8). Let j be (-3)/(-24)*(-2 - p). Which is smaller: j or -2?
-2
Let s = -10 - -8. Which is bigger: s or -1?
-1
Let k be (-2)/6 - (-19765)/(-4875). Let a = 56/13 + k. Which is smaller: a or 0?
a
Suppose 14*j - 5 = 9*j. Are j and -1 equal?
False
Let c be (-4)/26 + 195/169. Suppose -c = -0*u - u. Which is bigger: -2/37 or u?
u
Suppose -12 = -0*q - 4*q. Let a be (-1)/3 + 2/q. Is a greater than 2/3?
False
Suppose -4*l + 26 = -l + 4*k, 3*l + 2*k - 28 = 0. Let p be l/(2*(-2)/6). Let r be (-7)/(-5) - (-6)/p. Which is smaller: -2/21 or r?
-2/21
Suppose -q + 5*q = 12. Suppose q*t + 4*b = 1, 4*t + 3*b + 2 = 8. Is t less than or equal to 8/3?
False
Let v be 0*(1 + -2) - -2. Suppose -30 = 3*g - 3*b, -v*g - 2*b + 10 = 2*b. Which is smaller: g or -0.1?
g
Let p = 3.4 - 3. Let i = -0.025 + -20.975. Let x = -21.1 - i. Which is smaller: x or p?
x
Let a = -0.25 + 0.05. Let s = 0.01 - 4.01. Let c = 6 + s. Is a greater than c?
False
Suppose 0 = 3*t - 2*d - 18, 0*t + 3*t = -5*d + 18. Let m = -12/13 + 10/39. Which is smaller: t or m?
m
Let q(f) = f**3 - 3*f**2 + 3*f - 3. Let u be q(2). Let y be ((-2)/4)/((-1)/6). Let d be (0/1)/(y - 2). Is u at most d?
True
Let k(z) = z**3 - 12*z**2. Let l(v) = -v**3 + 13*v**2 + 1. Let s be -2 + (-2 - -3) - 6. Let q(r) = s*k(r) - 6*l(r). Let n be q(6). Is n less than -5?
True
Suppose 5*u - 3*o = 16, 11*u - 6*u + 5*o = 0. Suppose y - 6*y + 10 = 0. Let v be (y/(-6))/(10/(-18)). Which is smaller: v or u?
v
Let l = 36/5 - 58/15. Are 2 and l nonequal?
True
Let w be ((-76)/(-7))/(20/14). Which is smaller: 8 or w?
w
Let c = 36 + -30. Is 6 less than c?
False
Suppose 15 - 43 = -4*v. Is v <= 2?
False
Let y = -39 + 39. Is y <= 5/8?
True
Let j(q) = -q**2 - 1. Suppose 0 = 2*g, -2*a + g + 3*g = 0. Let y be j(a). Let s be (1 - -8)*y/(-3). Are 1 and s equal?
False
Let u = -9 - -5. Is u > -5?
True
Let a = 7900 - 110511/14. Let c = 34/7 - a. Let w = 3 + -5. Which is smaller: c or w?
w
Suppose -12 = -h - 11. Which is bigger: h or -3/16?
h
Let i(q) = -q**3 - q**2 + q + 1. Let t be i(0). Is 24/13 != t?
True
Let u(c) = c**3 - 13*c**2 + 13*c - 15. Let j be u(12). Suppose -t = 4*t - 40. Suppose -4*a + 0*a - t = 0. Is a greater than j?
True
Let p = 15 - 15.1. Which is greater: p or -7/5?
p
Let a = 23 - 23.06. Which is smaller: a or 0.1?
a
Let f = -7 + 8.1. Let r = 11.1 - f. Let x = r + -5. Which is smaller: -2/3 or x?
-2/3
Let x be 15/(-12)*7/28. Is x greater than 1?
False
Let m = -0.9 + 1. Suppose 0 = -2*w + 4*w. Which is greater: w or m?
m
Let p be (1/3)/((-2)/18). Let y be (p*1/33)/(-1). Suppose -g + 4 + 2 = s, 13 = -2*s + 3*g. Is s bigger than y?
True
Let o be -20 + ((-9)/(-3) - 1). Let w = -4 - o. Suppose c = -h + 2, h + 3*c - w = -6. Is h at most 0?
True
Let g = 397 - 28983/73. Which is bigger: 0 or g?
0
Let z(c) = c**2 - c - 3. Let n be ((-3)/3)/(1/3). Let p be z(n). Which is smaller: p or 10?
p
Let d(b) = -b**3 - b**2 + 3*b + 2. Let h be d(-2). Does -0.3 = h?
False
Let r(g) = -g + 9. Let y be r(15). Let q be (2 - 0)/((-4)/y). Which is smaller: q or 4?
q
Let i = 6 + -4. Is i at most as big as 6?
True
Suppose 0*p + 10 = p. Suppose 6*q - 4*q = 18. Which is smaller: p or q?
q
Suppose v - 44 = 5*v. Let w = 8 + v. Suppose -3*k = 2*k + 15. Is w < k?
False
Suppose -4 = -p - 0*p, u - p = 1. Are u and 0 equal?
False
Let t = -3152 + 438130/139. Which is greater: t or 1?
1
Let g = 2.6 - 2.7. Do g and -1 have different values?
True
Let l = 2203/9 - 245. Let d(g) = -2*g**3 + 6*g - 5. Let b be d(1). Which is greater: l or b?
l
Let j = 719/5 - 144. Which is greater: j or -0.1?
-0.1
Let f = -949/30 + 63/2. Let p be (8/16)/(1/(-2)). Is p greater than f?
False
Let c(r) be the second derivative of -r**3/6 - 9*r**2/2 + 3*r. Let y be c(-8). Is 1 less than y?
False
Suppose -4*d = -o - 10, -7*d + 2 = -5*o - 3*d. Suppose 4*w + 5*f - 10 = 19, w - 5*f = -24. Which is bigger: w or o?
o
Suppose 3*v = 4 + 8. Suppose v*r - 27 = -11. Suppose -t = 3*j + 2*j - 14, 0 = -r*t - j - 1. Which is smaller: -2/17 or t?
t
Suppose 11*a + 1 = 12. Is a not equal to 1/24?
True
Suppose 670 = 5*u + 5*c, -c = -5*u + 468 + 178. Which is smaller: 131 or u?
u
Let d be -2*131/(-1098) - 8/36. Is 1 <= d?
False
Let g = 8 + -3. Suppose -w - s = 0, 3*s - g = -2*w + 6*s. Does -1/25 = w?
False
Let h = 2.1 + -0.1. Let b = 2.1 - h. Which is smaller: b or 3/7?
b
Let z be 72/32*(-16)/(-15). Is z at least as big as 3?
False
Let j be ((-3)/15)/((-6)/10). Let s = -6 - -7. Let v be (s/(-5))/((-10)/25). Is j > v?
False
Let m be (-2)/8 - 34924/(-112). Let f = -311 + m. Do f and 0 have the same value?
False
Let y = -1551/5 + 313. Which is greater: y or 3?
3
Let c be -1*5/(-1) + 0. Suppose -1 - c = 3*w. Let d be 1 + 0 + -2 - 1. Do d and w have the same value?
True
Let b = -56695/4024 + -18/503. Let u = -14 - b. Which is smaller: u or 1?
u
Suppose -33 = 4*w - 5. Which is smaller: w or -11?
-11
Suppose 5*z = -4 - 16. Let f = z - -2. Which is bigger: f or -3?
f
Suppose -3*g - 51 = -3. Is g > -17?
True
Let j = 7 - 4. Suppose j*a - 10 = a. Suppose -25 = -3*r - a*q, -10 = -q - q. Which is smaller: -0.2 or r?
-0.2
Let v = -0.003 - -0.293. Which is greater: -2/3 or v?
v
Let a be (-75)/1*(-34)/1105. Which is smaller: a or 1?
1
Suppose 5*l + 2*g = 4*l, 0 = -l + 5*g + 7. Suppose l*f - 1 = 3. Is f less than 4?
True
Let n be -4 + ((-2672)/(-164))/4. Which is bigger: n or -1?
n
Let r(q) = 5*q - 1. Let b be r(1). Suppose b*x = -5 + 1. Is x greater than or equal to -4/5?
False
Let u(v) = v**3 - 6*v**2 - 4. Let c be u(5). Which is smaller: c or -30?
-30
Let c(y) = y**3 + 5*y**2 - 7*y - 9. Let h be c(-6). Let r(z) = 7*z**3 - 2*z**2 - 4*z + 1. Let k be r(h). Let s = k + 1748/9. Which is greater: s or 1?
1
Suppose -4 + 1 = t. Let f be (-8)/(-12) + (-31)/(-12). Let v = f + t. Does v = 1?
False
Let f be 5/1 - (-3)/(-1). Suppose 7 = -f*h + 9. Which is smaller: 4/7 or h?
4/7
Let v(s) = 9*s**3 - 2*s**2 + s. Let w be v