hich is smaller: w or -4/3?
-4/3
Let x = -88/1785 - 1/105. Suppose 6*p + 2 = 4*p. Which is smaller: x or p?
p
Let b be ((-1)/(-4))/(2/872). Let q = -767/7 + b. Which is smaller: -1 or q?
-1
Let w = -5 - -7. Suppose 0*o = o + w. Which is greater: o or -1?
-1
Let t be (0/(3 - 2))/2. Suppose 4*s + s - 10 = t. Which is greater: 1/2 or s?
s
Suppose -n + 0*n = -2*o - 2, -o - 1 = 0. Let u = 50/63 - 5/63. Is u <= n?
False
Let p(s) = -s. Let x be p(-5). Suppose -x*l = -3*m - 25, -5*l + l = -5*m - 20. Is 2/9 at most as big as m?
False
Let y = 1.7 - 2.1. Is y not equal to -0.2?
True
Let p = -6 - -7. Let s be -1 + (0 - 1) + 1. Let l = -1 - s. Which is bigger: l or p?
p
Let c = -531 + 17525/33. Which is greater: 1 or c?
1
Suppose 2*o = -o + 5*t + 2, -t = -2. Which is smaller: o or 5/2?
5/2
Suppose 9 - 10 = s. Is -2/75 at most as big as s?
False
Let f = -0.103 - -10.303. Let z = f - 10. Which is greater: z or -1?
z
Let m = 50 + -44. Which is smaller: 9 or m?
m
Suppose 0 = -2*d - p + 5, -5*d = -2*p + 4*p - 10. Which is bigger: -3 or d?
d
Suppose 2*g - q = -6 - 4, 0 = -g - 5*q - 5. Let m = g + 5. Which is greater: m or -5?
m
Let i = -10 + 3.8. Let p = -7 - i. Which is smaller: p or -0.1?
p
Suppose -4*t + 19 = -5*m, 5*m - 6*t = -4*t - 27. Is -8 <= m?
True
Suppose -5*j - k - 10 = 0, 8 = -4*j + 2*k + 3*k. Let n be (-2)/(-4) + (j - -1). Suppose 0 = -4*u + 20, 3*m - 5*m + u - 7 = 0. Is m less than or equal to n?
True
Let b be 66/(-14) + 18/(-63). Are b and -6 equal?
False
Let k = 8 - 5. Let y = 2 - k. Is y bigger than -1?
False
Let u = 121/2 + -1339/22. Which is smaller: u or 1?
u
Let t(o) = -o**3 + 3*o**2 + o - 1. Let v be ((-4)/6)/((-4)/18). Let a be t(v). Suppose -a*h - 3*h = -10. Which is smaller: h or 1?
1
Let u be (-6)/(-15) - (-268)/(-720). Which is smaller: 0 or u?
0
Let i(s) = s + 2. Suppose l - 9 = 5*l - g, 3*g = 3. Let y be i(l). Suppose 2*o + o = y. Which is smaller: -1/4 or o?
-1/4
Let d(w) = w**2 + 8*w - 3. Let y be d(-9). Let h = 7 - y. Let t = 1/117 - 3/13. Which is smaller: t or h?
t
Let d(n) = -1 + 6*n**3 - n**2 - 3*n + 2*n - n. Let a(z) = 5*z**3 - z**2 - 2*z - 1. Let c(s) = 7*a(s) - 6*d(s). Let x be c(-1). Is 0 bigger than x?
False
Let n = -179 + 3398/19. Which is greater: n or -1/3?
n
Suppose 747 = -11*o - 166. Is o less than -83?
False
Suppose -6*t + 2*t + 2*p = -6, -p + 25 = 5*t. Is 5 at most as big as t?
False
Let a(w) = -w. Let l be a(2). Let s(h) = -h**3 - 12*h**2 + 13*h. Suppose -55 = 5*b - 2*o, -80 = 5*b + o + 2*o. Let u be s(b). Which is smaller: u or l?
l
Let s = 0.32 + -13.32. Let x = 12.9 + s. Do x and 1 have the same value?
False
Suppose -g = 2*g - 15, 4*g = l + 12. Suppose 4*y + l = -16. Is -5 at least y?
True
Let w(r) = -r**2 + 4*r. Let y be w(5). Let i be (y*(-3)/(-3))/(-1). Suppose -4*b - b + 4*c = -6, c = -i*b + 11. Is -1 bigger than b?
False
Let l be (8/6)/(4/6). Let r = 1 - l. Let a be ((-3)/(-4) - 0) + 1/(-2). Which is greater: a or r?
a
Suppose 5*c + 0*c = 5. Suppose -4 = -2*r + 2*s, s - 3 - 1 = -5*r. Are c and r non-equal?
False
Let g = 27 - 17. Let t be ((-5)/g)/(1/2). Let m = -3 - -3. Which is smaller: m or t?
t
Let p(n) = n**3 + 10*n**2 + 17*n + 3. Let d be p(-7). Is 30 at least as big as d?
False
Let j = 0 - 3. Let x = -4 - j. Is -1 at most as big as x?
True
Let x(s) = -s**2 + 4*s + 9. Let l be x(7). Which is greater: l or -11?
-11
Suppose -2*a = 2 - 0. Let g be (-4)/10*(-15)/(-12). Which is bigger: g or a?
g
Let b = -2 + 8. Suppose m - b = -3. Suppose -3 + 0 = -m*g. Which is bigger: 0 or g?
g
Let f = 32 - 29.95. Let z = -0.05 + f. Which is smaller: z or -0.1?
-0.1
Let f(r) = -1 + 0*r + 2*r - 4. Let b be f(5). Which is smaller: 7/2 or b?
7/2
Suppose u = 3*u + 6. Let d = u - 0. Which is bigger: -1/3 or d?
-1/3
Let w = -3 + -1. Which is smaller: w or -11/4?
w
Let h = 8 - 10. Is 2/3 smaller than h?
False
Let t = -2 - 0. Let l = -1 + t. Suppose 3*o - 13 + 7 = 0. Are l and o equal?
False
Let r = 2.92 - -0.08. Let h = 0.5 + 2.5. Let x = 3.1 - h. Is r greater than x?
True
Let l = 2.313 - 0.013. Is l not equal to 2/3?
True
Let c be (-2 + 1 + 1)/(-2). Let w be (-3 - -2 - -2) + 3. Suppose c = -w*v + 3*v - 3. Which is smaller: -2 or v?
v
Let d = -8.87 - 0.13. Let u = 9.12 - 0.12. Let z = u + d. Which is bigger: 0.1 or z?
0.1
Suppose 12 = -0*y + 4*y. Suppose -4*d + 4*b + 1 = 17, y*b = d - 2. Is d at most -6?
True
Let y = 3.6 + 1.4. Which is greater: -2 or y?
y
Let j = -4 - -2. Let k = 51 + -41. Let z be (j/k)/(8/10). Which is smaller: 2/7 or z?
z
Let p = 7 - 5. Is p at most 2?
True
Suppose -19 - 1 = -4*j. Let x = -9 - -4. Let c = x + j. Which is bigger: -1/4 or c?
c
Suppose -13 = 3*f - 79. Is f bigger than 22?
False
Let g = 2 + -2. Suppose -11*u - 18 = -20*u. Which is greater: g or u?
u
Let k = 16.34 - 0.34. Which is smaller: 1 or k?
1
Let p(w) = -28*w + 9. Let v be p(2). Is -46 less than or equal to v?
False
Let f(n) = n**2 + 11*n + 4. Let u be f(-11). Let c(w) = 4*w**2 - 2*w + 1. Let l be c(1). Suppose -3*z = l*o - 0*o + 3, -5*o + 31 = -4*z. Is u not equal to o?
True
Suppose 20 = -5*w + 3*b + 87, 5*b - 2 = -2*w. Is 11 at most as big as w?
True
Let l(p) be the first derivative of -p**4/4 - p**2/2 - p + 1. Let t be l(-1). Is t at least as big as 1?
True
Let q = -0.08 - 0.22. Let p = -0.1 + q. Let w = -1.087 - -0.087. Is w smaller than p?
True
Let s = -0.39 - -0.34. Is -2 smaller than s?
True
Suppose 4*j + 33 = 4*w + 1, -52 = -5*w - j. Is w less than 39/4?
False
Let f = -0.46 + 0.06. Let g = -387 + 3488/9. Let u = -1/9 - g. Which is smaller: f or u?
u
Let y be 0 - (48 + 0 + 2). Let a(o) = o**3 + o**2 - 4*o - 3. Let q be a(-2). Let b be q - (y/(-8))/5. Which is smaller: 0 or b?
b
Suppose -47 = -5*o - n - 3*n, 0 = -o + 5*n - 8. Suppose 0 = 3*m - 2*s - 4, 0*m = 5*m - 3*s - o. Which is bigger: m or 2/3?
m
Let n be (-36)/126 - ((-108)/(-14) + -1). Are 1/3 and n unequal?
True
Let u = -127/10 - -101/5. Let g = 36/5 - u. Is 0 equal to g?
False
Let c be 4 + 27/(-6) + (-130)/(-4). Is c at most as big as 33?
True
Let z = -1 - 2. Suppose 5*p + 4*y - 8 = -37, 1 = -y. Which is bigger: z or p?
z
Suppose 3*l - h = -2*h + 29, 3*h + 23 = l. Let f = l - 11. Is -1 at least f?
False
Suppose -12 = 3*f + f. Is f > -1?
False
Let l(r) = -r + 1. Let x be l(-4). Suppose x*b = b. Are b and 1 equal?
False
Let i(f) = 2*f**2 + 8*f - 33. Let s be i(-10). Are s and 88 equal?
False
Let y be ((-36)/63)/((-12)/(-14)). Is 3/4 greater than y?
True
Suppose -2*u = 4*q + 1 + 9, 20 = -q + 3*u. Which is smaller: -26/7 or q?
q
Let s be (9/144)/((-1)/(-6)). Let i = 0 - 4. Let x = -3 - i. Is s <= x?
True
Suppose -2*p + 43 - 11 = 0. Let b = p + -26. Let s be (b/(-2))/((-2)/2). Is s at least as big as -4?
False
Let u(w) = 25*w**2 + 2*w - 1. Let r be u(1). Is 26 equal to r?
True
Let w = 0.3 - 0.5. Let r = w - -0.1. Let j = 0.2 + -0.1. Is r >= j?
False
Suppose -4*h = -n + 5, -2*h + 3*n + 11 = -2*n. Let i(o) = o**2 + o. Let v be i(h). Let c be (3 + (-2)/1)*3. Which is bigger: c or v?
c
Let c(q) = -q**2 + 10*q + 5. Let n be c(10). Suppose 0*t = 3*x + 4*t, 0 = -n*x - 4*t. Is 2/11 at least as big as x?
True
Suppose 0 = 7*d - 3*d - 1340. Let y = 5023/15 - d. Is 1 less than y?
False
Let i = 10 - 16. Let c = 253 - 0. Let f be c/(-55) - 4/10. Which is smaller: f or i?
i
Suppose q = 2*q + 2. Let k be 53/60 - (4 + q). Let l = k + 9/20. Which is smaller: l or 0?
l
Let g(v) = -2*v**3 - 8*v - 4. Let d(s) = -5*s**3 - s**2 - 17*s - 8. Let x(y) = 3*d(y) - 7*g(y). Let p be x(-4). Let a be p/(-5)*(-1)/(-1). Is -1 <= a?
True
Suppose 5*h - h = 16. Let y = h - 6. Which is smaller: 0 or y?
y
Suppose -2*c - 2714 = -5*n, 3*n + 0*n = -2*c - 2682. Let v be c/30*(-2)/3. Let r = -30 + v. Which is greater: 0 or r?
0
Suppose -3*j - 4*a = 57, -5*j = -a + 3*a + 95. Let q = -18 - j. Is q >= 0?
True
Let q(y) be the second derivative of y**3/3 - y**2/2 + y. Let h be q(0). Do 2/33 and h have different values?
True
Let t be (3/45)/(112/174). Let b = t + -8/35. Does 0 = b?
False
Let v be 2/(((-16)/(-60))/((-6)/(-5))). Suppose 0 = 7*q - 2*q - 50. Which is greater: v or q?
q
Let q = -11 + 13. Let w = q + -5. Which is smaller: w or 0?
w
Suppose 2*x = -0*x. Let a(k) = k - 4. Let b be a(6). Let v be (-1)/b - (-90)/140. Which is smaller: v or x?
x
Let u = -65/7 - -9. Is 22 < u?
False
Let r be (2 - 2)*1/(-9)*-3. Let y b