 = t*j + 3*u - 9. Suppose -5*r = -3*r - 3*d + 5, -3*r - j = 2*d. Does r = -1?
True
Let s = -0.014 + -1.986. Let y be (5*2)/(4/6). Let n be y/(-22) + (-1)/(-2). Which is smaller: n or s?
s
Let y be 0 + 0/(-1 + 0). Which is smaller: y or 1?
y
Let b = 23 + -24. Is b != 1/23?
True
Suppose 0 = -4*w - 4 - 0. Let p be w/2 - (-6)/(-12). Which is smaller: p or 1/13?
p
Let d(i) = i + 7. Let r be d(-6). Suppose -2*w - r + 5 = 0. Is 1 <= w?
True
Let t(b) = -b - 4. Suppose -u + 3 = -3*q, -q + 0 = -2*u + 6. Let o be t(q). Which is smaller: -6 or o?
-6
Let b(m) = m**3 + 3*m**2 + 2*m + 2. Let q be b(-3). Suppose -4*c + 0 = -5*p - 2, 3*p + 3*c + 12 = 0. Which is bigger: p or q?
p
Let y be (14 + (-6)/3)/(-1). Is -13 at most as big as y?
True
Let t = -1806 + 373844/207. Does t = -1?
False
Let x be 2/(-7) + 102/14. Suppose -3*v = 2*u - 15, 0 = u + 2*u + 9. Is x at most as big as v?
True
Let z = 137/6 + -899/42. Let y = -2 + 2. Is z >= y?
True
Let o = 0.02 + -16.02. Which is greater: o or -1/2?
-1/2
Suppose -g - 3*n = 9, -2*g + n - 15 = 6*n. Suppose -3 = d - 4. Let b be (d/(-18))/(2/(-16)). Which is smaller: g or b?
g
Let l be 1*2/(-8)*2. Is l greater than -1.1?
True
Let h be -1 + -1 + (-9)/(-12). Is -1 greater than or equal to h?
True
Suppose -2 = -3*q + 7. Is q at most as big as 15/4?
True
Let d be ((-4)/3)/(55/(-10)). Which is smaller: d or 0?
0
Let t = 14.44 + -14. Let v = t - -0.06. Which is greater: 0.1 or v?
v
Let m = 158 + -174. Do -84/5 and m have the same value?
False
Let g = 78 - 90. Which is greater: -2/3 or g?
-2/3
Suppose 1 + 14 = 5*q. Suppose -2 = f + q. Which is greater: 2 or f?
2
Suppose 5*q - 9*q - 4 = 0. Which is greater: -3/7 or q?
-3/7
Let h = 0.35 - -3.65. Is h smaller than 7?
True
Let n = 0.57 - 0.77. Let r = 0.2 + 0. Are n and r non-equal?
True
Let w be 1 + -5 - 2*-1. Let g be w/9 - (-49)/(-63). Is -3 > g?
False
Let y = 29 + -31. Are -13 and y non-equal?
True
Suppose 18*u - 3 = 15*u. Is u < 1/7?
False
Let y = 16.5 - 14.5. Is 0.14 bigger than y?
False
Suppose -7 + 32 = 5*v. Let m = v - 5. Suppose -n = 1, m = 3*h + n - 11 - 3. Which is smaller: 6 or h?
h
Let r = 3 + -5. Let m = -2 + -10. Let a = m + 11.9. Which is bigger: a or r?
a
Let f(y) = y**2 + 12*y + 16. Let m be f(-12). Which is bigger: 18 or m?
18
Let i = -41/348 + 1/29. Is i at least as big as 1?
False
Suppose 0 = 5*x - 11 - 14. Let z = 11 - 5. Let b = z - x. Is b less than or equal to 1?
True
Let l(b) = -b**3 - 5*b**2 + 7*b + 4. Let j be l(-6). Suppose 3*a = 3*g - 27, 2*a = a - g - 7. Let h be (a - j)*(-3)/6. Which is smaller: h or 4?
h
Suppose w + w = -408. Let q = -1017/5 - w. Suppose 4*u + 16 = 0, 5*u + 31 = 5*o + 6. Which is smaller: o or q?
q
Let g = 3 - 1. Suppose 0 = -4*k + 12. Suppose -5*t = -4*t - 5*l + 23, 0 = -k*t - 3*l + 21. Is t at most as big as g?
True
Let i = 2 - 6. Let n be (i/30)/((-9)/27). Is -1 <= n?
True
Suppose 15 = -2*l + 17. Is l smaller than -1/49?
False
Suppose 4*l - 5*l = -1. Let h(d) = d**2 - d. Let r be h(0). Which is smaller: r or l?
r
Let c = 8 + -10. Let z be ((-4)/(-42))/(c/(-6)). Which is smaller: z or 9?
z
Suppose -10 = 14*o - 4*o. Which is bigger: 2/93 or o?
2/93
Let w(j) = -j**3 + 9*j**2 + 11*j - 4. Let l be w(10). Suppose 4*o + l = o. Do o and -1 have the same value?
False
Let n be ((-12)/48)/(15/(-12) - -1). Suppose -a - 11 = -5*a - b, 5*a - 18 = 3*b. Is n < a?
True
Let u be 4 + (-345)/72 - -1. Which is greater: 0 or u?
u
Let y be (-17)/16 + 2/2. Let a = -36 - -106/3. Which is smaller: a or y?
a
Suppose 3*v = 2 - 86. Let m be 4 - 2 - (-32)/v. Which is greater: m or 2?
2
Suppose 3*h - 8*h = 0. Which is smaller: h or -2/5?
-2/5
Suppose -h - 4*x + 8 = 0, 2*h + 4*x = 10 - 2. Suppose q - 6*q - 15 = 0. Let j = q - h. Is j smaller than -4?
False
Let d(k) = k - 6. Let f be d(6). Suppose 3*w + 2*w + 5 = f. Is w bigger than -7/4?
True
Let z(n) = n**2 + 17*n. Let d be z(-17). Which is smaller: d or -3/16?
-3/16
Let b be 10/(-12)*(-6)/(-40). Let q = b - 17/56. Is q at least as big as 0?
False
Let s be 4/(-18) - ((-75)/27)/(-1). Does 5 = s?
False
Suppose -4*m + 12 = 4*p, 3 + 18 = -3*p + 3*m. Let b be 1 + (1 - 2) + p. Which is smaller: b or -4/7?
b
Let z = 27 - 191/7. Which is smaller: -1 or z?
-1
Let w = 2/101 - 208/303. Let b = -63888 - -510287/8. Let p = -102 - b. Which is bigger: p or w?
p
Let a(w) = -w**2 + 3*w + 2. Let b be a(5). Let o = b + 11. Do 3 and o have different values?
False
Let c = 4123/33 - 125. Are -2/5 and c nonequal?
True
Let d = -6 - -5. Let z(q) = -2*q - 2. Let k be (-3)/((-3)/(-2)) - 0. Let o be z(k). Which is smaller: d or o?
d
Suppose 2 = -0*m + m. Let g(r) = -r + 5. Let i be g(-4). Suppose -3*k + 2*x - 6*x + 1 = 0, 0 = -k + 3*x + i. Is m greater than or equal to k?
False
Let l(a) = 2*a + 12. Let o be l(-5). Which is smaller: 1 or o?
1
Let b = 20 - 10. Suppose -3*l - b = -2*k + 4, -4*l = 3*k + 13. Let w be 2/l*(-2)/(-4). Is 1 > w?
True
Let p = 85.8 + -86. Let c = 5.91 + 0.09. Let q = c + -6.3. Do q and p have the same value?
False
Let b(m) = -m**3 - 3*m**2 - 4*m - 2. Let t = -1 - 1. Let f be b(t). Are f and 0 equal?
False
Suppose 22*y = 21 - 43. Suppose l = -3*m - 68, 367 = -4*l - 4*m + 95. Let r = l - -613/9. Are y and r nonequal?
True
Let p be ((-8)/3 + 1)*-3. Suppose 0 = -j + 2*u + p, 0 = -4*j - 4*u + u - 2. Which is smaller: j or -10?
-10
Let d = -54/13 + 607/143. Suppose -3 + 9 = 6*u. Which is smaller: d or u?
d
Let m = 6 + 1. Let x = -6.99 + m. Let y = x - -1.99. Which is greater: y or 0.5?
y
Let g be 1369/(-26) - 1/(-2). Let k = g + 52. Is k at least 0?
False
Let t = -336 + 334.01. Let s = -0.01 + t. Which is greater: -1 or s?
-1
Suppose 0 = -2*f + k - 2, 4*f + 4*k = k - 4. Is -2/15 greater than or equal to f?
True
Let p = 0 - 0. Let o(k) = -k - 1. Let v be o(-5). Let g = 4 - v. Are p and g equal?
True
Let t = -645 - -31606/49. Which is smaller: 1 or t?
t
Let g = 0 + 0. Let b be 14/49 + 736/(-7623). Let z = 4/121 + b. Which is smaller: z or g?
g
Suppose r - 52 = 3*r. Let g be 2/(-8) + r/(-8). Is 2 bigger than g?
False
Suppose -3*k + 14 = 5. Let a be (-2)/(2 + k/(-3)). Suppose -7*t + 5 = 12. Which is greater: t or a?
t
Suppose -2*a = 5 - 13. Which is greater: -7 or a?
a
Let m = -10 - -14. Let l be (-2 - -1*m)/(-25). Suppose -4*q - 16 = 4*o, 3*q - 4 = -2*o - 15. Which is smaller: o or l?
o
Let g(y) = 2*y - y - 5*y + 0*y. Let v be g(3). Let c be (v/(-15))/((-2)/10). Is -2 greater than or equal to c?
True
Let g = -3 - -3.1. Which is smaller: 4/7 or g?
g
Suppose 0 = -c - 4*c + 150. Let f = c + 0. Let x be (4/(-5))/(f/(-5)). Which is bigger: x or 0?
x
Let a = 3 - 0. Suppose a + 2 = -v - 2*p, -3*p = -2*v + 11. Let z(b) = 2*b + 14. Let n be z(-7). Which is bigger: n or v?
v
Suppose -2 + 8 = -3*g. Let h(b) = -b**2 - 3*b - 2. Let p be h(-3). Let c = -4 - p. Is c < g?
False
Let h(y) = -14*y**2 - 12*y - 13. Let m be h(-1). Which is greater: -12 or m?
-12
Let q be (2/(-1 - 1))/(-1). Suppose -2*f = 2*l + 6, 3*f - l - l = 11. Do q and f have the same value?
True
Suppose 0 = -u + 6*u. Is u bigger than 2?
False
Let g = 9 + -44/5. Suppose 2*f + 0*f - 2 = 0. Let p be ((-1)/(-1))/f + 0. Which is smaller: g or p?
g
Let r = 4 - 3. Let d be 1*3 + 85/(-34). Do r and d have the same value?
False
Let u = 88 - 83.9. Is u less than or equal to 1?
False
Let v(t) = 6 - 1 - 1 + t. Let k = -4 - -1. Let l be v(k). Which is bigger: 1/9 or l?
l
Let c be (1/(-2))/((-16)/(-32)). Which is greater: -2 or c?
c
Let s = 33 + -34. Which is smaller: 10 or s?
s
Let u = 4340 - 707418/163. Is u less than 1?
True
Let c = 55 + -55.14. Which is smaller: c or 0.3?
c
Let k be (18 + 2)/(-4) + -2. Which is bigger: -6 or k?
-6
Suppose -2*d - 21 = 3*q, 3*q + 21 = -0*d - 3*d. Is -8 > q?
False
Let g be -1 + -1 - (-3)/3. Let j(x) = -x**2 + 1. Let s be j(g). Are s and 2/3 non-equal?
True
Let h be ((-6)/15)/((-1)/5). Suppose -h*g = -5*g. Is 0 at most g?
True
Suppose 0 = -5*z - 4*v - 2, 3*v + 1 = -4*z. Which is greater: z or -2?
z
Let k = 0.78 + -0.8. Let d = k - 0.38. Let h = 0.3 + d. Which is smaller: h or -3?
-3
Let f be 9/(-15) + 36/10. Which is smaller: f or 2?
2
Let z = 6/7 + -44/35. Which is smaller: 8 or z?
z
Let i = 563 - 7895/14. Let t = -10/7 - i. Which is greater: 0 or t?
0
Let u be ((-2)/(-3))/(32/12). Let k(j) = -j**3 - 3*j**2 + j + 2*j**2 - 5*j**2 + 5. Let l be k(-6)