j - 1. Which is greater: 2 or g?
g
Let y = -292 + 8175/28. Is -1 < y?
True
Suppose -2*n + 5 = 3*n. Let q(h) = h**2 - 2*h + 1. Let u be q(n). Let o = 0 - 0. Is u < o?
False
Suppose 4*y + 0*y = -4*d - 12, 1 = y. Let q = -2 - d. Which is greater: q or 3?
3
Suppose 5*q - 6 - 9 = 0. Let t be 2*-1 - 39/(-3). Let n = -7 + t. Which is smaller: q or n?
q
Let n = 3.143 - 0.043. Let p = n - 3. Do p and 3 have different values?
True
Suppose -5*v - 25 = -5*q, -2*v + 3*q - 14 + 4 = 0. Let x be -2*1*v/(-20). Which is smaller: -1 or x?
-1
Let h = 0.3 + -0.2. Let g = 54/35 + -8/7. Which is greater: h or g?
g
Let y be ((-10 - -1) + 5)*(-3)/(-18). Is y bigger than -2/11?
False
Let v be (-4)/3*(-141 - 0). Suppose 0 = -4*m - 4*x + v, m + 97 = 3*m - x. Let c be ((-1)/4)/(18/m). Which is smaller: c or -2?
-2
Let w = -3 - -6. Let g = w + -6. Let a = g - -5. Is 2 bigger than a?
False
Let l(d) = d**3 - 13*d**2 + 8*d + 17. Let q be l(12). Is q <= -31?
True
Let g = -138.2 - -138. Which is greater: g or 5?
5
Let q be 1/(2/(-3 + -1)). Let i be (-25)/7 + q + 5. Which is bigger: i or -2?
i
Suppose -2*h = -0*h + 4. Let m be (h*1 - -5)/3. Let p = -1/6 - 1/6. Is p less than m?
True
Suppose 8*q - 60 = 5*q. Suppose q = -0*b + 4*b - n, -b + 5 = 2*n. Which is smaller: -0.2 or b?
-0.2
Let u be (-4)/3 + (-65)/(-15). Suppose 3*i - 2*i = c, u = i - 2*c. Is i at least as big as -3?
True
Let i = 137 + -136.9. Is i greater than -0.3?
True
Let u = 3376657/17 - 198402. Let n = 225 - u. Let y be -1*1*4/(-8). Is n at most as big as y?
True
Let q be ((-2)/2)/(0 - 14). Let w = -677 + 28445/42. Let l = q + w. Which is bigger: 1 or l?
1
Suppose 1 = 9*a - 26. Is a less than 7/2?
True
Let z(s) be the first derivative of s**4/4 - 2*s**3 - 4*s**2 + 5*s + 2. Let f be z(7). Is -1 equal to f?
False
Let r = 0.08 - 3.08. Let g = r + 2.8. Is g at most 1/3?
True
Let g(t) = t**2 + 6*t - 6. Let k be g(-7). Let v = 341 + -1697/5. Let c = 27/20 - v. Do c and k have the same value?
False
Let f be (-21)/7 - (-17)/9. Is -2 bigger than f?
False
Suppose 2*o = o + 1. Let a be o/3 + (-3)/(-9). Which is smaller: -2/7 or a?
-2/7
Let a = 141 + -5641/40. Is -1 less than or equal to a?
True
Let f = 2.03 + -2. Let u = -2.03 + f. Let t = -3 - u. Which is bigger: 1 or t?
1
Let r(f) = 2*f**2 + 18*f - 1. Let o be r(-9). Is -2/17 bigger than o?
True
Let h(c) = c**2 + c - 5. Let s be h(-4). Let f(o) = 6*o - 18. Let r be f(4). Which is bigger: s or r?
s
Let o = 7 + -1. Suppose 3*u - o = k, -3*u + 5*k = -7*u + 8. Let c be (6/(-8))/((-1)/4). Which is bigger: c or u?
c
Let w be (-4)/6*25/30. Which is smaller: w or -2?
-2
Let n be (-20)/(-12)*(-1)/(-5). Suppose 2*j + 8 = 4*t, 0 = -3*j + 2 - 8. Are n and t unequal?
True
Suppose 0 = -4*b - 31 + 7. Let d(h) = -h**2 - 5*h + 8. Let a be d(b). Let z = -2 - a. Which is smaller: z or -5?
-5
Let c be ((-1)/(-6))/(4/6). Let q = 25.3 + -26. Is c < q?
False
Suppose -2*i - l - 24 = 3*i, 5*l = 5. Let w = -9 - -8. Which is smaller: w or i?
i
Suppose 2 + 12 = 2*w - c, 5*w - 32 = 4*c. Suppose w*a = 2*q + 3*a + 3, 0 = 4*q - 4*a. Is -3 smaller than q?
True
Let j = 10 - 3. Let z = -6 + j. Let n = -3/31 + 43/124. Which is greater: z or n?
z
Let q = 0 - 11. Which is smaller: q or -10?
q
Let o = -3/62 + -41/434. Let l = 2 - 3. Let u = -1 - l. Which is greater: u or o?
u
Suppose -4*h - 33 + 7 = 3*o, -4*o - 3*h = 23. Let w = o + -1. Let j = -2 - 1. Is w smaller than j?
False
Let q be 1 - (-3 - 32/(-10)). Let u = -3/5 + q. Is u greater than 0?
True
Suppose -t + 0 = -1. Which is smaller: t or -2/27?
-2/27
Let j = -13 - -18. Is 5 > j?
False
Suppose 9 = 5*i - 3*l, 0 = 5*i + 2*l + 4 + 2. Let q(z) = -8*z - 4. Let w be q(-5). Let d be 4/(-22) + w/(-165). Is d < i?
True
Let w = 8 + -6. Which is smaller: w or 4?
w
Suppose 3*y + 4*r = r, 0 = 2*y + 5*r - 3. Is -0.05 greater than y?
True
Let g be 0 + 0 + -2 + 1. Let c = g + 0. Let n = 282 + -2253/8. Which is greater: n or c?
n
Let g(w) = w**3 - w + 2. Let y be g(0). Let z = 3 - y. Let m = 6.8 + -7. Are m and z nonequal?
True
Let w = 24 + -1.8. Let o = w + -23. Is o != 1?
True
Let x = -0.11 - -0.14. Let y = x + 0.07. Let f = -0.3 - -1.3. Is f less than or equal to y?
False
Let g = 4 + 3. Let r = g - 7. Which is smaller: r or 2/7?
r
Let z = -69 + 68. Which is greater: 2/37 or z?
2/37
Let k = -42 + 30. Let s be 2/4*(k - -13). Is -0.06 >= s?
False
Let c = 15 - 23. Let f = c + 5. Let d = 3 + f. Are d and -1/6 non-equal?
True
Suppose -4*j + 2 = -10. Suppose 2*f = -0*y + 2*y - 6, 4*f + 3 = y. Suppose -v - t - 5 = -j*v, -y*v + 2*t + 8 = 0. Is 0 less than or equal to v?
True
Let b(r) = r - 4 - 1 - 4 + 0. Let o be b(6). Suppose 5*l - 3*a - 3 = -12, -3*l + a = 7. Is l smaller than o?
False
Let k(p) be the second derivative of p**4/12 + 5*p**3/6 + p**2 + 3*p. Let w be k(-4). Let o = 1 + -4. Which is greater: w or o?
w
Let t = -26/3 - -76/9. Suppose -h = l - 4*l + 3, -5*h - 2*l = 15. Let f = 4 + h. Is f bigger than t?
True
Let q = 6 - 9. Let o = q - -8. Is o >= 5?
True
Let z = -26 + 15. Let l = -3 - z. Is 2/9 at least l?
False
Let z = -77 - -73.05. Let t = -4 - z. Does t = -1?
False
Suppose -8*m = -3*m. Are 2/43 and m unequal?
True
Let y be (1/(2/(-8)))/((-10)/(-5)). Is -3 smaller than y?
True
Let c = -402 + 27339/68. Is c at most -1?
False
Suppose 5*h = -3*f + f - 24, f - 5*h - 18 = 0. Let y(q) = -q**3 - 4*q**2 - 2*q + 1. Let a be y(f). Is -2 at most as big as a?
False
Suppose -5*j - 21 = v - 5*v, -4 = 4*j. Let d = 2 + 1. Suppose d*t + 2*t - 15 = 0. Which is smaller: t or v?
t
Let x(f) = 24*f**3 + 0*f**2 - f**2 - 7*f**3. Let o be x(1). Suppose -5*s + i + i = -o, -5*i - 5 = 5*s. Are s and 2 equal?
True
Suppose 0 = -2*v + 5*v - 18. Suppose z - 3*z = v. Let y be (6/(-4))/(z/6). Is 2 greater than or equal to y?
False
Let x be 1 - (1 - (1 - 0)). Suppose 12 = 3*g - 3*b, -g - 2*b + 2 = x. Suppose p - 4 = g*p. Is -1 bigger than p?
True
Let q = -0.212 + 6.212. Let i = -1 - -1. Is i bigger than q?
False
Let k be (6 - 5)*5/(-5). Which is smaller: 2/295 or k?
k
Let r(l) = l**2 - 4. Let x be r(-3). Suppose -x*f + 3 - 13 = 0. Let m be (3/(-12))/((-5)/20). Which is smaller: f or m?
f
Let o = -117217/3 - -38428. Let s = o - -638. Let x = -6 - s. Which is greater: x or -1?
x
Suppose c - 15 = -4*c. Suppose 2*b - b - c = 0. Is 12/7 greater than or equal to b?
False
Let p be ((-21)/(-304))/(117/364). Let u = -2/57 - p. Which is smaller: u or -1/12?
u
Let y be -2 + 3 + 2 - -2. Let h = y + -2. Is 4 > h?
True
Let m be 10/55 - 42/(-11). Let g(o) = 2*o - 1. Let q be g(m). Suppose 4*b - 4*y = 8, 0*b = -b + 4*y + 11. Is q less than or equal to b?
False
Let z(n) = 2*n**2 + n. Let j = -2 - -3. Let g be z(j). Suppose 0 = -g*w + 4*l - 20, 2*w + 5*l = -0*w + 2. Which is smaller: w or -3?
w
Let j(p) = -p**3 + 13*p**2 + 27*p + 18. Let l be j(15). Are l and -51/2 non-equal?
True
Suppose t + 4*t + 100 = 0. Let y = -18 - t. Is y at most as big as 0?
False
Suppose -2*h = y + 11, -15 = 3*h - 0*h. Let o be -2*25*1/1. Let c = 351/7 + o. Is y smaller than c?
True
Let t be 1*25/(-20) + 1. Which is greater: t or -0.12?
-0.12
Let o be 1/(-3) + 130/(-15). Let m be 4/((3/18)/((-2)/6)). Are o and m unequal?
True
Let i = -5 + 6. Let x be ((-8)/42)/(i/(-3)). Let s = 0.6 - -0.4. Which is smaller: s or x?
x
Suppose -6*h + 5*v = -h + 5, 4*h - 2*v = -4. Let w be (-2)/(-6) + (-8)/6. Let f be w/1 - (-2)/10. Which is greater: f or h?
f
Let w = 3 + -7. Let u = 1 - w. Which is smaller: u or -1?
-1
Let b = -19 + 19. Which is greater: b or -2?
b
Suppose -1 = -2*r + 1. Let t be (-33)/45 + r/3. Let z = 0.2 - 0.1. Which is smaller: z or t?
t
Let y = 558 + -11722/21. Suppose 18*k - 10 = -10. Is y less than k?
True
Let b(p) = -16*p**3 - p**2 + p + 1. Let j be b(-1). Let i = j + -59/4. Which is bigger: 0.3 or i?
0.3
Let c = -38 - -48. Let r = 0 - -0.1. Is c equal to r?
False
Let u = -1 - -3. Suppose 4*h - u + 6 = 0. Is h less than or equal to -2/5?
True
Let v(h) = 13850*h. Let p be v(2). Let i = -194843/7 + p. Let s = i - -135. Which is bigger: s or 0?
s
Let y = -42 - -28. Which is bigger: -13 or y?
-13
Suppose -3*g + 5*g = 10. Suppose -5*b - 5 = -g*a, 0 = a + 3 - 4. Let l = 33/58 - 2/29. Which is smaller: l or b?
b
Let f = 6.8 + -6. Let l = 0.73 - f. Let s = -2.07 - l. Is s less than or equal to -1?
True
Let i be -1 - (0 + 0 - 5). Let c be i/