aller: b or 3?
b
Let u = -7 + 3. Let f(g) = 4*g - 25. Let t be f(5). Are u and t unequal?
True
Let x = -386/15 + 73/3. Which is smaller: -2 or x?
-2
Let g be 2/(-9)*54/(-12). Let b be (-10)/4 - 1/(-2). Let l be b*(1/1)/(-8). Is g greater than l?
True
Let i be 12/54 + (-11)/9. Let r be -1 + 2 + -2 + 1. Suppose 4*f + r*f = -12. Is i at least f?
True
Let d(i) = 4*i + 19. Let c be d(-5). Which is greater: c or -3?
c
Let q = 33 - 7. Is q at least as big as 26?
True
Suppose 3*j - 22 - 8 = 0. Let q = j - 7. Which is smaller: 5/3 or q?
5/3
Suppose -3*r + 3*t = -30, 0*t + 4*t = 12. Let h = r + -53/4. Let i = -4 - -3. Which is smaller: i or h?
i
Let o = 96 + -472/5. Let x = 2 + -1. Is x at least o?
False
Let q be 3 + 0/(1/(-1) + 2). Let y be 2 - ((-2)/1 - 2). Which is greater: y or q?
y
Let i = 0.1 + -0.2. Suppose -4*d = -2*d + 4*o + 16, 3*d - 16 = 2*o. Which is bigger: i or d?
d
Let d(a) = -a**2 + 7*a - 5. Let s be d(5). Suppose -2*h - 3*v = 13, 3 + 2 = -s*h - 2*v. Suppose 0 = k + h - 0. Which is greater: 1 or k?
1
Let h = 0.16 + -0.06. Does 1/18 = h?
False
Suppose 0 = -4*d - d + 15. Let t be (0 + 3)*1/d. Which is smaller: t or 1/5?
1/5
Suppose -5*m + 5*n = -20, -5*m + 3*n = -0 - 12. Which is smaller: m or 4?
m
Let p = -5 + -2. Is -6 >= p?
True
Let s = 1 - 8. Is s >= -31/5?
False
Let x = 14 - 27/2. Which is greater: x or 4?
4
Let s = 123/763 - 2/109. Which is bigger: 1 or s?
1
Let p be (-2)/(-1)*(-3)/6. Suppose 0 = 18*w - 43 + 7. Which is smaller: p or w?
p
Let j(u) = 13*u**3 - 2*u + 1. Let n be j(1). Let l be 50/(-5) + (1 - -2). Let d be 9/n - l/(-20). Which is greater: 0 or d?
d
Suppose -3*z + 0*z - 4*f = -19, -z - 3*f = -13. Let l be -2 - z - (-7 - -2). Let w be -1 - 3/(9/(-6)). Do l and w have the same value?
False
Suppose 0 = 5*v + 3*m + 15, 4*m + 3 = -4*v + 3*v. Let o(z) = -z**3 - 3*z**2. Let w be o(v). Are w and 0.13 nonequal?
True
Let o = -6 + 3. Let z = -3.1 - o. Let g = -5.6 + 6. Which is smaller: z or g?
z
Let g(s) = -3*s - 10. Let r be g(-19). Which is greater: 48 or r?
48
Let j(i) = i**2 + 9*i - 17. Let g be j(-10). Which is smaller: -48/7 or g?
g
Let b = 309555376/45 + -6879357. Let x = -3112/9 - b. Let t = x + -11/5. Is 2 > t?
True
Let m = 65 + -94. Does -29 = m?
True
Suppose -4*o + 10 = -2, 15 = 4*u + 5*o. Is 0.8 less than or equal to u?
False
Let x = 3 - 3. Let t(z) = -4*z**2 - 1. Let l be t(-1). Let j be x/2 + l/(-20). Which is smaller: j or 0?
0
Suppose 0*y = 2*y - 418. Let r = 1460/7 - y. Let p be (-1)/(-3) - (-5)/(-15). Which is smaller: r or p?
r
Let c be ((-3)/102)/((-8)/2). Let t = 809/952 + c. Do 2 and t have the same value?
False
Let u(s) = s**3 - 6*s**2 + 4*s + 4. Let q be u(5). Suppose 0 = -p + 4*c, 0 = p - 2*p - 3*c. Which is greater: p or q?
p
Let r be (12/5)/(3/10). Suppose 0*p + 5*w = -p + 33, 26 = 2*p + 2*w. Is p != r?
False
Let f(a) = a**2 - 2*a - 8. Let k be f(-4). Is 17 bigger than k?
True
Let q(t) be the first derivative of -t**2/2 + 13*t + 23. Suppose -5*l = -25, -a + l + 15 = a. Let d be q(a). Is 2 equal to d?
False
Suppose -3 - 10 = 3*u - 5*n, 0 = n - 2. Which is smaller: -2/33 or u?
u
Suppose d + 8 = -d. Let c be (-52)/84 + d/(-14). Which is smaller: c or 0?
c
Let p = 8 - 2. Let k be ((-12)/(-45))/(p/5). Are -1 and k non-equal?
True
Suppose 0 = -3*y - 3 - 6. Let t be ((-22)/6)/(12/9). Which is bigger: y or t?
t
Let p = -30 + 30. Are -4/63 and p non-equal?
True
Let z(t) = t**3 + 3*t**2 - 4*t + 3. Let q be z(-4). Suppose -f + k - 2 = -4, -f + q*k + 8 = 0. Which is greater: -5/3 or f?
f
Suppose 2*g + 4 = 3*r, 4*r - 11 = -0*r - 3*g. Let n(k) = -k + 4. Let q be n(4). Let d = 3 - q. Which is smaller: r or d?
r
Suppose i + 2*i = 27. Suppose 0*v - 2*v + 20 = 0. Which is smaller: v or i?
i
Let d = -4.81 + -0.19. Is 0 greater than or equal to d?
True
Let r = -22 - -21.8. Are 2 and r equal?
False
Let i = 38 + -14. Let k = 71/3 - i. Which is greater: 0 or k?
0
Suppose 5*p + 2*b = 45, -8*p + 4*p = -b - 23. Let o be (2*-4)/((-14)/p). Suppose 0 = o*z - 0*z. Is z less than 2/3?
True
Let h be 14*((-9)/(-6) - 2). Let v = 7 + h. Suppose 0 = 4*b - 3*t - 18, 2*b + v*t - 5*t = 16. Is b greater than 0.1?
True
Let o = -212/5 + 42. Which is greater: o or -5?
o
Let n be (8/20)/((-14)/10). Suppose 4*u - 4 + 0 = 0. Let q be u/(-4) + (-1)/(-4). Is q > n?
True
Let t(g) = -g**2 - 8*g - 2. Let o be t(-6). Is 10 bigger than o?
False
Let y(i) = i + 9. Let n be y(-10). Is 17 less than n?
False
Let o = -3.7 + 3.57. Do o and 1 have the same value?
False
Let v be 2/(-7) - 74/(-14). Is v > 19/5?
True
Let z = 233 - 60. Let p = 337/2 - z. Is -4 at least as big as p?
True
Let y = -35 + 18. Let t = y - -16.7. Suppose 0 = 4*b - 0*b. Which is smaller: t or b?
t
Let h(u) = 5*u - 8. Let s(k) = 2*k - 3. Let f(r) = 3*h(r) - 8*s(r). Let n be f(6). Let j be (-3)/6 + n/(-20). Is 1 at most as big as j?
False
Let q be (4 - (-124)/(-12))*-3. Let l = 20 - q. Are l and 1/14 non-equal?
True
Let b be -3 + 2 + -13 + 0. Let y = b + 15. Suppose -5*r = -15, -a = -4*a + 4*r - 6. Which is bigger: a or y?
a
Let l = 2 - 0. Let s = -7 + 7.02. Are s and l equal?
False
Suppose 4*u - 4 = -0*u. Let x be u*3*7/(-21). Which is smaller: -2 or x?
-2
Let r(d) = -3*d - 4*d - d**2 + 5 + 1. Let b be r(-8). Let s be ((-5)/2 + 2)*2. Is b != s?
True
Let p = 0.01 - -5.99. Let n = -13 + p. Let z = n + 3. Is 2/5 bigger than z?
True
Suppose 4*p + 8 = 0, 3*n + 3*p - 32 = p. Let l = -13 + -5. Let u be (-4)/n + (-2)/l. Do 1 and u have the same value?
False
Let y = 2.99 - 3. Let f = 2.01 + y. Let l = f + 0. Is l > -1?
True
Suppose 11*n - 14*n + 6 = 0. Suppose 0 = -n*f - f + 33. Are 12 and f unequal?
True
Suppose 5*x + 20 = 4*r, -23 = 3*x + r + 6. Let f = x + 6. Is -5/2 > f?
False
Let v(d) = -2*d**3 - 16*d**2 + 5*d - 10. Let f be v(-8). Which is bigger: f or -49?
-49
Suppose 6*q - 12 = 2*q. Let m = 2 - -7. Let g be (m/(-6))/(3/(-4)). Is g < q?
True
Let z = -0.06 + 0.01. Let n = z - -3.05. Let a = -3.2 + n. Is 1 at least as big as a?
True
Suppose l + 2*h - 6 = -2, 5 = 5*h. Which is greater: l or 3/2?
l
Let l = -197/155 - 4/31. Are l and -0.1 non-equal?
True
Suppose 0 = o + 4*l + 9, -o + 5 = -6*l + 3*l. Is -3/20 less than or equal to o?
False
Let l be (-13 + (-2 - 0))/(-2). Let g = -30 - -38. Is g at least as big as l?
True
Let y = -0.04 + -0.05. Is y at least as big as 1/4?
False
Let h be (-272)/(-150)*(-5)/(-20). Let t = 3/25 - h. Is t >= -1?
True
Let j be (-10*1)/(-1 + 2). Let o be (-4)/j + (-33)/(-5). Let k = 10 - o. Is k greater than 2?
True
Suppose 1 - 5 = -2*r. Let z be 2/14 - (-91)/49. Is r not equal to z?
False
Let t be (-103)/7 + -2*3/21. Are -12 and t equal?
False
Let u(a) = -a**2 + 5*a - 7. Let t be u(5). Let h be 2/t + (-12)/105. Which is smaller: -2/7 or h?
h
Suppose 3*o - 24 = o. Let r be (-3)/(-2)*16/o. Suppose -2*n + 2 = -0*n. Which is bigger: n or r?
r
Let s = -67 - -44. Let a = 70/3 + s. Suppose -5 = -3*t - 2. Which is smaller: a or t?
a
Let v be (-7)/14*(-1 + 1). Which is smaller: 2/9 or v?
v
Let u be (-28)/(-7)*5/(-2). Let z = u + 6. Do z and -8/3 have different values?
True
Let f = -0.001 + 2.001. Which is smaller: f or -7?
-7
Let c = -570/221 + 32/13. Which is bigger: c or -2?
c
Let u(p) = p + 2. Let k be u(-11). Let j be 4/k + 18/(-81). Let y = 1 - 3. Is j greater than y?
True
Let y = -2 - -1.6. Let t = y - -0.3. Let j = 0.6 - 0.4. Which is greater: t or j?
j
Let u = -0.4 + 0.3. Let l = 0.5 - 0.4. Is l equal to u?
False
Let l(t) = -t**2 - 6*t - 2. Let r be l(3). Which is smaller: r or -30?
-30
Let w = -177 + 177.05. Are w and 0.5 nonequal?
True
Let s(d) = d**2 + 2*d + 2. Let p be s(-2). Let x = 7 - 11. Let q be -3*3/(12/x). Which is smaller: p or q?
p
Let j = 11 + -10. Is j less than 10/11?
False
Let b = 6 - 0. Suppose 2*m = 5*m + b. Suppose -6*g + 10*g = -8. Is m less than g?
False
Let a = -0.05 - -0.1. Let g = a - -0.15. Which is bigger: g or -3?
g
Suppose 5*q - 5*s = 30, -3*q + 2*s - 23 = -8*q. Suppose 3*f = 2*x + 1, -8*x + 3*x + 5 = -q*f. Suppose -x*u + 0 = 4. Which is smaller: 2/5 or u?
u
Let o = -10 + 3. Let f(y) = -y - 6. Let g be f(o). Let p = -2/297 + -188/1485. Does g = p?
False
Let h(u) = -u**3 - 6*u**2 - 7*u - 4. Let m be h(-4). Is m less than -8?
False
Let v be 1/((-1)/(5*-1)). Suppose -3 = -3*b + 2*o, -3*o - 5 = -v*b + o. Let c be (-8)/(-4)*(0 - b). Which is big