2)/l)/((-2)/2). Which is smaller: d or 2?
d
Suppose 2*g - 3*p - 12 = 0, -2*g - p = 3 + 1. Is 1/3 at most as big as g?
False
Suppose -4*b - 15 = 5*t, 4*t + 11 = 2*b - 5*b. Let u be -5*(-1)/(15/(-24)). Let a be u/(-6) - (2 + -1). Which is greater: a or t?
t
Suppose 4*u - 4*d = -12, -2*u + 1 = -3*d + 6. Let r = u + 5. Do r and 2 have the same value?
False
Let p be (-3)/(4/(32/12)). Which is greater: -1/2 or p?
-1/2
Suppose 1 = -y, -5*s - 3*y = -8*y - 15. Suppose 0*v = -s*v. Let p = 0.3 + -0.1. Which is smaller: v or p?
v
Let q(d) = -2*d - 30. Let w be q(-19). Which is smaller: w or 9?
w
Suppose 2*h + 6 = h. Let s(t) = t**3 + 7*t**2 + 7*t + 5. Let c be s(h). Let n be (-55)/44 - 20/(-16). Is n bigger than c?
True
Let y be -2 - (-13 - -3 - -1). Is 6 greater than y?
False
Suppose -4*m + 2*m = -2. Is m greater than or equal to 1/10?
True
Let a(y) = 70*y**2 + y + 3. Let d be a(2). Let x = 1991/7 - d. Does -2 = x?
False
Let f = -0.73 + 34.73. Let l = f + -32.7. Let q = l + -1. Which is smaller: q or 1?
q
Let b be -3*1 - (7 + -8). Let t be (44 + 1)*(-2)/8. Let n = -11 - t. Which is bigger: n or b?
n
Suppose -8 = -4*z + 4. Suppose 0*b - 5*c - 14 = -b, -5*c - 2 = 2*b. Suppose -5*p = -3*p - b. Which is smaller: p or z?
p
Let s = 1 - 1.2. Let f = 0.5 + s. Let b = -2 - -3. Which is smaller: b or f?
f
Suppose u = -4*y + 2 + 7, 4*u + 27 = 5*y. Let w be 7/y - 2/(-3). Which is bigger: 4 or w?
4
Let n = 0.09 + -0.09. Let r = -8 - n. Let c = r - -6. Is c >= -2?
True
Let w = -479/42 + 65/6. Is -1 less than or equal to w?
True
Let c be 1*4/10*5. Is c smaller than -4?
False
Let k be 5/10*(23 - -1). Suppose 5*f - k = 2*f. Let a be (f - 1)*4/(-12). Is a < 2/13?
True
Let a be -74*(-3)/(-11) + 32/176. Which is bigger: -22 or a?
a
Suppose 5*s - 5*h = -45 + 15, -2*s - 17 = -3*h. Which is smaller: -4/3 or s?
-4/3
Let d = 6.2 - 6. Let j = 0.29 + 0.01. Let p = j - d. Which is smaller: -2 or p?
-2
Let q(p) = 7*p. Let x be q(1). Let h be x*(1 + 1 + -1). Suppose -3*w + 1 + 2 = 0, -4*j + h = 3*w. Is 2 smaller than j?
False
Suppose -2*g + 2 = -3*c + c, 4*g = -c - 6. Is g smaller than 0.066?
True
Let w be (-2 - 21/(-6))/(-21). Is w at least 0?
False
Let h(n) = -2 - 5 + n + 13. Let p be h(6). Which is bigger: 2/3 or p?
p
Let w = 0.016 - 0.046. Which is bigger: w or -2?
w
Let w = -70/87 + 4/29. Let c(a) = -a**3 + 17*a**2 + a - 15. Let s be c(17). Suppose -4*b = -s*b + 4. Is b at least as big as w?
False
Suppose -4*u = -w + 12, -4*u - 9 = -2*w + 3. Let j(n) = 2*n - 1. Let k be j(1). Is k at least w?
True
Suppose 0 = b - 2*b. Suppose 1 = 2*p + 3. Which is smaller: b or p?
p
Let j = 23 + -17. Is j greater than or equal to 8?
False
Let t = -19/90 - 1/90. Suppose -7*r = -3*r. Is t equal to r?
False
Suppose -2*b - 2*b - 4 = 0. Let m be -3 + 3 - (0 - b). Which is smaller: 2 or m?
m
Suppose -4*f = -2*i + 16, -3*i + 2*f - 7*f + 13 = 0. Which is smaller: 26/5 or i?
26/5
Suppose 5*o - 25 = -5*r, -3 = -o + 5*r - 4. Suppose 0 = 5*j - 9 + o. Let m = 1 + -1.1. Which is smaller: j or m?
m
Suppose 1 - 2 = 3*u - 2*p, -u = -3*p + 5. Let o = -13 + 11. Let x be o/(-24)*(4 + -2). Which is smaller: x or u?
x
Let k = -449/198 + 1/22. Let d = 14/9 + k. Let y = -23 + 22. Which is smaller: d or y?
y
Suppose -137*r = -136*r - 34. Is 32 at most r?
True
Let q be (-2)/4 + (-30)/(-140). Let z = 0 - -0.1. Which is smaller: z or q?
q
Let q = 176 + -876/5. Is 1/4 > q?
False
Let g = -71.9 - -80. Let b = 8 - g. Is 6 at most b?
False
Let v = 4 + 1. Suppose 0*z - 3*z - v*u = 3, -3*u = z + 5. Suppose 4 = -4*h - z. Is -6/7 greater than h?
True
Let z = -10 + 14. Let g = z + 1. Let q = 62 - 62.1. Are q and g nonequal?
True
Suppose g - 5*y + 29 = 2*g, 0 = 5*g + y - 265. Is 53 greater than g?
False
Let z(c) = 3 - 2 + 6 - c - 3. Let a be z(5). Is -4 less than or equal to a?
True
Let g(h) = -4*h**2 + 3. Let l be g(3). Let t = 29 + l. Let z(v) = v + 1. Let w be z(-4). Which is smaller: t or w?
t
Let s be -4 + 2 + 14/7. Let j be (-1)/3 + 15/27. Which is smaller: j or s?
s
Let d = -0.87 + 0.17. Let s = -0.8 - d. Is s < -0.3?
False
Let c(z) = -z**3 + 14*z**2 - 24*z - 7. Let l be c(12). Let p be (1 - 2)/((-2)/(-14)). Are p and l equal?
True
Let s = 7 - 5. Suppose -3*b - 5 = s*g, -5*b - g - 9 = 3*g. Let k be 9/12 + -1 - b. Is 1 equal to k?
False
Let p be (-1)/(7/3 + -2). Let h be p + 2 + (0 - -1). Which is smaller: 1/6 or h?
h
Let v = 7 + -18. Let m = v - -11. Do -2/21 and m have different values?
True
Let a(t) = t + 2. Suppose 4*y - 9 = 7*y. Let g be (-5 - -4)/((-1)/y). Let c be a(g). Which is bigger: 1/4 or c?
1/4
Let w(u) = -u**3 - 5*u**2 + 6*u + 2. Let n be w(-6). Let r be 13 + -1 - 4/n. Suppose -5*m = q + r, -4*q + 5*m = -7 - 3. Is 0.3 < q?
False
Let r(f) = f - 5. Let n be r(7). Let m(b) = 4*b + 4*b**n + 3 - b**3 - 4 + 6. Let q be m(5). Is -1 at least q?
False
Suppose -57*q + 3 = -60*q. Is 2/7 greater than q?
True
Let k = 1 + -1. Let a = 13.94 + -14. Let z = a + -0.44. Is z at least as big as k?
False
Suppose 2*g = -o + 7, o - 3 = 2*g - 0*o. Let x be ((-4)/3)/((-2)/3). Which is smaller: x or g?
g
Let z = -105 + 66. Let x be 15*(38/z + 1). Let p = x - -1/65. Which is smaller: 0.1 or p?
0.1
Let d be 2 + (-5 - 1)/3. Let x be 6 - (-3)/((-3)/2). Suppose 4*q = 3*c - x*c, 5*c = 20. Which is smaller: d or q?
q
Suppose -10 = -r - 16. Let c be (r/(-20))/((-30)/(-20)). Which is greater: 3 or c?
3
Let s be (3*2/(-14))/((-42)/112). Is s at least as big as 0?
True
Let y be 3/(-4) - 159/(-4). Suppose -r = -y + 8. Let w = 187/6 - r. Is w != 1?
True
Suppose 0 = -3*k + k. Let x be 102/(-90) - 2/10. Is x not equal to k?
True
Let l be 83/27 + 9/((-9)/3). Let r be (-3)/3 - 2 - -2. Is l <= r?
False
Let p be 1/(2/(-12)) + 2. Suppose 4*a + 184 = -48. Let h be a/(-18) - p/(-18). Does h = 3?
True
Let v be (7/21)/(14/96). Which is greater: 3 or v?
3
Let j(c) = -c**3 - 12*c**2 + 11*c - 17. Let w be j(-13). Let u be (-3)/12*12/w. Do u and -1 have the same value?
False
Let p be (3 + -2)*-18*2/(-5). Which is bigger: 8 or p?
8
Let v(a) = 2*a - 2. Let m be v(0). Let j(d) = -d - 3. Let i be j(m). Which is greater: -2/19 or i?
-2/19
Let r(u) = -u**2 + u - 2. Suppose 4*q + 0*a = a + 7, 5*q = 2*a + 8. Let n be r(q). Which is smaller: n or -2?
n
Suppose -2*r = -2*h - 4, -2*h - 1 = 4*r - 3. Let z be 0 + h + 1 + 0. Let a be 45/(-84) + 2/8. Is a less than or equal to z?
True
Let z = -4/3 + 8/15. Let j = 300 - 899/3. Which is smaller: z or j?
z
Let j = -150 - -133.9. Let z = j - -16. Is z equal to -0.7?
False
Suppose y - 6 = -4*x + 4*y, -4*y + 23 = 5*x. Let h be 1/3 - (2 - x). Which is greater: h or 2?
2
Let d be (1/(-22))/((-10 - -1)/(-864)). Is -3 <= d?
False
Suppose -3*m - 39 = a, 3*m - 3*a = 2*m - 23. Which is smaller: -12 or m?
m
Let i(m) = -m**2 - 3*m + 3. Suppose -5*u - 15 = 5. Let f be i(u). Is f bigger than -1?
False
Let w = 2.99 - -0.01. Let i = w + -3.2. Let c = -0.2 - i. Which is bigger: 4 or c?
4
Let y be -1 - (3/2 + 0). Suppose -4*u = -3*r - 5*u + 1, -2*r + 24 = -4*u. Suppose -r*m + 3 = 9. Is m != y?
True
Let r = 52.33 - 52. Is -2/7 <= r?
True
Let h be (-39)/(-2)*6/9. Are h and 13 unequal?
False
Let u(f) = f**2 + f - 9. Let o be u(0). Which is bigger: o or -11?
o
Let o(z) = z + 1. Let m(x) = 3*x + 4. Let d(y) = -m(y) + 4*o(y). Let c be d(1). Is c <= -2/23?
False
Let c(z) = z**2 + 3*z - 4. Let w be c(0). Which is smaller: w or -3?
w
Let d = 3.171 + -0.091. Let q = 0.08 - d. Which is greater: q or -1?
-1
Let j = -1.1 - -1. Let w = -0.1 + j. Suppose 0*a + 3 = -x + 2*a, 5*x = -2*a - 3. Is x not equal to w?
True
Suppose -3*l - 2*l = 0. Is -3/13 <= l?
True
Let f = -59 - -60. Are -10 and f equal?
False
Let y be (-1 + -8)/(57/(-22)). Let k = 1160/323 - y. Which is greater: 0.2 or k?
0.2
Suppose -3*b + 2*b + 5 = 0. Suppose -6 - 4 = -b*y. Which is smaller: 1 or y?
1
Let r = 8 + -6. Is r equal to 22/9?
False
Let c = -4 - -5. Is -3 > c?
False
Suppose 17*k - 15*k + 62 = 0. Is k less than or equal to -31?
True
Suppose -2*w = k - 1, -30 = 2*w + 3*w - 4*k. Which is smaller: w or -11?
-11
Suppose -5*r = -q + 2*q + 35, -4*q = -3*r - 44. Let w = r - -12. Which is bigger: w or 3?
w
Suppose -2*q = 27 - 99. Let k be ((-1)/3)/((-6)/q). Are k and 2 non-equal?
False
Let w(c) = -42*c**3 + c**2 + 2*c + 1. Let l be w(-1). Suppose 5*p - 30 = -s, l = 5*s - 0*s - 2*p. Let j be 4/s - 6