j - 4. Let g be (-25)/7 + 3 + 1. Which is bigger: g or d?
g
Let s(d) = d - 13. Let p be s(-9). Which is smaller: -21 or p?
p
Suppose -4*r = -r + 21. Are r and -2 equal?
False
Suppose 2*h - 8 - 16 = 0. Let o = -25/2 + h. Is -2/5 greater than or equal to o?
True
Let z be (-2 - -1)*3/5. Suppose -4*i = 1 + 7. Which is smaller: z or i?
i
Let b = -38/63 - 4/63. Let t(f) = f**2 + 5*f - 5. Let o = -3 - 3. Let n be t(o). Which is smaller: b or n?
b
Let p = 2 - -1. Suppose -3*j = p*t - 5 - 4, -j = -5*t + 3. Let a be 3 - ((-12)/(-3) - j). Is 0.3 <= a?
True
Let c = 2 + -2.1. Let q = 4.1 + -4. Let a = q + c. Which is smaller: a or 0.1?
a
Let l be ((-240)/200)/((46/10)/(-1)). Do l and 0 have the same value?
False
Suppose -4*c + 5*c + 22 = 0. Let k = -12 - c. Is 9 at most as big as k?
True
Let q = -50.92 + 51. Is -2 less than q?
True
Let d = 20.46 + 0.54. Which is bigger: d or -0.1?
d
Let k(q) be the second derivative of 2/3*q**3 - 1/12*q**4 + q + 0 + 3*q**2. Let p be k(5). Which is smaller: 1/9 or p?
1/9
Let y = 2/45 + -124/765. Is y != 0?
True
Let p = -14817/10 + 1480. Which is smaller: -1 or p?
p
Let f = 248/7 - 36. Is -2 at least f?
False
Let h(s) = 2*s - 3. Let j be h(-4). Let i = j - -20. Is 8 <= i?
True
Suppose -3*u - 7*u = 120. Which is smaller: u or -11?
u
Let t be 2/(-3) - (-28)/6. Let l(z) = z**3 - 3*z**2 - 5*z + 3. Let p be l(t). Let x be p/4*4/6. Is 1 less than x?
False
Let z(n) = 2*n**2 - 2*n + 1. Let m = -21 - -23. Let f be z(m). Is f not equal to 5?
False
Let n = -761/7 - -109. Which is bigger: -0.3 or n?
n
Suppose 4*f = y + y - 6, 5*f = 4*y - 15. Let h be f + (-30)/8 + -1. Let v = h + 17/4. Which is greater: 0 or v?
v
Let q(v) = v**2 - 4*v - 6. Let j be q(5). Suppose 2*y + 9*c - 4*c = 20, -5*y = -5*c + 20. Suppose 5*s = -y - 10. Which is smaller: s or j?
s
Suppose -10 = 14*v - 9*v. Let d be ((-5)/4)/(4/(-32)). Suppose -4*q + 2*q = -w - d, 0 = -q + 4. Does w = v?
True
Let k be 12/18*3/140. Let i = k + -143/210. Let l = 0 + 0. Which is greater: i or l?
l
Let f = -12.3 + 12. Is f bigger than 1/3?
False
Let j be ((8 - 2) + -4)/2. Is j bigger than 11/6?
False
Let x(w) = -w**3 + 13*w**2 - 13*w + 10. Let u be x(12). Suppose 2*z = 2*d - 2, 4*d - 2*z + 6 = -3*z. Is d equal to u?
False
Let h(r) = r**3 + 6*r**2 - 6. Let w be h(-6). Which is greater: -2 or w?
-2
Suppose -3 + 1 = -2*r + o, -o = -r + 2. Suppose r*l = l. Are 0 and l non-equal?
False
Let d = 4 + -2. Suppose -w + 84 = w. Let u be (-12)/42 + 40/w. Is d equal to u?
False
Let w = 19309/1470 - 3546/245. Let u = 1/210 + w. Is -1 not equal to u?
True
Let a(d) = d**2 - 2*d + 3. Let x = 2 - -1. Let v be a(x). Is 6 != v?
False
Suppose -2*k + 11 = -3*c, -5*k + 15 = 3*c + 2*c. Let b be (4/9)/(2/c). Let a be 3 - (-2 + (2 - -2)). Is b less than a?
True
Let d(y) = y**2 - 8*y + 6. Let v be d(6). Let n be 6 + v - 3/(-10). Is n >= -1?
True
Let m = 10.1 - 10. Let v = -9 + 9.07. Is m <= v?
False
Suppose 4*n - 5*w + 11 = 0, 5*n + 3*w - 2*w - 8 = 0. Let k = -1 + n. Let p be 1*(-2)/(-2)*k. Is p bigger than -1/7?
True
Let u(b) = -3*b. Let d be u(-1). Is 4 greater than d?
True
Let k(v) = v**2 + 8*v - 2. Let q be k(-8). Let w = -9/10 - 3/5. Is w >= q?
True
Suppose 18*m - 5 = 19*m. Let i = m - -4. Is 2/21 greater than or equal to i?
True
Suppose -c - c = -4. Suppose c*w = -6 - 6. Let t be (1*-2)/((-21)/w). Are t and -2 nonequal?
True
Let k be (2/2)/(4/36). Let u(b) = -b + 12. Let n be u(k). Let o = 1/6 - 1/2. Which is greater: n or o?
n
Suppose -4*f = 2*l - 32, 6*l - 3*l + 8 = 2*f. Let k(d) = d**3 - 7*d**2 - d + 2. Let p be k(f). Which is bigger: -6 or p?
p
Let n(i) = i**3 - 7*i**2 - i + 4. Let t be n(7). Let c be -2*t/12*6. Let f = 11 + -8. Is c bigger than f?
False
Let z = 59 - 23. Suppose z = -w + 5*w. Is 10 at least as big as w?
True
Let z(i) = i**2 + 3*i - 5. Let h be z(-4). Which is bigger: -1/118 or h?
-1/118
Suppose 0 = 4*b - 4*v - 48, -3*v + 17 = 2*b - 7. Suppose -4*l + 16 = -2*f, 0*f + 2*f + 3*l = b. Let n be f + -4 + (-1 - -3). Are n and -3 nonequal?
True
Let w = 30 + -14. Is 17 greater than or equal to w?
True
Let p(o) = 2*o + 7. Let u be p(-5). Let g be 6/3*(-2 - u). Is g bigger than 1?
True
Let k = 65 - 65. Let u = 0.1 + 0. Let s = 0.3 - u. Is s less than or equal to k?
False
Let w be 2 + ((-120)/21)/2. Is w >= 2/7?
False
Suppose 18 = 3*b + 3*x, 3*x - 18 = -b - 2. Let d be -3 + 3 + 2 + b. Which is bigger: 5 or d?
5
Let r = -91 - -59. Is r greater than -33?
True
Let x(h) = -h + 13. Let o be x(9). Suppose 9 = -0*y + 3*y. Which is smaller: y or o?
y
Suppose -r = 3*r. Which is greater: r or -6?
r
Let f = -3 - -3.4. Does f = -0.2?
False
Let q = -0.02 - 0.08. Are -7 and q non-equal?
True
Suppose -75 = 4*j + 41. Let g = 21 + j. Let f = g - -14. Which is smaller: 5 or f?
5
Let o = 1 - 1. Let m = 19 + -12. Let n be 3/m + 3/21. Which is greater: n or o?
n
Let u be (-54)/(-10) + 2/(-5). Suppose -3*y = 2*y + 2*q + 417, -405 = 5*y + u*q. Let a be y/(-165) - 2/6. Which is bigger: a or 0?
a
Let h = -2 - -1. Let q(l) = l**2 - 2*l - 1. Let m be q(3). Let j = h + m. Is j >= 1?
True
Let s(h) = -h + 3. Let z be s(5). Suppose 0 = 4*g - 2*n - 8 + 26, 3*g + 2*n = -10. Is z greater than g?
True
Let n be -1 + -5 + (-606)/(-99). Are -1 and n unequal?
True
Let a = -0.2 + 0.3. Let u(q) = 9*q**2 - 1. Let k be u(-1). Let w = -11 + k. Is a less than w?
False
Let c = -38 + 37. Does c = 2.9?
False
Let n be 0 + (0 + -3)*1. Let o be (15/50)/(n/(-2)). Let c = -3 + 2. Which is bigger: c or o?
o
Let q = -0.7 + 0.4. Let k be 4/(-8)*6 + 3. Suppose 5*p - 5 + k = 0. Which is smaller: q or p?
q
Let n = 0.19 - -2.81. Do 0 and n have different values?
True
Suppose -2 = h - 11. Let w be 10*(h/6)/3. Suppose 10*d - w*d = -20. Is d < -5?
False
Let t(v) = -23*v**2 - v + 3 - 5 + 2. Let m be t(1). Let x be -2 + ((-3)/m - -2). Is x greater than or equal to -1?
True
Let h be (24/22)/1 - 1. Let x be (0 - -1)/((-176)/(-38)). Let k = x - h. Is -1 < k?
True
Let z be 14483/(-35)*(-7)/2. Let t = z + -2841/2. Let q = -28 + t. Is 1/2 less than q?
False
Let m be (2710/14)/(-1) - -2. Let y = m + 192. Which is bigger: y or -1?
y
Let l(a) = a**2 - 6*a - 27. Let u be l(9). Which is bigger: u or -2/111?
u
Let b = 7 + -11. Let u = b - -4. Are u and 7/5 equal?
False
Suppose 5*u = 2*r - 18, -2*u - 7 = -r - 0*u. Do r and 1/13 have the same value?
False
Let z = -7.05 - -7. Is 3 <= z?
False
Let f(z) = z**3 - z**2 + z - 3. Let g be f(0). Are -4 and g non-equal?
True
Suppose 0 = -2*b + 6*b + 16, n + 5 = -b. Let x be (n/(-2))/((-3)/(-18)). Let s be (-2*1 - -2)/x. Does s = 2?
False
Let z = 178 + -180. Is z equal to 28?
False
Let n = -47 + 46.95. Which is bigger: n or -6?
n
Let w = 11 - 13. Let a = -2 - 1. Let r = a - w. Is 3 != r?
True
Let a(f) = -4*f - 1. Let o be a(-4). Let n be 412/o - (-1)/3. Let z = -28 + n. Which is smaller: -1 or z?
-1
Let p be 34/5 + 2/10. Let y = -7 + p. Is 1/6 less than y?
False
Suppose 4*j - 15 = 45. Suppose -3*w = 2*w - j. Which is smaller: -1 or w?
-1
Let m be ((-3)/(-9))/((-2)/(-12)). Let f(n) = 5*n + 2. Let i be f(2). Let g be (-1)/((-1)/(i/9)). Is m equal to g?
False
Let c be 2 - (6/(-2) - -2). Suppose 6*i = c*i - 6. Which is smaller: -1 or i?
i
Suppose 5 = -i + 2*a, -6*a - 19 = 2*i - a. Let b(h) = h**2 + 8*h + 8. Let m be b(i). Let q = -1 - m. Which is bigger: -1/2 or q?
-1/2
Let q = 5 - 2. Let k = q - 3. Which is greater: 5/6 or k?
5/6
Suppose 4*o = 2 + 14. Suppose -18 = -2*f - 2*r, -24 = -4*f + 3*r - r. Suppose -2 + f = n. Which is greater: n or o?
n
Let x be (-2*2)/(1/(-2)). Let b be 2 + 1 + x + -2. Let j be 4/(-42) + (-3)/b. Which is greater: j or 0?
0
Let c be (-30)/26 + (1 - 0). Suppose 4*g = -g + 15. Suppose g*m = -m. Which is smaller: c or m?
c
Let z(i) = i. Let w be z(-2). Let y be 0/(6/(w - 1)). Which is smaller: y or -2/23?
-2/23
Suppose 3*c - v = v - 14, 0 = c + v - 2. Let k be 44/(-52) + c/(-2). Which is smaller: k or -1?
-1
Let w(s) = -s**3 + 2*s**2 + 2*s + 2. Let d = 3 + 0. Let n be w(d). Let k be 15/(-12) - n/(-4). Which is greater: k or -2?
k
Suppose 6 = 3*j + 21. Let o = 9 + -12. Let a = j - o. Is -3 > a?
False
Suppose s + 5*d + 6 = -s, 0 = 4*s + 2*d + 12. Let m be (-78)/(-36) + s + 1. Which is bigger: m or 0?
m
Suppose 2*l = -5*w + 12, 0 = w - 0*l - 4*l - 20. Suppose -w*m = -5*m - 5. Is m at most -5?
True
Let r = -0.3 - 0.