0. Are j and 0.013 equal?
False
Let g be (0/1)/((-1)/1). Suppose -3*q + 4 = -7*q. Do q and g have different values?
True
Suppose 5*d + 6*d = -297. Is d <= -28?
False
Let v = 0.1 + 6.9. Let d = 8 - v. Which is greater: -6/13 or d?
d
Suppose -3*b + 3 + 0 = 0. Is -5/13 smaller than b?
True
Let x = -12 + 30. Let a be 1/2*12/x. Which is greater: a or -0.1?
a
Suppose 5*i = -i. Which is smaller: i or -4/11?
-4/11
Let b(w) = 4*w**2 + 1. Let j be b(1). Let o(f) = f + 5. Let h be o(-4). Let g be (0 - h)/(j/(-15)). Does g = 3?
True
Suppose 0*x - 8 = -h - 2*x, -5*h + 2*x - 8 = 0. Which is smaller: h or -3/4?
-3/4
Let b = -2.7 + 3.08. Is b at most as big as 0?
False
Let l be (-69)/(-92) + (-33)/28. Do l and -2 have the same value?
False
Let r = 3 - 2. Let g be 0 - (0 - (r + -2)). Let a be (5 + -4)*(5/2)/(-5). Which is smaller: g or a?
g
Let p = -27 + 27. Suppose 2*v - 7*v + 5 = p. Is v at most as big as 1/6?
False
Let x(f) = f - 4. Let g be x(8). Suppose -g*i - 2*v = -v - 16, 4*i = -5*v + 16. Suppose -5 = -i*p - 17. Which is bigger: -0.1 or p?
-0.1
Let j(u) = 0 + 0*u**2 + 4 + u**2 + 5*u. Let q be j(-4). Which is bigger: -1/28 or q?
q
Let d = -7.4 - 0.6. Let b = d + 7.9. Let w = b + -0.6. Is 1 less than or equal to w?
False
Let y be 172/66 - 3/(-9). Let v = y - 36/11. Let f be ((-18)/16 + 1)*-2. Is v smaller than f?
True
Suppose 4*s = 5*l - 93, 0 = -s - 3*l - 2. Is -17 bigger than s?
False
Let b be (-151)/6 - 1/3. Suppose 9*u = 6*u - 84. Let m = b - u. Which is greater: m or 4?
4
Let d be -2 + (3 - 5)/(-2). Let n = -1584/5 - -315. Is d >= n?
True
Let p(d) = 2*d - 32. Let l be p(16). Let j be -1 + 1 - (-1)/3. Is j bigger than l?
True
Let q = -0.14 + 0.04. Let i = -110 - -334/3. Which is smaller: q or i?
q
Let r(k) = -2*k**3 - 4*k**2 + 16*k. Let j be r(-4). Which is smaller: 3/68 or j?
j
Let p be -4 + (-7)/(105/(-54)). Is p less than -1?
False
Let s(r) = r**2 - r - 2. Let w be s(-2). Suppose -i + 5*i = -w. Is 1/8 bigger than i?
True
Let l be -1 + 1/(-4) - -1. Let h be 2/10 - (-30)/(-25). Which is bigger: h or l?
l
Suppose 82 - 217 = 5*l. Let w = -53/2 - l. Is w at most -1/3?
False
Let z = -13.83 - -13.6. Which is bigger: z or 1?
1
Suppose 0 = 5*b + 5*f + 5, 4*b + 14 = -2*f - 0*f. Is b at most -4?
True
Let s be (1 - -2) + -1 - -2. Suppose -3*r - 2*o + 35 = 3*o, 4*o + 4 = s*r. Are r and 4 non-equal?
True
Let a = -10 - -18. Let k = a + -41/5. Suppose 4*n + 8*n = -12. Is n not equal to k?
True
Let k be 25/150 - 22/60. Which is bigger: k or 0.4?
0.4
Let v be 2/(-4) - (-3)/6. Is v at most as big as 8/7?
True
Let t(n) = -2*n**3 - 6*n**2. Let i be t(-3). Is i smaller than 0?
False
Let x = 4 + -6. Let d = 4 - 3.4. Let w = d + 0.4. Which is smaller: x or w?
x
Suppose 2*t + 13 + 19 = 0. Which is smaller: -17 or t?
-17
Let z be 1/((-3)/(-9)) + -11. Let b = 11 + z. Let t be ((-16)/36)/(2/b). Which is smaller: -0.1 or t?
t
Let p = -0.89 + 0.89. Is p equal to 2/33?
False
Let l(t) = -4*t - 22. Let s be l(-5). Are 1 and s unequal?
True
Suppose 4*b - 18 = -2. Suppose 2*a + 2*a - b = 0. Is a greater than 7?
False
Let t = -3 - -5. Let m = 36 + -33.9. Let z = t - m. Is -1 greater than z?
False
Let o = 21 + -36. Let q be (1 - -4)*2/o. Do q and 6 have the same value?
False
Let g = -2 + 4. Which is smaller: g or 0.1?
0.1
Let b = 744.94 + -753. Let z = b - -8. Let i = -13.6 - -13.5. Which is smaller: z or i?
i
Suppose -2 - 4 = 2*w. Let d = -2 - w. Let c be (-40)/(-75)*(-1)/(-4). Which is smaller: d or c?
c
Let w(t) = -21*t**2. Let d be w(1). Let x be (-99)/(-21) + (-6)/d. Let n = -3 + x. Which is smaller: 5/4 or n?
5/4
Let v = 200 - 3804/19. Do v and 0 have the same value?
False
Let b = -20 + 12. Is b equal to 2/7?
False
Let u = -2.1 - -2.7. Which is bigger: u or -2/5?
u
Let f(y) = 2*y - 26. Let m be f(13). Which is bigger: -1/22 or m?
m
Let q be (1/(-6))/((-2)/(-28)). Suppose -38*t - 2 = -37*t. Which is bigger: q or t?
t
Suppose -2*d + 1 + 5 = 0. Let f be 0/4 + 17 + -2. Suppose -n - 5 = -2*n + m, d*m + f = 4*n. Which is smaller: n or -1?
-1
Let n(k) = -k + 5. Let o be n(7). Suppose -2*q + 2 = 8. Which is smaller: q or o?
q
Let u be (4 - 3)/(2/(-4)). Let a be (22/8 + u)/3. Let k be (-4)/3 + 2/6. Which is greater: a or k?
a
Let d(p) = -2*p + 1. Let h be -3 + 0 + 5 + -3. Let o be d(h). Suppose -4*b = b - 20. Which is greater: o or b?
b
Let m = -6 - -5. Does -16 = m?
False
Let v = 10.1 + -10. Let t = v - 0. Let z = -7/33 - 5/11. Is t at least z?
True
Let o = -0.5 + 0.4. Is -4 <= o?
True
Let n = 23.9 - 25. Let l = n - -1.2. Which is bigger: l or -0.2?
l
Let s = 0.9 - 1.8. Let n = 1 + s. Do n and -0.02 have the same value?
False
Let v = 68 - 63. Is v greater than or equal to 5?
True
Let w = 7.3 + -1.3. Let j = 8 - w. Which is smaller: 0.1 or j?
0.1
Let n = 2/24839 + 17610837/173873. Let s = -101 + n. Suppose 6*z = 1 + 5. Which is smaller: z or s?
s
Let a(l) = l - 1. Suppose 2*t - 3*u = 2*u + 3, 2*u = -3*t - 5. Let g be a(t). Is g at least -2?
True
Let b = -0.154 - -0.014. Which is smaller: b or 1?
b
Suppose 4*d + 7 = -3*g, g = -2*g + d - 2. Let p = 2 + -1. Let i = 3 - p. Are i and g equal?
False
Suppose -6*k + w = -k - 112, 0 = k + w - 20. Is k bigger than 23?
False
Let u(q) = -q - 9. Let z be u(-7). Let k = z + 1. Is -2 at least as big as k?
False
Let c = -26663/186 + 430/3. Is -1 smaller than c?
True
Suppose -2*a + 84 = -3*y, 2*a = -y + 2*y + 80. Let n be (3 - a/12)*-1. Are n and -1/5 nonequal?
True
Let x = -25 - -24. Let d be (-20)/(-48) + 1/(-4). Which is greater: x or d?
d
Let c = -1 - -2. Let s = -2.4 + 0.4. Let b = c - s. Which is smaller: b or 0.1?
0.1
Let a = -3.1 - 0.9. Let l = 8 - 7. Which is smaller: a or l?
a
Suppose 0 = -9*m + 45 - 117. Is -27/4 at most as big as m?
False
Let y(i) = -i**2 + 6*i + 5. Let z be y(4). Suppose -5*m + 3 = z. Let c = m + 2. Which is smaller: 1/3 or c?
c
Let r = 6 + -6. Is -0.05 less than r?
True
Let u = -27269/45 + 606. Which is greater: 1 or u?
1
Let p be ((-5)/2 + 2)*4. Let o be 0 + 0 - 1*p. Let l be (3 - 2)/1 - o. Which is smaller: l or -2?
-2
Let s(j) = -j**3 - 6*j**2 - 2*j + 2. Let l be s(-6). Let o be (l/(-4))/((-1)/5). Let k = -17 + o. Which is smaller: 2 or k?
k
Let d be (22 - 19)*(-1 + 11). Is 30 > d?
False
Let f = -11.74 - 0.26. Let k = -3 - f. Let g = 6 - k. Is g not equal to 0?
True
Suppose 0 = y + p - 2*p - 14, y - 20 = 4*p. Suppose -3*w - 5*a + 1 = -15, -2*a = 4*w - y. Which is smaller: 3 or w?
w
Let h be (-2)/2*(-1 - -1). Let f be 0/(-1*(-3 - -2)). Suppose f = -5*i + 6 - 1. Which is smaller: i or h?
h
Let x(l) = -l. Let z be x(-3). Let j be (-2)/(-4) + (-18)/(-4). Suppose -7 = -4*v + 3*o, 0 = j*v - 4*o + 5*o - 23. Which is smaller: z or v?
z
Let v = -29 - -29. Suppose -4*r + 26 - 6 = v. Is r at most 6?
True
Let z = 3 + 0. Suppose 2 = z*g - 1. Which is smaller: g or -3/7?
-3/7
Let p be -14*(1/(-3))/1. Which is smaller: p or 4?
4
Let m(a) = -a**2 + a + 3*a + 2*a. Let b be m(6). Suppose -5*y - d = 2*d + 11, b = 3*y - 5*d - 7. Which is smaller: y or 0?
y
Let p(t) = t**3 - t - 3. Let l be p(-3). Is -27 not equal to l?
False
Let k be 1 - 4 - 1866/(-618). Which is smaller: k or 1?
k
Suppose -7*d = -2*d - 2*m - 3, 3 = d + 2*m. Suppose -u - d = -3. Suppose -2*v + u - 11 = -j, 0 = j + v. Which is smaller: 4 or j?
j
Let z = -9.3 - -9. Which is smaller: -5 or z?
-5
Let n = -3 - 1. Suppose -2*g + 7*g = 30. Suppose -8 + 38 = -g*p. Which is bigger: n or p?
n
Let o = 90 + -24. Is o less than 65?
False
Let h(t) = -t**2 + 6*t + 1. Let m be h(6). Let a(y) = 3*y**3. Let v be a(m). Which is smaller: v or 0?
0
Let p be 5/(-2)*24/270. Suppose 6*j = 2*j - 4. Which is smaller: j or p?
j
Suppose 2*t + 3 = 2*o + 5, 0 = -3*t - 5*o + 19. Which is greater: t or 6?
6
Let x(b) = b**3 - 4*b**2 + 3*b - 4. Let r be x(3). Let h be 46/(-14) + 4/14. Which is bigger: r or h?
h
Let r(q) = q**2 - 7*q + 10. Let z be r(7). Let c be (-12)/(-18) - z/18. Let v be (2 - 3)/(0 - 1). Which is bigger: v or c?
v
Suppose 3*m - 3 - 9 = 0. Is m greater than 3?
True
Suppose -9 = 6*u - 15*u. Which is smaller: -3/47 or u?
-3/47
Suppose 1 = -p - 2*q, -3*p + q = -2*p - 2. Let m = -1 - -9. Suppose -2 = 3*a - m. Which is smaller: p or a?
p
Let x = 373/4 + -411/4. Which is smaller: -10 or x?
-10
Suppose 3*f + 21 - 9 = 2*c, 3*f = -5*c - 12. Is c greater than or equal to 2/17?
False
Let z = -