ich is smaller: p or f?
p
Let d = 230.8 + -212. Let q = -25 + d. Let s = -6 - q. Which is smaller: s or -2?
-2
Let b be (-3)/6 - 1/(-2). Suppose b*j + 7 = j. Is 7 <= j?
True
Let u be 48 + -52 - (-15)/4. Let r = -0.1 - 0.2. Let i = r - 0. Is i smaller than u?
True
Suppose -5*o + 20 = -o - 5*h, -2*o = 2*h + 8. Let w(v) = -v + v + o*v + v. Let y be w(-2). Which is smaller: -3 or y?
-3
Let o(i) = -i**2 + 6*i - 5. Let q be o(4). Suppose -4*w + 0*b - 2*b + 8 = 0, 0 = w - 5*b - 24. Which is smaller: w or q?
q
Let s = 147 + -1179/8. Let d = -1 + 2. Which is greater: d or s?
d
Let f = 2 - 2.2. Let g = -25 + 25.1. Which is smaller: f or g?
f
Let b(y) = y**3 - 5*y**2 - 8*y + 5. Let c be b(6). Let p = 7 + c. Is p at most as big as 0?
True
Suppose 2*m = 4*m. Let c = 2 + m. Suppose c*o = -7 + 3. Does -3 = o?
False
Let c = 1 - -3. Is c equal to 4?
True
Let n = 962/3 + -325. Which is greater: -4 or n?
-4
Let l = 4.3 - 2.3. Which is smaller: l or 8?
l
Let h be (-4)/2 - (-56)/32. Let q be -1 + 1 + 2/(-2). Is q >= h?
False
Let m = -97 - -93. Let i = 7 - 11. Is i equal to m?
True
Let q(p) = -p**2 + 5*p. Let j be q(4). Suppose -g + j*g - 12 = 0. Let f be g/(-6) + (-28)/(-63). Is f at least as big as 0?
False
Let u(w) = -w**2 + 5*w. Let g be u(5). Let y be (2 - -2)*(2 - 1). Let l be y/(-10)*(-15)/(-9). Which is smaller: l or g?
l
Let o = 13.6 - 2.6. Let b = -11 + o. Is 16 at least as big as b?
True
Let h(w) = -15*w - 24. Let b be h(-3). Are b and 22 unequal?
True
Let i be (-6 - 2)/(((-3)/(-6))/1). Is -17 > i?
False
Let z be (-6)/(-213)*(0 + 2). Which is bigger: z or 1?
1
Let i = 55.9 + -51. Let v = i - 5. Suppose 9 = -a - 3*x - 3, 2*a - 2*x = 8. Is a equal to v?
False
Let u be (-1)/(-7 + 5)*0. Let h = -0.17 - 1.23. Is u less than h?
False
Suppose 0 = -7*k + 20*k. Let l be (-4)/16 + (-1481)/(-20). Let p = l - 74. Is k smaller than p?
False
Let j(o) = o**2 + 7*o - 9. Suppose 4*q + 50 - 16 = -2*x, -5*q - 42 = 2*x. Let m be j(q). Let d be (m/(-9))/((-2)/(-6)). Which is greater: -1 or d?
d
Let h be (-1082)/(-10) + (-13)/65. Let m = h - 221/2. Which is greater: -4 or m?
m
Let o = -15 + 23. Which is smaller: 2 or o?
2
Let j = -2 - -5. Let n be -3 + ((-136)/(-22) - j). Do 1 and n have the same value?
False
Let j = 19 - 7. Suppose a - j = -3*a. Suppose -z = a*z - 12. Which is bigger: z or 2?
z
Let l = 3 - 6. Let m = 0.6 - 1.6. Let p = l - m. Which is bigger: p or 2?
2
Let a(g) = g**3 - 8*g**2 + 7*g + 1. Let y be a(7). Let v = 6 + -3. Suppose 0*x = -h + v*x, 4*h - 4*x = -8. Which is greater: y or h?
y
Let r be (-5)/9*8/(-20). Which is smaller: r or -6?
-6
Let w = 13 + -13. Suppose -1 + w = -r. Is 1/3 equal to r?
False
Let h(l) = l**2 + 6*l - 2. Let g(r) = r**2 - 7*r - 6. Let y be g(7). Let m be h(y). Is m at most -3?
False
Suppose -5 = -4*j + 11. Which is smaller: 13/4 or j?
13/4
Let o be -3 + 63/12 + -1. Is o < 2?
True
Let f = -2.283 + -0.017. Which is greater: 1/2 or f?
1/2
Let a = 1.5 + 0.5. Let g = a + -2. Let u = 0.1 + g. Which is smaller: u or 2/3?
u
Let v = 2.5 + -0.5. Suppose -2*w + 2 = 4. Is w != v?
True
Suppose 0 = -z + 5 - 1. Let g = -4 + z. Which is smaller: g or -2?
-2
Let o(b) = b - 6. Let x be o(6). Suppose 6*q = -x*q. Which is smaller: q or -3?
-3
Suppose 5 = -6*m + 11. Does m = 0.42?
False
Suppose -5*p = -5*l, 5*p + 2*l = 6*l. Let c = 13/10 - 7/10. Is c greater than or equal to p?
True
Suppose 0 = -5*q - 3*x + 8, -x - 3*x = 4*q - 8. Let g be (-4 + q)*24/(-18). Is 0.1 equal to g?
False
Let w(y) = -y**3 - 4*y**2 - 11. Let o be w(-5). Is 3 != o?
True
Let i(w) = -w**3 + 7*w**2 - 7*w + 7. Let x be i(6). Let y be (-3)/(-30)*5*4/(-14). Are x and y equal?
False
Let d(h) be the second derivative of h**3 - h**2/2 + 2*h. Let z be d(1). Let w = -4 + z. Which is greater: -2/7 or w?
w
Let f = -20 + 14. Let p = 4 + f. Which is smaller: p or -1?
p
Let j be 2/(-6) + (-62)/(-6). Let w be j/(-32)*18/(-45). Suppose -2*x = x. Is x != w?
True
Let w be 8/(1 + 1)*86/(-43). Suppose 11 = -v + 5. Which is smaller: w or v?
w
Let s(n) = -2*n**2 + 3. Let v be s(0). Suppose 2*z - v*u + 2 = -u, -5 = 5*z + u. Is z <= -2?
False
Let b = 6.3 - 2.2. Let q = -0.1 + b. Let s = 4 - q. Is -0.1 not equal to s?
True
Let v(j) be the third derivative of j**4/24 + j**3/6 - 4*j**2. Let o be v(-1). Are 2 and o equal?
False
Let q = 11802541/10 + -2393385/2. Let d = q - -27041708/1645. Let m = -2/47 + d. Which is bigger: 0 or m?
m
Let r = -14.3 + 14. Is r bigger than -3?
True
Let w = 5 - 7. Let y = -2.2 - w. Let q = 0.3 + -0.2. Do y and q have the same value?
False
Suppose -n - 3*u + 20 = 0, 6*u - 10 = 2*n + 2*u. Do 2 and n have different values?
True
Let i(a) = -a - 5. Suppose -2*r - 11 - 1 = 0. Let j be i(r). Let s = -237 + 3553/15. Which is smaller: j or s?
s
Suppose -r - 3 = 3*x - x, 3*r + 44 = x. Let b = r + 10. Is b at least -2?
False
Let f = -210 + 137. Do -73 and f have the same value?
True
Let h = -2 - 0. Is h bigger than -2?
False
Let x = 80.2 + -80. Which is smaller: x or -0.01?
-0.01
Let z = 0.67 + -0.33. Let k = z - 0.14. Is k >= 3?
False
Suppose 12 = -d + 4*d - 4*g, 0 = 4*g. Let f be (d/(-6))/(22/6). Is 1 greater than or equal to f?
True
Let h(j) = j**2 - 3*j - 5. Let c be h(4). Let i be (-4)/14*(-8)/(-16). Which is greater: i or c?
i
Suppose 5*c = i - 38, 4*i + 4*c + c - 27 = 0. Let z = -7 + i. Is 6 != z?
False
Let l be (-1)/(-4) - 21/100. Let h = l + -53/75. Which is smaller: h or -2?
-2
Suppose 0 = -7*x + 4*x - 30. Let b be (-2)/(-5)*x/(-12). Which is smaller: 2 or b?
b
Let i be (-65)/105 - (-2)/6. Suppose -2 = z - 3*z. Is i bigger than z?
False
Let j = 73/50 - -1/25. Which is bigger: 3 or j?
3
Let n = -22 + 152/7. Which is smaller: n or 1?
n
Let m(g) = g - 12. Let u be m(11). Which is greater: -2 or u?
u
Let s = -12 - -7. Let v = -3 + s. Is -9 less than or equal to v?
True
Let g = 27 - 53. Let d be g*(-5 + -1 + 3). Let z = d - 389/5. Is 0 >= z?
False
Let p be 1/(-4 - (-27)/6). Which is smaller: p or 8/3?
p
Let d be (3/(-4))/(2/40). Suppose -5*w = -4*h - 44, 4*w = 2*h - w + 12. Which is smaller: h or d?
h
Let q = 11/6 - 2. Let y = 1/6 - q. Which is greater: -3 or y?
y
Suppose -3*x + 3 = -3. Let b be 1 + 6*x/2. Is b > 7?
False
Let r be (15/4)/(-3) + 1. Let k(d) = -d**3 + d**2 + d + 14. Let s be k(0). Let u(i) = i**3 - 13*i**2 - 14*i - 1. Let v be u(s). Which is greater: v or r?
r
Let a(z) = -z**3 - 6*z**2 + 6*z - 8. Let g be a(-7). Suppose 3*s - 211 - 77 = 0. Let i = 862/9 - s. Is i less than or equal to g?
False
Let z be (1/2)/((-1)/2). Is -2/3 smaller than z?
False
Suppose n - 3*n + 26 = -5*w, 5*n + w - 11 = 0. Let d(x) = -x**2 - 1. Let g(c) = 7*c - 12. Let a(j) = d(j) - g(j). Let i be a(-8). Is i smaller than n?
False
Let z be (-774)/270 + 2/(-15). Is -3 smaller than z?
False
Let u(f) = -f**3 + f**2 + f + 1. Let j be u(0). Let o = -7 - -4. Which is greater: j or o?
j
Suppose 0 = -6*a + 3*a + 9*h - 10*h, 0 = -5*h. Let w be (2/20*2)/(-1). Is a at least as big as w?
True
Suppose 380 = 3*b + b. Let s = 35 - b. Let k be (-2)/(-8) + 39/s. Which is smaller: k or 0?
k
Let m = 2 + 0. Let w be (1/m)/((-1)/(-4)). Let u be 10/8*w/(-10). Is u < -1/2?
False
Suppose -4*v - i + 38 = -0*i, 35 = 5*v - 5*i. Let w = -9 + v. Do w and 2/9 have the same value?
False
Suppose -2*g - 3*u - u = -26, -10 = -2*u. Suppose -y - 4 = g*y. Is y >= 0?
False
Let o = -0.04 - 0.36. Let l = -0.2 - o. Let x = l - 0. Is x at most as big as 0.1?
False
Let s = 4.4 - -1.6. Which is smaller: 0.1 or s?
0.1
Suppose -a = -2*a + 1. Let h be a/1*-2 + 1. Which is smaller: -2/5 or h?
h
Let f(x) be the first derivative of -1/2*x**2 - 1 - 1/4*x**4 + 1/3*x**3 + 0*x. Let c be f(0). Do -1/4 and c have the same value?
False
Let f = 4 + -19/5. Let s = 0.9 - 1.02. Let g = 1.12 + s. Which is greater: f or g?
g
Suppose 3*k = -1 + 7. Which is greater: 14/13 or k?
k
Suppose 21*i = 20*i + 1. Which is greater: -5 or i?
i
Let v be 6234712/5 - 2/5. Let q = v + -362859728/291. Let d = 2/97 - q. Which is bigger: d or 2/3?
2/3
Let a be ((-22)/(-6))/((-10)/(-342)). Let s = a - 125. Let g be 2/(-6)*3/9. Which is smaller: s or g?
g
Let m = -43 + 43. Let j = 17 + -7. Suppose s + s + 2 = o, s + 5*o = j. Is m equal to s?
True
Let y(h) = h**3 - h**2 - h + 1. Let g be y(2). Suppose g + 0 = 3*c. Let r be (0 - 3/(-15))*c. Which is bigger: r or 0?
r
Let v(l) = l**