
Suppose -5*j + o + 4 = -3, 0 = -j - o + 5. Let u be j - (-3)/(9/(-4)). Which is smaller: -2 or u?
-2
Let m = 5 + -13. Let y = -7 + -2. Let z = y - m. Which is smaller: z or 0?
z
Let o be 2/20*5 - 0. Are 2 and o non-equal?
True
Let k = -1 - 1. Let y be -1 + (-1)/(k + 1). Let m = 15/2 + -47/6. Which is greater: m or y?
y
Let r be -4*(0 - (-3)/12). Is r smaller than -6/7?
True
Let d = -1 + 4. Suppose -3*n = d*f - f - 10, 5*f - 25 = 4*n. Let s = -24 - -24. Is n at most as big as s?
True
Let o = 0.09 - 0.06. Let x = 4.13 - o. Let b = x - 4. Is b at least as big as 2/5?
False
Suppose 3*z - 3*h + 30 = -6, 4*z + 3*h = -13. Let u be z/(-28)*4/5. Which is smaller: u or -0.2?
-0.2
Let b = -89 - -89.25. Which is smaller: 2 or b?
b
Let u be 4/(-10) + (-88)/(-20). Let i = u - 2. Suppose -5 = 7*v - i*v. Are 2/9 and v unequal?
True
Let d(m) = m**3 + 8*m**2 + 8*m - 3. Let h be d(-7). Let y = 6 + h. Do -3 and y have different values?
True
Let l(p) = -p + 7. Let j be l(6). Suppose -a + j = -4. Let g(z) = z**2 - 5*z. Let t be g(a). Which is bigger: t or -2?
t
Let u(g) = -g + 10. Let d be u(13). Suppose -9*p = -4*k - 4*p + 3, -4*p - 24 = 4*k. Is k less than or equal to d?
True
Let v = -2 + 2. Let g be -2 + (1 - 1) + v. Is -2 >= g?
True
Let g be 0/((-1)/(1/(-2))). Let c = 0 + g. Let z = -2/37 + 88/259. Is z less than c?
False
Let d = 60945 - 799908/13. Let f = d + 586. Let y = 51/65 + f. Which is smaller: 1 or y?
y
Suppose -1 = -4*n - 9. Suppose -p - 2 = -1. Is p <= n?
False
Let h = 132 - 131.6. Which is smaller: 3 or h?
h
Suppose -4*x = -0*x - 28. Let f = 7 - x. Which is greater: 1 or f?
1
Suppose k = -1 - 22. Let w = k - -21. Is -0.8 at least w?
True
Suppose l + 3*c = 4*l - 24, 4 = 2*l + c. Let r be 46/26 - -3 - l. Which is bigger: 2 or r?
2
Let z = -3 - -3. Suppose -3 = q - 2. Let c be 1/(-2 + (0 - q)). Which is smaller: z or c?
c
Let z be (-9)/2*6/(-99). Which is bigger: z or 0?
z
Let s be ((-1)/(-2))/(3/(-30)). Does -5 = s?
True
Let a be 3 + 7/(28/(-12)). Is a at least as big as 1/10?
False
Let i(c) = -c**3 - 2*c**2 + 5*c + 1. Let w be i(-3). Is -5 less than or equal to w?
True
Let m = -1 - 0. Let g = -169/238 - 5/34. Which is smaller: g or m?
m
Suppose -t - 1 = -2. Let y be t - 1 - 5/(-1). Suppose -4*x - 2 - 5 = -3*p, y*p - 6 = x. Which is bigger: -1/2 or p?
p
Let s = 13 - 11.8. Let h = -0.2 + s. Do 0 and h have the same value?
False
Let a = -1347/598 - -29/13. Which is smaller: 0 or a?
a
Let c = 0 - 0. Let x be (1/(-1))/((-8)/16). Suppose x*q - 7*q + 3*h = -22, 2*h = q - 10. Which is smaller: c or q?
c
Suppose -2*o + 6 = -12. Let b be 6/o - 8/30. Let x = 3.2 - 3. Which is smaller: x or b?
x
Let n be ((-2)/(-18))/(4/6). Which is smaller: -0.1 or n?
-0.1
Let i = 1/6 + -2/3. Are i and 0.25 equal?
False
Let d = -2 + 3. Let n be 4 + d - (-2)/(-1). Let v = -4 + 3. Which is smaller: v or n?
v
Let m be 10/15 - (-2)/6. Let l = -1 + 1. Suppose -5*y = -4*c - 1, y + 2*y + c - 4 = l. Does y = m?
True
Suppose 37 = 5*z - 43. Is z bigger than 17?
False
Let c = 209.9 + -219. Let n = c - -9. Let q = 0.2 + n. Which is bigger: 1 or q?
1
Let s = -96 + 355. Let m = s - 257.93. Let q = -0.07 + m. Which is bigger: -1 or q?
q
Let b = 37.979 + -38. Is b > 1?
False
Let o = -15.75 - 0.25. Let d = -16.2 - o. Which is smaller: 1 or d?
d
Let i(g) = -g**2 - 9*g - 9. Let b be i(-7). Suppose -b*m = -0 - 5. Which is smaller: -1/16 or m?
-1/16
Let t = -70/11 + 72/11. Which is bigger: 1 or t?
1
Let n = -1.27 + 0.24. Let f = -0.03 - n. Let s be (2 - (3 + -1))/2. Is f less than s?
False
Let s = -0.2 + 0.13. Let b = 3.93 - s. Let j = b + -3.9. Which is greater: -2 or j?
j
Suppose 3*d + 14 = 5*b, -b = -2*b - 2*d - 5. Let c be 1/6 - 662/(-420). Let n = c - 15/7. Which is smaller: b or n?
n
Let v be (-2)/(3/18*14). Which is bigger: v or 0?
0
Let h be 1*5 + 1*-2. Let j be (-6)/(-15) + (-114)/10. Let f be 2/8 + j/(-4). Is h >= f?
True
Let d(a) = -a - 5. Let u be d(-4). Let b be 2*u/3*1. Let z(o) = o**2 - 5*o - 2. Let q be z(6). Are b and q non-equal?
True
Let q(k) be the first derivative of k**3/3 - 3*k**2/2 + k + 2. Let z = 15 - 12. Let w be q(z). Which is greater: w or 2/3?
w
Let n = -1/173 - 2247/346. Do 0.1 and n have the same value?
False
Let k be (-22)/6*(-34)/(-6). Let v = k + 21. Which is smaller: v or 1?
v
Suppose 2*j + 3*q - 5 = 0, 0*j - 2 = j - 3*q. Let w be 11 - j - 4/2. Is w less than or equal to 8?
True
Let i = -6 + 6. Let d = i + 0. Let b = d + 0.2. Does 4 = b?
False
Let o be (-2)/4*6 - -2. Let j = 401 - 18845/47. Which is bigger: j or o?
j
Let w = -2 - 1. Suppose -2*o + 0*o - 8 = 0. Which is smaller: w or o?
o
Let i(d) = -d**3 + 14*d**2 - 12*d - 14. Let n be i(13). Let q be (-1)/(-2)*(-3 + n). Is -1 < q?
False
Let i be -1 + -10 - 44/(-11). Let r be 780/378 + 2/i. Which is greater: 3 or r?
3
Let m = 35 + -56. Let f = m + 29. Which is bigger: f or -0.1?
f
Suppose o + 11 = 3*p, -31 - 1 = -3*o - 4*p. Suppose 10 = -5*k, -2*h - 2*k - o = -0*k. Which is smaller: -1 or h?
-1
Suppose -3*y - 1 = 4*f, -f - 4*f - 10 = -5*y. Let r be 12/165*3*5/6. Which is smaller: r or f?
f
Suppose 2*i + i = 0. Let g = -3 + 1. Let n = g + 1.9. Which is bigger: n or i?
i
Suppose 1 = -u, -2*d - u + 5 - 14 = 0. Let a be (1 + d)*12/9. Which is smaller: a or -5?
-5
Suppose 4*q + 5 = -51. Which is smaller: q or -12?
q
Let m = 1 + 1. Let n be (1/1)/(m/(-4)). Let c = -0.08 - -0.18. Is c <= n?
False
Let a be (20/18 - 1) + 18/(-162). Which is greater: a or 9/10?
9/10
Let a(y) = y**2 + 5*y + 10. Let i be a(-7). Let n be (i/5 - 1) + -3. Does 2 = n?
False
Let l be -8*(3/2 + -2). Suppose -5*t = 1 + l. Let o = -3 + 3. Which is greater: t or o?
o
Let z be (-2)/4*0/(-5). Let k be (-12)/(-15) + 1/5. Which is bigger: z or k?
k
Let j = -7 - -8. Let m be (j - -1) + (6 - 9). Which is smaller: -2/3 or m?
m
Let r = -2 + 1. Let p = -2.7 - 0.3. Is r greater than p?
True
Let x be 5/30 + (-104)/(-33) - 4. Which is smaller: -2 or x?
-2
Let o = 0 - -2. Let a = 0 + o. Which is smaller: a or -3?
-3
Suppose 2*u - 5 = -15. Let j = u + 4. Let z = -143/3 - -48. Is z >= j?
True
Let x be (-3)/(-6)*(-32)/(-2). Are 6 and x unequal?
True
Let j be -3 + 1/1*3. Is 2 < j?
False
Let l be (9/6)/((-65)/10). Let o = l - 9/130. Are o and -1 equal?
False
Let n be (-2)/3 - 4/(-6). Suppose n*t = -3*t. Do t and -1/3 have the same value?
False
Let s = -8 - 3. Let a(g) = 5*g**2 + 3*g**2 + 13*g + 4*g**2 + 16 - 11*g**2. Let c be a(s). Is c greater than -6?
False
Suppose -2*r + 1218 = -16*r. Is r < -88?
False
Let a be -6 + 5 + (-28)/(-27). Which is bigger: a or 1?
1
Let f = 4 + -4. Let t = -2 - -1. Let w = 5 + t. Is f equal to w?
False
Suppose -3*v + 6*v + 336 = 0. Let y = v - -1121/10. Which is smaller: -0.1 or y?
-0.1
Suppose -3*c = -5*b - 2*c, 3*b - 5*c - 22 = 0. Are 2/85 and b non-equal?
True
Suppose 0*j - 5*j = 5. Let n be (-3 - 21/(-9))*(-2)/(-12). Is j greater than or equal to n?
False
Let k(o) = 10*o**2 + 12*o + 11. Let g be k(-1). Which is bigger: g or 13?
13
Suppose 3*p + z - 15 = 0, 0 = -p - 3*z - 2 + 7. Let n = -3 - -6. Let d = 3 + n. Is d equal to p?
False
Suppose x = 2*x + 1. Is x greater than 3/49?
False
Let q = 0.14 + 0.06. Let l be -1 + (-4)/10 - -1. Which is smaller: l or q?
l
Let p(r) = r**2 + 13*r + 14. Let h be p(-12). Is 1/2 bigger than h?
False
Let r be 10/(-40) + (-26)/(-40). Which is greater: -0.02 or r?
r
Let j = 0.1 - 0.13. Let x = -2.03 - j. Is -2 smaller than x?
False
Let v be (8/6*-3)/3. Let k = -0.7 - -0.6. Which is smaller: v or k?
v
Let b = -8 - -7.8. Let u = 63 - 48. Is b at most u?
True
Let z = 4/281 + 169/7868. Suppose -4*k = 2*k. Is k greater than or equal to z?
False
Let q be ((-51)/(-15) - 3)*5. Which is smaller: q or 4?
q
Let l(x) = -x**3 + 10*x**2 - 2*x - 2. Let u be l(10). Is u >= -23?
True
Let m(u) = u**3 + 2*u**2 - 3*u + 3. Let w be 2*((-2)/(-4) - 2). Let j be m(w). Suppose 0 = -j*l - 3. Is l at least -1?
True
Let a(j) = 2*j + 45. Let f be a(0). Let o be (-46)/f - 36/(-45). Is o bigger than 1?
False
Let p be (-8)/(-36) + (-3)/(-1188)*-106. Is p at most 0?
True
Let h be -1 - 2/((-40)/15). Let s = -2 + 3. Let j = 1.01 - s. Is j <= h?
False
Let s(v) = -2*v - 8. Let d be s(-7). Let c = d - 3. Let w = 0.1 - 0.2. Is c bigger than w?
True
Let u be -4 + 6 + (-69)/36. Which is smaller: 1 or u?
u
Let o be (-4)/(-1)*(-5)/10. Let x be 